pith. sign in

arxiv: 2606.11790 · v1 · pith:LCTR3QM7new · submitted 2026-06-10 · 🧮 math.RT · math.CO

A new proof for the partition algorithm of the annihilator varieties of highest weight modules

Zhanqiang Bai , Jing Jiang , Yongzhi Luan This is my paper

Pith reviewed 2026-06-27 07:58 UTC · model grok-4.3

classification 🧮 math.RT math.CO
keywords annihilator varietyhighest weight modulepartition algorithmSommers dualitynilpotent orbitclassical Lie algebraassociated variety
0
0 comments X

The pith

Sommers duality supplies a direct proof of Bai--Ma--Wang's partition algorithm for annihilator varieties of highest weight modules.

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

The paper proves that the partition algorithm correctly identifies the nilpotent orbit whose Zariski closure equals the associated variety of the annihilator of a simple highest weight module L(λ) over a classical Lie algebra. Joseph had established that these varieties are always nilpotent orbit closures; Bai--Ma--Wang gave an explicit partition rule to find the orbit from the highest weight. The new argument uses Sommers duality to derive the rule directly, avoiding extra assumptions or case-by-case checks beyond those already known for classical types. A reader would care because the algorithm then becomes a uniform, computable description of these geometric invariants attached to representations.

Core claim

We present a new direct proof of Bai--Ma--Wang's partition algorithm using Sommers duality. This establishes that the algorithm produces the correct nilpotent orbit for the annihilator variety of L(λ) without additional verification steps.

What carries the argument

Sommers duality, which translates the data of the highest weight directly into the partition that labels the corresponding nilpotent orbit.

If this is right

  • The partition algorithm is valid for every classical Lie algebra.
  • The associated variety of any such annihilator is exactly the closure of the orbit named by the algorithm.
  • No separate case analysis is required once Sommers duality is granted.
  • The description of these varieties becomes uniform across types.

Where Pith is reading between the lines

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

  • The same duality might be tested on exceptional Lie algebras if an analogue of the partition algorithm is formulated there.
  • One could write a computer program that computes the partition from a weight and then checks it against known tables of nilpotent orbits.

Load-bearing premise

Sommers duality applies to the highest weight modules in question and fully determines the partition that labels the orbit.

What would settle it

An explicit highest weight λ for which the orbit obtained from the partition algorithm differs from the orbit obtained by applying Sommers duality would show the proof does not hold.

read the original abstract

Let $L(\lambda)$ be a simple highest weight module of a classical Lie algebra $\mathfrak{g}$ with highest weight $\lambda-\rho$, where $\rho$ is half the sum of positive roots. Joseph proved that the associated variety of the annihilator ideal of $L(\lambda)$ (also called the annihilator variety) is the Zariski closure of a nilpotent orbit in $\mathfrak{g}^*$. Recently, Bai--Ma--Wang introduced a partition algorithm to describe this corresponding nilpotent orbit for a given highest weight module $L(\lambda)$. In this paper, we present a new direct proof of Bai--Ma--Wang's partition algorithm using Sommers duality.

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

0 major / 2 minor

Summary. The manuscript claims to furnish a new direct proof of the partition algorithm of Bai--Ma--Wang that associates to each simple highest weight module L(λ) over a classical Lie algebra g the nilpotent orbit whose closure is the annihilator variety of its annihilator ideal; the argument proceeds by invoking Sommers duality.

Significance. If correct, the work supplies an alternative, direct route to the same combinatorial output previously obtained by Bai--Ma--Wang, thereby confirming the algorithm via an independent logical path that rests on an established duality. This strengthens in the partition rule for classical types and may streamline explicit computations of associated varieties.

minor comments (2)
  1. The abstract states that the proof applies to classical Lie algebras but does not indicate whether the argument treats all root-system types uniformly or requires separate handling for type A; a single clarifying sentence would remove ambiguity.
  2. Notation for the highest weight λ−ρ and the half-sum ρ is introduced without an explicit reminder of the standard normalization used in Sommers duality; adding a short parenthetical reference to the relevant prior paper would aid readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and the recommendation to accept the manuscript. The assessment correctly identifies that the work supplies an independent verification of the Bai--Ma--Wang partition algorithm via Sommers duality.

Circularity Check

0 steps flagged

No significant circularity; new proof relies on external Sommers duality for independently stated algorithm

full rationale

The paper states a new direct proof of the Bai--Ma--Wang partition algorithm via Sommers duality. The abstract and provided context show the algorithm as an independently stated result from prior literature, with the current work supplying a proof rather than deriving the algorithm from its own outputs. Sommers duality is invoked from external sources without indication of self-citation load-bearing the central claim or any self-definitional reduction. No fitted parameters, ansatzes smuggled via citation, or renaming of known results appear in the derivation chain. The structure is self-contained against the external benchmark of Sommers duality.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract only; no explicit free parameters, ad-hoc axioms, or invented entities are stated. The work rests on standard facts from representation theory and on Sommers duality.

axioms (2)
  • standard math Joseph's theorem that the annihilator variety of L(λ) is the closure of a nilpotent orbit.
    Invoked in the abstract as background.
  • domain assumption Sommers duality is a well-defined symmetry on nilpotent orbits that can be used to prove the partition algorithm.
    Central tool cited for the new proof.

pith-pipeline@v0.9.1-grok · 5642 in / 1147 out tokens · 17410 ms · 2026-06-27T07:58:15.329153+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

31 extracted references · 4 canonical work pages · 1 internal anchor

  1. [1]

    P. Achar. An order-reversing duality map for conjugacy classes in Lusztig’s canonical quotient.Transform. Groups, 8(2):107–145, 2003. 8, 13, 14

    2003

  2. [2]

    Z. Bai, F. Gao, Y. Wang, and X. Xie. Gelfand-Kirillov dimensions and annihilator varieties of highest weight modules of exceptional type lie algebras.arXiv:2509.24346v1, 2025. 2, 8

    work page arXiv 2025

  3. [3]

    Bai, J.-J

    Z. Bai, J.-J. Ma, and Y. Wang. On the annihilator variety of a highest weight module for classical Lie algebras.J. Lond. Math. Soc. (2), 112(2):Paper No. e70256, 54, 2025. 2, 3, 6, 7, 9, 10

    2025

  4. [4]

    Z. Bai, W. Xiao, and X. Xie. Gelfand-Kirillov dimensions and associated varieties of highest weight modules.Int. Math. Res. Not. IMRN, pages 8101–8142, 2023. 2, 6, 9

    2023

  5. [5]

    Bai and X

    Z. Bai and X. Xie. Gelfand-Kirillov dimensions of highest weight Harish-Chandra modules forSU(p, q).Int. Math. Res. Not. IMRN, pages 4392–4418, 2019. 2, 5

    2019

  6. [6]

    Barbasch, J.-J

    D. Barbasch, J.-J. Ma, B. Sun, and C.-B. Zhu. On the notion of metaplectic barbasch-vogan duality.Int. Math. Res. Not. IMRN, (20):17822–17852, 2023. 2

    2023

  7. [7]

    Barbasch, J.-J

    D. Barbasch, J.-J. Ma, B. Sun, and C.-B. Zhu. Special unipotent representations of real classical groups: construction and unitarity.arXiv:1712.05552v5,, 2023. 2

    work page arXiv 2023

  8. [8]

    Barbasch and D

    D. Barbasch and D. A. Vogan. Primitive ideals and orbital integrals in complex classical groups.Math. Ann., 259(2):153–199, 1982. 1

    1982

  9. [9]

    Borho and J.-L

    W. Borho and J.-L. Brylinski. Differential operators on homogeneous spaces. I. Irreducibility of the associated variety for annihilators of induced modules.Invent. Math., 69(3):437–476, 1982. 1, 2, 4, 5

    1982

  10. [10]

    R. W. Carter.Finite groups of Lie type. Pure and Applied Mathematics (New York). John Wiley & Sons, Inc., New York, 1985. Conjugacy classes and complex characters, A Wiley-Interscience Publication. 7

    1985

  11. [11]

    D. H. Collingwood and W. M. McGovern.Nilpotent orbits in semisimple Lie algebras. Van Nostrand Reinhold Math- ematics Series. Van Nostrand Reinhold Co., New York, 1993. 5, 6, 18

    1993

  12. [12]

    M. Duflo. Sur la classification des id´ eaux primitifs dans l’alg` ebre enveloppante d’une alg` ebre de Lie semi-simple.Ann. of Math. (2), 105(1):107–120, 1977. 1

    1977

  13. [13]

    Gao and W.-Y

    F. Gao and W.-Y. Tsai. On the wavefront sets associated with theta representations.Math. Z., 301(1):1–40, 2022. 2

    2022

  14. [14]

    Garfinkle

    D. Garfinkle. On the classification of primitive ideals for complex classical Lie algebras. III.Compositio Math., 88(2):187–234, 1993. 2

    1993

  15. [15]

    Gourevitch and S

    D. Gourevitch and S. Sahi. Annihilator varieties, adduced representations, Whittaker functionals, and rank for unitary representations of GL(n).Selecta Math. (N.S.), 19(1):141–172, 2013. 2

    2013

  16. [16]

    Gourevitch, E

    D. Gourevitch, E. Sayag, and I. Karshon. Annihilator varieties of distinguished modules of reductive Lie algebras. Forum Math. Sigma, 9:Paper No. e52, 30, 2021. 2, 4

    2021

  17. [17]

    J. E. Humphreys.Representations of semisimple Lie algebras in the BGG categoryO, volume 94 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2008. 3

    2008

  18. [18]

    A. Joseph. Gelfand-Kirillov dimension for the annihilators of simple quotients of Verma modules.J. London Math. Soc. (2), 18(1):50–60, 1978. 2

    1978

  19. [19]

    Joseph.W-module structure in the primitive spectrum of the enveloping algebra of a semisimple Lie algebra

    A. Joseph.W-module structure in the primitive spectrum of the enveloping algebra of a semisimple Lie algebra. In Noncommutative harmonic analysis (Proc. Third Colloq., Marseille-Luminy, 1978), volume 728 ofLecture Notes in Math., pages 116–135. Springer, Berlin, 1979. 4

    1978

  20. [20]

    A. Joseph. Towards the Jantzen conjecture. II.Compositio Math., 40(1):69–78, 1980. 2

    1980

  21. [21]

    A. Joseph. On the associated variety of a primitive ideal.J. Algebra, 93(2):509–523, 1985. 1, 2, 5

    1985

  22. [22]

    Kazhdan and G

    D. Kazhdan and G. Lusztig. Representations of Coxeter groups and Hecke algebras.Invent. Math., 53(2):165–184,

  23. [23]

    4 ANNIHILATOR VARIETY 21

  24. [24]

    Losev and S

    I. Losev and S. Yu. On harish-chandra modules over quantizations of nilpotent orbits.arXiv:2309.11191,, 2023. 2

    work page arXiv 2023

  25. [25]

    W. M. McGovern and Pietraho T. On the classification of primitive ideals for complex classical lie algebras, iv.arxiv: 2309.02363, 2023. 2

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  26. [26]

    Nishiyama, H

    K. Nishiyama, H. Ochiai, and K. Taniguchi. Bernstein degree and associated cycles of Harish-Chandra modules— Hermitian symmetric case. Number 273, pages 13–80. 2001. Nilpotent orbits, associated cycles and Whittaker models for highest weight representations. 4

    2001

  27. [27]

    G. de B. Robinson. On the Representations of the Symmetric Group.Amer. J. Math., 60(3):745–760, 1938. 5

    1938

  28. [28]

    Schensted

    C. Schensted. Longest increasing and decreasing subsequences.Canadian J. Math., 13:179–191, 1961. 5

    1961

  29. [29]

    E. Sommers. Lusztig’s canonical quotient and generalized duality.J. Algebra, 243(2):790–812, 2001. 2, 7, 8, 10

    2001

  30. [30]

    Tanisaki

    T. Tanisaki. Characteristic varieties of highest weight modules and primitive quotients. InRepresentations of Lie groups, Kyoto, Hiroshima, 1986, volume 14 ofAdv. Stud. Pure Math., pages 1–30. Academic Press, Boston, MA,

    1986

  31. [31]

    D. A. Vogan, Jr. Ordering of the primitive spectrum of a semisimple Lie algebra.Math. Ann., 248(3):195–203, 1980. 4 (Bai)School of Mathematical Sciences, Soochow University, Suzhou 215006, China Email address:zqbai@suda.edu.cn (Jiang)School of Mathematical Sciences, East China Normal University, Shanghai 200241, China Email address:jjsd6514@163.com (Luan)...

    1980