Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1507.02619

The canonical measure on a reductive p-adic group is motivic

Julia Gordon·David Roe
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $G$ be a connected reductive group over a non-Archimedean local field. We prove that its parahoric subgroups are definable in the Denef-Pas language, which is a first-order language of logic used in the theory of motivic integration developed by Cluckers and Loeser. The main technical result is the definability of the connected component of the N\'eron model of a tamely ramified algebraic torus. As a corollary, we prove that the canonical Haar measure on $G$, which assigns volume $1$ to the particular \emph{canonical} maximal parahoric defined by Gross, is motivic. This result resolves a technical difficulty that arose in Cluckers-Gordon-Halupczok and Shin-Templier and permits a simplification of some of the proofs in those articles. It also allows us to show that formal degree of a compactly induced representation is a motivic function of the parameters defining the representation.

Explore related subjects

math.RT

Keep this discovery

BibTeXRIS

Julia Gordon, David Roe. 2015-07-09. The canonical measure on a reductive p-adic group is motivic. https://arxiv.org/abs/1507.02619

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗