Gaps in the number of generators of monomial Togliatti systems

Let $I_{d,n}?k[x_0,?,x_n]$ be a minimal monomial Togliatti system of forms of degree d. In [4], Mezzetti and Miró-Roig proved that the minimal number of generators $\mu (I_{d,n})$ of $I_{d,n}$ lies in the interval $[2n+1,\left(\begin{array}{c}n+d?1\\ n?1\end{array}\right)]$. In this paper, we prove that for $n\ge 4$ and $d\ge 3$, the integer values in $[2n+3,3n?1]$ cannot be realized as the number of minimal generators of a minimal monomial Togliatti system. We classify minimal monomial Togliatti systems $I_{d,n}?k[x_0,?,x_n]$ of forms of degree d with $\mu (I_{d,n})=2n+2$ or 3n (i.e. with the minimal number of generators reaching the border of the non-existence interval). Finally, we prove that for $n=4$, $d\ge 3$ and $\mu \in [9,\left(\begin{array}{c}d+3\\ 3\end{array}\right)]?\{11\}$ there exists a minimal monomial Togliatti system $I_{d,n}?k[x_0,?,x_n]$ of forms of degree d with $\mu (I_{n,d})=\mu$.     

Cohen-Macaulay monomial ideals with given radical

We study the set of Cohen-Macaulay monomial ideals with a given radical. Among this set of ideals are the so-called Cohen-Macaulay modifications. Not all Cohen-Macaulay squarefree monomial ideals admit nontrivial Cohen-Macaulay modifications. It is shown that if there exists one such modification, then there exist indeed infinitely many.     

Higher Embeddings of General Blowups of Ruled Surfaces

 In this note we give a criterion for a line bundle on a general blowup of a ruled surface to be k-very ample. (Received 29 November 2000; in revised form 2 April 2001)     

Géométrie toroïdale et géométrie analytique non archimédienne. Application au type d’homotopie de certains schémas formels

V.G. Berkovich’s non-Archimedean analytic geometry provides a natural framework to understand the combinatorial aspects in the theory of toric varieties and toroidal embeddings. This point of view leads to a conceptual and elementary proof of the following results: if X is an algebraic scheme over a perfect field and if D is the exceptional normal crossing divisor of a resolution of the singularities of X, the homotopy type of the incidence complex of D is an invariant of X. This is a generalization of a theorem due to D. Stepanov.     

Stanley-Reisner rings and the radicals of lattice ideals

In this article we associate to every lattice ideal I_L,ρ⊂K[x₁,…,x_m] a cone σ and a simplicial complex Δ_σ with vertices the minimal generators of the Stanley-Reisner ideal of σ. We assign a simplicial subcomplex Δ_σ(F) of Δ_σ to every polynomial F. If F₁,…,F_s generate I_L,ρ or they generate rad(I_L,ρ) up to radical, then is a spanning subcomplex of Δ_σ. This result provides a lower bound for the minimal number of generators of I_L,ρ which improves the generalized Krull's principal ideal theorem for lattice ideals. But mainly it provides lower bounds for the binomial arithmetical rank and the A-homogeneous arithmetical rank of a lattice ideal. Finally, we show by a family of examples that the given bounds are sharp.     

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.     

A note on monomial ideals

We show that the number of elements generating a squarefree monomial ideal up to radical can always be bounded above in terms of the number of its minimal monomial generators and the maximum height of its minimal primes. Received: 12 December 2005     

Generalized binomial edge ideals

This paper studies a class of binomial ideals associated to graphs with finite vertex sets. They generalize the binomial edge ideals, and they arise in the study of conditional independence ideals. A Gröbner basis can be computed by studying paths in the graph. Since these Gröbner bases are square-free, generalized binomial edge ideals are radical. To find the primary decomposition a combinatorial problem involving the connected components of subgraphs has to be solved. The irreducible components of the solution variety are all rational.     

Cohomology of toric bundles

Let p: E B be a principal bundle with fibre and structure group the torus T ( ^*)ⁿ over a topological space B. Let X be a nonsingular projective T-toric variety. One has the X-bundle : E(X) B where E(X) = E × _T X, ([e,x]) = p(e). This is a Zariski locally trivial fibre bundle in case p: E B is algebraic. The purpose of this note is to describe (i) the singular cohomology ring of E(X) as an H ^* (B;)-algebra, (ii) the topological K-ring of K ^* (E(X)) as a K ^* (B)-algebra when B is compact. When p : E B is algebraic over an irreducible, nonsingular, noetherian scheme over , we describe (iii) the Chow ring of A ^* (E(X)) as an A ^* (B)-algebra, and (iv) the Grothendieck ring $\mathcal K$⁰ (E (X)) of algebraic vector bundles on E (X) as a $\mathcal K$⁰(B)-algebra.     

Standard pairs for monomial ideals in semigroup rings

We extend the notion of standard pairs to the context of monomial ideals in semigroup rings. Standard pairs can be used as a data structure to encode such monomial ideals, providing an alternative to generating sets that is well suited to computing intersections, decompositions, and multiplicities. We give algorithms to compute standard pairs from generating sets and vice versa and make all of our results effective. We assume that the underlying semigroup ring is positively graded, but not necessarily normal. The lack of normality is at the root of most challenges, subtleties, and innovations in this work.     

Effective cycles on blow-ups of Grassmannians

In this paper we study the pseudoeffective cones of blow-ups of Grassmannians at sets of points. For small numbers of points, the cones are often spanned by proper transforms of Schubert classes. In some special cases, we provide sharp bounds for when the Schubert classes fail to span and we describe the resulting geometry.     

Test ideals of non-principal ideals: Computations,jumping numbers,alterations and division theorems

Given an ideal a⊆R$\mathfrak{a}\subseteq R$ in a (log) Q$\mathbb{Q}$-Gorenstein F  -finite ring of characteristic p>0$p>0$, we study and provide a new perspective on the test ideal τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ for a real number t>0$t>0$. Generalizing a number of known results from the principal case, we show how to effectively compute the test ideal and also describe τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ using (regular) alterations with a formula analogous to that of multiplier ideals in characteristic zero. We further prove that the F  -jumping numbers of τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ as t varies are rational and have no limit points, including the important case where R is a formal power series ring. Additionally, we obtain a global division theorem for test ideals related to results of Ein and Lazarsfeld from characteristic zero, and also recover a new proof of Skoda's theorem for test ideals which directly mimics the proof for multiplier ideals.     

Geometry of moduli spaces of rational curves in linear sections of Grassmannian Gr(2,5)

We prove that the moduli spaces of rational curves of degree at most 3 in linear sections of the Grassmannian $\mathrm{G}\mathrm{r}(2,5)$ are all rational varieties. We also study their compactifications and birational geometry.     

The recursive nature of cominuscule Schubert calculus

The necessary and sufficient Horn inequalities which determine the non-vanishing Littlewood-Richardson coefficients in the cohomology of a Grassmannian are recursive in that they are naturally indexed by non-vanishing Littlewood-Richardson coefficients on smaller Grassmannians. We show how non-vanishing in the Schubert calculus for cominuscule flag varieties is similarly recursive. For these varieties, the non-vanishing of products of Schubert classes is controlled by the non-vanishing products on smaller cominuscule flag varieties. In particular, we show that the lists of Schubert classes whose product is non-zero naturally correspond to the integer points in the feasibility polytope, which is defined by inequalities coming from non-vanishing products of Schubert classes on smaller cominuscule flag varieties. While the Grassmannian is cominuscule, our necessary and sufficient inequalities are different than the classical Horn inequalities.     

On spherical ideals of Borel subalgebras

The goal of this paper is to extend some previous results on abelian ideals of Borel subalgebras to so-called spherical ideals of These are ideals of such that their G-saturation is a spherical G-variety. We classify all maximal spherical ideals of for all simple G.Received: 25 March 2004     

On the motive of certain subvarieties of fixed flags

We compute the Chow motive of certain subvarieties of the Flags manifold and show that it is an Artin motive.     

Hankel operators in Schatten ideals

We study membership to Schatten ideals S _E , associated with a monotone Riesz–Fischer space E, for the Hankel operators H _f defined on the Hardy space H ²(∂D). The conditions are expressed in terms of regularity of its symbol: we prove that H _f ∈S _E if and only if f∈B _E , the Besov space associated with a monotone Riesz–Fischer space E(dλ) over the measure space (D,dλ) and the main tool is the interpolation of operators. Received: December 17, 1999; in final form: September 25, 2000?Published online: July 13, 2001     

Effective Nullstellensatz for arbitrary ideals

Let f _i be polynomials in n variables without a common zero. Hilbert’s Nullstellensatz says that there are polynomials g _i such that ∑g _i f _i =1. The effective versions of this result bound the degrees of the g _i in terms of the degrees of the f _j . The aim of this paper is to generalize this to the case when the f _i are replaced by arbitrary ideals. Applications to the Bézout theorem, to Łojasiewicz–type inequalities and to deformation theory are also discussed. Received August 24, 1998 / final version received June 21, 1999