We study the algebraic varieties defined by the conditional independence statements of Bayesian Networks. A complete algebraic classification is given for Bayesian Networks on at most five random variables. Hidden variables are related to the geometry of higher secant varieties.
These are notes for the Bootcamp volume for the 2015 AMS Summer Institute in Algebraic Geometry. They are based on earlier notes for the "Positive Characteristic Algebraic Geometry Workshop" held at University of Illinois at Chicago in March 2014.
Conditional independence models in the Gaussian case are algebraic varieties in the cone of positive definite covariance matrices. We study these varieties in the case of Bayesian networks, with a view towards generalizing the recursive factorization theorem to situations with hidden variables. In the case when the underlying graph is a tree, we show that the vanishing ideal of the model is generated by the conditional independence statements implied by graph. We also show that the ideal of any Bayesian network is homogeneous with respect to a multigrading induced by a collection of upstream r…
In this survey I should like to introduce some concepts of algebraic geometry and try to demonstrate the fruitful interaction between algebraic geometry and computer algebra and, more generally, between mathematics and computer science. One of the aims of this article is to show, by means of examples, the usefulness of computer algebra to mathematical research.
We define the weak-normalization and the seminormalization of a real algebraic variety relative to its central locus. The study is related to the properties of the rings of continuous rational functions and hereditarily rational functions on real algebraic varieties. We provide in particular several characterizations (algebraic or geometric) of these varieties, and provide a full description of centrally seminormal curves.
This file, provided as bibliographical information, contains the table of contents and editors' foreword from the proceedings of the July 1996 Warwick EuroConference on Algebraic Geometry.
We develop basic notions and methods of algebraic geometry over the algebraic objects called hyperrings. Roughly speaking, hyperrings generalize rings in such a way that an addition is `multi-valued'. This paper largely consisits of two parts; algebraic aspects and geometric aspects of hyperrings. We first investigate several technical algebraic properties of a hyperring. In the second part, we begin by giving another interpretation of a tropical variety as an algebraic set over the hyperfield which canonically arises from a totally ordered semifield. Then we define a notion of an integral hyp…
In this article, we shall discuss the solution to the Zariski Cancellation Problem in positive characteristic, various approaches taken so far towards the possible solution in characteristic zero, and several other questions related to this problem.
Real algebraic geometry adapts the methods and ideas from (complex) algebraic geometry to study the real solutions to systems of polynomial equations and polynomial inequalities. As it is the real solutions to such systems modeling geometric constraints that are physically meaningful, real algebraic geometry is a core mathematical input for geometric constraint systems.
In this paper we introduce elements of algebraic geometry over an arbitrary algebraic structure. We prove Unification Theorems which gather the description of coordinate algebras by several ways.
We address the question of identifying non-smooth points in affine real algebraic varieties. A simple algebraic criterion will be formulated and proven. As an application we can answer several questions about the configuration spaces of some class of planar linkages.
Fix a prime number $p$. We report on some recent developments in algebraic geometry (broadly construed) over $p$-adically complete commutative rings. These developments include foundational advances within the subject as well as external applications.
Reflexive functors of modules naturally appear in Algebraic Geometry. In this paper we define a wide and elementary family of reflexive functors of modules, closed by tensor products and homomorphisms, in which Algebraic Geometry can be developed.
In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along the way we lay down foundations of algebraic geometry over arbitrary algebraic structures.
This paper is a survey on arc spaces, a recent topic in algebraic geometry and singularity theory. The geometry of the arc space of an algebraic variety yields several new geometric invariants and brings new light to some classical invariants.
We study the algebraic and geometric properties of the integral closure of different rings of functions on a real algebraic variety : the regular functions and the continuous rational functions.
Some notions of algebraic geometry can be defined for arbitrary varieties of algebras. This leads to universal algebraic geometry. The main idea of the presented theory is to consider interactions between algebra, logic and geometry in algebras from a given variety of algebras.
This paper is a survey of computational issues in algebraic geometry, with particular attention to the theory of Grobner bases and the regularity of an algebraic variety. 1. A geometric introduction to Grobner bases. 2. An algebraic introduction to Grobner bases. 3. Bounds in algebraic geometry, and regularity and complexity questions. 4. Applications.
Let X be an affine real algebraic set . We investigate on the theory of algebraically constructible functions on X and the description of the semi-algebraic subsets of X when we replace the polynomial functions on X by some rational continuous functions on X.
This note is supposed to answer some questions on deformation theory in derived algebraic geometry. We show that derived algebraic geometry allows for a geometrical interpretation of the full cotangent complex and gives a natural setting for deformation and obstruction theories.
This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation quantization.
We develop the idea of using an algebraic-geometry approach to classical differential geometry problems. Consider an orthogonal net constructed according to algebraic-geometric data we obtain a set of smooth orthogonal nets that are Ribaucour transformations of the initial orthogonal net.
This is an expository introduction to tropical algebraic geometry based on my lectures at the Workshop on Tropical Geometry and Integrable Systems in Glasgow, July 4-8, 2011, and at the ELGA 2011 school on Algebraic Geometry and Applications in Buenos Aires, August 1-5, 2011.
Lecture notes of an algebraic geometry graduate course. The topics covered are as follows. Cohomology: ext sheaves and groups, cohomology with support, local cohomology, local duality. Duality: relative duality, Cohen-Macaulay schemes. Morphisms of schemes: flatness and base change and related topics. Hilbert and Quotient schemes.
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory within a ZFC-like environment.
Tropical algebraic geometry is an active new field of mathematics that establishes and studies some very general principles to translate algebro-geometric problems into purely combinatorial ones. This expository paper gives an introduction to these new techniques with a special emphasis on the recent applications to problems in enumerative geometry.
Parametric Cartan theory of exterior differential systems, and explicit cohomology of projective manifolds reveal united rationality features of differential algebraic geometry.
In this paper, we study group equations with occurrences of automorphisms. We describe equational domains in this class of equations. Moreover, we solve a number of open problem posed in universal algebraic geometry.
This is a report on some of the main developments in birational geometry in the last few years focusing on the minimal model program, Fano varieties, singularities and related topics, in characteristic zero.
Motivated by Xing's method [7], we show that there exist [n,k,d] linear Hermitian codes over F_{q^2} with k+d>=n-3 for all sufficiently large q. This improves the asymptotic bound of Algebraic-Geometry codes from Hermitian curves given in [9,10].
In this paper we continue to study Gromov-Hausdorff limits of Kahler manifolds and algebraic geometry. Our main focus is on the algebro-geometric meaning of Riemannian tangent cones and rescaled limits.
This is a survey on appearances of reflection groups, real and complex, in algebraic geometry. We also include a brief introduction into the theory of reflection groups.
We develop a collection of numerical algorithms which connect ideas from polyhedral geometry and algebraic geometry. The first algorithm we develop functions as a numerical oracle for the Newton polytope of a hypersurface and is based on ideas of Hauenstein and Sottile. Additionally, we construct a numerical tropical membership algorithm which uses the former algorithm as a subroutine. Based on recent results of Esterov, we give an algorithm which recursively solves a sparse polynomial system when the support of that system is either lacunary or triangular. Prior to explaining these results, w…
Tropical geometry is a piecewise linear "shadow" of algebraic geometry. It allows for the computation of several cohomological invariants of an algebraic variety. In particular, its application to enumerative algebraic geometry led to significant progress. In this survey, we give an introduction to tropical geometry techniques for algebraic curve counting problems. We also survey some recent developments, with a particular emphasis on the computation of the degree of the Severi varieties of the complex projective plane and other toric surfaces as well as Hurwitz numbers and applications to rea…
We investigate prime factorization from two perspectives: quantum annealing and computational algebraic geometry, specifically Gröbner bases. We present a novel scalable algorithm which combines the two approaches and leads to the factorization of all bi-primes up to just over $200 \, 000$, the largest number factored to date using a quantum processor.
This note contains a correction of the proofs of the main results of the paper [A. Yekutieli, Deformation quantization in algebraic geometry, Adv. Math. 198 (2005), 383-432]. The results are correct as originally stated.
In this paper we initiate the study of cyclic algebraic geometry codes. We give conditions to construct cyclic algebraic geometry codes in the context of algebraic function fields over a finite field by using their group of automorphisms. We prove that cyclic algebraic geometry codes constructed in this way are closely related to cyclic extensions. We also give a detailed study of the monomial equivalence of cyclic algebraic geometry codes constructed with our method in the case of a rational function field.
For a (semi-)model category M, we define a notion of a ''homotopy'' Grothendieck topology on M, as well as its associated model category of stacks. We use this to define a notion of geometric stack over a symmetric monoidal base model category; geometric stacks are the fundamental objects to "do algebraic geometry over model categories". We give two examples of applications of this formalism. The first one is the interpretation of DG-schemes as geometric stacks over the model category of complexes and the second one is a definition of etale K-theory of E_{\infty}-ring spectra. This first versi…
Numerical Algebraic Geometry uses numerical data to describe algebraic varieties. It is based on the methods of numerical polynomial homotopy continuation, an alternative to the classical symbolic approaches of computational algebraic geometry. We present a package, the driving idea behind which is to interlink the existing symbolic methods of Macaulay2 and the powerful engine of numerical approximate computations. The core procedures of the package exhibit performance competitive with the other homotopy continuation software.
We relate SLOCC equivalence classes of qudit states to moduli spaces of Calabi-Yau manifolds equipped with a collection of line bundles. The cases of 3 qutrits and 4 qubits are also related to noncommutative algebraic geometry.
We prove a Curve Selection Lemma valid in infinite-dimensional algebraic geometry and apply it, together with a structure theorem of Grinberg-Kahzdan and Drinfeld, to obtain a Curve Selection Lemma in arc spaces.
These are notes on derived algebraic geometry in the context of animated rings. More precisely, we recall the proof of Toën-Vaquié that the derived stack of perfect complexes is locally geometric in the language of $\infty$-categories. Along the way, we recall the necessary notions in derived commutative algebra and derived algebraic geometry. We also analyze the deformation theory and quasi-coherent modules over derived stacks.
In this review we discuss what is known about semiorthogonal decompositions of derived categories of algebraic varieties. We review existing constructions, especially the homological projective duality approach, and discuss some related issues such as categorical resolutions of singularities.