arXiv subjects
Publications and source records attributed to Loren Spice.
We provide a discussion of Jordan decompositions in the Lie algebra, and the dual Lie algebra, of a reductive group in as uniform a way as possible. We give a counterexample to the claim that Jordan decompositions on the dual Lie algebra are unique, and state an upper bound on how non-unique they can be. We also prove some Chevalley-restriction-type claims about GIT quotients for the adjoint and co-adjoint actions of $G$.
Let $k$ be a field, and suppose that $\Gamma$ is a smooth $k$-group that acts on a connected, reductive $k$-group $\widetilde G$. Let $G$ denote the maximal smooth, connected subgroup of the group of $\Gamma$-fixed points in $\widetilde G$. Under fairly general conditions, we show that $G$ is a reductive $k$-group, and that the image of the functorial embedding $\mathscr{S}(G) \longrightarrow \mathscr{S}(\widetilde G)$ of spherical buildings is the set of ``$\Gamma$-fixed points in $\mathscr{S}(\widetilde G)$'', in a suitable sense. In particular, we do not need to assume that $\Gamma$ has order relatively prime to the characteristic of $k$ (nor even that $\Gamma$ is finite), nor that the action of $\Gamma$ preserves a Borel-torus pair in $\widetilde G$.
We give a modification of Yu's construction of supercuspidal representations of a connected reductive group over a non-archimedean local field. This modification restores the validity of certain key intertwining property claims made by Yu, which were recently proven to be false for the original construction. This modification is also an essential ingredient in the explicit construction of supercuspidal L-packets. As further applications, we prove the stability and many instances of endoscopic character identities of these supercuspidal L-packets, subject to some conditions on the base field. In particular, for regular supercuspidal parameters we prove all instances of standard endoscopy. In addition, we prove that these supercuspidal L-packets satisfy a certain property, which, together with standard endoscopy, uniquely characterizes the local Langlands correspondence for supercuspidal L-packets (again subject to the above mentioned conditions on the base field). These results are based on a statement of the Harish-Chandra character formula for the supercuspidal representations arising from the twisted Yu construction.
We unwind the induction implicit in the "one-step" asymptotic expansions of arXiv:1701.02417 to describe how to turn asymptotic expansions, such as (but not limited to) the Harish-Chandra--Howe local character expansion, for depth-(0) supercuspidal characters into Kim--Murnaghan-type asymptotic expansions for arbitrary positive-depth, tame, supercuspidal characters. Doing so requires analogous results for Fourier transforms of orbital integrals on the Lie algebra of a reductive group, which are of independent interest.
We consider two sign characters defined on a tamely ramified maximal torus T of a twisted Levi subgroup M of a reductive p-adic group G. We show that their product extends to the stabilizer M(F)_x of any point x in the Bruhat-Tits building of T, and give a formula for this extension. This result is used in the passage between zero and positive depth in the explicit construction of supercuspidal L-packets, as well as in forthcoming work on the Harish-Chandra character formula for supercuspidal representations.
Let $G$ be a reductive group over a $p$-adic field $F$ of characteristic zero, with $p \gg 0$. In [Kim04], J.-L. Kim studied an equivalence relation called weak associativity on the set of unrefined minimal $K$-types for $G$ in the sense of A. Moy and G. Prasad. Following [Kim04], we attach to the set \(\overline{\mathfrak s}\) of good \(K\)-types in a weak associate class of positive-depth unrefined minimal $K$-types a $G(F)$-invariant open and closed subset $\mathfrak g(F)_{\overline{\mathfrak s}}$ of the Lie algebra $\mathfrak g(F)$ of $G(F)$, and a subset $\tilde G_{\overline{\mathfrak s}}$ of the admissible dual \(\tilde G\) of \(G(F)\) consisting of those representations containing an unrefined minimal $K$-type that belongs to $\overline{\mathfrak s}$. Then \(\tilde G_{\overline{\mathfrak s}}\) is the union of finitely many Bernstein components for $G$, so that we can consider the Bernstein projector $E_{\overline{\mathfrak s}}$ that it determines. We show that $E_{\overline{\mathfrak s}}$ vanishes outside the Moy--Prasad $G(F)$-domain $G(F)_r \subset G(F)$, and reformulate a result of Kim as saying that the restriction of $E_{\overline{\mathfrak s}}$ to $G(F)_r$, pushed forward via the logarithm to the Moy--Prasad $G(F)$-domain $\mathfrak g(F)_r \subset \mathfrak g(F)$, agrees on $\mathfrak g(F)_r$ with the inverse Fourier transform of the characteristic function of $\mathfrak g(F)_{\overline{\mathfrak s}}$. This is a variant of one of the descriptions given by R. Bezrukavnikov, D. Kazhdan and Y. Varshavsky in arXiv:1504.01353 for the depth-$r$ Bernstein projector.
We combine the ideas of a Harish-Chandra--Howe local character expansion, which can be centred at an arbitrary semisimple element, and a Kim--Murnaghan asymptotic expansion, which so far has been considered only around the identity. We show that, for most smooth, irreducible representations (those containing a good, minimal K-type), Kim--Murnaghan-type asymptotic expansions are valid on explicitly defined neighbourhoods of nearly arbitrary semisimple elements. We then give an explicit, inductive recipe for computing the coefficients in an asymptotic expansion for a tame supercuspidal representation. The only additional information needed in the inductive step is a fourth root of unity, which we expect to be useful in proving stability and endoscopic-transfer identities.
We re-write the character formulæ of Adler and the second-named author in a form amenable to explicit computations in $p$-adic harmonic analysis, and use them to prove the stability of character sums for a modification of Reeder's conjectural positive-depth, unramified, toral supercuspidal L-packets.
The computation of the characters of supercuspidal representations of a p-adic group involves some 4th roots of unity whose values are defined in terms of orbits of the Galois group of a p-field on a root system. The part of the definition that is of interest in the verification of stability of character sums involves just the parity of the number of Galois orbits. In this paper, we re-cast the definition (nearly) in terms only of the abstract action of a pair of automorphisms on a root system, and compute it by a series of reductions in all cases.
The character formulas of Sally and Shalika are an early triumph in $p$-adic harmonic analysis, but, to date, the calculations underlying the formulas have not been available. In this paper, which should be viewed as a precursor of the forthcoming volume by the authors and Alan Roche, we leverage modern technology (for example, the Moy-Prasad theory) to compute explicit character tables. An interesting highlight is the computation of the 'exceptional' supercuspidal characters, i.e., those depth-zero representations not arising by inflation-induction from a Deligne-Lusztig representation of finite $\operatorname{SL}_2$; this provides a concrete application for the recent work of DeBacker and Kazhdan.
The Harish-Chandra--Howe local character expansion expresses the characters of reductive, $p$-adic groups in terms of Fourier transforms of nilpotent orbital integrals on their Lie algebras, and Murnaghan--Kirillov theory expresses many characters of reductive, $p$-adic groups in terms of Fourier transforms of semisimple orbital integrals (also on their Lie algebras). In many cases, the evaluation of these Fourier transforms seems intractable; but, for $\operatorname{SL}_2$, the nilpotent orbital integrals have already been computed. In this paper, we use a variant of Huntsinger's integral formula, and the theory of $p$-adic special functions, to compute semisimple orbital integrals.
This paper is concerned with the values of Harish-Chandra characters of a class of positive-depth, toral, very supercuspidal representations of $p$-adic symplectic and special orthogonal groups, near the identity element. We declare two representations equivalent if their characters coincide on a specific neighbourhood of the identity (which is larger than the neighbourhood on which Harish-Chandra local character expansion holds). We construct a parameter space $B$ (that depends on the group and a real number $r>0$) for the set of equivalence classes of the representations of minimal depth $r$ satisfying some additional assumptions. This parameter space is essentially a geometric object defined over $\Q$. Given a non-Archimedean local field $\K$ with sufficiently large residual characteristic, the part of the character table near the identity element for $G(\K)$ that comes from our class of representations is parameterized by the residue-field points of $B$. The character values themselves can be recovered by specialization from a constructible motivic exponential function. The values of such functions are algorithmically computable. It is in this sense that we show that a large part of the character table of the group $G(\K)$ is computable.
We compute the characters of many supercuspidal representations of reductive p-adic groups. Specifically, we deal with representations that arise via Yu's construction from data satisfying a certain compactness condition. Each character is expressed in terms of a depth-zero character of a smaller group, the (linear) characters appearing in Yu's construction, Fourier transforms of orbital integrals, and certain signs and cardinalities that are described explicitly in terms of the datum associated to the representation and of the element at which the character is evaluated.
The notion of a topological Jordan decomposition of a compact element of a reductive p-adic group has proven useful in many contexts. In this paper, we generalise it to groups defined over fairly general discretely-valued fields and prove the usual existence and uniqueness properties, as well as an analogue of a fixed-point result of Prasad and Yu.
We show that, under fairly general conditions, many elements of a p-adic group can be well approximated by a product whose factors have properties that are helpful in performing explicit character computations.