arxiv: 2604.20566 · v1 · submitted 2026-04-22 · 🧮 math.RT

Recognition: unknown

Unitary highest weight modules for mathfrak{su}(p, q) and mathfrak{so}^{*}(2n) with fixed integral infinitesimal character

Ana Prli\'c, Pavle Pand\v{z}i\'c, V\'it Tu\v{c}ek, Vladim\'ir Sou\v{c}ek

Pith reviewed 2026-05-09 22:48 UTC · model grok-4.3

classification 🧮 math.RT

keywords unitary highest weight modulesinfinitesimal characterHasse diagramssu(p,q)so*(2n)Hermitian Lie algebrasWeyl group orbitsrepresentation theory

0 comments

The pith

The paper classifies all unitary highest weight modules with a fixed integral infinitesimal character for the Lie algebras su(p,q) and so*(2n), including both regular and singular cases.

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

The authors classify unitary highest weight modules that share one fixed integral infinitesimal character for su(p,q) and so*(2n). They handle the regular case where the character is dominant regular and the singular case where it is not. For su(p,q) they locate the unitarizable modules inside the Hasse diagram of the highest weight orbit under the Weyl group action. A reader would care because the result gives an explicit list of which highest weight modules remain unitary once the infinitesimal character is fixed, completing a pattern already known for other Hermitian symmetric Lie algebras. The work relies on the standard parametrization of highest weight modules together with known unitarity criteria for the Hermitian case.

Core claim

We classify unitary highest weight modules with a given integral infinitesimal character for the real Lie algebras su(p,q) and so*(2n). We treat both regular and singular cases. For su(p,q) we identify the unitarizable modules in the Hasse diagrams of the highest weight orbit. Analogous results for the other Hermitian Lie algebras were given in our earlier publications.

What carries the argument

Hasse diagrams of the highest weight orbits under the Weyl group action, used to isolate the unitarizable modules once the integral infinitesimal character is fixed.

If this is right

All unitary highest weight modules with the given integral infinitesimal character are now listed explicitly for both su(p,q) and so*(2n).
The regular and singular cases receive uniform treatment within the same combinatorial framework.
The unitarizable modules for su(p,q) appear as specific nodes inside the Hasse diagram of each highest weight orbit.
The classification completes the pattern already obtained for the remaining Hermitian Lie algebras.

Where Pith is reading between the lines

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

The same Hasse-diagram technique may extend to other real groups once their unitarity criteria become available.
The explicit lists could be used to compute characters or branching rules for these unitary representations.
The distinction between regular and singular cases suggests a uniform algorithm that might apply to non-integral characters as well.

Load-bearing premise

The classification rests on the standard parametrization of highest weight modules by their infinitesimal characters, the known combinatorial structure of the Hasse diagrams, and the usual unitarity criteria that apply in the Hermitian setting.

What would settle it

Exhibit a concrete highest weight module with the fixed integral infinitesimal character that is unitary yet missing from the listed set, or show that one of the listed modules fails to be unitary.

read the original abstract

We classify unitary highest weight modules with a given integral infinitesimal character for the real Lie algebras $\mathfrak{su}(p,q)$ and $\mathfrak{so}^*(2n)$. We treat both regular and singular cases. For $\mathfrak{su}(p,q)$ we identify the unitarizable modules in the Hasse diagrams of the highest weight orbit. Analogous results for the other Hermitian Lie algebras were given in our earlier publications.

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.

Desk Editor's Note private letter to a colleague

This paper finishes the unitary highest weight classification for su(p,q) and so*(2n) with integral infinitesimal characters using the authors' established Hasse-diagram method.

read the letter

This paper completes the classification of unitary highest weight modules with fixed integral infinitesimal character for su(p,q) and so*(2n). It identifies the unitarizable ones in the Hasse diagrams of the highest weight orbits, covering both regular and singular cases, and wraps up the series the same authors did for the other classical Hermitian Lie algebras. The result is new for these two algebras and not just a restatement of prior work. They apply the standard parametrization by infinitesimal characters, the known poset structure of the Weyl group orbits, and the usual positivity criteria for unitarity in the Hermitian setting. The approach stays consistent with their earlier papers and shows no circularity. The singular cases get explicit treatment rather than being glossed over, which is a clear plus. The main soft spot is that the abstract alone does not let you verify the completeness of the diagrams or lists in the singular integral characters, so a referee would need to check those details against the full proofs. Nothing in the setup looks inconsistent or load-bearing, and the stress-test flags no hidden assumptions. This is for specialists in real representation theory who need the organized unitary dual for these groups, especially for follow-up work in harmonic analysis or automorphic forms. A reader who already knows the Hasse-diagram technique will get the most value quickly. It deserves a serious referee because it is a clean, grounded consolidation step with clear statements and no obvious gaps in the method.

Referee Report

0 major / 2 minor

Summary. The manuscript classifies unitary highest weight modules with a fixed integral infinitesimal character for the real Lie algebras su(p,q) and so*(2n). It treats both the regular and singular cases. For su(p,q) the unitarizable modules are identified inside the Hasse diagrams of the highest-weight orbits under the Weyl-group action. The work extends the authors' earlier classifications for the remaining Hermitian symmetric Lie algebras.

Significance. If correct, the classification completes the picture for the two remaining classical Hermitian symmetric pairs with integral infinitesimal character. The explicit location of the unitary modules inside the Hasse diagrams supplies a concrete, usable criterion that can be checked by hand or by computer for low-rank cases and may serve as a template for further work on non-Hermitian groups.

minor comments (2)

The notation for the positive root systems and the parametrization of the integral infinitesimal characters is introduced only briefly; a short table listing the simple roots and the corresponding coroots for each algebra would improve readability.
In the singular-case sections the authors invoke the same unitarity criterion as in the regular case without restating the precise positivity condition on the parameters; a one-sentence reminder would prevent the reader from having to consult the earlier papers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript, including the accurate summary of the classification results for unitary highest weight modules with fixed integral infinitesimal character. The recommendation for minor revision is noted. No specific major comments were listed in the report.

Circularity Check

1 steps flagged

Minor self-citation for analogous cases on other algebras; core classification uses independent standard tools

specific steps

self citation load bearing [Abstract]
"Analogous results for the other Hermitian Lie algebras were given in our earlier publications."

This is a self-citation to the authors' prior work on similar but distinct algebras. It is not load-bearing for the current classification, which proceeds from standard external tools without relying on the cited results to establish the present claims.

full rationale

The derivation applies the standard parametrization of highest weight modules by infinitesimal characters, the known poset structure of Weyl group orbits and Hasse diagrams, and established unitarity criteria for Hermitian symmetric spaces. These are external to the paper. The only self-reference is to prior publications for results on other Hermitian Lie algebras, which is not invoked to justify or derive the classification for su(p,q) and so*(2n). No predictions reduce to fitted inputs, no self-definitional loops, and no uniqueness theorems imported from the authors' own prior work as load-bearing premises. The paper is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the established theory of highest weight modules and unitarity criteria for Hermitian Lie algebras; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (2)

domain assumption Standard parametrization of highest weight modules by integral infinitesimal characters and the structure of their Weyl-group orbits as Hasse diagrams
Invoked throughout the classification statement and the identification of unitarizable modules.
domain assumption Known unitarity criteria for highest weight modules of Hermitian Lie algebras
Used to decide which modules in the diagrams are unitary.

pith-pipeline@v0.9.0 · 5399 in / 1402 out tokens · 41934 ms · 2026-05-09T22:48:22.257262+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

30 extracted references · 2 canonical work pages

[1]

Adams, Unitary highest weight modules , Adv

J. Adams, Unitary highest weight modules , Adv. Math. 63 (1987), 113--137

1987
[2]

I. N. Bernstein, I. M. Gelfand, S. I. Gelfand, Differential operators on the base affine space and a study of -modules , in Lie Groups and their Representations (ed. I.M. Gelfand), Adam Hilger, 1975, 21--64

1975
[3]

Davidson, T

M. Davidson, T. Enright, R. Stanke: Differential operators and highest weight representations , Memoirs of AMS, 455 , 1991

1991
[4]

Enright, Analogues of Kostant's -cohomology formulas for unitary highest weight modules , J

T. Enright, Analogues of Kostant's -cohomology formulas for unitary highest weight modules , J. Reine. Angew. Math. 392 (1988), 27--36

1988
[5]

Enright, R

T. Enright, R. Howe, N. Wallach, A classification of unitary highest weight modules , in Representation theory of reductive groups, Park City, Utah, 1982 , Birkh\"auser, Boston, 1983, 97--143

1982
[6]

Enright, A

T. Enright, A. Joseph, An intrinsic analysis of unitarizable highest weight modules , Math. Ann. 288 (1990), no. 4, 571--594

1990
[7]

T. J. Enright, B. Shelton, Categories of highest weight modules: applications to classical Hermitian symmetric pairs , Mem. Amer. Math. Soc. 67 (1987), no. 367, iv+94

1987
[8]

Enright and J

T. Enright and J. Willenbring, Hilbert series, Howe duality and branching rules for classical groups , Annals of Math. 159 (2004), no.1, 337--375

2004
[9]

Harish-Chandra, Representations of semisimple Lie groups, IV , Amer. J. Math., 77 (1955), 743–777

1955
[10]

Harish-Chandra, Representations of semisimple Lie groups, V , Amer. J. Math., 78 (1956), 1–41

1956
[11]

Howe, Remarks on classical invariant theory , Trans

R. Howe, Remarks on classical invariant theory , Trans. Amer. Math. Soc. 313 (1989), no.2, 539--570

1989
[12]

Howe, Perspectives on invariant theory: Schur duality, multiplicity-free actions and beyond , The Schur lectures (1992), Israel Math

R. Howe, Perspectives on invariant theory: Schur duality, multiplicity-free actions and beyond , The Schur lectures (1992), Israel Math. Conf. Proc., Bar-Ilan Univ., Ramat Gan, 1995, 1--182

1992
[13]

Howe, Transcending classical invariant theory, J

R. Howe, Transcending classical invariant theory, J. Amer. Math. Soc. 2 (1989), no.3, 535--552

1989
[14]

Huang, P

J.-S. Huang, P. Pand zi\'c, Dirac cohomology, unitary representations and a proof of a conjecture of Vogan , J. Amer. Math. Soc. 15 (2002), 185--202

2002
[15]

Huang, P

J.-S. Huang, P. Pand zi\'c, Dirac Operators in Representation Theory , Mathematics: Theory and Applications, Birkhäuser, 2006

2006
[16]

Huang, P

J.-S. Huang, P. Pand zi\'c, V. Protsak, Dirac cohomology of Wallach representations , Pacific J. Math. 250 (2011), no. 1, 163--190

2011
[17]

Huang, P

J.-S. Huang, P. Pand zi\'c, F. Zhu, Dirac cohomology, K-characters and branching laws , Amer. J. Math. 135 (2013), no.5, 1253--1269

2013
[18]

Jakobsen, Hermitian symmetric spaces and their unitary highest weight modules, J

H.P. Jakobsen, Hermitian symmetric spaces and their unitary highest weight modules, J. Funct. Anal. 52 (1983), 385--412

1983
[19]

Kashiwara, M

M. Kashiwara, M. Vergne, On the Segal-Shale-Weil representations and harmonic polynomials , Invent. Math. 44 (1978), no. 1, 1--47

1978
[20]

Nishiyama, H

K. Nishiyama, H. Ochiai, K. Taniguchi, Bernstein degree and associated cycles of Harish-Chandra modules -- Hermitian symmetric case. Nilpotent orbits, associated cycles and Whittaker models for highest weight representations. Ast\'erisque 273 (2001), 13--80

2001
[21]

Pandžić, A

P. Pandžić, A. Prlić, G. Savin, V. Souček, V. Tuček, On the classification of unitary highest weight modules in the exceptional cases and the cases (2, n) , preprint, arXiv:2412.06317 (2024)

work page arXiv 2024
[22]

Pand zi\'c, A

P. Pand zi\'c, A. Prli\'c, V. Sou cek, V. Tu cek, Dirac inequality for highest weight Harish-Chandra modules I , Math. Inequalities Appl. 26 (1) (2023), 233--265

2023
[23]

Pand zi\'c, A

P. Pand zi\'c, A. Prli\'c, V. Sou cek, V. Tu cek, Dirac inequality for highest weight Harish-Chandra modules II , Math. Inequalities Appl. 26 (3) (2023), 729--760

2023
[24]

Pand zi\'c, A

P. Pand zi\'c, A. Prli\'c, V. Sou cek, V. Tu cek, On the classification of unitary highest weight modules , https://arxiv.org/abs/2305.15892

work page arXiv
[25]

Parthasarathy, Dirac operator and the discrete series , Ann

R. Parthasarathy, Dirac operator and the discrete series , Ann. of Math. 96 (1972), 1--30

1972
[26]

Parthasarathy, Criteria for the unitarizability of some highest weight modules , Proc

R. Parthasarathy, Criteria for the unitarizability of some highest weight modules , Proc. Indian Acad. Sci. 89 (1980), 1--24

1980
[27]

Rossi, M

H. Rossi, M. Vergne, Analytic continuation of the holomorphic discrete series of a semisimple Lie group , Acta Math. 136 (1976), 1--59

1976
[28]

Schmid, Die Randwerte holomorpher Funktionen auf hermitesch symmetrischen R\"aumen , Invent

W. Schmid, Die Randwerte holomorpher Funktionen auf hermitesch symmetrischen R\"aumen , Invent. Math. 9 (1969/1970), 61–-80

1969
[29]

Sahi, Unitary representations on the Shilov boundary of a symmetric tube domain

S. Sahi, Unitary representations on the Shilov boundary of a symmetric tube domain. In: Representation theory of groups and algebras , Contemp. Math., 145, American Mathematical Society, Providence, RI, (1993), 275--286

1993
[30]

Wallach, The analytic continuation of the discrete series

N.R. Wallach, The analytic continuation of the discrete series. I,II, Trans. Amer. Math. Soc. 251 (1979), 1--17, 19--37

1979