Toric codes are evaluation codes obtained from an integral convex polytope $P \subset \R^n$ and finite field $\F_q$. They are, in a sense, a natural extension of Reed-Solomon codes, and have been studied recently by J. Hansen and D. Joyner. In this paper, we obtain upper and lower bounds on the minimum distance of a toric code constructed from a polygon $P \subset \R^2$ by examining Minkowski sum decompositions of subpolygons of $P$. Our results give a simple and unifying explanation of bounds of Hansen and empirical results of Joyner; they also apply to previously unknown cases.
We generalized the construction of deformations of affine toric varieties of K. Altmann and our previous construction of deformations of weak Fano toric varieties to the case of arbitrary toric varieties by introducing the notion of Minkowski sum decompositions of polyhedral complexes. Our construction embeds the original toric variety into a higher dimensional toric variety where the image is given by a prime binomial complete intersection ideal in Cox homogeneous coordinates. The deformations are realized by families of complete intersections. For compact simplicial toric varieties with at w…
For a fan $Δ$, we introduce Grothendieck weights as a ring of functions from $Δ$ to $\mathbb{Z}$ that form a K-theoretic analogue of Minkowski weights and describe the operational $K$-theory of a complete toric variety. We give an explicit balancing condition and product formula for these weights, and describe relationships with other fan-based invariants. Applications are given to vector bundles on a toric surface, and to the calculation of Euler characteristics on schon subvarieties.
We prove that for smooth projective toric varieties, the Okounkov body of a $T$-invariant pseudo-effective divisor with respect to a $T$-invariant flag decomposes as a finite Minkowski sum of indecomposable polytopes. We prove that these indecomposable polytopes form a Minkowski base and that they correspond to the rays in the secondary fan. Moreover, we present an algorithm to find the Minkowski base.
We study Minkowski sums and Hadamard products of algebraic varieties. Specifically we explore when these are varieties and examine their properties in terms of those of the original varieties.
In this paper we prove new lower bounds for the minimum distance of a toric surface code defined by a convex lattice polygon P. The bounds involve a geometric invariant L(P), called the full Minkowski length of P which can be easily computed for any given P.
In this paper, we discuss the toric ideals of Minkowski sums of unit simplices. More precisely, we prove that the toric ideal of Minkowski sum of unit simplices has a squarefree initial ideal and is generated by quadratic binomials. Moreover, we also prove that Minkowski sums of unit simplices have the integer decomposition property. Those results are a partial contribution to Oda conjecture and Bøgvad conjecture.
Given two toric ideals $I_1,I_2\subset\si$, it is not always true that $I_1+I_2$ is a toric ideal. Given $I_1,...,I_k\subset\si$ a familly of toric ideals we give necessary conditions in order to have that $I_1+...+I_k$ is a toric ideal.
We use localization to describe the restriction map from equivariant Chow cohomology to ordinary Chow cohomology for complete toric varieties in terms of piecewise polynomial functions and Minkowski weights. We compute examples showing that this map is not surjective in general, and that its kernel is not always generated in degree one. We prove a localization formula for mixed volumes of lattice polytopes and, more generally, a Bott residue formula for toric vector bundles.
We compute the Newton--Okounkov bodies of line bundles on a Bott--Samelson resolution of the complete flag variety of $GL_n$ for a geometric valuation coming from a flag of translated Schubert subvarieties. The Bott--Samelson resolution corresponds to the decomposition $(s_1)(s_2s_1)(s_3s_2s_1)(\ldots)(s_{n-1}\ldots s_1)$ of the longest element in the Weyl group, and the Schubert subvarieties correspond to the terminal subwords in this decomposition. We prove that the resulting Newton--Okounkov polytopes for semiample line bundles satisfy the additivity property with respect to the Minkowski s…
We find a semi-algebraic description of the Minkowski sum $\mathcal{A}_{3,n}$ of $n$ copies of the bounded twisted cubic $\{(t,t^2,t^3)\mid -1\leq t\leq 1\}$ for each integer $n\geq3$. These descriptions provide efficient membership tests for the sets $\mathcal{A}_{3,n}$. These membership tests in turn can be used to resolve some instances of the underdetermined matrix moment problem, which was formulated by Michael Rubinstein and Peter Sarnak in order to study problems related to $L$-functions and their zeros.
This is an expanded version. We study relations among special values of zeta functions, invariants of toric varieties, and generalized Dedekind sums. In particular, we use invariants arising in the Todd class of a toric variety to give a new explicit formula for the values of the zeta function of a real quadratic field at nonpositive integers. We also express these invariants in terms of the generalized Dedekind sums studied previously by several authors. The paper includes conceptual proofs of the above mentioned relations and explicit computations of the various zeta values and Dedekind sums…
The operational Chow cohomology classes of a complete toric variety are identified with certain functions, called Minkowski weights, on the corresponding fan. The natural product of Chow cohomology classes makes the Minkowski weights into a commutative ring; the product is computed by a displacement in the lattice, which corresponds to a deformation in the toric variety. We show that, with rational coefficients, this ring embeds in McMullen's polytope algebra, and that the polytope algebra is the direct limit of these Chow rings, over all compactifications of a given torus. In the nonsingular …
For a complete, smooth toric variety Y, we describe the graded vector space T_Y^1. Furthermore, we show that smooth toric surfaces are unobstructed and that a smooth toric surface is rigid if and only if it is Fano. For a given toric surface we then construct homogeneous deformations by means of Minkowski decompositions of polyhedral subdivisions, compute their images under the Kodaira-Spencer map, and show that they span T_Y^1.
We extend work of Davis and Januszkiewicz by considering {\it omnioriented} toric manifolds, whose canonical codimension-2 submanifolds are independently oriented. We show that each omniorientation induces a canonical stably complex structure, which is respected by the torus action and so defines an element of an equivariant cobordism ring. As an application, we compute the complex bordism groups and cobordism ring of an arbitrary omnioriented toric manifold. We consider a family of examples $B_{i,j}$, which are toric manifolds over products of simplices, and verify that their natural stably c…
Fakhruddin has proved that for two lattice polygons P and Q any lattice point in their Minkowski sum can be written as a sum of a lattice point in P and one in Q, provided P is smooth and the normal fan of P is a subdivision of the normal fan of Q. We give a shorter combinatorial proof of this fact that does not need the smoothness assumption on P.
For an affine, toric Q-Gorenstein variety Y (given by a lattice polytope Q) the vector space T^1 of infinitesimal deformations is related to the complexified vector spaces of rational Minkowski summands of faces of Q. Moreover, assuming Y to be an isolated, at least 3-dimensional singularity, Y will be rigid unless it is even Gorenstein and dim Y=3 (dim Q=2). For this particular case, so-called toric deformations of Y correspond to Minkowski decompositions of Q into a sum of lattice polygons. Their Kodaira-Spencer-map can be interpreted in a very natural way. We regard the projective variety P…
Powersum varieties, also called varieties of sums of powers, have provided examples of interesting relations between varieties since their first appearance in the 19th century. One of the most useful tools to study them is apolarity, a notion originally related to the action of differential operators on the polynomial ring. In this work we make explicit how one can see apolarity in terms of the Cox ring of a variety. In this way powersum varieties are a special case of varieties of apolar schemes; we explicitely describe examples of such varieties in the case of two toric surfaces, when the Co…
This paper was submitted to the Oberwolfach Conference "Combinatorial Convexity and Algebraic Geometry", October 1997. Let $M={\mathbb Z}^r$. For convex lattice polytopes $P,P'$ in ${\mathbb R}^r$, when is $(M \cap P)+ (M \cap P') = M \cap (P + P')$? Without any additional condition, the equality obviously does not hold. When the pair $(M,P)$ corresponds to a complex projective toric variety $X$ and an ample divisor $D$ on $X$, it is reasonable to assume that $P'$ corresponds to an ample (or, more generally, a nef) divisor $D'$ on the same $X$. Then the question correspons to the surjectivity …
For a given lattice polytope $P$ in $\mathbb{R}^3$, consider the space $\mathcal{L}_P$ of trivariate polynomials over a finite field $\mathbb{F}_q$, whose Newton polytopes are contained in $P$. We give an upper bound for the maximum number of $\mathbb{F}_q$-zeros of polynomials in $\mathcal{L}_P$ in terms of the Minkowski length of $P$ and $q$, the size of the field. Consequently, this produces lower bounds for the minimum distance of toric codes defined by evaluating elements of $\mathcal{L}_P$ at the points of the algebraic torus $(\mathbb{F}_q^*)^3$. Our approach is based on understanding f…
We generalize the standard combinatorial techniques of toric geometry to the study of log Calabi-Yau surfaces. The character and cocharacter lattices are replaced by certain integral linear manifolds described by Gross, Hacking, and Keel, and monomials on toric varieties are replaced with the canonical theta functions which GHK defined using ideas from mirror symmetry. We describe the tropicalizations of theta functions and use them to generalize the dual pairing between the character and cocharacter lattices. We use this to describe generalizations of dual cones, Newton and polar polytopes, M…
Gaussian graphical models are semi-algebraic subsets of the cone of positive definite covariance matrices. They are widely used throughout natural sciences, computational biology and many other fields. Computing the vanishing ideal of the model gives us an implicit description of the model. In this paper, we resolve two conjectures of Sturmfels and Uhler from \cite{BS n CU}. In particular, we characterize those graphs for which the vanishing ideal of the Gaussian graphical model is generated in degree $1$ and $2$. These turn out to be the Gaussian graphical models whose ideals are toric ideals…
Castelnuovo-Mumford regularity of toric varieties with at most one singular point
Universidad de La Laguna（拉古纳大学）；Instituto de Matemáticas y Aplicaciones (IMAULL), Sección de Matemáticas, Facultad de Ciencias, Universidad de La Laguna（拉古纳大学理学院数学系数学与应用数学研究所 (IMAULL)）；Universidad de Valladolid（巴利亚多利德大学）；Instituto de Investigación en Matemáticas de la Universidad de Valladolid (IMUVA), Universidad de Valladolid（巴利亚多利德大学）
