arXiv ScienceSearch

arXiv · 1805.01205

Evaluation of characters of smooth representations of $GL(2,\mathcal {O})$: I. Strongly primitive representations of even level

Abstract

Let $F$ be a local field, let ${\mathcal O}$ be its integer ring and $\varpi$ a uniformizer of its maximal ideal. To an irreducible complex finite dimensional smooth representation $\pi$ of $GL(2,{\mathcal O})$ is associated a pair of positive integers $k, k'$ called the level and the sublevel of $\pi.$ The level is the smallest integer $k$ such that $\pi$ factorizes through the finite group $GL(2,{\mathcal O}/\varpi^k {\mathcal O})$, whereas the sublevel is the smallest integer $k'\leq k$ such that there exists $\chi,$ one dimensional representation of $GL(2,{\mathcal O}),$ such that $\pi\otimes \chi$ factorizes through the finite group $GL(2,{\mathcal O}/\varpi^{k'} {\mathcal O}).$ A representation of $GL(2,{\mathcal O})$ is said strongly primitive if the level and sublevel are equal. The classification of smooth finite dimensional representations of $GL(2,{\mathcal O})$ is equivalent to the classification of strongly primitive irreducible representations of $GL(2,{\mathcal O}).$ In this first article we describe explicitely the even level strongly primitive irreducible finite dimensional complex representations of $GL(2,{\mathcal O})$ along the lines of A.Stasinski and R.Barrington-Leigh, G.Cliff and Q.Wen using Clifford theory. In the case where the characteristic $p$ of the residue field is not equal to $2,$ we give exact formulas for the characters of these representations in most cases by reducing them to the evaluation of Gauss sums, Kloosterman sums and Sali\'e sums for the finite ring ${\mathcal O}/\varpi^k{\mathcal O}.$ It generalizes the work of R.Barrington-Leigh, G.Cliff and Q.Wen which was devoted to $F={\mathbb Q}_p.$ A second article will give the evaluation of characters in the odd level case and the exact expressions for certain generalized Zeta function representations of $PGL(2,{\mathcal O})$.

Explore related subjects

Keep this discovery

BibTeXRIS

Philippe Roche. 2018-05-03. Evaluation of characters of smooth representations of $GL(2,\mathcal {O})$: I. Strongly primitive representations of even level. https://arxiv.org/abs/1805.01205

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