Interval conjectures for level Hilbert functions

DOI10.1016/J.JALGEBRA.2007.09.030zbMATH Open1169.13008arXiv0705.0806OpenAlexW2093153354WikidataQ123022568 ScholiaQ123022568MaRDI QIDQ2390481FDOQ2390481

Authors: Fabrizio Zanello 

Publication date: 23 July 2009

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: We conjecture that the set of all Hilbert functions of (artinian) level algebras enjoys a very natural form of regularity, which we call the {em Interval Conjecture} (IC): If, for some positive integer $alpha$, $(1,h_1,\mathrm{...},h_i,\mathrm{...},h_e)$ and $(1,h_1,\mathrm{...},h_i+alpha,\mathrm{...},h_e)$ are both level $h$-vectors, then $$ is also level for each integer $$ In the Gorenstein case, i.e. when $h_e=1$, we also supply the {em Gorenstein Interval Conjecture} (GIC), which naturally generalizes the IC, and basically states that the same property simultaneously holds for any two symmetric entries, say $h_i$ and $h_{e-i}$, of a Gorenstein $h$-vector. These conjectures are inspired by the research performed in this area over the last few years. A series of recent results seems to indicate that it will be nearly impossible to characterize explicitly the sets of all Gorenstein or of all level Hilbert functions. Therefore, our conjectures would at least provide the existence of a very strong - and natural - form of order in the structure of such important and complicated sets. We are still far from proving the conjectures at this point. However, we will already solve a few interesting cases, especially when it comes to the IC, in this paper. Among them, that of Gorenstein $h$-vectors of socle degree 4, that of level $h$-vectors of socle degree 2, and that of non-unimodal level $h$-vectors of socle degree 3 and any given codimension.

Full work available at URL: https://arxiv.org/abs/0705.0806

Recommendations

• Proof of the Gorenstein interval conjecture in low socle degree
• Gorenstein algebras presented by quadrics
• The Hilbert function of a level algebra
• A characterization of Gorenstein Hilbert functions in codimension four with small initial degree
• On the Hilbert function of Gorenstein algebras of socle degree four

zbMATH Keywords

unimodalityGorenstein algebrasHilbert functionsinverse systemsArtinian algebraslevel algebrasinterval conjectures

Mathematics Subject Classification ID

Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40)

Cites Work

• Hilbert functions of graded algebras
• Combinatorics and commutative algebra.
• Power sums, Gorenstein algebras, and determinantal loci. With an appendix `The Gotzmann theorems and the Hilbert scheme' by Anthony Iarrobino and Steven L. Kleiman
• The Hilbert function of a level algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• A non-unimodal codimension 3 level \(h\)-vector
• Lower bounds on arithmetic circuits via partial derivatives
• Compressed Algebras: Artin Algebras Having Given Socle Degrees and Maximal Length
• Partial derivatives of a generic subspace of a vector space of forms: Quotients of level algebras of arbitrary type
• Hilbert functions of Gorenstein algebras associated to a pencil of forms
• Learning arithmetic circuits via partial derivatives.
• Artinian Gorenstein algebras of embedding dimension four: components of \(\mathbb P\)Gor\((H)\) for \(H=(1,4,7,\ldots,1)\)
• On the degree two entry of a Gorenstein $h$-vector and a conjecture of Stanley
• A nonunimodal graded gorenstein artin algebra in codimension five
• Nonunimodality of Graded Gorenstein Artin Algebras
• Level Algebras, Lex Segments, and Minimal Hilbert Functions
• Stanley’s theorem on codimension 3 Gorenstein ℎ-vectors
• Hilbert functions and level algebras
• Graded gorenstein artin algebras whose hilbert functions have a large number of valleys
• When Is There a Unique Socle-Vector Associated to a Givenh-Vector?
• A characterization of Gorenstein Hilbert functions in codimension four with small initial degree

Cited In (10)

• \(f\)-vectors of pure complexes and pure multicomplexes of rank three
• Two unfortunate properties of pure $f$-vectors
• On minimal Gorenstein Hilbert functions
• Some algebraic consequences of Green's hyperplane restriction theorems
• On the shape of a pure \(O\)-sequence
• Stanley's nonunimodal Gorenstein \(h\)-vector is optimal
• On the weak Lefschetz property for artinian Gorenstein algebras of codimension three
• Unimodality of partitions with distinct parts inside Ferrers shapes
• Pure \(O\)-sequences and matroid \(h\)-vectors
• Proof of the Gorenstein interval conjecture in low socle degree

This page was built for publication: Interval conjectures for level Hilbert functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2390481)