Resolutions of Segre embeddings of projective spaces of any dimension

This paper deals with syzygies of the ideals of Segre embeddings. Let d≥3 and . We prove that satisfies Green-Lazarsfeld’s property N_p if and only if p≤3.     

Explicit linear minimal free resolutions over a natural class of Rees algebras

Homological properties of the Rees algebra R of a Koszul K-algebra A over a field K, with respect to the maximal homogeneous ideal, are studied. In particular, for a finitely generated graded A-module N with linear minimal free R-resolution over A, the minimal free resolution of is explicitly constructed. This resolution is again linear.Received: 23 October 2000     

Clutching and gluing in tropical and logarithmic geometry

The classical clutching and gluing maps between the moduli stacks of stable marked algebraic curves are not logarithmic, i.e. they do not induce morphisms over the category of logarithmic schemes, since they factor through the boundary. Using insight from tropical geometry, we enrich the category of logarithmic schemes to include so-called sub-logarithmic morphisms and show that the clutching and gluing maps are naturally sub-logarithmic. Building on the recent framework developed by Cavalieri, Chan, Wise, and the third author, we further develop a stack-theoretic counterpart of these maps in the tropical world and show that the resulting maps naturally commute with the process of tropicalization.     

Minimal free resolution of the associated graded ring of monomial curves of generalized arithmetic sequences

Let A(C) be the coordinate ring of a monomial curve C⊆Aⁿ corresponding to the numerical semigroup S minimally generated by a sequence a₀,…,a_n. In the literature, little is known about the Betti numbers of the corresponding associated graded ring gr_m(A) with respect to the maximal ideal m of A=A(C). In this paper we characterize the numerical invariants of a minimal free resolution of gr_m(A) in the case a₀,…,a_n is a generalized arithmetic sequence.     

Families of artinian and low dimensional determinantal rings

Let $\mathrm{GradAlg}(H)$ be the scheme parameterizing graded quotients of $R=k[x_0,\dots ,x_n]$ with Hilbert function H (it is a subscheme of the Hilbert scheme of ${\mathbb{P}}^n$ if we restrict to quotients of positive dimension, see definition below). A graded quotient $A=R/I$ of codimension c is called standard determinantal if the ideal I can be generated by the $t\times t$ minors of a homogeneous $t\times (t+c?1)$ matrix $(f_{ij})$. Given integers $a_0\le a_1\le ...\le a_{t+c?2}$ and $b_1\le ...\le b_t$, we denote by $W_s(\underset{\_}{b};\underset{\_}{a})?\mathrm{GradAlg}(H)$ the stratum of determinantal rings where $f_{ij}\in R$ are homogeneous of degrees $a_j?b_i$.In this paper we extend previous results on the dimension and codimension of $W_s(\underset{\_}{b};\underset{\_}{a})$ in $\mathrm{GradAlg}(H)$ to artinian determinantal rings, and we show that $\mathrm{GradAlg}(H)$ is generically smooth along $W_s(\underset{\_}{b};\underset{\_}{a})$ under some assumptions. For zero and one dimensional determinantal schemes we generalize earlier results on these questions. As a consequence we get that the general element of a component W of the Hilbert scheme of ${\mathbb{P}}^n$ is glicci provided W contains a standard determinantal scheme satisfying some conditions. We also show how certain ghost terms disappear under deformation while other ghost terms remain and are present in the minimal resolution of a general element of $\mathrm{GradAlg}(H)$.     

Graded Betti numbers of some embedded rationaln-folds

Supported, in part, by the Natural Sciences and Engineering Research Council of Canada     

The Frobenius complexity of Hibi rings

We study the Frobenius complexity of Hibi rings over fields of characteristic $p>0$. In particular, for a certain class of Hibi rings (which we call ${\omega }^{(?1)}$-level), we compute the limit of the Frobenius complexity as $p\to \infty$.     

The doubles of a numerical semigroup

Let S be a numerical semigroup and let p be a positive integer. Then the quotient is also a numerical semigroup. When p=2 we say that is half of the numerical semigroup S. Dually, we say that S is a double of the numerical semigroup . We characterize the set of all doubles of a numerical semigroup. We also give some alternative proofs and improvements for some results that we find in previous papers.     

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.     

The transvection free groups with polynomial rings of invariants

Let G be a finite linear group containing no transvections. This paper proves that the ring of invariants of G is polynomial if and only if the pointwise stabilizer in G of any subspace is generated by pseudoreflections. Kemper and Malle used the classification of finite irreducible groups generated by pseudoreflections to prove the irreducible case in arbitrary characteristic. We extend their result to the reducible case.     

On varieties of almost minimal degree III: Tangent spaces and embedding scrolls

Let X⊂P^r be a variety of almost minimal degree which is the projected image of a rational normal scroll from a point p outside of . In this paper we study the tangent spaces at singular points of X and the geometry of the embedding scrolls of X, i.e. the rational normal scrolls Y⊂P^r which contain X as a codimension one subvariety.     

Componentwise regularity (I)

We define the notion of componentwise regularity and study some of its basic properties. We prove an analogue, when working with weight orders, of Buchberger's criterion to compute Gröbner bases; the proof of our criterion relies on a strengthening of a lifting lemma of Buchsbaum and Eisenbud. This criterion helps us to show a stronger version of Green's crystallization theorem in a quite general setting, according to the componentwise regularity of the initial object. Finally we show a necessary condition, given a submodule M   of a free one over the polynomial ring and a weight such that in(M)$\mathrm{in}(M)$ is componentwise linear, for the existence of an i   such that _βi(M)=_βi(in(M))${\beta }_i(M)={\beta }_i(\mathrm{in}(M))$.     

The projective dimension of three cubics is at most 5

Let R be a polynomial ring over a field and I an ideal generated by three forms of degree three. Motivated by Stillman's question, Engheta proved that the projective dimension $\mathrm{pd}(R/I)$ of $R/I$ is at most 36, although the example with largest projective dimension he constructed has $\mathrm{pd}(R/I)=5$. Based on computational evidence, it had been conjectured that $\mathrm{pd}(R/I)\le 5$. In the present paper we prove this conjectured sharp bound.     

Separators of points in a multiprojective space

In this note we develop some of the properties of separators of points in a multiprojective space. In particular, we prove multigraded analogs of results of Geramita, Maroscia, and Roberts relating the Hilbert function of and via the degree of a separator, and Abrescia, Bazzotti, and Marino relating the degree of a separator to shifts in the minimal multigraded free resolution of the ideal of points.     

The rationality of the Hilbert-Kunz multiplicity in graded dimension two

We show that the Hilbert-Kunz multiplicity is a rational number for an R₊−primary homogeneous ideal I=(f₁, . . . , f_n) in a two-dimensional graded domain R of finite type over an algebraically closed field of positive characteristic. More specific, we give a formula for the Hilbert-Kunz multiplicity in terms of certain rational numbers coming from the strong Harder-Narasimhan filtration of the syzygy bundle Syz(f₁, . . . , f_n) on the projective curve Y=ProjR.     

Poincaré series of modules over compressed Gorenstein local rings

Given two positive integers e and s we consider Gorenstein Artinian local rings R   whose maximal ideal m$\mathfrak{m}$ satisfies m^s≠0=m^s+1${\mathfrak{m}}^s\ne 0={\mathfrak{m}}^{s+1}$ and _rankR/m(m/m²)=e${\mathrm{rank}}_{R/\mathfrak{m}}(\mathfrak{m}/{\mathfrak{m}}^2)=e$. We say that R is a compressed Gorenstein local ring   when it has maximal length among such rings. It is known that generic Gorenstein Artinian algebras are compressed. If s≠3$s\ne 3$, we prove that the Poincaré series of all finitely generated modules over a compressed Gorenstein local ring are rational, sharing a common denominator. A formula for the denominator is given. When s is even this formula depends only on the integers e and s  . Note that for s=3$s=3$ examples of compressed Gorenstein local rings with transcendental Poincaré series exist, due to Bøgvad.