SearcharxivSearch

arXiv · 2312.01591

Integrability and singularities of Harish-Chandra characters

Abstract

Let $G$ be a reductive group over a local field $F$ of characteristic $0$. By Harish-Chandra's regularity theorem, the character $\Theta_{\pi}$ of an irreducible, admissible representation $\pi$ of $G$ is given by a locally integrable function $\theta_{\pi}$ on $G$. It is a natural question whether $\theta_{\pi}$ has better integrability properties, namely, whether it is locally $L^{1+\epsilon}$-integrable for some $\epsilon>0$. It turns out that the answer is positive, and this gives rise to a new singularity invariant of representations $\epsilon_{\star}(\pi):=\sup\left\{ \epsilon:\theta_{\pi}\in L_{Loc}^{1+\epsilon}(G)\right\} $, which we explore in this paper. We provide a lower bound on $\epsilon_{\star}(\pi)$ which depends only on the absolute root system of $G$, and explicitly determine $\epsilon_{\star}(\pi)$ in the case of a $p$-adic $\mathrm{GL}_{n}$. This is done by studying integrability properties of the Fourier transforms $\widehat{\xi}_{\mathcal{O}}$ of stable Richardson nilpotent orbital integrals $\xi_{\mathcal{O}}$. We express $\epsilon_{\star}(\widehat{\xi}_{\mathcal{O}})$ as the log-canonical threshold of a suitable relative Weyl discriminant, and use a resolution of singularities algorithm coming from the theory of hyperplane arrangements, to compute it in terms of the partition associated with the orbit. We obtain several applications; firstly, we provide bounds on the multiplicities of $K$-types in irreducible representations of $G$ in the $p$-adic case, where $K$ is an open compact subgroup. We further obtain bounds on the multiplicities of the irreducible representations appearing in the space $L^{2}(K/L)$, where $K$ is a compact simple Lie group, and $L\leq K$ is a Levi subgroup. Finally, we discover surprising applications in random matrix theory, namely to the study of the eigenvalue distribution of powers of random unitary matrices.

Explore related subjects

Keep this discovery

BibTeXRIS

Itay Glazer, Julia Gordon, Yotam I. Hendel. 2023-12-04. Integrability and singularities of Harish-Chandra characters. https://arxiv.org/abs/2312.01591

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT