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

On mixed Hessians and the Lefschetz properties

We introduce a new type of Hessian matrix, that we call Mixed Hessian. The mixed Hessian is used to compute the rank of a multiplication map by a power of a linear form in a standard graded Artinian Gorenstein algebra. In particular we recover the main result of a paper by Maeno and Watanabe for identifying Strong Lefschetz elements, generalizing it also for Weak Lefschetz elements. This criterion is also used to give a new proof that Boolean algebras have the Strong Lefschetz Property. We also construct new examples of Artinian Gorenstein algebras presented by quadrics that does not satisfy the Weak Lefschetz Property; we construct minimal examples of such algebras and we give bounds, depending on the degree, for their existence. Artinian Gorenstein algebras presented by quadrics were conjectured to satisfy WLP in two papers by Migliore and Nagel, and in a previous paper we constructed the first counter-examples.     

The Hilbert functions which force the Weak Lefschetz Property

The purpose of this note is to characterize the finite Hilbert functions which force all of their artinian algebras to enjoy the Weak Lefschetz Property (WLP). Curiously, they turn out to be exactly those (characterized by Wiebe in [A. Wiebe, The Lefschetz property for componentwise linear ideals and Gotzmann ideals, Comm. Algebra 32 (12) (2004) 4601-4611]) whose Gotzmann ideals have the WLP.This implies that, if a Gotzmann ideal has the WLP, then all algebras with the same Hilbert function (and hence lower Betti numbers) have the WLP as well. However, we will answer in the negative, even in the case of level algebras, the most natural question that one might ask after reading the previous sentence: If A is an artinian algebra enjoying the WLP, do all artinian algebras with the same Hilbert function as A and Betti numbers lower than those of A have the WLP as well?Also, as a consequence of our result, we have another (simpler) proof of the fact that all codimension 2 algebras enjoy the WLP (this fact was first proven in [T. Harima, J. Migliore, U. Nagel, J. Watanabe, The weak and strong Lefschetz properties for Artinian K-algebras, J. Algebra 262 (2003) 99-126], where it was shown that even the Strong Lefschetz Property holds).     

Holomorphic representation of constant mean curvature surfaces in Minkowski space: Consequences of non-compactness in loop group methods

We give an infinite dimensional generalized Weierstrass representation for spacelike constant mean curvature (CMC) surfaces in Minkowski 3-space R2,1. The formulation is analogous to that given by Dorfmeister, Pedit and Wu for CMC surfaces in Euclidean space, replacing the group SU₂ with SU1,1. The non-compactness of the latter group, however, means that the Iwasawa decomposition of the loop group, used to construct the surfaces, is not global. We prove that it is defined on an open dense subset, after doubling the size of the real form SU1,1, and prove several results concerning the behavior of the surface as the boundary of this open set is encountered. We then use the generalized Weierstrass representation to create and classify new examples of spacelike CMC surfaces in R2,1. In particular, we classify surfaces of revolution and surfaces with screw motion symmetry, as well as studying another class of surfaces for which the metric is rotationally invariant.     

On equations defining Veronese rings

For a standard graded noetherian algebra S that is of weakly linear type, the defining equations of the Veronesian subrings S^(d) are described explicitly, for d sufficiently large. Received: 19 January 2005     

Linear subspaces,symbolic powers and Nagata type conjectures

Inspired by results of Guardo, Van Tuyl and the second author for lines in P³${\mathbb{P}}^3$, we develop asymptotic upper bounds for the least degree of a homogeneous form vanishing to order at least m on a union of disjoint r  -dimensional planes in Pⁿ${\mathbb{P}}^n$ for n?2r+1$n?2r+1$. These considerations lead to new conjectures that suggest that the well known conjecture of Nagata for points in P²${\mathbb{P}}^2$ is not an exotic statement but rather a manifestation of a much more general phenomenon which seems to have been overlooked so far.     

Kontsevich's formula and the WDVV equations in tropical geometry

Using Gromov-Witten theory the numbers of complex plane rational curves of degree d through 3d−1 general given points can be computed recursively with Kontsevich's formula that follows from the so-called WDVV equations. In this paper we establish the same results entirely in the language of tropical geometry. In particular this shows how the concepts of moduli spaces of stable curves and maps, (evaluation and forgetful) morphisms, intersection multiplicities and their invariance under deformations can be carried over to the tropical world.     

Fermat-type configurations of lines in P3 and the containment problem

The purpose of this note is to show a new series of examples of homogeneous ideals I in $\mathbb{K}[x,y,z,w]$ for which the containment $I^{(3)}?I^2$ fails. These ideals are supported on certain arrangements of lines in ${\mathbb{P}}^3$, which resemble Fermat configurations of points in ${\mathbb{P}}^2$, see [14]. All examples exhibiting the failure of the containment $I^{(3)}?I^2$ constructed so far have been supported on points or cones over configurations of points. Apart from providing new counterexamples, these ideals seem quite interesting on their own.     

A note on symbolic and ordinary powers of homogeneous ideals

In this note we are interested in the graded modulesM _k=I^(k)/I^k and , whereI is a saturated ideal in the homogeneous coordinate ringS=K[x₀,…,x_n] of ℙⁿ,I ^(k) is the symbolic power and is the saturation of the ordinary power. Very little is known about these modules, and we provide a bound on their diameters, we compute the Hilbert functions and we study some characteristic submodules in the special case ofn+1 general points in ℙⁿ.

---

Sunto In questa nota siamo interessati ai moduli graduatiM _k=I(k)/I^k e , doveI è un ideale saturato nell'anello delle coordinate omogeneeS:=K[x₀,…,x_n] di ℙⁿ,I ^(k) è la potenza simbolica e è la saturazione della potenza ordinaria. Poco è noto su questi moduli e qui viene fornito un limite superiore ai loro diametri. Ne calcoliamo inoltre le funzioni di Hilbert e studiamo alcuni sottomoduli caratteristici nel caso speciale din+1 punti in posizione generale, in ℙⁿ.

     

Linear systems on a class of anticanonical rational threefolds

Let X be the blow-up of the three dimensional complex projective space along r   points in very general position on a smooth elliptic quartic curve B⊂P³$B\subset {\mathbb{P}}^3$ and let L∈Pic(X)$L\in \mathrm{Pic}(X)$ be any line bundle. The aim of this paper is to provide an explicit algorithm for determining the dimension of H⁰(X,L)$H^0(X,L)$.     

Configurations in abelian categories. IV. Invariants and changing stability conditions

This is the last in a series on configurations in an abelian category A. Given a finite poset (I,?), an (I,?)-configuration (σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or in A satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects.The first paper defined configurations and studied moduli spaces of configurations in A, using Artin stacks. It showed well-behaved moduli stacks ObjA,MA(I,?) of objects and configurations in A exist when A is the abelian category coh(P) of coherent sheaves on a projective scheme P, or mod-KQ of representations of a quiver Q. The second studied algebras of constructible functions and stack functions on ObjA.The third introduced stability conditions(τ,T,?) on A, and showed the moduli space of τ-semistable objects in class α is a constructible subset in ObjA, so its characteristic function is a constructible function. It formed algebras , , , of constructible and stack functions on ObjA, and proved many identities in them.In this paper, if (τ,T,?) and are stability conditions on A we write in terms of the , and deduce the algebras are independent of (τ,T,?). We study invariants or Iss(I,?,κ,τ) ‘counting’ τ-semistable objects or configurations in A, which satisfy additive and multiplicative identities. We compute them completely when A=mod-KQ or A=coh(P) for P a smooth curve. We also find invariants with special properties when A=coh(P) for P a smooth surface with nef, or a Calabi-Yau 3-fold.     

Atoms of the set of numerical semigroups with fixed Frobenius number

Given a positive integer g, we denote by F(g) the set of all numerical semigroups with Frobenius number g. The set (F(g),∩) is a semigroup. In this paper we study the generators of this semigroup.     

Algebraic properties of first integrals for systems of second-order ordinary differential equations of maximal symmetry

Symmetries of the first integrals for scalar linear or linearizable secondorder ordinary di?erential equations (ODEs) have already been derived and shown to exhibit interesting properties. One of these is that the symmetry algebra sl(3, IR) is generated by the three triplets of symmetries of the functionally independent first integrals and its quotient. In this paper, we first investigate the Lie-like operators of the basic first integrals for the linearizable maximally symmetric system of two second-order ODEs represented by the free particle system, obtainable from a complex scalar free particle equation, by splitting the corresponding complex basic first integrals and its quotient as well as their associated symmetries. It is proved that the 14 Lie-like operators corresponding to the complex split of the symmetries of the functionally independent first integrals I₁, I₂ and their quotient I₂/I₁ are precisely the Lie-like operators corresponding to the complex split of the symmetries of the scalar free particle equation in the complex domain. Then, it is shown that there are distinguished four symmetries of each of the four basic integrals and their quotients of the two-dimensional free particle system which constitute four-dimensional Lie algebras which are isomorphic to each other and generate the full symmetry algebra sl(4, IR) of the free particle system. It is further shown that the (n + 2)-dimensional algebras of the n + 2 first integrals of the system of n free particle equations are isomorphic to each other and generate the full symmetry algebra sl(n + 2, IR) of the free particle system.     

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

Varieties with minimal secant degree and linear systems of maximal dimension on surfaces

In this paper we prove, using a refinement of Terracini's Lemma, a sharp lower bound for the degree of (higher) secant varieties to a given projective variety, which extends the well known lower bound for the degree of a variety in terms of its dimension and codimension in projective space. Moreover we study varieties for which the bound is attained proving some general properties related to tangential projections, e.g. these varieties are rational. In particular we completely classify surfaces (and curves) for which the bound is attained. It turns out that these surfaces enjoy some maximality properties for their embedding dimension in terms of their degree or sectional genus. This is related to classical beautiful results of Castelnuovo and Enriques that we revise here in terms of adjunction theory.     

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     

The Picard group of algebras over an algebraically nonclosed field

Let k be a field that is not algebraically closed, and let A be a k-algebra, whose each maximal ideal has residue field k. We prove that each element of the Picard group of A is of finite order and give an optimal upper bound for its order.     

Hidden constructions in abstract algebra (6): The theorem of Maroscia and Brewer & Costa

We give a constructive deciphering for a generalization of the Quillen-Suslin theorem due to Maroscia and Brewer & Costa stating that finitely generated projective modules over , where is a Prüfer domain with Krull dimension ≤1, are extended from .