Number of generators of ideals in Jordan cells of the family of graded Artinian algebras of height two (Q6103346)

From MaRDI portal
scientific article; zbMATH DE number 7701477
Language Label Description Also known as
English
Number of generators of ideals in Jordan cells of the family of graded Artinian algebras of height two
scientific article; zbMATH DE number 7701477

    Statements

    Number of generators of ideals in Jordan cells of the family of graded Artinian algebras of height two (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    26 June 2023
    0 references
    Let \(k\) be a field, \(R=k[X,Y]\) a polynomial ring, \(\mathfrak{a}\) an ideal of \(R\), and \(A=R/\mathfrak{a}\) a standard graded Artinian algebra with \(n=\operatorname{vdim}_{k}(A)\). The Jordan type \(P_{\ell}\) of a linear form \(\ell \in A_{1}\) is the partition of \(n\) determining the Jordan block decomposition of the multiplication on \(A\) by \(\ell\) which is nilpotent. The first three authors previously determined which partitions of \(n\) may occur as the Jordan type for some linear form \(\ell\) on a graded complete intersection Artinian quotient \(A = R/(f,g)\) of \(R\), and they counted the number of such partitions for each complete intersection Hilbert function \(T\). In this paper, the authors consider the family \(G_{T}\) of graded Artinian quotients \(A = R/\mathfrak{a}\) of \(R\) having arbitrary Hilbert function \(H(A) = T\). The Jordan cell \(\mathbb{V}(E_{P})\) corresponding to a partition \(P\) having diagonal lengths \(T\) is comprised of all ideals \(\mathfrak{a}\) in \(R\) whose initial ideal is the monomial ideal \(E_{P}\) determined by \(P\). These cells give a decomposition of the variety \(G_{T}\) into affine spaces. They determine the generic number \(\kappa(P)\) of generators for the ideals in each cell \(\mathbb{V}(E_{P})\), generalizing a result of their previous work. In particular, they determine those partitions for which \(\kappa(P)=\kappa(T)\), the generic number of generators for an ideal defining an algebra \(A\) in \(G_{T}\). They also count the number of partitions \(P\) of diagonal lengths \(T\) having a given \(\kappa(P)\). A main tool in their work is a combinatorial and geometric result allowing them to split \(T\) and any partition \(P\) of diagonal lengths \(T\) into simpler \(T_{i}\) and partitions \(P_{i}\), such that \(\mathbb{V}(E_{P})\) is the product of the cells \(\mathbb{V}(E_{P_{i}})\), and \(T_{i}\) is single-block; \(G_{T_{i}}\) is a Grassmannian.
    0 references
    Artinian algebra
    0 references
    Hilbert function
    0 references
    Hook code
    0 references
    Jordan type
    0 references
    Partition
    0 references
    cellular decomposition
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references