Hilbert schemes and maximal Betti numbers over veronese rings

Macaulay??s Theorem (Macaulay in Proc. Lond Math Soc 26:531?C555, 1927) characterizes the Hilbert functions of graded ideals in a polynomial ring over a field. We characterize the Hilbert functions of graded ideals in a Veronese ring R (the coordinate ring of a Veronese embedding of P ^r-1). We also prove that the Hilbert scheme, which parametrizes all graded ideals in R with a fixed Hilbert function, is connected; this is an analogue of Hartshorne??s Theorem (Hartshorne in Math. IHES 29:5?C48, 1966) that Hilbert schemes over a polynomial ring are connected. Furthermore, we prove that each lex ideal in R has the greatest Betti numbers among all graded ideals with the same Hilbert function.     

Full Ideals

Contractedness of 𝔪-primary integrally closed ideals played a central role in the development of Zariski's theory of integrally closed ideals in two-dimensional regular local rings (R, 𝔪). In such rings, the contracted 𝔪-primary ideals are known to be characterized by the property that I: 𝔪 = I: x for some x ∈ 𝔪 ?𝔪². We call the ideals with this property full ideals and compare this class of ideals with the classes of 𝔪-full ideals, basically full ideals, and contracted ideals in higher dimensional regular local rings. The 𝔪-full ideals are easily seen to be full. In this article, we find a sufficient condition for a full ideal to be 𝔪-full. We also show the equivalence of the properties full, 𝔪-full, contracted, integrally closed, and normal, for the class of parameter ideals. We then find a sufficient condition for a basically full parameter ideal to be full.     

Gotzmann Edge Ideals

Let P = 𝕜[x ₁,…, x _n ] be the polynomial ring in n variables. A homogeneous ideal I ? P generated in degree d is called Gotzmann if it has the smallest possible Hilbert function out of all homogeneous ideals with the same dimension in degree d. The edge ideal of a simple graph G on vertices x ₁,…, x _n is the quadratic square-free monomial ideal generated by all x _i x _j where {x _i , x _j } is an edge of G. The only edge ideals that are Gotzmann are those edge ideals corresponding to star graphs.     

On n-Absorbing Ideals of Commutative Rings

Let R be a commutative ring with 1 ≠ 0 and n a positive integer. In this article, we study two generalizations of a prime ideal. A proper ideal I of R is called an n-absorbing (resp., strongly n-absorbing) ideal if whenever x ₁…x _n+1 ∈ I for x ₁,…, x _n+1 ∈ R (resp., I ₁…I _n+1 ? I for ideals I ₁,…, I _n+1 of R), then there are n of the x _i 's (resp., n of the I _i 's) whose product is in I. We investigate n-absorbing and strongly n-absorbing ideals, and we conjecture that these two concepts are equivalent. In particular, we study the stability of n-absorbing ideals with respect to various ring-theoretic constructions and study n-absorbing ideals in several classes of commutative rings. For example, in a Noetherian ring every proper ideal is an n-absorbing ideal for some positive integer n, and in a Prüfer domain, an ideal is an n-absorbing ideal for some positive integer n if and only if it is a product of prime ideals.     

Hilbert Polynomial of a Certain Ladder-Determinantal Ideal

A ladder-shaped array is a subset of a rectangular array which looks like a Ferrers diagram corresponding to a partition of a positive integer. The ideals generated by the p-by-p minors of a ladder-type array of indeterminates in the corresponding polynomial ring have been shown to be hilbertian (i.e., their Hilbert functions coincide with Hilbert polynomials for all nonnegative integers) by Abhyankar and Kulkarni [3, p 53–76]. We exhibit here an explicit expression for the Hilbert polynomial of the ideal generated by the two-by-two minors of a ladder-type array of indeterminates in the corresponding polynomial ring. Counting the number of paths in the corresponding rectangular array having a fixed number of turning points above the path corresponding to the ladder is an essential ingredient of the combinatorial construction of the Hilbert polynomial. This gives a constructive proof of the hilbertianness of the ideal generated by the two-by-two minors of a ladder-type array of indeterminates.     

A stratification of Hilbert schemes by initial ideals and applications

We show that the set of the homogeneous saturated ideals with given initial ideal in a fixed term-ordering is locally closed in the Hilbert scheme, and that it is affine if the initial ideal is saturated. Then, Hilbert schemes can be stratified using these subschemes. We investigate the behaviour of this stratification with respect to some properties of the closed points. As application, we describe the singular locus of the component of Hilb^{4 z +1} _ℙ4 containing the ACM curves of degree 4. Received: 30 November 1998 / Revised version: 16 September 1999     

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.     

Poisson Prime Ideals of Poisson Polynomial Rings

Let A be a finitely generated Poisson algebra over a field of characteristic zero. Here we prove that every Poisson prime ideal of A is prime and give a method to find all Poisson prime ideals in an arbitrary Poisson polynomial ring A[x; α, δ].     

Relative K0, Annihilators, Fitting Ideals and Stickelberger Phenomena

When G is abelian and l is a prime we show how elements of therelative K-group K₀(Z_l[G], Q_l give rise to annihilator/Fittingideal relations of certain associated Z[G]-modules. Examplesof this phenomenon are ubiquitous. Particularly, we give examplesin which G is the Galois group of an extension of global fieldsand the resulting annihilator/Fitting ideal relation is closelyconnected to Stickelberger's Theorem and to the conjecturesof Coates and Sinnott, and Brumer. Higher Stickelberger idealsare defined in terms of special values of L-functions; whenthese vanish we show how to define fractional ideals, generalisingthe Stickelberger ideals, with similar annihilator properties.The fractional ideal is constructed from the Borel regulatorand the leading term in the Taylor series for the L-function.En route, our methods yield new proofs, in the case of abeliannumber fields, of formulae predicted by Lichtenbaum for theorders of K-groups and étale cohomology groups of ringsof algebraic integers. 2000 Mathematics Subject Classification11G55, 11R34, 11R42, 19F27.     

Borel sets and sectional matrices

Following the path trodden by several authors along the border between Algebraic Geometry and Algebraic Combinatorics, we present some new results on the combinatorial structure of Borel ideals. This enables us to prove theorems on the shape of thesectional matrix of a homogeneous ideal, which is a new invariant stronger than the Hilbert function. The authors were partially supported by the Consiglio Nazionale delle Ricerche (CNR).     

Rigid resolutions and big Betti numbers

The Betti-numbers of a graded ideal I in a polynomial ring and the Betti-numbers of its generic initial ideal Gin(I) are compared. In characteristic zero it is shown that if these Betti-numbers coincide in some homological degree, then they coincide in all higher homological degrees. We also compare the Betti-numbers of componentwise linear ideals which are contained in each other and have the same Hilbert polynomial.     

Prime filtrations and Stanley decompositions of squarefree modules and Alexander duality

In this paper we study how prime filtrations and squarefree Stanley decompositions of squarefree modules over the polynomial ring and over the exterior algebra behave with respect to Alexander duality. The results which we obtained suggest a lower bound for the regularity of a \mathbb Zⁿ{\mathbb {Z}^n}-graded module in terms of its Stanley decompositions. For squarefree modules this conjectured bound is a direct consequence of Stanley’s conjecture on Stanley decompositions. We show that for pretty clean rings of the form R/I, where I is a monomial ideal, and for monomial ideals with linear quotient our conjecture holds.     

Two Remarks on Independent Sets

In the first part we generalize the notion of strongly independent sets, introduced in [10] for polynomial ideals, to submodules of free modules and explain their computational relevance. We discuss also two algorithms to compute strongly independent sets that rest on the primary decomposition of squarefree monomial ideals.Usually the initial ideal in(I) of a polynomial ideal I is worse than I. In [9] the authors observed that nevertheless in(I) is not as bad as one should expect, showing that in(I) is connected in codimension one if I is prime.In the second part of the paper we add more evidence to that observation. We show that in(I) inherits (radically) unmixedness, connectedness in codimension one and connectedness outside a finite set of points from I and prove the same results also for initial submodules of free modules. The proofs use a deformation from I to in(I ).     

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.     

Ideal Submodules Versus Ternary Ideals Versus Linking Ideals

We show that ideal submodules and closed ternary ideals in Hilbert modules are the same. We use this insight as a little peg on which to hang a little note about interrelations with other notions regarding Hilbert modules. In Section 3, we show that the ternary ideals (and equivalent notions) merit fully, in terms of homomorphisms and quotients, to be called ideals of (not necessarily full) Hilbert modules. The properties to be checked are intrinsically formulated for the modules (without any reference to the algebra over which they are modules) in terms of their ternary structure. The proofs, instead, are motivated from a third equivalent notion, linking ideals (Section 2), and a Theorem (Section 3) that all extends nicely to (reduced) linking algebras. As an application, in Section 4, we introduce ternary extensions of Hilbert modules and prove most of the basic properties (some new even for the known notion of extensions of Hilbert modules), by reducing their proof to the well-known analogue theorems about extensions of C^?–algebras. Finally, in Section 5, we propose several open problems that our method naturally suggests.

     

Generalizations of Prime Ideals

Let R be a commutative ring with identity. Various generalizations of prime ideals have been studied. For example, a proper ideal I of R is weakly prime (resp., almost prime) if a, b ∈ R with ab ∈ I ? {0} (resp., ab ∈ I ? I ²) implies a ∈ I or b ∈ I. Let φ:?(R) → ?(R) ∪ {?} be a function where ?(R) is the set of ideals of R. We call a proper ideal I of R a φ-prime ideal if a, b ∈ R with ab ∈ I ? φ(I) implies a ∈ I or b ∈ I. So taking φ_?(J) = ? (resp., φ₀(J) = 0, φ₂(J) = J ²), a φ_?-prime ideal (resp., φ₀-prime ideal, φ₂-prime ideal) is a prime ideal (resp., weakly prime ideal, almost prime ideal). We show that φ-prime ideals enjoy analogs of many of the properties of prime ideals.     

Trees, parking functions, syzygies, and deformations of monomial ideals

For a graph , we construct two algebras whose dimensions are both equal to the number of spanning trees of . One of these algebras is the quotient of the polynomial ring modulo certain monomial ideal, while the other is the quotient of the polynomial ring modulo certain powers of linear forms. We describe the set of monomials that forms a linear basis in each of these two algebras. The basis elements correspond to -parking functions that naturally came up in the abelian sandpile model. These ideals are instances of the general class of monotone monomial ideals and their deformations. We show that the Hilbert series of a monotone monomial ideal is always bounded by the Hilbert series of its deformation. Then we define an even more general class of monomial ideals associated with posets and construct free resolutions for these ideals. In some cases these resolutions coincide with Scarf resolutions. We prove several formulas for Hilbert series of monotone monomial ideals and investigate when they are equal to Hilbert series of deformations. In the appendix we discuss the abelian sandpile model.

     

Gotzmann ideals of the polynomial ring

Let A =  K[x ₁,..., x _n ] denote the polynomial ring in n variables over a field K. We will classify all the Gotzmann ideals of A with at most n generators. In addition, we will study Hilbert functions H for which all homogeneous ideals of A with the Hilbert function H have the same graded Betti numbers. These Hilbert functions will be called inflexible Hilbert functions. We introduce the notion of segmentwise critical Hilbert functions and show that segmentwise critical Hilbert functions are inflexible. The first author is supported by JSPS Research Fellowships for Young Scientists.     

t-Spread strongly stable monomial ideals*

We introduce the concept of t-spread monomials and t-spread strongly stable ideals. These concepts are a natural generalization of strongly stable and squarefree strongly stable ideals. For the study of this class of ideals we use the t-fold stretching operator. It is shown that t-spread strongly stable ideals are componentwise linear. Their height, their graded Betti numbers and their generic initial ideal are determined. We also consider the toric rings whose generators come from t-spread principal Borel ideals.     

The Nullstellensatz for Systems of PDE

Given an ideal I in , the polynomial ring in n-indeterminates, the affine variety of I is the set of common zeros in ⁿ of all the polynomials that belong to I, and the Hilbert Nullstellensatz states that there is a bijective correspondence between these affine varieties and radical ideals of . If, on the other hand, one thinks of a polynomial as a (constant coefficient) partial differential operator, then instead of its zeros in ⁿ, one can consider its zeros, i.e., its homogeneous solutions, in various function and distribution spaces. An advantage of this point of view is that one can then consider not only the zeros of ideals of , but also the zeros of submodules of free modules over (i.e., of systems of PDEs). The question then arises as to what is the analogue here of the Hilbert Nullstellensatz. The answer clearly depends on the function–distribution space in which solutions of PDEs are being located, and this paper considers the case of the classical spaces. This question is related to the more general question of embedding a partial differential system in a (two-sided) complex with minimal homology. This paper also explains how these questions are related to some questions in control theory.