On generic principal ideals in the exterior algebra

We give a lower bound on the Hilbert series of the exterior algebra modulo a principal ideal generated by a generic form of odd degree and disprove a conjecture by Moreno-Socías and Snellman. We also show that the lower bound is equal to the minimal Hilbert series in some specific cases.     

On the Hilbert series of ideals generated by generic forms

There is a longstanding conjecture by Fröberg about the Hilbert series of the ring R∕I, where R is a polynomial ring, and I an ideal generated by generic forms. We prove this conjecture true in the case when I is generated by a large number of forms, all of the same degree. We also conjecture that an ideal generated by m’th powers of generic forms of degree d≥2 gives the same Hilbert series as an ideal generated by generic forms of degree md. We verify this in several cases. This also gives a proof of the first conjecture in some new cases.     

On generic and maximal k-ranks of binary forms

In what follows, we pose two general conjectures about decompositions of homogeneous polynomials as sums of powers. The first one (suggested by G. Ottaviani) deals with the generic k-rank of complex-valued forms of any degree divisible by k in any number of variables. The second one (by the fourth author) deals with the maximal k-rank of binary forms. We settle the first conjecture in the cases of two variables and the second in the first non-trivial case of the 3-rd powers of quadratic binary forms.     

A note on Fröberg's conjecture for forms of equal degrees

In this note we study ideals generated by generic forms in polynomial rings over any algebraicly closed field of characteristic zero. We prove for many cases that the $(d+k)$-th graded component of an ideal generated by generic forms of degree d has the expected dimension (given by dimension count). And as a consequence of our result, we obtain that ideals generated by several generic forms of degrees d usually have the expected Hilbert series. The precise form of this expected Hilbert series, in general, is known as Fröberg's conjecture.     

Suite spectrale d'Adams et invariants cohomologiques des formes quadratiques

For any field k of characteristic 0 the Adams spectral sequence for the sphere spectrum based on Suslin-Voevodsky modulo 2 motivic cohomology [8] converges to the graded ring associated to the filtration of the Grothendieck-Witt ring of quadratic forms over k by powers of the ideal generated by even-dimensional forms. Moreover, some property of the modulo 2 motivic cohomology of k, which is a consequence of Voevodsky 's proof of Milnor's conjecture on modulo 2 Galois cohomology of k [9], implies that the spectral sequence degenerates in the critical area. This allows us to give a new proof of the Milnor conjecture on the graded ring of the Witt ring of k [4] which differs from [11].     

On the ring of global sections of the blowing-up along a two-generated ideal

The effective relations and the relation type of an ideal generated by two regular elements can be expressed in terms of the ring of global sections of the blowing-up along the ideal. As a consequence, we find the minimal overring where the ideal is syzygetic or of linear type.     

Looking out for stable syzygy bundles

We study (slope-)stability properties of syzygy bundles on a projective space PN given by ideal generators of a homogeneous primary ideal. In particular we give a combinatorial criterion for a monomial ideal to have a semistable syzygy bundle. Restriction theorems for semistable bundles yield the same stability results on the generic complete intersection curve. From this we deduce a numerical formula for the tight closure of an ideal generated by monomials or by generic homogeneous elements in a generic two-dimensional complete intersection ring.     

On the Stanley ring of cubical complex

We investigate the properties of the Stanley ring of a cubical complex, a cubical analogue of the Stanley-Reisner ring of a simplicial complex. We compute its Hilbert series in terms of thef-vector, and prove that by taking the initial ideal of the defining relations, with respect to the reverse lexicographic order, we obtain the defining relations of the Stanley-Reisner ring of the triangulation via “pulling the vertices” of the cubical complex. Applying an old idea of Hochster we see that this ring is Cohen-Macaulay when the complex is shellable, and we show that its defining ideal is generated by quadrics when the complex is also a subcomplex of the boundary complex of a convex cubical polytope. We present a cubical analogue of balanced Cohen-Macaulay simplicial complexes: the class of edge-orientable shellable cubical complexes. Using Stanley's results about balanced Cohen-Macaulay simplicial complexes and the degree two homogeneous generating system of the defining ideal, we obtain an infinite set of examples for a conjecture of Eisenbud, Green, and Harris. This conjecture says that theh-vector of a polynomial ring inn variables modulo an ideal which has ann-element homogeneous system of parameters of degree two, is thef-vector of a simplicial complex.     

Zero-preserving iso-spectral flows based on parallel sums

Driessel [K.R. Driessel, Computing canonical forms using flows, Linear Algebra Appl 379 (2004) 353-379] introduced the notion of quasi-projection onto the range of a linear transformation from one inner product space into another inner product space. Here we introduce the notion of quasi-projection onto the intersection of the ranges of two linear transformations from two inner product spaces into a third inner product space. As an application, we design a new family of iso-spectral flows on the space of symmetric matrices that preserves zero patterns. We discuss the equilibrium points of these flows. We conjecture that these flows generically converge to diagonal matrices. We perform some numerical experiments with these flows which support this conjecture. We also compare our zero-preserving flows with the Toda flow.     

Trivial extensions defined by Prüfer conditions

This paper deals with well-known extensions of the Prüfer domain concept to arbitrary commutative rings. We investigate the transfer of these notions in trivial ring extensions (also called idealizations) of commutative rings by modules and then generate original families of rings with zero-divisors subject to various Prüfer conditions. The new examples give further evidence for the validity of the Bazzoni-Glaz conjecture on the weak global dimension of Gaussian rings. Moreover, trivial ring extensions allow us to widen the scope of validity of Kaplansky-Tsang conjecture on the content ideal of Gaussian polynomials.     

Commutative rings in which every finitely generated ideal is quasi-projective

This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. We provide some preliminaries on quasi-projective modules over commutative rings. Then we investigate the correlation with the well-known Prüfer conditions; that is, we prove that this class of rings stands strictly between the two classes of arithmetical rings and Gaussian rings. Thereby, we generalize Osofsky’s theorem on the weak global dimension of arithmetical rings and partially resolve Bazzoni-Glaz’s related conjecture on Gaussian rings. We also establish an analogue of Bazzoni-Glaz results on the transfer of Prüfer conditions between a ring and its total ring of quotients. We then examine various contexts of trivial ring extensions in order to build new and original examples of rings where all finitely generated ideals are subject to quasi-projectivity, marking their distinction from related classes of Prüfer rings.     

A note on Tutte polynomials and Orlik–Solomon algebras

Let be a (central) arrangement of hyperplanes in and the dependence matroid of the linear forms . The Orlik–Solomon algebra of a matroid is the exterior algebra on the points modulo the ideal generated by circuit boundaries. The graded algebra is isomorphic to the cohomology algebra of the manifold . The Tutte polynomial is a powerful invariant of the matroid . When is a rank 3 matroid and the θ_Hi are complexifications of real linear forms, we will prove that determines . This result partially solves a conjecture of Falk.     

On secant varieties of compact Hermitian symmetric spaces

We show that the secant varieties of rank three compact Hermitian symmetric spaces in their minimal homogeneous embeddings are normal, with rational singularities. We show that their ideals are generated in degree three—with one exception, the secant variety of the 21-dimensional spinor variety in P⁶³ where we show that the ideal is generated in degree four. We also discuss the coordinate rings of secant varieties of compact Hermitian symmetric spaces.     

一类量子Koszul 代数的Hochschild 上同调

本文利用组合的方法, 详细地计算了一类量子Koszul 代数Λ_q (q ∈ k \{0}) 的各阶Hochschild 上同调空间的维数, 清晰地刻划了代数Λ_q 的Hochschild 上同调的cup 积, 确定了代数Λ_q 的Hochschild上同调环HH^*(Λ_q) 模去幂零元生成的理想N 的结构, 证明了当q 为单位根时, HH^*(Λ_q)/N 作为代数不是有限生成的, 从而为Snashall-Solberg 猜想(即HH^*(Λ)/N 作为代数是有限生成的) 提供了更多反例.     

On the coinvariants of modular representations of cyclic groups of prime order

We consider the ring of coinvariants for modular representations of cyclic groups of prime order. For all cases for which explicit generators for the ring of invariants are known, we give a reduced Gröbner basis for the Hilbert ideal and the corresponding monomial basis for the coinvariants. We also describe the decomposition of the coinvariants as a module over the group ring. For one family of representations, we are able to describe the coinvariants despite the fact that an explicit generating set for the invariants is not known. In all cases our results confirm the conjecture of Harm Derksen and Gregor Kemper on degree bounds for generators of the Hilbert ideal. As an incidental result, we identify the coefficients of the monomials appearing in the orbit product of a terminal variable for the three-dimensional indecomposable representation.     

Integral closure of invariant ideals, toroidal resolution, and equivariant vector bundles

We establish a connection between equivariant integrally closed ideal sheaves on a G-fibration Y over a G-spherical variety X with an affine fiber V and equivariant vector bundles on the universal toroidal resolution of X. As an application, we reduce the study of invariant integrally closed ideals of V×X to that of some smaller variety in the case of X=M_n,m. Moreover, we present an affirmative answer to a problem raised by Michel Brion [Comment. Math. Helv. 66 (1991) 237-262] for two special infinite series.     

On the multigraded Hilbert and Poincaré-Betti series and the Golod property of monomial rings

In this paper we study the multigraded Hilbert and Poincaré-Betti series of A=S/a, where S is the ring of polynomials in n indeterminates divided by the monomial ideal a. There is a conjecture about the multigraded Poincaré-Betti series by Charalambous and Reeves which they proved in the case where the Taylor resolution is minimal. We introduce a conjecture about the minimal A-free resolution of the residue class field and show that this conjecture implies the conjecture of Charalambous and Reeves and, in addition, gives a formula for the Hilbert series. Using Algebraic Discrete Morse theory, we prove that the homology of the Koszul complex of A with respect to x₁,…,x_n is isomorphic to a graded commutative ring of polynomials over certain sets in the Taylor resolution divided by an ideal r of relations. This leads to a proof of our conjecture for some classes of algebras A. We also give an approach for the proof of our conjecture via Algebraic Discrete Morse theory in the general case.The conjecture implies that A is Golod if and only if the product (i.e. the first Massey operation) on the Koszul homology is trivial. Under the assumption of the conjecture we finally prove that a very simple purely combinatorial condition on the minimal monomial generating system of a implies Golodness for A.     

A tight bound on the projective dimension of four quadrics

Motivated by Stillman's question, we show that the projective dimension of an ideal generated by four quadric forms in a polynomial ring is at most 6; moreover, this bound is tight. We achieve this bound, in part, by giving a characterization of the low degree generators of ideals primary to height three primes of multiplicities one and two.     

Minimal generating set for semi-invariants of quivers of dimension two

A minimal (by inclusion) generating set for the algebra of semi-invariants of a quiver of dimension (2,…,2) is established over an infinite field of arbitrary characteristic. The mentioned generating set consists of the determinants of generic matrices and the traces of tree paths of pairwise different multidegrees, where in the case of characteristic different from two we take only admissible paths. As a consequence, we describe relations modulo decomposable semi-invariants.     

3-standardness of the maximal ideal

We study a notion called n-standardness (defined by M.E. Rossi (2000) in [10] and extended in this paper) of ideals primary to the maximal ideal in a Cohen-Macaulay local ring and some of its consequences. We further study conditions under which the maximal ideal is 3-standard, first proving results for when the residue field has prime characteristic and then using the method of reduction to prime characteristic to extend the results to the equicharacteristic 0 case. As an application, we extend a result due to T. Puthenpurakal (2005) [9] and show that a certain length associated with a minimal reduction of the maximal ideal does not depend on the minimal reduction chosen.