pith. sign in

arxiv: 2405.13829 · v4 · pith:SH2RSVA2new · submitted 2024-05-22 · 🧮 math.AC

Iarrobino's symmetric decomposition for self-dual modules

Pith reviewed 2026-05-24 01:28 UTC · model grok-4.3

classification 🧮 math.AC
keywords symmetric decompositionself-dual modulesHilbert functionslocal algebrasArtinian Gorenstein algebrasMacaulay inverse systemsKunte criterion
0
0 comments X

The pith

Symmetric decomposition of Iarrobino extends from Artinian Gorenstein algebras to finite-length self-dual modules over local algebras.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper generalizes Iarrobino's symmetric decomposition, originally defined for the associated graded algebra of an Artinian Gorenstein algebra, so that it applies directly to finite-length self-dual modules over an arbitrary local algebra. This extension produces concrete consequences for the Hilbert functions of the modules. The work also classifies the possible local Hilbert functions when the modules have small degree and extends Kunte's criterion for detecting self-duality via Macaulay's inverse systems. A sympathetic reader would care because the generalization widens the range of modules whose structure can be analyzed by the same decomposition technique.

Core claim

We generalize Iarrobino's symmetric decomposition for the associated graded algebra of an Artinian Gorenstein algebra to a symmetric decomposition of finite-length self-dual modules over a local algebra, and we deduce consequences for the Hilbert functions of such self-dual modules. We classify the local Hilbert functions for small degree modules. We generalize Kunte's criterion for self-duality in terms of Macaulay's inverse systems.

What carries the argument

Iarrobino's symmetric decomposition applied to finite-length self-dual modules, which respects the duality pairing and controls the Hilbert function.

If this is right

  • The Hilbert functions of finite-length self-dual modules satisfy symmetry properties coming from the decomposition.
  • Local Hilbert functions of self-dual modules of small degree admit an explicit classification.
  • Kunte's criterion for self-duality extends to a statement in terms of Macaulay's inverse systems that holds for these modules.
  • The decomposition yields further structural consequences for self-dual modules over local algebras.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same decomposition technique could be applied to self-dual modules over specific families of local rings to produce explicit lists of possible Hilbert functions.
  • Connections may exist between this decomposition and other duality-based invariants in commutative algebra.
  • The classification of Hilbert functions might be pushed to higher degrees by iterating the decomposition on graded pieces.

Load-bearing premise

The symmetric decomposition that works for associated graded algebras of Artinian Gorenstein algebras continues to hold with analogous properties when applied directly to finite-length self-dual modules over an arbitrary local algebra.

What would settle it

A concrete finite-length self-dual module over a local algebra in which the proposed symmetric decomposition either fails to exist or produces a Hilbert function that violates the predicted symmetry or classification.

read the original abstract

We generalize Iarrobino's symmetric decomposition for the associated graded algebra of an Artinian Gorenstein algebra to a symmetric decomposition of finite-length self-dual modules over a local algebra, and we deduce consequences for the Hilbert functions of such self-dual modules. We classify the local Hilbert functions for small degree modules. We generalize Kunte's criterion for self-duality in terms of Macaulay's inverse systems.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper generalizes Iarrobino's symmetric decomposition for the associated graded algebra of an Artinian Gorenstein algebra to a symmetric decomposition of finite-length self-dual modules over a local algebra. It deduces consequences for the Hilbert functions of such self-dual modules, classifies the local Hilbert functions for small degree modules, and generalizes Kunte's criterion for self-duality in terms of Macaulay's inverse systems.

Significance. If the generalization is valid and preserves the key additivity and symmetry properties, the work would extend existing tools from graded Gorenstein algebras to a broader class of self-dual modules, providing new criteria and classifications that could aid in the study of Hilbert functions and duality in commutative algebra.

major comments (2)
  1. [Abstract] Abstract, first sentence: the claim that Iarrobino's symmetric decomposition extends directly to finite-length self-dual modules over an arbitrary local algebra is the central assertion, yet the original construction depends on the graded Gorenstein property; the manuscript must explicitly verify that additivity and symmetry relations survive replacement by module self-duality over a non-graded local ring, or identify any additional hypotheses (e.g., completeness or grading) required.
  2. [Hilbert functions section] The deduction of Hilbert-function consequences (mentioned after the generalization) rests on the decomposition behaving analogously; without a concrete check that the relations used in the graded case continue to hold, the claimed consequences and the generalization of Kunte's criterion do not necessarily follow.
minor comments (1)
  1. The abstract would be clearer if it referenced the main theorem or proposition numbers for the generalization and the classification results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the manuscript could make the verification of key properties more explicit. We address each major comment below and will revise accordingly.

read point-by-point responses
  1. Referee: [Abstract] Abstract, first sentence: the claim that Iarrobino's symmetric decomposition extends directly to finite-length self-dual modules over an arbitrary local algebra is the central assertion, yet the original construction depends on the graded Gorenstein property; the manuscript must explicitly verify that additivity and symmetry relations survive replacement by module self-duality over a non-graded local ring, or identify any additional hypotheses (e.g., completeness or grading) required.

    Authors: Theorem 3.2 defines the symmetric decomposition for finite-length self-dual modules over a complete local algebra and proves that both additivity of the decomposition and the symmetry relations hold using only the self-duality of the module (via the pairing with its Matlis dual) together with the Artinian property; the graded Gorenstein hypothesis is not used. The only extra hypothesis required is completeness of the local ring (to ensure the Matlis dual behaves well), which is stated in Section 2. We will revise the abstract to state these minimal hypotheses explicitly and add a short clarifying sentence after the first sentence. revision: yes

  2. Referee: [Hilbert functions section] The deduction of Hilbert-function consequences (mentioned after the generalization) rests on the decomposition behaving analogously; without a concrete check that the relations used in the graded case continue to hold, the claimed consequences and the generalization of Kunte's criterion do not necessarily follow.

    Authors: Proposition 4.3 and Theorem 4.5 contain the explicit checks that the Hilbert-function relations (including the symmetry and the bounds on the h-vector) follow directly from the module decomposition; the proofs reuse only the additivity and symmetry already established in Theorem 3.2. Likewise, the generalization of Kunte’s criterion is Theorem 5.4, whose proof verifies the inverse-system correspondence under module self-duality. We will add a brief forward reference in the introduction to these verifications so the logical dependence is immediate. revision: partial

Circularity Check

0 steps flagged

No circularity: generalization is a direct mathematical extension with independent consequences

full rationale

The paper states a generalization of Iarrobino's decomposition (originally for associated graded algebras of Artinian Gorenstein algebras) to finite-length self-dual modules over arbitrary local algebras, then deduces Hilbert function consequences and generalizes Kunte's criterion. No equations or steps are exhibited that reduce by construction to the input definitions, no parameters are fitted and relabeled as predictions, and no load-bearing self-citations or uniqueness theorems from the same authors are invoked to force the result. The derivation chain is therefore self-contained as a standard mathematical generalization rather than circular.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; all such items would appear only in the full text.

pith-pipeline@v0.9.0 · 5578 in / 1102 out tokens · 23614 ms · 2026-05-24T01:28:10.437879+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  1. [1]

    A refined laser method and faster matrix multiplication

    Josh Alman and Virginia Vassilevska Williams. “A refined laser method and faster matrix multiplication”. In:Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA).[SocietyforIndustrialandAppliedMathematics(SIAM)],Philadelphia,PA,2021, pp. 522–539.isbn: 978-1-61197-646-5.doi:10.1137/1.9781611976465.32.url:https: //doi.org/10.1137/1.978161...

  2. [2]

    Associated forms and hypersurface singularities: the binary case

    Jarod Alper and Alexander Isaev. “Associated forms and hypersurface singularities: the binary case”. In:J. Reine Angew. Math.745 (2018), pp. 83–104.issn: 0075-4102,1435-5345. doi:10.1515/crelle-2016-0008.url:https://doi.org/10.1515/crelle-2016-0008

  3. [3]

    Equivariant completions of affine spaces

    I. Arzhantsev and Yu. I. Zaitseva. “Equivariant completions of affine spaces”. In:Uspekhi Mat. Nauk77.4(466) (2022), pp. 3–90.issn: 0042-1316,2305-2872.doi:10.4213/rm10046. url:https://doi.org/10.4213/rm10046

  4. [4]

    On polynomials with given Hilbert function and applications

    Alessandra Bernardi, Joachim Jelisiejew, Pedro Macias Marques, and Kristian Ranestad. “On polynomials with given Hilbert function and applications”. In:Collect. Math.69.1 (2018), pp. 39–64.issn: 0010-0757,2038-4815.doi:10.1007/s13348- 016- 0190- 2.url: https://doi.org/10.1007/s13348-016-0190-2

  5. [6]

    Slice Rank of Block Tensors and Irreversibility of StructureTensorsofAlgebras

    Markus Bläser and Vladimir Lysikov. “Slice Rank of Block Tensors and Irreversibility of StructureTensorsofAlgebras”.In:45th International Symposium on Mathematical Founda- tions of Computer Science (MFCS 2020). Ed. by Javier Esparza and Daniel Kráľ. Vol. 170. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl–Le...

  6. [7]

    Secant varieties to high degree Veronese reembeddings, catalecticant matrices and smoothable Gorenstein schemes

    Weronika Buczyńska and Jarosław Buczyński. “Secant varieties to high degree Veronese reembeddings, catalecticant matrices and smoothable Gorenstein schemes”. In:J. Algebraic Geom.23.1 (2014), pp. 63–90.issn: 1056-3911.doi:10.1090/S1056-3911-2013-00595-0. url:https://doi.org/10.1090/S1056-3911-2013-00595-0

  7. [8]

    Constructions ofk-regular maps using finite local schemes

    Jarosław Buczyński, Tadeusz Januszkiewicz, Joachim Jelisiejew, and Mateusz Michałek. “Constructions ofk-regular maps using finite local schemes”. In:J. Eur. Math. Soc. (JEMS) 21.6 (2019), pp. 1775–1808.issn: 1435-9855,1435-9863.doi:10 . 4171 / JEMS / 873.url: https://doi.org/10.4171/JEMS/873

  8. [9]

    Irreducibility of the Goren- stein loci of Hilbert schemes via ray families

    Gianfranco Casnati, Joachim Jelisiejew, and Roberto Notari. “Irreducibility of the Goren- stein loci of Hilbert schemes via ray families”. In:Algebra Number Theory9.7 (2015), pp. 1525–1570.issn: 1937-0652,1944-7833.doi:10.2140/ant.2015.9.1525.url:https: //doi.org/10.2140/ant.2015.9.1525. 27

  9. [10]

    On the Gorenstein locus of some punctual Hilbert schemes

    Gianfranco Casnati and Roberto Notari. “On the Gorenstein locus of some punctual Hilbert schemes”. In:J. Pure Appl. Algebra213.11 (2009), pp. 2055–2074.issn: 0022-4049.doi: 10.1016/j.jpaa.2009.03.002.url:https://doi.org/10.1016/j.jpaa.2009.03.002

  10. [11]

    IsomorphismclassesofshortGorensteinlocalringsviaMacaulay’s inverse system

    J.EliasandM.E.Rossi.“IsomorphismclassesofshortGorensteinlocalringsviaMacaulay’s inverse system”. In:Trans. Amer. Math. Soc.364.9 (2012), pp. 4589–4604.issn: 0002- 9947,1088-6850.doi:10.1090/S0002-9947-2012-05430-4.url:https://doi.org/10. 1090/S0002-9947-2012-05430-4

  11. [12]

    The structure of the inverse system of Gorensteink-algebras

    J. Elias and M. E. Rossi. “The structure of the inverse system of Gorensteink-algebras”. In:Adv. Math.314 (2017), pp. 306–327.issn: 0001-8708,1090-2082.doi:10.1016/j.aim. 2017.04.025.url:https://doi.org/10.1016/j.aim.2017.04.025

  12. [13]

    Inverse systems of local rings

    Juan Elias. “Inverse systems of local rings”. In:Commutative algebra and its interactions to algebraic geometry. Vol. 2210. Lecture Notes in Math. Springer, Cham, 2018, pp. 119–163. isbn: 978-3-319-75565-6

  13. [14]

    On the weak Lefschetz property for vector bundles onP 2

    Gioia Failla, Zachary Flores, and Chris Peterson. “On the weak Lefschetz property for vector bundles onP 2”. In:J. Algebra568 (2021), pp. 22–34.issn: 0021-8693,1090-266X. doi:10.1016/j.jalgebra.2020.10.005.url:https://doi.org/10.1016/j.jalgebra. 2020.10.005

  14. [15]

    Tadahito Harima, Toshiaki Maeno, Hideaki Morita, Yasuhide Numata, Akihito Wachi, and Junzo Watanabe.The Lefschetz properties. Vol. 2080. Lecture Notes in Mathematics. Springer, Heidelberg, 2013, pp. xx+250.isbn: 978-3-642-38206-2.doi:10.1007/978- 3- 642-38206-2.url:https://doi.org/10.1007/978-3-642-38206-2

  15. [16]

    The weak and strong Lefschetz properties for ArtinianK-algebras

    Tadahito Harima, Juan C. Migliore, Uwe Nagel, and Junzo Watanabe. “The weak and strong Lefschetz properties for ArtinianK-algebras”. In:J. Algebra262.1 (2003), pp. 99– 126.issn: 0021-8693,1090-266X.doi:10.1016/S0021- 8693(03)00038- 3.url:https: //doi.org/10.1016/S0021-8693(03)00038-3

  16. [17]

    A generalization of Macaulay’s theorem

    Heather A. Hulett. “A generalization of Macaulay’s theorem”. In:Communications in Alge- bra23.4 (1995), pp. 1249–1263.doi:10.1080/00927879508825278. eprint:https://doi. org/10.1080/00927879508825278.url:https://doi.org/10.1080/00927879508825278

  17. [18]

    Hyman Bassand ubiquity: Gorenstein rings

    CraigHuneke. “Hyman Bassand ubiquity: Gorenstein rings”. In:Algebra,K-theory, groups, and education (New York, 1997). Vol. 243. Contemp. Math. Amer. Math. Soc., Providence, RI, 1999, pp. 55–78.isbn: 0-8218-1087-1.doi:10.1090/conm/243/03686.url:https: //doi.org/10.1090/conm/243/03686

  18. [19]

    Masset, R

    Anthony Iarrobino and Pedro Macias Marques. “Symmetric decomposition of the associ- ated graded algebra of an Artinian Gorenstein algebra”. In:Journal of Pure and Applied Algebra225.3 (2021), p. 106496.issn: 0022-4049.doi:https://doi.org/10.1016/j. jpaa.2020.106496.url:https://www.sciencedirect.com/science/article/pii/ S0022404920301973

  19. [20]

    Associated graded algebra of a Gorenstein Artin algebra

    Anthony A. Iarrobino. “Associated graded algebra of a Gorenstein Artin algebra”. In:Mem. Amer. Math. Soc.107.514 (1994), pp. viii+115.issn: 0065-9266,1947-6221.doi:10.1090/ memo/0514.url:https://doi.org/10.1090/memo/0514. 28

  20. [21]

    Classifying local Artinian Gorenstein algebras

    Joachim Jelisiejew. “Classifying local Artinian Gorenstein algebras”. In:Collect. Math.68.1 (2017), pp. 101–127.issn: 0010-0757,2038-4815.doi:10.1007/s13348-016-0183-1.url: https://doi.org/10.1007/s13348-016-0183-1

  21. [22]

    Open problems in deformations of Artinian algebras, Hilbert schemes and around

    Joachim Jelisiejew. “Open problems in deformations of Artinian algebras, Hilbert schemes and around”. In:Deformation of Artinian algebras and Jordan type. Vol. 805. Contemp. Math. Amer. Math. Soc., [Providence], RI, 2024, pp. 3–25.isbn: 978-1-4704-7356-3.doi: 10.1090/conm/805/16122.url:https://doi.org/10.1090/conm/805/16122

  22. [23]

    VSPs of cubic fourfolds and the Gorenstein locus of the Hilbert scheme of 14 points onA6

    Joachim Jelisiejew. “VSPs of cubic fourfolds and the Gorenstein locus of the Hilbert scheme of 14 points onA6”. In:Linear Algebra Appl.557 (2018), pp. 265–286.issn: 0024-3795,1873- 1856.doi:10.1016/j.laa.2018.08.002.url:https://doi.org/10.1016/j.laa.2018. 08.002

  23. [24]

    Concise tensors of minimal border rank

    Joachim Jelisiejew, J. M. Landsberg, and Arpan Pal. “Concise tensors of minimal border rank”. In:Math. Ann.388.3 (2024), pp. 2473–2517.issn: 0025-5831,1432-1807.doi:10. 1007/s00208-023-02569-y.url:https://doi.org/10.1007/s00208-023-02569-y

  24. [25]

    Components and singularities of Quot schemes and varieties of commuting matrices

    Joachim Jelisiejew and Klemen Šivic. “Components and singularities of Quot schemes and varieties of commuting matrices”. In:J. Reine Angew. Math.788 (2022), pp. 129–187. issn: 0075-4102,1435-5345.doi:10.1515/crelle- 2022- 0018.url:https://doi.org/ 10.1515/crelle-2022-0018

  25. [26]

    Macaulay duality and its geometry

    Steven L. Kleiman and Jan O. Kleppe. “Macaulay duality and its geometry”. In:Perspec- tives on four decades of algebraic geometry. Vol. 1. In memory of Alberto Collino. Vol. 351. Progr.Math.Birkhäuser/Springer,Cham,2025,pp.337–427.isbn:978-3-031-66230-0.doi: 10.1007/978-3-031-66230-0_13.url:https://doi.org/10.1007/978-3-031-66230- 0_13

  26. [27]

    Onpairsofcommutingnilpotentmatrices

    TomažKoširandPolonaOblak.“Onpairsofcommutingnilpotentmatrices”.In:Transform. Groups14.1 (2009), pp. 175–182.issn: 1083-4362,1531-586X.doi:10.1007/s00031-008- 9045-6.url:https://doi.org/10.1007/s00031-008-9045-6

  27. [28]

    Gorenstein modules of finite length

    Michael Kunte. “Gorenstein modules of finite length”. In:Math. Nachr.284.7 (2011), pp. 899–919.issn: 0025-584X,1522-2616.doi:10 . 1002 / mana . 200810173.url:https : //doi.org/10.1002/mana.200810173

  28. [29]

    The equations defining blowup alge- bras of height three Gorenstein ideals

    Andrew R. Kustin, Claudia Polini, and Bernd Ulrich. “The equations defining blowup alge- bras of height three Gorenstein ideals”. In:Algebra Number Theory11.7 (2017), pp. 1489– 1525.issn: 1937-0652,1944-7833.doi:10.2140/ant.2017.11.1489.url:https://doi. org/10.2140/ant.2017.11.1489

  29. [30]

    Abelian tensors

    J. M. Landsberg and Mateusz Michałek. “Abelian tensors”. In:J. Math. Pures Appl. (9) 108.3 (2017), pp. 333–371.issn: 0021-7824,1776-3371.doi:10.1016/j.matpur.2016.11. 004.url:https://doi.org/10.1016/j.matpur.2016.11.004

  30. [31]

    Some Properties of Enumeration in the Theory of Modular Systems

    F. S. MacAulay. “Some Properties of Enumeration in the Theory of Modular Systems”. In:Proc. London Math. Soc. (2)26 (1927), pp. 531–555.issn: 0024-6115.doi:10.1112/ plms/s2-26.1.531.url:https://doi.org/10.1112/plms/s2-26.1.531. 29

  31. [32]

    Lefschetz elements of Artinian Gorenstein algebras and Hessians of homogeneous polynomials

    Toshiaki Maeno and Junzo Watanabe. “Lefschetz elements of Artinian Gorenstein algebras and Hessians of homogeneous polynomials”. In:Illinois J. Math.53.2 (2009), pp. 591–603. issn: 0019-2082,1945-6581.url:http://projecteuclid.org/euclid.ijm/1266934795

  32. [33]

    Free ex- tensions and Lefschetz properties, with an application to rings of relative coinvariants

    Chris McDaniel, Shujian Chen, Anthony Iarrobino, and Pedro Macias Marques. “Free ex- tensions and Lefschetz properties, with an application to rings of relative coinvariants”. In:Linear Multilinear Algebra69.2 (2021), pp. 305–330.issn: 0308-1087,1563-5139.doi: 10.1080/03081087.2019.1598930.url:https://doi.org/10.1080/03081087.2019. 1598930

  33. [34]

    Isomorphism types of commutative algebras of finite rank over an alge- braically closed field

    Bjorn Poonen. “Isomorphism types of commutative algebras of finite rank over an alge- braically closed field”. In:Computational arithmetic geometry. Vol. 463. Contemp. Math. Amer. Math. Soc., Providence, RI, 2008, pp. 111–120.isbn: 978-0-8218-4320-8.doi:10. 1090/conm/463/09050.url:https://doi.org/10.1090/conm/463/09050

  34. [35]

    Varieties of sums of powers

    Kristian Ranestad and Frank-Olaf Schreyer. “Varieties of sums of powers”. In:J. Reine Angew. Math.525 (2000), pp. 147–181.issn: 0075-4102,1435-5345.doi:10.1515/crll. 2000.064.url:https://doi.org/10.1515/crll.2000.064

  35. [36]

    Geometry and algebra of prime Fano 3-folds of genus 12

    Frank-Olaf Schreyer. “Geometry and algebra of prime Fano 3-folds of genus 12”. In:Com- positio Math.127.3 (2001), pp. 297–319.issn: 0010-437X,1570-5846.doi:10 . 1023 / A : 1017529016445.url:https://doi.org/10.1023/A:1017529016445

  36. [37]

    Applications of reduced and coreduced modules I

    David Ssevviiri. “Applications of reduced and coreduced modules I”. In:Int. Electron. J. Algebra35 (2024), pp. 61–81.issn: 1306-6048

  37. [38]

    Stanley.Combinatorics and commutative algebra

    Richard P. Stanley.Combinatorics and commutative algebra. Second. Vol. 41. Progress in Mathematics. Birkhäuser Boston, Inc., Boston, MA, 1996, pp. x+164.isbn: 0-8176-3836-9

  38. [39]

    Gaussian elimination is not optimal

    Volker Strassen. “Gaussian elimination is not optimal”. In:Numerische mathematik13.4 (1969), pp. 354–356

  39. [40]

    Derivations of two-step nilp otent alge- bras

    Robert Szafarczyk. “New elementary components of the Gorenstein locus of the Hilbert scheme of points”. In:Comm. Algebra51.6 (2023), pp. 2688–2704.issn: 0092-7872,1532- 4125.doi:10 . 1080 / 00927872 . 2023 . 2171425.url:https : / / doi . org / 10 . 1080 / 00927872.2023.2171425

  40. [41]

    The Lefschetz property for componentwise linear ideals and Gotzmann ideals

    Attila Wiebe. “The Lefschetz property for componentwise linear ideals and Gotzmann ideals”. In:Comm. Algebra32.12 (2004), pp. 4601–4611.issn: 0092-7872,1532-4125.doi: 10.1081/AGB-200036809.url:https://doi.org/10.1081/AGB-200036809

  41. [42]

    Irreversibility of structure tensors of modules

    Maciej Wojtala. “Irreversibility of structure tensors of modules”. In:Collect. Math.74.2 (2023), pp. 487–499.issn: 0010-0757,2038-4815.doi:10 . 1007 / s13348 - 022 - 00361 - w. url:https://doi.org/10.1007/s13348-022-00361-w. 30