Extending the idea of compressed algebra to arbitrary socle-vectors. (Q1419007): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: math/0411562 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Level Algebras, Lex Segments, and Minimal Hilbert Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hilbert functions and level algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4175681 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3222956 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4882175 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compressed Algebras: Artin Algebras Having Given Socle Degrees and Maximal Length / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reduced arithmetically Gorenstein schemes and simplicial polytopes with maximal Betti numbers. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hilbert functions of graded algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extending the idea of compressed algebra to arbitrary socle-vectors. II: Cases of non-existence / rank
 
Normal rank

Latest revision as of 13:52, 6 June 2024

scientific article
Language Label Description Also known as
English
Extending the idea of compressed algebra to arbitrary socle-vectors.
scientific article

    Statements

    Extending the idea of compressed algebra to arbitrary socle-vectors. (English)
    0 references
    0 references
    14 January 2004
    0 references
    The author studies standard graded artinian algebras , i. e. artinian quotients \(A=R/I\) of the polynomial ring \(R=k[x_{1},\dots, x_{n}]\), where \(k\) is a field of characteristic zero, the \(x_{i}\)'s all have degree 1 and \(I\) is a homogeneous ideal of \(R\). The \(h\)-vector of \(A\) is \(h(A)=h= (h_{0},\dots, h_{e})\), where \(h_{i}= \dim_{k}A_{i}\) and \(e\) is the last index such that \(\dim_{k}A_{e}>0\). Since we may suppose that \(I\) does not contain non-zero forms of degree 1, \(r=h_{1}\) is defined to be the embedding dimension (emb. dim., in brief) of \(A\). The socle of \(A\) denoted by \(\text{soc}(A)\) is the annihilator of the maximal homogeneous ideal \(\overline{m}= (\overline{x}_{1},\dots, \overline{x}_{n})\subset A\). Since \(\text{soc}(A)\) is a homogeneous ideal, the socle-vector of \(A\) is defined as \(s(A)=s=(s_{0},\dots, s_{e})\), where \(s_{i}= \dim_{k} \text{soc}(A)_{i}\). An \(h\)-vector \(h\) is said admissible for the pair \((r,s)\) if there exists an algebra \(A\) with \(\text{emb.dim.}(A) =r\), \(s(A)=s\) and \(h(A)=h\). The general problem of finding all the admissible \(h\)-vectors for a given pair \((r,s)\) seems not easy in general. The case of Gorenstein algebras has been studied by many authors as for instance \textit{F. S. Macaulay} [The algebraic theory of modular systems (Cambridge Univ. Press, Cambridge, UK) (1916; JFM 46.0167.01)], when \(r=2\), \textit{R. Stanley} [Adv. Math. 28, 57--83 (1978; Zbl 0384.13012)], when \(r\leq 3\), \textit{J. Migliore} and \textit{U. Nagel} [Adv. Math. 180, 1--63 (2003; Zbl 1053.13006)] for the \(h\)-vectors of Gorenstein algebras with the weak Leftschetz property. \textit{A. Iarrobino} [Trans. Am. Math. Soc. 285, 337--378 (1984; Zbl 0548.13009)] showed that, putting some natural restrictions on a given pair \((r,s)\), any admissible \(h\)-vector is bounded from above by a certain maximal \(h\), and defined an algebra \(A\) with the data \((r,s)\) as compressed if this maximal \(h\) satisfies \(h=h(A)\); moreover, he proved that under his hypotheses on \(r\) and \(s\), there always exists a compressed algebra. The author extends the idea of compressed algebra given by Iarrobino. Precisely, he fixes any pair \((r,s)\) and defines an algebra as generalized compressed with respect to the pair \((r,s)\) if its \(h\)-vector is the maximal among all the admissible \(h\)-vectors. The main contributions of the paper under review are: an upper-bound for all the \(h\)-vectors admissible for the pair \((r,s)\) and a theorem that, under certain restrictions on \((r,s)\), shows that the previous upper-bound is actually achieved by a generalized compressed algebra.
    0 references
    0 references
    0 references
    0 references
    0 references
    compressed algebra
    0 references
    artinian algebra
    0 references
    0 references