pith. machine review for the scientific record. sign in

arxiv: 2605.09261 · v1 · submitted 2026-05-10 · 🧮 math.RT

Recognition: 2 theorem links

· Lean Theorem

BGG resolutions, Koszulity, and stratifications, part II: the Jacobi-Trudi algebra

Fan Zhou

Pith reviewed 2026-05-12 04:41 UTC · model grok-4.3

classification 🧮 math.RT
keywords Jacobi-Trudi algebraBGG resolutionnil-Koszulcyclotomic KLR algebraSpecht moduleSoergel calculusquasi-hereditarycategorification
0
0 comments X

The pith

Jacobi-Trudi algebras are nil-Koszul and supply BGG resolutions that restrict to Specht modules resolved by permutation modules.

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

The paper introduces Jacobi-Trudi algebras as specific quasi-hereditary quotients of cyclotomic KLR algebras that carry a natural map from the symmetric group algebra. It proves these algebras, and the Soergel calculi Morita equivalent to them, are nil-Koszul by exhibiting Koszul lower half subalgebras. This nil-Koszulity produces BGG resolutions for the dominant simple modules. Restriction along the symmetric group map turns those resolutions into exact sequences resolving Specht modules by permutation modules. Koszul duality on the half subalgebra recovers the differentials of the BGG resolutions.

Core claim

The Jacobi-Trudi algebras categorify the Jacobi-Trudi determinant formula for Schur functions as a shadow of a highest-weight phenomenon. Their dominant simple modules admit BGG resolutions which, when restricted to the symmetric group algebra, become resolutions of Specht modules by permutation modules. These resolutions exist because the algebras and their Morita equivalents are nil-Koszul, i.e., possess Koszul lower half subalgebras, and Koszul duality with respect to those half subalgebras recovers the differentials.

What carries the argument

Nil-Koszulity arising from the Koszul lower half subalgebras of the Jacobi-Trudi algebras, which produces the BGG resolutions and allows their restriction to the symmetric group.

If this is right

  • Dominant simple modules over these algebras possess BGG resolutions.
  • Restriction of those resolutions along the map from the symmetric group algebra yields resolutions of Specht modules by permutation modules.
  • Koszul duality on the lower half subalgebra reconstructs the differentials of the BGG resolutions.
  • The Jacobi-Trudi algebras provide another natural occurrence of nil-Koszul algebras inside categorification.
  • Nil-Koszulity is directly linked to the existence of BGG resolutions in this setting.

Where Pith is reading between the lines

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

  • The same nil-Koszul construction may apply to other highest-weight categories built from KLR-type algebras.
  • The restriction technique could produce combinatorial resolutions for additional families of symmetric group modules.
  • Koszul duality might serve as a general tool for computing differentials in BGG resolutions arising from categorified identities.
  • This framework could link further combinatorial determinant formulas to homological properties of representation categories.

Load-bearing premise

The chosen quotients of cyclotomic KLR algebras are quasi-hereditary and their lower half subalgebras are Koszul in the precise sense needed for the BGG construction and the restriction to Specht modules to work.

What would settle it

An explicit calculation of Ext groups showing that a lower half subalgebra fails to be Koszul, or a concrete dominant simple module whose restricted BGG resolution does not match a known Specht resolution by permutation modules.

read the original abstract

We categorify the Jacobi-Trudi determinant formula for Schur functions as a shadow of a highest-weight phenomenon by considering certain quasi-hereditary quotients of certain cyclotomic KLR algebras, which we call ``Jacobi-Trudi algebras''. These algebras come equipped with a map from $\mathbb{C} S_n$, and we show that the dominant simple modules for these algebras admit BGG resolutions which, when restricted to $\mathbb{C} S_n$, become resolutions of Specht modules by permutation modules. We establish these BGG resolutions by showing that these Jacobi-Trudi algebras, as well as the Soergel calculi to which they are Morita equivalent, are ``nil-Koszul'', meaning that they have ``lower half subalgebras'' which are Koszul. We also show that Koszul duality with respect to this half subalgebra can be used to recover the differentials of the BGG resolutions. Hence this paper gives another example of a nil-Koszul algebra appearing naturally in categorification and gives another demonstration of the intricate connection between nil-Koszulity and BGG resolutions.

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

1 major / 1 minor

Summary. The paper introduces Jacobi-Trudi algebras as quasi-hereditary quotients of cyclotomic KLR algebras equipped with a homomorphism from ℂS_n. It establishes that these algebras and the Morita-equivalent Soergel calculi are nil-Koszul (i.e., possess Koszul lower half subalgebras), uses this to construct BGG resolutions for the dominant simple modules, and shows that restriction along the ℂS_n map yields resolutions of Specht modules by permutation modules. Koszul duality with respect to the lower half subalgebra is shown to recover the differentials of these resolutions.

Significance. If the results hold, the work supplies a categorification of the Jacobi-Trudi determinant formula for Schur functions as a highest-weight phenomenon and furnishes additional natural examples of nil-Koszul algebras arising in categorification. It strengthens the link between nil-Koszulity, BGG resolutions, and Koszul duality while connecting KLR algebra quotients to classical symmetric group representation theory via explicit restriction statements.

major comments (1)
  1. The central claim that restriction of the BGG resolutions along the ℂS_n homomorphism produces exact resolutions of Specht modules by permutation modules requires explicit verification that this map sends permutation modules to standard modules and Specht modules to dominant simples while preserving the highest-weight ordering and grading on the lower half subalgebra. Without this compatibility, exactness after restriction does not follow from nil-Koszulity alone.
minor comments (1)
  1. The abstract and introduction should include a brief comparison with the results of part I to clarify which statements are new versus inherited.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback. The major comment identifies a point where the compatibility of the restriction functor with the highest-weight structure requires more explicit treatment, which we address below.

read point-by-point responses

  1. Referee: The central claim that restriction of the BGG resolutions along the ℂS_n homomorphism produces exact resolutions of Specht modules by permutation modules requires explicit verification that this map sends permutation modules to standard modules and Specht modules to dominant simples while preserving the highest-weight ordering and grading on the lower half subalgebra. Without this compatibility, exactness after restriction does not follow from nil-Koszulity alone.

    Authors: We agree that the argument relies on this compatibility and that it should be stated and verified explicitly rather than left implicit. In the revised manuscript we will insert a new lemma (placed immediately before the statement of the restriction theorem) that proves: (i) the homomorphism ℂS_n → Jacobi-Trudi algebra sends permutation modules to the standard modules, (ii) Specht modules are sent to the dominant simple modules, (iii) the induced map on Grothendieck groups preserves the highest-weight partial order, and (iv) the grading on the lower-half subalgebra is compatible with the restriction functor. With these facts recorded, the exactness of the restricted complex follows directly from the nil-Koszulity already established. We are grateful to the referee for highlighting this gap in exposition. revision: yes

Circularity Check

0 steps flagged

No significant circularity; central claims rest on independent algebraic proofs.

full rationale

The derivation defines Jacobi-Trudi algebras explicitly as quasi-hereditary quotients of cyclotomic KLR algebras equipped with a CS_n map, then proves nil-Koszulity of the lower half subalgebras, Morita equivalence to Soergel calculi, and the existence of BGG resolutions whose restriction yields Specht resolutions. These steps are established by direct arguments on the algebras rather than by fitting parameters, self-defining Y in terms of X, or reducing the main result to a prior self-citation whose content is unverified. Part II status indicates continuity with part I, but the abstract and described claims introduce new content (nil-Koszulity implying BGG, restriction compatibility) that does not collapse to the inputs by construction. No quoted equations or steps exhibit the forbidden patterns of self-definition, fitted predictions, or smuggled ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central claims rest on the standard definitions of cyclotomic KLR algebras, quasi-hereditary algebras, BGG resolutions, Koszul algebras, and Morita equivalence, plus the new definitions of Jacobi-Trudi algebras and nil-Koszulity. No numerical free parameters appear. The invented entity is the Jacobi-Trudi algebra itself, introduced to categorify the Jacobi-Trudi formula.

axioms (2)
  • standard math Cyclotomic KLR algebras are well-defined graded algebras with the expected highest-weight structure.
    Invoked when forming the quotients called Jacobi-Trudi algebras.
  • domain assumption Quasi-hereditary algebras admit BGG resolutions under suitable conditions on the partial order.
    Used to guarantee the existence of the claimed resolutions once nil-Koszulity is shown.
invented entities (2)
  • Jacobi-Trudi algebra no independent evidence
    purpose: Quasi-hereditary quotient of a cyclotomic KLR algebra equipped with a map from ℂS_n that categorifies the Jacobi-Trudi determinant.
    New object defined in the paper to realize the categorification; no independent evidence outside the construction is given.
  • nil-Koszul algebra no independent evidence
    purpose: Algebra possessing a lower half subalgebra that is Koszul, used to construct BGG resolutions and recover differentials via Koszul duality.
    Term and property introduced or specialized for this context; evidence is the proof that the Jacobi-Trudi algebras satisfy it.

pith-pipeline@v0.9.0 · 5491 in / 1781 out tokens · 32358 ms · 2026-05-12T04:41:25.511625+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  1. [1]

    Journal of Number Theory , volume=

    Inverse problems for minimal complements and maximal supplements , author=. Journal of Number Theory , volume=. 2021 , publisher=

    work page 2021

  2. [2]

    2022 , eprint=

    Stratified noncommutative geometry , author=. 2022 , eprint=

    work page 2022

  3. [3]

    Bernstein-

    Gurbir Dhillon , note=. Bernstein-. 2019 , eprint=

    work page 2019

  4. [4]

    Jonathan Brundan and Weiqiang Wang and Ben Webster , note=. Nil-. 2023 , eprint=

    work page 2023

  5. [5]

    The nil-

    Jonathan Brundan and Weiqiang Wang and Ben Webster , note=. The nil-. 2023 , eprint=

    work page 2023

  6. [6]

    2023 , eprint=

    Graded triangular bases , author=. 2023 , eprint=

    work page 2023

  7. [7]

    Semi-infinite highest weight categories , year=

    Jonathan Brundan and Catharina Stroppel , note=. Semi-infinite highest weight categories , year=. 1808.08022 , archivePrefix=

    work page arXiv

  8. [8]

    Quadratic duals,

    Mazorchuk, Volodymyr and Ovsienko, Serge and Stroppel, Catharina , note=. Quadratic duals,. Transactions of the American Mathematical Society , volume=

    work page

  9. [9]

    Journal of the American Mathematical Society , volume=

    Koszul duality patterns in representation theory , author=. Journal of the American Mathematical Society , volume=

    work page

  10. [10]

    2005 , publisher=

    Quadratic algebras , author=. 2005 , publisher=

    work page 2005

  11. [11]

    Pure Appl

    Kapranov, Mikhail and Schechtman, Vadim , TITLE =. Pure Appl. Math. Q. , FJOURNAL =. 2020 , NUMBER =. doi:10.4310/PAMQ.2020.v16.n3.a9 , URL =

    work page doi:10.4310/pamq.2020.v16.n3.a9 2020

  12. [12]

    and Parshall, B

    Cline, E. and Parshall, B. and Scott, L. , journal =. Finite dimensional algebras and highest weight categories. , url =

    work page

  13. [13]

    Khovanov, Mikhail and Sazdanovic, Radmila , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2021 , NUMBER =. doi:10.1016/j.jpaa.2020.106592 , URL =

    work page doi:10.1016/j.jpaa.2020.106592 2021

  14. [14]

    Higher algebra , author=

    work page

  15. [15]

    Determination of a class of

    Fr. Determination of a class of. Mathematica Scandinavica , volume=. 1975 , publisher=

    work page 1975

  16. [16]

    Journal of Algebra , volume=

    Representations of weakly triangular categories , author=. Journal of Algebra , volume=. 2023 , publisher=

    work page 2023

  17. [17]

    Sam and Andrew Snowden , journal=

    Steven V. Sam and Andrew Snowden , journal=. The Representation Theory of. 2020 , volume=

    work page 2020

  18. [18]

    Path combinatorics and light leaves for quiver

    Bowman, Chris and Cox, Anton and Hazi, Amit and Michailidis, Dimitris , journal=. Path combinatorics and light leaves for quiver. 2022 , publisher=

    work page 2022

  19. [19]

    Zhou, Fan , journal=. B

    work page

  20. [20]

    The many graded cellular bases of

    Bowman, Christopher , journal=. The many graded cellular bases of

    work page

  21. [21]

    Path isomorphisms between quiver

    Bowman, Chris and Cox, Anton and Hazi, Amit , journal=. Path isomorphisms between quiver. 2023 , publisher=

    work page 2023

  22. [22]

    Advances in Mathematics , volume=

    Tilting modules of affine quasi-hereditary algebras , author=. Advances in Mathematics , volume=. 2018 , publisher=

    work page 2018

  23. [23]

    Affine braids,

    Orellana, Rosa and Ram, Arun , journal=. Affine braids,

    work page

  24. [24]

    Duality between sln(

    Arakawa, Tomoyuki and Suzuki, Takeshi , journal=. Duality between sln(. 1998 , publisher=

    work page 1998

  25. [25]

    Blocks of cyclotomic

    Brundan, Jonathan and Kleshchev, Alexander , journal=. Blocks of cyclotomic. 2009 , publisher=

    work page 2009

  26. [26]

    Representation theory of symmetric groups and related

    Kleshchev, Alexander , journal=. Representation theory of symmetric groups and related

    work page

  27. [27]

    Graded cellular bases for the cyclotomic

    Hu, Jun and Mathas, Andrew , journal=. Graded cellular bases for the cyclotomic. 2010 , publisher=

    work page 2010

  28. [28]

    Representation Theory of the American Mathematical Society , volume=

    Soergel calculus , author=. Representation Theory of the American Mathematical Society , volume=

    work page

  29. [29]

    Cyclotomic quiver

    Mathas, Andrew , journal=. Cyclotomic quiver

    work page

  30. [30]

    Ryom-Hansen, Steen , journal=. Jucys-. 2020 , publisher=

    work page 2020

  31. [31]

    Differential graded

    Positselski, Leonid , journal=. Differential graded. 2023 , publisher=

    work page 2023

  32. [32]

    Universal graded

    Kleshchev, Alexander S and Mathas, Andrew and Ram, Arun , journal=. Universal graded. 2012 , publisher=

    work page 2012

  33. [33]

    Functional Analysis and Its Applications , volume=

    Resolvents, dual pairs, and character formulas , author=. Functional Analysis and Its Applications , volume=. 1987 , publisher=

    work page 1987

  34. [34]

    On complexes relating the

    Akin, Kaan , journal=. On complexes relating the. 1988 , publisher=

    work page 1988

  35. [35]

    On complexes relating the

    Akin, Kaan , journal=. On complexes relating the. 1992 , publisher=

    work page 1992

  36. [36]

    The modular

    Bowman, Chris and Hazi, Amit and Norton, Emily , journal=. The modular. 2022 , publisher=

    work page 2022

  37. [37]

    Unitary representations of cyclotomic

    Bowman, Chris and Norton, Emily and Simental, Jos. Unitary representations of cyclotomic. Journal of the Institute of Mathematics of Jussieu , volume=. 2024 , publisher=

    work page 2024

  38. [38]

    Characteristic-free bases and

    Bowman, Chris and Norton, Emily and Simental, Jose , journal=. Characteristic-free bases and

    work page

  39. [39]

    Littlewood--

    Leclerc, Bernard and Thibon, Jean-Yves , booktitle=. Littlewood--. 2000 , publisher=

    work page 2000

  40. [40]

    A diagrammatic approach to categorification of quantum groups

    Khovanov, Mikhail and Lauda, Aaron , journal=. A diagrammatic approach to categorification of quantum groups

    work page

  41. [41]

    Light leaves and

    Libedinsky, Nicolas , journal=. Light leaves and. 2015 , publisher=

    work page 2015