Multigraded commutative algebra of graph decompositions

The toric fiber product is a general procedure for gluing two ideals, homogeneous with respect to the same multigrading, to produce a new homogeneous ideal. Toric fiber products generalize familiar constructions in commutative algebra like adding monomial ideals and the Segre product. We describe how to obtain generating sets of toric fiber products in non-zero codimension and discuss persistence of normality and primary decompositions under toric fiber products. Several applications are discussed, including (a) the construction of Markov bases of hierarchical models in many new cases, (b) a new proof of the quartic generation of binary graph models associated to K ₄-minor free graphs, and (c) the recursive computation of primary decompositions of conditional independence ideals.     

On toric h-vectors of centrally symmetric polytopes

We prove tight lower bounds for the coefficients of the toric h-vector of an arbitrary centrally symmetric polytope generalizing previous results due to R. Stanley and the author using toric varieties. Our proof here is based on the theory of combinatorial intersection cohomology for normal fans of polytopes developed by G. Barthel, J.-P. Brasselet, K. Fieseler and L. Kaup, and independently by P. Bressler and V. Lunts. This theory is also valid for nonrational polytopes when there is no standard correspondence with toric varieties. In this way we can establish our bounds for centrally symmetric polytopes even without requiring them to be rational. Received: 24 March 2004     

A Symmetry Result on Submanifolds of Space Forms and Applications

In this paper we prove a symmetry result on submanifolds of codimension one in a (n + 1)-dimensional space form, related to the geodesic distance and to the normal curvature of some fixed vector field. As applications we will prove sphere characterization type theorems for Kähler manifolds endowed with a toric group action.     

Deformations of Codimension 2 Toric Varieties

We prove Sturmfels' conjecture that toric varieties of codimension two have no other flat deformations than those obtained by Gröbner basis theory.     

Local Euler obstructions of toric varieties

We use Matsui and Takeuchi's formula for toric A-discriminants to give algorithms for computing local Euler obstructions and dual degrees of toric surfaces and 3-folds. In particular, we consider weighted projective spaces. As an application we give counterexamples to a conjecture by Matsui and Takeuchi. As another application we recover the well-known fact that the only defective normal toric surfaces are cones.     

On complete intersections with trivial canonical class

We prove birational boundedness results on complete intersections with trivial canonical class of base point free divisors in (some version of) Fano varieties. Our results imply in particular that Batyrev–Borisov toric construction produces only a bounded set of Hodge numbers in any given dimension, even as the codimension is allowed to grow.     

Strong Approximation for a Toric Variety

Let X be a toric variety over a number field k with k[X]~×=k~×.Let W ■ X be a closed subset of codimension at least 2.We prove that X \ W satisfies strong approximation with algebraic Brauer-Manin obstruction.     

Combinatorics of the Toric Hilbert Scheme

The toric Hilbert scheme is a parameter space for all ideals with the same multigraded Hilbert function as a given toric ideal. Unlike the classical Hilbert scheme, it is unknown whether toric Hilbert schemes are connected. We construct a graph on all the monomial ideals on the scheme, called the flip graph, and prove that the toric Hilbert scheme is connected if and only if the flip graph is connected. These graphs are used to exhibit curves in P ⁴ whose associated toric Hilbert schemes have arbitrary dimension. We show that the flip graph maps into the Baues graph of all triangulations of the point configuration defining the toric ideal. Inspired by the recent discovery of a disconnected Baues graph, we close with results that suggest the existence of a disconnected flip graph and hence a disconnected toric Hilbert scheme. Received May 15, 2000, and in revised form March 8, 2001. Online publication January 7, 2002.     

在环面同态作用下零维理想的性质

本文以矩阵变换和整理论为工具，研究了在环面同态作用下零维理想的性质，证明了零维理想的环面同态矩阵是满秩的，并且刻画了零维理想在环面作用下的对应关系．     

On complete intersection toric ideals of graphs

We study the graphs G for which their toric ideals I _G are complete intersections. In particular, we prove that for a connected graph G such that I _G is a complete intersection all of its blocks are bipartite except for at most two. We prove that toric ideals of graphs which are complete intersections are circuit ideals. In this case, the generators of the toric ideal correspond to even cycles of G except of at most one generator, which corresponds to two edge disjoint odd cycles joint at a vertex or with a path. We prove that the blocks of these graphs satisfy the odd cycle condition. Finally, we characterize all complete intersection toric ideals of graphs which are normal.     

Rational points of lattice ideals on a toric variety and toric codes

We show that the number of rational points of a subgroup inside a toric variety over a finite field defined by a homogeneous lattice ideal can be computed via Smith normal form of the matrix whose columns constitute a basis of the lattice. This generalizes and yields a concise toric geometric proof of the same fact proven purely algebraically by Lopez and Villarreal for the case of a projective space and a standard homogeneous lattice ideal of dimension one. We also prove a Nullstellensatz type theorem over a finite field establishing a one to one correspondence between subgroups of the dense split torus and certain homogeneous lattice ideals. As application, we compute the main parameters of generalized toric codes on subgroups of the torus of Hirzebruch surfaces, generalizing the existing literature.     

Complete intersections in toric ideals

We present examples that show that in dimension higher than one or codimension higher than two, there exist toric ideals such that no binomial ideal contained in and of the same dimension is a complete intersection. This result has important implications in sparse elimination theory and in the study of the Horn system of partial differential equations.

     

Rationality for generic toric rings

We study generic toric rings. We prove that they are Golod rings, so the Poincaré series of the residue field is rational. We classify when such a ring is Koszul, and compute its rate. Also resolutions related to the initial ideal of the toric ideal with respect to reverse lexicographic order are described. Received August 13, 1997; in final form October 23, 1998     

The Behaviors of Expansion Functor on Monomial Ideals and Toric Rings

In this article, we study some algebraic and combinatorial behaviors of expansion functor. We show that on monomial ideals some properties like polymatroidalness, weakly polymatroidalness, and having linear quotients are preserved under taking the expansion functor.

The main part of the article is devoted to study of toric ideals associated to the expansion of subsets of monomials which are minimal with respect to divisibility. It is shown that, for a given discrete polymatroid P, if toric ideal of P is generated by double swaps, then toric ideal of any expansion of P has such a property. This result, in a special case, says that White's conjecture is preserved under taking the expansion functor. Finally, the construction of Gröbner bases and some homological properties of toric ideals associated to expansions of subsets of monomials is investigated.     

Geometric BVPs, Hardy spaces, and the Cauchy integral and transform on regions with corners

In this paper we give a new perspective on the Cauchy integral and transform and Hardy spaces for Dirac-type operators on manifolds with corners of codimension two. Instead of considering Banach or Hilbert spaces, we use polyhomogeneous functions on a geometrically “blown-up” version of the manifold called the total boundary blow-up introduced by Mazzeo and Melrose [R.R. Mazzeo, R.B. Melrose, Analytic surgery and the eta invariant, Geom. Funct. Anal. 5 (1) (1995) 14-75]. These polyhomogeneous functions are smooth everywhere on the original manifold except at the corners where they have a “Taylor series” (with possible log terms) in polar coordinates. The main application of our analysis is a complete Fredholm theory for boundary value problems of Dirac operators on manifolds with corners of codimension two.     

Minimal generators of toric ideals of graphs

Let IG be the toric ideal of a graph G. We characterize in graph theoretical terms the primitive, the minimal, the indispensable and the fundamental binomials of the toric ideal IG.     

The toric ideal of a graphic matroid is generated by quadrics

Describing minimal generating sets of toric ideals is a well-studied and difficult problem. Neil White conjectured in 1980 that the toric ideal associated to a matroid is generated by quadrics corresponding to single element symmetric exchanges. We give a combinatorial proof of White’s conjecture for graphic matroids.     

Classification of torus manifolds with codimension one extended actions

The purpose of this paper is to classify torus manifolds (M ²ⁿ , T ⁿ ) with codimension one extended G-actions (M ²ⁿ , G) up to essential isomorphism, where G is a compact, connected Lie group whose maximal torus is T ⁿ . For technical reasons, we do not assume torus manifolds are orientable. We prove that there are seven types of such manifolds. As a corollary, if a nonsingular toric variety or a quasitoric manifold has a codimension one extended action then such manifold is a complex projective bundle over a product of complex projective spaces.     

Toric degenerations of flag varieties from matching field tableaux

We present families of tableaux which interpolate between the classical semi-standard Young tableaux and matching field tableaux. Algebraically, this corresponds to SAGBI bases of Plücker algebras. We show that each such family of tableaux leads to a toric ideal, that can be realized as initial of the Plücker ideal, hence a toric degeneration for the flag variety.     

Degenerations of toric ideals and toric varieties

Toric degenerations of toric varieties and toric ideals are important both in theory and in applications. In this paper, we study the correspondence between degenerations of toric variety and of toric ideal when the weight admits a regular subdivision.