Pith. sign in

REVIEW 3 major objections 5 minor 22 references

The highest weight theory for Representations of General Linear groups in the Verlinde categories in positive characteristic

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read This paper derives an explicit, computable rule for translating highest weight labels between different Borel subgroup labelings in representations of general linear groups in the Verlinde category Ver_p, reducing the general case to the…

desk verdict A substantial, mostly convincing advance, but the Shapovalov transfer in §9.3.3 is asserted and everything downstream rests on it. read the letter →

arxiv 2501.15778 v1 pith:UXZW56I5 submitted 2025-01-27 math.RT

Alexandra Utiralova This is my paper · ORCID
classification math.RT MSC 17B1020G0518M05
keywords VerlindecategorypositivecharacteristichighestweightKacmodulesdiagramscategoricalsl_pactionoddreflectionslowestweights
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 aims to answer how the highest weight labels of simple modules change when one switches between different Borel subgroups of a general linear group in the Verlinde category Ver_p. It reduces the problem to representations of the group GL(L_m ⊕ L_n), which it treats as an analogue of the supergroup GL(m|n). For this category it builds a full highest weight theory: projective objects, BGG reciprocity, duality, a categorical action of the affine Lie algebra \hat{\mathfrak{sl}}_p, and an irreducibility criterion for Kac modules. The main payoff is an algorithmic description, using circular weight diagrams and cap diagrams, of the multiplicities in standard filtrations of indecomposable projective modules and of the lowest weight of every simple module. If correct, the translation between different Borel labelings becomes a concrete, computable procedure rather than an abstract existence statement.

What carries the argument

The central object is the circular weight diagram of an admissible weight (µ|ν) in $Z^{{m|n}}$: the symbols <, >, ×, and ◦ placed on the vertices of a regular p-gon, together with the cap diagram that connects each × to a suitable ◦. These diagrams encode the combinatorial action of translation functors F_i, E_i, which form a categorical \hat{\mathfrak{sl}}_p-action on C as shown by the isomorphism [C]_Δ ≅ (Λ^m U)_{loop} ⊗ (Λ^n U^*)_{loop}. The cap diagram provides the transitions between indecomposable projectives, while the Shapovalov-type constant Sh(µ|ν), transferred from the classical supergroup GL(m|n) via semisimplification, supplies the irreducibility criterion for Kac modules.

What would settle it

For a small characteristic p and a weight with at least one cross in its circular diagram (for instance p = 5, m = 1, n = 1, so X = L_1 ⊕ L_4), directly compute the top-component scalar Sh(µ|ν) inside Ver_p by dualizing the action $S^{{1}}$(n_+) ⊗ $S^{{1}}$(n_-) → /BD and compare it with the classical product ∏⟨λ+ρ,α⟩ over positive odd roots reduced modulo p; a mismatch would invalidate Corollary 9.17 and hence Theorems 9.46 and 9.47.

Watch

Extended reading notes

Core claim

For the category C = Rep_{Ver_p}(GL(L_m|L_n)), the paper proves that the standard filtration multiplicities of an indecomposable projective module P(λ) are given by [P(λ):K(α)] = 1 if α belongs to the set P(λ) obtained by swapping crosses with circles along the caps of the weight diagram of λ, and 0 otherwise (Theorem 9.46). Consequently, the lowest weight of the simple module L(λ) is \hat{λ} − β, where \hat{λ} is the weight obtained by performing all these cap swaps and β is the sum of all positive odd roots (Theorem 9.47). Since any permutation of non-isomorphic simple summands decomposes into odd reflections, Theorem 8.10 turns these lowest-weight computations into an algorithmic answer to Question 8.6 for arbitrary GL(X) in Ver_p.

Load-bearing premise

The proof assumes that when the classical supergroup construction is passed to the Verlinde category, the scalar measuring the Shapovalov form stays the same, so that Kac's irreducibility criterion carries over unchanged.

Editorial extensions

If this is right

  • If the main theorem holds, the complete translation between highest weight labelings for different Borel subgroups of GL(X) in Ver_p is explicit: one iterates the lowest-weight computation on consecutive pairs of non-isomorphic simple summands.
  • The category Rep_{Ver_p}(GL(L_m|L_n)) is a highest weight category in the sense of Cline–Parshall–Scott, with projective objects also injective and with BGG reciprocity relating standard filtration multiplicities to composition multiplicities.
  • Kac modules are irreducible and projective exactly when the weight is typical, i.e. when its degree of atypicality is zero, matching the classical GL(m|n) criterion after the transfer of the Shapovalov condition.
  • The categorical \hat{\mathfrak{sl}}_p-action identifies the Grothendieck group generated by Kac modules with a tensor product of loop wedge modules, which predicts how translation functors act on the whole category and on its simple objects.
  • The lowest-weight formula from Theorem 9.47 also gives the dual of L(λ): one has L(λ)^* ≅ L(β − \hat{λ}), as stated in Corollary 9.52.

Reading between the lines

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

  • If the cap-diagram formalism is correct, it suggests that the representation theory of general linear groups in Ver_p admits character formulas of Kazhdan–Lusztig type, but with the affine Weyl group and the p-dependence built into the circular geometry rather than into a straight-line diagram.
  • The circular diagrams differ genuinely from the classical GL(m|n) diagrams even in characteristic p; the paper itself notes that for some weights the lowest weight computed here differs from the one obtained by Serganova's algorithm, indicating new phenomena specific to the Verlinde setting.
  • A natural testable extension would be to compare the multiplicities [P(λ):K(α)] with the characters obtained by Brundan's Kazhdan–Lusztig theory for gl(m|n) after reduction modulo p, to see whether the cap-diagram rules interpolate the known classical formulas.
  • The reduction to odd reflections suggests that the action of the full permutation group on Borel labelings is controlled by a finite set of local lowest-weight moves; one could attempt to package these moves into a braid-group action or a cellular structure on the category.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. This paper studies representations of GL(X) in the Verlinde category Ver_p, where X is an object of Ver_p, and answers the question of how highest weight labels change when the Borel subgroup is changed by permuting non-isomorphic simple summands. The reduction via odd reflections (Theorem 8.10) isolates the category Rep_{Ver_p}(GL(L_m⊕L_r)), reinterpreted as GL(L_m|L_n) with n=p−r. For this category the paper establishes a highest weight structure with Kac modules as standard objects (Theorems 9.3 and 9.4), BGG reciprocity (Corollary 9.5), projectivity and injectivity of projectives (Theorem 9.8), a categorical sl_p-action (Theorem 9.21), an irreducibility criterion for Kac modules (Corollary 9.17 and Theorem 9.35), a circular weight diagram calculus (Section 9.6), cap-diagram formulas for standard filtration multiplicities of projectives (Theorem 9.46), and a lowest weight formula for simple modules (Theorem 9.47), yielding an algorithmic answer to Question 8.6.

Significance. If the proof gaps identified below are closed, the paper is a significant contribution: it gives the first systematic highest weight theory for GL(X) in Ver_p and makes the change-of-Borel labeling explicit and computable. The categorical sl_p-action and the circular weight diagrams are natural and well chosen, and the use of external inputs (Venkatesh's classification, Deligne reconstruction, Kac's theorem, Brundan–Kujawa, Losev, CEOK23) is clearly acknowledged. The central statements are coherent and the overall architecture is convincing, but several load-bearing steps are asserted rather than proved.

major comments (3)
  1. [9.3.3] The equality Sh(µ|ν)=Sh(λ) is the bridge from Kac's classical irreducibility criterion (Theorem 9.13) to Corollary 9.17, and hence to Theorem 9.35, the base case of the induction in Theorem 9.46. The manuscript asserts this equality with the sentence 'as morphisms map to morphisms under the semisimplification', but the semisimplification functor is a quotient by negligible morphisms and does not by itself preserve the scalar attached to a dual pairing or the evaluation and coevaluation maps used to define Sh. A nonzero scalar in characteristic p can become zero, or the categorical description of the pairing can change after applying S. Since Corollary 9.17, Theorem 9.35, the cap-diagram multiplicity formula in Theorem 9.46, and the lowest weight theorem 9.47 all rest on this transfer, a direct proof or a detailed categorical comparison of the Shapovalov constants is required.
  2. [9.7.3 / Theorem 9.46] Definition 9.41 and the surrounding text assert several combinatorial properties of cap diagrams: uniqueness, non-intersection of caps, existence of at least one free ◦, and the absence of free ◦ inside any cap. The paper says these are 'easy to see', but they are load-bearing: the induction in Theorem 9.46 requires, at each step, the existence of an innermost cap with only arrows in its interior, and the tracking of the set P(λ) in part (2) requires that the transformations τ_i act independently on the relevant vertices. Without a proof of the uniqueness and nesting properties of the cap diagram algorithm, the induction and the formula [P(λ):K(α)] ∈ {0,1} in Theorem 9.46(2) are not fully justified. These combinatorial facts should be stated as a lemma and proved.
  3. [9.2 / Theorem 9.8] The proof that projective objects are injective asserts that the projection S(n_+⊕n_-)→S^{2mn}(n_+⊕n_-)=1 induces a nondegenerate pairing making Dist(G) a Frobenius extension of Dist(T). This nondegeneracy is not automatic in a symmetric tensor category in positive characteristic, and the statement is used to conclude that P(λ)≃I(λ) and hence that P(λ) has irreducible socle in Corollary 9.11. That socle statement is in turn used in the proof of Theorem 9.47. A proof of the nondegeneracy of the pairing, or a precise reference to a categorical Frobenius-extension lemma, should be supplied.
minor comments (5)
  1. [Definition 9.24] The displayed formulas 'a_i := µ_i + i − 1' and 'b_j := m − (ν_j − 1)' are inconsistent with Section 9.6 and with Example 9.26; they should read a_i = µ_i − i + 1 and b_j = −m − ν_j + j (mod p). Since these formulas define the weight diagrams used in Theorems 9.46 and 9.47, the correction is important even though the intended convention is recoverable.
  2. [Example 9.51] The last coordinate of the displayed vector λ should be −18, not 18, to agree with Example 9.49.
  3. [Section 9.2] In the definition of the poset Λ, the condition 'ν_1 ≥ ... ≥ ν_m' should be 'ν_1 ≥ ... ≥ ν_n', since ν has n coordinates.
  4. [Theorem 9.30] The local rules for the action of F_i and E_i on weight diagrams are stated without proof; since all subsequent diagram computations rely on them, a short derivation from Theorem 9.21 would improve the exposition.
  5. [References] The reference [CPS88] lacks full publication data; please provide the complete bibliographic information.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation chain is self-contained, and the one asserted transfer step (Shapovalov scalars) is a gap, not a circular reduction.

full rationale

The paper's main derivation is: classify simple GL(X)-modules using Venkatesh's external classification; build the highest weight structure on Rep_{Ver_p}(GL(L_m|L_n)); prove a categorical sl_p-action via translation functors; convert this action into circular weight diagrams; compute standard filtration multiplicities [P(λ):K(α)] as cap-diagram combinatorics; then read off lowest weights as \hatλ - β. None of these steps is defined in terms of its conclusion. The multiplicity formula is not fitted: P(λ) is constructed from a typical Kac module by translation functors, and the multiplicities are computed inductively from the action of translation functors on Kac modules (Theorem 9.33), which is itself a consequence of the proved categorical sl_p-action (Theorem 9.21). The final lowest-weight formula is a corollary of Corollary 9.11 and the cap-diagram computation, not an input to them. There are no self-citations by the author, and no external uniqueness theorem is imported from the author's own prior work. The most delicate step is the assertion in Section 9.3.3 that Sh(µ|ν)=Sh(λ) under semisimplification; this is an unproved transfer statement from the classical supergroup case, and it is load-bearing for Theorem 9.35 and hence for the induction in Theorem 9.46. However, an unproved or even false transfer is a correctness gap, not a circularity: the paper does not define the Ver_p Shapovalov scalar in terms of the classical one, nor does it derive the equality from the multiplicity or lowest-weight results. Therefore the paper exhibits no self-definitional step, no fitted input renamed as a prediction, and no load-bearing self-citation chain. Score 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim rests on a substantial body of prior results, chiefly Venkatesh's classification of simples and integrability criterion ([Ven24]), the Harish-Chandra pair equivalence ([Ven23]), Deligne's reconstruction theorem, and the classical Kac/Brundan-Kujawa irreducibility tools for GL(m|n). All are cited and not re-proved except Theorem 5.5. No free parameters are fitted; p is an input variable. No new entities are postulated; the circular weight diagrams and cap diagrams are bookkeeping devices, not new algebraic structures.

assumptions (6)
  • domain assumption The base field k is algebraically closed of characteristic p > 2.
    Ver_p is defined only for p > 0, and the paper explicitly excludes p = 2 in Section 2.1 and after Corollary 3.3; the identification of L_{p-1} with the odd super vector space requires p > 2.
  • standard math Harish-Chandra pair equivalence GpSch(Ver_p)_ft is equivalent to HC(Ver_p) (Theorem 3.11, from [Ven23]).
    Used throughout to define GL(X), Borel subgroups B(X), and to move between group schemes and Lie algebra data; also used to describe Dist(G) via triangular decomposition in Theorem 3.24.
  • standard math Venkatesh's classification and integrability theorems for simple GL(X)-modules ([Ven24], Theorems 7.4, 7.5, 7.7, 7.9).
    The labeling of simple modules L(λ), the uniqueness of the simple quotient of the Verma module, and the criterion that the Dist(GL(X)) action integrates iff λ is dominant are imported from [Ven24]; only Theorem 5.5 is reproved in this paper.
  • standard math Deligne's reconstruction theorem for symmetric tensor categories (Theorem 2.10, from [Del90]).
    Used to identify Rep_{Ver_p}(GL(L_n)) with Ver_p(GL_n) in Theorem 5.5 and to justify the categorical point of view adopted throughout.
  • standard math Kac's irreducibility criterion for GL(m|n) Kac modules (Theorem 9.13, from [Kac06]) and Serganova's algorithm ([BK03], Lemma 9.15).
    These are the classical inputs in Section 9.3; the paper adapts them to Ver_p via the Shapovalov form transfer, which is itself the paper's most fragile internal step.
  • standard math Losev's computation of the categorical sl_p action on Rep(GL_n) ([Los12]) and the loop module identifications for Ver_p(GL_n).
    Example 6.6 is taken from [Los12], and Theorem 6.7 uses analogous arguments; the paper also relies on the decomposition Ver_p(GLn) = D tensor Ver_p(PGL_n) from [CEOK23].

how reviews work

0 comments
Cite this review

Pith. "Pith review of The highest weight theory for Representations of General Linear groups in the Verlinde categories in positive characteristic." pith.science (2026). https://pith.science/paper/UXZW56I5

@misc{pith2026250115778,
  author       = {Pith},
  title        = {Pith review of: The highest weight theory for Representations of General Linear groups in the Verlinde categories in positive characteristic},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UXZW56I5}},
  note         = {Machine review of arXiv:2501.15778}
}
abstract

Following the work of Venkatesh (arXiv:2203.03158), we study further the categories of representations of the general linear groups $GL(X)$ in the Verlinde category $Ver_p$ in characteristic $p$. The main question we answer is how to translate between highest weight labelings for different choices of the Borel subgroup $B(X)\subset GL(X)$. We do this by reducing the general case to the study of representations of the group $GL(X)$ for $X=L_m\oplus L_{n}$ using the method of odd reflections. On the category of representations of $GL(L_m\oplus L_{n})$ we introduce the structure of the highest weight category, as well as the categorical action of $\widehat{\mathfrak{sl}}_p$ through translation functors. It allows us to understand projective and injective objects, BGG reciprocity, duality and lowest weights for simple modules, and standard filtration multiplicities for projective objects.

Figures

Figures reproduced from arXiv: 2501.15778 by the authors.

Figure 2
Figure 2. 0 10 9 8 7 6 5 4 3 2 1 t −3 1 t 2 2 f 7→ f (6) >× 0 10 9 8 7 6 5 4 3 2 1 t −3 1 t 2 2 Remark 9.29. Recall that > (resp. <) denotes the clockwise (resp. counterclockwise) facing arrow. Thus, in our notation, (xy) depicts the view on vertices i and i + 1 in f (i) xy from the center of the circle. Identifying λ = (µ|ν) with the vector vµ ⊗ v ∗ ν in slbp-module (ΛmU) loop ⊗ (ΛnU ∗ ) loop, we get the action of operators … view at source ↗
Figure 3
Figure 3. Permutation applied to a weight diagram 0 10 9 8 7 6 5 4 3 2 1 t −3 1 t 2 2 t1t −1 2 · (0 4 6)(3 9) 0 10 9 8 7 6 5 4 3 2 1 t −2 1 t2 For any × or ◦ in a weight diagram there exists a translation functor that swaps it with its clockwise neighbor < or >. If the swap happens between vertices p − 1 and 0 then some factor of the form t a 1 t b 2 is gained. That is, if fλ = (fλ) (k) xy with x ∈ {×, ◦}, y ∈ {>, <} then the… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 21 canonical work pages

  1. [1]

    New incompressible symmetric tensor categories in positive characteristic

    Dave Benson, Pavel Etingof, and Victor Ostrik. New incompressible symmetric tensor categories in positive characteristic. Duke Mathematical Journal , 172(1):105--200, 2023. http://arxiv.org/abs/2003.10499 arXiv:2003.10499

    arXiv 2023

  2. [2]

    A new proof of the M ullineux conjecture

    Jonathan Brundan and Jonathan Kujawa. A new proof of the M ullineux conjecture. Journal of Algebraic Combinatorics , 18(1):13–39, 2003. https://doi.org/10.1023/a:1025113308552 doi:10.1023/a:1025113308552

    work page doi:10.1023/a:1025113308552 2003

  3. [3]

    Tensor product categorifications and the super K azhdan-- L usztig conjecture

    Jonathan Brundan, Ivan Losev, and Ben Webster. Tensor product categorifications and the super K azhdan-- L usztig conjecture. International Mathematics Research Notices , 2017(20):6329--6410, 2017

    work page 2017

  4. [4]

    Kazhdan- L usztig polynomials and character formulae for the L ie superalgebra (m|n)

    Jonathan Brundan. Kazhdan- L usztig polynomials and character formulae for the L ie superalgebra (m|n) . Journal of the American Mathematical Society , 16(1):185--231, 2003

    work page 2003

  5. [5]

    Highest weight categories arising from Khovanov's diagram algebra I: cellularity

    Jonathan Brundan and Catharina Stroppel. Highest weight categories arising from K hovanov's diagram algebra I : cellularity. 2008. http://arxiv.org/abs/0806.1532 arXiv:0806.1532

    work page Pith review arXiv 2008

  6. [6]

    Highest weight categories arising from K hovanov's diagram algebra IV : the general linear supergroup

    Jonathan Brundan and Catharina Stroppel. Highest weight categories arising from K hovanov's diagram algebra IV : the general linear supergroup. Journal of the European Mathematical Society , 14(2):373--419, 2012

    work page 2012

  7. [7]

    On F robenius exact symmetric tensor categories

    Kevin Coulembier, Pavel Etingof, Victor Ostrik, and Alexander Kleshchev. On F robenius exact symmetric tensor categories. Annals of Mathematics , 197(3):1235--1279, 2023

    work page 2023

  8. [8]

    Cline, B

    E. Cline, B. Parshall, and L. Scott. Finite dimensional algebras and highest weight categories. 1988

    work page 1988

Show all 22 references
  1. [9]

    Cat \'e gories tannakiennes

    Pierre Deligne. Cat \'e gories tannakiennes. The Grothendieck Festschrift vol II. Progress in Mathematics , pages 111--195, 1990

    1990

  2. [10]

    Cat \'e gories tensorielles

    Pierre Deligne. Cat \'e gories tensorielles. Mosc. Math. J , 2(2):227--248, 2002

    2002

  3. [11]

    Tensor categories , volume 205

    Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. Tensor categories , volume 205. American Mathematical Soc., 2015

    2015

  4. [13]

    Koszul duality and the PBW theorem in symmetric tensor categories in positive characteristic

    Pavel Etingof. Koszul duality and the PBW theorem in symmetric tensor categories in positive characteristic. Advances in Mathematics , 327:128--160, 2018

    2018

  5. [14]

    Fusion rings for modular representations of C hevalley groups

    Galin Georgiev and Olivier Mathieu. Fusion rings for modular representations of C hevalley groups. Contemporary Mathematics , 175:89--89, 1994

    1994

  6. [15]

    Bernstein- G el'fand- G el'fand reciprocity and indecomposable projective modules for classical algebraic supergroups

    Caroline Gruson and Vera Serganova. Bernstein- G el'fand- G el'fand reciprocity and indecomposable projective modules for classical algebraic supergroups. 2011. http://arxiv.org/abs/1111.6959 arXiv:1111.6959

    2011 arXiv

  7. [16]

    Representations of classical L ie superalgebras

    Victor Kac. Representations of classical L ie superalgebras. In Differential Geometrical Methods in Mathematical Physics II: Proceedings, University of Bonn, July 13--16, 1977 , pages 597--626. Springer, 2006

    1977

  8. [17]

    Representations of general linear groups and categorical actions of K ac- M oody algebras

    Ivan Losev. Representations of general linear groups and categorical actions of K ac- M oody algebras. 2012. http://arxiv.org/abs/1209.1067 arXiv:1209.1067

    2012 arXiv

  9. [18]

    On symmetric fusion categories in positive characteristic

    Victor Ostrik. On symmetric fusion categories in positive characteristic. Selecta Mathematica , 26:1--19, 2020. http://arxiv.org/abs/1503.01492 arXiv:1503.01492

    2020 arXiv

  10. [19]

    Quasireductive supergroups

    Vera Serganova. Quasireductive supergroups. New developments in Lie theory and its applications , 544:141--159, 2011

    2011

  11. [20]

    Algebraic geometry and representation theory in the Verlinde category

    Siddharth Siddharth Narayan Venkatesh. Algebraic geometry and representation theory in the Verlinde category . PhD thesis, Massachusetts Institute of Technology, 2019

    2019

  12. [21]

    Harish- C handra pairs in the V erlinde category in positive characteristic

    Siddharth Venkatesh. Harish- C handra pairs in the V erlinde category in positive characteristic. International Mathematics Research Notices , 2023(18):15475--15536, 2023. http://arxiv.org/abs/1909.11240 arXiv:1909.11240

    2023 arXiv

  13. [22]

    Representations of general linear groups in the V erlinde category

    Siddharth Venkatesh. Representations of general linear groups in the V erlinde category. Transformation Groups , 29(2):873--891, 2024. http://arxiv.org/abs/2203.03158 arXiv:2203.03158

    2024 arXiv

  14. [23]

    Categories of finite dimensional weight modules over type I classical L ie superalgebras

    Yi Ming Zou. Categories of finite dimensional weight modules over type I classical L ie superalgebras. Journal of Algebra , 180(2):459--482, 1996

    1996

Pith tools

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