REVIEW 2 major objections 3 minor 41 references
On sharpness in Local Converse Theorems for classical groups and $G_2$
T0 review · 2 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For symplectic, orthogonal, and $G_2$ groups with large residual characteristic, the optimal local converse theorem requires twisting through half the dimension of the standard representation of the dual group.
desk verdict A strong sharpness paper for local converse theorems in classical groups and G2, with one overreach in the GL4/Ramakrishnan section that should be reframed. 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 engine is Proposition 2.10, a $\gamma$-factor comparison criterion for direct sums $\bigoplus_i \rho_{\chi_i}$ of Weil-group representations induced from totally ramified admissible pairs. Admissible pairs $(E/F,\chi)$ are tame objects: a tamely ramified extension $E/F$ together with a quasi-character $\chi$ of $E^\times$ not inflated from a proper subfield, and their induced representations exhaust the tame irreducible Weil-group representations (Theorem 2.2). Proposition 2.10 says that equality of all twisted $\gamma$-factors against representations of dimension less than $r$ follows from three conditions: the characters $\chi_i,\chi_i'$ agree on the filtration subgroup $U^{t_i}_{E_i}$; the products $\prod_i \chi_i(\beta_i)$ and $\prod_i \chi_i'(\beta_i)$ agree; and the products $\prod_i \chi_i$ and $\prod_i \chi_i'$ agree on $F^\times$. The proof reduces to a product formula for $\gamma$-factors of tensor products (Proposition 2.7) and a Gauss-sum computation; the sharpness examples are precisely choices of admissible pairs that satisfy these conditions while remaining inequivalent. A second mechanism is Lemma 2.12, which produces at least $p$ self-dual admissible characters of either parity, needed for the supercuspidal counterexamples.
What would settle it
Check the explicit pairs of Theorem 3.8 at level $M-1$: if any irreducible twist $\tau$ of dimension $M-1$ produced unequal gamma-factors, the criterion of Proposition 2.10 would be violated and the sharpness claim would collapse. For the conjectural odd-$N$ improvement, find self-dual supercuspidal representations of $GL_{2N}(F)$ of the same parity that are $\gamma$-equivalent to level $N-1$ but not isomorphic; such a pair would refute Conjecture 3.10 and the conjectured converse for symplectic and odd orthogonal groups.
Extended reading notes
Core claim
The central discovery is a family of sharpness counterexamples built from minimal totally ramified admissible pairs $(E/F,\chi)$ and $(E/F,\chi')$ that agree on $U_E$ but differ by a sign on a uniformizer. Under the condition $p>N$, Proposition 2.10 gives equality of all standard twisted $\gamma$-factors against every irreducible twist of dimension below $N$, while the two parameters are not outer conjugate. These pairs produce generic tempered counterexamples at level $N-1$ and, after passing through self-dual pairs constructed by a fixed-point correspondence for pro-$p$ characters, supercuspidal counterexamples at level $2\lfloor N/2\rfloor-1$ (Corollaries 3.6 and 3.9). For $SO_{2N}$ with odd $N$, a determinant obstruction rules out the last potential irreducible $2N$-dimensional orthogonal component, yielding the unconditional level $N-1$ converse for supercuspidals (Theorem 3.16). For $G_2$, cubic admissible pairs pulled back through $SL_3\subset G_2$ give inequivalent discrete parameters that agree at levels 1 and 2 against both the 7-dimensional standard and 14-dimensional adjoint representations, while Theorem 4.2 makes level 3 sufficient. The $GL_4$ counterexample takes a totally ramified quartic admissible character and its twist by the unramified quadratic character; these are inequivalent, yet every exterior-power twist by every character agrees.
Load-bearing premise
Everything rests on having residual characteristic $p$ larger than the twisting level ($p>N$, or $p>3$ for $G_2$), so that every irreducible representation of dimension below $r$ is induced from an admissible pair; if that tameness hypothesis fails, the constructed counterexamples are not known to exist.
Editorial extensions
If this is right
- For $p>N$, the standard local converse theorem for $Sp_{2N}$, $SO_{2N}$, and $SO_{2N+1}$ cannot be improved: the bound $r\le N$ is necessary, so the existing theorems are optimal in the setting of generic tempered representations.
- For generic supercuspidal representations, the $SO_{2N}$ case with odd $N$ is settled at level $N-1$; if Conjecture 3.10 holds, all classical groups attain the same improved bound and Corollary 3.9 becomes optimal.
- For $G_2$ with $p>3$, a local converse theorem must twist by $GL_3$; the counterexample at level 2 works with both fundamental representations, so including the adjoint representation does not rescue a level-2 theorem.
- The $SO_6$ construction makes $SO_{2N}(C)$ generically $WD_F$-unacceptable for $q\equiv 3\pmod 4$: some outer-equivalent parameters have identical twisted $\gamma$-factors for every algebraic representation of the dual group, so for even orthogonal groups no local converse theorem based on all dual-group representations can distinguish such parameters.
- The $GL_4$ example rules out the proposed shortcut of using only character twists with all exterior-power $\gamma$-factors to separate supercuspidal representations, even before the same question is considered for $GL_N$ with $N\ge 5$.
Reading between the lines
- One could test whether the same unramified-quadratic-twist construction produces $GL_{2m}$ counterexamples for every even $2m$, not just $GL_4$; if so, character-twist-only converse theorems fail in all even ranks.
- The determinant obstruction behind Theorem 3.16 suggests a general principle: whenever the relevant self-dual Weil-group representations are forced to have nontrivial determinant, the odd-$N$ improvement should hold; this may transfer to other groups whose duals have similar parity restrictions.
- The sharpness examples are constructed at the level of Langlands parameters; with currently available local Langlands correspondences for other groups, the same admissible-pair technique could plausibly produce analogous counterexamples for classical groups in positive characteristic.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies sharpness in local converse theorems for split classical groups and G2 over non-archimedean local fields of characteristic 0. The main technical engine is a pair of propositions (Propositions 2.7 and 2.10), proved from Moy's formulas, giving criteria for two direct sums of tame supercuspidal Weil-group representations to have equal twisted gamma factors against all representations of dimension below a given bound. Using these criteria, the authors construct generic tempered non-cuspidal representations of Sp_{2N}, SO_{2N}, SO_{2N+1} that are gamma-equivalent to level N-1 but not outer conjugate, and supercuspidal examples at level M-1. For odd N they prove an unconditional improved bound for SO_{2N} and reduce the symplectic and odd orthogonal cases to Conjecture 3.10. For G2 they prove a local converse theorem at level 3 and show sharpness at level 2 even when both fundamental representations of the dual group are used. The final section gives Galois-side parameters for GL_4 whose exterior-power gamma factors agree under all character twists, and the authors interpret this as disproving a conjecture of Ramakrishnan and Ye--Zelingher.
Significance. If the main results stand, the paper gives a substantial and essentially complete answer to the sharpness question for standard local converse theorems in the tame setting, including the first such results for G2. The strengths of the paper are the self-contained proof of the key technical propositions from Moy's Gauss-sum formulas, the explicit and checkable constructions, and the honest separation of proved results from Conjecture 3.10. The authors also correctly note the conditional nature of the improved bound for symplectic and odd orthogonal groups. However, the headline claim in Section 5 goes beyond what is logically established, and the proof of Corollary 3.18 has a gap concerning local conjugacy. These issues do not appear to affect the central classical-group and G2 sharpness theorems, but they do require correction before the paper can be accepted.
major comments (2)
- [§5, Theorem 1.7 and Eq. (5.1)] Theorem 1.7 is presented as a disproof of the Ramakrishnan/Ye–Zelingher conjecture, but the equality proved in (5.1) is for Galois-side exterior-power gamma factors γ(s,(∧^i φ_j)⊗η,ψ). The conjecture concerns automorphic exterior-power gamma factors for representations of GL_N(F). The paper does not cite or prove a compatibility theorem asserting that the local Langlands correspondence for GL_4 preserves these exterior-power gamma factors for i≥2; hence the constructed parameters need not contradict the automorphic conjecture as stated. The caveat in §5 that the factors are interpreted on the Galois side is not carried into Theorem 1.7 or the abstract. Please restrict the theorem to the Galois-side/parameter-level statement, or supply the missing compatibility argument.
- [§3.4, Corollary 3.18] The proof of Corollary 3.18 shows that the inflated parameters φ'_1 and φ'_2 are outer equivalent and not conjugate, but it does not verify the defining condition of local conjugacy, namely equality after composing with every algebraic representation of SO_{2N}(C). In particular, the half-spin representations V_N^± are not discussed. Example 3.17 supplies the needed half-spin equality only for SO_6, and the inflation step from SO_6 to SO_{2N} is not shown to preserve it. Please add the missing argument, or cite a lemma from [Yu22] that establishes local conjugacy directly.
minor comments (3)
- [§4.1, Definition 4.1] The phrase 'all irreducible irreducibler-dimensional representations' should read 'all irreducible r-dimensional representations'.
- [§5, first paragraph] The sentence 'for N≥6 the requisite γ-functions have not yet been defined on the automorphic side' is confusing immediately before a theorem about N=4; please clarify that the Galois-side interpretation is needed for the exterior powers under consideration even when N=4.
- [References] The reference [KT] is listed as a URL without a year; please add publication details if available.
Circularity Check
No significant circularity: the sharpness machinery is proved in-paper from Moy's formulas and external LLC inputs.
full rationale
The derivation chain is not circular. The engine, Proposition 2.10, is proved internally: it reduces gamma-factor equality to the conditions in the proposition via Proposition 2.7, whose proof uses Moy's Proposition 2.4 and an explicit double-coset calculation; the citations to [Adr23] and [ALST18] are for techniques and identities, not for the target conclusions. The sharpness examples (Corollaries 3.6, 3.9, Theorem 4.6) verify the hypotheses of Proposition 2.10 and then use the known LLC (Arthur, Gan-Savin, etc.) to pass from parameters to representations; the LLC and external converse theorems are not being replaced by the paper's own conclusions. Theorem 3.13 is explicitly conditional on Conjecture 3.10, which the paper flags as having no evidence. Section 5 carefully changes the interpretation of exterior-power gamma factors to the Galois side for N≥6 and computes at the parameter level; this is a scope caveat, not a circular definition or a fitted-input prediction. No parameter is fitted and renamed as a prediction, and no uniqueness conclusion is imported solely from the authors' prior work. The strongest caveat is the Section 5 Galois/automorphic matching, which is a correctness and justification issue outside the scope of circularity.
Assumptions & free parameters
assumptions (5)
- domain assumption Moy's tame parametrization (Theorem 2.2): for p not dividing N, every irreducible N-dimensional representation of W_F is induced from an admissible pair (E/F, chi).
- domain assumption Arthur's local Langlands correspondence for split classical groups, with unicity of generic representations in tempered L-packets (Varma).
- domain assumption Gan-Savin local Langlands correspondence and gamma-factor definition for G2.
- ad hoc to paper Conjecture 3.10: for p > N, N odd, self-dual supercuspidal representations of GL_{2N}(F) of the same parity that are gamma-equivalent to level N-1 are isomorphic.
- domain assumption The CKPSS transfer to GL_{N*}(F) for generic supercuspidal representations of G_N, coinciding with Arthur transfer (Henniart), preserves twisted gamma factors.
Cite this review
Pith. "Pith review of On sharpness in Local Converse Theorems for classical groups and $G_2$." pith.science (2026). https://pith.science/paper/M6IQJWYY
@misc{pith2026250922390,
author = {Pith},
title = {Pith review of: On sharpness in Local Converse Theorems for classical groups and $G_2$},
year = {2026},
howpublished = {\url{https://pith.science/paper/M6IQJWYY}},
note = {Machine review of arXiv:2509.22390}
}
abstract
We prove various results about the Local Converse Problem for split reductive groups $G$ over a non-archimedean local field~$F$ of characteristic $0$ and residual characteristic $p$. In particular, we prove that when $G$ is a symplectic or special orthogonal group, or the exceptional group $G_2$, and $p$ is large enough, then the optimal standard Local Converse Theorem for $G(F)$ requires twisting by representations of $GL_r(F)$ with $r$ up to half the dimension of the standard representation of the dual group of $G$. However, if we restrict to generic supercuspidal representations of $G(F)$ then it can be improved when $G=SO_{2N}$; we conjecture that the same is true for symplectic and odd special orthogonal groups. We also consider the possibility of using non-standard representations of the dual group to distinguish representations, giving counterexamples to possible improvements for general linear groups, $G_2$ and $SO_{2N}$.
Reference graph
Works this paper leans on
-
[1]
On the sharpness of the bound for the local converse theorem of p -adic GL_N , general N , 2023
Moshe Adrian. On the sharpness of the bound for the local converse theorem of p -adic GL_N , general N , 2023. arXiv:2303.08656
arXiv 2023
- [2]
-
[3]
On the sharpness of the bound for the local converse theorem of p -adic GL_ prime
Moshe Adrian, Baiying Liu, Shaun Stevens, and Geo Kam-Fai Tam. On the sharpness of the bound for the local converse theorem of p -adic GL_ prime . Proc. Amer. Math. Soc. Ser. B , 5:6--17, 2018
work page 2018
-
[4]
The endoscopic classification of representations , volume 61 of American Mathematical Society Colloquium Publications
James Arthur. The endoscopic classification of representations , volume 61 of American Mathematical Society Colloquium Publications . American Mathematical Society, Providence, RI, 2013. Orthogonal and symplectic groups
2013
-
[5]
T he E xplicit L ocal L anglands C orrespondence for G_2
Anne-Marie Aubert and Yujie Xu. T he E xplicit L ocal L anglands C orrespondence for G_2 . 2023. arXiv:2208.12391
arXiv 2023
-
[6]
Bushnell and Albrecht Fr\"ohlich
Colin J. Bushnell and Albrecht Fr\"ohlich. Gauss sums and p -adic division algebras , volume 987 of Lecture Notes in Mathematics . Springer-Verlag, Berlin-New York, 1983
work page 1983
-
[7]
Colin J. Bushnell and Guy Henniart. The local L anglands conjecture for GL(2) , volume 335 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 2006
work page 2006
-
[8]
Colin J. Bushnell and Guy Henniart. Langlands parameters for epipelagic representations of GL _n . Math. Ann. , 358(1-2):433--463, 2014
work page 2014
Show all 41 references
-
[9]
Bushnell and Philip C
Colin J. Bushnell and Philip C. Kutzko. The admissible dual of GL (N) via compact open subgroups , volume 129 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1993
1993
-
[10]
Chenevier and W.T
G. Chenevier and W.T. Gan. Spin(7) is unacceptable. Peking Math J. , 2024
2024
-
[11]
Bessel functions and local converse conjecture of J acquet
Jingsong Chai. Bessel functions and local converse conjecture of J acquet. J. Eur. Math. Soc. (JEMS) , 21(6):1703--1728, 2019
2019
-
[12]
J. W. Cogdell, H. H. Kim, I. I. Piatetski-Shapiro, and F. Shahidi. Functoriality for the classical groups. Publ. Math. Inst. Hautes \'Etudes Sci. , (99):163--233, 2004
2004
-
[13]
Representation theory , volume 129 of Graduate Texts in Mathematics
William Fulton and Joe Harris. Representation theory , volume 129 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1991. A first course, Readings in Mathematics
1991
-
[14]
The G ross- P rasad conjecture and local theta correspondence
Wee Teck Gan and Atsushi Ichino. The G ross- P rasad conjecture and local theta correspondence. Invent. Math. , 206(3):705--799, 2016
2016
-
[15]
The local L anglands conjecture for G_2
Wee Teck Gan and Gordan Savin. The local L anglands conjecture for G_2 . Forum Math. Pi , 11:Paper No. e28, 42, 2023
2023
-
[16]
A theory of -factors for G_2 GL_r , 2023
Wee Teck Gan and Gordan Savin. A theory of -factors for G_2 GL_r , 2023. arXiv:2308.12561
2023 arXiv
-
[17]
Khare, and Jack A
Michael Harris, Chandrashekhar B. Khare, and Jack A. Thorne. A local langlands parameterization for generic supercuspidal representations of p -adic G_2 . Ann. Sci. Éc. Norm. Supér. , 56:257--286, 2023
2023
-
[18]
On the local converse theorem for split SO_ 2l
Alexander Hazeltine and Baiying Liu. On the local converse theorem for split SO_ 2l . Represent. Theory , 29:209--255, 2025
2025
-
[19]
Roger E. Howe. Tamely ramified supercuspidal representations of GL _ n . Pacific J. Math. , 73(2):437--460, 1977
1977
-
[20]
On the local converse theorem for p -adic GL _n
Herv\'e Jacquet and Baiying Liu. On the local converse theorem for p -adic GL _n . Amer. J. Math. , 140(5):1399--1422, 2018
2018
-
[21]
The generic dual of p -adic groups and applications, 2024
Chris Jantzen and Baiying Liu. The generic dual of p -adic groups and applications, 2024. arXiv:2404.07111
2024 arXiv
-
[22]
Towards the J acquet conjecture on the local converse problem for p -adic GL _n
Dihua Jiang, Chufeng Nien, and Shaun Stevens. Towards the J acquet conjecture on the local converse problem for p -adic GL _n . J. Eur. Math. Soc. (JEMS) , 17(4):991--1007, 2015
2015
-
[23]
The local converse theorem for odd special orthogonal and symplectic groups in positive characteristic, 2025
Yeongseong Jo. The local converse theorem for odd special orthogonal and symplectic groups in positive characteristic, 2025. arXiv:2205.09004
2025 arXiv
-
[24]
Jacquet, I
H. Jacquet, I. I. Piatetskii-Shapiro, and J. A. Shalika. Rankin- S elberg convolutions. Amer. J. Math. , 105(2):367--464, 1983
1983
-
[25]
The local converse theorem for SO (2n+1) and applications
Dihua Jiang and David Soudry. The local converse theorem for SO (2n+1) and applications. Ann. of Math. (2) , 157(3):743--806, 2003
2003
-
[26]
The local L anglands conjecture
Tasho Kaletha and Olivier Ta \"i bi. The local L anglands conjecture. https://otaibi.perso.math.cnrs.fr/kaletha-taibi-llc.pdf
-
[27]
The L anglands conjecture for GL _ 2 of a local field
Philip Kutzko. The L anglands conjecture for GL _ 2 of a local field. Ann. of Math. (2) , 112(2):381--412, 1980
1980
-
[28]
On the conjugacy of element-conjugate homomorphisms
Michael Larsen. On the conjugacy of element-conjugate homomorphisms. Israel J. Math. , 88(1-3):253--277, 1994
1994
-
[29]
Luo and Shaun Stevens
David C. Luo and Shaun Stevens. On the L ocal C onverse T heorem for depth 1 N supercuspidal representations of GL (2N, F) , 2025. arXiv:2505.22357
2025 arXiv
-
[30]
Matringe
N. Matringe. Local converse theorems and L anglands parameters. 2024. arXiv:2409.20240
2024
-
[31]
The irreducible orthogonal and symplectic G alois representations of a p -adic field (the tame case)
Allen Moy. The irreducible orthogonal and symplectic G alois representations of a p -adic field (the tame case). J. Number Theory , 19(3):341--344, 1984
1984
-
[32]
Local constants and the tame L anglands correspondence
Allen Moy. Local constants and the tame L anglands correspondence. Amer. J. Math. , 108(4):863--930, 1986
1986
-
[33]
Pure motives and automorphic forms
Dinakar Ramakrishnan. Pure motives and automorphic forms. In Motives ( S eattle, WA , 1991) , volume 55, Part 2 of Proc. Sympos. Pure Math. , pages 411--446. Amer. Math. Soc., Providence, RI, 1994
1991
-
[34]
Fourier transforms of intertwining operators and P lancherel measures for GL (n)
Freydoon Shahidi. Fourier transforms of intertwining operators and P lancherel measures for GL (n) . Amer. J. Math. , 106(1):67--111, 1984
1984
-
[35]
Weissman
Gordan Savin and Martin H. Weissman. Dichotomy for generic supercuspidal representations of G_2 . Compos. Math. , 147(3):735--783, 2011
2011
-
[36]
J. T. Tate. Fourier analysis in number fields, and H ecke's zeta-functions. In Algebraic N umber T heory ( P roc. I nstructional C onf., B righton, 1965) , pages 305--347. Academic Press, London, 1967
1965
-
[37]
On descent and the generic packet conjecture
Sandeep Varma. On descent and the generic packet conjecture. Forum Math , 29:111--155, 2017
2017
-
[38]
Acceptable compact L ie groups
Jun Yu. Acceptable compact L ie groups. Peking Math. J. , 5(2):427--446, 2022
2022
-
[39]
Exterior square gamma factors for cuspidal representations of GL _n : simple supercuspidal representations
Rongqing Ye and Elad Zelingher. Exterior square gamma factors for cuspidal representations of GL _n : simple supercuspidal representations. Ramanujan J. , 58(4):1043--1074, 2022
2022
-
[40]
On a refined local converse theorem for SO(4)
Pan Yan and Qing Zhang. On a refined local converse theorem for SO(4) . Proc. Amer. Math. Soc. , 152:4959--4979, 2024
2024
-
[41]
A local converse theorem for Sp _ 2r
Qing Zhang. A local converse theorem for Sp _ 2r . Math. Ann. , 372(1-2):451--488, 2018
2018
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.