Pith. sign in

REVIEW 2 major objections 4 minor 24 references

On $A$-parameters containing unitary lowest weight representations of $\mathrm{U}(p, q)$

T0 review · 2 major / 4 minor · reviewed 2026-08-08 · deepseek-v4-flash

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

Pith's one-line read The paper determines, for every good A-parameter of U(p,q), exactly when its Arthur packet contains a nonzero irreducible unitary lowest weight representation, proves that at most one such representation can occur, and gives explicit…

desk verdict A genuinely new classification of Arthur packets of U(p,q) containing unitary lowest weight representations, with a load-bearing proof gap in the reduction to holomorphic data. read the letter →

arxiv 2502.07300 v1 pith:OOAZD6S5 submitted 2025-02-11 math.RT math.NT

Shuji Horinaga This is my paper · ORCID
classification math.RTmath.NT MSC 22E4622E4711F70
keywords ArthurpacketsA-parametersunitarylowestweightrepresentationscohomologicalinductionK-typenonvanishingofA_q(lambda)segmentsandoverlapinequalitiesU(pq)
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

Arthur's multiplicity formula describes automorphic representations place-by-place through Arthur packets, but deciding which packet contains a given archimedean representation is often hard. This paper solves that problem for the unitary lowest weight representations of the real group U(p,q), including non-scalar cases: it determines, for every good A-parameter $\psi$, whether the packet $\Pi(\psi)$ contains a nonzero irreducible unitary lowest weight representation, and proves that it can contain at most one. The answer is a two-part test on the parameter's segments: the segments before and after the 'middle' segment $\nu_j$ must be multiplicity-free, and the middle segment's overlap with the right-hand segments must not exceed $p_j$ while its overlap with the left-hand segments must not exceed $q_j$. When the test passes, the paper gives explicit formulas for the lowest $K$-type of the unique representation, split into four cases. This matters because it turns the counting of holomorphic lowest weight automorphic forms into a checkable combinatorial condition on the local parameter.

What carries the argument

The load-bearing objects are the segments $\nu_i$ attached to the summands of $\psi$, which together form the Harish-Chandra parameter $\nu$. The reduction that makes the problem tractable is the assertion that a nonzero member $A_d(\psi)$ of the packet can be a unitary lowest weight representation only when the sign partition $d$ is the holomorphic one $d_0$, in which the plus boxes occur before the minus boxes; otherwise the signed tableau of the annihilator would contain a row with three boxes or a row with signs $-,+$, which cannot happen for a lowest weight module. With $d=d_0$, the nonvanishing criterion for the cohomologically induced module $A_{d_0}(\psi)$ is computed by an algorithm that passes through adjacent segments and corrects the associated pair of invariants, an antitableau encoding the annihilator and a signed tableau encoding the asymptotic support; the resulting criterion is exactly the two overlap inequalities and the multiplicity-free condition. The proof of the main theorem, in the only-if direction, compares these computed tableaux with the tableaux of $\pi_\lambda$, while the if direction uses the known realization of $\pi_\lambda$ as a cohomological induction from a holomorphic parabolic subalgebra.

What would settle it

Enumerate two-block sign partitions with $p_1q_1p_2q_2\ne 0$ for a small example such as $\mathrm{U}(3,2)$ and apply the tableau reduction algorithm to every resulting $A_d(\psi)$: if any reduced signed tableau has no row of length at least three and no row with signs $-,+$, then the reduction to $d_0$ fails, and the classification would need revision.

Watch

Extended reading notes

Core claim

The paper's central result is a complete criterion for a good A-parameter $\psi = \bigoplus_{i=1}^r \chi_{t_i}\otimes S_{a_i}$ of $\mathrm{U}(p,q)$ to have a nonzero unitary lowest weight representation in its Arthur packet $\Pi(\psi)$. With $j$ the first index for which $a_1+\cdots+a_j\ge p$, write $\nu_i=[(t_i-a_i+1)/2,(t_i+a_i-1)/2]$, $\nu_{<j}=\bigsqcup_{k<j}\nu_k$, $\nu_{>j}=\bigsqcup_{k>j}\nu_k$, $p_j=p-\sum_{k<j}a_k$, and $q_j=q-\sum_{k>j}a_k$. The packet contains a nonzero unitary lowest weight representation if and only if $\nu_{<j}$ and $\nu_{>j}$ are multiplicity free, $\#(\nu_j\cap\nu_{>j})\le p_j$, and $\#(\nu_j\cap\nu_{<j})\le q_j$; when this holds, the representation is unique. Its lowest $K$-type $\lambda$ is then given explicitly: in the four subcases $q_j=0$, $p_j=\#(\nu_j\cap\nu_{>j})\ne 0$, $q_j=\#(\nu_j\cap\nu_{<j})\ne 0$, and the residual case, Theorem 4.8 describes $P(\lambda)$ and $Q(\lambda)$, or the coordinates $\lambda_i$ through an auxiliary index $i_0$. Theorem 4.7 is the equivalent criterion from the opposite direction: for a fixed lowest weight module $\pi_\lambda$, it states, according to four ranges of $\lambda_p-\lambda_{p+1}$, exactly which A-parameters $\psi$ have $\pi_\lambda\in\Pi(\psi)$. The paper also proves packet-level uniqueness directly: because a lowest weight member forces the sign partition to be the holomorphic one $d_0$, no other member of the same packet is a unitary lowest weight representation.

Load-bearing premise

The reduction to the holomorphic sign partition $d_0$ rests on the combinatorial assertion that any nonzero cohomologically induced module whose sign partition mixes plus and minus boxes in two different blocks has a signed tableau with a row of at least three boxes or a row with signs $-,+$; if that assertion fails, the classification in Theorems 4.7 and 4.8 would need revision.

Editorial extensions

If this is right

  • No Arthur packet of $\mathrm{U}(p,q)$ can contain two distinct irreducible unitary lowest weight representations; the holomorphic member, when present, is unique.
  • The nonvanishing of the holomorphic cohomological induction $A_{d_0}(\psi)$ is settled by two inequalities together with the multiplicity-free conditions, giving a closed-form criterion in the range where the induction is weakly fair.
  • For any fixed unitary lowest weight module $\pi_\lambda$, Theorem 4.7 lists all A-parameters whose packet contains $\pi_\lambda$, organized by the four ranges of $\lambda_p-\lambda_{p+1}$.
  • The explicit lowest $K$-type formula in Theorem 4.8 makes the unique holomorphic member of a packet algorithmically constructible from $\psi$ without computing full $K$-type multiplicities.
  • Combined with Arthur's multiplicity formula at the archimedean place, the criterion gives concrete counting conditions for square-integrable holomorphic automorphic forms of $\mathrm{U}(p,q)$.

Reading between the lines

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

  • The criterion can be read as a packing condition: the left and right tails of the parameter must be distinct (multiplicity free) and the middle segment may borrow from each side only up to the number of plus and minus boxes available; this suggests a purely combinatorial reformulation of A-packet membership for holomorphic representations.
  • Because the proof relies only on the injective parametrization of irreducible representations by annihilator and asymptotic support, the 'at most one lowest weight member' conclusion likely persists for other real reductive groups where that parametrization and signed-tableau models of nilpotent orbits are available.
  • One natural testable extension is to carry out the same overlap-inequality test for other Hermitian symmetric real groups, such as $\mathrm{SO}^*(2n)$ or $\mathrm{Sp}(2n,\mathbb{R})$, whose unitary lowest weight modules are known but whose non-scalar packet membership has not been classified uniformly.
  • The explicit formulas in Theorem 4.8 could be verified computationally for small $p,q$: enumerate good A-parameters satisfying the two inequalities, run the cohomological induction tableau algorithm, and compare the output with the stated lowest $K$-type in each of the four cases.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper studies Arthur packets of the real unitary group G = U(p, q). For a good A-parameter ψ, the packet Π(ψ) is described via Mœglin-Renard as the set of cohomologically induced representations A_d(ψ) indexed by data d = {(p_i, q_i)} with p_i + q_i = a_i. The author determines, in Theorems 4.7 and 4.8, necessary and sufficient conditions for an irreducible unitary lowest weight representation π_λ to lie in Π(ψ), and more generally for Π(ψ) to contain a nonzero unitary lowest weight representation. The main structural claim is Lemma 4.6 (proved as Lemma 5.1): if A_d(ψ) is nonzero and lowest weight, then the parabolic is automatically holomorphic, i.e., d = d_0, so that in particular a packet contains at most one such representation. The proof uses Barbasch-Vogan invariants (annihilator and asymptotic support), Trapa's algorithm for cohomological induction, and nonvanishing criteria due to Huang and Du.

Significance. If the results are correct, they give a complete and explicit answer to a natural question with direct applications to automorphic forms and Shimura varieties; the author mentions the application [HMY25]. The main theorem is concrete and falsifiable: it produces explicit lowest K-type formulas for the unique unitary lowest weight representation in a packet, and it gives clean necessary and sufficient conditions in terms of the segments ν_i. The paper makes good use of external theorems (Mœglin-Renard, Trapa, Huang, Du, EHW) and does not appear to presuppose the classification it proves. However, two gaps in the proof — the incomplete reduction to holomorphic parabolics in Lemma 5.1 and the circular proof of Lemma 3.2(3) — currently prevent the results from being fully established.

major comments (2)
  1. [§5.1, Lemma 5.1] The proof of Lemma 5.1 does not cover the case of a non-holomorphic datum with exactly one mixed block. The argument only rules out two distinct blocks k, ℓ with p_k q_k p_ℓ q_ℓ ≠ 0. For a datum with a single mixed block, such as d = {(1,1),(1,0)} for U(2,1) with ψ = χ_3⊗S_2 ⊕ χ_0⊗S_1, the condition p_k q_k p_ℓ q_ℓ ≠ 0 is false, so the proof gives no reason to exclude this d. The signed tableau constructed in §3.3 for this example does not visibly violate Corollary 3.3, and the author does not provide a separate argument showing that A_d(ψ) cannot be a nonzero lowest weight representation. Since Lemma 4.6 and the classification in Theorems 4.7 and 4.8 rely on the reduction to d = d_0, the main theorem is not fully proved without an additional argument for the single-mixed-block case.
  2. [§3.4, Lemma 3.2(3)] Lemma 3.2(3) is stated as an existence and nonvanishing statement: for the specified θ-stable parabolic q and weight µ satisfying the displayed conditions, A_q(µ) is supposed to be a nonzero lowest weight representation with lowest K-type λ satisfying the inequality. The proof, however, begins with "Suppose A_q(µ) ≅ π_λ", which assumes the isomorphism that the lemma is meant to establish. Consequently the nonvanishing of A_q(µ) and the existence of its lowest K-type are not proved. This lemma is cited in the proof of Lemma 5.2(8) and again in Theorem 4.8(4), so the gap affects the derivation of the main results.
minor comments (4)
  1. [§3.4, Lemma 3.2(3)] In the statement of Lemma 3.2(3), the integers p′ and q′ appear in the definition of µ before they are defined. The author should clarify whether p′ and q′ are the multiplicities attached to µ or to the resulting lowest K-type λ.
  2. [§3.3] The construction of the initial signed tableau S_1 is described as "the Young tableau of size 1 + · · · + 1" with p_1 + q_1 boxes; this wording is ambiguous. Please state explicitly whether S_1 is a single row, a single column, or something else, since subsequent tableau comparisons depend on the convention.
  3. [§5.2–§5.5] In the "converse" parts of Theorem 4.7, the paper invokes Lemma 3.2, Corollary 3.6, and Corollary 3.7 to assert A_{d_0}(ψ) ≅ π_λ, but it does not explicitly verify the mediocre-range hypotheses of those corollaries in each of the four cases. Adding these routine checks would make the argument easier to follow.
  4. [Throughout] There are several typographical inconsistencies (e.g., "Mœglin" vs. "Mogelin", and the spelling "Théor`eme"), which are harmless but should be corrected in revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the classification is derived from external theorems and independent algorithms, with no fitted parameters and no self-referential definitions.

full rationale

The paper's derivation is self-contained against external benchmarks. The main classification (Theorems 4.7 and 4.8) is obtained by combining Mœglin-Renard's description of Arthur packets as cohomological inductions (Theorem 4.2, citing [MR19]), Trapa's algorithm for nonvanishing and associated tableaux, the Barbasch-Vogan parametrization (Theorem 2.1), and the EHW unitarity criterion; none of these presuppose the target classification. The reduction to the holomorphic datum d0 in Lemma 5.1 is justified inside the paper by Corollary 3.3, which characterizes the signed tableau of a unitary lowest weight representation independently via Lemma 3.2; this is not circular, although the combinatorial case analysis in Lemma 5.1 is abbreviated and may be incomplete as a correctness matter. There are no fitted parameters renamed as predictions, and the only self-citation ([HMY25]) is presented as an application of the results rather than as a load-bearing input. The nonvanishing criterion in Theorem 4.8 is closely related to Lemma 3.5, but Lemma 3.5 is proved from Trapa's algorithm for the specific datum d0, and Theorem 4.8 additionally proves via Lemma 4.6 that only d0 can occur for a lowest weight representation. Thus the derivation chain is not circular; any weakness is a proof-completeness issue, not a reduction of the conclusion to its own inputs.

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

The paper introduces no new entities, particles, forces, or fitted constants. All inputs are external theorems and standard classifications: EHW83 for unitarity, BV83/Tra01 for the parametrization, MR19 for Arthur packets, and Hua24/Du24 for nonvanishing of cohomological induction.

assumptions (6)
  • domain assumption Unitarizable lowest weight modules of U(p,q) are exactly L(λ) with λp−λp+1 ≥ N−p′−q′ (EHW83, Theorem 2.4).
    Used in §2.3 to define the class of unitary lowest weight representations; the main theorems are stated only for these.
  • domain assumption Irreducible (g,K)-modules with integral infinitesimal character are determined by the pair (Ann, AS) (Barbasch-Vogan, Trapa Theorem 6.1).
    The entire proof strategy compares tableaux; Theorem 2.1 is cited as the injectivity statement.
  • domain assumption Arthur packets of good A-parameters are exactly {Ad(ψ) with d∈D(ψ)}, with multiplicity one (Mœglin-Renard Theorem 1.1).
    The paper frames the problem within this parametrization; Theorem 4.2 is cited as proved.
  • domain assumption Trapa's algorithm determines zero and nonvanishing of Aq(λ): zero if and only if the tableau is equivalent to the zero tableau, and nonvanishing iff νi≥νi+1 and overlap≥sing for all i (Tra01 Theorem 7.9).
    Used throughout §3 and §5 to compute nonvanishing and tableaux.
  • domain assumption Cohomologically induced modules in the weakly fair range for U(p,q) are unitary and zero or irreducible (KV95, Ada87, HP06).
    Used in §3.2 to justify that Ad(ψ) is a representation and is irreducible or zero.
  • domain assumption The nonvanishing condition for maximal parabolics: min{p1,q2}+min{q1,p2} ≥ #(ν1∩ν2) (Hua24 Lemma 2.6).
    Cited in Lemma 3.4 as a known result, though the paper later proves a more general Lemma 3.5.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On $A$-parameters containing unitary lowest weight representations of $\mathrm{U}(p, q)$." pith.science (2026). https://pith.science/paper/OOAZD6S5

@misc{pith2026250207300,
  author       = {Pith},
  title        = {Pith review of: On $A$-parameters containing unitary lowest weight representations of $\mathrmU(p, q)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OOAZD6S5}},
  note         = {Machine review of arXiv:2502.07300}
}
abstract

In this paper, we determine all the Arthur packets containing an irreducible unitary lowest weight representation $\pi$ of real unitary group $G = \mathrm{U}(p, q)$, including non-scalar cases. Our methods are the Barbasch-Vogan parametrization of representations of $G$ and Trapa's algorithm to calculate the cohomologically induced representations. In particular, we show that an Arthur packet has at most one irreducible unitary lowest weight representation of $G$. As a consequence, if an irreducible unitary lowest weight representation $\pi$ exists in the Arthur packet of $\psi$, we give an explicit formula of the lowest $K$-type of $\pi$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 21 canonical work pages

  1. [1]

    Unitary highest weight modules

    Jeffrey Adams. Unitary highest weight modules. Adv. Math. , 63:113--137, 1987

    work page 1987

  2. [2]

    Local Intertwining Relations and Co -tempered A -packets of Classical Groups

    Hiraku Atobe, Wee Teck Gan, Atsushi Ichino, Tasho Kaletha, Alberto M \' nguez, and Sug Woo Shin. Local Intertwining Relations and Co -tempered A -packets of Classical Groups . Preprint, arXiv :2410.13504 [math. NT ] (2024), 2024

    arXiv 2024

  3. [3]

    The endoscopic classification of representations

    James Arthur. The endoscopic classification of representations. Orthogonal and symplectic groups , volume 61 of Colloq. Publ., Am. Math. Soc. Providence, RI: American Mathematical Society (AMS), 2013

    2013

  4. [4]

    On the non-vanishing of theta liftings of tempered representations of \(U(p,q)\)

    Hiraku Atobe. On the non-vanishing of theta liftings of tempered representations of \(U(p,q)\) . Adv. Math. , 363:76, 2020. Id/No 106984

    work page 2020

  5. [5]

    Weyl group representations and nilpotent orbits

    Dan Barbasch and David Vogan. Weyl group representations and nilpotent orbits. Representation theory of reductive groups, Proc . Conf ., Park City / Utah 1982, Prog . Math . 40, 21-33 (1983)., 1983

    work page 1983

  6. [6]

    Collingwood and William M

    David H. Collingwood and William M. McGovern. Nilpotent orbits in semisimple Lie algebras . New York, NY: Van Nostrand Reinhold Company, 1993

    work page 1993

  7. [7]

    Arthur’s multiplicity formula for even orthogonal and unitary groups

    Rui Chen and Jialiang Zou. Arthur’s multiplicity formula for even orthogonal and unitary groups. Journal of the European Mathematical Society , 2024

    work page 2024

  8. [8]

    On the nonvanishing condition for $A_{\mathfrak q}(\lambda)$ of $U(p,q)$ in the mediocre range

    Chengyu Du. On the nonvanishing condition for A_ q ( ) of U (p,q) in the mediocre range. Preprint, arXiv :2405.03216 [math. RT ] (2024), 2024

    work page Pith review arXiv 2024

Show all 24 references
  1. [9]

    The unitary dual of \(U(n,2)\)

    Kayue Daniel Wong and Hongfeng Zhang. The unitary dual of \(U(n,2)\) . Int. Math. Res. Not. , 2024(14):10678--10707, 2024

    2024

  2. [10]

    A classification of unitary highest weight modules

    Thomas Enright, Roger Howe, and Nolan Wallach. A classification of unitary highest weight modules. Representation theory of reductive groups, Proc . Conf ., Park City / Utah 1982, Prog . Math . 40, 97-143 (1983)., 1983

    1983

  3. [11]

    Gross, and Dipendra Prasad

    Wee Teck Gan, Benedict H. Gross, and Dipendra Prasad. Symplectic local root numbers, central critical \(L\) -values, and restriction problems in the representation theory of classical groups. In Sur les conjectures de Gross et Prasad. I , pages 1--109. Paris: Soci \'e t \'e Ma...

    2012

  4. [12]

    The K odaira dimension of unitary modular varieties

    Shuji Horinaga, Yota Maeda, and Takuya Yamauchi. The K odaira dimension of unitary modular varieties. in preparation , 2025+

    2025

  5. [13]

    Dirac operators in representation theory

    Jing-Song Huang and Pavle Pand z i \'c . Dirac operators in representation theory . Basel: Birkh \"a user, 2006

    2006

  6. [14]

    Non-vanishing condition on Mogelin - Renard 's parametrization for Arthur packets of U(p,q )

    Chang Huang. Non-vanishing condition on Mogelin - Renard 's parametrization for Arthur packets of U(p,q ) . Preprint, arXiv :2409.09358 [math. RT ] (2024), 2024

    2024 arXiv

  7. [15]

    Humphreys

    James E. Humphreys. Representations of semisimple Lie algebras in the BGG category \( O\) , volume 94 of Grad. Stud. Math. Providence, RI: American Mathematical Society (AMS), 2008

    2008

  8. [16]

    Theta lifting for tempered representations of real unitary groups

    Atsushi Ichino. Theta lifting for tempered representations of real unitary groups. Adv. Math. , 398:70, 2022. Id/No 108188

    2022

  9. [17]

    Endoscopic Classification of Representations : Inner Forms of Unitary Groups

    Tasho Kaletha, Alberto Minguez, Sug Woo Shin, and Paul-James White. Endoscopic Classification of Representations : Inner Forms of Unitary Groups . Preprint, arXiv :1409.3731 [math. NT ] (2014), 2014

    2014 arXiv

  10. [18]

    Knapp and David A

    Anthony W. Knapp and David A. Vogan. Cohomological induction and unitary representations , volume 45 of Princeton Math. Ser. Princeton, NJ: Univ. Press, 1995

    1995

  11. [19]

    On anti-tempered local Arthur packets and a lemma of Arthur

    Baiying Liu, Chi-Heng Lo, and Freydoon Shahidi. On anti-tempered local Arthur packets and a lemma of Arthur . Preprint, arXiv :2405.17407 [math. NT ] (2024), 2024

    2024 arXiv

  12. [20]

    Endoscopic classification of representations of quasi-split unitary groups , volume 1108 of Mem

    Chung Pang Mok. Endoscopic classification of representations of quasi-split unitary groups , volume 1108 of Mem. Am. Math. Soc. Providence, RI: American Mathematical Society (AMS), 2015

    2015

  13. [21]

    On Arthur packets of unitary groups and some consequences for classical groups

    Colette M glin and David Renard. On Arthur packets of unitary groups and some consequences for classical groups. Pac. J. Math. , 299(1):53--88, 2019

    2019

  14. [22]

    On Arthur packets of \(Sp(2n, R )\) containing highest-weight scalar unit modules

    Colette Moeglin and David Renard. On Arthur packets of \(Sp(2n, R )\) containing highest-weight scalar unit modules. Nagoya Math. J. , 241:44--124, 2021

    2021

  15. [23]

    Peter E. Trapa. Annihilators and associated varieties of \(A_q( )\) modules for \(U(p,q)\) . Compos. Math. , 129(1):1--45, 2001

    2001

  16. [24]

    David A. Vogan. Cohomology and group representations. In Representation theory and automorphic forms. Proceedings of an instructional conference, Edinburgh, UK, March 17--29, 1996 , pages 219--243. Providence, RI: American Mathematical Society; Edingurgh: International Centre ...

    1996

Pith tools

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