Iarrobino's symmetric decomposition for self-dual modules
Pith reviewed 2026-05-24 01:28 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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.
- [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)
- 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
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
-
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
-
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
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
Reference graph
Works this paper leans on
-
[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]
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
work page doi:10.1515/crelle-2016-0008.url:https://doi.org/10.1515/crelle-2016-0008 2018
-
[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]
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
-
[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...
work page doi:10.4230/lipics.mfcs.2020.17.url:https://drops.dagstuhl.de/opus/volltexte/ 2020
-
[7]
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
-
[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
-
[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
-
[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
work page doi:10.1016/j.jpaa.2009.03.002.url:https://doi.org/10.1016/j.jpaa.2009.03.002 2009
-
[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
work page doi:10.1090/s0002-9947-2012-05430-4.url:https://doi.org/10 2012
-
[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
-
[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
work page 2018
-
[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
work page doi:10.1016/j.jalgebra.2020.10.005.url:https://doi.org/10.1016/j.jalgebra 2021
-
[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
-
[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
-
[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
-
[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
-
[19]
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
work page doi:10.1016/j 2021
-
[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
-
[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
-
[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
work page doi:10.1090/conm/805/16122.url:https://doi.org/10.1090/conm/805/16122 2024
-
[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
work page doi:10.1016/j.laa.2018.08.002.url:https://doi.org/10.1016/j.laa.2018 2018
-
[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
-
[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
-
[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
work page doi:10.1007/978-3-031-66230-0_13.url:https://doi.org/10.1007/978-3-031-66230- 2025
-
[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
-
[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
-
[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
-
[30]
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
-
[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
-
[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
-
[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
work page doi:10.1080/03081087.2019.1598930.url:https://doi.org/10.1080/03081087.2019 2021
-
[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
-
[35]
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
-
[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
-
[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
work page 2024
-
[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
work page 1996
-
[39]
Gaussian elimination is not optimal
Volker Strassen. “Gaussian elimination is not optimal”. In:Numerische mathematik13.4 (1969), pp. 354–356
work page 1969
-
[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
-
[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
work page doi:10.1081/agb-200036809.url:https://doi.org/10.1081/agb-200036809 2004
-
[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
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.