skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on March 18, 2026

Title: On the local converse theorem for split 𝑆𝑂_{2𝑙}
In this paper, we prove the local converse theorem for split even special orthogonal groups over a non-Archimedean local field of characteristic p ≠<#comment/> 2 p\neq 2 . This is the only case left on local converse theorems of split classical groups and the difficulty is the existence of the outer automorphism. We apply a new idea by considering a certain sum of partial Bessel functions to overcome this difficulty. As a direct application, we obtain a weak rigidity theorem for irreducible generic cuspidal representations of split even special orthogonal groups.  more » « less
Award ID(s):
1840234 1848058
PAR ID:
10578036
Author(s) / Creator(s):
;
Publisher / Repository:
American Mathematical Society (AMS)
Date Published:
Journal Name:
Representation Theory
Volume:
29
Issue:
7
ISSN:
1088-4165
Format(s):
Medium: X Size: p. 209-255
Size(s):
p. 209-255
Sponsoring Org:
National Science Foundation
More Like this
  1. Let Γ<#comment/> \Gamma be a countable abelian group. An (abstract) Γ<#comment/> \Gamma -system X \mathrm {X} - that is, an (abstract) probability space equipped with an (abstract) probability-preserving action of Γ<#comment/> \Gamma - is said to be aConze–Lesigne systemif it is equal to its second Host–Kra–Ziegler factor Z 2 ( X ) \mathrm {Z}^2(\mathrm {X}) . The main result of this paper is a structural description of such Conze–Lesigne systems for arbitrary countable abelian Γ<#comment/> \Gamma , namely that they are the inverse limit of translational systems G n / Λ<#comment/> n G_n/\Lambda _n arising from locally compact nilpotent groups G n G_n of nilpotency class 2 2 , quotiented by a lattice Λ<#comment/> n \Lambda _n . Results of this type were previously known when Γ<#comment/> \Gamma was finitely generated, or the product of cyclic groups of prime order. In a companion paper, two of us will apply this structure theorem to obtain an inverse theorem for the Gowers U 3 ( G ) U^3(G) norm for arbitrary finite abelian groups G G
    more » « less
  2. This paper is devoted to spherical measures and point configurations optimizing three-point energies. Our main goal is to extend the classic optimization problems based on pairs of distances between points to the context of three-point potentials. In particular, we study three-point analogues of the sphere packing problem and the optimization problem for p p -frame energies based on three points. It turns out that both problems are inherently connected to the problem of nearly orthogonal sets by Erdős. As the outcome, we provide a new solution of the Erdős problem from the three-point packing perspective. We also show that the orthogonal basis uniquely minimizes the p p -frame three-point energy when 0 > p > 1 0>p>1 in all dimensions. The arguments make use of multivariate polynomials employed in semidefinite programming and based on the classical Gegenbauer polynomials. For p = 1 p=1 , we completely solve the analogous problem on the circle. As for higher dimensions, we show that the Hausdorff dimension of minimizers is not greater than d −<#comment/> 2 d-2 for measures on S d −<#comment/> 1 \mathbb {S}^{d-1}
    more » « less
  3. In this paper we consider which families of finite simple groups G G have the property that for each ϵ<#comment/> > 0 \epsilon > 0 there exists N > 0 N > 0 such that, if | G | ≥<#comment/> N |G| \ge N and S , T S, T are normal subsets of G G with at least ϵ<#comment/> | G | \epsilon |G| elements each, then every non-trivial element of G G is the product of an element of S S and an element of T T . We show that this holds in a strong and effective sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the form P S L n ( q ) \mathrm {PSL}_n(q) where q q is fixed and n →<#comment/> ∞<#comment/> n\to \infty . However, in the case S = T S=T and G G alternating this holds with an explicit bound on N N in terms of ϵ<#comment/> \epsilon . Related problems and applications are also discussed. In particular we show that, if w 1 , w 2 w_1, w_2 are non-trivial words, G G is a finite simple group of Lie type of bounded rank, and for g ∈<#comment/> G g \in G , P w 1 ( G ) , w 2 ( G ) ( g ) P_{w_1(G),w_2(G)}(g) denotes the probability that g 1 g 2 = g g_1g_2 = g where g i ∈<#comment/> w i ( G ) g_i \in w_i(G) are chosen uniformly and independently, then, as | G | →<#comment/> ∞<#comment/> |G| \to \infty , the distribution P w 1 ( G ) , w 2 ( G ) P_{w_1(G),w_2(G)} tends to the uniform distribution on G G with respect to the L ∞<#comment/> L^{\infty } norm. 
    more » « less
  4. This is the first of our papers on quasi-split affine quantum symmetric pairs ( U ~<#comment/> ( g ^<#comment/> ) , U ~<#comment/> ı<#comment/> ) \big (\widetilde {\mathbf U}(\widehat {\mathfrak g}), \widetilde {{\mathbf U}}^\imath \big ) , focusing on the real rank one case, i.e., g = s l 3 \mathfrak g = \mathfrak {sl}_3 equipped with a diagram involution. We construct explicitly a relative braid group action of type A 2 ( 2 ) A_2^{(2)} on the affine ı<#comment/> \imath quantum group U ~<#comment/> ı<#comment/> \widetilde {{\mathbf U}}^\imath . Real and imaginary root vectors for U ~<#comment/> ı<#comment/> \widetilde {{\mathbf U}}^\imath are constructed, and a Drinfeld type presentation of U ~<#comment/> ı<#comment/> \widetilde {{\mathbf U}}^\imath is then established. This provides a new basic ingredient for the Drinfeld type presentation of higher rank quasi-split affine ı<#comment/> \imath quantum groups in the sequels. 
    more » « less
  5. For a finite dimensional vector space V V of dimension n n , we consider the incidence correspondence (or partial flag variety) X ⊂<#comment/> P V ×<#comment/> P V ∨<#comment/> X\subset \mathbb {P}V \times \mathbb {P}V^{\vee } , parametrizing pairs consisting of a point and a hyperplane containing it. We completely characterize the vanishing and non-vanishing behavior of the cohomology groups of line bundles on X X in characteristic p > 0 p>0 . If n = 3 n=3 then X X is the full flag variety of V V , and the characterization is contained in the thesis of Griffith from the 70s. In characteristic 0 0 , the cohomology groups are described for all V V by the Borel–Weil–Bott theorem. Our strategy is to recast the problem in terms of computing cohomology of (twists of) divided powers of the cotangent sheaf on projective space, which we then study using natural truncations induced by Frobenius, along with careful estimates of Castelnuovo–Mumford regularity. When n = 3 n=3 , we recover the recursive description of characters from recent work of Linyuan Liu, while for general n n we give character formulas for the cohomology of a restricted collection of line bundles. Our results suggest truncated Schur functions as the natural building blocks for the cohomology characters. 
    more » « less