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)$.     

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.     

The limiting behavior on the restriction of divisor classes to hypersurfaces

Let A be an excellent local normal domain and {f_n}_n=1^∞ a sequence of elements lying in successively higher powers of the maximal ideal, such that each hypersurface A/f_nA satisfies R₁. We investigate the injectivity of the maps Cl(A)→Cl((A/f_nA)′), where (A/f_nA)′ represents the integral closure. The first result shows that no non-trivial divisor class can lie in every kernel. Secondly, when A is, in addition, an isolated singularity containing a field of characteristic zero, dim A?4, and A has a small Cohen-Macaulay module, then we show that there is an integer N>0 such that if , then Cl(A)→Cl((A/f_nA)′) is injective. We substantiate these results with a general construction that provides a large collection of examples.     

The geometry of border bases

In this paper we continue the study of the border basis scheme we started in Kreuzer and Robbiano (2008) [16]. The main topic is the construction of various explicit flat families of border bases. To begin with, we cover the punctual Hilbert scheme by border basis schemes and work out the base changes. This enables us to control flat families obtained by linear changes of coordinates. Next we provide an explicit construction of the principal component of the border basis scheme, and we use it to find flat families of maximal dimension at each radical point. Finally, we connect radical points to each other and to the monomial point via explicit flat families on the principal component.     

Geometry of obstructed families of curves

We study certain equisingular families of curves with quasihomogeneous singularity of minimal obstructness (i.e. h¹=1). We show that our families always have expected codimension. Moreover they are either non-reduced with smooth reduction or decompose into two smooth components of expected codimension that intersect non-transversally or are reduced irreducible non-smooth varieties which have smooth singular locus with sectional singularity of type A₁. On the other hand there is an example of an equisingular family of curves with multiple quasihomogeneous singularities of minimal obstructness which is smooth but has wrong codimension. We use algorithms of computer algebra as a technical tool.     

Reduced arithmetically Gorenstein schemes and simplicial polytopes with maximal Betti numbers

An SI-sequence is a finite sequence of positive integers which is symmetric, unimodal and satisfies a certain growth condition. These are known to correspond precisely to the possible Hilbert functions of graded Artinian Gorenstein algebras with the weak Lefschetz property, a property shared by a nonempty open set of the family of all graded Artinian Gorenstein algebras having a fixed Hilbert function that is an SI sequence. Starting with an arbitrary SI-sequence, we construct a reduced, arithmetically Gorenstein configuration G of linear varieties of arbitrary dimension whose Artinian reduction has the given SI-sequence as Hilbert function and has the weak Lefschetz property. Furthermore, we show that G has maximal graded Betti numbers among all arithmetically Gorenstein subschemes of projective space whose Artinian reduction has the weak Lefschetz property and the given Hilbert function. As an application we show that over a field of characteristic zero every set of simplicial polytopes with fixed h-vector contains a polytope with maximal graded Betti numbers.     

Gorenstein injective, Gorenstein flat modules and the section functor

Let R be a commutative Noetherian ring of Krull dimension d, and let a be an ideal of R. In this paper, we will study the strong cotorsioness and the Gorenstein injectivity of the section functor Γ_a(−) in local cohomology. As applications, we will find new characterizations for Gorenstein and regular local rings. We also study the effect of the section functors Γ_a(−) and the functors on the Auslander and Bass classes.     

Impossibility of extending Pólya’s theorem to “forms” with arbitrary real exponents

Pólya proved that if a form (homogeneous polynomial) with real coefficients is positive on the nonnegative orthant (except at the origin), then it is the quotient of two real forms with no negative coefficients. While Pólya’s theorem extends, easily, from ordinary real forms to “generalized” real forms with arbitrary rational exponents, we show that it does not extend to generalized real forms with arbitrary real (possibly irrational) exponents.     

Totally reflexive modules constructed from smooth projective curves of genus <Emphasis Type="Italic">g</Emphasis> ≥ 2

In this paper, from an arbitrary smooth projective curve of genus at least two, we construct a non-Gorenstein Cohen-Macaulay normal domain and a nonfree totally reflexive module over it. Received: 2 May 2006     

Trigonal Gorenstein curves

We notice that the Maroni invariant of a trigonal Gorenstein curve of arithmetic genus g larger than four may be equal to zero, and we show that this happens if and only if the g₃¹ admits a non-removable base point, which is necessarily a singularity of the curve. We realize and study trigonal curves on rational scrolls, which in the case, where the g₃¹ admits a base point Q, degenerate to a cone with vertex Q.     

Embeddings of canonical modules and resolutions of connected sums

For an ideal $I_{m,n}$ generated by all square-free monomials of degree m in a polynomial ring R with n variables, we obtain a specific embedding of a canonical module of $R/I_{m,n}$ to $R/I_{m,n}$ itself. The construction of this explicit embedding depends on a minimal free R-resolution of an ideal generated by $I_{m,n}$. Using this embedding, we give a resolution of connected sums of several copies of certain Artin $\mathsf{k}$-algebras where $\mathsf{k}$ is a field.     

Weight sequences versus gap sequences at singular points of Gorenstein curves

After some foundational material concerning the so-calledWronskian k-forms, the fundamental notion ofweight sequence at a pointP of a Gorenstein curve (singular or not) is introduced. Thanks to this definition it is possible to extend the notion ofWeierstraß gaps sequence (WGS) at a singular point of a Gorenstein curve. The latter reduces to the classical one for points of smooth curves. In Sections 6 and 7, some geometrical interpretations and discussions of previous results of Widland and Lax are given, showing the naturality of the definition of WGS at a singular point.Work partially supported by GNSAGA-CNR and MURST.     

Counter-examples to non-noetherian Elkik's approximation theorem

Elkik established a remarkable theorem that can be applied for any noetherian henselian ring. For algebraic equations with a formal solution (restricted by some smoothness assumption), this theorem provides a solution adically close to the formal one in the base ring. In this paper, we show that the theorem would fail for some non-noetherian henselian rings. These rings do not satisfy several conditions weaker than noetherianness, such as weak proregularity (due to Grothendieck et al.) of the defining ideal. We describe the resulting pathologies.     

A vector bundle proof of Poncelet’s closure theorem

There are few different proofs of the celebrated Poncelet closure theorem about polygons simultaneously inscribed in a smooth conic and circumscribed around another. We propose a new proof, based on the link between Schwarzenberger bundles and Poncelet curves.     

Generic initial ideals and graded Artinian-level algebras not having the Weak-Lefschetz Property

We find a sufficient condition that is not level based on a reduction number. In particular, we prove that a graded Artinian algebra of codimension 3 with Hilbert function cannot be level if h_d≤2d+3, and that there exists a level O-sequence of codimension 3 of type for h_d≥2d+k for k≥4. Furthermore, we show that is not level if , and also prove that any codimension 3 Artinian graded algebra A=R/I cannot be level if . In this case, the Hilbert function of A does not have to satisfy the condition h_d−1>h_d=h_d+1.Moreover, we show that every codimension n graded Artinian level algebra having the Weak-Lefschetz Property has a strictly unimodal Hilbert function having a growth condition on (h_d−1−h_d)≤(n−1)(h_d−h_d+1) for every d>θ where

h₀<h₁<<h_α==h_θ>>h_s−1>h_s.