相关论文: Syzygies, regularity and toric varieties

A real algebraic variety W of dimension m is said to be uniformly rational if each of its points has a Zariski open neighborhood which is biregularly isomorphic to a Zariski open subset of R^m. Let l be any nonnegative integer. We prove…

We characterize Lelong classes on a toric manifold with an ample torus invariant line bundle, generalizing an approximation theorem due to Siciak. We include a counterexample to the theorem when the line bundle is globally generated, but…

Given a very ample line bundle L on a projective variety X, the syzygy bundle M_L associated to L is the kernel of the evaluation map on sections of L. Our main result is that if X is a smooth projective surface defined over an…

Let $f:X \to Y$ be a proper morphism of normal varieties with $f_*\mathcal{O}_X = \mathcal{O}_Y$. If $X$ is toric, then $Y$ is toric and $f$ is a toric morphism for some toric structures on $X$ and $Y$.

We explain a method for calculating the cohomology of line bundles on a toric variety in terms of the cohomology of certain constructible sheaves on the polytope. We show its effective use by means of some examples.

A theorem of Green says that a line bundle of degree at least $2g+1+p$ on a smooth curve $X$ of genus $g$ has property $N_p$. We prove a similar conclusion for certain singular, reducible curves $X$ under suitable degree bounds over all…

Let $X$ be a projective nonsingular toric 3-fold with a surjective torus equivariant morphism onto the projective line. Then we prove that an ample line bundle on $X$ is always normally generated.

A toric variety is constructed from a lattice polytope. It is common in algebraic combinatorics to carry this way a notion of an algebraic property from the variety to the polytope. From the combinatorial point of view, one of the most…

Let $X \subset \P^r$ be a nondegenerate projective variety and let $\nu_{\ell} : \P^r \to \P^N$ be the $\ell$-th Veronese embedding. In this paper we study the higher normality, defining equations and syzygies among them for the projective…

A general problem in complex cobordism theory is to find useful representatives for cobordism classes. One particularly convenient class of complex manifolds consists of smooth projective toric varieties. The bijective correspondence…

We prove that, for fixed n there exist only finitely many embeddings of Q-factorial toric varieties X into P^n that are induced by a complete linear system. The proof is based on a combinatorial result that for fixed nonnegative integers d…

The toric residue is a map depending on n+1 semi-ample divisors on a complete toric variety of dimension n. It appears in a variety of contexts such as sparse polynomial systems, mirror symmetry, and GKZ hypergeometric functions. In this…

We show that lattice polytopes cut out by root systems of classical type are normal and Koszul, generalizing a well-known result of Bruns, Gubeladze, and Trung in type A. We prove similar results for Cayley sums of collections of polytopes…

We show that a proper algebraic n-dimensional scheme Y admits nontrivial vector bundles of rank n, even if Y is non-projective, provided that there is a modification containing a projective Cartier divisor that intersects the exceptional…

The h^*-polynomial of a lattice polytope is the numerator of the generating function of the Ehrhart polynomial. Let P be a lattice polytope with h^*-polynomial of degree d and with linear coefficient h^*_1. We show that P has to be a…

Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety. By algebraizable we mean that the…

Any integral convex polytope $P$ in $\mathbb{R}^N$ provides a $N$-dimensional toric variety $X_P$ and an ample divisor $D_P$ on this variety. This paper gives an explicit construction of the algebraic geometric error-correcting code on…

We show the existence of regular combinatorial objects which previously were not known to exist. Specifically, for a wide range of the underlying parameters, we show the existence of non-trivial orthogonal arrays, t-designs, and t-wise…

We give an effective upper bound on the h^*-polynomial of a lattice polytope in terms of its degree and leading coefficient, confirming a conjecture of Batyrev. We deduce this bound as a consequence of a strong Cayley decomposition theorem…

Let A be a subspace arrangement with a geometric lattice such that codim(x) > 1 for every x in A. Using rational homotopy theory, we prove that the complement M(A) is rationally elliptic if and only if the sum of the orthogonal subspaces is…