REVIEW 1 major objections 4 minor 1 cited by
Character theory at a torsion element
T0 review · 1 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read For a connected reductive group, the character of an irreducible representation at a principal torsion element is, up to a sign and a constant depending only on the group and $m$, the dimension of an explicitly constructed representation…
desk verdict New character formula at principal torsion elements, cleanly proved, but the constant d_m is outsourced to Polo; referee must check that companion paper. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the principal homomorphism $\psi: SL_2(\mathbb{C})\to G$ with $\psi=\rho^\vee$ on the diagonal torus, so that $C_m=\psi(e^{\pi i/m})$ acts on every simple root by $e^{2\pi i/m}$. Restricted to this $SL_2$, the Weyl character formula collapses to a product over positive roots (Theorem 3.1), and the leading term at $C_m$ after writing $z=e^{\pi i/m}+\epsilon$ is controlled by the root subsystem $\Phi_{\lambda,m}=\{\alpha: m\mid\langle\lambda+\rho,\alpha^\vee\rangle\}$. The group $G_\lambda(m)$ is defined by that root subsystem; $G(m)$ is its $\lambda=0$ case. The constant $d_m$ is the dimension of the minuscule fundamental representation of the simply connected cover of $G(m)_{\mathrm{der}}$ with highest weight $\rho/m-\rho_m$, a weight whose integrality and dimension come from a companion computation. Kac coordinates are the tool used in Part B to decide when the principal element is the sole minimal-centralizer class.
What would settle it
Pick a pair $(G,m,\lambda)$ with $m\mid h$ outside the exceptions where the two dual-group elements are conjugate, evaluate the product formula (3.3) at $z=e^{\pi i/m}+\epsilon$, and compare the leading coefficient with $(-1)^w\mu(c(G))d_\lambda/d_m$; a mismatch for any single such triple would refute Theorem 4.1. For the uniqueness half, compute the Kac coordinates for $D_5$ with $m=4$: the paper predicts exactly two conjugacy classes with minimal centralizer, so finding a third would refute Theorem 12.1.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 4.1: for a principal element $C_m$ of order $m$ in the adjoint group, if $(\hat\lambda+\hat\rho)(e^{2\pi i/m})$ is conjugate to $\hat\rho(e^{2\pi i/m})$ in the dual group, then $\Theta_\lambda(C_m)=(-1)^w\mu(c(G))\,d_\lambda/d_m$, where $d_\lambda$ is the dimension of the highest-weight module of the simply connected cover of $G_\lambda(m)_{\mathrm{der}}$ with weight $(\lambda+\rho)/m-\rho_{\lambda,m}$, and $d_m$ is the analogous dimension for weight $\rho/m-\rho_m$ on $G(m)_{\mathrm{der}}$. Under the stated restrictions on $(G,m)$, $\Theta_\lambda(C_m)\neq 0$ exactly when that conjugacy holds. The proof runs through the Weyl character formula restricted to the principal $SL_2$, producing a product formula whose numerator and denominator cancel except on the roots of $G_\lambda(m)$; the remaining leading term at $C_m$ is a ratio of Weyl dimension formulas. Part B shows that for $m\mid h$, except for explicit cases in $D_n$, $E_6$, $E_7$, the principal element is the unique conjugacy class of order $m$ with minimal-dimensional centralizer.
Load-bearing premise
The constant $d_m$ in the main formula rests on a computation carried out in the companion paper [Polo] that $\rho/m-\rho_m$ is an integral dominant weight of $G(m)_{\mathrm{der}}$ with the stated dimension; if that computation is wrong, the constant is wrong.
Editorial extensions
If this is right
- For every divisor $m$ of the Coxeter number, outside the listed exceptions, $\Theta_\lambda(C_m)\neq 0$ exactly when $(\hat\lambda+\hat\rho)(e^{2\pi i/m})$ and $\hat\rho(e^{2\pi i/m})$ are conjugate; the nonzero value is then $(-1)^w\mu(c(G))d_\lambda/d_m$.
- The classical theorem at the Coxeter class follows as $G(h)$ is a torus: the character is $0$ or $\pm 1$, and nonzero exactly when the shifted cocharacter lies in the Coxeter class of the dual group.
- For classical groups the centralizers $Z_G(C_d)$ and the auxiliary groups $G(d)$ are explicit products of general linear, symplectic, and orthogonal groups, so character values become dimensions of representations of those explicit groups.
- The adjoint representation restricted to the principal $SL_2$ has a character that factors into at most three terms of the form $1\pm z^d$ (Theorem 9.1), a simplification not apparent from the usual sum decomposition.
- The Weyl dimension formula is recovered as the $z\to 1$ limit of the product formula.
Reading between the lines
- If Question 8.1's proposed generalization holds, the same type of vanishing-and-dimension statement would apply to arbitrary torsion elements, not just principal ones; that would give a broad and purely centralizer-theoretic criterion for zero characters.
- The uniqueness of the minimal-centralizer class for $m\mid h$ can be read as a finite-order analogue of the regular-element theorem; the exceptional pairs $(E_6,4)$ and $(E_7,9)$ suggest a small finite list of obstructions worth checking for all simply laced types.
- The factorization of $f_X(z)f_X(z^{-1})$ into irreducibles gives a combinatorial mechanism for constructing distinct representations with identical restrictions to the principal $SL_2$; classifying such factorizations could settle the SL6 counterexample family.
- Because $G_\lambda(m)$ is built from root divisibility rather than from a subgroup, the formula hints that characters at torsion elements should be thought of as dimensions attached to dual-centralizer data; this may extend to other settings where similar ratio-of-cancellation arguments exist.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies characters of irreducible representations of a connected reductive algebraic group G at principal elements C_m = ψ(e^{πi/m}) of the principal SL2(C). Its central result, Theorem 4.1, expresses the character value Θ_λ(C_m), up to an explicit sign, as the ratio d_λ/d_m of two dimensions: d_λ is the dimension of a representation of the derived group of G_λ(m), and d_m is the dimension of a minuscule representation of the derived group of G(m). The proof derives this from the Weyl character formula by comparing orders of vanishing at z = e^{πi/m}, and the nonvanishing criterion is tied to equality of centralizer dimensions of (λ̂+ρ̂)(e^{2πi/m}) and ρ̂(e^{2πi/m}) in Ĝ. Part B contains a case-by-case analysis of conjugacy classes of elements of order m with minimal-dimensional centralizer in classical and exceptional groups, leading to the nonvanishing iff statement for m | h outside a few exceptions. The paper also contains a factorization theorem for the adjoint character restricted to the principal SL2(C), a G2 calculation, and a discussion of when restrictions to the principal SL2(C) determine the representation.
Significance. The paper is a substantial contribution if its claims hold. The derivation of Theorem 4.1 from the Weyl character formula is clean and gives a uniform explanation of earlier product formulas of Prasad and of Ayyer–Kumari, while also recovering and generalizing Kostant's theorem on character values at the Coxeter class. The explicit identification of the constant d_m as the dimension of a minuscule representation gives the formula genuine representation-theoretic content. The Part B classification of minimal-dimensional centralizers is useful in its own right and supports the nonvanishing criterion. The paper is honest in flagging that the complete determination of d_m is outsourced to Polo's companion paper [Polo]; this is a load-bearing dependency that the journal should insist be made fully explicit and verifiable.
major comments (1)
- [Section 5 and Theorem 4.1] The constant d_m appearing on the right-hand side of Theorem 4.1 is load-bearing for the numerical content of the main formula, and its determination is explicitly delegated to [Polo]. The manuscript says in Section 5 that 'This analysis is completed in [Polo]' and in Theorem 4.1 that 'Its complete description is due to Patrick Polo in [Polo]', but it does not state Polo's classification or provide any verification of the needed facts: that ρ/m − ρ_m is an integral dominant weight for G(m)_der, that at most one simple root of Φ_{0,m} has height greater than m, and that if such a root exists its height is 2m. If any of these statements is incorrect, the dimension interpretation of d_m and hence the right-hand side of Theorem 4.1 changes. I request that the paper either include a precise statement of Polo's relevant theorem (with enough detail to check the dimension computation) or make the theorem formally conditional on [Polo] and ensure that the companion paper is available and independently verifiable. As it stands, the main formula for arbitrary groups is not self-contained at exactly the point where its numerical content is determined.
minor comments (4)
- [Lemma 16.1] The lemma states 'let m = n/(2d)' for an odd integer d dividing 2n, but the surrounding dimension counts force m = n/d. For instance, if n = 9 and d = 3, the printed formula gives m = 3/2, which is impossible for the dimension of an orthogonal group. Please correct this typo, since the lemma is used to describe the exceptional conjugacy class.
- [Section 10, Proposition 10.1] The proof of Proposition 10.1 is omitted with the explanation that it is a direct computation. Since the proposition supports the interesting claim that rank ≤ 4 groups are determined by restriction to the principal SL2(C), the paper would be stronger if at least the computational criterion was stated or a reference to a verifiable source was given.
- [Section 9, Theorem 9.1] For the exceptional groups E6, E7, F4 and G2, the proof is sketched only through a 'flavor' of the E8 argument; the reader is asked to accept the height-function cancellations. A table of the nonzero pairs (ht(α∨), ht(α∨)+⟨α0,α∨⟩) for each type would make the theorem checkable without redoing the case analysis.
- [Theorem 4.1, statement] The last paragraph of the theorem is easy to misread: the condition 'when G is of type D_{n+1}, m is even and 2n/m is odd' is the safe case where the uniqueness result holds, not an exception. Please rephrase to make clear that these are the cases in which the nonvanishing criterion is being asserted.
Circularity Check
No significant circularity: the main character formula is derived from the Weyl character formula, and the external dependence on Polo's computation of dm is a correctness risk, not a circular input.
full rationale
The derivation chain is self-contained. Theorem 3.1 starts from the standard Weyl character formula and derives a product formula for characters restricted to the principal SL2(C); Theorem 4.1 then rewrites the quotient using the condition w(λ+ρ) = ρ + mμ, factors the products over Φ_λ,m and w(Φ_λ,m), and identifies the resulting ratio as dλ/dm via the Weyl dimension formula. No parameter is fitted to character values, and no quantity named as a prediction is used to define the inputs. The constant dm is introduced as the dimension of an explicitly described highest-weight representation of the simply connected cover of G(m)der, and it emerges algebraically from the product formula rather than being chosen to match Θ_λ(C_m). The only external ingredient is Polo's classification of the root system Φ_0,m and the computation of dm for arbitrary groups, as explicitly acknowledged in Section 5 and in the statement of Theorem 4.1; this is a delegation of an auxiliary computation, not a circular reduction. The self-citations in the paper ([Pr1], [Pr2], [KLP], [LP]) are used for motivation, context, and analogy, and they are not load-bearing for the proof of the main theorem. Therefore no circular step can be exhibited, and the appropriate finding is no significant circularity.
Assumptions & free parameters
assumptions (5)
- standard math Weyl character formula for connected reductive groups G(C)
- standard math Steinberg's theorem: connected centralizer of a semisimple element is generated by the torus and root subgroups fixed by the element
- standard math Kac coordinate classification of conjugacy classes of finite-order elements in simple algebraic groups
- standard math Polo's computation of dm (arXiv:2504.09204) identifying ρ/m−ρm as a minuscule weight and giving dm for all simple G
- standard math Bourbaki root system data (labeling, heights, Coxeter numbers) for exceptional groups
Cite this review
Pith. "Pith review of Character theory at a torsion element." pith.science (2026). https://pith.science/paper/MFCVVNTE
@misc{pith2026250414684,
author = {Pith},
title = {Pith review of: Character theory at a torsion element},
year = {2026},
howpublished = {\url{https://pith.science/paper/MFCVVNTE}},
note = {Machine review of arXiv:2504.14684}
}
read the original abstract
The paper relates character value of an irreducible representation of a compact connected Lie group at certain elements of finite order with the dimension of a representation on another group, up to some precise constants, which all have significance. An important input is to analyse torsion elements of order d in an adjoint group with minimal dimensional centraliser, and to prove that in most cases when d divides the Coxeter number of G, this gives rise to a unique conjugacy class.
Forward citations
Cited by 1 Pith paper
-
Uniqueness of Branching through regular unipotent elements
Restriction to Dynkin subgroups containing regular unipotents (rank ≥2) determines irreducible representations of G up to outer automorphisms preserving the subgroup, and likewise for three diagonal pairs.
Reference graph
Works this paper leans on
-
[1]
A.Ayyer and N.Kumari, Factorization of Classical characters twisted by roots of unity. J. Algebra 609 (2022), 437–483
work page 2022
- [2]
-
[3]
Bourbaki, Lie groups and Lie algebras
N. Bourbaki, Lie groups and Lie algebras. Chapters 7-9. Translated from the 1975 and 1982 French originals by Andrew Pressley. Elements of Mathematics (Berlin). Springer-Verlag, Berlin, 2005
work page 1975
-
[4]
A.G. Elashvili, V.G. Kac, and E.B. Vinberg. On exceptional nilpotents in semisimple Lie algebras. J. Lie Theory 19 (2009), no. 2, 371–390
work page 2009
-
[5]
S. Helgason, Differential geometry, Lie groups, and symmetric spaces , Pure and Applied Mathematics, 80, Academic Press, New York-London, 1978
work page 1978
-
[6]
Kac, Simple Lie groups and the Legendre symbol
V.G. Kac, Simple Lie groups and the Legendre symbol. Algebra, Carbondale 1980 (Proc. Conf., Southern Illinois Univ., Carbondale, Ill., 1980), pp. 110–123 Lecture Notes in Math., 848 Springer, Berlin, 1981
work page 1980
-
[7]
Karmakar, Character values at elements of order 2; arXiv:2412.17324
C. Karmakar, Character values at elements of order 2; arXiv:2412.17324
-
[8]
B. Kostant, On M acdonald's -function formula, the L aplacian and generalized exponents , Advances in Math. 20 (1976), no. 2, 179--212
work page 1976
Show all 18 references
-
[9]
Kumar, G
S. Kumar, G. Lusztig, and D. Prasad, Characters of simplylaced nonconnected groups versus characters of nonsimplylaced connected groups Contemp. Math., 478 American Mathematical Society, Providence, RI, 2009, 99–101
2009
-
[10]
L\"ubeck and D
F. L\"ubeck and D. Prasad, A character relationship between symmetric group and hyperoctahedral group , J. Combin. Theory Ser. A 179 (2021)
2021
-
[11]
Polo, Classification of root systems R(m) , arXiv:2504.09204
P. Polo, Classification of root systems R(m) , arXiv:2504.09204
-
[12]
Prasad, A character relationship on (n, ) ; Israel J
D. Prasad, A character relationship on (n, ) ; Israel J. Math. 211 (2016), no. 1, 257–270
2016
-
[13]
Prasad, Half the sum of positive roots, the C oxeter element, and a theorem of K ostant , Forum Math
D. Prasad, Half the sum of positive roots, the C oxeter element, and a theorem of K ostant , Forum Math. 28 (2016), no. 1, 193--199
2016
-
[14]
Reeder, Torsion automorphisms of simple L ie algebras , Enseign
M. Reeder, Torsion automorphisms of simple L ie algebras , Enseign. Math. (2) 56 (2010), no. 1-2, 3--47. 2674853
2010
-
[15]
Reeder, Weyl group characters afforded by zero weight spaces, Transform
M. Reeder, Weyl group characters afforded by zero weight spaces, Transform. Groups 29 (2024), no. 3, 1161–1198
2024
-
[16]
Reeder, Thomae's function on a Lie group , Pacific J
M. Reeder, Thomae's function on a Lie group , Pacific J. Math. 322 (2023), no. 1, 139–169
2023
-
[17]
Serre, Coordonn\'ees de Kac, Oberwolfach Reports
J.-P. Serre, Coordonn\'ees de Kac, Oberwolfach Reports. Vol. 3, no. 3, pp. 1787--1790 (2006)
2006
-
[18]
Serre, Z\'eros de caract\`eres , arXiv:2312.17551
J.-P. Serre, Z\'eros de caract\`eres , arXiv:2312.17551
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.