pith. sign in

arxiv: 2606.24732 · v1 · pith:NJ7SSY2Qnew · submitted 2026-06-23 · 🧮 math.RT

Interpolating Schur Algebras

Addison Day , Jonathan R. Kujawa This is my paper

Pith reviewed 2026-06-25 21:40 UTC · model grok-4.3

classification 🧮 math.RT
keywords Schur algebrasquasi-hereditary algebrashighest weight categoriesparabolic category Orepresentation theorygeneral linear Lie algebrasemisimple algebras
0
0 comments X

The pith

A one-parameter family of algebras generalizes the Schur algebras so their representations form a highest weight subcategory of parabolic category O.

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

The authors introduce a one-parameter family of algebras that naturally generalize the Schur algebras. At nonnegative integer values of the parameter the classical Schur algebra appears as a canonical quotient. They prove the family consists of based quasi-hereditary algebras, characterize the parameters where the algebras are semisimple, and show that the category of representations is a highest weight category that embeds as a subcategory of parabolic category O for the general linear Lie algebra.

Core claim

The central claim is that there exists a one-parameter family of algebras interpolating the Schur algebras such that the Schur algebra is a quotient at nonnegative integers, the algebras are based quasi-hereditary, and their representation categories are highest weight categories that can be identified as subcategories of parabolic category O for the general linear Lie algebra.

What carries the argument

The one-parameter family of interpolating algebras, constructed so that quotient maps at nonnegative integers preserve the based quasi-hereditary and highest weight structures.

If this is right

  • The representation theory of the Schur algebras extends uniformly to a continuous family of algebras.
  • Semisimplicity of the algebras holds exactly outside a discrete set of parameter values.
  • The embedding into parabolic category O transfers Lie-theoretic tools such as highest weight theory to the study of these generalized Schur algebras.
  • Based quasi-hereditary structure supplies a canonical basis and a highest weight ordering on the modules.

Where Pith is reading between the lines

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

  • The deformation may allow transfer of results about extension groups or characters from the Lie algebra setting back to the Schur algebra at integer points.
  • Similar one-parameter interpolations could be attempted for other diagram algebras that admit Schur-Weyl duality.
  • The subcategory embedding raises the question of whether the orthogonal complement in parabolic O has a complementary algebraic description.

Load-bearing premise

The one-parameter family is defined so that the quotient relation to the Schur algebra at nonnegative integers automatically preserves the based quasi-hereditary and highest weight structures needed for the embedding into parabolic category O.

What would settle it

An explicit calculation for a small value of the parameter showing that the representation category fails to embed as a subcategory of parabolic category O for the general linear Lie algebra would disprove the main claim.

read the original abstract

We introduce and study a one-parameter family of algebras that naturally generalize the Schur algebras. We show the Schur algebra is canonically a quotient when the parameter is a nonnegative integer, characterize when they are semisimple, show they are based quasi-hereditary, and that their category of representations is a highest weight category that can be identified as a subcategory of parabolic category $\mathcal{O}$ for the general linear Lie algebra.

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

3 major / 0 minor

Summary. The manuscript introduces a one-parameter family of algebras generalizing the classical Schur algebras. It claims that the Schur algebra arises as a canonical quotient at nonnegative integer values of the parameter, characterizes the values of the parameter for which the algebras are semisimple, proves that the algebras are based quasi-hereditary, and shows that their representation categories are highest weight categories that embed as subcategories of parabolic category O for the general linear Lie algebra.

Significance. If the stated constructions and proofs hold, the work supplies a deformation of Schur algebras that preserves the based quasi-hereditary and highest-weight structures, thereby furnishing a continuous-parameter interpolation between the representation theory of Schur algebras and parabolic category O. Such an object could serve as a tool for studying limits, specializations, and homological properties across integer and non-integer parameters. The abstract alone supplies no evidence that the family is defined in a manner that automatically inherits these structures or that the embedding is functorial.

major comments (3)
  1. No definitions, relations, or explicit presentation of the one-parameter family appear in the provided text. Without these, it is impossible to verify the claim that the Schur algebra is obtained by a canonical quotient at nonnegative integers or that the based quasi-hereditary property is preserved.
  2. The abstract asserts that the representation category is a highest weight category identifiable with a subcategory of parabolic category O, yet supplies neither the highest-weight structure (poset, standard modules, or tilting modules) nor the explicit embedding functor. These are load-bearing for the central claim and cannot be assessed from the given information.
  3. The semisimplicity characterization is stated without any indication of the criterion used (e.g., whether it follows from the quasi-hereditary structure, from explicit decomposition matrices, or from comparison with known semisimple quotients). This leaves the result unverifiable.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their report. The full manuscript contains explicit definitions, relations, structures, and proofs in the body of the text (beyond the abstract). We address each major comment below with references to the relevant sections and will revise for improved clarity where appropriate.

read point-by-point responses

  1. Referee: No definitions, relations, or explicit presentation of the one-parameter family appear in the provided text. Without these, it is impossible to verify the claim that the Schur algebra is obtained by a canonical quotient at nonnegative integers or that the based quasi-hereditary property is preserved.

    Authors: The one-parameter family is defined in Section 2 of the full manuscript. Definition 2.1 presents the algebra via generators and relations (explicitly listed in equations (2.4)--(2.9)). The canonical quotient map realizing the classical Schur algebra at nonnegative integer parameters is constructed in Proposition 3.4. The based quasi-hereditary property, including the explicit basis, is established in Theorem 4.2. We will add a forward reference to these sections at the end of the introduction in the revised version. revision: partial

  2. Referee: The abstract asserts that the representation category is a highest weight category identifiable with a subcategory of parabolic category O, yet supplies neither the highest-weight structure (poset, standard modules, or tilting modules) nor the explicit embedding functor. These are load-bearing for the central claim and cannot be assessed from the given information.

    Authors: Section 5 supplies the highest-weight structure on the representation category: the poset is the set of partitions of d ordered by dominance (Definition 5.1), standard modules are defined in Definition 5.3, and tilting modules are characterized in Theorem 5.9. The fully faithful embedding functor into parabolic category O for gl_n, which identifies the category as a highest-weight subcategory, is constructed in Theorem 6.3. We agree that an overview paragraph summarizing these structures would improve accessibility and will insert one after the abstract in the revised manuscript. revision: yes

  3. Referee: The semisimplicity characterization is stated without any indication of the criterion used (e.g., whether it follows from the quasi-hereditary structure, from explicit decomposition matrices, or from comparison with known semisimple quotients). This leaves the result unverifiable.

    Authors: Theorem 7.1 characterizes semisimplicity: the algebra is semisimple precisely when the parameter lies outside a discrete set of exceptional values. The criterion is derived from the based quasi-hereditary structure by proving that semisimplicity holds if and only if every standard module is simple; this is verified using the explicit basis and relations together with a comparison to the known semisimple quotients arising in parabolic category O. We will add a one-sentence indication of this proof strategy immediately after the statement of Theorem 7.1. revision: partial

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines a one-parameter family of algebras that generalize Schur algebras by construction, then proves (using standard facts on quasi-hereditary algebras, highest weight categories, and parabolic category O) that the family is based quasi-hereditary, that its representation category is a highest weight category embeddable as a subcategory of parabolic O, and that the classical Schur algebra arises as the canonical quotient at nonnegative integers. None of these steps reduces a claimed prediction or uniqueness result to a fitted parameter, a self-citation chain, or a definitional tautology; the central claims rest on independent algebraic verifications external to the present definitions.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 1 invented entities

The central claims rest on the existence of a suitable one-parameter deformation whose specialization recovers the Schur algebra and whose representation category embeds into parabolic category O; these rest on standard facts from the theory of quasi-hereditary algebras and highest weight categories.

free parameters (1)
  • the deformation parameter
    The family is indexed by a single continuous parameter whose nonnegative integer values yield the classical Schur algebra as a quotient.
axioms (1)
  • domain assumption Standard properties of Schur algebras and of parabolic category O for gl_n
    The identification of the representation category as a subcategory of parabolic category O presupposes the usual highest weight structure on that category.
invented entities (1)
  • the one-parameter family of algebras no independent evidence
    purpose: To interpolate the Schur algebras while preserving quasi-hereditary and highest weight properties
    Newly introduced in the paper; no independent evidence outside the construction is given in the abstract.

pith-pipeline@v0.9.1-grok · 5580 in / 1234 out tokens · 25985 ms · 2026-06-25T21:40:07.925338+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

27 extracted references · 22 canonical work pages

  1. [1]

    Representation theory and algebraic geometry---a conference celebrating the birthdays of

    Etingof, Pavel and Ostrik, Victor , TITLE =. Representation theory and algebraic geometry---a conference celebrating the birthdays of. [2022] 2022 , ISBN =. doi:10.1007/978-3-030-82007-7\_1 , URL =

    work page doi:10.1007/978-3-030-82007-7 2022

  2. [2]

    , TITLE =

    Deligne, P. , TITLE =. Algebraic groups and homogeneous spaces , SERIES =. 2007 , ISBN =

    2007

  3. [3]

    and Parshall, B

    Cline, E. and Parshall, B. and Scott, L. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1988 , PAGES =. doi:10.1515/crll.1988.391.85 , URL =

    work page doi:10.1515/crll.1988.391.85 1988

  4. [4]

    , TITLE =

    Humphreys, James E. , TITLE =. 2008 , PAGES =. doi:10.1090/gsm/094 , URL =

    work page doi:10.1090/gsm/094 2008

  5. [5]

    Modern Birkh¨ auser Classics

    Lusztig, George , TITLE =. 2010 , PAGES =. doi:10.1007/978-0-8176-4717-9 , URL =

    work page doi:10.1007/978-0-8176-4717-9 2010

  6. [6]

    , TITLE =

    Cameron, Peter J. , TITLE =. 1990 , PAGES =. doi:10.1017/CBO9780511549809 , URL =

    work page doi:10.1017/cbo9780511549809 1990

  7. [7]

    Duke Math

    Harman, Nate and Snowden, Andrew and Snyder, Noah , TITLE =. Duke Math. J. , FJOURNAL =. 2024 , NUMBER =. doi:10.1215/00127094-2024-0012 , URL =

    work page doi:10.1215/00127094-2024-0012 2024

  8. [8]

    Aizenbud, Inna Entova , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2015 , NUMBER =. doi:10.1093/imrn/rnu214 , URL =

    work page doi:10.1093/imrn/rnu214 2015

  9. [9]

    Doty, Stephen and Giaquinto, Anthony , TITLE =. Int. Math. Res. Not. , FJOURNAL =. 2002 , NUMBER =. doi:10.1155/S1073792802201026 , URL =

    work page doi:10.1155/s1073792802201026 2002

  10. [10]

    Pure Appl

    Wang, Weiqiang , TITLE =. Pure Appl. Math. Q. , FJOURNAL =. 2025 , NUMBER =. doi:10.4310/pamq.241203044158 , URL =

    work page doi:10.4310/pamq.241203044158 2025

  11. [11]

    Green, R. M. , TITLE =. J. Algebra , FJOURNAL =. 1996 , NUMBER =. doi:10.1006/jabr.1996.0346 , URL =

    work page doi:10.1006/jabr.1996.0346 1996

  12. [12]

    Lam, T. Y. , TITLE =. 2001 , PAGES =. doi:10.1007/978-1-4419-8616-0 , URL =

    work page doi:10.1007/978-1-4419-8616-0 2001

  13. [13]

    , TITLE =

    Passman, Donald S. , TITLE =. 1985 , PAGES =

    1985

  14. [14]

    Categorification and higher representation theory , SERIES =

    Brundan, Jonathan and Davidson, Nicholas , TITLE =. Categorification and higher representation theory , SERIES =. 2017 , ISBN =. doi:10.1090/conm/683 , URL =

    work page doi:10.1090/conm/683 2017

  15. [15]

    , TITLE =

    Elias, Ben and Lauda, Aaron D. , TITLE =. J. Algebra , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.jalgebra.2015.11.028 , URL =

    work page doi:10.1016/j.jalgebra.2015.11.028 2016

  16. [16]

    , TITLE =

    Westbury, Bruce W. , TITLE =. J. Algebra , FJOURNAL =. 2009 , NUMBER =. doi:10.1016/j.jalgebra.2008.07.004 , URL =

    work page doi:10.1016/j.jalgebra.2008.07.004 2009

  17. [17]

    Brundan, Jonathan and Stroppel, Catharina , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =. doi:10.1090/memo/1459 , URL =

    work page doi:10.1090/memo/1459 2024

  18. [18]

    Green, J. A. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1993 , NUMBER =. doi:10.1016/0022-4049(93)90015-L , URL =

    work page doi:10.1016/0022-4049(93)90015-l 1993

  19. [19]

    , TITLE =

    Woodcock, David J. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1993 , NUMBER =. doi:10.1016/0022-4049(93)90032-O , URL =

    work page doi:10.1016/0022-4049(93)90032-o 1993

  20. [20]

    Etingof, S

    Etingof, Pavel and Gelaki, Shlomo and Nikshych, Dmitri and Ostrik, Victor , TITLE =. 2015 , PAGES =. doi:10.1090/surv/205 , URL =

    work page doi:10.1090/surv/205 2015

  21. [21]

    2017 , PAGES =

    Harman, Nate , TITLE =. 2017 , PAGES =

    2017

  22. [22]

    2024 , eprint=

    Oligomorphic groups and tensor categories , author=. 2024 , eprint=

    2024

  23. [23]

    Kleshchev, Alexander and Muth, Robert , TITLE =. J. Algebra , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.jalgebra.2019.04.034 , URL =

    work page doi:10.1016/j.jalgebra.2019.04.034 2020

  24. [24]

    Santana, Ana Paula and Yudin, Ivan , TITLE =. Adv. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.aim.2012.01.006 , URL =

    work page doi:10.1016/j.aim.2012.01.006 2012

  25. [25]

    Transform

    Ryba, Christopher , TITLE =. Transform. Groups , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00031-022-09737-5 , URL =

    work page doi:10.1007/s00031-022-09737-5 2022

  26. [26]

    Dipper, Richard and James, Gordon , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1986 , NUMBER =. doi:10.1112/plms/s3-52.1.20 , URL =

    work page doi:10.1112/plms/s3-52.1.20 1986

  27. [27]

    Green, J. A. , TITLE =. 2007 , PAGES =

    2007