pith. sign in

arxiv: 2412.11235 · v2 · submitted 2024-12-15 · 🧮 math.AC · math.AG

Symbolic powers of the generic linkage of maximal minors

Vaibhav Pandey , Matteo Varbaro This is my paper

Pith reviewed 2026-05-23 07:31 UTC · model grok-4.3

classification 🧮 math.AC math.AG
keywords symbolic powersgeneric linkagemaximal minorsGröbner degenerationinitial idealGorenstein propertyF-rationalityF-regularity
0
0 comments X

The pith

The generic link J of the maximal minors ideal has equal symbolic and ordinary powers, shown by a Betti-table-preserving Gröbner degeneration.

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

The paper studies J, the generic link of the ideal I of maximal minors of a matrix of indeterminates. Since the generators of J are unknown, the authors construct a Gröbner degeneration that explicitly describes the lead terms of those generators while preserving the full graded Betti table. They use this degeneration to prove that the symbolic powers of J coincide with its ordinary powers. The initial ideal analysis further establishes that the associated graded ring of J is Gorenstein and that the Rees and blowup algebras satisfy F-rationality and F-regularity properties in positive characteristic.

Core claim

We construct a degeneration which preserves the entire graded Betti table of J on passing to the initial ideal. We leverage this construction to establish the equality of the symbolic and ordinary powers of J. Our analysis of the initial ideal readily yields the Gorenstein property of the associated graded ring of J, and, in positive characteristic, the F-rationality of the Rees algebra of J. Using the technique of F-split filtrations, we further obtain the F-regularity of the blowup algebras of J.

What carries the argument

A Gröbner degeneration of the generic link J that preserves its graded Betti table, enabling transfer of algebraic properties from the initial ideal back to J.

If this is right

  • Symbolic powers of J equal its ordinary powers.
  • The associated graded ring of J is Gorenstein.
  • In positive characteristic the Rees algebra of J is F-rational.
  • The blowup algebras of J are F-regular.

Where Pith is reading between the lines

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

  • The degeneration method may apply to other generic links of determinantal ideals whose generators are not known explicitly.
  • Equality of powers for J could simplify computations of associated invariants such as Hilbert series for these rings.

Load-bearing premise

The constructed degeneration preserves the entire graded Betti table of J when passing to the initial ideal.

What would settle it

An explicit computation for a small matrix size (such as 2 by 4) where the initial ideal satisfies equal powers but direct calculation shows J does not, or where the Betti numbers after degeneration fail to match those of J.

read the original abstract

Let $I$ be the ideal generated by the maximal minors of a matrix of indeterminates over a field and let $J$ denote the generic link, i.e., the most general link, of $I$. The generators of the ideal $J$ are not known. We provide an explicit description of the lead terms of the generators of $J$ using Gr\"obner degeneration. Indeed, we construct a degeneration which preserves the entire graded Betti table of $J$ on passing to the initial ideal. We leverage this construction to establish the equality of the symbolic and ordinary powers of $J$. Our analysis of the initial ideal readily yields the Gorenstein property of the associated graded ring of $J$, and, in positive characteristic, the $F$-rationality of the Rees algebra of $J$. Using the technique of $F$-split filtrations, we further obtain the $F$-regularity of the blowup algebras of $J$.

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 manuscript studies the generic linkage J of the ideal I of maximal minors of a generic matrix. It constructs a Gröbner degeneration of J whose initial ideal has explicitly described generators and claims that this degeneration preserves the full graded Betti table of J. The construction is leveraged to prove that symbolic and ordinary powers of J coincide, that the associated graded ring of J is Gorenstein, that the Rees algebra of J is F-rational in positive characteristic, and that the blowup algebras of J are F-regular via F-split filtrations.

Significance. If the claimed preservation of the graded Betti table holds, the results would be significant for linkage theory and the study of F-singularities. They furnish explicit initial ideals for generic links (where generators of J itself are unknown) and transfer homological and characteristic-p properties in a controlled way. The application of F-split filtrations to obtain F-regularity is a concrete strength, as is the parameter-free nature of the degeneration once the weight is fixed.

major comments (2)
  1. [Abstract (Gröbner degeneration paragraph)] Abstract (Gröbner degeneration paragraph): the assertion that the constructed degeneration preserves the entire graded Betti table is load-bearing for every subsequent claim (symbolic=ordinary powers, Gorenstein property, F-rationality, F-regularity). The manuscript must supply an explicit verification—e.g., a comparison of Betti numbers or a proof that the syzygy modules of J and in(J) are isomorphic as graded modules—rather than relying on the initial-ideal analysis alone.
  2. [Gröbner degeneration construction] The transfer step from properties of in(J) back to J (used for the equality of symbolic and ordinary powers and for the Gorenstein and F-properties) is valid only if no higher syzygies are created or destroyed. Any post-hoc adjustment of the term order or weight to achieve the desired initial ideal would undermine the claim that the degeneration is canonical for the generic link.
minor comments (1)
  1. Notation for the generic matrix and the link ideal J should be introduced with explicit size parameters (e.g., m×n matrix, codimension) already in the introduction to aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. We agree that the preservation of the graded Betti table requires explicit verification beyond the initial-ideal analysis, and we will strengthen the manuscript accordingly. We address each major comment below.

read point-by-point responses

  1. Referee: [Abstract (Gröbner degeneration paragraph)] Abstract (Gröbner degeneration paragraph): the assertion that the constructed degeneration preserves the entire graded Betti table is load-bearing for every subsequent claim (symbolic=ordinary powers, Gorenstein property, F-rationality, F-regularity). The manuscript must supply an explicit verification—e.g., a comparison of Betti numbers or a proof that the syzygy modules of J and in(J) are isomorphic as graded modules—rather than relying on the initial-ideal analysis alone.

    Authors: We acknowledge that the current version relies primarily on the initial-ideal analysis to assert preservation of the full graded Betti table. In the revision we will add an explicit verification, either by direct computation of the graded Betti numbers of J and in(J) in low-dimensional cases that illustrate the general pattern, or by exhibiting a graded isomorphism between the syzygy modules. This material will appear as a new subsection immediately following the construction of the degeneration. revision: yes

  2. Referee: [Gröbner degeneration construction] The transfer step from properties of in(J) back to J (used for the equality of symbolic and ordinary powers and for the Gorenstein and F-properties) is valid only if no higher syzygies are created or destroyed. Any post-hoc adjustment of the term order or weight to achieve the desired initial ideal would undermine the claim that the degeneration is canonical for the generic link.

    Authors: The weight vector is fixed in advance by the generic linkage construction and the degrees of the maximal minors; it is not tuned after the fact to produce a particular initial ideal. Because the weight is determined canonically from the input data, the resulting degeneration does not introduce or destroy higher syzygies beyond what is controlled by the initial-ideal analysis. We will insert a clarifying paragraph in the construction section that records the a-priori choice of weight and explains why it is canonical for the generic link. revision: partial

Circularity Check

0 steps flagged

No circularity; derivation proceeds via explicit new construction of Gröbner degeneration

full rationale

The paper constructs a degeneration of J whose initial ideal is analyzed directly for lead terms, Gorenstein property of the associated graded ring, F-rationality of the Rees algebra, and F-regularity via F-split filtrations. These properties are then transferred back using the claimed preservation of the full graded Betti table. No self-definitional loops appear (no quantity defined in terms of itself), no fitted parameters are renamed as predictions, and no load-bearing self-citations or uniqueness theorems imported from the authors' prior work are invoked in the provided text. The central claims rest on the degeneration construction itself, which is presented as original to this manuscript rather than reducing to prior inputs by definition. This is the normal case of a self-contained algebraic argument.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper introduces no free parameters or invented entities. It relies on standard results from Gröbner basis theory and linkage theory without additional postulates.

axioms (2)
  • standard math Gröbner degeneration can be chosen to preserve the full graded Betti table under suitable flatness conditions
    Invoked to justify transferring homological data from initial ideal back to J
  • domain assumption Generic linkage of a determinantal ideal inherits enough structure for the initial-ideal analysis to apply
    Used when defining J as the generic link of I

pith-pipeline@v0.9.0 · 5691 in / 1435 out tokens · 38548 ms · 2026-05-23T07:31:30.326229+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

32 extracted references · 32 canonical work pages

  1. [1]

    Determinants, G r\"obner bases and cohomology

    Winfried Bruns, Aldo Conca, Claudiu Raicu, and Matteo Varbaro. Determinants, G r\"obner bases and cohomology . Springer Monographs in Mathematics. Springer, Cham, [2022] 2022

    work page 2022

  2. [2]

    Determinantal rings , volume 1327 of Lecture Notes in Mathematics

    Winfried Bruns and Udo Vetter. Determinantal rings , volume 1327 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1988

    work page 1988

  3. [3]

    Liaison and C astelnuovo- M umford regularity

    Marc Chardin and Bernd Ulrich. Liaison and C astelnuovo- M umford regularity. Amer. J. Math. , 124(6):1103--1124, 2002

    work page 2002

  4. [4]

    Square-free G r\"obner degenerations

    Aldo Conca and Matteo Varbaro. Square-free G r\"obner degenerations. Invent. Math. , 221(3):713--730, 2020

    work page 2020

  5. [5]

    Young diagrams and determinantal varieties

    Corrado de Concini, David Eisenbud, and Claudio Procesi. Young diagrams and determinantal varieties. Invent. Math. , 56(2):129--165, 1980

    work page 1980

  6. [6]

    Blowup algebras of determinantal ideals in prime characteristic

    Alessandro De Stefani, Jonathan Monta\ no, and Luis N\'u\ nez Betancourt. Blowup algebras of determinantal ideals in prime characteristic. J. Lond. Math. Soc. (2) , 110(2):Paper No. e12969, 50, 2024

    work page 2024

  7. [7]

    Macaulay 2, a software system for research in algebraic geometry

    Daniel Grayson and Michael Stillman. Macaulay 2, a software system for research in algebraic geometry. http://www.math.uiuc.edu/Macaulay2/ , 2002

    work page 2002

  8. [8]

    F -regularity, test elements, and smooth base change

    Melvin Hochster and Craig Huneke. F -regularity, test elements, and smooth base change. Trans. Amer. Math. Soc. , 346(1):1--62, 1994

    work page 1994

  9. [9]

    Standard graded vertex cover algebras, cycles and leaves

    J\"urgen Herzog, Takayuki Hibi, Ng\^o Vi\^et Trung, and Xinxian Zheng. Standard graded vertex cover algebras, cycles and leaves. Trans. Amer. Math. Soc. , 360(12):6231--6249, 2008

    work page 2008

  10. [10]

    Rings of I nvariants of T ori, C ohen- M acaulay R ings G enerated by M onomials, and P olytopes

    Melvin Hochster. Rings of I nvariants of T ori, C ohen- M acaulay R ings G enerated by M onomials, and P olytopes. The Annals of Mathematics , 96(2):318, September 1972

    work page 1972

  11. [11]

    Criteria for equality of ordinary and symbolic powers of primes

    Melvin Hochster. Criteria for equality of ordinary and symbolic powers of primes. Math. Z. , 133:53--65, 1973

    work page 1973

  12. [12]

    Reduced normal cones are domains

    Craig Huneke, Aron Simis, and Wolmer Vasconcelos. Reduced normal cones are domains. In Invariant theory ( D enton, TX , 1986) , volume 88 of Contemp. Math. , pages 95--101. Amer. Math. Soc., Providence, RI, 1989

    work page 1986

  13. [13]

    Divisor class groups and deformations

    Craig Huneke and Bernd Ulrich. Divisor class groups and deformations. Amer. J. Math. , 107(6):1265--1303, 1985

    work page 1985

  14. [14]

    The structure of linkage

    Craig Huneke and Bernd Ulrich. The structure of linkage. Ann. of Math. (2) , 126(2):277--334, 1987

    work page 1987

  15. [15]

    Algebraic linkage

    Craig Huneke and Bernd Ulrich. Algebraic linkage. Duke Math. J. , 56(3):415--429, 1988

    work page 1988

  16. [16]

    Residual intersections

    Craig Huneke and Bernd Ulrich. Residual intersections. J. Reine Angew. Math. , 390:1--20, 1988

    work page 1988

  17. [17]

    Linkage and the K oszul homology of ideals

    Craig Huneke. Linkage and the K oszul homology of ideals. Amer. J. Math. , 104(5):1043--1062, 1982

    work page 1982

  18. [18]

    On the associated graded ring of an ideal

    Craig Huneke. On the associated graded ring of an ideal. Illinois J. Math. , 26(1):121--137, 1982

    work page 1982

  19. [19]

    Gr\" o bner deformations and F -singularities

    Mitra Koley and Matteo Varbaro. Gr\" o bner deformations and F -singularities. Math. Nachr. , 296(7):2903--2917, 2023

    work page 2023

  20. [20]

    Splittings and symbolic powers of square-free monomial ideals

    Jonathan Monta\ no and Luis N\'u\ nez Betancourt. Splittings and symbolic powers of square-free monomial ideals. Int. Math. Res. Not. IMRN , (3):2304--2320, 2021

    work page 2021

  21. [21]

    Pavaman Murthy

    M. Pavaman Murthy. A note on factorial rings. Arch. Math. (Basel) , 15:418--420, 1964

    work page 1964

  22. [22]

    A remark on the unique factorization theorem

    Masayoshi Nagata. A remark on the unique factorization theorem. J. Math. Soc. Japan , 9:143--145, 1957

    work page 1957

  23. [23]

    The irreducibility of ladder determinantal varieties

    Himanee Narasimhan. The irreducibility of ladder determinantal varieties. J. Algebra , 102(1):162--185, 1986

    work page 1986

  24. [24]

    Reductions of ideals in local rings

    Douglas Northcott and David Rees. Reductions of ideals in local rings. Proc. Cambridge Philos. Soc. , 50:145--158, 1954

    work page 1954

  25. [25]

    F -purity and the F -pure threshold as invariants of linkage

    Vaibhav Pandey. F -purity and the F -pure threshold as invariants of linkage. https://arxiv.org/abs/2406.05323 , 2024

    work page arXiv 2024

  26. [26]

    Liaison des vari\'et\'es alg\'ebriques

    Christian Peskine and Lucien Szpiro. Liaison des vari\'et\'es alg\'ebriques. I . Invent. Math. , 26:271--302, 1974

    work page 1974

  27. [27]

    Linkage and F -regularity of determinantal rings

    Vaibhav Pandey and Yevgeniya Tarasova. Linkage and F -regularity of determinantal rings. Int. Math. Res. Not. IMRN , (11):9323--9339, 2024

    work page 2024

  28. [28]

    Knutson ideals and determinantal ideals of H ankel matrices

    Lisa Seccia. Knutson ideals and determinantal ideals of H ankel matrices. J. Pure Appl. Algebra , 225(12):Paper No. 106788, 17, 2021

    work page 2021

  29. [29]

    Anurag K. Singh. F -regularity does not deform. Amer. J. Math. , 121(4):919--929, 1999

    work page 1999

  30. [30]

    Karen E. Smith. F -rational rings have rational singularities. Amer. J. Math. , 119(1):159--180, 1997

    work page 1997

  31. [31]

    Multiplicative structures on some canonical resolutions (Resolutions, Algebra structures, Complexes)

    Hema Srinivasan. Multiplicative structures on some canonical resolutions (Resolutions, Algebra structures, Complexes) . ProQuest LLC, Ann Arbor, MI, 1986. Thesis (Ph.D.)--Brandeis University

    work page 1986

  32. [32]

    Combinatorial symbolic powers

    Seth Sullivant. Combinatorial symbolic powers. J. Algebra , 319(1):115--142, 2008

    work page 2008