Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Generic models of licci ideals parametrized by Schur functors

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that every Herzog class of codimension-3 licci ideals is indexed by a pair of partitions, and that direct linkage between classes is computed by a simple reordering formula.

desk verdict A substantial, mostly convincing combinatorial classification of codim-3 Herzog classes; the refereeing should focus on the imported generic-ring framework and the omitted Betti-number proof. read the letter →

arxiv 2506.09598 v1 pith:KXFXTRGZ submitted 2025-06-11 math.AC

Lorenzo Guerrieri , Xianglong Ni , Jerzy Weyman This is my paper · ORCID
classification math.AC MSC 13D0213C0513C40
keywords licciidealsHerzogclasseslinkageSchurfunctorsfreeresolutionsKac-MoodyLiealgebrasToralgebracodimensionthree
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes a one-to-one correspondence between Herzog classes of codimension-3 licci ideals and pairs of partitions $(\lambda,\mu)$ with $\sum \lambda_i = 2\sum \mu_j + 1$, and it proves that direct linkage between classes is captured by a simple reordering of the partition parts. Concretely, Theorem 3.1 gives the formula for the decoration of a directly linked ideal: remove three parts of $\lambda$, add a fixed integer $p$ to them, and re-sort them together with the parts of $\mu$. Theorem 3.2 shows that two decorations are adjacent in the graph $\mathrm{Licci}_3$ exactly when the corresponding Herzog classes contain directly linked ideals. If these results are correct, the classification of licci ideals in codimension 3 reduces to finite combinatorial checks on partitions.

What carries the argument

The key object is the decoration $S_{\lambda}F_1\otimes S_{\mu}F_3^*$, a pair of Schur functors attached to the lowest nonzero component of the specialized higher structure map of an ideal. The linkage formula of Theorem 3.1—choose three parts of $\lambda$, remove them, shift by a constant $p$, and re-sort with the parts of $\mu$—carries the entire argument, converting Weyl-group double-coset overlaps into explicit partition operations. The paper also uses minimal links, tight double links, and special generating systems (Definition 3.3) to give an algorithm (Algorithm 3.16) for constructing representatives of every Herzog class from a complete intersection, and for establishing that every pair of partitions satisfying the conditions is realized.

What would settle it

Compute the decoration of a codimension-3 licci ideal from its minimal free resolution, link it by a chosen regular sequence, compute the decoration of the linked ideal, and compare with Theorem 3.1's formula; a mismatch for any single ideal would disprove the claim.

Watch

Extended reading notes

Core claim

The paper's central claim is that the graph $\mathrm{Licci}_3$, whose vertices are Herzog classes and whose edges represent direct links, is exactly the graph on the set $^{z_1}W^{x_1}$ with edges defined by the partition formula of Theorem 3.1. In particular, two decorations $S_{\lambda}F_1\otimes S_{\mu}F_3^*$ and $S_{\lambda_{\mathrm{link}}}F_1\otimes S_{\mu_{\mathrm{link}}}F_3^*$ are adjacent if and only if there are directly linked ideals in the two classes. The proof translates the Weyl-group double-coset condition into the partition operation, and the converse uses a special generating system to make a three-generated regular sequence produce the desired linked decoration. Along the way, the paper shows that the graded Betti numbers of a representative ideal are read off from the partitions, and that the Tor-algebra multiplication is described by the same data: $e_i e_j$ is nonzero modulo the maximal ideal exactly when $\lambda_i+\lambda_j=k+1$, and $e_i f = g_j$ exactly when $\lambda_i+\mu_j=k+1$.

Load-bearing premise

The classification relies on the existence and good behavior of generic rings and higher structure maps: every codimension-3 licci ideal must be detected by the lowest nonzero component of $w^{(1)}$ modulo the maximal ideal, and every pair of partitions must be realized by some licci ideal; if this framework fails for a given format, the partition description fails there.

Editorial extensions

If this is right

  • Every link between Herzog classes in codimension 3 can be written down as a partition reordering, so the infinite graph $\mathrm{Licci}_3$ is fully described in finite terms.
  • For each decoration, Theorem 3.12 gives an explicit graded free resolution with shifts determined by the partitions, so the graded Betti numbers of a licci ideal are an invariant of its Herzog class and can be read off directly.
  • Theorem 6.1 characterizes the Tor-algebra class of a licci ideal from its decoration, giving a simple criterion for nonzero multiplications and for classes such as $G(r)$.
  • The bounds in Section 6.2 settle a conjecture: a non-Gorenstein perfect ideal of codimension 3 generated by $b$ elements cannot be of Tor-algebra class $G(r)$ with $r\ge b-2$.
  • In the smallest non-Dynkin format $(1,6,8,3)$ the paper lists infinite families of distinct decorations, so there are infinitely many Herzog classes in that format.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the combinatorial description is correct, a perfect ideal of codimension 3 that is not licci should have no decoration linking back to a complete intersection; this could give a finite certificate of non-licci-ness.
  • The quadratic identity $\sum \lambda_i^2 + \sum \mu_j^2 = (k+1)^2$ could serve as a fast necessary condition in computer searches for valid decorations.
  • If the higher-codimension conjectures hold, the doubling construction of Section 8 predicts infinite families of Herzog classes for Gorenstein ideals of codimension 4, which could be checked by explicit free resolutions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper studies licci ideals of codimension 3 (and, conjecturally, arbitrary codimension) through a representation-theoretic parametrization of Herzog classes by pairs of partitions associated with Schur functors. The central object is the infinite graph Licci_3 whose vertices are decorations (λ,µ) and whose edges are determined by a partition-theoretic link formula (Theorem 3.1); Theorem 3.2 asserts that this combinatorial adjacency is equivalent to the existence of two directly linked licci ideals in the corresponding Herzog classes. The paper also provides tables of decorations for classical families (complete intersections, Gorenstein ideals, almost complete intersections, hyperplane sections, Dynkin formats), an infinite family for the smallest non-Dynkin format, results on Tor algebra multiplication, explicit free resolutions for the family S_{I_k}, and a conjectural extension to arbitrary codimension. A substantial part of the theory is imported from the authors' preprint [15], especially Theorem 2.1 on the classification of Herzog classes through higher structure maps.

Significance. If the framework of [15] is accepted, the paper offers a striking and useful description: the infinite graph of Herzog classes of codimension-3 licci ideals becomes a purely combinatorial object governed by Weyl-group data. The paper has several genuine strengths: the proof of Theorem 3.1 is self-contained and the resulting partition formula is checked against many independent families; the tables in Section 4 unify known results (Watanabe, Brown, Kustin-Miller, E6/E7/E8 formats); the squares formula in Theorem 8.7 is a clean invariant; and the explicit free resolutions in Section 7 are concrete and reproducible. The algorithmic construction in Section 3.4 and the implemented Macaulay2 code are additional assets. However, the identification of the combinatorial graph with the graph of Herzog classes under direct linkage rests on Theorem 2.1 and on a perturbation argument in the proof of Theorem 3.2 that is not fully proved; this is the main correctness risk.

major comments (2)
  1. [Section 3.2, Theorem 3.2] The 'only if' direction of Theorem 3.2 is the load-bearing bridge from the combinatorial graph Licci_3 to actual direct links, but its proof relies on two unproved assertions. First, it uses Theorem 2.1, which is only paraphrased from the preprint [15] and not proved here; in particular, the claim that every σ in z1W(d,t)x1 is realized by a codimension-3 licci ideal is an imported input. Second, after replacing w^(1) by (g+ε)·w^(1), the proof asserts that the reduced map is nonzero only on the weight −τσω_{x1} and that the y1-restricted specialization gives an ideal whose Herzog class is the prescribed σ′. No argument is given that the lowest nonzero Bruhat component remains unique and transforms by the same τ, especially when the link is non-minimal (some λ′_i = 0). Since the rest of the paper inherits this identification of Licci_3 with Herzog classes, this gap should be closed by a full proof or, failing that, the statement should be made explicitly conditional on the framework of [15] rather than presented as a theorem established here.
  2. [Section 3.4, Theorem 3.12 and Lemma 3.13] The proof of Theorem 3.12 says 'We omit the details' and refers to [15, §3], and Lemma 3.13 then uses the same generic example to identify S_I from the graded Betti numbers. These statements are used in Algorithm 3.16 and in Theorem 6.1, so they are not merely cosmetic. The manuscript should either include a complete proof of Theorem 3.12 or state precisely, in the form of a citable theorem, the result from [15] that supplies the graded free resolution (3.3). As written, a central part of the constructive side of the paper is delegated to an unpublished preprint of the same authors.
minor comments (4)
  1. [Definition 8.3] In the displayed formula for S_J in Definition 8.3, the second Schur functor is written as S_{λ′′}G∗_3; for arbitrary codimension c this should be G∗_c.
  2. [Section 7.1] In the displayed matrix for d_2 in the even case, the entry 'x 12k' appears to be a typo for 'x_{1k}' or similar; please correct the typesetting.
  3. [Proof of Proposition 5.1(3)] The phrase 'by Theorem, 8.7' contains a stray comma and should read 'by Theorem 8.7'.
  4. [Section 4.1] The notation (1^{2k+1}) for a partition consisting of repeated 1s is used without an explicit explanation; a short sentence defining exponential notation for partitions would improve readability.

Circularity Check

3 steps flagged · score 4.0 of 10

Central parametrization of Herzog classes is imported from the authors' [15]; the only-if direction of the main graph theorem and the graded resolutions of Theorem 3.12 rest on that same self-citation, though the combinatorial link rule and the restriction theorems have independent content.

  1. self citation load bearing [Section 2.4, Theorem 2.1 (paraphrase of [15])]
    "We may paraphrase one of the main results of [15] as follows. Theorem 2.1. ... The ideal I is licci exactly when w(1)⊗k≠0. Assuming this to be the case, I is classified up to deformation by the lowest (in Bruhat order) extremal gl(F1)×gl(F3)-representation SλF1⊗SμF3^* on which w(1)⊗k is nonzero ... We refer to the combinatorial data ... as the Herzog class of I. Every σ∈ z1W(d,t)x1 is the Herzog class of some codimension 3 licci ideal, with the exception of σ=id which corresponds to the unit ideal."

    The paper's headline claim is that all codimension-3 licci Herzog classes are parametrized by pairs of partitions and that this data can be read off from Weyl-group elements. That identification, including the classification up to deformation and the realizability of every σ, is simply restated from [15], a preprint by the same three authors. No proof is given in this paper; the vertex set of Licci3, Theorem 3.2, Theorem 3.12, Theorem 6.1, and the tables in Section 4 all take this identification as an input. Thus the main derivation chain reduces at its base to a same-author citation rather than to an argument developed here.

  2. self citation load bearing [Section 3.2, proof of Theorem 3.2 (only-if direction)]
    "If we act by g+ϵ on w(1), where ϵ is a general matrix whose entries are all in m, the restriction of the resulting map to the bottom (y1,z1)-graded component of L(ωx1)∨ will be a regular sequence [α1 α2 α3]. ... Also, w(1) will then have the property that w(1)⊗k is nonzero only on the extremal weight space with weight −˜σωx1. Restricting to the bottom y1-graded component of L(ωx1)∨, we obtain an ideal I′ linked to I by (α1,α2,α3), whose Herzog class is σ′ by construction."

    This is the step that converts a combinatorial edge into an actual direct link. The assertion that the perturbed w(1) has, after reduction, a unique lowest nonzero weight −τσωx1 and that the y1-restricted specialization produces an ideal of class σ′ is precisely the realizability and classification content of Theorem 2.1, which is only paraphrased from [15]. Saying 'by construction' hides the dependence: without the imported [15] framework—for instance if Bruhat-order uniqueness fails for non-Dynkin formats—the constructed linked ideal need not lie in the asserted Herzog class. The 'only if' half of the main graph theorem therefore inherits the self-citation rather than proving the correspondence independently.

1 more flagged steps
  1. self citation load bearing [Section 3.4, Theorem 3.12 and its proof]
    "We may use the generic example of the Herzog class S, whose free resolution is given in [15, §3]. Indeed, this example is obtained by localizing an ideal I in a polynomial ring R at its ideal of variables. The free resolution of R/I is Zd+t+2-graded, but there exists a particular coarsening to a Z-grading, described in [15, Example 3.7], that yields the graded free resolution indicated above. ... We omit the details here, because they would require a significant digression into representation theory."

    This existence theorem—that every decoration is realized by a homogeneous ideal with the displayed graded shifts—is the basis for Lemma 3.13, Algorithm 3.16, and the Tor-algebra results of Section 6. Its proof is not supplied in this paper; it is a reference to a same-author preprint. The imported Z-coarsening is exactly what lets the paper compute graded Betti numbers and multiplication data from the partitions, so this is another load-bearing same-author citation rather than an independent derivation. The honest pointer to [15] is transparent, but the load-bearing content is still carried by that self-citation.

full rationale

The paper has substantial independent combinatorial content: Theorem 3.1's partition formula is proved from Weyl-group combinatorics, Proposition 5.1 and Theorem 8.7 give non-trivial restrictions on decorations, and the tables reproduce known classes (Gorenstein, almost complete intersections, hyperplane sections, Dynkin formats). No fitted parameters or definitional identities are presented as predictions, and the paper is explicit that the generic-ring/higher-structure-map framework is imported from [15] and [44]. However, the central identification of Herzog classes with pairs of partitions—the very object whose graph is then described—is not proved in this paper but paraphrased from the authors' own preprint [15]. The only-if direction of Theorem 3.2, which gives the semantic content to the graph edges, explicitly relies on that imported classification, and Theorem 3.12's graded-resolution realization of every decoration is likewise deferred to [15]. These are load-bearing self-citations: if [15] were unsound for a non-Dynkin format, the parametrization and the graph theorem would lose their justification. Because the combinatorial link rule and restriction theorems stand independently, the circularity is partial rather than total, hence a score of 4 rather than a higher score reserved for results that reduce entirely to their inputs by construction.

Assumptions & free parameters 0 free parameters · 5 assumptions · 2 invented entities

The paper's central claims rest on the generic ring and higher structure maps framework developed in the authors' own prior work ([15], [44]), plus background in Kac-Moody representation theory and classical linkage. There are no fitted numerical parameters. The Section 8 extension is explicitly conditional on Conjecture 8.2.

assumptions (5)
  • domain assumption Existence and properties of generic rings and higher structure maps for length-3 free resolutions: w^{(1)} maps L(omega_x1)^vee tensor R to R, with licci-ness detected by non-vanishing mod m and the minimal nonzero component an invariant (Theorem 2.1, imported from [15]).
    Used throughout: Theorem 3.2 proof, Theorem 3.12, Lemma 3.13; not independently verified in this paper.
  • domain assumption Licci ideals admit rigid deformations and Herzog classes are well-defined via common deformations (Herzog [17], Buchweitz [5]).
    Background in Section 2.4; defines the object being classified.
  • domain assumption Every element of z1W(d,t)x1 except id is the Herzog class of a codimension-3 licci ideal (Theorem 2.1 from [15]).
    Load-bearing for the claim that all decorations are realizable; quoted from [15, Theorem 6.4].
  • domain assumption Lemma 6.8: perfect codimension-3 ideals with b generators and Tor algebra class G(r), r at least b-4, are licci ([33, Corollary 5.15(2)], one author's PhD thesis).
    Used to reduce Theorem 6.9 and Corollary 6.10 to licci ideals; the source is an unpublished thesis.
  • ad hoc to paper Conjecture 8.2: higher structure maps exist for arbitrary codimension and induce a graph isomorphism between Herzog classes and Licci_c.
    Explicitly conjectural in Section 8; all Section 8 results depend on this conjecture.
invented entities (2)
  • Special generating system (SGS) for a licci ideal
    purpose: Ordered generating list that transforms predictably under linkage (Definition 3.3).
    Definitional tool used in Remarks 3.6-3.11 and Lemma 3.15; mathematically well-defined but no external falsifiable handle.
  • Doubling of a decoration D(S)
    purpose: Combinatorial prediction of Herzog classes of Gorenstein licci ideals of codimension c+1 from codimension c (Definition 8.15).
    Theorem 8.16 proves it is a decoration if S is, but the ideal-theoretic interpretation is conjectural (Conjecture 8.18); supported only by internal examples.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Generic models of licci ideals parametrized by Schur functors." pith.science (2026). https://pith.science/paper/KXFXTRGZ

@misc{pith2026250609598,
  author       = {Pith},
  title        = {Pith review of: Generic models of licci ideals parametrized by Schur functors},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KXFXTRGZ}},
  note         = {Machine review of arXiv:2506.09598}
}
read the original abstract

Let R be a commutative Noetherian ring. Licci ideals are the ideals of R that can be linked in a finite number of steps to a complete intersection. Each licci ideal admits a rigid deformation, and two licci ideals are in the same Herzog class if they have a common deformation. In this work, we show how all the Herzog classes of licci ideals of codimension 3 can be parametrized in terms of pairs of partitions associated to Schur functors. This fact allows to describe in a purely combinatorial way the (infinite) graph whose vertices correspond to Herzog classes and edges represent direct links between representatives of such classes. As applications, we obtain results on the classification of multiplications in Tor Algebras, and new structure theorems for families of licci ideals. In the final section, we extend many of these results to arbitrary codimension, but under some conjectural assumptions.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Restrictions on the Betti tables of licci ideals

    math.AC 2026-08 conditional novelty 6.0 of 10

    For several large classes of licci ideals, the number of generators is bounded by the largest shift in the last step of the graded free resolution, confirming part of three new conjectures.

Reference graph

Works this paper leans on

45 extracted references · 40 canonical work pages · cited by 1 Pith paper

  1. [15]

    The linkage class of a grade three complete intersection

    L. Guerrieri, X. Ni, J. Weyman,The linkage class of a grade three complete intersection, arXiv:2412.00399 (2024)

    work page Pith review arXiv 2024

  2. [1]

    Avramov, A

    L. Avramov, A. Kustin, M. Miller,Poincaré Series of Modules over Local Rings of Small Embedding Codepth or Small Linking NumberJ. of Algebra. 118, (1988) 162-204

    work page 1988

  3. [2]

    Brown,A structure theorem for a class of grade three perfect ideals,J

    A. Brown,A structure theorem for a class of grade three perfect ideals,J. Algebra 105 (1987), 308–327

    work page 1987

  4. [3]

    Buchsbaum, D

    D. Buchsbaum, D. Eisenbud.Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3. American Journal of Mathematics, V ol. 99(3), 447–485 (1977)

    work page 1977

  5. [4]

    Buchsbaum, D

    D. Buchsbaum, D. Eisenbud,Some structure theorems for finite free resolutions,Advances in Math. 1 (1974), 84-139

    work page 1974

  6. [5]

    Buchweitz,Contributions á la thèorie des singularités,Thesis, University of Paris, 1981

    R.O. Buchweitz,Contributions á la thèorie des singularités,Thesis, University of Paris, 1981

    work page 1981

  7. [6]

    Celikbas, J

    E. Celikbas, J. Laxmi, W. Kra´skiewicz, J. Weyman,The family of perfect ideals of codimen- sion 3, of type 2 with 5 generatorsProc. Amer. Math. Soc. 148 (2020), 2745-2755

    work page 2020

  8. [7]

    Chmiel, L

    T. Chmiel, L. Guerrieri, X. Ni, J. Weyman,Structure theorems for Gorenstein ideals of codimension four with six generators,arXiv:2503.08813 (2025)

    arXiv 2025

Show all 45 references
  1. [8]

    L. W. Christensen, O. Veliche,Generic local rings on a spectrum between Golod and Goren- stein,Advances in Applied Mathematics, V olume 151, 2023, 102580,

    2023

  2. [9]

    L. W. Christensen, O. Veliche, J. Weyman,Free resolutions of Dynkin format and the licci property of grade perfect ideals.Mathematica Scandinavica, 125(2), 163–178 (2019)

    2019

  3. [10]

    L. W. Christensen, O. Veliche, J. Weyman,Linkage classes of grade 3 perfect ideals,Journal of Pure and Applied Algebra, V olume 224, Issue 6, 106185 (2020)

    2020

  4. [11]

    Eisenbud,Commutative Algebra: with a View Toward Algebraic Geometry.Springer Verlag, New York, 1995

    D. Eisenbud,Commutative Algebra: with a View Toward Algebraic Geometry.Springer Verlag, New York, 1995. 46

    1995

  5. [12]

    S. A. Filippini, L. Guerrieri,Mapping resolutions of length three II - Module formats,Linear Algebra and its Applications 704, 1-34 (2025)

    2025

  6. [13]

    Guerrieri, X

    L. Guerrieri, X. Ni, J. Weyman.An ADE correspondence for grade three perfect ideals. arXiv:2407.02380 (2024)

    2024 arXiv

  7. [14]

    Guerrieri, X

    L. Guerrieri, X. Ni, J. Weyman,Higher structure maps for free resolutions of length 3 and linkage,arXiv:2208.05934 (2022)

    2022 arXiv

  8. [16]

    Guerrieri, J

    L. Guerrieri, J. Weyman,Mapping resolutions of length three I,J. Pure Appl. Algebra 227.4 (2023), No. 107248, 22

    2023

  9. [17]

    Herzog,Deformationen von Cohen-Macaulay algebren,J

    J. Herzog,Deformationen von Cohen-Macaulay algebren,J. Reine Angew. Math. 318 (1980) 83–105

    1980

  10. [18]

    Herzog, M

    J. Herzog, M. Miller.Gorenstein ideals of deviation two.Communications in Algebra (13), 1977-1990 (1985)

    1985

  11. [19]

    Huneke, B

    C. Huneke, B. Ulrich,Algebraic linkage,Duke Math. J. 56 (1988), 415–429

    1988

  12. [20]

    Huneke, B

    C. Huneke, B. Ulrich,Divisor class groups and deformations,Amer. J. Math., 101(1985), 1265-1303

    1985

  13. [21]

    Huneke, B

    C. Huneke, B. Ulrich,Liaison of monomial ideals,Bull. London Math. Soc. 39 (2007), 384–392

    2007

  14. [22]

    Huneke, B

    C. Huneke, B. Ulrich,The structure of linkage,Ann. of Math. (2) 126 (1987), no.2, 277-334

    1987

  15. [23]

    Jelisiejew, R

    J. Jelisiejew, R. Ramkumar, A. Sammartano,The Hilbert scheme of points on a threefold, I. arXiv:2409.17009

    arXiv

  16. [24]

    Kumar.Kac-Moody groups, their flag varieties and representation theory.Progress in Mathematics 204, Birkhäuser Boston, Inc., Boston, MA 2002

    S. Kumar.Kac-Moody groups, their flag varieties and representation theory.Progress in Mathematics 204, Birkhäuser Boston, Inc., Boston, MA 2002

    2002

  17. [25]

    Kunz.Almost complete intersections are not Gorenstein rings.J

    E. Kunz.Almost complete intersections are not Gorenstein rings.J. Algebra 28, 111-115 (1974)

    1974

  18. [26]

    A. R. Kustin,Perfect modules with Betti numbers (2,6,5,1),J. Algebra 600, 15 (2022), 71- 124

    2022

  19. [27]

    Kustin, M

    A.R. Kustin, M. Miller.Algebra structure on minimal resolution of Gorenstein rings of embedding codimension four.Math. Z. 173, 171–184 (1980)

    1980

  20. [28]

    Kustin, M

    A.R. Kustin, M. Miller.Constructing big Gorenstein ideals from small ones.J. Algebra 85, 303–322 (1983)

    1983

  21. [29]

    Kustin, M

    A.R. Kustin, M. Miller.Deformation and linkage of Gorenstein algebras.Trans. Amer. Math. Soc. 284, 501–534 (1984). 47

    1984

  22. [30]

    Kustin, M

    A.R. Kustin, M. Miller.Tight double linkage of Gorenstein algebras.J. Algebra 95, 384–417 (1985)

    1985

  23. [31]

    K.-H. Lee, J. Weyman.Some branching formulas for Kac-Moody Lie algebras.Commun. Korean Math. Soc. 34(4), 1079-1098 (2019)

    2019

  24. [32]

    Macias Marques, O

    P. Macias Marques, O. Veliche, J. Weyman.Artinian Gorenstein algebras of embedding dimension four and socle degree three,J. of Algebra 638, 788-839 (2024)

    2024

  25. [33]

    Ni,Free resolutions, linkage, and representation theory

    X. Ni,Free resolutions, linkage, and representation theory. PhD thesis, University of Berke- ley (2024)

    2024

  26. [34]

    Ni,LicciExamples.https://github.com/xlni/LicciExamples

    X. Ni,LicciExamples.https://github.com/xlni/LicciExamples

  27. [35]

    X. Ni, J. Weyman.Free resolutions constructed from bigradings on Lie algebras. arXiv:2304.01381

    arXiv

  28. [36]

    Peskine, L

    C. Peskine, L. Szpiro.Liaison des variétés algébriques.Invent. Math. 26, 271–302 (1974)

    1974

  29. [37]

    Reid.Gorenstein in codimension 4: the general structure theory.Adv

    M. Reid.Gorenstein in codimension 4: the general structure theory.Adv. Stud. Pure Math., 201-227 (2015)

    2015

  30. [38]

    S. Sam, J. Weyman,Schubert varieties and finite free resolutions of length three,Proceed- ings of the AMS V olume 149, Number 5, Pages 1943–1955 (2021)

    2021

  31. [39]

    Ulrich,On licci ideals,Contemp

    B. Ulrich,On licci ideals,Contemp. Math., 88, pp. 85–94, Amer. Math. Soc., Providence, RI, 1989

    1989

  32. [40]

    Ulrich,Sums of linked ideals,Transactions of the American Mathematical Society, 318(1), 1–42

    B. Ulrich,Sums of linked ideals,Transactions of the American Mathematical Society, 318(1), 1–42

  33. [41]

    W. V . Vasconcelos, R. Villarreal.On Gorenstein ideals of codimension four.Proceedings Of The American Mathematical Society, V ol. 98(2), 205-210 (1986)

    1986

  34. [42]

    Watanabe,A note on Gorenstein rings of embedding codimension three,Nagoya Math

    J. Watanabe,A note on Gorenstein rings of embedding codimension three,Nagoya Math. J. 50 (1973), 227–232. MR0319985

    1973

  35. [43]

    Weyman,On the structure of resolutions of length 3.Journal of Algebra 126 No

    J. Weyman,On the structure of resolutions of length 3.Journal of Algebra 126 No. 1 (1989), 1-33

    1989

  36. [44]

    Weyman,Free resolutions and root systems.Annales de l’Institute Fourier 68 (3) (2018) 1241-1296

    J. Weyman,Free resolutions and root systems.Annales de l’Institute Fourier 68 (3) (2018) 1241-1296

    2018

  37. [45]

    Weyman.Higher structure theorems for codimension four Gorenstein ideals

    J. Weyman.Higher structure theorems for codimension four Gorenstein ideals. https://alg.matinf.uj.edu.pl/preprints.html. 48

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.