Explicit asymptotic expansions for tame supercuspidal characters

TL;DR

This paper develops explicit asymptotic expansions for tame supercuspidal characters around semisimple elements, combining local character and Kim--Murnaghan expansions, with an inductive method for coefficient computation.

Contribution

It introduces a new explicit, inductive approach to compute asymptotic expansion coefficients for tame supercuspidal representations near semisimple elements.

Findings

Validates Kim--Murnaghan-type expansions near arbitrary semisimple elements.

Provides an explicit recipe for coefficient calculation in asymptotic expansions.

Highlights potential applications in stability and endoscopic transfer proofs.

Abstract

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.

Equations

$$\mathrm{Int}:\mathbf{G}\to \mathrm{Aut}(\mathbf{G}{)}^{\circ },$$

$$\mathrm{Ad}:\mathbf{G}\to {\mathrm{Aut}}_{\text{Lie}}(\mathrm{Lie}(\mathbf{G})),$$

$${\mathrm{Ad}}^{\ast }:\mathbf{G}\to {\mathrm{Aut}}_k({\mathrm{Lie}}^{\ast }(\mathbf{G})),$$

$$\mathrm{ad}:\mathrm{Lie}(\mathbf{G})\to \mathrm{Der}(\mathrm{Lie}(\mathbf{G})),$$

$${\mathrm{ad}}^{\ast }:\mathrm{Lie}(\mathbf{G})\to {\mathrm{End}}_k({\mathrm{Lie}}^{\ast }(\mathbf{G}))$$

$$\mathrm{Lie}(\vec{\mathbf{G}})$$

$${\mathrm{Lie}}^{\ast }(\vec{\mathbf{G}})$$

$$\mathcal{D}\vec{\mathbf{G}}$$

$$\hat{f}(v^{\ast })={\int }_{V}f(v)\Lambda (⟨v^{\ast },v⟩)\text{d}v\text{for all v∗∈V∗.}$$

$${\check{f}}^{\ast }(v)={\int }_{V^{\ast }}{f}^{\ast }(v^{\ast })\overline{\Lambda (⟨v^{\ast },v⟩)}\text{d}{v}^{\ast }\text{for all v∈V.}$$

$$\mathrm{tr}\pi (f)\text{equals}{\int }_G{\Theta }_{\pi }(g)f(g)\text{d}g$$

$${\mu }_{\mathcal{O}}^G(\hat{f})\text{equals}{\int }_{\mathrm{Lie}(H)}{\hat{\mu }}_{\mathcal{O}}^G(Y)f(Y)\text{d}Y$$

$${\mathrm{stab}}_{G^{\prime }}(\overline{x})G_{x\ge f_1}\cap G_{x\ge f_2}$$

$${\mathrm{stab}}_{{\mathbf{G}}^{\prime }(E)}(\overline{x})\mathbf{G}(E{)}_{x\ge f_1}\cdot \mathbf{G}(E{)}_{x\ge f_2}\cap G$$

$${\mathrm{stab}}_{{\mathbf{G}}^{\prime }(E)}(\overline{x})\mathbf{G}(E{)}_{x\ge g_1}\cap \mathbf{G}(E{)}_{x\ge g_2}\text{equals}\mathbf{G}(E{)}_{x\ge g},$$

$$g(\alpha )=\{\begin{array}{ll}\max \{0,g_2(\alpha )\},& \alpha \in \tilde{\Phi }({\mathbf{G}}_{k^{\text{sep}}}^{\prime },{\mathbf{T}}_{k^{\text{sep}}})\\ \max \{g_1(\alpha ),g_2(\alpha )\},& \text{otherwise,}\end{array}$$

$$H^1(E/k,{\mathrm{stab}}_{{\mathbf{G}}^{\prime }(E)}(\overline{x})\mathbf{G}(E{)}_{x\ge g_1}\cap \mathbf{G}(E{)}_{x\ge g_2})$$

$$1$$

$$\to {\mathrm{stab}}_{{\mathbf{G}}^{\prime }(E)}(\overline{x})\mathbf{G}(E{)}_{x\ge g_1}\times \mathbf{G}(E{)}_{x\ge g_2}$$

$$\to {\mathrm{stab}}_{{\mathbf{G}}^{\prime }(E)}(\overline{x})\mathbf{G}(E{)}_{x\ge g_1}\cdot \mathbf{G}(E{)}_{x\ge g_2}$$

$$\ast$$

$$\to ({\mathrm{stab}}_{{\mathbf{G}}^{\prime }(E)}(\overline{x})\mathbf{G}(E{)}_{x\ge g_1}\cap G)\times G_{x\ge g_2}$$

$$\to {\mathrm{stab}}_{{\mathbf{G}}^{\prime }(E)}(\overline{x})\mathbf{G}(E{)}_{x\ge g_1}\cdot \mathbf{G}(E{)}_{x\ge g_2}\cap G$$

$${\mathrm{stab}}_{G^{\prime }}(\overline{x})G_{x\ge f_1}\text{equals}{\mathrm{stab}}_{{\mathbf{G}}^{\prime }(E)}(\overline{x})\mathbf{G}(E{)}_{x\ge f_1}\cap G.$$

$${\mathrm{stab}}_{G^{\prime }}(\overline{x})G_{x\ge f_1}\cdot G_{x\ge f_2}=({\mathrm{stab}}_{{\mathbf{G}}^{\prime }(E)}(\overline{x})\mathbf{G}(E{)}_{x\ge f_1}\cap G)G_{x\ge f_2}$$

$$(f_1\vee f_2)(\alpha )$$

$$(f_1\bowtie f_2)(\alpha )$$

$$(f_1⋊f_2)(\alpha )$$

$$\ast$$

$$\ast \ast$$

$$\mathcal{B}(C_{G^{j_1}}^{(<i_1)}({\gamma }^{\pm 1}))\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}$$

$${\vec{G}}_{x\ge \vec{a}}\cap C_G^{(<i)}({\gamma }^{\pm 1})\text{equals}{C}_{\vec{G}}^{(<i)}({\gamma }^{\pm 1}{)}_{x\ge \vec{a}},$$

$$f=\bigl{(}(f^{\text{n}}_{i})_{\begin{subarray}{c}i\in{\widetilde{\mathbb{R}}}\\ 0\leq i\leq r\end{subarray}},(f^{\text{d}}_{i},f^{\text{c}}_{i})_{\begin{subarray}{c}i\in{\widetilde{\mathbb{R}}}\cup\{-\infty\}\\ i<0\end{subarray}}\bigr{)}$$

$$\begin{gathered} \underset{0\le i\le r}{⨁}\mathrm{Lie}(C_G^{(\le i)}(\gamma ){)}^{\perp }\cap \mathrm{Lie}(C_{\vec{G}}^{(<i)}(\gamma ){)}_{x\ge {\vec{a}}_i^{\text{n}}}\oplus \\ \underset{i<0}{⨁}\mathrm{Lie}(C_G^{(\le i)}({\gamma }^{\pm 1}){)}^{\perp }\cap (\mathrm{Lie}(C_{\vec{G}}^{(<i)}(\gamma ){)}_{x\ge {\vec{a}}_i^{\text{d}}}\oplus \mathrm{Lie}(C_{\vec{G}}^{(<i)}({\gamma }^{-1}){)}_{x\ge {\vec{a}}_i^{\text{c}}}), \end{gathered}$$

$$\big{\langle}\bigcup_{0\leq i\leq r}\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{\vec{a}^{\text{n}}_{i}}}\cup\bigcup_{i<0}(\operatorname{C}_{N^{-}\cap{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{\vec{a}^{\text{d}}_{i}}}\cup\operatorname{C}_{N^{+}\cap{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{\vec{a}^{\text{c}}_{i}}})\big{\rangle}.$$

$${\mathrm{Lie}}^{\ast }(\vec{G}{)}_{x\ge f}\text{equals}\{Y^{\ast }\in {\mathrm{Lie}}^{\ast }(G)|\text{⟨Y∗,Y⟩∈k>0 for all Y∈Lie(G)x≥f~}\}.$$

$$f_r^{\text{n}}$$

Full text

The author was partially supported by Simons Foundation Collaboration Grant 246066.

1. 1 Introduction

2. 1.1 Motivation

3. 1.2 Structure of the paper

4. 1.3 Acknowledgements

5. 2 Notation and definitions

6. 2.1 Representations and function spaces

7. 2.2 Algebraic varieties and algebraic groups

8. 2.3 Algebraic groups over non-Archimedean fields, and subgroups associated to concave functions

9. 3 Compact, open subgroups

10. 3.1 Groups associated to concave functions

11. 3.2 Groups associated to depth matrices

12. 4 Existence of asymptotic expansions

13. 4.1 Good, and nearly good, elements

14. 4.2 A group analogue of a quadratic form

15. 4.3 Dual blobs

16. 4.4 Asymptotic expansions and K-types

17. 5 Computation of asymptotic expansions

18. 5.1 Gauss sums and Weil indices

19. 5.2 Matching distributions on groups and subgroups

20. 5.3 Supercuspidal representations

1. Introduction

1.1. Motivation

According to Harish-Chandra’s Lefschetz principle, by analogy with the situation for real groups, the character tables of representations of $p$-adic groups are expected to carry significant information about harmonic analysis on those groups. For example, in [debacker-spice:stability], DeBacker and the author used the character computations of Adler and the author [adler-spice:explicit-chars] to show that a certain natural candidate for an L-packet, constructed and shown to satisfy many of the necessary properties by Reeder [reeder:sc-pos-depth], satisfied stability conditions. Actually, a slight modification to the construction of Yu [yu:supercuspidal], on which the conjecture is built, was necessary; see [debacker-spice:stability]*Definition LABEL:debacker-spice:stability:defn:twisted-cusp-ind and, from a different perspective, our discussion of Weil representations in §5.3. It is not clear that the appropriate modification could easily have been seen from “first principles”, but it essentially popped out of the explicit character formulæ of [adler-spice:explicit-chars]. These investigations have been generalised, and put in a broader setting related to the local Langlands correspondence, by Kaletha in [kaletha:simple-wild, kaletha:epipelagic, kaletha:regular-sc], the last of which seems to represent the current state of the art in extracting such information from character formulæ.

In [kaletha:regular-sc]*Corollary 4.10.1, Kaletha shows that the character formula [debacker-spice:stability]*Theorem LABEL:debacker-spice:stability:thm:ratl, which is stated by DeBacker and the author only for supercuspidal representations attached to data satisfying a compactness condition, is valid on regular, topologically semisimple elements for the so called regular supercuspidal characters, even if they do not satisfy the compactness condition. In [kaletha:regular-sc]Corollary 4.7.2, he also re-interprets the roots of unity in [debacker-spice:stability]§LABEL:debacker-spice:stability:sec:root in such a way that they make sense on the dual-group side, even without the fine structure theory of $p$-adic groups. This allows him to construct L-packets [kaletha:regular-sc]*Proposition 5.2.4, and to prove stability [kaletha:regular-sc]*Theorem 6.3.2 and endoscopic-transfer identities [kaletha:regular-sc]*Theorem 6.3.4 as a consequence of the re-interpreted character formulæ (in particular, globally for toral supercuspidal characters, and on the regular, topologically semisimple set for all regular supercuspidal characters). In order to extend the range of validity of these identities, some generalisation of the character formula is needed.

One immediate obstruction is the fact that the compactness assumption in [adler-spice:explicit-chars]Theorem LABEL:adler-spice:explicit-chars:thm:char-tau|pi-1 is not just an artifact of the proof; it is needed even to state the result, by guaranteeing the finite-dimensionality of some representations and so allowing us to view their characters as, not merely densely defined via the intricate Harish-Chandra machinery of representing functions ([hc:harmonic]§6, p. 60, Theorem 12 and [hc:submersion]*§4, p. 99, corollary to Theorem 2), but actually globally defined objects. Indeed, [adler-spice:explicit-chars]*Theorem LABEL:adler-spice:explicit-chars:thm:full-char is stated in terms of the values $\Theta_{\pi^{\prime}_{0}}(\gamma^{\prime}_{0})$ of a character $\pi^{\prime}_{0}$ at a possibly singular, topologically semisimple (modulo centre) element $\gamma^{\prime}_{0}$, and it is not clear how to assign sensibly a numerical value to this symbol in all cases if $\pi^{\prime}_{0}$ is infinite-dimensional, so that the operator $\pi^{\prime}_{0}(\gamma^{\prime}_{0})$ is not trace class.

The work of Kim–Murnaghan [jkim-murnaghan:charexp, jkim-murnaghan:gamma-asymptotic] on asymptotic expansions, similar to the local character expansion but phrased in terms of non-nilpotent orbits, suggests one way forward. Indeed, [adler-spice:explicit-chars]*Corollary LABEL:adler-spice:explicit-chars:cor:char-tau|pi-1-germ shows that the formulæ of [adler-spice:explicit-chars] specialise near the identity to the simplest case of such an asymptotic expansion (in terms of a single, semisimple orbital integral). Unfortunately, this can only give information near the identity. Here we turn to the work of Adler–Korman [adler-korman:loc-char-exp], which follows DeBacker [debacker:homogeneity] and Kim–Murnaghan in proving quantitative results for asymptotic expansions centred at non-identity elements. The Adler–Korman results concern the local character expansion, in terms of nilpotent orbital integrals. We view these two programs as suggesting a middle ground: a Kim–Murnaghan-type asympotic expansion, but centred around arbitrary semisimple points.

This gives an idea for the shape of a general character formula, but there is one important piece of information missing: namely, the coefficients in the asymptotic expansions. In [debacker-spice:stability]*Theorem LABEL:debacker-spice:stability:thm:ratl, DeBacker and the author re-write the character formulæ of [adler-spice:explicit-chars] in a form that seems more amenable to use in computational harmonic analysis. In this paper we give an explicit inductive recipe, inspired by the re-written characters of [debacker-spice:stability], for computing the relevant coefficients when the representation being considered is tame supercuspidal (i.e., arises from Yu’s construction [yu:supercuspidal]). In future joint work with DeBacker and Kaletha, we will explore the consequences of these results for the endoscopic-transfer identities of [kaletha:regular-sc] for non-toral, regular supercuspidal representations.

1.2. Structure of the paper

One surprising aspect of this paper is that, although our goal is explicit character computations, we do not even mention representations except in §§4.4 and 5.3. It turns out that much of the machinery that we need can be constructed in the setting of general invariant distributions. We hope that this extra generality will be useful in future applications.

In §2, we lay out the standard notation that we will use. In §3.1, we briefly recall the Bruhat–Tits theory of groups associated to concave functions [bruhat-tits:reductive-groups-1]Proposition 6.4.9, and use Yu’s approach to their structure theory [yu:supercuspidal]§2 to do a few calculations. In §3.2, we modify the theory to handle a class of compact, open subgroups whose definition involves reductive, algebraic subgroups that need not have full rank. In previous work [adler-spice:good-expansions, adler-spice:explicit-chars, debacker-spice:stability], we have often needed to impose considerable tameness hypotheses in order to handle such groups. Although we are not yet ready completely to discard such hypotheses, we can at least isolate exactly the parts that we need. Namely, we have Hypotheses 4.3.1, 4.3.4, and 5.1.6, which deal with the group itself; Hypotheses 3.2.2, 3.2.8, and 4.4.2, which concern the element $\gamma$ about which we centre our asymptotic expansions; and Hypotheses 4.1.1 and 4.4.6, which concern the K-types contained in the representations whose characters we want to compute, and are automatically satisfied for Yu’s tame supercuspidal representations. (There are also Hypotheses 4.1.5 and 5.1.7, which need not be explicitly imposed for the main results, where they are automatically satisfied.) All of these are known to hold in many cases; we discuss sufficient conditions for each as it is introduced.

We have also avoided as long as possible assuming that our group is connected (or that the automorphism of its identity component induced by the element $\gamma$ of §3.2 is inner). Although we eventually do inherit this assumption from [yu:supercuspidal] in §5.3, we have laid enough of the groundwork by that point that we hope it can serve as a starting point for investigating asymptotic expansions related to twisted characters and base change.

Although our final result provides explicit computations only for tame supercuspidal representations, it turns out that the asymptotic-expansion machinery built by DeBacker in [debacker:homogeneity], and later generalised by Kim–Murnaghan in [jkim-murnaghan:charexp, jkim-murnaghan:gamma-asymptotic] and Adler–Korman in [adler-korman:loc-char-exp], is sufficiently general that it can handle our recentred existence results for most smooth, irreducible representations. In §4.1, we recall the now-standard properties of “good” elements, slightly generalised to the non-connected setting. Our goal is to use this machinery to describe the good minimal K-types, but, before we do so, it turns out to be convenient to take a detour in §4.2 to do some abstract-algebraic computations that allow us to define a “perpendicular group”, in some sense analogous to the groups $J$ and $J_{+}$ of [yu:supercuspidal]*§9, that will be useful in our later computation of Gauss sums (§5.1). In §§4.3, 4.4, we describe the K-types that we consider. Our first main result, Theorem 4.4.11, shows that the character of a representation containing one of these K-types has Kim–Murnaghan-style asymptotic expansions, on explicitly described neighbourhoods, about (nearly) arbitrary semisimple elements, not just the identity.

In §5, we build to a quantitative version of the qualitative results of §4. Inevitably (see [adler-spice:explicit-chars], and the historical discussion there), explicit calculations in $p$-adic harmonic analysis seem to involve certain fourth roots of unity known as Gauss sums. In [kaletha:regular-sc]*§§4.6–4.7, Kaletha shows that these fourth roots of unity are actually indirectly predicted by the local Langlands correspondence, since they occur in the definition of the transfer factor. In §5.1, we follow Waldspurger [waldspurger:loc-trace-form] in interpreting these roots of unity as Weil indices. We expect that the recent work of Kottwitz [kottwitz:weil], which has already been used in [kaletha:epipelagic]*Theorem 4.10 and [kaletha:regular-sc]*Corollary 4.7.2, will continue to be helpful in translating these fourth roots of unity into a form suited to stability and endoscopic-transfer calculations.

Our work in §5.1 falls into two parts. The easy part is to define a Weil index using the Lie algebra (Notation 5.1.2); the hard part is to show that this index actually arises in computations on the group. We do this latter in Proposition 5.1.8. This section is the analogue of [adler-spice:explicit-chars]*§LABEL:adler-spice:explicit-chars:ssec:gauss. We have managed to avoid the “centrality assumption” [adler-spice:explicit-chars]Hypothesis LABEL:adler-spice:explicit-chars:hyp:X-central there by working as much as possible directly on the group (which behaves well under tame base change), rather than with values of linear characters (which need not extend). We hope that the occasionally hairy computations are justified by what we see as increased clarity of the underlying concepts.

The heart of this paper is §5.2. As mentioned above, although our final goal is to compute characters, it turns out that many of the tools along the way—particularly vanishing results, which cut down on the support of a character, or on the domain over which an integral must be extended—work just as well for arbitrary invariant distributions. In particular, we have isolated a key part of [adler-spice:explicit-chars]*Proposition LABEL:adler-spice:explicit-chars:prop:step1-support as Lemma 5.2.3; and translated the crux of [adler-spice:explicit-chars]Proposition LABEL:adler-spice:explicit-chars:prop:step1-formula1 to the setting of general invariant distributions, as Proposition 5.2.6. With these tools in hand, we can prove the main result of the section, Theorem 5.2.8, which is a descent result that allows us to relate the coefficients in asymptotic expansions on a group $\mathbf{G}$ and a twisted Levi subgroup ${\mathbf{G}}^{\prime}$. We show again here the inspiration that we have drawn from the work of Kim–Murnaghan; our Theorem 5.2.8 is very reminiscent of the descent arguments appearing in [jkim-murnaghan:gamma-asymptotic]§§6.2, 7.2.

Of course, some compatibility condition is necessary between the distributions on $G$ and $G^{\prime}$. We have phrased it in a way that, we believe, suggests a Hecke-algebra isomorphism crying out to be discovered. We are not yet able to prove the existence of such an isomorphism, but the first main result of §5.3, Theorem 5.3.8, describes a crude but suitable substitute in the setting of Yu’s construction of tame supercuspidal representations. Combining this with Theorem 5.2.8 allows us to deduce the main result of the paper, Theorem 5.3.11, which gives an explicit, inductive description of the coefficients in the asymptotic expansion, centred around a (nearly) arbitrary semisimple point, of the character of a positive-depth, tame supercuspidal representation.

1.3. Acknowledgements

My advisor, Paul J. Sally, Jr., instilled in me the idea of the importance of explicit character formulæ in harmonic analysis, but passed away before I could share these results with him. I like to think that he would have been pleased. It is my honour to dedicate this paper to his memory.

I owe an enormous debt to Jeff Adler and Stephen DeBacker, who patiently endured endless streams of technical questions. I also benefited from conversations with Tasho Kaletha, who kept the pressure on me finally to write up the results, and Jessica Fintzen and Cheng-Chiang Tsai. Adler and Kaletha also made comments on an earlier draft of this paper. It is a pleasure to thank all of them.

Most of this paper was written while I was on sabbatical leave at the University of Michigan. I thank them for their hospitality, and for access to their incredible library; and the Simons Foundation for the funding that supported my travel.

2. Notation and definitions

2.1. Representations and function spaces

Most of the notation below is standard, but we point out two important points that might be unexpected. First, the function $[K,f]$ depends on the Haar measure $\textup{d}g$ on $G$, although the measure $[K,f]\textup{d}g$ does not. Second, we have followed [yu:supercuspidal]§17 in using the notation of [bushnell-kutzko:gln-book]§4.1, which builds in a contragredient to the definition of the Hecke algebra ${\mathcal{H}}(G{\sslash}K,\rho)$.

If $V$ is a vector space over any field $F$, then we denote by $\langle\cdot,\cdot\rangle$ the pairing between the dual space $V^{*}\mathbin{\vcentcolon=}\operatorname{Hom}_{F}(V,F)$ and $V$, so that, for $v^{*}\in V^{*}$ and $v\in V$, we write $\langle v^{*},v\rangle$ in place of $v^{*}(v)$.

If $\rho$ is a representation of a group $G$ on the $\mathbb{C}$-vector space $V$ such that point stabilisers are open, then we write $\rho^{\vee}$ for the contragredient representation of $G$ on $V^{\vee}$, given by $\langle\rho^{\vee}(g)v^{*},v\rangle=\langle v^{*},\rho(g)^{-1}v\rangle$ for all $v\in V$, $v^{*}\in V^{*}$, and $g\in G$. If $\gamma\mathrel{:}{G^{\prime}\to G}$ is a homomorphism from some other group $G^{\prime}$, then we write $\rho^{\gamma}$ for the representation $\rho\circ\gamma$ of $G^{\prime}$.

If $X$ is an $l$-space in the sense of [bernstein-zelevinskii:gln]*§1.1—i.e., a Hausdorff topological space for which every point has a neighbourhood system consisting of open and compact sets—then we write ${\mathcal{H}}(X)$ for its Hecke algebra, which is, by definition, the $\mathbb{C}$-vector space of locally constant, compactly supported, $\mathbb{C}$-valued functions on $X$. If

• •

$V$ is a finite-dimensional $\mathbb{C}$-vector space,

• •

$K_{1}$ (respectively, $K_{2}$) is a compact group acting on $X$ on the left (respectively, right), and

• •

$\rho_{i}$ is a representation of $K_{i}$ on $V$ with open point stabilisers for $i\in\{1,2\}$,

then we write ${\mathcal{H}}((K_{1},\rho_{1})\backslash X/(K_{2},\rho_{2}))$ for the subspace of those functions $f\in{\mathcal{H}}(X)\otimes\operatorname{End}_{\mathbb{C}}(V^{*})$ such that $f(k_{1}xk_{2})=\rho_{1}^{\vee}(k_{1})f(x)\rho_{2}^{\vee}(k_{2})$ for all $g\in X$, $k_{1}\in K$, and $k_{2}\in K_{2}$. If $\rho_{1}$ or $\rho_{2}$ is the trivial representation, then we may omit it, writing, for example, ${\mathcal{H}}(K_{1}\backslash X/K_{2})$. If $K_{1}$ equals $K_{2}$ and $\rho_{1}$ equals $\rho_{2}$, then we may write ${\mathcal{H}}(X{\sslash}K_{1},\rho_{1})$.

If $G$ is a topological group acting on $X$ on the left (respectively, right), then we denote the left (respectively, right) regular action of $G$ on ${\mathcal{H}}(X)$ simply by juxtaposition. Specifically, for $f\in{\mathcal{H}}(X)$ and $g_{1},g_{2}\in G$, we define $g_{1}fg_{2}\in{\mathcal{H}}(X)$ by $(g_{1}fg_{2})(g_{1}xg_{2})=f(x)$ for all $x\in X$.

Now suppose that $X$ is, in addition to being an $l$-space, a regular measure space. If $K$ is a compact, open subset of $X$ and $f$ belongs to ${\mathcal{H}}(K)$, then we write $[K,f]$ for the element of ${\mathcal{H}}(X)$ obtained by extending $\operatorname{meas}(K)^{-1}f$ by [math]. If $f$ is the constant function $1$, then we may omit it and write just $[K]$. With the obvious notation, we have $g_{1}[K,f]g_{2}=[g_{1}Kg_{2},g_{1}fg_{2}]$. We write ${\displaystyle\fint_{K}f(x)\textup{d}x}$ for $\displaystyle\int_{X}[K,f](x)\textup{d}x$.

2.2. Algebraic varieties and algebraic groups

Let $k$ be a field, and $\mathbf{G}$ a smooth group variety over $k$. (We shall soon impose additional assumptions on both.) We say just “variety” for “smooth variety over $k$”, and “group” for “smooth group variety over $k$”. The exception is that we want to discuss mostly, but not only, complex vector spaces; so we refer to a “$\mathbb{C}$-vector space” in that case, and, when necessary, to a “$k$-vector space”.

We denote varieties by boldface letters, and their sets of rational points by the corresponding un-bolded letters; so, for example, $G$ is the group of rational points of $\mathbf{G}$. We denote the identity component of an algebraic group with a following superscript circle, the Lie algebra by the corresponding Fraktur letter or by ‘Lie’, and the dual by ‘$\operatorname{Lie}^{*}$’; so, for example,

• •

${\mathbf{G}}^{\circ}$ is the identity component of $\mathbf{G}$,

• •

$\operatorname{Lie}({\mathbf{G}})$ or $\boldsymbol{{\mathfrak{g}}}$ stands for the Lie algebra of $\mathbf{G}$,

• •

$\operatorname{Lie}^{*}({\mathbf{G}})$ or $\boldsymbol{{\mathfrak{g}}}^{*}$ for its dual,

• •

$\operatorname{Lie}(G)$ or $\mathfrak{g}$ for its space of rational points, and

• •

$\operatorname{Lie}^{*}(G)$ or ${\mathfrak{g}}^{*}$ for the space of rational points of its dual (or, equivalently, the dual of its space of rational points).

We always use $G^{\circ}$ for $({\mathbf{G}}^{\circ})({k})$, not necessarily $({\mathbf{G}}({k}))^{\circ}$, which is reduced to a point when $k$ is totally disconnected. We write

[TABLE]

for the interior-automorphism, adjoint, and related maps.

We write ${\mathcal{D}}{\mathbf{G}}$ for the derived group of $\mathbf{G}$; and, if ${\vec{\mathbf{G}}}=({\mathbf{G}}^{0},\dotsc,{\mathbf{G}}^{\ell}={\mathbf{G}})$ is a collection of subgroups of $\mathbf{G}$, then we write

[TABLE]

We always use ${\mathcal{D}}G$ for $({\mathcal{D}}{\mathbf{G}})({k})$, not necessarily ${\mathcal{D}}({\mathbf{G}}({k}))$, which may be smaller.

If $\mathbf{V}$ is a representation of $\mathbf{G}$, then we write $\operatorname{D}_{\mathbf{V}}$ for the function ${\mathbf{G}}\to\operatorname{GL}_{1}$ given by $g\mapsto\det_{\mathbf{V}}(g-1)$. If $\mathbf{X}$ is a pointed, smooth variety on which $\mathbf{G}$ acts, preserving the preferred point $x$, and $\mathbf{V}$ is the tangent space to $\mathbf{X}$ at $x$, with the induced action of $\mathbf{G}$, then we may write $\operatorname{D}_{\mathbf{X}}$, or even just $\operatorname{D}_{X}$, in place of $\operatorname{D}_{\mathbf{V}}$. As in [debacker-spice:stability]*Definition LABEL:debacker-spice:stability:defn:disc, we write $\operatorname{D}^{\text{red}}_{G}$ for the functions on $G$ and its Lie algebra given by $\operatorname{D}^{\text{red}}_{G}(g)=\operatorname{D}_{G/\operatorname{C}_{G}(g_{\text{ss}})}(g)$ and $\operatorname{D}^{\text{red}}_{G}(Y)=\operatorname{D}_{\operatorname{Lie}(G)/\operatorname{Lie}(\operatorname{C}_{G}(Y_{\text{ss}}))}(Y)$, respectively.

We write ${\mathbf{G}}^{\text{rss}}$ for the set of regular, semisimple elements of $\mathbf{G}$.

2.3. Algebraic groups over non-Archimedean fields, and subgroups associated to concave functions

For the entire paper, we require that the field ${k}$ be complete with respect to a non-trivial discrete valuation $\operatorname{ord}$, for which the residue field ${\mathfrak{f}}$ is finite. We assume throughout the paper that the residual characteristic of $\mathfrak{f}$ is odd. (This is needed anyway to use the Weil representation appearing in [yu:supercuspidal], but we also need to use it again in our discussion of the Weil index in §5.1, and, in particular, in Proposition 5.1.8.) Fix a separable closure ${{{k}^{\text{sep}}}}/{k}$, and let ${{k}^{\text{tame}}}$ be the maximal tame extension of $k$ inside ${k}^{\text{sep}}$. For any algebraic extension $E/{k}$, we will denote the unique extension of $\operatorname{ord}$ to a valuation on $E$ again by $\operatorname{ord}$.

Throughout the paper, we fix a complex character ${\Lambda}$ of the additive group $k$ that is non-trivial on the ring of integers in $k$, but trivial on its unique maximal ideal. We will denote the induced character of $\mathfrak{f}$ also by $\Lambda$. If $V$ is a vector space and $X^{*}$ is an element of the dual space, then we write ${\Lambda}_{X^{*}}$ for the character ${\Lambda}\circ X^{*}$ of $V$.

Also for the entire paper, we require that ${\mathbf{G}}$ be a reductive, but not necessarily connected, algebraic group over $k$. We write ${\mathcal{B}}(G)$ for the enlarged Bruhat–Tits building of $\mathbf{G}$ over $k$, and let $x\mapsto{{\overline{x}}}$ be the projection from the enlarged to the reduced building. We will always equip $G$ (respectively, $\operatorname{Lie}(G)$) with Waldspurger’s canonical Haar measures [waldspurger:nilpotent]§I.4, which assign mass $\lvert\operatorname{Lie}({\overline{K}})\rvert^{-1/2}$ to the pro-unipotent radical $K_{+}$ of a parahoric subgroup $K$ (respectively, to the pro-nilpotent radical $\operatorname{Lie}(K_{+})$ of its Lie algebra) with reductive quotient $\overline{K}$; see [debacker-reeder:depth-zero-sc]§5.1, p. 835. Our results are usually stated in such a way that we need not make any reference to a specific choice of measure, but this specific choice is important in, for example, Theorem 5.2.8.

If $\mathcal{S}$ is a subset of $\operatorname{Lie}^{*}(G)$ (or even of some larger set containing it), then we write ${\mathcal{O}}^{G}({\mathcal{S}})$ for the collection of (rational) coadjoint orbits of $G$ on $\operatorname{Lie}^{*}(G)$ that intersect every neighbourhood (in the analytic topology) of $\mathcal{S}$. Thus, ${\mathcal{O}}^{G}(0)$ is the analogue of the set of nilpotent orbits in the Lie algebra ([kempf:instability]*Corollary 4.3 and [adler-debacker:bt-lie]*Lemma 2.5.1); and, if $\mathcal{S}$ does not intersect $\operatorname{Lie}^{*}(G)$, then ${\mathcal{O}}^{G}({\mathcal{S}})$ is empty.

If $V$ is a finite-dimensional $k$-vector space, then the Fourier transform $\hat{f}$ of $f\in{\mathcal{H}}(V)$ is the element of ${\mathcal{H}}(V^{*})$ given by

[TABLE]

Similarly, for $f^{*}\in{\mathcal{H}}(V^{*})$, we define

[TABLE]

Note that this depends on the choice of Haar measure $\textup{d}{v^{*}}$. There is a unique choice, called the dual Haar measure to $\textup{d}v$, so that $\check{\hat{f}}$ equals $f$ for all $f\in{\mathcal{H}}(V)$. Technically speaking, since we have not specified a choice of $\textup{d}v$, the functions $\hat{f}$ and $\check{f}^{*}$ are not well defined, although the measures $\hat{f}(v^{*})\textup{d}{v^{*}}$ and $\check{f}^{*}(v)\textup{d}v$ are. In practice, $V$ will be the Lie algebra of a reductive $p$-adic group, equipped with its canonical measure, so that this ambiguity will not cause a problem; and then we will equip the dual Lie algebra $V^{*}$ with the dual measure.

Definition 2.3.1**.**

As in [debacker-spice:stability]*Definition LABEL:debacker-spice:stability:defn:normal-harm, if $\pi$ is an admissible representation of $G$, then we write $\Theta_{\pi}$ for the scalar character of $\pi$, which is the function on $G^{\text{rss}}$ that represents the distribution character in the sense that

[TABLE]

for all $f\in{\mathcal{H}}(G)$ [adler-korman:loc-char-exp]*Proposition 13.1; and $\Phi_{\pi}$ for the function $g\mapsto\lvert\operatorname{D}_{G/\operatorname{C}_{G}(g)}(g)\rvert^{1/2}\Theta_{\pi}(g)$ on $G^{\text{rss}}$. Similarly, if $Z^{*}$ is an element of $\operatorname{Lie}^{*}(G)$ that is fixed by the coadjoint action of some maximal torus $\mathbf{T}$ in $\mathbf{G}$, and $\mathcal{O}$ belongs to ${\mathcal{O}}^{G}(Z^{*})$, then we write $\mu^{G}_{\mathcal{O}}$ for the orbital-integral distribution on $\operatorname{Lie}^{*}(G)$ given by integration against some invariant measure on $\mathcal{O}$, and $\hat{\mu}^{G}_{\mathcal{O}}$ for the function on $\operatorname{Lie}(G)^{\text{rss}}$ that represents its Fourier transform, in the sense that

[TABLE]

for all $f\in{\mathcal{H}}(\operatorname{Lie}(G)^{\text{rss}})$; and ${\widehat{O}^{G}_{\mathcal{O}}}$ for the function $Y\mapsto\lvert\operatorname{D}^{\text{red}}_{G}(Y)\rvert^{1/2}\lvert\operatorname{D}^{\text{red}}_{G}(Z^{*})\rvert^{1/2}\hat{\mu}^{G}_{\mathcal{O}}(Y)$ on $\operatorname{Lie}(G)^{\text{rss}}$. We sometimes write $\mu^{G}_{{\mathcal{S}}}$ in place of $\mu^{G}_{\mathcal{O}}$, and similarly for $\hat{\mu}$ and $\widehat{O}$, if $\mathcal{S}$ is a non-empty subset of $\mathcal{O}$. As in [debacker-spice:stability]*Remark LABEL:debacker-spice:stability:rem:disc:roots, we have written $\operatorname{D}^{\text{red}}_{G}(Z^{*})$ for the product $\prod\langle Z^{*},\textup{d}\alpha^{\vee}(1)\rangle$ over all weights $\alpha$ of ${\mathbf{T}}_{{k}^{\text{sep}}}$ on $\operatorname{Lie}({\mathbf{G}}_{{k}^{\text{sep}}})$ for which the multiplicand is non-[math]. (For now we are just establishing notation, so we ignore questions about convergence of the orbital integral; but see the discussion preceding Theorem 4.4.11.)

Remark 2.3.2*.*

Note that the distribution character $f\mapsto\Theta_{\pi}(f)$ on ${\mathcal{H}}(G)$ depends on the choice of Haar measure on $G$, but the scalar character $g\mapsto\Theta_{\pi}(g)$ on $G^{\text{rss}}$ does not. The distribution $f\mapsto\hat{\mu}^{G}_{\mathcal{O}}(f)$ on ${\mathcal{H}}(\operatorname{Lie}(G)$ depends on the choice of invariant measure on $\mathcal{O}$, which is determined by a Haar measure on $G$ and one on the centraliser in $G$ of an element of $\mathcal{O}$. A canonical choice is described in [moeglin-waldspurger:whittaker]§I.8 (see also [debacker:homogeneity]§3.4, p. 410). The representing function $Y\mapsto\hat{\mu}^{G}_{\mathcal{O}}(Y)$ on $\operatorname{Lie}(G)^{\text{rss}}$ depends on both these, and a Haar measure on $\operatorname{Lie}(G)$.

As in [adler-spice:good-expansions]*§LABEL:adler-spice:good-expansions:sec:notation-generalities, p. 8, we put ${{\widetilde{\mathbb{R}}}}={\mathbb{R}}\sqcup{{{\mathbb{R}}}+}\sqcup\{\infty\}$. We define ${{({{{r}+}})}+}={{r}+}$ for all $r\in{\mathbb{R}}$, and ${{\pm\infty}+}=\pm\infty$. We define $\tilde{r}={{({-r})}+}$ and $\widetilde{{{r}+}}=-r$ for all $r\in{\mathbb{R}}$, and $\widetilde{\pm\infty}=\mp\infty$. We extend addition on $\mathbb{R}$ to ${\widetilde{\mathbb{R}}}\sqcup\{-\infty\}$ by putting $r+{{s}+}=({{r}+})+s={{({r+s})}+}$ for all $r,s\in{\mathbb{R}}$; $r+(-\infty)=-\infty+r=-\infty$ and $r+\infty=\infty+r=\infty$ for all $r\in{\widetilde{\mathbb{R}}}$ with $r<\infty$; and $-\infty+(-\infty)=-\infty$ and $\pm\infty+\infty=\infty+(\pm\infty)=\infty$. We extend subtraction on $\mathbb{R}$ to a partial operation on ${\widetilde{\mathbb{R}}}\sqcup\{-\infty\}$ by putting $({{r}+})-s={{({r-s})}+}$ for all $r,s\in{\mathbb{R}}$; $r-(\pm\infty)=\mp\infty$ for all $r\in{\widetilde{\mathbb{R}}}$ with $r<\infty$; and $\pm\infty-(\mp\infty)=\pm\infty$.

We follow a suggestion of Cheng-Chiang Tsai and, for $(x,r)\in{\mathcal{B}}(G)\times{\mathbb{R}}_{\geq 0}$, replace the usual notations $G_{x,r}$ and $G_{x,{{r}+}}$ for Moy–Prasad subgroups ([moy-prasad:k-types]§§2.6, 3.2, 3.5 and [moy-prasad:jacquet]§§3.2, 3.3) by $G_{{x}\geq{r}}$ and $G_{{x}>{r}}$, respectively. For convenience, we make the convention that $G_{{x}>{{{r}+}}}$ means $G_{{x}>{r}}$. Note that, by definition, $G_{{x}\geq{r}}$ equals $G^{\circ}_{{x}\geq{r}}$. We use similar notation for groups associated to concave functions [bruhat-tits:reductive-groups-1]*§6.4.3, as in [adler-spice:good-expansions]*Definition LABEL:adler-spice:good-expansions:defn:vGvr, and for the Lie algebra, where we can drop the requirement that $r$ be non-negative (respectively, that the relevant function be concave); and in Definition 3.2.4, where we define an analogous class of groups.

These conventions inevitably suggest the notations $G_{{x}={r}}$ for $G_{{x}\geq{r}}/G_{{x}>{r}}$; we adopt this and obvious variants, even though they are a bit misleading in the case where $k$ has mixed characteristic. In particular, we write ${k}_{{}\geq{r}}=\{t\in{k}\>|\>\operatorname{ord}(t)\geq r\}$, and similarly for other notation related to the filtration on $k$; so, for example, $\mathfrak{f}$ equals ${k}_{{}={0}}={k}_{{}\geq{0}}/{k}_{{}>{0}}$.

3. Compact, open subgroups

3.1. Groups associated to concave functions

In Definition 3.2.4, we define a class of compact, open subgroups related to those constructed in [adler-spice:good-expansions]*Definition LABEL:adler-spice:good-expansions:defn:vGvr. For technical reasons involving the presence of algebraic subgroups that are not of full rank in $\mathbf{G}$, we work mostly with ‘depth vectors’ (see Definition 3.2.1) and ‘depth matrices’ (see Definition 3.2.4), rather than concave functions as in [adler-spice:good-expansions]; but we do need to consider such functions for two technical results.

Lemma 3.1.1 is mostly a straightforward generalisation of part of [adler-spice:good-expansions]*Proposition LABEL:adler-spice:good-expansions:prop:heres-a-gp, with essentially the same proof. We use it only in the proof of Lemma 5.3.5, where we need an additional technical fact, an analogue of [adler-spice:good-expansions]*Lemma LABEL:adler-spice:good-expansions:lem:more-vGvr-facts; so, for convenience, we state both facts together.

Working with groups associated to arbitrary concave functions rather than depth matrices allows us to ‘move’ a group $G_{{x}\geq{f}}$ to another point, by writing it as $G_{{y}\geq{f+(y-x)}}$. The condition on $f\vee f$ in Lemma 3.1.1 is needed to use [adler-spice:good-expansions]*Proposition LABEL:adler-spice:good-expansions:prop:H1-iso, but it is just for maximal generality; for us, it suffices to know that it is satisfied whenever $f$ is a translate by a linear function of an everywhere positive, concave function. Lemma 3.1.1 relies on [adler-spice:good-expansions]*Hypothesis LABEL:adler-spice:good-expansions:hyp:torus-H1-triv, but this is automatically satisfied when $\mathbf{G}$ is ${k}^{\text{tame}}$-split, which will be the case when we use the result (in Lemma 5.3.5).

In the notations $\operatorname{stab}_{{\mathbf{G}}^{\prime}(E)}({\overline{x}})$ and $\operatorname{stab}_{G}({\overline{x}})$, note that the symbol $\overline{x}$ stands for a point in the reduced building of ${\mathbf{G}}(E)$ or $G$, not necessarily of ${\mathbf{G}}^{\prime}(E)$ or $G^{\prime}$. The lemma relies crucially on the good descent properties of full stabilisers of points in the building; it would not work, for example, if we replaced $\operatorname{stab}_{{\mathbf{G}}^{\prime}(E)}({\overline{x}})$ and $\operatorname{stab}_{G^{\prime}}({\overline{x}})$ by their parahoric subgroups ${\mathbf{G}}^{\prime}(E)_{{x}\geq{0}}$ and $G^{\prime}_{{x}\geq{0}}$.

Lemma 3.1.1**.**

Suppose that

• •

*[adler-spice:good-expansions]**Hypothesis LABEL:adler-spice:good-expansions:hyp:torus-H1-triv holds,

• •

${\mathbf{G}}^{\prime}$* is the centraliser in ${\mathbf{G}}^{\circ}$ of a ${k}^{\text{tame}}$-split torus,*

• •

$\mathbf{T}$* is a maximally ${k}^{\text{tame}}$-split, maximal torus in $\mathbf{G}$,*

• •

$x$* is a point of ${\mathcal{B}}(T)$,*

• •

$E/{k}$* is a tame extension, and*

• •

$f_{1}$* and $f_{2}$ are $\widetilde{\mathbb{R}}$-valued, Galois-invariant, concave [bruhat-tits:reductive-groups-1]*§6.4.3 functions on the set ${\widetilde{\Phi}}({\mathbf{G}}_{{k}^{\text{sep}}},{\mathbf{T}}_{{k}^{\text{sep}}})$ of weights of ${\mathbf{T}}_{{k}^{\text{sep}}}$ in ${\mathbf{G}}_{{k}^{\text{sep}}}$ satisfying $f_{j}(0)>0$ and $f_{j}(\alpha)<(f_{j}\vee f_{j})(\alpha)$ **[adler-spice:good-expansions]**Definition 3.2.6 whenever $\alpha\in{\widetilde{\Phi}}({\mathbf{G}}_{{k}^{\text{sep}}},{\mathbf{T}}_{{k}^{\text{sep}}})$ is such that $f_{j}(\alpha)<\infty$, for $j\in\{1,2\}$.

Then

[TABLE]

Proof.

The first statement is proven, just as in [adler-spice:good-expansions]*Lemma LABEL:adler-spice:good-expansions:lem:more-vGvr-facts, by reducing to a combination of [adler-spice:good-expansions]*Lemmas LABEL:adler-spice:good-expansions:lem:gen-iwahori-factorization and LABEL:adler-spice:good-expansions:lem:Zariski; the crucial point is that $\operatorname{stab}_{G^{\prime}}({\overline{x}})G_{{x}\geq{f_{1}}}$ is contained in the product of $G^{\prime}$ with the root groups corresponding to roots of $\mathbf{T}$ in $\mathbf{G}$.

For the second statement, let $g_{1}$ and $g_{2}$ be any concave functions satisfying the analogues of the conditions imposed on $f_{1}$ and $f_{2}$. By the first statement (applied to ${\mathbf{G}}(E)$), we have that

[TABLE]

where

[TABLE]

hence by [adler-spice:good-expansions]*Proposition LABEL:adler-spice:good-expansions:prop:H1-iso that the cohomology

[TABLE]

is trivial. (This is where we use the hypotheses about $g_{j}\vee g_{j}$, and also where we require [adler-spice:good-expansions]*Hypothesis LABEL:adler-spice:good-expansions:hyp:torus-H1-triv.) Thus, considering the short exact sequence in cohomology associated to the exact sequence of pointed sets

[TABLE]

and using [adler-spice:good-expansions]*Lemma LABEL:adler-spice:good-expansions:lem:tame-descent, we see that the sequence

[TABLE]

of Galois-fixed points remains exact.

Applying ($*$ ‣ 3.1) with $g_{1}=\infty$, so that ${\mathbf{G}}(E)_{{x}\geq{g_{1}}}$ equals $\{1\}$, and $g_{2}=f_{1}$, and using that $\operatorname{stab}_{{\mathbf{G}}^{\prime}(E)}({\overline{x}})\cap G$ equals $\operatorname{stab}_{G^{\prime}}({\overline{x}})$, shows that

[TABLE]

Then applying ($*$ ‣ 3.1) again, with $g_{j}=f_{j}$ for $j\in\{1,2\}$, shows that

[TABLE]

equals $\operatorname{stab}_{{\mathbf{G}}^{\prime}(E)}({\overline{x}}){\mathbf{G}}(E)_{{x}\geq{f_{1}}}\cdot{\mathbf{G}}(E)_{{x}\geq{f_{2}}}\cap G$, as desired. ∎

Lemma 3.1.2 is a slightly stronger version of [adler-spice:good-expansions]*Lemma LABEL:adler-spice:good-expansions:lem:master-comm, adapted to take into account the depth of commutators in ${\mathcal{D}}G$ (not just in $G$). Again, we find it convenient to state it in terms of concave functions, for which we can use the result from [adler-spice:good-expansions] to bootstrap, rather than necessarily the depth matrices appearing in Definition 3.2.4 below. Having done so, however, we use it only to prove Lemma 3.2.7 (which does concern groups and Lie algebras associated to depth matrices).

Lemma 3.1.2**.**

Suppose that

• •

$\mathbf{T}$* is a maximally ${k}^{\text{tame}}$-split, maximal torus in $\mathbf{G}$,*

• •

$x$* is a point of ${\mathcal{B}}(T)$,*

• •

$f_{1}$* and $f_{2}$ are (${\widetilde{\mathbb{R}}}\cup\{-\infty\}$)-valued, Galois-invariant functions on the set of weights of ${\mathbf{T}}_{{k}^{\text{sep}}}$ in ${\mathbf{G}}_{{k}^{\text{sep}}}$.*

If, for $j\in\{1,2\}$,

• •

$g_{j}$* belongs to $G_{{x}\geq{f_{j}}}$,*

• •

$Y_{j}$* to $\operatorname{Lie}(G)_{{x}\geq{f_{j}}}$, and*

• •

$X^{*}_{j}$* to $\operatorname{Lie}^{*}(G)_{{x}\geq{f_{j}}}$*

then

• •

$\operatorname{ad}(Y_{1})Y_{2}$* belongs to $\operatorname{Lie}({\mathcal{D}}G)_{{x}\geq{f_{1}\bowtie f_{2}}}$, and*

• •

$\operatorname{ad}^{*}(Y_{1})X^{*}_{2}$* to $\operatorname{Lie}^{*}({\mathcal{D}}G)_{{x}\geq{f_{1}\bowtie f_{2}}}$;*

if $f_{1}$ is concave, then

• •

$(\operatorname{Ad}(g_{1})-1)Y_{2}$* belongs to $\operatorname{Lie}({\mathcal{D}}G)_{{x}\geq{f_{1}\rtimes f_{2}}}$, and*

• •

$(\operatorname{Ad}^{*}(g_{1})-1)X^{*}_{2}$* belongs to $\operatorname{Lie}^{*}({\mathcal{D}}G)_{{x}\geq{f_{1}\rtimes f_{2}}}$;*

and, if $f_{1}$ and $f_{2}$ are both concave, then

• •

$[g_{1},g_{2}]$* belongs to ${\mathcal{D}}G_{{x}\geq{f_{1}\vee f_{2}}}$.*

Here, $f_{1}\vee f_{2}$ is the function defined by

[TABLE]

for all weights $\alpha$ of ${\mathbf{T}}_{{k}^{\text{sep}}}$ on $\operatorname{Lie}({\mathbf{G}}_{{k}^{\text{sep}}})$.

Proof.

We only prove the statement about commutators in the group; the others are easier.

We may, and do, assume, upon passing to a tame extension, that $\mathbf{T}$ is contained in a Borel subgroup of $\mathbf{G}$. Then we have that any group of the form $G_{{x}\geq{f}}$ is generated by $T_{{}\geq{f(0)}}$ and the various $B_{{x}\geq{f}}$, where $\mathbf{B}$ is a Borel subgroup of $\mathbf{G}$ containing $\mathbf{T}$; and similarly for ${\mathcal{D}}G_{{x}\geq{f}}$. (In fact, we need only take two opposite Borel subgroups.) In particular, we have that $G_{{x}\geq{f}}$ is generated by $T_{{}\geq{f(0)}}$ and ${\mathcal{D}}G_{{x}\geq{f}}$.

We use the basic fact that, if $\mathcal{G}$ is a subgroup of $G$ that normalises ${\mathcal{D}}G_{{x}\geq{f_{1}\vee f_{2}}}$, and $\mathcal{S}$ is a subset of $G$, then \{g\in{\mathcal{G}}\>|\>\text{[g,h]\in{\mathcal{D}}G_{{x}\geq{f_{1}\vee f_{2}}}$for all$h\in{\mathcal{S}}}\} is a subgroup of $G$. We temporarily introduce the notation $\operatorname{Comm}_{{\mathcal{G}}}({\mathcal{S}})$ for this subgroup.

For this paragraph, fix $j\in\{1,2\}$. By [adler-spice:good-expansions]*Lemma LABEL:adler-spice:good-expansions:lem:master-comm (applied to ${\mathcal{D}}{\mathbf{G}}$), we have that ${\mathcal{D}}G_{{x}\geq{f_{j}}}$ normalises ${\mathcal{D}}G_{{x}\geq{f_{1}\vee f_{2}}}$, and that $T_{{}\geq{f_{j}(0)}}$ normalises $U_{{x}\geq{f_{1}\vee f_{2}}}$ for the unipotent radical $\mathbf{U}$ of any Borel subgroup $\mathbf{B}$ of $\mathbf{G}$ containing $\mathbf{T}$; so, since of course $T_{{}\geq{f_{j}(0)}}$ normalises any subgroup of $T$, we have that $G_{{x}\geq{f_{j}}}$ normalises ${\mathcal{D}}G_{{x}\geq{f_{1}\vee f_{2}}}$. Thus, the notation $\operatorname{Comm}_{G_{{x}\geq{f_{j}}}}({\mathcal{S}})$ makes sense.

For this paragraph, fix a Borel subgroup $\mathbf{B}$ of $\mathbf{G}$ containing $\mathbf{T}$, and let $\mathbf{U}$ be its unipotent radical. By another application of [adler-spice:good-expansions]*Lemma LABEL:adler-spice:good-expansions:lem:master-comm, we have that the commutator of $T_{{}\geq{f_{1}(0)}}$ with $B_{{x}\geq{f_{2}}}$ belongs to $U_{{x}\geq{f_{1}\vee f_{2}}}\subseteq{\mathcal{D}}G_{{x}\geq{f_{1}\vee f_{2}}}$. Thus, since $U_{{x}\geq{f_{2}}}$ is contained in ${\mathcal{D}}G_{{x}\geq{f_{2}}}$, we have that $\operatorname{Comm}_{T_{{}\geq{f_{1}(0)}}}(B_{{x}\geq{f_{2}}})$ equals $T_{{}\geq{f_{1}(0)}}$, and that $\operatorname{Comm}_{G_{{x}\geq{f_{1}}}}(U_{{x}\geq{f_{2}}})$ contains both $T_{{}\geq{f_{1}(0)}}$ and ${\mathcal{D}}G_{{x}\geq{f_{1}}}$, hence equals $G_{{x}\geq{f_{1}}}$. Thus

[TABLE]

Symmetric results also hold.

By ($*$ ‣ 3.1) (applied to a pair of opposite Borel subgroups), we have that $\operatorname{Comm}_{G_{{x}\geq{f_{2}}}}(T_{{}\geq{f_{1}(0)}})$ equals $G_{{x}\geq{f_{2}}}$, hence that $\operatorname{Comm}_{G_{{x}\geq{f_{1}}}}(G_{{x}\geq{f_{2}}})$ contains $T_{{}\geq{f_{1}(0)}}$. By ($**$ ‣ 3.1) (or, rather, its analogue with the indices $j=1$ and $j=2$ switched), we have that $\operatorname{Comm}_{G_{{x}\geq{f_{1}}}}(G_{{x}\geq{f_{2}}})$ also contains $U_{{x}\geq{f_{2}}}$ whenever $\mathbf{U}$ is the unipotent radical of a Borel subgroup $\mathbf{B}$ of $\mathbf{G}$ containing $\mathbf{T}$. It follows that $\operatorname{Comm}_{G_{{x}\geq{f_{1}}}}(G_{{x}\geq{f_{2}}})$ equals $G_{{x}\geq{f_{1}}}$, as desired. ∎

3.2. Groups associated to depth matrices

In Definition 3.2.4, we use Hypothesis 3.2.2 to build a class of compact, open subgroups of $G$ generalising those constructed in [adler-spice:good-expansions]*Definition LABEL:adler-spice:good-expansions:defn:vGvr. Definition 3.2.1 begins to set up that generalisation.

Definition 3.2.1**.**

A subgroup ${\mathbf{G}}^{\prime}$ of $\mathbf{G}$ is called a tame, twisted Levi subgroup if ${\mathbf{G}}^{\prime}_{{k}^{\text{tame}}}$ is a Levi subgroup of ${\mathbf{G}}_{{k}^{\text{tame}}}$, in the sense of [digne-michel:non-connexe]*Définition 1.4.

A collection ${\vec{\mathbf{G}}}=({\mathbf{G}}^{0},\dotsc,{\mathbf{G}}^{\ell}={\mathbf{G}})$ of subgroups of $\mathbf{G}$ is called a tame, twisted Levi sequence if each ${\mathbf{G}}^{j}$ is a tame, twisted Levi subgroup of $\mathbf{G}$, and there is a ${k}^{\text{tame}}$-split torus $\mathbf{S}$ in $\mathbf{G}$ that contains the maximal ${k}^{\text{tame}}$-split torus in each $\operatorname{Z}({\mathbf{G}}^{j})^{\circ}$. We write ${\mathcal{B}}({\vec{G}})$ for $\bigcap_{j=0}^{\ell}{\mathcal{B}}(G^{j})$, and say that the sequence contains an element $\gamma\in G$ exactly when $\gamma$ belongs to $\bigcap_{j=0}^{\ell}G^{j}$.

For this definition, put ${\mathbf{T}}=\operatorname{C}_{{\mathbf{G}}^{\circ}}({\mathbf{S}})$, and write $\widetilde{\Phi}$ for the collection of weights of ${\mathbf{T}}_{{k}^{\text{sep}}}$ on $\operatorname{Lie}({\mathbf{G}}_{{k}^{\text{sep}}})$.

A depth vector (for $\vec{\mathbf{G}}$) is a vector $\vec{a}=(a_{0},\dotsc,a_{d})$ with entries in ${\widetilde{\mathbb{R}}}\cup\{-\infty\}$. We define the function $f_{{\vec{\mathbf{G}}},\vec{a}}$ on $\widetilde{\Phi}$ by putting $f_{{\vec{\mathbf{G}}},\vec{a}}(\alpha)=a_{j}$ if $\alpha$ is a weight of $\operatorname{C}_{\mathbf{G}}({\mathbf{S}})_{{k}^{\text{sep}}}$ on $\operatorname{Lie}({\mathbf{G}}^{j}_{{k}^{\text{sep}}})$, but not on $\operatorname{Lie}({\mathbf{G}}^{j_{-}}_{{k}^{\text{sep}}})$ for any $0\leq j_{-}<j$. For any $x\in{\mathcal{B}}(T)$, we define $\operatorname{Lie}({\vec{G}})_{{x}\geq{\vec{a}}}$ and $\operatorname{Lie}^{*}({\vec{G}})_{{x}\geq{\vec{a}}}$ to be $\sum\operatorname{Lie}({\vec{G}})_{{x}\geq{f}}$ and $\sum\operatorname{Lie}^{*}({\vec{G}})_{{x}\geq{f}}$, where the sums run over all Galois-invariant, $\widetilde{\mathbb{R}}$-valued functions $f$ on $\widetilde{\Phi}$ for which the inequality $f_{{\vec{\mathbf{G}}},\vec{\alpha}}\leq f$ is satisfied.

We say that $\vec{a}$ is concave if the inequality $2a_{j_{+}}\geq a_{j_{-}}$ holds for all $0\leq j_{-}\leq j_{+}\leq\ell$, and that it is grouplike if, further, $a_{0}$ is positive. In this case, for any $x\in{\mathcal{B}}(T)$, we define ${\vec{G}}_{{x}\geq{\vec{a}}}$ to be \big{\langle}\bigcup{\vec{G}}_{{x}\geq{f}}\big{\rangle}, where the union runs over all Galois-invariant, $\widetilde{\mathbb{R}}$-valued, concave [bruhat-tits:reductive-groups-1]*§6.4.3 functions $f$ on $\widetilde{\Phi}$ for which the inequality $f_{{\vec{\mathbf{G}}},\vec{\alpha}}\leq f$ is satisfied. (The notation is as in [adler-spice:good-expansions]*Definition LABEL:adler-spice:good-expansions:defn:vGvr.)

The non-full-rank subgroups that arise in Definition 3.2.4 depend on a semisimple element $\gamma$ of $G$ (not necessarily $G^{\circ}$). Choose such an element, and write ${\mathbf{P}}^{-}$ (respectively, ${\mathbf{P}}^{+}$) for the parabolic subgroup of $\mathbf{G}$ dilated (respectively, contracted) by $\gamma$ [deligne:support]*§1, p. 155, and ${\mathbf{N}}^{-}$ (respectively, ${\mathbf{N}}^{+}$) for its unipotent radical. Write ${\mathbf{M}}$ for ${\mathbf{P}}^{-}\cap{\mathbf{P}}^{+}$.

Let $r$ be a non-negative real number, and put ${s}=r/2$. In this section, we write ${\mathbf{H}}$ for $\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$; but we caution the reader that we use different notation in the proof of Proposition 5.1.3.

In [adler-spice:good-expansions]*Definition LABEL:adler-spice:good-expansions:defn:funny-centralizer, Adler and the author defined connected, full-rank subgroups $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma)$ of $\mathbf{G}$ associated to an element $\gamma$ of $G^{\circ}$ satisfying certain tameness hypotheses. (These groups are always connected, whereas we allow those in Hypothesis 3.2.2 to be disconnected; but Hypothesis 3.2.8 involves only the identity components of these groups, so the difference does not matter.) With an eye towards future applications, including particularly removing the requirement that $\gamma$ belong to the identity component, and possibly the tameness requirement, we state very precisely the properties that we need in Hypothesis 3.2.2.

Hypothesis 3.2.2 always holds for $\gamma$ an element of a tame torus satisfying [adler-spice:good-expansions]*Definition LABEL:adler-spice:good-expansions:defn:S-is-good, as long as [adler-spice:good-expansions]*Hypotheses LABEL:adler-spice:good-expansions:hyp:reduced–LABEL:adler-spice:good-expansions:hyp:torus-H1-triv are satisfied [adler-spice:good-expansions]*Proposition LABEL:adler-spice:good-expansions:prop:compatibly-filtered-tame-rank, Lemma LABEL:adler-spice:good-expansions:lem:simult-approx, and Lemma LABEL:adler-spice:good-expansions:lem:funny-centralizer-descends. (Actually, those results require that $\gamma$ be compact modulo centre; but we may reduce to that case by working inside $\mathbf{M}$.)

Although we allow the groups $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma)$ to be disconnected, Hypothesis 3.2.2 is phrased in such a way that we may replace each $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma)$ by its identity component.

Hypothesis 3.2.2**.**

There is a decreasing sequence of (possibly disconnected, possibly non-full-rank) reductive subgroups $({\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma^{\pm 1})})_{\begin{subarray}{c}i\in{\widetilde{\mathbb{R}}}\cup\{-\infty\}\\ i\leq r\end{subarray}}$ of $\mathbf{G}$ such that the following hold for all $i$. We write $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma)$ (respectively, $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma^{-1})$) for the parabolic subgroup of $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma^{\pm 1})$ dilated (respectively, contracted) by $\gamma$ [deligne:support]§1, p. 155.*

1. (1)

• •

$\operatorname{C}_{{\mathbf{G}}}^{({}<{-\infty})}(\gamma^{\pm 1})^{\circ}$* equals ${\mathbf{G}}^{\circ}$,*

• •

$\operatorname{C}_{{\mathbf{G}}}^{({}<{0})}(\gamma)\cap{\mathbf{G}}^{\circ}$* equals ${\mathbf{M}}^{\circ}$,*

• •

$\operatorname{C}_{{\mathbf{G}}}^{({}\leq{0})}(\gamma)\cap{\mathbf{G}}^{\circ}$* is the centraliser in ${\mathbf{G}}^{\circ}$ of the absolutely-semisimple-modulo-$\operatorname{Z}({\mathbf{M}}^{\circ})$ part of $\gamma$ **[spice:jordan]**Definition LABEL:spice:jordan:defn:top-F-ss-unip, and

• •

$\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$* contains $\operatorname{C}_{\mathbf{G}}(\gamma)$. * 2. (2)

The Lie algebra $\operatorname{Lie}(\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma)_{{k}^{\text{sep}}})$ is the sum of the weight spaces for the action of $\gamma$ on $\operatorname{Lie}({\mathbf{G}}_{{k}^{\text{sep}}})$ corresponding to weights $\lambda\in{{k}^{\text{sep}}}\setminus{k}^{\text{sep}}_{{}>{0}}$ for which the inequality $\operatorname{ord}(\lambda-1)\geq i$ holds, and similarly for $\gamma^{-1}$. 3. (3)

If ${\mathbf{G}}^{\prime}$ is a subgroup of $\mathbf{G}$ that is normalised by $\gamma$, then $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma)^{\circ}\cap{\mathbf{G}}^{\prime}$ and $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma^{\pm 1})^{\circ}\cap{\mathbf{G}}^{\prime}$ are smooth. If

• •

${\mathbf{G}}^{\prime}$* is a subgroup of $\mathbf{G}$,*

• •

${\mathbf{S}}^{\prime}$* is a ${k}^{\text{tame}}$-split torus centralising ${\mathbf{G}}^{\prime\,\circ}$,*

• •

${\mathbf{G}}^{\prime}\cdot{\mathbf{S}}^{\prime}$* is a tame, twisted Levi subgroup of $\mathbf{G}$ containing $\gamma$, and*

• •

$\gamma$* normalises both ${\mathbf{S}}^{\prime}$ and ${\mathbf{G}}^{\prime}$,*

then $(\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma^{\pm 1})^{\circ}\cap{\mathbf{G}}^{\prime})(\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma^{\pm 1})^{\circ}\cap{\mathbf{S}}^{\prime})$ is a tame, twisted Levi subgroup of $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma^{\pm 1})^{\circ}$. 4. (4)

If ${\vec{\mathbf{G}}}=({\mathbf{G}}^{0}\subseteq\dotsb\subseteq{\mathbf{G}}^{\ell}={\mathbf{G}})$ is a tame, twisted Levi sequence in $\mathbf{G}$ such that $\gamma$ belongs to $G^{0}$ (hence in each $G^{j}$), then there is a commutative diagram of embeddings of buildings

[TABLE]

(for all $0\leq j_{1}\leq j_{2}\leq\ell$ and $i_{2}\leq i_{1}\leq r$) such that, if

• •

$i\in{\widetilde{\mathbb{R}}}\cup\{-\infty\}$* satisfies $i\leq r$,*

• •

$x$* is a point of ${\mathcal{B}}(\operatorname{C}_{G^{0}}^{({}<{i})}(\gamma^{\pm 1}))$, and*

• •

$\vec{a}$* is a depth vector,*

then we have that

[TABLE]

and similarly for the Lie algebra.

Remark 3.2.3 discusses the descent properties of tame, twisted Levi subgroups.

Remark 3.2.3*.*

If ${\mathbf{G}}^{\prime}$ is a Levi subgroup of $\mathbf{G}$, then ${\mathbf{G}}^{\circ}\cap{\mathbf{G}}^{\prime}$ equals $\operatorname{C}_{{\mathbf{G}}^{\circ}}(\operatorname{Z}({\mathbf{G}}^{\prime\,\circ}))$ is a Levi subgroup of ${\mathbf{G}}^{\circ}$. In particular, it is connected, so equals ${\mathbf{G}}^{\prime\,\circ}$.

If $({\mathbf{L}},{\mathbf{G}}^{\prime},{\mathbf{G}})$ is a tame, twisted Levi sequence in $\mathbf{G}$, then $\mathbf{L}$ contains ${\mathbf{S}}^{\prime}\mathbin{\vcentcolon=}\operatorname{Z}({\mathbf{G}}^{\prime\,\circ})$. Recall [digne-michel:non-connexe]Définition 1.4 that ${\mathbf{G}}^{\prime}$ equals $\operatorname{N}_{\mathbf{G}}({\mathbf{G}}^{\prime\,\circ},{\mathbf{Q}}^{\circ})$, where ${\mathbf{Q}}^{\circ}$ is a parabolic subgroup of ${\mathbf{G}}^{\circ}$ with Levi component ${\mathbf{G}}^{\prime\,\circ}$. Let $\lambda_{0}$ be a cocharacter of ${\mathbf{S}}^{\prime}$ so that ${\mathbf{Q}}^{\circ}$ equals ${\mathbf{P}}_{{\mathbf{G}}^{\circ}}(\lambda_{0})$, in the notation of [springer:lag]§13.4.1. We have that ${\mathbf{G}}^{\prime}$ equals $\operatorname{N}_{\mathbf{G}}\{\lambda\in{\mathbf{X}}_{*}({\mathbf{S}}^{\prime})\>|\>{\mathbf{P}}_{{\mathbf{G}}^{\circ}}(\lambda)={\mathbf{Q}}^{\circ}\}$, so that ${\mathbf{L}}\cap{\mathbf{G}}^{\prime}$ equals $\operatorname{N}_{\mathbf{L}}\{\lambda\in{\mathbf{X}}_{*}({\mathbf{S}}^{\prime})\>|\>{\mathbf{P}}_{{\mathbf{G}}^{\circ}}(\lambda)={\mathbf{Q}}^{\circ}\}\subseteq\operatorname{N}_{\mathbf{L}}(\operatorname{C}_{{\mathbf{L}}^{\circ}}({\mathbf{S}}^{\prime}),{\mathbf{P}}_{{\mathbf{L}}^{\circ}}(\lambda_{0}))$. The reverse containment is obvious, so we have equality. In particular, ${\mathbf{L}}\cap{\mathbf{G}}^{\prime}$ is a tame, twisted Levi subgroup of $\mathbf{L}$.

Our insistence on referring only to identity components in Hypothesis 3.2.2 makes Hypothesis 3.2.2(3) somewhat awkward. Using the notation there, we allow ourselves to write something like $\operatorname{C}_{{\mathbf{G}}^{\prime}}^{({}<{i})}(\gamma)$ for $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma)\cap{\mathbf{G}}^{\prime}$, as long as it is understood that we are speaking only of its identity component. For example, we may refer to $\operatorname{Lie}(\operatorname{C}_{{\mathbf{G}}^{\prime}}^{({}<{i})}(\gamma))$, or use $\operatorname{C}_{{\mathbf{G}}^{\prime}}^{({}<{i})}(\gamma^{\pm 1})$ as a term in a tame, twisted Levi sequence $\operatorname{C}_{{\vec{\mathbf{G}}}}^{({}<{i})}(\gamma^{\pm 1})$ in $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma^{\pm 1})$ (as in Hypothesis 3.2.2(4)), even though we have not guaranteed that it is actually a tame, twisted Levi subgroup, because a group such as $\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma^{\pm 1})_{{x}\geq{\vec{r}}}$ depends only on the identity components of the groups in the vector $\operatorname{C}_{{\vec{\mathbf{G}}}}^{({}<{i})}(\gamma^{\pm 1})$.

By Hypothesis 3.2.2(2), there is a canonical $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma)$-stable complement $\operatorname{Lie}(\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma))^{\perp}$ to $\operatorname{Lie}(\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma))$ in $\operatorname{Lie}({\mathbf{G}})$ (namely, the sum of the other weight spaces for $\gamma$). We identify $\operatorname{Lie}^{*}(\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma))$ with the subset of $\operatorname{Lie}^{*}({\mathbf{G}})$ that annihilates $\operatorname{Lie}(\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma))^{\perp}$, and write $\operatorname{Lie}^{*}(\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma))^{\perp}$ for the subset of $\operatorname{Lie}^{*}({\mathbf{G}})$ that annihilates $\operatorname{Lie}(\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma))$.

Definition 3.2.4 is closely related to [adler-spice:good-expansions]*Definition LABEL:adler-spice:good-expansions:defn:vGvr. If we are dealing with tame elements $\gamma$ in the identity component of $G$, so that the groups $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma)$ have full rank, then our definition has more restrictive hypotheses (and defines the same groups); but it is set up to accommodate the case where the groups $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma)$ may not have full rank in $\mathbf{G}$.

Definition 3.2.4**.**

Suppose that $\vec{\mathbf{G}}$ is a tame, twisted Levi sequence in $\mathbf{G}$ containing $\gamma$. Let

[TABLE]

be a collection of depth vectors. The entire ensemble $f$ is called a depth matrix (for $\vec{\mathbf{G}}$ and $\gamma$). We read the superscripts ‘n’, ‘d’, and ‘c’ as shorthand for ‘neutral’, ‘dilated’, and ‘contracted’, referring to the action of $\gamma$ [deligne:support]*§1, p. 155. We occasionally write ${f^{-}}=(f^{\text{n}},f^{\text{d}})$ and ${f^{+}}=(f^{\text{n}},f^{\text{c}})$.

For any $x\in{\mathcal{B}}({\vec{G}})$, we write ${}_{\gamma}\operatorname{Lie}({\vec{G}})_{{x}\geq{f}}$ for

[TABLE]

and similarly for ${}_{\gamma}\operatorname{Lie}^{*}({\vec{G}})_{{x}\geq{f}}$. (The notation, here and in the group case, is as in Definition 3.2.1.)

We say that $f$ is grouplike if

• •

$f^{\text{n}}_{r}$ is grouplike;

• •

each $f^{\text{n}}_{i}$, $f^{\text{d}}_{i}$, and $f^{\text{c}}_{i}$ is concave;

• •

the inequality $f^{-}_{i_{-}}\geq f^{-}_{i_{+}}$ holds for all $i_{-}\leq i_{+}<0$ and all $0\leq i_{-}\leq i_{+}\leq r$, and similarly for $f^{+}$; and

• •

the inequality $f^{\text{d}}_{i_{-}j_{-}}+f^{\text{c}}_{i_{-}j_{+}}\geq f^{\text{n}}_{i_{+}j_{+}}$ holds for all $i_{-}<0\leq i_{+}\leq r$ and $0\leq j_{-}\leq j_{+}\leq\ell$.

In this case, for any $x\in{\mathcal{B}}({\vec{G}})$, we write ${}_{\gamma}{\vec{G}}_{{x}\geq{f}}$ for

[TABLE]

The element $\gamma$ will usually be clear, and so will be omitted from the notation.

Remark 3.2.5*.*

Note that depth $-\infty$ means that we include everything (resulting in a non-compact subgroup), and depth $\infty$ means that we include nothing (resulting in a non-open group). Thus, for example, $\operatorname{Lie}(G^{\prime},G)_{{x}\geq{(\infty,-\infty)}}$ stands for $\operatorname{Lie}(G^{\prime})^{\perp}$. Note also that the notation is “left biased”; so, for example, $\operatorname{Lie}(H,G^{\prime},G)_{{x}\geq{(0,\infty,-\infty)}}$ stands for $\operatorname{Lie}(H)_{{x}\geq{0}}+\operatorname{Lie}(G^{\prime})^{\perp}$, whereas $\operatorname{Lie}(G^{\prime},H,G)_{{x}\geq{(\infty,0,-\infty)}}$ stands for \operatorname{Lie}(G^{\prime})^{\perp}\cap\bigl{(}\operatorname{Lie}(H)_{{x}\geq{0}}+\operatorname{Lie}(H)^{\perp}\bigr{)}.

We have that

[TABLE]

We use certain shortcuts for Definition 3.2.4, whose meaning we hope is apparent. For example, the notation $\operatorname{Lie}(\operatorname{C}_{G}^{({}<{r})}(\gamma),G)_{{x}\geq{({{0}+},(r-\operatorname{ord}_{\gamma^{\pm 1}})/2)}}$ in Proposition 5.1.3 stands for $\operatorname{Lie}(G)_{{x}\geq{f}}$, where

[TABLE]

and the notation $(\operatorname{C}_{G}^{({}<{r})}(\gamma),\operatorname{C}_{G^{\prime}}^{({}<{0})}(\gamma),\operatorname{C}_{G}^{({}<{0})}(\gamma))_{{x}\geq{({{0}+},r-\operatorname{ord}_{\gamma},(r-\operatorname{ord}_{\gamma})/2)}}$ in Proposition 4.2.4 stands for $(G^{\prime},G)_{{x}\geq{f}}$, where

[TABLE]

Definition 3.2.6 is a modification of [adler-spice:good-expansions]*Definition LABEL:adler-spice:good-expansions:defn:concave-vee, used to describe commutator relationships among groups associated to concave functions. Our depth matrices are used to handle analogues when some of the groups involved (our $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma)$) do not have full rank, so that it does not make sense to speak of weights in the larger group occurring in the smaller one; but the philosophy is still that the multi-cased definition of $f_{1}\mathbin{\bowtie}f_{2}$ is, in essence, keeping track of the many ways that a sum of weights might be a weight in $\operatorname{Lie}(\operatorname{C}_{{\mathbf{G}}^{j}}^{({}<{i})}(\gamma)_{{k}^{\text{sep}}})$.

Definition 3.2.6**.**

Suppose that $f_{1}$ and $f_{2}$ are depth matrices. We temporarily put

[TABLE]

and similarly for $(f_{1}{{}_{*}\mathbin{\bowtie}}f_{2})^{\text{c}}_{ij}$. With this provisional (asymmetric) definition in place, we make the symmetric definition ${f_{1}\mathbin{\bowtie}f_{2}}=\min\{f_{1}{{}_{*}\mathbin{\bowtie}}f_{2},f_{2}{{}_{*}\mathbin{\bowtie}}f_{1}\}$; and then put {f_{1}\mathbin{\rtimes}f_{2}}=\sup\{F\>|\>\text{F\leq f_{1}\mathbin{\bowtie}f_{2}$and$F\leq f_{1}\mathbin{\bowtie}F}\} and {f_{1}\mathbin{\vee}f_{2}}=\sup\{F\>|\>\text{F\leq f_{1}\mathbin{\rtimes}f_{2}$and$F\leq F\mathbin{\bowtie}f_{2}}\}.

A grouplike depth matrix $f$ satisfies $f\leq f\mathbin{\vee}f$; and, if $f_{1}$ and $f_{2}$ are grouplike, then so is $f_{1}\mathbin{\vee}f_{2}$.

Lemma 3.2.7 is an adaptation to our situation of [adler-spice:good-expansions]*Lemma LABEL:adler-spice:good-expansions:lem:master-comm. The proof follows from a routine application of Lemma 3.1.2 to groups of the form $\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{f_{i}}}$. We omit it, but the interested reader may see a detailed example of the relevant reasoning in the proof of Proposition 4.2.3.

Lemma 3.2.7**.**

Let

• •

$\vec{\mathbf{G}}$* be a tame, twisted Levi sequence in $\mathbf{G}$,*

• •

$x$* a point of ${\mathcal{B}}({\vec{G}})$, and*

• •

$f_{1}$* and $f_{2}$ depth matrices.*

Then the following properties hold.

1. (1)

If $Y_{j}$ belongs to $\operatorname{Lie}({\vec{G}})_{{x}\geq{f_{j}}}$ for $j\in\{1,2\}$, then $[Y_{1},Y_{2}]$ belongs to $\operatorname{Lie}({\mathcal{D}}{\vec{G}})_{{x}\geq{f_{1}\mathbin{\bowtie}f_{2}}}$. 2. (2)

If, in addition to (1), we have that $f_{1}$ is concave and $g_{1}$ belongs to ${\vec{G}}_{{x}\geq{f_{1}}}$, then $(\operatorname{Ad}(g_{1})-1)Y_{2}$ belongs to $\operatorname{Lie}({\mathcal{D}}{\vec{G}})_{{x}\geq{f_{1}\mathbin{\rtimes}f_{2}}}$; and analogously on the dual Lie algebra. 3. (3)

If, in addition to (2), we have that $f_{2}$ is concave and $g_{2}$ belongs to ${\vec{G}}_{{x}\geq{f_{2}}}$, then $[g_{1},g_{2}]$ belongs to ${\mathcal{D}}{\vec{G}}_{{x}\geq{f_{1}\mathbin{\vee}f_{2}}}$.

Lemma 3.2.7 can be applied only when we know the depths of the elements in a commutator. We would like to apply similar results to commutators involving $\gamma$, but we don’t have any information about its depth. The idea of Hypothesis 3.2.2 is that $\gamma$ is supposed informally to “live at depth $i$ modulo $\operatorname{Z}(\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma))$.” We make this precise in Hypothesis 3.2.8 (and later state an analogous dual-Lie-algebra condition in Hypothesis 4.1.5).

Hypothesis 3.2.8 involves a point $x$ in ${\mathcal{B}}(G)$ (eventually, in ${\mathcal{B}}(H)$), which we now fix. We note that the hypothesis may hold for some points of ${\mathcal{B}}(H)$, and not for others. The set of points for which it holds is analogous to the set ${\mathcal{B}}_{r}(\gamma)$ of [adler-spice:good-expansions]*Definition LABEL:adler-spice:good-expansions:defn:Brgamma.

Suppose for this paragraph that [adler-spice:good-expansions]*Hypotheses LABEL:adler-spice:good-expansions:hyp:reduced–LABEL:adler-spice:good-expansions:hyp:torus-H1-triv are satisfied, and $\gamma$ is a compact-modulo-centre element of a tame torus satisfying [adler-spice:good-expansions]*Definition LABEL:adler-spice:good-expansions:defn:S-is-good. Then Hypothesis 3.2.8(2, 4) is an easy generalisation of [adler-spice:good-expansions]*Lemmas LABEL:adler-spice:good-expansions:lem:center-comm and LABEL:adler-spice:good-expansions:lem:iso-quotients (using Lemma 3.1.2 in place of [adler-spice:good-expansions]*Lemma LABEL:adler-spice:good-expansions:lem:master-comm to make sure that commutators land in the derived group). Hypothesis 3.2.8(5) follows from [adler-spice:good-expansions]*Lemma LABEL:adler-spice:good-expansions:lem:GE2, Corollary LABEL:adler-spice:good-expansions:cor:compatibly-filtered-tame-rank (and Definition LABEL:adler-spice:good-expansions:defn:funny-centralizer), and Lemma LABEL:adler-spice:good-expansions:lem:simult-approx.

Hypothesis 3.2.8**.**

Let $\vec{\mathbf{G}}$ be a tame, twisted Levi sequence in $\mathbf{G}$ containing $\gamma$, such that $x$ belongs to ${\mathcal{B}}({\vec{G}})$, and let $\vec{a}$ be a depth vector. The following hold for any $i\in{\widetilde{\mathbb{R}}}\cup\{-\infty\}$ with $i\leq r$.

1. (1)

The point $x$ belongs to ${\mathcal{B}}(\operatorname{C}_{G}^{({}<{r})}(\gamma))$. 2. (2)

The map $\operatorname{Ad}(\gamma)-1$ carries $\operatorname{Lie}(\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma^{\pm 1}))_{{x}\geq{\vec{a}}}$ into $\operatorname{Lie}(\operatorname{C}_{N^{+}\cap{\vec{G}}}^{({}<{i})}(\gamma^{-1}),\operatorname{C}_{{\mathcal{D}}G\cap{\vec{G}}}^{({}<{i})}(\gamma^{\pm 1}))_{{x}\geq{(\vec{a},\vec{a}+i)}}$, and induces an isomorphism

[TABLE]

The analogous result for $\gamma^{-1}$ also holds. 3. (3)

Hypothesis 3.2.2 also holds for $\gamma^{2}$, and $\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma^{2})\cap\operatorname{C}_{{\mathbf{G}}}^{({}\leq{0})}(\gamma)$ equals $\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$. The map $\operatorname{Ad}(\gamma)-\operatorname{Ad}(\gamma^{-1})$ carries $\operatorname{Lie}(\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma^{\pm 2}))_{{x}\geq{\vec{a}}}$ into $\operatorname{Lie}(\operatorname{C}_{{\mathcal{D}}G\cap{\vec{G}}}^{({}<{i})}(\gamma^{\pm 2}))_{{x}\geq{\vec{a}+i}}$, and induces an isomorphism

[TABLE] 4. (4)

If $i$ is non-negative and $\vec{a}$ is grouplike, then the map $[\gamma,\cdot]$ carries $\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{\vec{a}}}$ into $\operatorname{C}_{{\mathcal{D}}G\cap{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{\vec{a}+i}}$, and induces a bijection

[TABLE]

and, if $i$ is negative and $\vec{a}+i$ is grouplike, then the same map carries $\operatorname{C}_{N^{-}\cap{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{\vec{a}}}$ into $\operatorname{C}_{N^{-}\cap{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{\vec{a}+i}}$, and induces a bijection

[TABLE]

The analogous result for $\gamma^{-1}$ also holds. 5. (5)

If $g\in\operatorname{C}_{G}^{({}<{i})}(\gamma^{\pm 1})_{{x}>{0}}$ is such that

[TABLE]

is non-empty, then $g$ belongs to $\operatorname{C}_{G}^{({}\leq{i})}(\gamma^{\pm 1})_{{x}>{0}}$.

Remark 3.2.9*.*

Hypotheses 3.2.2 and 3.2.8 become weaker if we decrease $r$, so we may cite all results for smaller values of $r$ if desired. For example, we do so in the proof of Proposition 5.2.7, when we wish to use Lemma 4.4.3 for $r=0$.

Remark 3.2.10*.*

Since the filtration on the dual Lie algebra is defined in terms of the filtration on the Lie algebra (Remark 3.2.5), Hypothesis 3.2.8(2) implies the analogous hypothesis on the dual Lie algebra.

Lemma 3.2.11 states some consequences of Hypothesis 3.2.8, phrased in terms of groups and Lie algebras associated to depth matrices (rather than just depth vectors, as in Hypothesis 3.2.8). The only place that we need to know that the commutator in Lemma 3.2.11(1) belongs to ${\mathcal{D}}{\vec{G}}_{{x}\geq{F}}$, rather than just ${\vec{G}}_{{x}\geq{F}}$, is in Proposition 4.2.4. Note that Lemma 3.2.11(3) involves $\operatorname{C}_{G}^{({}<{r})}(\gamma^{2})$, not $\operatorname{C}_{G}^{({}<{r})}(\gamma)$.

As with Lemma 3.2.7, the proof of Lemma 3.2.11 follows from a routine application of Hypothesis 3.2.8 to groups of the form $\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{\vec{a}}}$, together with “successive approximation arguments”, as, for example, in [adler:thesis]*Lemma 2.3.2, to lift results about finite quotients to results about the ambient groups. We omit it.

Lemma 3.2.11**.**

Let $\vec{\mathbf{G}}$ be a tame, twisted Levi sequence in $\mathbf{G}$ containing $\gamma$, with $x\in{\mathcal{B}}({\vec{G}})$, and let $f$ and $F$ be depth matrices.

1. (1)

If the inequalities $F^{-}\leq f^{-}+\min\{\operatorname{ord}_{\gamma},r\}$ and $F^{\text{c}}\leq f^{\text{c}}$ hold, then $\operatorname{Ad}(\gamma)-1$ carries $\operatorname{Lie}({\vec{G}})_{{x}\geq{f}}$ into $\operatorname{Lie}({\mathcal{D}}{\vec{G}})_{{x}\geq{F}}$. If, further, $f$ and $F$ are grouplike and satisfy $F\leq f\mathbin{\vee}F$, then $[\gamma,\cdot]$ carries $\operatorname{C}_{{\vec{G}}}^{({}<{-\infty})}(\gamma)_{{x}\geq{f}}$ into $\operatorname{C}_{{\mathcal{D}}{\vec{G}}}^{({}<{-\infty})}(\gamma)_{{x}\geq{F}}$. 2. (2)

If the inequalities $F^{-}\geq f^{-}+\operatorname{ord}_{\gamma}$ and $F^{\text{c}}\geq f^{\text{c}}$ hold outside $\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$, then the pre-image of $\operatorname{Lie}({\vec{G}})_{{x}\geq{F}}$ under $\operatorname{Ad}(\gamma)-1$ is contained in $\operatorname{Lie}(\operatorname{C}_{G}^{({}<{r})}(\gamma),{\vec{G}})_{{x}\geq{(-\infty,f)}}$. If, further, $f$ and $F$ are grouplike and satisfy $F\leq f\mathbin{\vee}F$, then the pre-image in $M_{{x}>{0}}$ of $M_{{x}\geq{F}}$ under $[\gamma,\cdot]$ is contained in $(\operatorname{C}_{G}^{({}<{r})}(\gamma),M\cap{\vec{G}})_{{x}\geq{({{0}+},f)}}$. 3. (3)

If the inequalities $F^{\mp}\geq f^{\mp}+\operatorname{ord}_{\gamma^{\pm 1}}$ hold outside $\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma^{2})$, then the pre-image of $\operatorname{Lie}({\vec{G}})_{{x}\geq{F}}$ under $\operatorname{Ad}(\gamma)-\operatorname{Ad}(\gamma)^{-1}$ is contained in $\operatorname{Lie}(\operatorname{C}_{{\vec{G}}}^{({}<{r})}(\gamma^{2}),{\vec{G}})_{{x}\geq{(-\infty,f)}}$. 4. (4)

If the inequalities $F^{\mp}\geq f^{\mp}+\operatorname{ord}_{\gamma^{\pm 1}}$ hold outside $\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$, then $\operatorname{Int}(G_{{x}\geq{f}})(\operatorname{C}_{{\vec{G}}}^{({}<{r})}(\gamma)_{{x}\geq{F}}\cdot h\gamma)$ contains ${\vec{G}}_{{x}\geq{F}}\cdot h\gamma{\vec{G}}_{{x}\geq{F}}$ for any $h\in\operatorname{C}_{{\vec{G}}}^{({}<{r})}(\gamma)_{{x}\geq{f}}$. 5. (5)

If $g\in G_{{x}>{0}}$ is such that

[TABLE]

is non-empty, then $g$ belongs to $\operatorname{C}_{G}^{({}<{r})}(\gamma)_{{x}>{0}}$.

The result [debacker-spice:stability]*Proposition LABEL:debacker-spice:stability:prop:const is stated for a group associated to a very particular concave function, but its proof applies much more generally. We isolate one general consequence here; the proof is identical.

Lemma 3.2.12** ([debacker-spice:stability]*Proposition LABEL:debacker-spice:stability:prop:const).**

Suppose that $\vec{\mathbf{G}}$ is a tame Levi sequence in $\mathbf{G}$ containing $\gamma$, such that $x$ belongs to ${\mathcal{B}}({\vec{G}})$, and $f_{1}$ and $f_{2}$ are grouplike depth matrices satisfying $f_{1}\leq f_{2}$ and $(f_{1})_{i\,0}=(f_{2})_{i\,0}$ for all $0\leq i\leq r$. Then we have that

[TABLE]

The conditions in Lemma 3.2.12 require that we quotient out by the “troublesome” part of the Moy–Prasad group, which is to say the part corresponding to a maximal torus. Thus, we may apply Lemma 3.2.12 to compute $[G_{{x}>{0}}\mathbin{:}(G^{\prime},G)_{{x}\geq{(0,{{s}+})}}]$ in the proof of Lemma 5.2.1, because ${\mathbf{G}}^{\prime}$ there has full rank; but not to compute $[(H,M,G)_{{x}\geq{({{0}+},(r-\operatorname{ord}_{\gamma})/2,s)}}\mathbin{:}(H,M,G)_{{x}\geq{({{0}+},s,(r-\operatorname{ord}_{\gamma^{\pm 1}})/2)}}]$ in Lemma 3.2.14, because $\mathbf{H}$ need not have full rank.

Lemma 3.2.13 is used in our explicit “constant term (about $\gamma$)” calculations in Lemma 4.4.3.

Lemma 3.2.13**.**

Suppose that

• •

$K^{0}$* is a compact, open subgroup of $M$ that is normalised by $\gamma$,*

• •

$K^{\pm}$* is a compact, open subgroup of $N^{\pm}$ such that $\operatorname{Int}(\gamma^{\pm})K^{\pm}$ is contained in $K^{\pm}$, and*

• •

$K=K^{-}K^{0}K^{+}$* is a subgroup of $G$.*

Then $[K\mathbin{:}K\cap\operatorname{Int}(\gamma)K]$ equals $\delta_{P^{-}}(\gamma)$.

Proof.

Note that $K\cap\operatorname{Int}(\gamma)K$ equals $K^{-}K^{0}\cdot\operatorname{Int}(\gamma)K^{+}$, so that the desired index is $[K^{+}\mathbin{:}\operatorname{Int}(\gamma)K^{+}]$. Choose $d\in{\mathbb{R}}$ so that $K^{+}$ contains $N^{+}_{{x}\geq{d}}$. Then we have that $[K^{+}\mathbin{:}\operatorname{Int}(\gamma)K^{+}]$ equals $[K^{+}\mathbin{:}N^{+}_{{x}\geq{d}}]\cdot[N^{+}_{{x}\geq{d}}\mathbin{:}\operatorname{Int}(\gamma)N^{+}_{{x}\geq{d}}]\cdot[\operatorname{Int}(\gamma)K^{+}\mathbin{:}\operatorname{Int}(\gamma)N^{+}_{{x}\geq{d}}]^{-1}=[N^{+}_{{x}\geq{d}}\mathbin{:}\operatorname{Int}(\gamma)N^{+}_{{x}\geq{d}}]$. By Lemma 3.2.12, we have that $[N^{+}_{{x}\geq{d}}\mathbin{:}\operatorname{Int}(\gamma)N^{+}_{{x}\geq{d}}]$ equals $[\operatorname{Lie}(N^{+})_{{x}\geq{d}}\mathbin{:}\operatorname{Ad}(\gamma)\operatorname{Lie}(N^{+})_{{x}\geq{d}}]$, which equals ${\det}_{\operatorname{Lie}(N^{+})}(\operatorname{Ad}(\gamma)^{-1})={\det}_{\operatorname{Lie}(N^{-})}(\operatorname{Ad}(\gamma))=\delta_{P^{-}}(\gamma)$. ∎

Lemma 3.2.14 states a useful analogue of [debacker-spice:stability]*Proposition LABEL:debacker-spice:stability:prop:const, also proven using Lemma 3.2.12. It accounts for the appearance of factors involving discriminants in Proposition 5.2.6. As mentioned after Lemma 3.2.12, the necessity to deal with a quotient of indices, rather than a single index, comes from the fact that $\mathbf{H}$ need not have full rank. If it happened that $\mathbf{H}$ did have full rank, then reduction to the Lie algebra would allow us to compute $[(H,M,G)_{{x}\geq{({{0}+},(r-\operatorname{ord}_{\gamma})/2,s)}}\mathbin{:}(H,M,G)_{{x}\geq{({{0}+},s,(r-\operatorname{ord}_{\gamma^{\pm 1}})/2)}}]$ itself, giving the expected answer.

Lemma 3.2.14**.**

If ${\mathbf{G}}^{\prime}$ is a tame, twisted Levi subgroup of $\mathbf{G}$ containing $\gamma$, with $x$ in ${\mathcal{B}}(G^{\prime})$, and $r$ is positive, then we have that

[TABLE]

Proof.

For the proof, we write $s_{\gamma^{\pm 1}}$ in place of $(r-\operatorname{ord}_{\gamma^{\pm 1}})/2$.

Lemma 3.2.12 gives that

[TABLE]

and similarly for

[TABLE]

Thus we may, and do, work on the Lie algebra.

We have that $[\operatorname{Lie}(H,M,G)_{{x}\geq{({{0}+},s_{\gamma},s)}}\mathbin{:}\operatorname{Lie}(H,M,G)_{{x}\geq{({{0}+},s,s_{\gamma^{\pm 1}})}}]$ equals both

[TABLE]

Since

[TABLE]

and similarly for $G^{\prime}$, and since

[TABLE]

we have by [debacker-spice:stability]*Corollary LABEL:debacker-spice:stability:cor:gxf-inv that the left-hand side equals

[TABLE]

times

[TABLE]

times

[TABLE]

We have that the numerator of (I) equals $\lvert\det_{\operatorname{Lie}(M)/\operatorname{Lie}(H)}(\gamma-1)\rvert^{-1/2}=\lvert\operatorname{D}_{M/H}(\gamma)\rvert^{-1/2}$, while the numerator of ($\text{II}^{\pm}$) equals $\lvert\det_{\operatorname{Lie}(N^{\pm})}(\gamma)\rvert^{1/2}=\delta_{P^{\pm}}(\gamma)^{1/2}$; and similarly for the denominator. Since $\lvert\operatorname{D}_{M/H}(\gamma)\rvert\delta_{P^{+}}(\gamma)^{-1}$ equals $\lvert\operatorname{D}_{G/H}(\gamma)\rvert$, and similarly for $G^{\prime}$, we are done. ∎

4. Existence of asymptotic expansions

4.1. Good, and nearly good, elements

The main result of §4, Theorem 4.4.11, is the analogue of [jkim-murnaghan:charexp]Theorem 5.3.1. That result is stated in terms of a so called good minimal K-type, which in turn is defined in terms of an element $\Gamma$ satisfying properties analogous to the genericity assumptions [yu:supercuspidal]§8, p. 596, GE. Our analogue of Kim and Murnaghan’s element $\Gamma$ is denoted by $Z^{*}_{o}$. We require that it satisfy similar genericity assumptions, slightly upgraded to handle the possible disconnectedness of $\mathbf{G}$. This section analyses the properties of $Z^{*}_{o}$ and nearby elements.

Hypothesis 4.1.1**.**

There is a tame, twisted Levi subgroup ${\mathbf{G}}^{\prime}$ of $\mathbf{G}$ such that the following properties hold.

1. (1)

The element $Z^{*}_{o}$ is fixed by the coadjoint action of ${\mathbf{G}}^{\prime}$. 2. (2)

The element $Z^{*}_{o}$ satisfies [yu:supercuspidal]§8, p. 596, GE1 (relative to ${\mathbf{G}}^{\prime}$).* 3. (3)

If $g\in G$ is such that

[TABLE]

is non-empty, then $g$ belongs to $G^{\prime}$.

Note that the subgroup ${\mathbf{G}}^{\prime}$ in Hypothesis 4.1.1 is uniquely determined, and that $Z^{*}_{o}$ is good of depth $-r$, in the sense of [jkim-murnaghan:charexp]*Definition 2.1.1(2).

Remark 4.1.2*.*

The hypotheses on $Z^{*}_{o}$ (relative to ${\mathbf{G}}^{\prime}$) imply the analogous hypotheses for $\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}$ (relative to $\operatorname{Int}(g)^{-1}{\mathbf{G}}^{\prime}$), for any $g\in G$.

We now recall the

• •

non-negative real number $r$,

• •

element ${\gamma}\in G$, with its associated groups ${\mathbf{P}}^{\mp}=\operatorname{C}_{{\mathbf{G}}}^{({}<{-\infty})}(\gamma^{\pm 1})$, ${\mathbf{N}}^{\mp}$, ${\mathbf{M}}=\operatorname{C}_{{\mathbf{G}}}^{({}<{0})}(\gamma)$, and ${{\mathbf{H}}}=\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$, and

• •

point ${x}\in{\mathcal{B}}(H)$,

satisfying Hypotheses 3.2.2 and 3.2.8, from §3.2. These hypotheses say nothing about the relationship between $\gamma$ and $Z^{*}_{o}$. Lemmas 4.1.3 and 4.1.4 discuss conditions under which some such relationship can be deduced.

Lemma 4.1.3**.**

If $o\in{\mathcal{B}}(G^{\prime})$ and $X^{*}\in\operatorname{Lie}^{*}(H)_{{x}\geq{-r}}$ are such that

[TABLE]

is non-empty.

Proof.

By [jkim-murnaghan:charexp]*Lemma 2.3.3, we have that $x$ belongs to ${\mathcal{B}}(G^{\prime})$. Then, by Hypothesis 4.1.1(1, 2), we have that $Z^{*}_{o}$ belongs to $\operatorname{Lie}^{*}(G^{\prime})_{{x}\geq{-r}}$.

It follows that

[TABLE]

is non-empty, so

[TABLE]

The result now follows from the dual-Lie-algebra analogue of [adler-spice:good-expansions]*Lemma LABEL:adler-spice:good-expansions:lem:good-comm. ∎

Lemma 4.1.4**.**

If $\gamma$ centralises ${\mathbf{H}}^{\circ}$ and

[TABLE]

is non-empty, then $\gamma$ belongs to $G^{\prime}$, and $Z^{*}_{o}$ to $\operatorname{Lie}^{*}(H^{\prime})$.

Proof.

Any element of $\operatorname{Lie}^{*}(H)\cap(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{-r}>{)}}$ is fixed by $\operatorname{Ad}^{*}(\gamma)$, so Hypothesis 4.1.1(3) implies that $\gamma$ belongs to $G^{\prime}$, and then Hypothesis 4.1.1(1) that $\gamma$ centralises $Z^{*}_{o}$. In particular, since the action of $\gamma$ on $\operatorname{Lie}(H)^{\perp}$ is fixed-point-free, we have that $Z^{*}_{o}$ annihilates that space, so belongs to $\operatorname{Lie}^{*}(H)$, hence to $\operatorname{Lie}^{*}(H^{\prime})$. ∎

Until §4.2, we assume that $\gamma$ belongs to $G^{\prime}$. (Lemma 4.1.4 shows that this is automatic if we require $\gamma$ to centralise ${\mathbf{H}}^{\circ}$, as we do in Hypothesis 4.4.2.) We use primes to denote the analogues in ${\mathbf{G}}^{\prime}$ of constructions in $\mathbf{G}$, so, for example, ${\mathbf{H}}^{\prime}$ stands for $\operatorname{C}_{{\mathbf{G}}^{\prime}}^{({}<{r})}(\gamma)$ (subject to the proviso in Remark 3.2.3, that we may refer directly only to the identity component of ${\mathbf{H}}^{\prime}$). We remind the reader that, in Proposition 5.1.3, the symbol $\mathbf{H}$ will be used for a different group.

In order to prove the existence of asymptotic expansions in Theorem 4.4.11, we need to consider, not just good elements such as $Z^{*}_{o}$, but elements of $\operatorname{Lie}^{*}(H)$ close to them. These “nearly good” elements enjoy weakened versions of many of the same properties as $Z^{*}_{o}$, which nonetheless suffice for the explicit calculations in §5. See Remark 4.1.7. We isolate these properties in Hypothesis 4.1.5, so that they may be used without explicit reference to $Z^{*}_{o}$. Note, however, that the hypothesis does depend on the element $\gamma\in G$, the point $x\in{\mathcal{B}}(H)$, and the subgroup ${\mathbf{G}}^{\prime}$.

Hypotheses 3.2.8 and 4.1.5 bear a close resemblance, the idea being that ${\mathbf{G}}^{\prime}$ plays the role of $\operatorname{C}_{{\mathbf{G}}}^{({}\leq{-r})}(X^{*})$; but they are not literal translations. For example, the similar-appearing Hypotheses 3.2.8(5) and 4.1.5(5) are subtly different. We genuinely need the extra strength of the latter, for example in Lemma 5.2.2, and can get away with assuming it because ${\mathbf{G}}^{\circ}\cap{\mathbf{G}}^{\prime}$ is automatically connected (Remark 3.2.3), whereas ${\mathbf{G}}^{\circ}\cap{\mathbf{H}}$ need not be.

Hypothesis 4.1.5**.**

Suppose that $\gamma$ belongs to $G^{\prime}$. Let $({\mathbf{G}}^{\prime},{\vec{\mathbf{G}}})$ be a tame Levi sequence containing $X^{*}$, such that $x$ belongs to ${\mathcal{B}}({\vec{G}})$, and let $\vec{a}$ be a depth vector.

1. (1)

The point $x$ belongs to ${\mathcal{B}}(G^{\prime})$. 2. (2)

*The element $X^{*}$ belongs to $\operatorname{Lie}^{*}(H^{\prime})_{{x}\geq{-r}}$. * 3. (3)

The map $\operatorname{ad}^{*}(\cdot)X^{*}$ carries $\operatorname{Lie}({\vec{G}})_{{x}\geq{\vec{a}}}$ into $\operatorname{Lie}^{*}({\vec{G}})_{{x}\geq{\vec{a}-r}}$, and induces an isomorphism

[TABLE] 4. (4)

If $\vec{a}$ is grouplike, then the map $(\operatorname{Ad}^{*}(\cdot)-1)X^{*}$ carries $(M\cap{\vec{G}})_{{x}\geq{\vec{a}}}$ into $\operatorname{Lie}^{*}(M\cap{\vec{G}})_{{x}\geq{\vec{a}-r}}$, and induces a bijection

[TABLE] 5. (5)

If $g\in G^{\circ}$ is such that

[TABLE]

is non-empty, then $g$ belongs to $G^{\prime}$.

Lemma 4.1.6**.**

Suppose that $X^{*}$ satisfies Hypothesis 4.1.5 for $\mathbf{G}$. Then it also satisfies the analogous hypothesis for $\operatorname{C}_{{\mathbf{G}}}^{({}<{i})}(\gamma^{\pm 1})$ for any $i\leq r$.

Let $\vec{\mathbf{G}}$ be a tame, twisted Levi sequence in $\mathbf{G}$ containing $X^{*}$, with $x\in{\mathcal{B}}({\vec{G}})$, and let $f$ and $F$ be depth matrices.

1. (1)

If the inequality $F\leq f+\min\{\operatorname{ord}_{X^{*}},{{({-r})}+}\}$ holds, then $\operatorname{ad}^{*}(\cdot)X^{*}$ carries $\operatorname{Lie}({\vec{G}})_{{x}\geq{f}}$ into $\operatorname{Lie}^{*}({\vec{G}})_{{x}\geq{F}}$. If, further, $f$ is grouplike and satisfies $F\leq f\mathbin{\rtimes}F$, then $(\operatorname{Ad}^{*}(\cdot)-1)X^{*}$ carries $(M\cap{\vec{G}})_{{x}\geq{f}}$ into $\operatorname{Lie}^{*}({\vec{G}})_{{x}\geq{F}}$. 2. (2)

If the inequality $F\geq f-r$ holds outside ${\mathbf{G}}^{\prime}$, then the pre-image of $\operatorname{Lie}^{*}({\vec{G}})_{{x}\geq{F}}$ under $\operatorname{ad}^{*}(\cdot)X^{*}$ is contained in $\operatorname{Lie}^{*}(G^{\prime},{\vec{G}})_{{x}\geq{(-\infty,f)}}$. If, further, $f$ is grouplike and satisfies $F\leq f\mathbin{\rtimes}F$, then the pre-image in $M_{{x}>{0}}$ of $\operatorname{Lie}^{*}(M\cap{\vec{G}})_{{x}\geq{F}}$ under $(\operatorname{Ad}^{*}(\cdot)-1)X^{*}$ is contained in $(M^{\prime},M\cap{\vec{G}})_{{x}\geq{({{0}+},f)}}$. 3. (3)

If the inequality $F\geq f-r$ holds outside ${\mathbf{G}}^{\prime}$, and $f$ is grouplike and satisfies $F\leq f\mathbin{\rtimes}F$, then $\operatorname{Ad}^{*}((M\cap{\vec{G}})_{{x}\geq{f}})(X^{*}+\operatorname{Lie}^{*}(G^{\prime})_{{x}\geq{F}})$ contains $X^{*}+\operatorname{Lie}^{*}(M\cap{\vec{G}})_{{x}\geq{F}}$.

Proof.

As with Lemmas 3.2.7 and 3.2.11, it suffices simply to apply Hypothesis 4.1.5 repeatedly to groups of the form $\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{\vec{a}}}$, once we show the claimed heredity. Hypotheses 4.1.5(1, 2, 5) are automatic, so we need only consider Hypotheses 4.1.5(4, 3). The calculations below are lengthy, but routine. The idea is that, if we know something about $(\operatorname{Ad}^{*}(g)-1)X^{*}$ relative to $\gamma$, then we can use it to learn something about $(\operatorname{Ad}^{*}([g,\gamma])-1)X^{*}$, so that Hypothesis 4.1.5(4) (for $\mathbf{G}$) gives us information about $[g,\gamma]$, and then Lemma 3.2.11(2) gives us information about $g$ itself. Similarly, if we know something about $\operatorname{ad}^{*}(Y)X^{*}$ relative to $\gamma$, then we can use it to learn something about $\operatorname{Ad}^{*}((\operatorname{Ad}(\gamma)-1)Y)X^{*}$.

For Hypothesis 4.1.5(3), note that $\operatorname{Lie}(\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma^{\pm 1}))_{{x}={\vec{a}}}/\operatorname{Lie}(\operatorname{C}_{G^{\prime}\cap{\vec{G}}}^{({}<{i})}(\gamma^{\pm 1}))_{{x}={\vec{a}}}$ sits naturally inside ${\vec{G}}_{{x}={\vec{a}}}/(G^{\prime}\cap{\vec{G}})_{{x}={\vec{a}}}$, and similarly for $\operatorname{Lie}^{*}(\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma^{\pm 1}))_{{x}={\vec{a}-r}}/\operatorname{Lie}^{*}(\operatorname{C}_{G^{\prime}\cap{\vec{G}}}^{({}<{i})}(\gamma^{\pm 1}))_{{x}={\vec{a}-r}}$, and that the image of the former is contained in the latter (all by Hypotheses 3.2.2(4) and 4.1.5). Thus, it suffices to show that, if $Y\in{\vec{G}}_{{x}\geq{\vec{a}}}$ is such that $\operatorname{ad}^{*}(Y)X^{*}$ belongs to $\operatorname{Lie}^{*}(\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma))_{{x}\geq{\vec{a}-r}}$, then $Y$ belongs to $\operatorname{Lie}(G^{\prime},\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma),{\vec{G}})_{{x}\geq{(\vec{a},\vec{a},{{\vec{a}}+})}}$. In this case, with the clumsy notation $X^{*}_{\gamma^{-1}}=(\operatorname{Ad}^{*}(\gamma)^{-1}-1)X^{*}$, which belongs to $\operatorname{Lie}^{*}(H)_{{x}\geq{0}}$ (by Hypothesis 4.1.5(2) and Remark 3.2.10), and $X^{*}_{Y}=\operatorname{ad}^{*}(Y)X^{*}$, which belongs to $\operatorname{Lie}^{*}(\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma))_{{x}\geq{\vec{a}-r}}$ (by assumption), we have by Lemmas 3.2.7(1) and 3.2.11(1) that

[TABLE]

belongs to

[TABLE]

Then Hypothesis 4.1.5(3) gives that $(\operatorname{Ad}(\gamma)-1)Y$ belongs to

[TABLE]

and Lemma 3.2.11(2) gives that $Y$ belongs to

[TABLE]

If we write $Y=Y^{-}+Y^{+}$, with $Y^{-}\in\operatorname{Lie}(G^{\prime},\operatorname{C}_{{\vec{G}}}^{({}\leq{i})}(\gamma),\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma),{\vec{G}})_{{x}\geq{(\vec{a},\vec{a},{{\vec{a}}+})}}$ and $Y^{+}\in\operatorname{Lie}(N^{+})$, then we see that $\operatorname{ad}^{*}(Y)X^{*}-\operatorname{ad}^{*}(Y^{-})X^{*}$ belongs to $\operatorname{Lie}^{*}(P^{-})$ by assumption, but, since it equals $\operatorname{ad}^{*}(Y^{+})X^{*}$, also in $\operatorname{Lie}^{*}(P^{+})$; so that it equals [math], and hence (by Hypothesis 4.1.5(3) again) that $Y^{+}$ belongs to $\operatorname{Lie}(G^{\prime})$. Thus, we have shown that $Y$ belongs to

[TABLE]

Since we already know that $Y$ belongs to $\operatorname{Lie}({\vec{G}})_{{x}\geq{\vec{a}}}$, it follows that it belongs to $\operatorname{Lie}(G^{\prime},\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma),{\vec{G}})_{{x}\geq{(\vec{a},\vec{a},{{\vec{a}}+})}}$, as desired.

Similarly, we reduce Hypothesis 4.1.5(4) to showing that, if $\vec{a}$ is grouplike, $i\in{\mathbb{R}}_{\geq 0}$ satisfies $i<r$, and $g\in\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{\vec{a}}}$ is such that $(\operatorname{Ad}^{*}(g)-1)X^{*}$ belongs to $\operatorname{Lie}^{*}(\operatorname{C}_{{\vec{G}}}^{({}\leq{i})}(\gamma))_{{x}\geq{\vec{a}-r}}$, then $g$ belongs to $(M^{\prime},\operatorname{C}_{G}^{({}\leq{i})}(\gamma),M)_{{x}\geq{(\vec{a},\vec{a},{{\vec{a}}+})}}$.

In what follows, we use Lemma 3.2.7(2) and Lemma 3.2.11(1) repeatedly, without explicit mention. Note that $g$ normalises $\operatorname{Lie}^{*}(\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma))_{{x}\geq{\vec{a}-r}}$ (since we have the inequality $\vec{a}\mathbin{\vee}(\vec{a}-r)\geq\vec{a}-r$), so that $\operatorname{Ad}^{*}(\gamma g)^{-1}X^{*}$ belongs to

[TABLE]

Thus $(\operatorname{Ad}^{*}(\gamma)-1)\operatorname{Ad}^{*}(\gamma g)^{-1}X^{*}$ belongs to

[TABLE]

and $(\operatorname{Ad}^{*}(g)-1)\operatorname{Ad}^{*}(\gamma g)^{-1}X^{*}$ belongs to

[TABLE]

so

[TABLE]

belongs to

[TABLE]

Now we have by Hypothesis 4.1.5(4) that $[g,\gamma]$, which certainly belongs to $M_{{x}>{0}}$, in fact belongs to $(G^{\prime},M)_{{x}>{(0,\vec{a}+i)}}$; hence by Lemma 3.2.11(2) that $g$ belongs to $(G^{\prime},\operatorname{C}_{G}^{({}\leq{i})}(\gamma),M)_{{x}\geq{({{0}+},\vec{a},{{\vec{a}}+})}}$. Since we already know that $g$ belongs to $\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{\vec{a}}}$, it belongs to $(G^{\prime},\operatorname{C}_{G}^{({}\leq{i})}(\gamma),\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma))_{{x}\geq{(\vec{a},\vec{a},{{\vec{a}}+})}}$, as desired. ∎

So far, we have discussed the consequences of Hypothesis 4.1.5 abstractly, without any reference to the element $Z^{*}_{o}$. Although we still do not to require that $X^{*}$ is close to $Z^{*}_{o}$, we observe in Remark 4.1.7 that choosing such elements is one way to satisfy Hypothesis 4.1.5.

Remark 4.1.7*.*

Suppose that $X^{*}$ is an element of $\operatorname{Lie}^{*}(H)\cap(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}})$. In particular, $X^{*}$ belongs to $\operatorname{Lie}^{*}(G^{\prime})$.

Hypothesis 4.1.5(1) follows from [jkim-murnaghan:charexp]*Lemma 2.3.3. Hypothesis 4.1.5(2) is built into our choice of $X^{*}$. By Lemma 4.1.4, we have that $Z^{*}_{o}$ belongs to $\operatorname{Lie}^{*}(G^{\prime})_{{x}\geq{-r}}$, so, since $X^{*}$ does as well, we have that $X^{*}-Z^{*}_{o}$ belongs to $\operatorname{Lie}^{*}(G^{\prime})_{{x}\geq{-r}}\cap\operatorname{Lie}^{(}G^{\prime})_{{}>{-r}}$. Since $(\operatorname{Lie}^{*}(G^{\prime})_{{x}\geq{-r}}\cap\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}})+\operatorname{Lie}^{*}(G^{\prime})_{{x}>{-r}}$ is contained in $\operatorname{Lie}^{*}(G^{\prime})_{{x}\geq{-r}}\cap\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}}$, we have that

[TABLE]

In particular, Hypothesis 4.1.5(3, 4) is proven as in [jkim-murnaghan:charexp]*Lemma 2.3.4, and Hypothesis 4.1.5(5) follows from the dual-Lie-algebra analogue of [jkim-murnaghan:charexp]*Lemma 2.3.6.

In Lemma 4.1.8, we lay the groundwork for the proof in Lemma 4.4.14 that only certain orbits need to be considered when checking the correctness of a possible asymptotic expansion.

Lemma 4.1.8**.**

If $X^{*}$ belongs to $\operatorname{Lie}^{*}(H)\cap(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}})$ and $g\in G$ is such that

[TABLE]

is non-empty, then $G^{\prime}gH^{\circ}$ is the trivial $(G^{\prime},H^{\circ})$-double coset, and the intersection equals ${\mathcal{O}}^{H^{\prime\,\circ}}(X^{*}+\operatorname{Lie}^{*}(H^{\prime})_{{x}>{-r}})$.

Proof.

Let ${\mathcal{O}}^{\prime}$ be an element of the intersection.

Remark 4.1.7 gives that Hypothesis 4.1.5 is satisfied. By assumption, there is an element $h\in H^{\circ}$ so that $\operatorname{Ad}^{*}(h)(X^{*}+\operatorname{Lie}^{*}(H)_{{x}>{-r}})$ intersects ${\mathcal{O}}^{\prime}$. By Lemma 4.1.6(3), upon adjusting $h$ on the right by an element of $H_{{x}>{0}}$, we may, and do, assume that $\operatorname{Ad}^{*}(h)(X^{*}+\operatorname{Lie}^{*}(H^{\prime})_{{x}>{-r}})$ intersects ${\mathcal{O}}^{\prime}$. Upon adjusting $h$ on the left by an element of $H^{\prime\,\circ}$, we may, and do, assume that $\operatorname{Ad}^{*}(h)(X^{*}+\operatorname{Lie}^{*}(H)_{{x}>{-r}})\cap{\mathcal{O}}^{\prime}$ intersects $\operatorname{Ad}^{*}(g)^{-1}(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}})$.

Since $X^{*}+\operatorname{Lie}^{*}(H^{\prime})_{{x}>{-r}}$ is contained in $Z^{*}_{o}+(\operatorname{Lie}^{*}(G^{\prime})_{{x}\geq{-r}}\cap\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}})$ (Remark 4.1.7), we have by Hypothesis 4.1.1(3) that $gh$ belongs to $G^{\prime}$, so that $G^{\prime}gH^{\circ}$ is the trivial double coset.

Therefore, upon adjusting $g$ on the left by an element of $G^{\prime}$ (which does not affect the hypothesis, since $Z^{*}_{o}$ is fixed by the coadjoint action of ${\mathbf{G}}^{\prime}$), we may, and do, assume that it belongs to $H^{\circ}$. Thus $h^{\prime}\mathbin{\vcentcolon=}gh$ belongs to $G^{\prime}\cap H^{\circ}$, which equals $H^{\prime\,\circ}$ by Remark 3.2.3. In particular, $\operatorname{Ad}^{*}(h^{\prime})^{-1}{\mathcal{O}}^{\prime}$ equals ${\mathcal{O}}^{\prime}$; so, since $X^{*}+\operatorname{Lie}^{*}(H)_{{x}>{-r}}$ intersects $\operatorname{Ad}^{*}(h^{\prime})^{-1}{\mathcal{O}}^{\prime}\subseteq\operatorname{Lie}^{*}(H^{\prime})$, and since $(X^{*}+\operatorname{Lie}^{*}(H)_{{x}>{-r}})\cap\operatorname{Lie}^{*}(H^{\prime})$ equals $X^{*}+\operatorname{Lie}^{*}(H^{\prime})_{{x}>{-r}}$, we are done. ∎

Remark 4.1.9*.*

If $Z^{*}_{o}$ belongs to $\operatorname{Lie}^{*}(H)$, then, by Lemma 4.1.6(3), the set $\operatorname{Ad}^{*}(H^{\circ})(Z^{*}_{o}+\operatorname{Lie}^{*}(H^{\prime})_{{}>{-r}})$ is a neighbourhood of $Z^{*}_{o}$ in $\operatorname{Lie}^{*}(H)$. Thus each element of ${\mathcal{O}}^{H^{\circ}}(Z^{*}_{o})$ intersects $Z^{*}_{o}+\operatorname{Lie}^{*}(H^{\prime})_{{}>{-r}}$, hence contains some element of ${\mathcal{O}}^{H^{\prime\,\circ}}(Z^{*}_{o})$. On the other hand, by Hypothesis 4.1.1(3), distinct elements of ${\mathcal{O}}^{H^{\prime\,\circ}}(Z^{*}_{o})$ have distinct $H^{\circ}$ orbits. We frequently use the resulting bijection ${\mathcal{O}}^{H^{\circ}}(Z^{*}_{o})\to{\mathcal{O}}^{H^{\prime\,\circ}}(Z^{*}_{o})$ without further explicit mention.

4.2. A group analogue of a quadratic form

In §4.4, we express distributions on the group (eventually, characters, in Theorem 4.4.11) in terms of distributions on the Lie algebra (Fourier transforms of orbital integrals). This requires some way of passing between the two. In Hypothesis 4.3.1, we choose a “mock” exponential map that we will use to move from a neighbourhood of [math] in $\operatorname{Lie}(H)$ to a neighbourhood of the identity in $H$, but we still face the problem of extracting information about distributions on $G$. The “perpendicular group” $(H,G)_{{x}\geq{({{r}+},r)}}$ in Lemma 4.2.5 is an important tool, but a bit of machinery is necessary before we can define it.

We recall the

• •

non-negative real number $r$,

• •

element $\gamma\in G$, with associated groups ${\mathbf{M}}=\operatorname{C}_{{\mathbf{G}}}^{({}<{0})}(\gamma)$ and ${\mathbf{H}}=\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$, and

• •

point $x\in{\mathcal{B}}(H)$

from §3.2. Although we will soon (in Proposition 4.2.4) need $r$ to be positive, there is no harm in avoiding that assumption for a little bit. We do not need explicitly to mention the element $Z^{*}_{o}$ or the group ${\mathbf{G}}^{\prime}$ of §4.1 in this section.

Notation 4.2.1 defines ${\mathfrak{Q}}_{\gamma}$ and ${\mathfrak{B}}_{\gamma}$, which are “multiplicative analogues” of a quadratic and a bilinear form, respectively. Indeed, we have chosen the notation to parallel the quadratic form $q_{X^{*},\gamma}$ and the bilinear form $b_{X^{*},\gamma}$ that are introduced in Notation 5.1.2. The main use of our multiplicative analogues is in Proposition 5.1.8, where we show that a certain integral appearing in a Frobenius-type formula (see Proposition 5.2.6) may be rewritten as a Weil index. We have moved these results from §5.1 to §4.2 so that they can be used in Lemma 4.2.5.

Definition 4.2.1**.**

Put

[TABLE]

for all $v,v_{1},v_{2}\in G$.

As preparation for the bi-multiplicativity results of Proposition 4.2.3, we note in Lemma 4.2.2 a few basic algebraic identities involving ${\mathfrak{Q}}_{\gamma}$ and ${\mathfrak{B}}_{\gamma}$.

Lemma 4.2.2**.**

We have that

[TABLE]

[TABLE]

and

[TABLE]

for all $v_{1},w_{1},v_{2},w_{2}\in G$.

Proof.

These are all direct computations. The last is the Hall–Witt identity

[TABLE]

re-written as

[TABLE]

and then translated to our notation. ∎

We think informally of ${\mathfrak{Q}}_{\gamma}$ and ${\mathfrak{B}}_{\gamma}$ as being something like a quadratic and a bilinear form, respectively. We justify the latter claim in Proposition 4.2.3, by showing that ${\mathfrak{B}}_{\gamma}$ is bi-multiplicative, up to an error term, on an appropriate domain; and then the former in Proposition 4.2.4. Note that Proposition 4.2.3 concerns the values of ${\mathfrak{Q}}_{\gamma}$ and ${\mathfrak{B}}_{\gamma}$ only on $M$, not on all of $G$. The restriction comes mainly from the fact that our reasoning requires at least that each $(f_{2})_{i}+i$ is concave, and that is true “for free” only if $i$ is non-negative.

Proposition 4.2.3**.**

Suppose that

• •

$\vec{\mathbf{M}}$* is a tame, twisted Levi sequence in $\mathbf{M}$ containing $\gamma$, such that $x$ is in ${\mathcal{B}}(\vec{M})$, and*

• •

$f_{1}$, $f_{2}$, $g_{q}$, and $g_{b}$ are grouplike depth matrices satisfying

[TABLE]

Then

• •

on $\vec{M}_{{x}\geq{f_{2}}}$, ${\mathfrak{Q}}_{\gamma}$ is ${\mathcal{D}}{\vec{M}}_{{x}\geq{g_{q}}}$-valued, and

• •

on $\vec{M}_{{x}\geq{f_{1}}}\times\vec{M}_{{x}\geq{f_{2}}}$,

• –

${\mathfrak{B}}_{\gamma}$* is ${\mathcal{D}}{\vec{M}}_{{x}\geq{g_{b}}}$-valued and*

• –

${\mathfrak{B}}_{\gamma}$* is bi-multiplicative modulo ${\mathcal{D}}{\vec{M}}_{{x}\geq{g}}$ on the same domain.*

Suppose further that $f_{1}$ equals $f_{2}$, and that the inequality $g\leq(f_{1}\mathbin{\vee}f_{2})+\operatorname{ord}_{\gamma}$ holds. Then

[TABLE]

modulo ${\mathcal{D}}{\vec{M}}_{{x}\geq{g}}$ for all $v_{1},v_{2}\in\vec{M}_{{x}\geq{f_{1}}}=\vec{M}_{{x}\geq{f_{2}}}$.

A certain amount of circuitousness in our argument is necessitated by the fact that we have to deal with the vector $f_{2}+\operatorname{ord}_{\gamma}$ in our bounds, rather than $g_{q}$. The obvious solution seems to be simply to take $g_{q}$ to be $f_{2}+\operatorname{ord}_{\gamma}$, but that need not be grouplike; hence the contortions.

Proof.

The statement about the values of ${\mathfrak{Q}}_{\gamma}$ is a special case of Lemma 3.2.11(1).

In what follows, we use Lemma 3.2.7(3) repeatedly, without further mention.

We prove the statement about the values of ${\mathfrak{B}}_{\gamma}$, and about its bi-multiplicativity, simultaneously. Write $\mathcal{S}$ for the set

[TABLE]

Since $g$ is bounded above by $g_{b}\mathbin{\vee}g_{b}$, the values of ${\mathfrak{B}}_{\gamma}$ on $\mathcal{S}$ commute modulo ${\mathcal{D}}{\vec{M}}_{{x}\geq{g}}$. By Lemma 4.2.2(2) and the fact that $g$ is bounded above by $f_{1}\mathbin{\vee}g_{b}$, we have that ${\mathfrak{B}}_{\gamma}$ is multiplicative modulo ${\mathcal{D}}{\vec{M}}_{{x}\geq{g}}$ in its first variable on $\mathcal{S}$.

We have already shown that, if $i$ belongs to ${\widetilde{\mathbb{R}}}_{\geq 0}$ and $w_{2}$ to $\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{(f_{2})_{i}}}$, then ${\mathfrak{Q}}_{\gamma}(w_{2})$ belongs to $\operatorname{C}_{{\vec{G}}}^{({}<{i})}(\gamma)_{{x}\geq{(f_{2})_{i}+i}}$; so Lemma 4.2.2(3), and the fact that $g$ is bounded above by ($f_{1}\mathbin{\vee}g_{b}$ and) $g_{b}\mathbin{\vee}(f_{2}+\operatorname{ord}_{\gamma})$, give that, if $(v_{1},v_{2})$ belongs to $\mathcal{S}$, then ${\mathfrak{B}}_{\gamma}(v_{1},v_{2}w_{2})$ is congruent to ${\mathfrak{B}}_{\gamma}(v_{1},v_{2}){\mathfrak{B}}_{\gamma}(v_{1},w_{2})$ modulo ${\mathcal{D}}{\vec{M}}_{{x}\geq{g}}$. In particular, $(v_{1},v_{2}w_{2})$ belongs to $\mathcal{S}$.

Now suppose, as in the second part of the statement, that $f_{1}$ equals $f_{2}$, and put $f=f_{1}=f_{2}$ and $F=f_{1}\mathbin{\vee}f_{2}$. Note that $g$ is bounded above by

[TABLE]

and

[TABLE]

By Lemma 3.2.11(1), we have that $\gamma$ normalises $\vec{M}_{{x}\geq{f}}$. Note that $[v_{1},v_{2}]$ belongs to $\vec{M}_{{x}\geq{F}}$. Since $g$ is bounded above by $\min\{F+\operatorname{ord}_{\gamma},F\mathbin{\vee}g\}$, we have already shown that ${\mathfrak{Q}}_{\gamma}([v_{1},v_{2}])$ belongs to ${\mathcal{D}}{\vec{M}}_{{x}\geq{g}}\subseteq\vec{M}_{{x}\geq{g_{b}}}$; and, since $g$ is bounded above by $F\mathbin{\vee}(f+\operatorname{ord}_{\gamma})$, that ${\mathfrak{B}}_{\gamma}([v_{1},v_{2}],v_{1})$ and ${\mathfrak{B}}_{\gamma}([v_{1},v_{2}],v_{2})$ belong to ${\mathcal{D}}{\vec{M}}_{{x}\geq{g}}\subseteq\vec{M}_{{x}\geq{g_{b}}}$. If we make the trivial observations that ${\mathfrak{Q}}_{\gamma}(v_{1})$ and ${\mathfrak{Q}}_{\gamma}(v_{2})$ belong to $\vec{M}_{{x}\geq{f}}$, and that the commutator of $\vec{M}_{{x}\geq{f}}$ with $\vec{M}_{{x}\geq{g_{b}}}$ belongs to ${\mathcal{D}}{\vec{M}}_{{x}\geq{g}}$ (because $g$ is bounded above by $f\mathbin{\vee}g_{b}$), then we see that the claimed twisted symmetry follows from Lemma 4.2.2(4) (and bi-multiplicativity). ∎

Proposition 4.2.4 justifies our claim that ${\mathfrak{Q}}_{\gamma}$ is an analogue of a quadratic form by showing that it is given by using the analogue ${\mathfrak{B}}_{\gamma}$ of a bilinear form to pair group elements with themselves. We use it in Proposition 5.1.8 to show that Gauss sums occur when computing the values of invariant distributions at certain test functions. It allows us to avoid the centrality assumption imposed, in an analogous situation, in [adler-spice:explicit-chars]Hypothesis LABEL:adler-spice:explicit-chars:hyp:X-central.

Proposition 4.2.4**.**

Suppose that $r$ is positive. For any tame, twisted Levi subgroup ${\mathbf{G}}^{\prime}$ of $\mathbf{G}$ containing $\gamma$, such that $x$ belongs to ${\mathcal{B}}(G^{\prime})$, we have that

[TABLE]

modulo ${\mathcal{D}}(H^{\prime},\operatorname{C}_{G^{\prime}}^{({}\leq{0})}(\gamma),\operatorname{C}_{G}^{({}\leq{0})}(\gamma))_{{x}\geq{({{r}+},r,{{s}+})}}$ for all $v\in(H,\operatorname{C}_{G^{\prime}}^{({}\leq{0})}(\gamma),\operatorname{C}_{G}^{({}\leq{0})}(\gamma))_{{x}\geq{({{0}+},r-\operatorname{ord}_{\gamma},(r-\operatorname{ord}_{\gamma})/2)}}$.

Proof.

We may, and do, assume, upon passing to a suitable tame extension, that ${\mathbf{G}}^{\prime\,\circ}$ is a Levi subgroup of ${\mathbf{G}}^{\circ}$.

Put

[TABLE]

Write ${\overline{{\mathfrak{Q}}}}_{\gamma}$ and ${\overline{{\mathfrak{B}}}}_{\gamma}$ for the compositions of ${\mathfrak{Q}}_{\gamma}$ and ${\mathfrak{B}}_{\gamma}$, respectively, with the projection $G\to G/{\mathcal{D}}(H^{\prime},G^{\prime},G)_{{x}\geq{({{r}+},r,{{s}+})}}$.

By Proposition 4.2.3, applied to the depth matrices

[TABLE]

(which gives rise to the group $(H^{\prime},\operatorname{C}_{G^{\prime}}^{({}\leq{0})}(\gamma),\operatorname{C}_{G}^{({}\leq{0})}(\gamma))_{{x}\geq{({{r}+},r,{{s}+})}}$), we have that

• •

the values of ${\overline{{\mathfrak{Q}}}}_{\gamma}$ on ${\mathcal{V}}^{\perp}$, and of ${\overline{{\mathfrak{B}}}}_{\gamma}$ on ${\mathcal{V}}^{\perp}\times{\mathcal{V}}^{\perp}$, belong to the image of $(\operatorname{C}_{G^{\prime}}^{({}\leq{0})}(\gamma),\operatorname{C}_{G}^{({}\leq{0})}(\gamma))_{{x}\geq{(r,{{s}+})}}$, which is Abelian by Lemma 3.2.7(3);

• •

${\overline{{\mathfrak{B}}}}_{\gamma}$ is bi-multiplicative on ${\mathcal{V}}^{\perp}\times{\mathcal{V}}^{\perp}$;

• •

$\operatorname{Int}(\gamma)v_{1}=v_{1}{\mathfrak{Q}}_{\gamma}(v_{1}^{-1})$ is congruent to $v_{1}$ modulo $(\operatorname{C}_{G^{\prime}}^{({}\leq{0})}(\gamma),\operatorname{C}_{G}^{({}\leq{0})}(\gamma))_{{x}\geq{(r,{{s}+})}}\subseteq{\mathcal{V}}^{\perp}_{+}$ for all $v_{1}\in{\mathcal{V}}^{\perp}$; and

• •

${\overline{{\mathfrak{B}}}}_{\gamma}(\operatorname{Int}(\gamma)v_{1},v_{2})$ equals ${\overline{{\mathfrak{B}}}}_{\gamma}(v_{2},v_{1})$ for all $(v_{1},v_{2})\in{\mathcal{V}}^{\perp}\times{\mathcal{V}}^{\perp}$.

In fact, applying the same result, with $(f_{1},f_{2},g_{q},g_{b},g)$ replaced by $({{f_{1}}+},f_{2},g_{q},g,{{g}+})$ or $(f_{1},{{f_{2}}+},g_{q},g,g)$, gives that ${\overline{{\mathfrak{B}}}}_{\gamma}$ is trivial on ${\mathcal{V}}^{\perp}\times{\mathcal{V}}^{\perp}_{+}$ and ${\mathcal{V}}^{\perp}_{+}\times{\mathcal{V}}^{\perp}$, which means (in light of the above) that actually ${\overline{{\mathfrak{B}}}}_{\gamma}$ is symmetric on ${\mathcal{V}}^{\perp}\times{\mathcal{V}}^{\perp}$.

In particular, since the value of ${\mathfrak{Q}}_{\gamma}$ at the identity is $1$, we have by Lemma 4.2.2(1) that

[TABLE]

for all $v\in{\mathcal{V}}^{\perp}$. It thus suffices to show that the set

[TABLE]

equals ${\mathcal{V}}^{\perp}$. Note that $\mathcal{I}$ is a group, since it clearly contains the identity; and since, for $v_{1},v_{2}\in{\mathcal{I}}$, we have by bi-multiplicativity and symmetry, and Lemma 4.2.2(1), that ${\overline{{\mathfrak{Q}}}}_{\gamma}(v_{1}v_{2}^{-1})$ equals

[TABLE]

hence that $v_{1}v_{2}^{-1}$ belongs to $\mathcal{I}$.

Remember that we have passed to a tame extension, and so arranged that ${\mathbf{G}}^{\prime\,\circ}$ is a Levi subgroup of ${\mathbf{G}}^{\circ}$. By Proposition 4.2.3, applied to the restrictions of the depth matrices $(f_{1},f_{2},g_{q},g,g)$ (not $(f_{1},f_{2},g_{q},g_{b},g)$) to ${\mathbf{Q}}^{\prime\,\circ}$, we have that ${\overline{{\mathfrak{Q}}}}_{\gamma}$ is trivial on $(\operatorname{C}_{Q}^{({}<{r})}(\gamma),\operatorname{C}_{G^{\prime}}^{({}\leq{0})}(\gamma),\operatorname{C}_{G}^{({}\leq{0})}(\gamma))_{{x}\geq{({{0}+},r-\operatorname{ord}_{\gamma},(r-\operatorname{ord}_{\gamma})/2)}}$, so that that group is contained in $\mathcal{I}$. (The point of restricting to a parabolic subgroup is, informally speaking, that, because no two weights in $\mathbf{Q}$ but outside of ${\mathbf{G}}^{\prime}$ sum to a weight in ${\mathbf{G}}^{\prime}$, we can get away with a stricter bound on the values of ${\mathfrak{Q}}_{\gamma}$.) Since ${\mathbf{Q}}^{\circ}$ was any parabolic subgroup of ${\mathbf{G}}^{\circ}$ with Levi component ${\mathbf{G}}^{\prime\,\circ}$, it follows (say, by taking two opposite such subgroups) that $\mathcal{I}$ contains ${\mathcal{V}}^{\perp}$, as desired. ∎

Our conditions on depth matrices in Definition 3.2.4 mean that we have not yet defined notation like $(H,G)_{{x}\geq{({{r}+},r)}}$, for a “perpendicular group” to $H_{{x}\geq{r}}$ in $G_{{x}\geq{r}}$. We define such a complement in Lemma 4.2.5. It is meant primarily to be used in Lemma 4.4.3, our main tool for moving from distributions on $G$ to distributions on $H$, but we also use it to define the notion of a dual blob (Definition 4.3.2).

Lemma 4.2.5**.**

For any

• •

tame, twisted Levi sequence $\vec{\mathbf{G}}$ in $\mathbf{G}$ containing $\gamma$, such that $x$ is in ${\mathcal{B}}({\vec{G}})$, and

• •

concave depth vector $\vec{a}$,

we have that

[TABLE]

is a subgroup of ${\mathcal{D}}{\vec{G}}_{{x}\geq{\vec{a}+r}}$ such that

[TABLE]

Analogous properties hold for the group

[TABLE]

Proof.

For this proof, put ${\mathcal{H}}=(H\cap{\vec{G}},M\cap{\vec{G}})_{{x}\geq{({{\vec{a}}+},\vec{a}+r-\operatorname{ord}_{\gamma})}}$ and ${\mathcal{H}}_{+}=(H\cap{\vec{G}},M\cap{\vec{G}})_{{x}>{(\vec{a},\vec{a}+r-\operatorname{ord}_{\gamma})}}$.

It follows from Proposition 4.2.3 that ${\mathfrak{Q}}_{\gamma}$ is $\operatorname{C}_{{\mathcal{D}}{\vec{G}}}^{({}<{0})}(\gamma)_{{x}\geq{\vec{a}+r}}$-valued, and multiplicative modulo $\operatorname{C}_{{\mathcal{D}}{\vec{G}}}^{({}<{0})}(\gamma)_{{x}>{\vec{a}+r}}$, on $\mathcal{H}$; and $\operatorname{C}_{{\mathcal{D}}{\vec{G}}}^{({}<{0})}(\gamma)_{{x}>{\vec{a}+r}}$-valued on ${\mathcal{H}}_{+}$. In particular, ${\mathcal{D}}(H\cap{\vec{G}},{\vec{G}})_{{x}\geq{({{\vec{a}}+},\vec{a})+r}}$ is a group.

By Lemma 3.2.11(4), for any $g\in(M\cap{\vec{G}})_{{x}\geq{\vec{a}+r}}$, there are $h\in(H\cap{\vec{G}})_{{x}\geq{\vec{a}+r}}$ and $v\in{\mathcal{H}}$ so that $\operatorname{Int}(v)(h\gamma)$ equals $g\gamma$. Then $g$ equals $h\cdot[h^{-1},v]\cdot{\mathfrak{Q}}_{\gamma}(k)$, which, by Lemma 3.2.7(3), belongs to $h\cdot(H\cap{\vec{G}},{\vec{G}})_{{x}\geq{({{\vec{a}}+},\vec{a})+r}}$. Since $(H\cap{\vec{G}},{\vec{G}})_{{x}\geq{({{\vec{a}}+},\vec{a})+r}}$ contains $N^{\pm}_{{x}\geq{\vec{a}+r}}$, we have the first equality.

If $v\in{\mathcal{H}}$ and $g\in{\vec{G}}_{{x}>{\vec{a}+r}}$ are such that $h\mathbin{\vcentcolon=}g\cdot{\mathfrak{Q}}_{\gamma}(v)$ belongs to $(H\cap{\vec{G}})_{{x}\geq{\vec{a}+r}}$, then, in particular, $g$ belongs to $(M\cap{\vec{G}})_{{x}\geq{\vec{a}+r}}$; and $\operatorname{Int}(v)\gamma$ equals $g^{-1}h\gamma$. By Lemma 3.2.11(4), there is $k\in{\mathcal{H}}_{+}$ so that $\operatorname{Int}(k)(g^{-1}h\gamma)$ belongs to $\gamma(H\cap{\vec{G}})_{{x}\geq{\vec{a}+r}}$. By Lemma 3.2.11(5), we have that $kv\in{\mathcal{H}}$ belongs to $H_{{x}>{0}}$, hence to $(H\cap{\vec{G}})_{{x}>{\vec{a}}}\subseteq{\mathcal{H}}_{+}$. Thus, $v$ itself belongs to ${\mathcal{H}}_{+}$, hence ${\mathfrak{Q}}_{\gamma}(v)$ to $\operatorname{C}_{{\mathcal{D}}{\vec{G}}}^{({}<{0})}(\gamma)_{{x}>{\vec{a}+r}}$; and finally $g\cdot{\mathfrak{Q}}_{\gamma}(v)\in(H\cap{\vec{G}})_{{x}\geq{\vec{a}+r}}$ belongs to $\operatorname{C}_{{\mathcal{D}}{\vec{G}}}^{({}<{0})}(\gamma)_{{x}>{\vec{a}+r}}$, hence to $\operatorname{C}_{{\mathcal{D}}{\vec{G}}}^{({}<{r})}(\gamma)_{{x}>{\vec{a}+r}}$. ∎

Remark 4.2.6*.*

The proof of Lemma 4.2.5 actually shows that ${\mathfrak{Q}}_{\gamma}$ induces an isomorphism

[TABLE]

4.3. Dual blobs

We recall the

• •

non-negative real number $r$,

• •

element $\gamma\in G$, with associated groups ${\mathbf{M}}=\operatorname{C}_{{\mathbf{G}}}^{({}<{0})}(\gamma)$ and ${\mathbf{H}}=\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$, and

• •

point $x\in{\mathcal{B}}(H)$

from §3.2.

We are now ready to set up our tool for moving between $\operatorname{Lie}(H)$ and $H$, to be used primarily in Theorem 4.4.11. The most natural candidate is the exponential map, but this is only defined if the characteristic of $k$ is [math], and even then may have a very small radius of convergence. It turns out that all we need is a “mock” exponential map satisfying certain (near-)equivariance properties, which we state in Hypothesis 4.3.1. The hypothesis will not be satisfied unless we assume that $r$ is positive, so we do so now.

Hypothesis 4.3.1(1) is a strengthening of [debacker:homogeneity]*Hypothesis 3.2.1(1). Hypothesis 4.3.1(2)(a) is implied by [debacker:homogeneity]*Hypothesis 3.2.1(2), and Hypothesis 4.3.1(2)(b) is satisfied if the multiset of depths (in the multiplicative filtration) of eigenvalues of ${\mathsf{e}}(Y)$ coincides with the multiset of depths (in the additive filtration) of eigenvalues of $Y$. In particular, the exponential map itself, the Cayley transform, and the “$1+{}$” map, as discussed in [debacker:homogeneity]*Remark 3.2.2, all satisfy Hypothesis 4.3.1(2)(b).

Hypothesis 4.3.1**.**

There is a homeomorphism ${{\mathsf{e}}}\mathrel{:}{\operatorname{Lie}(H)_{{}\geq{r}}\to H_{{}\geq{r}}}$, whose inverse we denote by $\operatorname{log}$, satisfying the following properties.

1. (1)

For all tame Levi sequences $\vec{\mathbf{H}}$ in $\mathbf{H}$ with $x\in{\mathcal{B}}(\vec{H})$, we have that

1. (a)

${\mathsf{e}}(\operatorname{Lie}(\vec{H})_{{x}\geq{\vec{a}}})$* equals $\vec{H}_{{x}\geq{\vec{a}}}$ for all grouplike depth vectors $\vec{a}\geq r$, and* 2. (b)

${\mathsf{e}}(Y_{1}){\mathsf{e}}(Y_{2})$* belongs to ${\mathsf{e}}(Y_{1}+Y_{2})H_{{x}\geq{\vec{a}_{1}\mathbin{\vee}\vec{a}_{2}}}$ for all grouplike depth vectors $\vec{a}_{1},\vec{a}_{2}\geq r$ and elements $Y_{j}\in\operatorname{Lie}(H)_{{x}\geq{\vec{a}_{j}}}$, for $j\in\{1,2\}$.* 2. (2)

For all $Y\in\operatorname{Lie}(H)_{{}\geq{r}}$, we have that

1. (a)

$\operatorname{C}_{\mathbf{H}}({\mathsf{e}}(Y))^{\circ}$* equals $\operatorname{C}_{\mathbf{H}}(Y)^{\circ}$ and* 2. (b)

$\lvert\operatorname{D}^{\text{red}}_{H}(Y)\rvert$* equals $\lvert\operatorname{D}^{\text{red}}_{H}({\mathsf{e}}(Y))\rvert$.*

Definition 4.3.2**.**

By Hypothesis 4.3.1(1)(a, b), if

• •

${\vec{\mathbf{G}}}=({\mathbf{G}}^{0},\dotsc,{\mathbf{G}}^{\ell}={\mathbf{G}})$ is a tame, twisted Levi sequence containing $\gamma$ such that $x$ is in ${\mathcal{B}}({\vec{G}})$,

• •

$\vec{a}$ is a concave depth vector,

• •

$\vec{b}$ is a grouplike depth vector satisfying $\vec{b}\leq{{({\vec{a}+r})}+}$ and $(\vec{a}+r)\mathbin{\vee}\vec{b}\geq\vec{a}+r$, and

• •

$X^{*}$ belongs to $\bigcap_{j=0}^{\ell}\operatorname{Lie}^{*}(G^{j})\cap\operatorname{Lie}^{*}(H)_{{x}\geq{\smash{\tilde{\vec{b}}}\vphantom{\vec{b}}}}$,

then ${\Lambda}_{X^{*}}\circ\operatorname{log}$ is a character of $(H\cap{\vec{G}})_{{x}={\min\{\vec{a}+r,\vec{b}\}}}$, which may be extended trivially across $(H\cap{\vec{G}},{\vec{G}})_{{x}\geq{({{\vec{a}}+},\vec{a})+r}}\cdot{\vec{G}}_{{x}\geq{\vec{b}}}$ to a character of ${\vec{G}}_{{x}\geq{\min\{\vec{a}+r,\vec{b}\}}}$. We say that this character has dual blob $X^{*}+\operatorname{Lie}^{*}({\vec{G}})_{{x}\geq{\min\{\vec{a}+r,\vec{b}\}^{~}}}$.

Remark 4.3.3*.*

With the notation and terminology of Definition 4.3.2, a character of $(H\cap{\vec{G}})_{{x}\geq{\min\{\vec{a}+r,\vec{b}\}}}$ has a dual blob if and only if it is trivial on $(H\cap{\vec{G}})_{{x}\geq{\vec{b}}}$, and a character of $(H\cap{\vec{G}},{\vec{G}})_{{x}\geq{\min\{\vec{a}+r,\vec{b}\})}}$ has a dual blob if and only if it is trivial on $(H\cap{\vec{G}},{\vec{G}})_{{x}\geq{({{\vec{a}}+},a)+r}}\cdot{\vec{G}}_{{x}\geq{\vec{b}}}$. In particular, it is necessary, but need not be sufficient, for it to be trivial on ${\vec{G}}_{{x}\geq{\vec{b}}}$.

We will use Definition 4.3.2 to manufacture, for $a\geq r$, characters of $G_{{x}\geq{a}}$ from elements of $\operatorname{Lie}^{*}(H)_{{x}\geq{-a}}$ (using $\vec{a}=a-r$ and $\vec{b}={{a}+}$); and also characters of $(G^{\prime},G)_{{x}\geq{(r,{{s}+})}}$, where ${\mathbf{G}}^{\prime}$ is a tame, twisted Levi subgroup of $\mathbf{G}$, containing $\gamma$, such that $x$ is in ${\mathcal{B}}(G^{\prime})$, from elements of $\operatorname{Lie}^{*}(H^{\prime},H)_{{x}\geq{(-r,-s)}}$ (using $\vec{a}=(0,{{0}+})$ and $\vec{b}={{(r,s)}+}$).

Hypothesis 4.3.4 is the analogue of [adler-korman:loc-char-exp]*Hypothesis 8.3. It says roughly that depths, of elements and characters, are the same whether measured in $H$ or $G$. This is known, at least for elements, when $\mathbf{H}$ is a Levi subgroup of $\mathbf{G}$ by [adler-debacker:bt-lie]*Lemma 3.7.25, and hence by tame descent even when $\mathbf{H}$ is just a tame, twisted Levi subgroup.

Hypothesis 4.3.4**.**

For all

• •

$a\in{\widetilde{\mathbb{R}}}$* with $r\leq a<\infty$,*

• •

$x\in{\mathcal{B}}(H)$, and

• •

$X^{*}\in\operatorname{Lie}^{*}(H)_{{x}\geq{a}}$,

if $\mathbf{Q}$ is a parabolic subgroup of $\mathbf{G}$ with unipotent radical $\mathbf{U}$ and Levi subgroup $\mathbf{L}$ satisfying $x\in{\mathcal{B}}(L)$, and

1. (1)

the coset $X^{*}+\operatorname{Lie}^{*}(G)_{{x}>{-a}}$ contains an element of the annihilator of $\operatorname{Lie}(Q)$ or 2. (2)

the character of $G_{{x}\geq{a}}$ with dual blob $X^{*}+\operatorname{Lie}^{*}(G)_{{x}>{-a}}$ agrees with the trivial character of $Q_{{x}\geq{a}}$ on the intersection of their domains,

then the coset $X^{*}+\operatorname{Lie}^{*}(H)_{{x}>{-a}}$ is degenerate.

Remark 4.3.5*.*

With the notation of Hypothesis 4.3.4, the conditions on $X^{*}$ are satisfied if there is some point $o\in{\mathcal{B}}(G)$ such that $X^{*}+\operatorname{Lie}^{*}(G)_{{x}>{-a}}$ intersects $\operatorname{Lie}^{*}(G)_{{o}>{-a}}$, or the character of $G_{{x}\geq{a}}$ with dual blob $X^{*}+\operatorname{Lie}^{*}(G)_{{x}>{-a}}$ agrees with the trivial character of $G_{{o}\geq{a}}$ on the intersection of their domains. Indeed, in these cases, we need only choose a maximal split torus whose apartment contains both $o$ and $x$, and then take for $\mathbf{Q}$ the parabolic subgroup containing that torus that is dilated by $o-x$ [springer:lag]*§13.4.1.

4.4. Asymptotic expansions and K-types

The main result of this section, Theorem 4.4.11, shows that certain characters have asymptotic expansions around (nearly) arbitrary semisimple elements in terms of Fourier transforms of orbital integrals, as in [jkim-murnaghan:charexp]Theorem 5.3.1. This relies on Harish-Chandra’s “semisimple descent” [hc:queens]§§18–20, as discussed in Lemma 4.4.3.

We recall the

• •

non-negative real number $r$,

• •

element $\gamma\in G$, with associated groups ${\mathbf{P}}^{\mp}=\operatorname{C}_{{\mathbf{G}}}^{({}<{-\infty})}(\gamma^{\pm 1})$, ${\mathbf{N}}^{\mp}$, and ${\mathbf{H}}=\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$, and

• •

point $x\in{\mathcal{B}}(H)$

from §3.2. We should regard $x$ as fixed only provisionally, until Corollary 4.4.9; we need to allow it to vary in the proof of Theorem 4.4.11. We will also introduce more notation before Definition 4.4.7.

Lemma 4.4.1 is a technical computation to prepare for this descent. It is convenient (particularly in Proposition 5.2.7) to state and prove Lemmas 4.4.1 and 4.4.3 uniformly for $r=0$ and for $r$ positive.

Lemma 4.4.1**.**

For any

• •

tame, twisted Levi sequence $\vec{\mathbf{G}}$ in $\mathbf{G}$ containing $\gamma$, such that $x$ is in ${\mathcal{B}}({\vec{G}})$,

• •

*concave depth vector $\vec{a}$, and *

• •

$h\in H_{{x}\geq{r}}$,

we have that

[TABLE]

for all $F\in{\mathcal{H}}(G)$.

Proof.

For any concave depth vector $\vec{b}$, put ${\mathcal{H}}_{\vec{b}}=(H\cap{\vec{G}},{\vec{G}})_{{x}\geq{({{\vec{b}}+},\vec{b}+r-\operatorname{ord}_{\gamma^{\pm 1}})}}$. Note that Lemmas 3.2.7(3) and 3.2.11(1) give that $\operatorname{Int}({\mathcal{H}}_{\vec{b}})((H\cap{\vec{G}})_{{x}\geq{\vec{b}+r}}\cdot h\gamma)$ is contained in the $\vec{G}_{{x}\geq{\vec{b}+r}}$-double coset to which $h\gamma$ belongs.

It suffices to prove, for each concave depth vector $\vec{b}$ satisfying $\vec{a}\leq\vec{b}\leq\vec{a}\mathbin{\vee}\vec{b}$, the desired equality in case $F$ is the characteristic function of a ${\vec{G}}_{{x}\geq{\vec{b}+r}}$-double coset contained in the ${\vec{G}}_{{x}\geq{\vec{a}+r}}$-double coset to which $h\gamma$ belongs. By Lemma 3.2.11(4), such a double coset is of the form ${\vec{G}}_{{x}\geq{\vec{b}+r}}\operatorname{Int}(k_{\vec{a}})^{-1}(h_{\vec{a}}h\gamma){\vec{G}}_{{x}\geq{\vec{b}+r}}=\operatorname{Int}(k_{\vec{a}})^{-1}({\vec{G}}_{{x}\geq{\vec{b}+r}}\cdot h_{\vec{a}}h\gamma{\vec{G}}_{{x}\geq{\vec{b}+r}})$ for some $k_{\vec{a}}\in{\mathcal{H}}_{\vec{a}}$ and $h_{\vec{a}}\in(H\cap{\vec{G}})_{{x}\geq{\vec{a}+r}}$. Upon replacing $F$ by $k_{\vec{a}}Fk_{\vec{a}}^{-1}$, which does not change either side of the desired equality, we may, and do, assume that $k_{\vec{a}}$ is the identity. Put

[TABLE]

Note that $(H\cap{\vec{G}})_{{x}\geq{\vec{a}+r}}\cdot h\gamma\cap U$ equals $(H\cap{\vec{G}})_{{x}\geq{\vec{b}+r}}\cdot h_{\vec{a}}h\gamma$. If $g\in{\mathcal{H}}_{\vec{a}}$ is such that $\operatorname{Int}(g)^{-1}U=\operatorname{Int}(g)^{-1}({\vec{G}}_{{x}\geq{\vec{b}+r}}\cdot h_{\vec{a}}h\gamma{\vec{G}}_{{x}\geq{\vec{b}+r}})$ intersects $(H\cap{\vec{G}})_{{x}\geq{\vec{a}+r}}\cdot h\gamma$, then, by another application of Lemma 3.2.11(4), there is $k_{\vec{b}}\in{\mathcal{H}}_{\vec{b}}$ so that $\operatorname{Int}(k_{\vec{b}}g)^{-1}((H\cap{\vec{G}})_{{x}\geq{\vec{b}+r}}\cdot h_{\vec{a}}h\gamma)$ intersects $(H\cap{\vec{G}})_{{x}\geq{\vec{a}+r}}\cdot h\gamma$. By Lemma 3.2.11(5), we have that $k_{\vec{b}}g$ belongs to $(H\cap{\vec{G}})_{{x}>{\vec{a}}}$, hence $g$ to ${\mathcal{H}}_{\vec{b}}\cdot(H\cap{\vec{G}})_{{x}>{\vec{a}}}$. If $h_{0}\in(H\cap{\vec{G}})_{{x}>{\vec{a}}}$ is such that $gh_{0}$ belongs to ${\mathcal{H}}_{\vec{b}}$, hence stabilises $U$, then we have that

[TABLE]

By Lemma 3.2.13, we have that $\operatorname{meas}(U)$ equals

[TABLE]

and, similarly, $\operatorname{meas}({\vec{G}}_{{x}\geq{\vec{a}+r}}\cdot h\gamma{\vec{G}}_{{x}\geq{\vec{a}+r}})$ equals $\delta_{P^{-}}(\gamma)\operatorname{meas}({\vec{G}}_{{x}\geq{\vec{a}+r}})$. Thus, the left-hand side of the desired equality is $[{\vec{G}}_{{x}\geq{\vec{a}+r}}\mathbin{:}{\vec{G}}_{{x}\geq{\vec{b}+r}}]^{-1}$.

Now we consider the right-hand side. By Lemma 3.2.11(1, 2), we have that $[\gamma,\cdot]$ induces a bijection $(H,P^{-}\cap{\vec{G}})_{{x}={({{0}+},\vec{c}+r-\operatorname{ord}_{\gamma})}}\cong(H,P^{-}\cap{\vec{G}})_{{x}={({{0}+},\vec{c}+r)}}$, and $[\gamma^{-1},\cdot]$ induces a bijection $(N^{+}\cap{\vec{G}})_{{x}={\vec{c}+r-\operatorname{ord}_{\gamma^{-1}}}}\cong(N^{+}\cap{\vec{G}})_{{x}={\vec{c}+r}}$, so that

[TABLE]

for all concave depth vectors $\vec{c}$, and hence that

[TABLE]

Combining this with (5) shows that the right-hand side is

[TABLE]

so the desired equality follows. ∎

Our approach to Lemma 4.4.3 requires that $\gamma H_{{}\geq{r}}$ be $H^{\circ}$-invariant. The most natural way that this can happen is if $\gamma$ centralises ${\mathbf{H}}^{\circ}$. This sort of hypothesis has arisen before (see Lemma 4.1.4), and will again (though, after this section, not until Theorem 5.3.11), so we state it formally now.

Hypothesis 4.4.2**.**

The action of $\gamma$ centralises ${\mathbf{H}}^{\circ}$.

Lemma 4.4.3 is a quantitative version of [adler-korman:loc-char-exp]*Definition 7.3, which applies Harish-Chandra’s submersion principle to the (submersive, by [rodier:loc-int]*p. 774, Proposition 1) map $G^{\circ}\times\gamma H_{{}\geq{r}}\to G$ given by $(g,m)\mapsto\operatorname{Int}(g)m$. It is important to note that the distribution $T_{\gamma}$ really depends only on $\gamma$, not on $x$, $\vec{\mathbf{G}}$, $\vec{a}$, $h$, or $g$. In Proposition 5.2.7, we need this result in the case $r=0$.

Lemma 4.4.3**.**

If $T$ is an invariant distribution on $G$, then there is an $H^{\circ}$-invariant distribution $T_{\gamma}$ on $H$, supported by $\gamma H_{{}\geq{r}}$, such that, with the notation of Lemma 4.4.1, we have that

[TABLE]

for any $g\in(H\cap{\vec{G}},{\vec{G}})_{{x}\geq{({{\vec{a}}+},\vec{a})+r}}$.

Proof.

As in [adler-korman:loc-char-exp]*Definition 7.3, given $f\in{\mathcal{H}}(\gamma H_{{}\geq{r}})$, we

1. (1)

choose a compact, open subgroup $K$ of $G^{\circ}$, and let $\alpha\in{\mathcal{H}}(G^{\circ}\times\gamma H_{{}\geq{r}})$ be the function $[K]\otimes f\mathrel{:}{(g,m)\mapsto[K](g)f(m)}$; 2. (2)

use [adler-korman:loc-char-exp]*Theorem 7.1 to find a function $f_{\alpha}\in{\mathcal{H}}(\operatorname{Int}(G^{\circ})(\gamma H_{{}\geq{r}}))$ such that

[TABLE]

for all $F\in{\mathcal{H}}(G)$; and 3. (3)

define $T_{\gamma}(f)\mathbin{\vcentcolon=}\delta_{P^{-}}(\gamma)^{-1}T(f_{\alpha})$.

(The modulus function is not necessary for the definition, but it saves us from having to carry around an unpleasant constant multiple coming from our desire to work with single, rather than double, cosets. We have otherwise followed the notation of [adler-korman:loc-char-exp], but point out a slight potential for confusion: $\alpha$ depends on $f$, although it is not explicitly indicated in the notation; and the symbol ‘$f$’ in ‘$f_{\alpha}$’ is just punctuation, and is not the same as the $f$ at which we are evaluating $T_{\gamma}$.)

Although the function $\alpha$, and hence $f_{\alpha}$, depends on the choice of $K$, the number $T(f_{\alpha})$ does not. Indeed, if $K^{\prime}$ is contained in $K$, and we write $\alpha^{\prime}$ for the analogue of $\alpha$ constructed with respect to $K^{\prime}$, then the fact that $\alpha$ equals $\displaystyle\fint_{K}(k\otimes 1)\alpha^{\prime}\textup{d}k$ means that $f_{\alpha}$ equals $\displaystyle\fint_{K}k^{-1}f_{\alpha^{\prime}}k\,\textup{d}k$, so that, by invariance of $T$, the equality $T(f_{\alpha})=T(f_{\alpha^{\prime}})$ holds.

Put ${\mathcal{H}}_{+}=(H,G)_{{x}>{(\vec{a},\vec{a}+r-\operatorname{ord}_{\gamma^{\pm 1}})}}$. Once we take into account all the normalisations of measures, Lemma 4.4.1 says that, if $f$ is $[(H\cap{\vec{G}})_{{x}>{\vec{a}+r}}]\cdot h\gamma$ and we choose $K$ to be $\mathcal{H}$, then $f_{\alpha}$ is $[{\vec{G}}_{{x}>{\vec{a}+r}}\cdot h\gamma{\vec{G}}_{{x}>{\vec{a}+r}}]$. By definition (Lemma 4.2.5), we have that $g$ is congruent modulo ${\vec{G}}_{{x}>{\vec{a}+r}}$ to an element of the form ${\mathfrak{Q}}_{\gamma}(v)$ with $v\in(H\cap{\vec{G}},{\vec{G}})_{{x}\geq{({{\vec{a}}+},\vec{a}+r-\operatorname{ord}_{\gamma})}}$; so, by Lemma 3.2.7(3), we have that

[TABLE]

Now invariance of $T$ gives that

[TABLE]

On the other hand, Lemma 3.2.13 gives that

[TABLE]

The result follows. ∎

Corollary 4.4.4**.**

With the notation of Lemma 4.4.3, for any $a\in{\widetilde{\mathbb{R}}}$ with $r\leq a<\infty$ and any character $\phi$ of $H_{{x}={a}}$, we have that

[TABLE]

for all $h\in H_{{x}\geq{r}}$, where $\hat{\phi}$ is the extension of $\phi$ trivially across $(H,G)_{{x}\geq{({{a}+},a)}}$ to $G_{{x}\geq{a}}$.

Proof.

Since $\gamma$ normalises $H_{{x}\geq{r}}$ (by Lemma 3.2.11(1), say), we have by invariance of $T$ and $T_{\gamma}$ that the stated equality is equivalent to

[TABLE]

for all $h\in H_{{x}\geq{r}}$. It is this that we actually prove.

By Lemma 4.4.3 (and Lemma 4.2.5), and remembering our normalisation convention for $[\cdot]$, we have that

[TABLE]

so that the desired equality follows from the fact that $\lvert H_{{x}={a}}\rvert\cdot\lvert(H,G)_{{x}={({{a}+},a)}}\rvert$ equals $\lvert G_{{x}={a}}\rvert$. ∎

Remark 4.4.5*.*

In [adler-korman:loc-char-exp]*Theorem 12.1, and hence in [adler-korman:loc-char-exp]*Corollary 12.9, which uses the theorem to deduce the validity of local character expansions around semisimple elements on an explicitly specified domain, Adler and Korman have to impose the bound (in their notation) $r>\max\{\rho(\pi),2s(\gamma)\}$. The quantitative nature of Corollary 4.4.4 would allow us to improve this bound to $r>\max\{\rho(\pi),s(\gamma)\}$. In our notation, it is what allows us to show that the asymptotic expansion in Theorem 4.4.11 is valid on all of $H_{{}\geq{r}}$.

We now need to recall the

• •

element $Z^{*}_{o}\in\operatorname{Lie}^{*}(G)$ and

• •

tame, twisted Levi subgroup ${\mathbf{G}}^{\prime}$

satisfying Hypothesis 4.1.1, from §4.1; and the

• •

mock-exponential map ${\mathsf{e}}$,

satisfying Hypothesis 4.3.1, from §4.3. As in Definition 4.3.2, it is the map ${\mathsf{e}}$ that allows us to speak of the dual blobs of certain characters.

In [jkim-murnaghan:charexp]*Theorem 5.3.1, Kim and Murnaghan apply their general result [jkim-murnaghan:charexp]*Theorem 3.1.7 on asymptotic expansions to the special case of characters. Their hypotheses refine the Moy–Prasad notion of an unrefined, minimal K-type [moy-prasad:k-types]*Definition 5.1 to give what they call a good, minimal K-type [jkim-murnaghan:charexp]Definition 2.4.6(2). Singling out which characters of a Moy–Prasad group $G_{{o}\geq{r}}$ with $o\in{\mathcal{B}}(G)$ are minimal, or good, in this sense requires what is now called a Moy–Prasad isomorphism between $\operatorname{Lie}(G)_{{o}={r}}$ and $G_{{o}={r}}$, which is used to define the dual blob of such a character. In the situation of [jkim-murnaghan:charexp], such a map is already available, and, indeed, may be deduced from the exponential map [jkim-murnaghan:charexp]§1.4, (H$k$). Since we have insisted on the existence of such a map only on $H$, not on $G$, we may not obviously speak of the dual blob of a character of $G_{{o}\geq{r}}$ if $o$ is not a point of ${\mathcal{B}}(H)$. Fortunately, all that we need to know is the analogue of the notion of K-types being associate [moy-prasad:k-types]*Definition 5.1, and this makes sense even if only one of the K-types in question has a well defined notion of a dual blob.

Let $o$ be a point of ${\mathcal{B}}(G^{\prime})$, and $\phi_{o}$ a character of $G^{\prime}_{{o}={r}}$. Write $\hat{\phi}_{o}$ for the extension of $\phi_{o}$ trivially across $(G^{\prime},G)_{{o}>{(r,s)}}$ to $(G^{\prime},G)_{{o}\geq{(r,{{s}+})}}$. Hypothesis 4.4.6 is our version of the assertion that $(G_{{o}\geq{r}},\hat{\phi}_{o})$ is a good, minimal K-type in the sense of [jkim-murnaghan:charexp]Definition 2.4.6(2), and even that $((G^{\prime},G)_{{o}\geq{(r,{{s}+})}},\hat{\phi}_{o})$ is a slightly refined, minimal K-type in the sense of [adler:thesis]§2.3.

If we have a family of Moy–Prasad isomorphisms that allows us to speak of dual blobs in general—as, for example, when $\mathbf{G}$ splits over ${k}^{\text{tame}}$ [yu:models]§8.1(iii) and remark after Corollary 5.6—then these circumlocutions are not necessary, and Hypothesis 4.4.6 is automatically satisfied when $(G^{\prime}_{{o}\geq{r}},\phi_{o})$ is the character with dual blob $Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{o}>{-r}}$. See, for example, the argument in [moy-prasad:k-types]§7.2, Case 1, and [adler:thesis]*Lemma 1.8.1.

Hypothesis 4.4.6**.**

If

• •

$y$* is an element of ${\mathcal{B}}(H)$,*

• •

$b\in{\widetilde{\mathbb{R}}}$* satisfies $2b>r$,*

• •

$X^{*}$* is an element of $\operatorname{Lie}^{*}(H)_{{y}\geq{-r}}$,*

• •

$((G^{\prime},G)_{{y}\geq{(r,b)}},\hat{\phi})$* is the character with dual blob $X^{*}+\operatorname{Lie}^{*}(G^{\prime},G)_{{y}\geq{(r,b)^{~}}}$,*

• •

$g$* is an element of $G$, and*

• •

$(\operatorname{Int}(g)^{-1}(G^{\prime},G)_{{o}\geq{(r,b)}},\hat{\phi}_{o}^{g})$* agrees with $((G^{\prime},G)_{{y}\geq{(r,b)}},\hat{\phi})$ on the intersection of their domains,*

then $X^{*}+\operatorname{Lie}^{*}(G^{\prime},G)_{{y}\geq{(r,b)^{~}}}$ intersects $\operatorname{Ad}^{*}(g)^{-1}(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime},G)_{{o}\geq{(r,b)^{~}}})$.

In Definition 4.4.7, we use Lemma 4.4.3 to define certain invariant distributions on $H$ that carry all the information that we need about characters of $G$ near $\gamma$.

Definition 4.4.7**.**

If $\pi$ is an admissible representation of $G$, then we define $\widecheck{\Theta}_{\pi,\gamma}$ and $\widecheck{\Theta}_{\pi,\gamma,Z^{*}_{o}}$ to be the distributions on $\operatorname{Lie}^{*}(H)$ given for any $f^{*}\in{\mathcal{H}}(\operatorname{Lie}^{*}(H))$ by

[TABLE]

where we have introduced the ad hoc notations

• •

$\check{f}^{*}_{\gamma}$ for the function that vanishes outside $\gamma H_{{}\geq{r}}$, and is given on that domain by $\gamma\cdot{\mathsf{e}}(Y)\mapsto\check{f}^{*}(Y)$, and

• •

$f^{*}_{Z^{*}_{o}}$ for the function that vanishes outside $\operatorname{Lie}^{*}(H)\cap\operatorname{Ad}^{*}(H^{\circ})(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}})$, and agrees with $f^{*}$ on that domain;

and where

• •

$\Theta_{\pi,\gamma}$ is the distribution $T_{\gamma}$ deduced from $T=\Theta_{\pi}$ in Lemma 4.4.3.

Kim and Murnaghan [jkim-murnaghan:charexp]*Theorem 3.1.7 give sufficient “sampling” conditions for a distribution to agree, on an appropriate space of test functions, with a combination of orbital integrals. Lemma 4.4.8 is a technical computation that allows us, in Corollary 4.4.9, to show that these conditions are satisfied for the characters of an irreducible representation containing $(G_{{o}\geq{r}},\hat{\phi}_{o})$, which is our analogue of a good, minimal K-type.

Lemma 4.4.8**.**

With the notation of Definition 4.4.7, if

• •

$\gamma$* centralises ${\mathbf{H}}^{\circ}$,*

• •

$a\in{\widetilde{\mathbb{R}}}$* satisfies $r\leq a<\infty$, and*

• •

$X^{*}$* belongs to $\operatorname{Lie}^{*}(H)_{{x}\geq{-a}}$,*

then

[TABLE]

where $\hat{\phi}$ is the character of $G_{{x}\geq{a}}$ with dual blob $X^{*}+\operatorname{Lie}^{*}(G)_{{x}>{-a}}$.

Proof.

Remembering our normalisation convention for $[\cdot]$, we have that

[TABLE]

(Note that we have not assumed that ${\mathsf{e}}$ is measure preserving; the point is that

[TABLE]

both belong to ${\mathcal{H}}(H_{{x}={a}},\phi)$, and both take the value $1$ at the identity.) The result now follows from Corollary 4.4.4 (and Definition 4.4.7). ∎

Corollary 4.4.9**.**

With the notation and hypotheses of Lemma 4.4.8, suppose further that $\pi$ is irreducible and contains $(G_{{o}\geq{r}},\hat{\phi}_{o})$. Then

[TABLE]

vanishes unless $a$ is greater than $r$ and $X^{*}+\operatorname{Lie}^{*}(H)_{{x}>{-a}}$ is degenerate, or $a$ equals $r$ and there is some $g\in G$ so that $X^{*}$ belongs to $\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}+\operatorname{Lie}^{*}(H\cap\operatorname{Int}(g)^{-1}G^{\prime})_{{}>{-r}}$.

Proof.

Suppose that the quantity does not vanish. Then Lemma 4.4.8 gives that $\pi$ contains $(G_{{x}\geq{a}},\hat{\phi})$, where $\hat{\phi}$ is the character of $G_{{x}\geq{a}}$ with dual blob $X^{*}+\operatorname{Lie}^{*}(G)_{{x}>{-r}}$. As in [moy-prasad:k-types]*§7.2, since irreducibility guarantees that the various $G$-translates of the (non-[math]) $(G_{{o}\geq{r}},\hat{\phi}_{o})$-isotypic subspace of $\pi$ span the entire space of $\pi$, we have that there is some $g\in G$ so that the $(G_{{x}\geq{a}},\hat{\phi})$- and $(\operatorname{Int}(g)^{-1}G_{{o}\geq{r}},\hat{\phi}_{o}^{g})$-isotypic subspaces intersect non-trivially. In particular, $(G_{{x}\geq{a}},\hat{\phi})$ and $(\operatorname{Int}(g)^{-1}G_{{o}\geq{r}},\hat{\phi}_{o}^{g})$ agree on the intersection of their domains.

First suppose that $a$ is greater than $r$. Then it follows from Remark 4.3.5 that $X^{*}+\operatorname{Lie}^{*}(H)_{{x}>{-a}}$ is degenerate.

Next suppose that $a$ equals $r$. Then, by Hypothesis 4.4.6, we have that

[TABLE]

is non-empty. By Lemma 4.1.3, we have that $g\cdot x$ belongs to ${\mathcal{B}}(G^{\prime})$ and $Z^{*}$ to $\operatorname{Lie}^{*}(G^{\prime})_{{g\cdot x}\geq{-r}}$; and we may, and do, assume, upon modifying $g$ on the right by an element of $(G_{{x}\geq{0}}\cap\operatorname{Int}(g)^{-1}G_{{o}>{0}})G_{{x}>{0}}$ (which does not change either of the containments), that

[TABLE]

is non-empty. For notational convenience, we assume that $g$ is the identity.

By Lemma 4.1.4, we have that $\gamma$ belongs to $G^{\prime}$ and $Z^{*}_{o}$ to $\operatorname{Lie}^{*}(H^{\prime})$; and the coset

[TABLE]

intersects $\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}}$, so Remark 4.3.5 gives that the coset $(X^{*}-Z^{*}_{o})+\operatorname{Lie}^{*}(H)_{{x}>{-r}}$ is degenerate; so, finally, [adler-debacker:bt-lie]*Corollary 3.5.2 gives that the coset $(X^{*}-Z^{*}_{o})+\operatorname{Lie}^{*}(H^{\prime})_{{x}>{-r}}$ is degenerate. That is, $X^{*}+\operatorname{Lie}^{*}(H^{\prime})_{{x}>{-r}}$ intersects $Z^{*}_{o}+\operatorname{Lie}^{*}(H^{\prime})_{{}>{-r}}$. ∎

Although it is not strictly necessary, we find it convenient to state and prove Lemma 4.4.10, which guarantees (at least if the number of nilpotent orbits is finite) that the sum in the asymptotic expansion in Theorem 4.4.11 has only finitely many terms.

Lemma 4.4.10**.**

The set $\{g\in G\>|\>\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}\in\operatorname{Lie}^{*}(H)\}$ is a union of finitely many $(G^{\prime\,\circ},H^{\circ})$-double cosets.

Proof.

By writing the desired set as a union of subsets of $G^{\circ}$ of the form $\{g\in G^{\circ}\>|\>\operatorname{Ad}^{*}(g_{1}g)^{-1}Z^{*}_{o}\in\operatorname{Lie}^{*}(H)\}$, as $g_{1}$ ranges over $G/G^{\circ}$, we see that it suffices to consider such a subset of $G^{\circ}$. For notational convenience, we assume that $g_{1}$ is the identity.

We first prove this result over the separable closure of $k$. For notational convenience, in the first part of the proof, we replace $k$ by ${k}^{\text{sep}}$, so that, for example, $G^{\circ}$ stands for ${\mathbf{G}}^{\circ}({{k}^{\text{sep}}})$. However, we will drop this notational convenience when we prove the result as stated.

Without loss of generality, $Z^{*}_{o}$ belongs to $\operatorname{Lie}^{*}(H)$. By Hypothesis 4.4.2 and Lemma 4.1.4, we have that $\gamma$ belongs to $G^{\prime}$, hence by Hypothesis 3.2.2(3) that ${\mathbf{H}}^{\prime\,\circ}$ is a (no longer twisted) Levi subgroup of ${\mathbf{H}}^{\circ}$. Let ${\mathbf{T}}^{\prime}$ be a maximal torus in $\mathbf{H}$ that is contained in ${\mathbf{H}}^{\prime}$. It is necessarily split, since we have replaced $k$ by ${k}^{\text{sep}}$.

Write $\mathcal{S}$ for (the analogue over ${k}^{\text{sep}}$ of) the set in the statement. Suppose that $g\in G^{\circ}$ is such that $\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}$ belongs to $\operatorname{Lie}^{*}(H)$. As above, we have that $\mathbf{T}$ is a maximal torus in $\mathbf{H}$ that is contained in ${\mathbf{H}}\cap\operatorname{Int}(g)^{-1}{\mathbf{G}}^{\prime}$. In particular, there is some $h\in H^{\circ}$ so that $\operatorname{Int}(h)^{-1}{\mathbf{T}}$ equals ${\mathbf{T}}^{\prime}$. Also, $\operatorname{Int}(g){\mathbf{T}}$ is a maximal (split) torus in ${\mathbf{G}}^{\prime}$, so that there is an element $g^{\prime}\in G^{\prime\,\circ}$ such that $\operatorname{Int}(g^{\prime}g){\mathbf{T}}$ equals ${\mathbf{T}}^{\prime}$. Thus, $g^{\prime}gh$ normalises ${\mathbf{T}}^{\prime}$.

We have shown that each double coset in $\mathcal{S}$ intersects $\operatorname{N}_{G^{\circ}}({\mathbf{T}}^{\prime})$. Since the map from $\operatorname{N}_{G^{\circ}}({\mathbf{T}}^{\prime})$ to the set of double cosets intersecting it factors through the finite group $\operatorname{N}_{G^{\circ}}({\mathbf{T}}^{\prime})/{\mathbf{T}}^{\prime}$, we have shown the geometric version of the statement.

Now we resume working with our original, discretely valued field $k$, and so drop the notational convenience of replacing it by ${k}^{\text{sep}}$. By what we have already shown, it suffices to show that the intersection with $G^{\circ}$ of a $({\mathbf{G}}^{\prime\,\circ}({{k}^{\text{sep}}}),{\mathbf{H}}^{\circ}({{k}^{\text{sep}}}))$-double coset is a union of finitely many $(G^{\prime\,\circ},H^{\circ})$-double cosets. Fix $g\in G^{\circ}$. The exact sequence of pointed sets

[TABLE]

where the first arrow is the twisted diagonal embedding $h\mapsto(h,\operatorname{Int}(g)h)$ and the second is the multiplication map $(h,g^{\prime})\mapsto g^{\prime}gh$, gives rise to the exact sequence in cohomology

[TABLE]

As observed in [adler-spice:explicit-chars]*proof of Lemma LABEL:adler-spice:explicit-chars:lem:finite-double-coset, the Galois cohomology set of any connected, reductive $p$-adic group, such as ${\mathbf{H}}^{\circ}\cap\operatorname{Int}(g)^{-1}{\mathbf{G}}^{\prime\,\circ}$ (which equals $\operatorname{C}_{\mathbf{H}}(\operatorname{Int}(g)^{-1}\operatorname{Z}({\mathbf{G}}^{\prime\,\circ})^{\circ})$ by Remark 3.2.3) is finite, so the result follows. ∎

Our main result, Theorem 4.4.11, is a simultaneous generalisation of Adler–Korman’s result [adler-korman:loc-char-exp]*Corollary 12.9, which describes the domain of validity of local character expansions near semisimple elements, and Kim–Murnaghan’s result [jkim-murnaghan:charexp]*Theorem 5.3.1, which shows that a different sort of asymptotic expansion is valid near the identity. Theorem 4.4.11 describes the domain of validity of a Kim–Murnaghan-style asymptotic expansion about $\gamma$.

So far throughout the document, we have worked with a fixed point $x\in{\mathcal{B}}(H)$, satisfying Hypothesis 3.2.8. For the proof of Theorem 4.4.11, we must forget our binding, and regard $x$ as a free variable.

Because we have been accumulating hypotheses gradually throughout the paper, we re-capitulate all those that are currently in force. We are imposing

• •

Hypotheses 3.2.2, 3.2.8 (for all points $x\in{\mathcal{B}}(H)$), and 4.4.2 (on $\gamma$),

• •

Hypotheses 4.1.1 and 4.4.6 (on $Z^{*}_{o}$ and $\hat{\phi}_{o}$),

• •

Hypothesis 4.3.1 (on ${\mathsf{e}}$), and

• •

Hypothesis 4.3.4 (on $\mathbf{H}$).

We emphasise that all of these, except possibly Hypothesis 4.4.2, are satisfied under suitable tameness hypotheses; for example, if $\gamma$ is a compact-modulo-centre element of a tame torus satisfying [adler-spice:good-expansions]Definition LABEL:adler-spice:good-expansions:defn:S-is-good. Under the same tameness hypotheses, we may arrange Hypothesis 4.4.2 upon replacing $\gamma$ by the product $\gamma_{<r}=\prod_{0\leq i<r}\gamma_{i}$ of the terms in a normal $r$-approximation (with the notation of [adler-spice:good-expansions]§LABEL:adler-spice:good-expansions:sec:normal and terminology of [adler-spice:good-expansions]*Definition LABEL:adler-spice:good-expansions:defn:r-approx). In the notation of [adler-spice:good-expansions]*Definition LABEL:adler-spice:good-expansions:defn:Brgamma, we have that $\gamma_{<r}H_{{}\geq{r}}$ contains $\gamma H_{{x}\geq{r}}$ for all $x\in{\mathcal{B}}_{r}(\gamma)$.

As stated, Theorem 4.4.11 (and Corollary 4.4.13 and Lemma 4.4.14) is contingent on [jkim-murnaghan:charexp]Theorem 3.1.7. Of course, this theorem is true, but it imposes some stringent hypotheses (see [jkim-murnaghan:charexp]§1.4). Rather than repeating those hypotheses, we prefer to emphasise that we are using them just as a black box to obtain the necessary homogeneity result; as long as the orbital integrals “close to $Z^{*}_{o}$” span an appropriate space of distributions, we are fine.

The theorem is vacuous unless $\pi$ contains our analogue $(G_{{o}\geq{r}},\hat{\phi}_{o})$ of a good, minimal K-type. However, by [jkim-murnaghan:charexp]Theorem 2.4.10, under suitable tameness hypotheses [jkim-murnaghan:charexp]§1.4, every irreducible representation contains such a K-type, so this is not actually too much of a restriction.

In order for the statement of the theorem even to make sense, we require that the relevant orbital integrals converge. This is true unconditionally in characteristic 0 [ranga-rao:orbital]Theorem 3; and, as remarked in [debacker:homogeneity]§3.4, p. 409, by the same proof, even in equal characteristic if $p$ is sufficiently large.

Theorem 4.4.11**.**

*Suppose that [jkim-murnaghan:charexp]Theorem 3.1.7(1, 5) is satisfied, and all of the relevant orbital integrals converge. For any irreducible representation $\pi$ containing $(G_{{o}\geq{r}},\hat{\phi}_{o})$, there is a finitely supported, ${\mathcal{O}}^{H^{\circ}}(\operatorname{Ad}^{*}(G)Z^{*}_{o})$-indexed vector $b(\pi,\gamma)$ so that

[TABLE]

for all $Y\in\operatorname{Lie}(H)^{\text{rss}}\cap\operatorname{Lie}(H)_{{}\geq{r}}$.

By Hypothesis 4.3.1(2)(a), we have that ${\mathsf{e}}(Y)$ lies in $H^{\text{rss}}\cap H_{{}\geq{r}}$ for all $Y\in\operatorname{Lie}(H)^{\text{rss}}\cap\operatorname{Lie}(H)_{{}\geq{r}}$, so that the notation makes sense.

We have used ‘$b$’, rather than ‘$c$’, for the coefficients in the expansion because we prefer to reserve ‘$c$’ for a differently organised form of the coefficients in the same asymptotic expansion; see Theorem 5.3.11.

Remark 4.4.12*.*

For a given finitely supported ${\mathcal{O}}^{H^{\circ}}(\operatorname{Ad}^{*}(G)Z^{*}_{o})$-indexed vector $b(\pi,\gamma)$ and element $Y\in\operatorname{Lie}(H)^{\text{rss}}\cap H_{{}\geq{r}}$, the equations

[TABLE]

are equivalent by Hypothesis 4.3.1(2)(b). We thus need not distinguish between the existence of asymptotic expansions of $\Phi_{\pi}$ and of $\Theta_{\pi}$ (although, of course, the coefficients will differ).

Proof.

We use Remark 4.4.12 to allow us to work with $\Theta_{\pi}$ and $\hat{\mu}^{H^{\circ}}_{\mathcal{O}}$ rather than $\Phi_{\pi}$ and $\widehat{O}^{H^{\circ}}_{\mathcal{O}}$. To emphasise that the coefficients in this expansion are different, we denote them by $\tilde{b}$ instead of $b$.

We use the function spaces

[TABLE]

of [jkim-murnaghan:charexp]*Definition 3.1.1, adapted from $\operatorname{Lie}(G)$ to $\operatorname{Lie}^{*}(H)$; and also the distribution spaces ${\mathcal{J}}^{\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}}_{{{({-r})}+}}$ of [jkim-murnaghan:charexp]*Definition 3.1.2(2), similarly adapted.

With the notation of Definition 4.4.7, consider the difference

[TABLE]

The indexing set for the sum is finite, by Lemma 4.4.10, so that the definition makes sense; and the sets $\operatorname{Ad}^{*}(H^{\circ})(\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}+\operatorname{Lie}^{*}(H\cap\operatorname{Int}(g)^{-1}G^{\prime})_{{}>{-r}})$ corresponding to different double cosets $G^{\prime}gH^{\circ}$ are disjoint, by Hypothesis 4.1.1(3), so we have by Corollary 4.4.9 that $\widecheck{\Theta}_{\pi,\gamma}^{0}$ vanishes on ${\mathcal{D}}^{-r}_{{{({-r})}+}}$. Also by Corollary 4.4.9, each $\widecheck{\Theta}_{\pi,\gamma,\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}}$ with $\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}$ in $\operatorname{Lie}^{*}(H)$, as well as $\widecheck{\Theta}_{\pi,\gamma}^{0}$, belongs to ${\mathcal{J}}^{\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}}_{{{({-r})}+}}$. In particular, for each $g\in G$ such that $\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}$ belongs to $\operatorname{Lie}^{*}(H)$, we have by [jkim-murnaghan:charexp]*Theorem 3.1.7(5) that there is an ${\mathcal{O}}^{H^{\circ}}(\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o})$-indexed vector $\tilde{b}(\pi,\gamma)$ so that

[TABLE]

on ${\mathcal{D}}_{{{({-r})}+}}$. By [jkim-murnaghan:charexp]*Theorem 3.1.7(1, 2), we have that $\widecheck{\Theta}_{\pi,\gamma}^{0}$ vanishes on ${\mathcal{D}}_{{{({-r})}+}}$, so that

[TABLE]

on ${\mathcal{D}}_{{{({-r})}+}}$. Exactly as in the proof of [debacker:homogeneity]*Theorem 3.5.2 and [jkim-murnaghan:charexp]*Theorem 5.3.1, it follows that the function $\Theta_{\pi}(\gamma\cdot{\mathsf{e}}(\cdot))$ representing $f\mapsto\widecheck{\Theta}_{\pi,\gamma}(\hat{f})$ on $\operatorname{Lie}(H)^{\text{rss}}\cap\operatorname{Lie}(H)_{{}>{r}}$ equals

[TABLE]

Corollary 4.4.13**.**

With the notation and hypotheses of Theorem 4.4.11, we have that $\Phi_{\pi}$ vanishes on $\gamma H_{{}\geq{r}}$ unless $\operatorname{Ad}^{*}(G)Z^{*}_{o}$ intersects $\operatorname{Lie}^{*}(H)$; in particular, unless $\gamma$ belongs to $\operatorname{Int}(G)G^{\prime}$.

Theorem 4.4.11 only tells us that a vector $b(\pi,\gamma)$ as in the statement exists; it gives no idea of how to compute it, or even to test the correctness of a candidate vector. Lemma 4.4.14, which is analogous to [jkim-murnaghan:charexp]*Corollary 6.1.2, describes a general approach to verifying the coefficients in an asymptotic expansion. See [debacker:homogeneity]*Theorem 2.1.5 for a similar result. Because we state Lemma 4.4.14 only for a distribution already known to have an asymptotic expansions, it does not need the long list of hypotheses of Theorem 4.4.11.

Lemma 4.4.14**.**

Suppose that

• •

$T_{\gamma}$* is an element of the span of $\{\hat{\mu}^{H^{\circ}}_{\mathcal{O}}\>|\>{\mathcal{O}}\in{\mathcal{O}}^{H^{\circ}}(\operatorname{Ad}^{*}(G)Z^{*}_{o})\}$, and*

• •

$c(T_{\gamma})$* is a finitely supported, ${\mathcal{O}}^{H^{\circ}}(\operatorname{Ad}^{*}(G)Z^{*}_{o})$-indexed vector.*

*If Hypothesis 4.1.1 and [jkim-murnaghan:charexp]Theorem 3.1.7(1, 2) are satisfied, then

[TABLE]

for all $x\in{\mathcal{B}}(H\cap\operatorname{Int}(g)^{-1}G^{\prime})$ and $X^{*}\in\operatorname{Lie}^{*}(H)_{{x}\geq{-r}}\cap\operatorname{Ad}^{*}(g)^{-1}(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}})$, whenever $g\in G$ is such that $\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}$ belongs to $\operatorname{Lie}^{*}(H)$.

Proof.

As in the proof of Theorem 4.4.11, we use the function spaces

[TABLE]

of [jkim-murnaghan:charexp]*Definition 3.1.1, adapted from $\operatorname{Lie}(G)$ to $\operatorname{Lie}^{*}(H)$.

Let $\check{T}_{\gamma}$ be the distribution on $\operatorname{Lie}^{*}(H)$ given by $\check{T}_{\gamma}(f^{*})=T_{\gamma}(\check{f}^{*})$ for all $f^{*}\in{\mathcal{H}}(\operatorname{Lie}^{*}(H))$. Then $\check{T}_{\gamma}$ belongs to the span of $\{\mu_{\mathcal{O}}\>|\>{\mathcal{O}}\in{\mathcal{O}}^{H^{\circ}}(\operatorname{Ad}^{*}(G)Z^{*}_{o})\}$. Choose, for each $g_{0}\in G$, an element $\check{T}_{\gamma,\operatorname{Ad}^{*}(g_{0})^{-1}Z^{*}_{o}}$ in the span of $\{\mu_{\mathcal{O}}\>|\>{\mathcal{O}}\in{\mathcal{O}}^{H^{\circ}}(\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o})\}$ such that $\check{T}_{\gamma}$ equals $\sum_{g_{0}}\check{T}_{\gamma,\operatorname{Ad}^{*}(g_{0})^{-1}Z^{*}_{o}}$. It suffices to show, for each $g_{0}\in G^{\circ}$, that

[TABLE]

on ${\mathcal{D}}_{{{({-r})}+}}$. For notational convenience, we assume that $g_{0}$ is the identity.

By [jkim-murnaghan:charexp]*Lemma 3.1.5 and Theorem 3.1.7(1, 2), it is enough to show that $\check{T}_{\gamma,Z^{*}_{o}}$ agees with the right-hand side of ($*$ ‣ 4.4) on ${\mathcal{D}}^{\prime\,{-r}}_{{{({-r})}+}}$, which is to say that they agree on the characteristic function $f^{*}$ of each coset $X^{*}+\operatorname{Lie}^{*}(H)_{{x}>{-r}}$ with $x\in{\mathcal{B}}(H^{\prime})$ and $X^{*}\in\operatorname{Lie}^{*}(H)_{{x}\geq{-r}}$. By our normalisation convention for $[\cdot]$, we have that $\check{f}^{*}$ equals $[\operatorname{Lie}(H)_{{x}\geq{r}},{\Lambda}_{X^{*}}^{\vee}]$.

If $X^{*}+\operatorname{Lie}^{*}(H)_{{x}>{-r}}$ does not intersect $Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}}$, then both sides of the equality vanish; so we may, and do, assume that the two sets intersect.

If $g$ belongs to $G$, and $\check{T}_{\gamma,\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}}(f^{*})$ does not vanish, then we have that $\operatorname{Ad}^{*}(gH^{\circ})^{-1}(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}})$ intersects $X^{*}+\operatorname{Lie}^{*}(H)_{{x}>{-r}}$, hence, by Remark 4.1.7 and Hypothesis 4.1.1(3), that $G^{\prime}gH^{\circ}$ is the trivial double coset. That is, we have that $\check{T}_{\gamma}(f^{*})=\sum_{g}\check{T}_{\gamma,\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o}}(f^{*})$ equals $\check{T}_{\gamma,Z^{*}_{o}}(f^{*})$. By assumption, $\check{T}_{\gamma,Z^{*}_{o}}(f^{*})$ equals

[TABLE]

as desired.

We have proven the ‘if’ direction. The ‘only if’ direction is much easier, and involves essentially the argument that we used to show that $\check{T}_{\gamma}(f^{*})$ equalled $\check{T}_{\gamma,Z^{*}_{o}}(f^{*})$. ∎

5. Computation of asymptotic expansions

5.1. Gauss sums and Weil indices

We know from Theorem 4.4.11 that the characters of certain representations have asymptotic expansions about (nearly) arbitrary semisimple elements. Although Lemma 4.4.14 provides a way to verify the correctness of a potential asymptotic expansion, it gives no idea what the coefficients in such an expansion should be. The main result of §5, Theorem 5.3.11, shows how to use the inductive structure in Yu’s construction of supercuspidals [yu:supercuspidal] to reduce character computations for such representations of $G$ to analogous computations on a tame, twisted Levi subgroup $G^{\prime}$. The recipe involves some fourth roots of unity, which have previously been relevant in stability calculations (see, for example, [debacker-spice:stability]Proposition LABEL:debacker-spice:stability:prop:stable-sign and [kaletha:regular-sc]§4.7). In [adler-spice:explicit-chars]§LABEL:adler-spice:explicit-chars:ssec:gauss, Adler and the author interpreted analogous fourth roots of unity as Gauss sums. In this paper, we interpret them as Weil indices, in the spirit of [waldspurger:loc-trace-form]§VIII.1. Pleasantly, we manage to avoid the centrality assumption [adler-spice:explicit-chars]Hypothesis LABEL:adler-spice:explicit-chars:hyp:X-central by using Proposition 4.2.4.

Definition 5.1.1**.**

In [weil:weil]§14, Weil associated to a (non-degenerate) quadratic space over a local field a constant via the Fourier transform. We follow the equivalent description in [waldspurger:loc-trace-form]§VIII.1. Let $(V,q)$ be a quadratic space over $k$, and $b$ the unique symmetric bilinear form so that $q(v)$ equals $b(v,v)$ for all $v\in V$. If $q$ is non-degenerate, then there is a unique, unit-modulus complex number, denoted in [weil:weil, waldspurger:loc-trace-form] by $\gamma_{\Lambda}(q)$ and usually called the Weil index (of $(V,q)$ with respect to ${\Lambda}$), such that, whenever $L$ is a lattice containing L^{\bullet}\mathbin{\vcentcolon=}\{v\in V\>|\>\text{b(v,w)\in{k}_{{}>{0}}$for all$w\in L}\}, we have that

[TABLE]

(In [waldspurger:loc-trace-form]*§VIII.1, it is required that $L^{\bullet}$ be contained in $2L$; but, since we are assuming that $p$ is odd, this requirement is equivalent to ours.) In general, we define the Weil index of $(V,q)$ with respect to ${\Lambda}$ to be that of $(V/{\operatorname{rad}(V,q)},q_{+})$, where \operatorname{rad}(V,q)=\{v\in V\>|\>\text{b(v,w)=0$for all$w\in V}\} is the radical of $(V,q)$, and $q_{+}$ is the induced (non-degenerate) quadratic form.

In Notation 5.1.2, we define a quadratic form $q_{X^{*},\gamma}$ using $1-\operatorname{Ad}(\gamma)$. In fact, using just $-\operatorname{Ad}(\gamma)$ would not change the form, but we find it convenient to write it this way. This quadratic form gives rise to the Gauss sums ${\mathfrak{G}}$ that are ubiquitous in character computations; in this paper, they pop out of our calculations in Proposition 5.2.6.

Definition 5.1.2**.**

For any $X^{*}\in\operatorname{Lie}^{*}(G)$ and $\gamma\in G$, we define

[TABLE]

for all $Y,Y_{1},Y_{2}\in\operatorname{Lie}(G)$. We write ${\mathfrak{G}}_{G}(X^{*},\gamma)$ for the Weil index of the pairing $q_{X^{*},\gamma}$ on $\operatorname{Lie}(G)$.

We have for $g\in G$ that $\operatorname{Ad}(g)$ furnishes an isomorphism of $(\operatorname{Lie}(G),q_{X^{*},\gamma})$ onto $(\operatorname{Lie}(G),q_{\operatorname{Ad}^{*}(g)X^{*},\operatorname{Int}(g)\gamma})$, so that ${\mathfrak{G}}_{G}(X^{*},\gamma)$ equals ${\mathfrak{G}}_{G}(\operatorname{Ad}^{*}(g)X^{*},\operatorname{Int}(g)\gamma)$. Thus, if ${\mathcal{O}}^{\prime}$ is contained the coadjoint orbit of $\operatorname{C}_{G}(\gamma)$ containing $X^{*}$, then we may write ${\mathfrak{G}}_{G}({\mathcal{O}}^{\prime},\gamma)$ for ${\mathfrak{G}}_{G}(X^{*},\gamma)$.

If

• •

$\mathbf{H}$ is a reductive subgroup of $\mathbf{G}$,

• •

we have an $\mathbf{H}$-stable decomposition $\operatorname{Lie}({\mathbf{G}})=\operatorname{Lie}({\mathbf{H}})\oplus\operatorname{Lie}({\mathbf{H}})^{\perp}$, and

• •

$\gamma$ belongs to $H$ and $X^{*}$ annihilates $\operatorname{Lie}({\mathbf{H}})^{\perp}$,

then we write ${\mathfrak{G}}_{G/H}(X^{*},\gamma)$ (or ${\mathfrak{G}}_{G/H}({\mathcal{O}}^{\prime},\gamma)$) for the quotient ${\mathfrak{G}}_{G}(X^{*},\gamma)/{\mathfrak{G}}_{H}(X^{*},\gamma)$.

We now recall the

• •

non-negative real number $r$,

• •

element ${\gamma}\in G$, with associated groups ${\mathbf{P}}^{\mp}=\operatorname{C}_{{\mathbf{G}}}^{({}<{-\infty})}(\gamma^{\pm 1})$, ${\mathbf{N}}^{\pm}$, and ${\mathbf{M}}=\operatorname{C}_{{\mathbf{G}}}^{({}<{0})}(\gamma)$, and

• •

point $x\in{\mathcal{B}}(\operatorname{C}_{G}^{({}<{r})}(\gamma))$,

satisfying Hypotheses 3.2.2 and 3.2.8, from §3.2; and the

• •

tame, twisted Levi subgroup ${\mathbf{G}}^{\prime}$

from §4.1. We do not impose Hypothesis 4.4.2; and do not need the element $Z^{*}_{o}$ from §4.1, or the mock-exponential map from Hypothesis 4.3.1.

We do fix an element $X^{*}$ satisfying Hypothesis 4.1.5, and we do require that $\gamma$ belongs to $G^{\prime}$. As in §4.1, we use primes to denote the analogues in ${\mathbf{G}}^{\prime}$ of constructions in $\mathbf{G}$, so, for example, ${\mathbf{M}}^{\prime}$ stands for $\operatorname{C}_{{\mathbf{G}}^{\prime}}^{({}<{0})}(\gamma)$ (subject to the proviso in Remark 3.2.3, that we may refer directly only to the identity component of ${\mathbf{M}}^{\prime}$).

Contrary to our notation elsewhere, in the proof of Proposition 5.1.3 we find it convenient to use $\mathbf{H}$ to stand for $\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma^{2})$, not $\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$; but we return to the usual notation before Proposition 5.1.8.

The pairing $q_{X^{*},\gamma}$ is usually degenerate, but, in Proposition 5.1.3, we pick out a non-degenerate subspace, and even a non-degenerate sublattice.

Proposition 5.1.3**.**

We have that $\operatorname{Lie}(\operatorname{C}_{G}^{({}<{r})}(\gamma),G)_{{x}\geq{({{0}+},(r-\operatorname{ord}_{\gamma^{\pm 1}})/2)}}$ pairs via $b_{X^{*},\gamma}$ with itself into ${k}_{{}\geq{0}}$, and with $\operatorname{Lie}(\operatorname{C}_{G}^{({}<{r})}(\gamma),N^{+},G)_{{x}\geq{({{0}+},(r-\operatorname{ord}_{\gamma^{-1}})/2,{{({(r-\operatorname{ord}_{\gamma})/2})}+})}}$ on the right or $\operatorname{Lie}(\operatorname{C}_{G}^{({}<{r})}(\gamma),N^{-},G)_{{x}\geq{({{0}+},(r-\operatorname{ord}_{\gamma})/2,{{({(r-\operatorname{ord}_{\gamma^{-1}})/2})}+})}}$ on the left into ${k}_{{}>{0}}$.

Further, the $q_{X^{*},\gamma}$-orthogonal modulo ${k}_{{}>{0}}$ of

[TABLE]

in $\operatorname{Lie}(\operatorname{C}_{G}^{({}<{r})}(\gamma^{2}))^{\perp}\cap\operatorname{Lie}(G^{\prime})^{\perp}$ is

[TABLE]

Proof.

For this proof, put ${\mathbf{H}}=\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma^{2})^{\circ}$. (Elsewhere, we write $\mathbf{H}$ for $\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)^{\circ}$.) Also for this proof, put $s_{\gamma^{\pm 1}}^{\pm}=(r\pm\operatorname{ord}_{\gamma^{\pm 1}})/2$,

[TABLE]

(We apologise for resulting notation like ${{s_{\gamma^{-1}}^{-}}+}$.)

The argument for the first statement is similar to, but easier than, the proof of Proposition 4.2.3.

For this paragraph, fix an element $Y_{1}$ of $V$, a real number $i_{2}$ satisfying $i_{2}<r$, and an element $Y_{2}$ of $\operatorname{Lie}(\operatorname{C}_{G}^{({}<{i_{2}})}(\gamma^{\pm 1}))_{{x}\geq{(r-i_{2})/2}}$. By Lemma 3.2.11(1), we have that $(1-\operatorname{Ad}(\gamma))Y_{2}$ belongs to $\operatorname{Lie}(\operatorname{C}_{G}^{({}<{i_{2}})}(\gamma))_{{x}\geq{(r+i_{2})/2}}+\operatorname{Lie}(\operatorname{C}_{G}^{({}<{i_{2}})}(\gamma^{-1}))_{{x}\geq{\max\{(r+i_{2})/2,(r-i_{2})/2\}}}$, and to $\operatorname{Lie}(\operatorname{C}_{G}^{({}<{i_{2}})}(\gamma))_{{x}>{(r+i_{2})/2}}+\operatorname{Lie}(\operatorname{C}_{G}^{({}<{i_{2}})}(\gamma^{-1}))_{{x}\geq{\max\{{{({(r+i_{2})/2})}+},(r-i_{2})/2\}}}$ if $Y_{2}$ belongs to $V_{2,{+}}$. Thus, by Lemma 3.2.7(1), we have that $[Y_{1},(1-\operatorname{Ad}(\gamma))Y_{2}]$ belongs always to $\operatorname{Lie}(N^{+},G)_{{x}\geq{(r-\operatorname{ord}_{\gamma^{-1}},r)}}$, hence b_{X^{*},\gamma}(Y_{1},Y_{2})=\big{\langle}X^{*},[Y_{1},(1-\operatorname{Ad}(\gamma))Y_{2}]\big{\rangle} to ${k}_{{}\geq{0}}$, and to $\operatorname{Lie}(N^{+},G)_{{x}\geq{(r-\operatorname{ord}_{\gamma^{-1}},{{r}+})}}$, hence $b_{X^{*},\gamma}(Y_{1},Y_{2})$ to ${k}_{{}>{0}}$, if $Y_{1}$ belongs to $V_{1,{+}}$ or $Y_{2}$ to $V_{2,{+}}$. The first statement follows.

For the second statement, put

[TABLE]

Suppose that $Y_{1}\in V^{\perp}$ is such that $b_{X^{*},\gamma}(Y_{1},Y_{2})+b_{X^{*},\gamma}(Y_{2},Y_{1})$, which equals

[TABLE]

belongs to ${k}_{{}>{0}}$ for all $Y_{2}\in V^{\perp}$. Then

[TABLE]

belongs to $\operatorname{Lie}^{*}(H,G^{\prime},G)_{{x}>{(-\infty,-\infty,-s_{\gamma^{\pm 1}}^{-})}}$. Since $(\operatorname{Ad}(\gamma)^{-1}-1)X^{*}$ belongs to $\operatorname{Lie}^{*}(H^{\prime})_{{x}\geq{0}}$ by Hypothesis 4.1.5(2) and Remark 3.2.10, and since we have by Lemma 3.2.11(1) that $\operatorname{Ad}(\gamma)^{-1}Y_{1}=Y_{1}-(1-\operatorname{Ad}(\gamma)^{-1})Y_{1}$ belongs to $\operatorname{Lie}(H,N^{+},G)_{{x}\geq{({{r}+},s_{\gamma^{-1}}^{+},s_{\gamma}^{-})}}$, we have by Lemma 4.1.6(1) that $\operatorname{ad}^{*}(\operatorname{Ad}(\gamma)^{-1}Y_{1})(\operatorname{Ad}(\gamma)^{-1}-1)X^{*}$ belongs to $\operatorname{Lie}^{*}(H,N^{+},G)_{{x}\geq{({{r}+},s_{\gamma^{-1}}^{+},s_{\gamma}^{-})}}\subseteq\operatorname{Lie}^{*}(H,G^{\prime},G)_{{x}>{(-\infty,-\infty,-s_{\gamma^{\pm 1}}^{-})}}$. Thus, we have that

[TABLE]

By Lemma 4.1.6(2), we have that

[TABLE]

Thus, by Lemma 3.2.11(3), we have that $Y_{1}\in\operatorname{Lie}(H,G^{\prime},G)_{{x}\geq{(\infty,\infty,s_{\gamma^{\pm 1}})}}$ belongs to $\operatorname{Lie}(H,G^{\prime},G)_{{x}>{(-\infty,-\infty,s_{\gamma^{\pm 1}}^{-})}}$, hence to $\operatorname{Lie}(H,G^{\prime},G)_{{x}>{(\infty,\infty,s_{\gamma^{\pm 1}}^{-})}}$, as claimed. ∎

Corollary 5.1.4**.**

We have that

[TABLE]

where the sum over $Y$ runs over

[TABLE]

Proof.

This follows immediately from Proposition 5.1.3, since the left-hand side is the Weil index associated to $(\operatorname{Lie}(\operatorname{C}_{G}^{({}<{r})}(\gamma^{2}))^{\perp}\cap\operatorname{Lie}(G^{\prime})^{\perp},q_{X^{*},\gamma})$, once we notice that the natural maps

[TABLE]

induce isomorphisms

[TABLE]

∎

Corollary 5.1.5 is a local constancy result for Gauss sums. It shows that certain quotients of Gauss sums can “see” information only up to depth $r$ on the group side, and depth $-r$ on the dual-Lie-algebra side.

Corollary 5.1.5**.**

The quantity

[TABLE]

does not change if we replace $X^{*}$ by a translate under $\operatorname{Lie}^{*}(\operatorname{C}_{G^{\prime}}^{({}<{r})}(\gamma^{2}))_{{x}>{-r}}$, respectively $\operatorname{Lie}^{*}(\operatorname{C}_{G^{\prime}}^{({}<{r})}(\gamma))_{{x}>{-r}}$, and $\gamma$ by a translate under $\operatorname{C}_{G^{\prime}}^{({}<{r})}(\gamma^{2})_{{x}\geq{r}}$, respectively $\operatorname{C}_{G^{\prime}}^{({}<{r})}(\gamma)_{{x}\geq{r}}$.

Proof.

The first statement is a direct consequence of Corollary 5.1.3. Since $\operatorname{C}_{{\mathbf{G}}}^{({}\leq{0})}(\gamma)\cap\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma^{2})$ equals $\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$, and similarly in ${\mathbf{G}}^{\prime}$, by Hypothesis 3.2.8(3), the second statement follows by applying the first to $\mathbf{G}$, $\operatorname{C}_{{\mathbf{G}}}^{({}\leq{0})}(\gamma^{2})$, and $\operatorname{C}_{{\mathbf{G}}}^{({}\leq{0})}(\gamma)$. ∎

The main result of §5.1, Proposition 5.1.8, computes a certain integral on the group in terms of the Gauss sums $\mathfrak{G}$ defined via the Lie algebra. The usual device for transferring between the group and the Lie algebra is an exponential map, but we have avoided assuming (so far in §5) that there is an exponential map, or even a Moy–Prasad isomorphism. We wish to continue avoiding this, but we need some way of relating the behaviour of the group character $\phi$ appearing in Proposition 5.1.8 to the dual-Lie-algebra element $X^{*}$. By [yu:models]§8.1(ii) and remark after Corollary 5.6, a Moy–Prasad isomorphism exists, regardless of any tameness hypotheses, for adjoint groups. We state the necessary properties of such an isomorphism in Hypothesis 5.1.6. It may be constructed as in [adler:thesis]§1.5, taking into account the modifications as in [steinberg:endomorphisms]*proof of Theorem 8.2; we do not give the details here.

Hypothesis 5.1.6**.**

Let ${\mathbf{M}}_{\text{ad}}$ be the adjoint quotient of $\mathbf{M}$. For each

• •

tame, twisted Levi sequence $\vec{\mathbf{M}}$ in $\mathbf{M}$ containing $\gamma$, such that $x$ belongs to ${\mathcal{B}}(\vec{M})$, and

• •

grouplike depth vector $\vec{\jmath}$ satisfying $\vec{\jmath}\mathbin{\vee}\vec{\jmath}\geq{{\vec{\jmath}}+}$,

there is an isomorphism

[TABLE]

These isomorphisms satisfying the following.

1. (1)

For all grouplike depth vectors $\vec{\jmath}_{k}$ satisfying $\vec{\jmath}_{k}\mathbin{\vee}\vec{\jmath}_{k}\geq{{\vec{\jmath}_{k}}+}$, and elements $Y_{k}\in\operatorname{Lie}(\vec{M}_{\text{ad}})_{{x}\geq{\vec{\jmath}_{k}}}$ and $v_{k}\in{\overline{{\mathsf{e}}}}_{{x}={\vec{\jmath}_{k}}}(Y_{k})$, for $k\in\{1,2\}$, we have that

[TABLE] 2. (2)

For all $i\in{\widetilde{\mathbb{R}}}_{\geq 0}$, grouplike depth vectors $\vec{\jmath}$ satisfying $\vec{\jmath}\mathbin{\vee}\vec{\jmath}\geq{{\vec{\jmath}}+}$, and elements $Y\in\operatorname{Lie}(\operatorname{C}_{\vec{M}}^{({}<{i})}(\gamma))_{{x}\geq{\vec{\jmath}}}$, there is an element $v\in{\overline{{\mathsf{e}}}}_{{x}={\vec{\jmath}}}(Y)\cap\operatorname{C}_{\vec{M}}^{({}<{i})}(\gamma)_{{x}\geq{\vec{\jmath}}}$ so that

[TABLE] 3. (3)

For all grouplike depth vectors $\vec{\jmath}_{k}$ satisfying $\vec{\jmath}_{k}\mathbin{\vee}\vec{\jmath}_{k}\geq{{\vec{\jmath}_{k}}+}$, for $k\in\{1,2\}$, if ${{\vec{\jmath}_{1}}+}$ and ${{\vec{\jmath}_{2}}+}$ are equal, then the diagram

[TABLE]

commutes.

We can almost use Hypothesis 5.1.6 to define the notion of a dual blob of a character of $G_{{x}\geq{r}}$, but we do not want to restrict ourselves to characters that factor through the adjoint quotient. Instead, in Hypothesis 5.1.7, as in Hypothesis 4.4.6, we speak in a roundabout way of dual blobs, this time via commutators. As with Hypothesis 4.1.5, we isolate Hypothesis 5.1.7 only to have a convenient reference; it will automatically be satisfied when we need it, in Theorem 5.3.11.

We now return to the notation used elsewhere in the document, writing ${\mathbf{H}}$ for $\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$ (and so ${\mathbf{H}}^{\prime}$ for $\operatorname{C}_{{\mathbf{G}}^{\prime}}^{({}<{r})}(\gamma)$, subject to the proviso in Remark 3.2.3). Let $\phi$ be a character of $H^{\prime}_{{x}\geq{r}}/\operatorname{C}_{{\mathcal{D}}G\cap G^{\prime}}^{({}<{r})}(\gamma)_{{x}>{r}}$. We write again $\phi$ for its extension trivially across $(\operatorname{C}_{{\mathcal{D}}G\cap G^{\prime}}^{({}<{r})}(\gamma),{\mathcal{D}}G\cap G^{\prime})_{{x}\geq{({{r}+},r)}}$ to $G^{\prime}_{{x}\geq{r}}$, and then $\hat{\phi}$ for its further extension trivially across ${\mathcal{D}}(G^{\prime},G)_{{x}>{(r,s)}}$ to $(G^{\prime},G)_{{x}\geq{(r,{{s}+})}}$.

Hypothesis 5.1.7**.**

We have that

[TABLE]

for all $j_{k}\in{\widetilde{\mathbb{R}}}_{>0}$, and elements $Y_{k}\in\operatorname{Lie}(\operatorname{C}_{G}^{({}\leq{0})}(\gamma))_{{x}\geq{j_{k}}}$ and $v_{k}\in{\overline{{\mathsf{e}}}}_{{x}={j_{k}}}(Y_{k})\cap\operatorname{C}_{G}^{({}\leq{0})}(\gamma))$, for $k\in\{1,2\}$, such that $j_{1}+j_{2}\geq r$.

Proposition 5.1.8 is used in Proposition 5.2.6 to show that Gauss sums appear when evaluating invariant distributions at certain test functions.

Proposition 5.1.8**.**

We have that

[TABLE]

Proof.

Put ${\mathcal{V}}^{\perp}=(H,\operatorname{C}_{G^{\prime}}^{({}\leq{0})}(\gamma),\operatorname{C}_{G}^{({}\leq{0})}(\gamma))_{{x}\geq{({{0}+},r-\operatorname{ord}_{\gamma},(r-\operatorname{ord}_{\gamma})/2)}}$. We use Notation 4.2.1. Proposition 4.2.3 gives that ${\mathfrak{Q}}_{\gamma}$ is multiplicative modulo ${\mathcal{D}}(G^{\prime},G)_{{x}>{(r,s)}}$ on ${\mathcal{V}}^{\perp}$.

In particular, we have for any $i\in{\mathbb{R}}$ with $0<i<r$ that

[TABLE]

where we have put

[TABLE]

and reasoning inductively gives that

[TABLE]

We have by Hypotheses 5.1.6 and 5.1.7, and Proposition 4.2.4, that

[TABLE]

for all $0<i<r$, and elements $Y\in\operatorname{Lie}(\operatorname{C}_{G^{\prime}}^{({}<{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma))_{{x}\geq{(r-i,(r-i)/2)}}$ and $v\in{\overline{{\mathsf{e}}}}_{{x}={(r-i,(r-i)/2)}}(Y)\cap(\operatorname{C}_{G^{\prime}}^{({}<{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma))_{{x}\geq{(r-i,(r-i)/2)}}$. Lemma 3.2.12 gives that

[TABLE]

so we have shown that

[TABLE]

equals

[TABLE]

which we see, by arguing as above, equals

[TABLE]

By Corollary 5.1.4, we are done. ∎

5.2. Matching distributions on groups and subgroups

We recall the

• •

non-negative real number $r$,

• •

element ${\gamma}\in G$, with associated groups ${\mathbf{P}}^{\mp}=\operatorname{C}_{{\mathbf{G}}}^{({}<{-\infty})}(\gamma^{\pm 1})$, ${\mathbf{N}}^{\pm}$, ${\mathbf{M}}=\operatorname{C}_{{\mathbf{G}}}^{({}<{0})}(\gamma)$, and ${\mathbf{H}}=\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$, and

• •

point $x\in{\mathcal{B}}(H)$,

from §3.2, of which we now require that $r$ be positive; the

• •

tame, twisted Levi subgroup ${\mathbf{G}}^{\prime}$

from §4.1, which we require to contain $\gamma$; and the

• •

element $X^{*}\in\operatorname{Lie}^{*}(H^{\prime})$ and

• •

characters $\phi$ of $G^{\prime}_{{x}\geq{r}}/(\operatorname{C}_{{\mathcal{D}}G\cap G^{\prime}}^{({}<{r})}(\gamma),G^{\prime})_{{x}\geq{({{r}+},r)}}$ and $\hat{\phi}$ of $(G^{\prime},G)_{{x}\geq{(r,{{s}+})}}/{\mathcal{D}}(H^{\prime},G^{\prime},G)_{{x}\geq{({{r}+},r,{{s}+})}}$,

satisfying Hypotheses 4.1.5 and 5.1.7 (and so, indirectly, Hypothesis 5.1.6), from §5.1. We use primes to denote the analogues in ${\mathbf{G}}^{\prime}$ of constructions in $\mathbf{G}$; so, for example, ${\mathbf{H}}^{\prime}$ stands for $\operatorname{C}_{{\mathbf{G}}^{\prime}}^{({}<{r})}(\gamma)$ (subject to the proviso in Remark 3.2.3, that we may refer directly only to the identity component of ${\mathbf{H}}^{\prime}$).

This section approaches the explicit computation of sample values of an invariant distribution $T$ on $G$, as in Lemma 4.4.8, by converting it into a computation of analogous sample values for an invariant distribution $T^{\prime}$ on the tame, twisted Levi subgroup $G^{\prime}$ that “matches” $T$ in some sense. Lemma 5.2.2 relates Fourier transforms of orbital integrals on $\operatorname{Lie}(G)$ and $\operatorname{Lie}(G^{\prime})$, but it does not give us enough information to figure out the correct general matching condition. Our first main result, Proposition 5.2.7, does provide that information; and our second, Theorem 5.2.8, states the matching condition and the resulting reduction.

Lemma 5.2.1 is similar to Lemma 3.2.14, but involves $q_{G/G^{\prime}}^{r}$, which we view as a proxy for the discriminant of $X^{*}$, rather than the discriminant of $\gamma$. (See [debacker-spice:stability]*Proposition LABEL:debacker-spice:stability:prop:const and the proof of Theorem 5.3.11 for the justification of our claim that $q_{G/G^{\prime}}^{r}$ is a reasonable proxy.)

Lemma 5.2.1**.**

We have that

[TABLE]

Proof.

The proof proceeds exactly as did that of Lemma 3.2.14. We begin by reducing to the Lie algebra, where we observe that $[\operatorname{Lie}(G)_{{x}>{0}}\mathbin{:}\operatorname{Lie}(G)_{{x}\geq{s}}]$ equals both

[TABLE]

The result then follows from [debacker-spice:stability]*Corollary LABEL:debacker-spice:stability:cor:gxf-inv. ∎

Lemma 5.2.2 is stated in such a way that it is independent of the choices of Haar measures on $G$ and $G^{\prime}$, but appears still to depend, in the notation of the proof, on the choices of Haar measures on $\operatorname{C}_{G^{\circ}}(X^{*})$ and $\operatorname{C}_{G^{\prime\,\circ}}(X^{*})$. However, this choice does not matter; these groups are equal, and we may use any common Haar measure on them.

Lemma 5.2.2**.**

We have that

[TABLE]

for all ${\mathcal{O}}^{\prime}\in{\mathcal{O}}^{G^{\prime\,\circ}}(X^{*}+\operatorname{Lie}^{*}(G^{\prime})_{{x}>{-r}})$.

Proof.

Choose an element $Y^{*}$ in ${\mathcal{O}}^{\prime}\cap(X^{*}+\operatorname{Lie}^{*}(G^{\prime})_{{x}>{-r}})$. Put

[TABLE]

and let ${\mathcal{C}}^{\prime}$ and $I^{\prime}$ be the analogous objects for $G^{\prime\,\circ}$. Because of our normalising convention for $[\cdot]$, we have that [{\mathfrak{g}}_{{x}\geq{r}},{\Lambda}_{X^{*}}^{\vee}]^{^} is the characteristic function of $X^{*}+{\mathfrak{g}}^{*}_{{x}>{-r}}$, so $I$ equals

[TABLE]

and similarly for $I^{\prime}$. We have that $\operatorname{C}_{G^{\circ}}(X^{*})$ equals $\operatorname{C}_{G^{\prime\,\circ}}(X^{*})$ (Hypothesis 4.1.5(5)), so that $\operatorname{Int}(g^{\prime})^{-1}G_{{x}>{0}}\cap\operatorname{C}_{G^{\circ}}(X^{*})$ equals $\operatorname{Int}(g^{\prime})^{-1}G^{\prime}_{{x}>{0}}\cap\operatorname{C}_{G^{\prime\,\circ}}(Y^{*})$ for $g^{\prime}\in{\mathcal{C}}^{\prime}$, and the natural map $G^{\prime}_{{x}>{0}}\backslash{\mathcal{C}}^{\prime}\to G_{{x}>{0}}\backslash{\mathcal{C}}$ is a surjection (Lemma 4.1.6(3) and Hypothesis 4.1.5(5) again). In fact the map is obviously also injective and equivariant for right translation by $\operatorname{C}_{G^{\circ}}(X^{*})=\operatorname{C}_{G^{\prime\,\circ}}(X^{*})$, so induces a bijection of $G^{\prime}_{{x}>{0}}\backslash{\mathcal{C}}^{\prime}/\operatorname{C}_{G^{\prime\,\circ}}(X^{*})$ with $G_{{x}>{0}}\backslash{\mathcal{C}}/\operatorname{C}_{G^{\circ}}(X^{*})$. It follows that $I$ equals $I^{\prime}$, as desired. ∎

Lemma 5.2.3 is implicit in the proof of [adler-spice:explicit-chars]*Proposition LABEL:adler-spice:explicit-chars:prop:step1-support. It “gives us room” perpendicular to $G^{\prime}$ when sampling invariant distributions at certain test functions related to K-types. We use this room in Proposition 5.2.7 to compute the sample values in terms of Gauss sums.

Lemma 5.2.3**.**

We have that

[TABLE]

Proof.

Both sides are invariant under conjugation by $G_{{x}>{0}}$, and supported by the orbit under $G_{{x}>{0}}$ of $(G^{\prime},G)_{{x}\geq{(r,{{s}+})}}$. Thus, it suffices to verify the equality on $(G^{\prime},G)_{{x}\geq{(r,{{s}+})}}$. Suppose that $t\in{\mathbb{R}}$ satisfies $s<t<r$, and $k$ belongs to $(G^{\prime},G)_{{x}\geq{(r,t)}}$. We show that the integral

[TABLE]

is [math] unless $k$ belongs to $(G^{\prime},G)_{{x}\geq{(r,{{t}+})}}$. By, and with the notation of, Hypotheses 5.1.6 and 5.1.7, the integral is a multiple of

[TABLE]

where $Z\in\operatorname{Lie}(G^{\prime},G)_{{x}\geq{(r,t)}}$ is such that $k$ belongs to ${\overline{{\mathsf{e}}}}_{{x}={(r,t)}}(Z)$. In particular, the integral is [math] unless

[TABLE]

belongs to ${k}_{{}>{0}}$ for all $Y\in\operatorname{Lie}(G^{\prime},G)_{{x}\geq{({{({r-t})}+},r-t)}}$, hence unless $\operatorname{ad}^{*}(Z)X^{*}$ belongs to $\operatorname{Lie}^{*}(G^{\prime},G)_{{x}\geq{(t-r,{{({t-r})}+})}}$. By Lemma 4.1.6(2), this would imply that $Z\in\operatorname{Lie}(G^{\prime},G)_{{x}\geq{(r,t)}}$ belonged to $\operatorname{Lie}(G^{\prime},G)_{{x}\geq{(-\infty,{{t}+})}}$, hence to $\operatorname{Lie}(G^{\prime},G)_{{x}\geq{(r,{{t}+})}}$; and so that $k\in{\overline{{\mathsf{e}}}}_{{x}={(r,t)}}(Z)$ belonged to $(G^{\prime},G)_{{x}\geq{(r,{{t}+})}}$, as claimed.

Thus, the left-hand side is supported by $G_{{x}\geq{r}}$, so the two sides agree up to a constant. To show that the constant is $1$, we use Lemma 3.2.12 and [debacker-spice:stability]*Corollary LABEL:debacker-spice:stability:cor:gxf-inv and Lemma LABEL:debacker-spice:stability:lem:gxf-shift to see that $[(G^{\prime},G)_{{x}\geq{(r,{{s}+})}}\mathbin{:}G_{{x}\geq{r}}]$ equals $[G_{{x}>{0}}\mathbin{:}(G^{\prime},G)_{{x}\geq{({{0}+},s)}}]$. Then Lemma 5.2.1 gives that

[TABLE]

Lemma 5.2.4 gives us a transformation property of functions in a certain Hecke algebra. (Remember that we have built in a contragredient to our Hecke-algebra notation, so that ${\mathcal{H}}(G{\sslash}(M^{\prime},M)_{{x}\geq{(r,{{s}+})}},\hat{\phi})$ stands for the space of functions that transform according to $\hat{\phi}^{\vee}$.) After we specialise it slightly in Corollary 5.2.5, it will be used in Proposition 5.2.6.

Lemma 5.2.4**.**

For all $f\in{\mathcal{H}}(G{\sslash}(M^{\prime},M)_{{x}\geq{(r,{{s}+})}},\hat{\phi})$ and $i,j\in{\mathbb{R}}_{\geq 0}$ satisfying $i+2j\leq r$ and $j<s$, we have that

[TABLE]

for all

[TABLE]

Proof.

Put $t=i+j$. We have that

[TABLE]

We view Corollary 5.2.5 as stating in a philosophical sense that we can, under certain restrictive conditions, ignore the presence of the element $\gamma$ when conjugating. This allows us to show that certain subintegrals in Proposition 5.2.6 vanish.

Corollary 5.2.5**.**

With the notation of Lemma 5.2.4, if the inequality $i+2j<r$ holds, then

[TABLE]

Proof.

Proposition 4.2.3 gives that $[h,\gamma]$ belongs to ${\mathcal{D}}(G^{\prime},G)_{{x}>{(r,s)}}\subseteq\ker\hat{\phi}$. The result now follows from Lemma 5.2.4. ∎

Proposition 5.2.6 isolates an important part of the proof of [adler-spice:explicit-chars]*Proposition LABEL:adler-spice:explicit-chars:prop:step1-formula1. For notational convenience, we assume that the action of $\gamma$ on $\mathbf{G}$ is compact, and state Proposition 5.2.6 in terms of the group $G$; but we drop the assumption on $\gamma$, and apply the result to $M$ instead, in Proposition 5.2.7. In the context in which we use it, the function $f$ will be fixed by conjugation by $(G^{\prime},G)_{{x}\geq{({{0}+},s)}}$; in that sense, this result is a key part in the reduction of computations on $G$ to computations on $G^{\prime}$.

Proposition 5.2.6**.**

If the action of $\gamma$ on $\mathbf{G}$ is compact, then, for any $f\in{\mathcal{H}}(G{\sslash}(G^{\prime},G)_{{x}\geq{(r,{{s}+})}},\hat{\phi})$, we have that

[TABLE]

Proof.

For this proof, put $\llbracket\gamma;x,r\rrbracket^{\perp}=(H,\operatorname{C}_{G^{\prime}}^{({}\leq{0})}(\gamma),\operatorname{C}_{G}^{({}\leq{0})}(\gamma))_{{x}\geq{({{0}+},r-\operatorname{ord}_{\gamma},(r-\operatorname{ord}_{\gamma})/2)}}$. (This is closely related, but not identical, to the notation of [adler-spice:explicit-chars]*§LABEL:adler-spice:explicit-chars:sec:normal.) The main idea is that the integral over $G_{{x}>{0}}$ is unchanged (aside from normalisation issues) if we take it only over $\llbracket\gamma;x,r\rrbracket^{\perp}$. To show this, we chop the remainder of the domain of integration into shells, on each of which we use Corollary 5.2.5 to show that the integral vanishes.

Suppose that $i,j\in{\mathbb{R}}_{\geq 0}$ satisfy $i+2j<r$, and put

[TABLE]

(In the notation of [adler-spice:explicit-chars]*§LABEL:adler-spice:explicit-chars:sec:normal, we have for any $g\in S_{ij}$ that $i^{\perp}(g)$ is $i$ and $j^{\perp}(g)$ is $j$.) We claim that $I_{ij}\mathbin{\vcentcolon=}\displaystyle\int_{S_{ij}}f(\operatorname{Int}(g)\gamma)\textup{d}g$ equals [math].

Put $t=i+j$, and

[TABLE]

For this paragraph, fix an element $c$ of $(\operatorname{C}_{G^{\prime}}^{({}<{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma))_{{x}\geq{({{j}+},j)}}$, and re-adopt Notations 5.1.2 and 4.2.1. For later use, we show that the integral

[TABLE]

is [math] unless $c$ belongs to $C_{+}$. Our argument is very similar to the proof of Lemma 5.2.3. By, and with the notation of, Hypotheses 5.1.6 and 5.1.7, we have that the integral is a multiple of

[TABLE]

where $Z\in(\operatorname{C}_{G^{\prime}}^{({}<{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma))_{{x}\geq{({{j}+},j)}}$ is such that $c$ belongs to ${\overline{{\mathsf{e}}}}_{{x}={({{j}+},j)}}(Z)$. In particular, it is [math] unless

[TABLE]

belongs to ${k}_{{}>{0}}$ for all $Y\in\operatorname{Lie}(\operatorname{C}_{G^{\prime}}^{({}<{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma))_{{x}\geq{(r-i,r-t)}}$, hence unless $\operatorname{ad}^{*}((1-\operatorname{Ad}(\gamma))Z)X^{*}$ belongs to $\operatorname{Lie}^{*}(\operatorname{C}_{G^{\prime}}^{({}<{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma))_{{x}>{(i-r,t-r)}}$. We now reason as in Proposition 5.1.3. If this containment held, then we would have by Lemma 4.1.6(2) that $(1-\operatorname{Ad}(\gamma))Z$ belonged to $\operatorname{Lie}(G^{\prime},\operatorname{C}_{G}^{({}<{i})}(\gamma),G)_{{x}>{(-\infty,t,-\infty)}}$. This in turn would imply by Lemma 3.2.11(2) that $Z\in\operatorname{Lie}(\operatorname{C}_{G^{\prime}}^{({}<{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma))_{{x}\geq{({{j}+},j)}}$ belonged to $\operatorname{Lie}^{*}(G^{\prime},\operatorname{C}_{G}^{({}\leq{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma),G)_{{x}>{(-\infty,-\infty,j,-\infty)}}$, hence to $\operatorname{Lie}(\operatorname{C}_{G^{\prime}}^{({}<{i})}(\gamma),\operatorname{C}_{G}^{({}\leq{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma))_{{x}\geq{({{j}+},j,{{j}+})}}$; and so that $c\in{\overline{{\mathsf{e}}}}_{{x}={({{j}+},j)}}(Z)$ belonged to $(\operatorname{C}_{G^{\prime}}^{({}<{i})}(\gamma),\operatorname{C}_{G}^{({}\leq{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma))_{{x}\geq{({{j}+},j,{{j}+})}}\subseteq C_{+}$.

Since $S_{ij}$ equals $(G^{\prime},G)_{{x}>{(0,j)}}\cdot(C\setminus C_{+})$, we have by [adler-spice:explicit-chars]*Lemma LABEL:adler-spice:explicit-chars:lem:silly-integration that $I_{ij}$ is a multiple of

[TABLE]

By Proposition 4.2.3, we have that ${\mathfrak{Q}}_{\gamma}$ is $\operatorname{C}_{G}^{({}<{i})}(\gamma)_{{x}\geq{t}}$-valued on $C$; and, if we write ${\overline{{\mathfrak{B}}}}_{\gamma}$ for the composition of ${\mathfrak{B}}_{\gamma}$ with the projection $G\to G/{\mathcal{D}}(G^{\prime},G)_{{x}>{(r,s)}}$, so that the composition $\hat{\phi}\circ{\mathfrak{B}}_{\gamma}$ factors through ${\overline{{\mathfrak{B}}}}_{\gamma}$, then ${\overline{{\mathfrak{B}}}}_{\gamma}$ is bi-multiplicative on ${\mathcal{H}}\times C$ and trivial on ${\mathcal{H}}\times(H,\operatorname{C}_{G}^{({}\leq{r-2j})}(\gamma))_{{x}\geq{({{0}+},(r-\operatorname{ord}_{\gamma})/2)}}$. Since ${\mathcal{H}}=(\operatorname{C}_{G^{\prime}}^{({}<{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma))_{{x}\geq{(r-i,r-t)}}$ is contained in $(G^{\prime},G)_{{x}>{(0,j)}}$, we have by Corollary 5.2.5 that

[TABLE]

where the sum over $c$ runs over the non-trivial cosets in the quotient of $(\operatorname{C}_{G^{\prime}}^{({}<{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma))_{{x}\geq{({{j}+},j)}}$ by its intersection $(\operatorname{C}_{G^{\prime}}^{({}<{i})}(\gamma),\operatorname{C}_{G}^{({}\leq{i})}(\gamma),\operatorname{C}_{G}^{({}<{i})}(\gamma))_{{x}\geq{({{j}+},j,{{j}+})}}$ with $C_{+}$, equals

[TABLE]

so that $I_{ij}=\displaystyle\int_{S_{ij}}f(\operatorname{Int}(g)\gamma)\textup{d}g$ equals [math], as desired.

Recall that we have put $\llbracket\gamma;x,r\rrbracket^{\perp}=(H,\operatorname{C}_{G^{\prime}}^{({}\leq{0})}(\gamma),\operatorname{C}_{G}^{({}\leq{0})}(\gamma))_{{x}\geq{({{0}+},r-\operatorname{ord}_{\gamma},(r-\operatorname{ord}_{\gamma})/2)}}$. Since $G_{{x}>{0}}\setminus\bigcup_{\begin{subarray}{c}i,j\geq 0\\ i+2j<r\end{subarray}}S_{ij}$ equals $(H,G^{\prime},G)_{{x}\geq{({{0}+},{{0}+},(r-\operatorname{ord}_{\gamma})/2)}}=(G^{\prime},G)_{{x}\geq{({{0}+},s)}}\cdot\llbracket\gamma;x,r\rrbracket^{\perp}$, we have shown (by another application of [adler-spice:explicit-chars]*Lemma LABEL:adler-spice:explicit-chars:lem:silly-integration) that

[TABLE]

By Proposition 4.2.3, we have that

[TABLE]

for all $v\in\llbracket\gamma;x,r\rrbracket^{\perp}$ and $j\in(G^{\prime},G)_{{x}\geq{(0,{{s}+})}}$. Thus, upon normalising the integrals in ($*$ ‣ 5.2) by dividing by the measure, we find that

[TABLE]

Thus, it suffices to show that

[TABLE]

We have by Lemma 5.2.1 that $[G_{{x}>{0}}\mathbin{:}(G^{\prime},G)_{{x}\geq{({{0}+},s)}}]$ equals $[{\mathfrak{g}}_{{x}={0}}\mathbin{:}{\mathfrak{g}}^{\prime}_{{x}={0}}]^{-1/2}q_{G/G^{\prime}}^{s}[G_{{x}={s}}\mathbin{:}G^{\prime}_{{x}={s}}]^{-1/2}$, and by Lemma 3.2.14 that

[TABLE]

which may be re-written as

[TABLE]

equals

[TABLE]

(We have used that $\gamma$ is compact, so that

[TABLE]

is a unit (by Hypothesis 3.2.2(2)), and similarly for $G^{\prime}$.) The result now follows from Proposition 5.1.8, with an inverse on ${\mathfrak{G}}$ because we are dealing with $\phi^{\vee}$ rather than $\phi$. ∎

So far, in Lemma 5.2.3 and Proposition 5.2.6, we have been dealing directly with functions on $G$. We want to combine these results; but, while the latter can handle the values of such functions near $\gamma$, the former can only handle their values near the identity. Proposition 5.2.7 circumvents this difficulty by dealing, not with the functions themselves, but with the values of invariant distributions at them.

Proposition 5.2.7**.**

If $T$ is an invariant distribution on $G$, then

[TABLE]

Proof.

Consider the function $f\mathrel{:}{G\to{\mathbb{C}}}$ given by

[TABLE]

for all $g\in G$. By invariance of $T$, we have that $f(g)$ equals

[TABLE]

for all $g\in G$, so that $f$ belongs to ${\mathcal{H}}(G{\sslash}(M^{\prime},M,G)_{{x}\geq{(r,{{s}+},r)}},\hat{\phi})$; and also that $f(g\gamma g^{-1})$ equals

[TABLE]

for all $g\in G$. Since Lemma 3.2.7(3) gives that the commutator of $(M^{\prime},M)_{{x}\geq{({{0}+},s)}}$ with $(M^{\prime},M,G)_{{x}\geq{(r,{{s}+},r)}}$ is contained in ${\mathcal{D}}G_{{x}>{r}}\subseteq\ker\hat{\phi}$, we have that $(M^{\prime},M)_{{x}\geq{({{0}+},s)}}$ stabilises $((M^{\prime},M,G)_{{x}\geq{(r,{{s}+},r)}},\hat{\phi})$, hence fixes $f$. Thus Proposition 5.2.6, with $\mathbf{M}$ in place of $\mathbf{G}$, gives that

[TABLE]

Now $\displaystyle\fint_{M_{{x}>{0}}}f(\operatorname{Int}(g)\gamma)$ equals

[TABLE]

Since $[(M^{\prime},M,G)_{{x}\geq{(r,{{s}+},r)}},\hat{\phi}^{\vee}]$ agrees on $(M^{\prime},M)_{{x}\geq{(r,{{s}+})}}$ with

[TABLE]

we have by Lemma 5.2.3 (again applied to $\mathbf{M}$ instead of $\mathbf{G}$) that

[TABLE]

agrees on $M_{{x}>{s}}$ with

[TABLE]

times

[TABLE]

(where the unexpected quotient of measures comes from our normalisation convention for $[\cdot]$, which involves dividing by the measure of the domain); hence, since (${\dagger}$ ‣ 5.2) belongs to ${\mathcal{H}}((M,G)_{{x}\geq{({{s}+},r)}}{\sslash}G_{{x}\geq{r}},\hat{\phi})$, that it equals the same multiple (${\ddagger}$ ‣ 5.2) of

[TABLE]

That is, by ($*$ ‣ 5.2), and remembering that $f(\gamma)$ equals T\bigl{(}\gamma[(M^{\prime},M,G)_{{x}\geq{(r,{{s}+})}},\hat{\phi}]\bigr{)}, we have shown that

[TABLE]

The result now follows from Lemma 4.4.3, with [math] in place of $r$. (See Remark 3.2.9.) ∎

Theorem 5.2.8 gives a condition under which an invariant distribution $T$ on $G$ may be said to match an invariant distribution $T^{\prime}$ on $G^{\prime}$, and shows that, in this case, certain sample values of those two distributions are equal. Note the resemblance of the proof to the descent arguments appearing in [jkim-murnaghan:gamma-asymptotic]*§§6.2, 7.2. We have phrased Theorem 5.2.8 in a way that we think will be amenable to future calculations using Hecke-algebra isomorphisms, but, for now, the limited analogue that we prove in Theorem 5.3.8 suffices to handle the characters of tame supercuspidal representations in Theorem 5.3.11. We make an essentially cosmetic re-statement of the the theorem later, as Lemma 5.3.10, in a form that is amenable to use in our main result, Theorem 5.3.11.

An analysis of the proof of Theorem 5.2.8 shows that we only need to refer explicitly to the measures on $H^{\circ}$ and $H^{\prime\,\circ}$, not on $G$ and $G^{\prime}$. (Recall, though, that the functions $[G^{\prime}_{{x}\geq{r}},\phi^{\vee}]$ and $[(G^{\prime},G)_{{x}\geq{(r,{{s}+})}},\hat{\phi}^{\vee}]$ implicitly depend on the choices of measure on $G^{\prime}$ and $G$, respectively.) This is the first place that we need to make use of the specific normalisation of Haar measure chosen in §2.3.

Theorem 5.2.8**.**

Suppose that

• •

$T^{\prime}$* is an invariant distribution on $G^{\prime}$,*

• •

$c(T^{\prime},\gamma)$* is a finitely supported, ${\mathcal{O}}^{H^{\prime\,\circ}}(\operatorname{Lie}^{*}(H^{\prime}))$-indexed vector of complex numbers such that $\lvert\operatorname{D}_{G^{\prime}/H^{\prime}}(\gamma)\rvert^{1/2}T^{\prime}(\gamma[G^{\prime}_{{x}\geq{r}},\phi^{\vee}])$ equals*

[TABLE]

and

• •

$T$* is an invariant distribution on $G$ such that*

[TABLE]

Then $\lvert\operatorname{D}_{G/H}(\gamma)\rvert^{1/2}T(\gamma[G_{{x}\geq{r}},\hat{\phi}^{\vee}])$ equals

[TABLE]

Note that $\hat{\mu}^{H^{\prime\,\circ}}_{{\mathcal{O}}^{\prime}}$ and $\hat{\mu}^{H^{\circ}}_{{\mathcal{O}}^{\prime}}$ are Fourier transforms of different orbital integrals, as indicated by the superscripts, even though the subscripts are the same.

It does not matter for Theorem 5.2.8 whether $X^{*}+\operatorname{Lie}^{*}(G^{\prime})_{{x}>{-r}}$ is the “dual blob” of $(G^{\prime}_{{x}\geq{r}},\phi)$, only that Hypothesis 5.1.7 is satisfied.

Proof.

By Proposition 5.2.7, we have that q_{H}^{-s}\lvert\operatorname{D}_{G/H}(\gamma)\rvert^{1/2}T\bigl{(}\gamma[G_{{x}\geq{r}},{\Lambda}_{X^{*}}]\bigr{)} equals

[TABLE]

By assumption, we have that ($\text{\ref{thm:dist-G-to-G':eq:sample-G}}_{G^{\prime}}$) equals T^{\prime}\bigl{(}\gamma[G^{\prime}_{{x}\geq{r}},{\Lambda}_{X^{*}}]\bigr{)}, so that, again by assumption, q_{H}^{-s}\lvert\operatorname{D}_{G/H}(\gamma)\rvert^{1/2}T\bigl{(}\gamma[G_{{x}\geq{r}},{\Lambda}_{X^{*}}]\bigr{)} itself equals

[TABLE]

According to Waldspurger’s canonical Haar measures, we have that $[{\mathfrak{h}}_{{x}={0}}\mathbin{:}{\mathfrak{h}}^{\prime}_{{x}={0}}]^{-1/2}$ equals $\frac{\operatorname{meas}(H^{\prime}_{{x}>{0}})^{-1}}{\operatorname{meas}(H_{{x}>{0}})^{-1}}$, so that the result follows from Lemma 5.2.2. ∎

5.3. Supercuspidal representations

After Lemma 5.3.3, we will begin to re-introduce notation from the previous sections; but we begin this section without any of the accumulated notation (except for $\mathbf{G}$ itself), by recalling the construction of tame supercuspidal representations from [yu:supercuspidal]. Because the restriction is necessary for Yu’s construction, we assume now that $\mathbf{G}$ is ${k}^{\text{tame}}$-split and connected.

The construction is inductive in nature, and we consider only a single step in the induction; so we replace the datum of [yu:supercuspidal]*§3, p. 590 with a quintuple $(({\mathbf{G}}^{\prime},{\mathbf{G}}),o,(0<r\leq r_{d}),\rho^{\prime},(\phi_{o},\chi))$, which we fix for the rest of the paper. Here,

• •

our ${\mathbf{G}}^{\prime}$ is Yu’s ${\mathbf{G}}^{d-1}$;

• •

our $o$ is Yu’s $y$;

• •

our $r$ is Yu’s $r_{d-1}$;

• •

our $\rho^{\prime}$ is the induction up to $\operatorname{stab}_{G^{\prime}}({\overline{o}})$ of the representation $\rho_{d-1}$ constructed in [yu:supercuspidal]*§4, p. 592; and

• •

our $\phi_{o}$ and $\chi$ are Yu’s $\phi_{d-1}$ and $\phi_{d}$, respectively.

Note that $\rho^{\prime}$ is constructed by inducing $\rho_{d-1}$, not $\rho^{\prime}_{d-1}$; that is, it includes the twist by $\phi_{o}$ by which those two representations differ. The group ${\mathbf{G}}^{\prime}$ and positive real number $r$ here will be the same as in §4.1 and §3.2, respectively. The idea is that the part of Yu’s datum that he denotes by $(({\mathbf{G}}^{0}\subsetneq\dotsb\subsetneq{\mathbf{G}}^{d-1}),y,(r_{0}<\dotsc<r_{d-1}),\rho_{0}^{\prime},(\phi_{0},\dotsc,\phi_{d-1}))$ has already been used to construct $\rho^{\prime}$, which is $(G^{\prime}_{{o}\geq{r}},\phi_{o})$-isotypic and induces an irreducible, hence supercuspidal, depth-$r$ representation of $G^{\prime}$, which we call ${\pi^{\prime}}\mathbin{\vcentcolon=}\operatorname{Ind}_{\operatorname{stab}_{G^{\prime}}({\overline{o}})}^{G^{\prime}}\rho^{\prime}$.

Let $Z^{*}_{o}$ be a generic element, as in [yu:supercuspidal]§8, representing $(G^{\prime}_{{o}\geq{r}},\phi_{o})$, as in [yu:supercuspidal]§9. Because $\mathbf{G}$ is connected, Hypothesis 4.1.1 is just the genericity condition [yu:supercuspidal]§8, p. 596, GE. Because $\mathbf{G}$ is tame, so that Moy–Prasad isomorphisms are always available, Hypothesis 4.4.6 follows from the definition of “representing” [yu:supercuspidal]§5.

Definition 5.3.1**.**

Put

[TABLE]

Let $\hat{\phi}_{o}$ be the extension of $(J_{o}^{\prime},\phi_{o})$ trivially across ${\mathcal{D}}(G^{\prime},G)_{{o}>{(r,s)}}$ to ${J_{o,{+}}}$.

Yu uses the theory of the Weil representation to construct a representation $\tilde{\phi}_{o}$ of $K^{\prime}_{o}\ltimes{J_{o}}$ [yu:supercuspidal]Theorem 11.5 that is ($G^{\prime}_{{o}>{0}}\ltimes 1$)-isotrivial and $(1\ltimes{J_{o,{+}}},\hat{\phi}_{o})$-isotypic. As suggested in [yu:supercuspidal-revisited], and seen by example in [debacker-spice:stability], the use of the “bare”, untwisted, Weil representation is not ideal. We describe in [spice:weil], and use here, a representation $\tilde{\phi}_{o}^{+}$ (a twist of $\tilde{\phi}_{o}$ by a character of $K^{\prime}_{o}\ltimes{J_{o}}$ that is trivial on $G^{\prime}_{{o}>{0}}\ltimes{J_{o}}$) that has better intertwining and character-theoretic properties, but still satisfies [yu:supercuspidal]§4, SC2.

Definition 5.3.2**.**

As in [yu:supercuspidal]*§4, p. 592, there is a unique representation $\rho$ of $K_{o}=K^{\prime}_{o}\cdot{J_{o}}$ on the tensor product of the spaces of $\rho^{\prime}$ and $\tilde{\phi}_{o}^{+}$ such that

[TABLE]

for all $k^{\prime}_{o}\in K^{\prime}_{o}$ and $j_{o}\in{J_{o}}$. Put ${\pi}=\operatorname{Ind}_{K_{o}}^{G}\rho$.

Yu’s analogue of $\rho$, which is denoted by $\rho_{d}$, is defined on a smaller subgroup than ours; but, if we were not using a different choice of representation $\tilde{\phi}_{o}$ satisfying SC2, then its induction to $K_{o}$ would be isomorphic to our representation $\rho$, hence would not change the isomorphism class of $\pi$. Although our $\pi$ is not the same as the one that the unmodified construction of [yu:supercuspidal] assigns to our quintuple (because of our use of $\tilde{\phi}_{o}^{+}$ instead of $\tilde{\phi}_{o}$), it does still arise from that unmodified construction via a different choice of quintuple. To obtain the parameterising datum for the unmodified construction, one absorbs into $\phi_{o}$ the twist by which $\tilde{\phi}_{o}^{+}$ differs from $\tilde{\phi}_{o}$.

Lemma 5.3.3**.**

We have that $\rho$ is $({J_{o,{+}}},\hat{\phi}_{o})$-isotypic.

Proof.

By Definition 5.3.2, for all $j_{+}\in{J_{o,{+}}}$, the operator $\rho(j_{+})$ may be written as $\rho^{\prime}(1)\otimes\tilde{\phi}_{o}^{+}(1\ltimes j_{+})$. The result thus follows from the fact that $\tilde{\phi}_{o}^{+}$ is $(1\ltimes{J_{o,{+}}},\hat{\phi}_{o})$-isotypic [yu:supercuspidal]*§4, SC2. ∎

We resume the notation for the rest of the paper a bit at a time. For now, in addition to the

• •

positive real number $r$,

• •

tame, twisted Levi subgroup ${\mathbf{G}}^{\prime}$, and

• •

element $Z^{*}_{o}\in\operatorname{Lie}^{*}(G^{\prime})$

that we have already, we let $x$ be a point of ${\mathcal{B}}(G)$ (eventually, the point in §3.2), and recall the

• •

element $X^{*}\in\operatorname{Lie}^{*}(G^{\prime})_{{x}\geq{-r}}$ and

• •

characters $\phi$ of $G^{\prime}_{{x}\geq{r}}$ and $\hat{\phi}$ of $(G^{\prime},G)_{{x}\geq{(r,{{s}+})}}$

from §5.1, of which we require that $X^{*}$ belongs to $Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}}$. We do not have explicitly to impose Hypothesis 4.1.5; it will hold automatically, by Remark 4.1.7, once we have recalled $\gamma$. We should regard $x$, $X^{*}$, and $\phi$ as fixed only provisionally, until Lemma 5.3.10; we need to allow it to vary in the proof of Theorem 5.3.11. Although we do impose Hypothesis 5.1.7 here, it will not need to be explicitly stated in our main result, Theorem 5.3.11, where it will automatically be satisfied.

In Notation 5.3.4, we mostly adapt Notation 5.3.1 and the following discussion from the point $o$ to the point $x$ (and then drop the subscript $x$); but note that the group $K^{\prime}$ may be smaller than the direct analogue $\operatorname{stab}_{G^{\prime}}({\overline{x}})$ of $K^{\prime}_{o}$.

Definition 5.3.4**.**

Put

[TABLE]

As in [yu:supercuspidal]Proposition 11.4 and Theorem 11.5, we may use a special isomorphism, in the sense of [yu:supercuspidal]§10, p. 601, to pull back a Weil representation to $K^{\prime}\ltimes{J}$. We then write $\tilde{\phi}^{+}$ for the twist of this pullback constructed in [spice:weil]. Recall that this twist is by a character that is trivial on $G^{\prime}_{{x}>{0}}\ltimes{J}$. To emphasise when we are considering only the action of $J$, which is unaffected by the twist, we denote $\operatorname{Res}^{K^{\prime}\ltimes{J}}_{J}\tilde{\phi}^{+}$ by $\tilde{\phi}$.

Lemma 5.3.5 is the first of three calculations that prepare us for one of the main results of this section, Theorem 5.3.8. It seems that the two statements in Lemma 5.3.5 should admit a common generalisation, rather than just having similar proofs, but we have not been able to find such a generalisation.

Lemma 5.3.5**.**

For all $g^{\prime}\in G^{\prime}$, we have that

[TABLE]

Proof.

Multiplying the second equality on the left by $g^{\prime\,{-1}}$ shows that it, too, is a statement about $\operatorname{Int}(g^{\prime})^{-1}K^{\prime}_{o}$. Replacing $o$ by $g^{\prime\,{-1}}\cdot o$, hence $K^{\prime}_{o}$ and $K_{o}$ by their conjugates under $g^{\prime\,{-1}}$, corresponds to replacing $(({\mathbf{G}}^{\prime},{\mathbf{G}}),o,(r\leq r_{d}),\rho^{\prime},(\phi,\chi))$ by $(({\mathbf{G}}^{\prime},{\mathbf{G}}),g^{\prime\,{-1}}\cdot o,(r\leq r_{d}),\rho^{\prime}\circ\operatorname{Int}(g),(\phi,\chi))$, which gives rise to the same representations $\pi^{\prime}$ and $\pi$; so we may, and do, assume upon making this replacement that $g^{\prime}$ equals $1$.

Note that $K^{\prime}_{o}$ normalises $J_{o}$, so that $(K^{\prime}_{o}\cap{J}^{\prime})({J_{o}}\cap{J})$ is a group.

By Lemma 3.1.1, we may, and do, pass to a tame extension, and so assume that ${\mathbf{G}}^{\prime}$ is a Levi subgroup of $\mathbf{G}$. Let ${\mathbf{U}}^{\pm}$ be the unipotent radicals of opposite parabolics with Levi component ${\mathbf{G}}^{\prime}$. Also by Lemma 3.1.1, we have that $K_{o}\cap{J}$ equals $(K_{o}\cap{J}\cap G^{\prime})(K_{o}\cap{J}\cap U^{+})(K_{o}\cap{J}\cap U^{-})$ and $K_{o}{J}$ equals $K^{\prime}_{o}(K_{o}\cap U^{+})K^{\prime}_{o}(K_{o}\cap U^{-})({J}\cap U^{-})({J}\cap U^{+}){J}^{\prime}$.

We have that $K_{o}\cap{J}\cap G^{\prime}$ equals $K^{\prime}_{o}\cap{J}^{\prime}$ and $K_{o}\cap U^{\pm}$ equals $U^{\pm}_{{o}\geq{s}}\subseteq(G^{\prime},G)_{{o}\geq{s}}={J_{o}}$, so the first equality follows.

If we write an element of its intersection with ${\mathbf{G}}^{\prime}$ as $g^{\prime}=k^{\prime}k^{+}k^{-}j^{-}j^{+}j^{\prime}$, then $k^{-}j^{-}$ belongs to $U^{-}\cap(k^{\prime}k^{+})^{-1}G^{\prime}(j^{+}j^{\prime})^{-1}\subseteq U^{-}\cap G^{\prime}U^{+}=\{1\}$. That is, $k^{-}j^{-}$ equals $1$. Then $k^{+}j^{+}=k^{+}k^{-}j^{-}j^{+}$ belongs to $U^{+}\cap k^{\prime\,{-1}}G^{\prime}j^{\prime\,{-1}}=U^{+}\cap G^{\prime}=\{1\}$, so that $k^{+}j^{+}$ also equals $1$, and hence $g^{\prime}$ equals $k^{\prime}j^{\prime}$, which belongs to $K^{\prime}_{o}{J}^{\prime}$. ∎

Recall that Definition 5.3.2 expresses the inducing representation $\rho$ for $\pi$ as a tensor product of the inducing representation $\rho^{\prime}$ for $\pi^{\prime}$ with a Weil representation. We show in Lemma 5.3.6 that its ($\tilde{\phi}\chi$)-isotypic subspace admits a similar tensor-product decomposition.

Lemma 5.3.6**.**

The canonical isomorphism

[TABLE]

(all Hom spaces being in the category of vector spaces) sending $v^{\prime}\otimes\varphi$ to the map $w\mapsto v^{\prime}(1)\otimes\varphi(w)$ restricts to an isomorphism

[TABLE]

Proof.

Since $\operatorname{Hom}_{{J}\cap K_{o}}(\tilde{\phi}\chi,\rho)$ equals $\operatorname{Hom}_{{J}\cap K_{o}}(\tilde{\phi},\rho\chi^{-1})$, we may, and do, assume for notational convenience that $\chi$ is trivial. Since we will do the same thing repeatedly in later results, we emphasise that it does not change any essential idea of the proof, only keeps us from having to carry around a cumbersome factor of $\chi$ everywhere.

Since ${J}\cap K_{o}$ equals $({J}^{\prime}\cap K^{\prime}_{o})({J}\cap{J_{o}})$ by Lemma 5.3.5, certainly the indicated restriction has image in $\operatorname{Hom}_{{J}\cap K_{o}}(\tilde{\phi},\rho)$.

By Definition 5.3.2, we have that $\operatorname{Res}^{K}_{{J_{o}}}\rho$ equals (not just is isomorphic to) $\rho^{\prime}\otimes_{\mathbb{C}}\tilde{\phi}_{o}$, where the space of $\rho^{\prime}$ carries the trivial action of ${J_{o}}$; so the (${J}\cap{J_{o}}$)-isotrivial component of $\operatorname{Hom}_{\mathbb{C}}(\tilde{\phi},\rho)$ is identified via the above isomorphism with

[TABLE]

By [spice:weil], we have that $\operatorname{Hom}_{{J}\cap{J_{o}}}(\tilde{\phi},\tilde{\phi}_{o})$ equals $\operatorname{Hom}_{(K^{\prime}\cap K^{\prime}_{o})\ltimes({J}\cap{J_{o}})}(\tilde{\phi}^{+},\tilde{\phi}_{o}^{+})$, in particular is stable under ${J}^{\prime}\cap K^{\prime}_{o}$, and is $({J}^{\prime}\cap K^{\prime}_{o},\phi^{\vee})$-isotypic; so that the (${J}^{\prime}\cap K^{\prime}_{o}$)-isotrivial component of ($*$ ‣ 5.3) is $\operatorname{Hom}_{{J}^{\prime}\cap K^{\prime}_{o}}(\phi,\rho^{\prime})\otimes_{\mathbb{C}}\operatorname{Hom}_{{J}\cap{J_{o}}}(\tilde{\phi},\tilde{\phi}_{o})$. This shows that $\operatorname{Hom}_{{J}\cap K_{o}}(\tilde{\phi},\rho)$ is no larger than desired. Since we have already shown the reverse containment, we are done. ∎

We use Lemma 5.3.7 to cut down the summands appearing in a Mackey-type formula in the proof of Theorem 5.3.8.

Lemma 5.3.7**.**

If $g\in G$ is such that $\operatorname{Hom}_{{J}\cap\operatorname{Int}(g)^{-1}K_{o}}(\tilde{\phi}\chi,\rho^{g})$ is non-[math], then $g$ belongs to $K_{o}G^{\prime}{J}$.

Proof.

As in the proof of Lemma 5.3.6, we may, and do, assume that $\chi$ is trivial.

We have that $\rho$ is $({J_{o,{+}}},\hat{\phi}_{o})$-isotypic (Lemma 5.3.3), and $\tilde{\phi}$ is $({J_{+}},\hat{\phi})$-isotypic. In particular, if the indicated Hom space is non-[math], then $({J_{+}},\hat{\phi})$ and $(\operatorname{Int}(g)^{-1}{J_{o,{+}}},\hat{\phi}_{o}^{g})$ agree on the intersection of their domains. By Hypothesis 4.4.6, we have that $X^{*}+\operatorname{Lie}^{*}(G^{\prime},G)_{{x}\geq{({{({-r})}+},-s)}}$ intersects $\operatorname{Ad}^{*}(g)^{-1}(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime},G)_{{o}\geq{({{({-r})}+},-s)}})$. Recall that $X^{*}+\operatorname{Lie}^{*}(G^{\prime})_{{x}>{-r}}$ is contained in $Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{r}}$ by Remark 4.1.7. By the dual-Lie-algebra analogue of [adler-spice:good-expansions]*Lemma LABEL:adler-spice:good-expansions:lem:good-comm, we may, and do, assume, upon adjusting $g$ on the right by an element of $G_{{x}\geq{s}}$ and on the left by an element of $G_{{o}\geq{s}}$, which does not affect the conclusion (because $G_{{o}\geq{s}}$ is contained in $K_{o}$, and $G_{{x}\geq{s}}$ is contained in $G^{\prime}{J}$), that $X^{*}+\operatorname{Lie}^{*}(G^{\prime})_{{x}>{-r}}\subseteq Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}}$ intersects $\operatorname{Ad}^{*}(g)^{-1}(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}})$. Then Hypothesis 4.1.1(3) gives that $g^{\prime}$ belongs to $G^{\prime}$, as desired. ∎

We regard Theorem 5.3.8 as a hint about the existence of the Hecke-algebra isomorphisms predicted in [yu:supercuspidal]*Conjecture 17.7. Although it deals only with modules $\operatorname{Hom}_{{J}^{\prime}}(\phi,\pi^{\prime})$ and $\operatorname{Hom}_{J}(\tilde{\phi}\chi,\pi)$ for the compactly supported parts ${\mathcal{H}}(K^{\prime}/{J}^{\prime},\phi)$ and ${\mathcal{H}}(K/{J},\tilde{\phi}\chi)$ of the Hecke algebras (for which an isomorphism is already known when $x$ equals $o$ [yu:supercuspidal]*Lemma 17.10), we find it suggestive, and hope that it will be useful as a starting point for future investigations.

Theorem 5.3.8**.**

There is a (non-canonical) isomorphism of vector spaces

[TABLE]

so that the resulting map

[TABLE]

is a $K$-homomorphism.

Proof.

Again, as in the proof of Lemma 5.3.6, we may, and do, assume that $\chi$ is trivial.

We have by Mackey theory that $\operatorname{Res}^{G}_{J}\pi=\operatorname{Res}^{G}_{J}\operatorname{Ind}_{K_{o}}^{G}\rho$ is canonically isomorphic to $\bigoplus_{g\in K_{o}\backslash G/{J}}\operatorname{Ind}_{{J}\cap\operatorname{Int}(g)^{-1}K_{o}}^{J}\rho^{g}$. Since the space of $\tilde{\phi}$ is finite-dimensional, the natural map

[TABLE]

is an isomorphism. We make a note here that will crop up repeatedly in this proof. Although the isomorphism classes of the summands on the left do not depend on the specific choice of representative $g$ for a $(K_{o},{J})$-double coset, the actual sets do. Specifically, for $g_{1},g_{2}\in G$ with $g_{2}=k_{o}g_{1}j$, where $k_{o}\in K_{o}$ and $j\in{J}$, we have a canonical isomorphism

[TABLE]

that sends a function $f$ in the former space to the function $g\mapsto\rho(k_{o})f(gj)$. This map depends only on $g_{1}$ and $g_{2}$, not on $k_{o}$ and $j$. We use it freely to change representative in a double coset without explicit mention. (Strictly speaking, what we are doing is viewing the summands not as individual spaces, but as limits of spaces with respect to the system of maps as above corresponding to various $j$ and $k_{o}$.)

For $g\in G$, Frobenius reciprocity gives a canonical isomorphism of $\operatorname{Hom}_{J}(\tilde{\phi},\operatorname{Ind}_{{J}\cap\operatorname{Int}(g)^{-1}K_{o}}^{J}\rho^{g})$ with $\operatorname{Hom}_{{J}\cap\operatorname{Int}(g)^{-1}K_{o}}(\tilde{\phi},\rho^{g})$. By Lemma 5.3.7, we have for $g\in G$ that $\operatorname{Hom}_{{J}\cap\operatorname{Int}(g)^{-1}K_{o}}(\tilde{\phi},\rho^{g})$ is [math] unless $g$ belongs to $K_{o}G^{\prime}{J}$. For $g^{\prime}\in G^{\prime}$, we have from Lemma 5.3.6 a canonical isomorphism

[TABLE]

Finally, by Lemma 5.3.5, we have that the natural map $K^{\prime}_{o}\backslash G^{\prime}/{{J}^{\prime}}\to K_{o}\backslash G/{J}$ is an injection, so that we have constructed a canonical isomorphism

[TABLE]

We make this explicit, and convert it into the desired isomorphism, after a few remarks. First, write $V^{\prime}$ for the space of $\rho^{\prime}$, and $W$ and $W_{o}$ for the spaces of $\tilde{\phi}$ and $\tilde{\phi}_{o}^{+}$, respectively, so that the space of $\rho$ is $V^{\prime}\otimes W_{o}$. Second, note that there is a canonical identification, for each $g^{\prime}\in G^{\prime}$, of $\operatorname{Hom}_{{J}^{\prime}\cap\operatorname{Int}(g^{\prime})K^{\prime}_{o}}(\phi,\rho^{\prime\,g^{\prime}})$ with the $({J}^{\prime}\cap\operatorname{Int}(g^{\prime})K^{\prime}_{o},\phi)$-isotypic subspace of $\rho^{\prime\,g^{\prime}}$ (a subspace of $V^{\prime}$); we make this identification without further comment. Finally, note again that the summands, as isomorphism classes, are determined by the double coset $K^{\prime}_{o}g^{\prime}{J}^{\prime}$, but, as sets, depend on the choice of representative $g^{\prime}$. Namely, if $g^{\prime}_{1},g^{\prime}_{2}\in G^{\prime}$ with $g^{\prime}_{2}=k^{\prime}_{o}g^{\prime}_{1}j^{\prime}$, where $k^{\prime}_{o}\in K^{\prime}_{o}$ and $j^{\prime}\in{J}^{\prime}$, then we have a canonical isomorphism

[TABLE]

given by $v^{\prime}\mapsto\rho^{\prime}(k^{\prime}_{o})\phi(j^{\prime})v^{\prime}$, and another canonical isomorphism

[TABLE]

given by $\varphi\mapsto\tilde{\phi}_{o}^{+}(k^{\prime}_{o})\circ\varphi\circ\tilde{\phi}(j^{\prime})$. Each of these maps depends only on $g^{\prime}_{1}$ and $g^{\prime}_{2}$, not on $k^{\prime}_{o}$ or $j^{\prime}$.

Further, each space $\operatorname{Hom}_{{J}\cap\operatorname{Int}(g^{\prime})^{-1}{J_{o}}}(\tilde{\phi},\tilde{\phi}_{o}^{{+}\,{g^{\prime}\ltimes 1}})$ is non-[math] (in fact $1$-dimensional), and equals $\operatorname{Hom}_{K^{\prime}\cap\operatorname{Int}(g^{\prime})^{-1}K^{\prime}_{o}\ltimes{J}\cap\operatorname{Int}(g^{\prime})^{-1}{J_{o}}}(\tilde{\phi}^{+},\tilde{\phi}_{o}^{{+}\,{g^{\prime}\ltimes 1}})$ [spice:weil]. Choose a set ${\mathcal{S}}^{\prime}$ of representatives for $K^{\prime}_{o}\backslash G^{\prime}/K^{\prime}$ (not just $K^{\prime}_{o}\backslash G^{\prime}/{{J}^{\prime}}$) in $G^{\prime}$, and arbitrarily choose, for each $g^{\prime}\in{\mathcal{S}}^{\prime}$, a non-[math] element $\varphi_{g^{\prime}}$ of the corresponding Hom space. (It would be pleasant to describe a canonical choice here, but we have not been able to make one.) For $g^{\prime}\in{\mathcal{S}}^{\prime}$, $k^{\prime}_{o}\in K^{\prime}_{o}$, and $k^{\prime}\in K^{\prime}$, the composition $\tilde{\phi}_{o}^{+}(k^{\prime}_{o}\ltimes 1)\circ\varphi_{g^{\prime}}\circ\tilde{\phi}^{+}(k^{\prime}\ltimes 1)$ depends only on the product $k^{\prime}_{o}g^{\prime}k^{\prime}$; so we may, and do, unambiguously put $\varphi_{k^{\prime}_{o}g^{\prime}k^{\prime}}=\tilde{\phi}_{o}^{+}(k^{\prime}_{o})\circ\varphi_{g^{\prime}}\circ\tilde{\phi}^{+}(k^{\prime})$. We have now defined $\varphi_{g^{\prime}}$ for all $g^{\prime}\in G^{\prime}$.

Now notice that we have an isomorphism (canonical subject to the choice of $\varphi_{g^{\prime}}$ above) given by

[TABLE]

sending $\bigoplus v^{\prime}_{g^{\prime}}$ to $\bigoplus v^{\prime}_{g^{\prime}}\otimes\varphi_{g^{\prime}}$. We have already seen that the right-hand side is canonically isomorphic to $\operatorname{Hom}_{J}(\tilde{\phi},\pi)$. A similar but easier calculation shows that the left-hand side is canonically isomorphic to $\operatorname{Hom}_{{J}^{\prime}}(\phi,\pi^{\prime})$, identified, as usual, with the $({J}^{\prime},\phi)$-isotypic subspace of $\pi^{\prime}$. The resulting isomorphism (canonical subject to the choice of $\varphi_{g^{\prime}}$)

[TABLE]

which we call $T$, takes a particularly pleasant form. Namely, if $f^{\prime}$ is a $({J}^{\prime},\phi)$-isotypic vector in the target, which is to say a certain function $G^{\prime}\to V^{\prime}$, then the image of $f^{\prime}$ is the function that sends $w\in W$ to the function $f\mathrel{:}{G\to V=V^{\prime}\otimes_{\mathbb{C}}W}$ that vanishes off $K_{o}G^{\prime}{J}$, and, for $g^{\prime}\in G^{\prime}$, $k_{o}\in K_{o}$, and $j\in{J}$, satisfies

[TABLE]

The map that we want to be a $K$-homomorphism is, by definition, at least a $J$-homomorphism, so it suffices to consider the action of $K^{\prime}$. Fix $\gamma\in K^{\prime}$. Notice that $\gamma$ normalises ${J}$, and that, by construction, $\varphi_{g^{\prime}\gamma}$ equals $\varphi_{g^{\prime}}\circ\tilde{\phi}(\gamma)$; so $(\pi(\gamma)f)(k_{o}g^{\prime}j)=f(k_{o}g^{\prime}j\gamma)$ equals

[TABLE]

Since $K^{\prime}$ normalises $({J}^{\prime},\phi)$ by Notation 5.3.4, we have that $\pi^{\prime}(\gamma)f^{\prime}$ is still a $({J}^{\prime},\phi)$-isotypic vector. In other words,

[TABLE]

Corollary 5.3.9, which follows almost immediately from Theorem 5.3.8, allows us to use Theorem 5.2.8 (or, rather, its reformulation Lemma 5.3.10) in Theorem 5.3.11.

Corollary 5.3.9**.**

For $\gamma\in K^{\prime}$, we have that

[TABLE]

Proof.

Once more, as in the proof of Lemma 5.3.6, we may, and do, assume that $\chi$ is trivial.

By Lemma 3.2.7(3), we have that $J$ normalises $({J_{+}},\hat{\phi})$, hence also the $({J_{+}},\hat{\phi})$-isotypic component of $\pi$; and that (by the Stone–von Neumann theorem) $({J},\tilde{\phi})$ is the unique irreducible representation of $J$ containing $({J_{+}},\hat{\phi})$. It follows that the $({J_{+}},\hat{\phi})$- and $({J},\tilde{\phi})$-isotypic components of $\pi$ are the same, so that $\pi([{J_{+}},\hat{\phi}^{\vee}])$ is the projection onto the latter. Thus, the desired result is a consequence of Theorem 5.3.8 and the fact [spice:weil] that

[TABLE]

Now, in addition to the

• •

positive real number $r$,

• •

tame, twisted Levi subgroup ${\mathbf{G}}^{\prime}$,

• •

element $Z^{*}_{o}\in\operatorname{Lie}^{*}(G^{\prime})$,

• •

point $x\in{\mathcal{B}}(G)$,

• •

element $X^{*}\in\operatorname{Lie}^{*}(G^{\prime})$, and

• •

characters $(G^{\prime}_{{x}\geq{r}},\phi)$ and $((G^{\prime},G)_{{x}\geq{(r,{{s}+})}},\hat{\phi})$

that we have already (although we regard $x$, $X^{*}$, and $\phi$ as fixed only provisionally), we recall the

• •

element $\gamma\in G$, with associated group ${\mathbf{H}}=\operatorname{C}_{{\mathbf{G}}}^{({}<{r})}(\gamma)$,

of which we require that $x$ belongs to ${\mathcal{B}}(H)$ and $X^{*}$ to $\operatorname{Lie}^{*}(H)$, satisfying Hypotheses 3.2.2, 3.2.8, and now 4.4.2. We have by Hypothesis 4.4.2 and Lemma 4.1.4 (and the fact that $X^{*}$ belongs to $\operatorname{Lie}^{*}(H)\cap(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}})$) that $\gamma$ belongs to $G^{\prime}$; and by Remark 4.1.7 that Hypothesis 4.1.5 is satisfied. We use primes to denote the analogues in ${\mathbf{G}}^{\prime}$ of constructions in $\mathbf{G}$; so, for example, ${\mathbf{H}}^{\prime}$ stands for $\operatorname{C}_{{\mathbf{G}}^{\prime}}^{({}<{r})}(\gamma)$ (subject to the proviso in Remark 3.2.3, that we may refer directly only to the identity component of ${\mathbf{H}}^{\prime}$).

We prepare for our main result, Theorem 5.3.11, with Lemma 5.3.10. This slightly reformulates Theorem 5.2.8, taking advantage of Hypothesis 4.4.2 to speak of ${\mathfrak{G}}({\mathcal{O}}^{\prime},\gamma)$ rather than ${\mathfrak{G}}(X^{*},\gamma)$ (Notation 5.1.2). Note that the hypothesised relationship between $T$ and $T^{\prime}$ in Lemma 5.3.10 is exactly the same as in Theorem 5.2.8, although the asymptotic expansions of $T$ and $T^{\prime}$ individually are different.

Lemma 5.3.10**.**

Suppose that

• •

$T^{\prime}$* is an invariant distribution on $G^{\prime}$,*

• •

$c(T^{\prime},\gamma)$* is a finitely supported, ${\mathcal{O}}^{H^{\prime\,\circ}}(\operatorname{Ad}^{*}(G^{\prime})(Z^{*}_{o}+\operatorname{Lie}^{*}(H^{\prime})_{{}>{-r}}))$-indexed vector of complex numbers such that $\lvert\operatorname{D}_{G^{\prime}/H^{\prime}}(\gamma)\rvert^{1/2}T^{\prime}(\gamma[G^{\prime}_{{x}\geq{r}},\phi^{\vee}])$ equals*

[TABLE]

and

• •

$T$* is an invariant distribution on $G$ such that*

[TABLE]

Then $\lvert\operatorname{D}_{G/H}(\gamma)\rvert^{1/2}T(\gamma[G_{{x}\geq{r}},\hat{\phi}^{\vee}])$ equals

[TABLE]

Proof.

By Theorem 5.2.8, it suffices to show that

[TABLE]

for all orbits ${\mathcal{O}}^{\prime}$ that intersect $\operatorname{Ad}^{*}(G^{\prime})(Z^{*}_{o}+\operatorname{Lie}^{*}(H^{\prime})_{{}>{-r}})$, and for which \hat{\mu}^{H}_{{\mathcal{O}}^{\prime}}\bigl{(}[{\mathfrak{h}}_{{x}\geq{r}},{\Lambda}_{X^{*}}^{\vee}]\bigr{)} is non-[math]. Since the non-vanishing of the Fourier transform implies that $\operatorname{Ad}^{*}(H){\mathcal{O}}^{\prime}$ intersects $X^{*}+\operatorname{Lie}^{*}(H)_{{x}>{-r}}$, we have by Lemma 4.1.8 that such an orbit ${\mathcal{O}}^{\prime}$ in fact intersects $X^{*}+\operatorname{Lie}^{*}(H^{\prime})_{{x}>{-r}}$. It now follows from Corollary 5.1.5 that

[TABLE]

as desired. ∎

Theorem 5.3.11 is our main result. It reduces the computation of the character of $\pi$ to that of $\pi^{\prime}$, so iterating it allows us, at least in principle, to reduce the computation of characters of positive-depth, tame supercuspidals to that of characters of depth-[math] supercuspidals (for tame, twisted Levi subgroups).

So far throughout the section, we have worked with a fixed point $x\in{\mathcal{B}}(G)$, element $X^{*}\in\operatorname{Lie}^{*}(G)$, and character $\hat{\phi}$ of $((G^{\prime},G)_{{x}\geq{(r,{{s}+})}}$, satisfying Hypothesis 5.1.7. For the proof of Theorem 4.4.11, we must forget our binding, and regard $x$, $X^{*}$, and $\phi$ as free variables. Since it is needed to relate an invariant distribution on the group (a character) to one on the Lie algebra (a Fourier transform of an orbital integral), we now also recall the mock-exponential map ${\mathsf{e}}$ of §4.3.

As we did for Theorem 4.4.11, we re-capitulate all the hypotheses that are currently in force. We are imposing

• •

Hypotheses 3.2.2, 3.2.8 (for all points $x\in{\mathcal{B}}(H)$), and 4.4.2 (on $\gamma$), and

• •

Hypotheses 4.3.1 and 5.1.6 (on ${\mathsf{e}}$ and ${\overline{{\mathsf{e}}}}_{{x}={\vec{\jmath}}}$).

Also note that we have three exponential-type maps floating around, namely, the actual exponential map of Hypothesis 4.3.1; the Moy–Prasad isomorphisms of Hypothesis 5.1.6; and the map implicitly used Yu in [yu:supercuspidal]*§9 when attaching the element $Z^{*}_{o}$ to the character $\phi_{o}$. We require that these be compatible, in the sense that the diagram

[TABLE]

commutes for all $x\in{\mathcal{B}}(H)$. We do not need to impose Hypothesis 4.1.1 (on $Z^{*}_{o}$) or 4.4.6 (on $(G_{{o}\geq{r}},\hat{\phi}_{o})$), since they follow from the conditions that Yu imposes.

As stated, Theorem 5.3.11 is contingent on Theorem 4.4.11 and Lemma 4.4.14. Recall that these theorems carry lengthy lists of hypotheses; rather than citing them, and so incurring the weight of those hypotheses, we prefer to emphasise that they may be treated as black boxes. As long as the necessary asymptotic expansions (with some, unspecified, coefficients) exist, and can be detected by sampling the distribution character with unrefined, minimal K-types, we are fine. For example, we do not need to re-impose Hypothesis 4.3.4; it was used only to prove Theorem 4.4.11.

Since we are assuming Theorem 4.4.11 anyway, it may seem that the hypothesis regarding the existence of the various vectors $c(\pi^{\prime\,g},\gamma)$ is redundant. The point is that we are requiring that the support of $c(\pi^{\prime\,g},\gamma)$ be contained in ${\mathcal{O}}^{(H\cap\operatorname{Int}(g)^{-1}G^{\prime})^{\circ}}(\operatorname{Ad}^{*}(G^{\prime}g)^{-1}X^{*}_{o})$, which may be a proper subset of ${\mathcal{O}}^{(H\cap\operatorname{Int}(g)^{-1}G^{\prime})^{\circ}}(\operatorname{Ad}^{*}(g)^{-1}Z^{*}_{o})$. That is, Theorem 5.3.11 supposes that only certain of those orbits allowed by Theorem 4.4.11 actually occur in the asymptotic expansions of the various $\pi^{\prime\,g}$, and concludes an analogous statement for $\pi$ (as well as actually computing the coefficients).

Theorem 5.3.11**.**

Suppose that Theorem 4.4.11 and Lemma 4.4.14 are satisfied, and that $\gamma$ is compact.

Suppose also that $X^{*}_{o}$ is an element of $Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}}$ such that, for every $g\in G^{\prime}\backslash G/H^{\circ}$ for which $\operatorname{Ad}^{*}(G^{\prime}g)^{-1}X^{*}_{o}$ intersects $\operatorname{Lie}^{*}(H)$, there is an ${\mathcal{O}}^{(H\cap\operatorname{Int}(g)^{-1}G^{\prime})^{\circ}}(\operatorname{Ad}^{*}(G^{\prime}g)^{-1}X^{*}_{o})$-indexed vector $c(\pi^{\prime\,g},\gamma)$ for which we have that

[TABLE]

for all $Y\in\operatorname{Lie}(H)^{\text{rss}}\cap\operatorname{Lie}(H)_{{}\geq{r}}$.

Note that ${\mathsf{e}}(Y^{\prime})$ belongs to $(H\cap\operatorname{Int}(g)^{-1}G^{\prime})_{{}\geq{r}}$ whenever $Y^{\prime}$ belongs to $\operatorname{Lie}(H\cap\operatorname{Int}(g)^{-1}G^{\prime})_{{}\geq{r}}$, for $g\in G$ such that $\operatorname{Ad}^{*}(G^{\prime}g^{-1})X^{*}_{o}$ intersects $\operatorname{Lie}^{*}(H)$, by Hypothesis 4.3.1(1)(a). Thus the notation $\Phi_{\pi^{\prime\,g}}(\gamma\cdot{\mathsf{e}}(Y^{\prime}))$ makes sense.

Proof.

As in Lemma 5.3.6, we may, and do, assume that $\chi$ is trivial.

By Theorem 4.4.11, there is some asymptotic expansion for $\pi$ in terms of ${\mathcal{O}}^{H^{\circ}}(\operatorname{Ad}^{*}(G)Z^{*}_{o})$. By Remark 4.4.12 and Lemma 4.4.14, to check that the proposed expansion in the statement is correct, it suffices to show that, whenever $g_{0}\in G$ is such that $\operatorname{Ad}^{*}(g_{0})^{-1}Z^{*}_{o}$ belongs to $\operatorname{Lie}^{*}(H)$, we have for all $x\in{\mathcal{B}}(H\cap\operatorname{Int}(g_{0})^{-1}G^{\prime})$ and $X^{*}\in\operatorname{Lie}^{*}(H)_{{x}\geq{-r}}\cap\operatorname{Ad}^{*}(g_{0})^{-1}(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}})$ that

[TABLE]

equals

[TABLE]

which, by Lemma 4.4.8, equals

[TABLE]

where $\hat{\phi}$ is the character of $G_{{x}\geq{r}}$ with dual blob $X^{*}+\operatorname{Lie}^{*}(G)_{{x}>{-r}}$.

We assume for notational convenience that $g_{0}$ is the identity. In particular, by Lemma 4.1.4 and Hypothesis 4.4.2, if there is anything to test, which is to say if $\operatorname{Lie}^{*}(H)\cap(Z^{*}_{o}+\operatorname{Lie}^{*}(G^{\prime})_{{}>{-r}})$ is non-empty, then $\gamma$ belongs to $G^{\prime}$ and $Z^{*}_{o}$ belongs to $\operatorname{Lie}^{*}(H^{\prime})$.

If $\gamma$ is not compact modulo $\operatorname{Z}(G)$, then, because $\operatorname{Z}(G^{\prime})/\operatorname{Z}(G)$ is compact [yu:supercuspidal]*§3, p. 590, D1, it is also not compact modulo $\operatorname{Z}(G^{\prime})$, so the matching condition becomes the equality $0=0$ by [deligne:support]*p. 156, Théorème 2 and [casselman:jacquet]*Theorem 5.2.

If $\gamma$ is compact modulo $\operatorname{Z}(G)$, then, since it stabilises the image of $\overline{x}$ in the reduced building of $\mathbf{H}$, we must have that $\gamma$ fixes $\overline{x}$. Since $\gamma$ stabilises $X^{*}\in\operatorname{Lie}^{*}(H)$, hence $X^{*}+\operatorname{Lie}^{*}(M^{\prime})_{{x}>{-r}}=X^{*}+\operatorname{Lie}^{*}(G^{\prime})_{{x}>{-r}}$ (by Lemma 3.2.11(1), say) we have by Hypothesis 5.1.6(2) that it also stabilises $(G^{\prime}_{{x}\geq{r}},\phi)$, where $\phi$ is the character of $G^{\prime}_{{x}\geq{r}}$ with dual blob $X^{*}+\operatorname{Lie}^{*}(G^{\prime})_{{x}>{-r}}$, hence belongs to $K^{\prime}$. Thus, the matching condition for $T=\Theta_{\pi}$ and $T^{\prime}=\Theta_{\pi^{\prime}}$ in Lemma 5.3.10 is satisfied.

By Remark 4.4.12, (the other direction of) Lemma 4.4.14, and Lemma 4.4.8, we have the desired equality “with primes”; that is to say, we know that

[TABLE]

equals

[TABLE]

where $\phi$ is the character of $G^{\prime}_{{x}\geq{r}}$ with dual blob $X^{*}+\operatorname{Lie}^{*}(G^{\prime})_{{x}>{-r}}$.

Now, according to Waldspurger’s canonical Haar measures, we have that $H_{{x}>{0}}$ and $\operatorname{Lie}(H)_{{x}>{0}}$ both have the same measure; and, by Lemma 3.2.12, the indices $[H_{{x}>{0}}\mathbin{:}(H^{\prime},H)_{{x}\geq{({{0}+},r)}}]$ and $[\operatorname{Lie}(H)_{{x}>{0}}\mathbin{:}\operatorname{Lie}(H^{\prime},H)_{{x}\geq{({{0}+},r)}}]$ are the same; so $\dfrac{\operatorname{meas}(H_{{x}\geq{r}})}{\operatorname{meas}(\operatorname{Lie}(H)_{{x}\geq{r}})}$ equals $\dfrac{\operatorname{meas}(H^{\prime}_{{x}\geq{r}})}{\operatorname{meas}(\operatorname{Lie}(H^{\prime})_{{x}\geq{r}})}$. By Hypothesis 4.1.1(2), we have that $\dfrac{\lvert\operatorname{D}^{\text{red}}_{H}(Z^{*}_{o})\rvert}{\lvert\operatorname{D}^{\text{red}}_{H^{\prime}}(Z^{*}_{o})\rvert}$ equals $q_{H/H^{\prime}}^{r}$. The desired equality thus follows from Lemma 5.3.10. ∎

Index

• $“BB (G)$ §2.3
• $“CC –“bG ’˝i(“gamma )$ Remark 3.2.3
• $“CC “bG i(“gamma “pinv )$ Hypothesis 3.2.2
• $“CC “bG i(“gamma )$ Hypothesis 3.2.2
• $“chrc –K, f˝$ §2.1
• $“chrc K$ §2.1
• $“Der “bG$ §2.2
• $“Der “vbG$ §2.2
• $“Der G$ §2.2
• $“Disc ˙–G/H˝$ §2.2
• $“ff$ §2.3
• $“gamma$ §3.2, 2nd item, 2nd item, 2nd item
• $“Gauss ˙G(“OO ’, “gamma )$ Definition 5.1.2
• $“Gauss ˙G(X^*, “gamma )$ Definition 5.1.2
• $“Hecke ((K˙1, “rho ˙1)“bslash X/(K˙2, “rho ˙2))$ §2.1
• $“Hecke (K˙1“bslash X/K˙2)$ §2.1
• $“Hecke (X“sslash K˙1, “rho ˙1)$ §2.1
• $“Hecke (X)$ §2.1
• $“Jgp ’$ Definition 5.3.4
• $“Jgp$ Definition 5.3.4
• $“Jpgp$ Definition 5.3.4
• $“Lie (“bG )$ 2nd item
• $“Lie (“CC “bG i(“gamma ))^“perp$ §3.2
• $“Lie (“vbG )$ §2.2
• $“Lie ^*(“CC “bG i(“gamma ))^“perp$ §3.2
• $“Lie ^*(“vbG )$ §2.2
• $“mu ^G˙“OO$ Definition 2.3.1
• $“muhat ^G˙“OO$ Definition 2.3.1
• $“Ohat ^G˙“OO$ Definition 2.3.1
• $“OO ^G(“mc S)$ §2.3
• $“ord$ §2.3
• $“Phi ˙“pi$ Definition 2.3.1
• $“phi ˙o$ §4.4
• $“phi$ §5.1
• $“pi ’$ §5.3
• $“pi$ Definition 5.3.2
• $“rho ^“gamma$ §2.1
• $“rho ^“vee$ §2.1
• $“Theta ˙“pi$ Definition 2.3.1
• $b˙–X^*, “gamma ˝$ Definition 5.1.2
• $f“supc$ Definition 3.2.4
• $f“supd$ Definition 3.2.4
• $f“supn$ Definition 3.2.4
• $f^-$ Definition 3.2.4
• $f^+$ Definition 3.2.4
• $f˙1 “cvee f˙2$ Definition 3.2.6
• $f˙1 “cvev f˙2$ Definition 3.2.6
• $f˙1 “cvvv f˙2$ §3.2, Definition 3.2.6
• $K’˙o$ Definition 5.3.1
• $K’$ Definition 5.3.4
• $K˙o$ Definition 5.3.1
• $K$ Definition 5.3.4
• $o$ §4.4
• $q˙–X^*, “gamma ˝$ Definition 5.1.2
• $r$ §3.2, 1st item, 1st item, 1st item
• $s$ §3.2
• $X^*$ §5.1
• $x$ §3.2, 3rd item
• $Z^*˙o$ §4.1, §5.3
• $“mf B˙“gamma$ Definition 4.2.1
• $“sbtl –“Der (H “cap “vG , “vG )˝x–(“Rp –“vec a˝, “vec a) + r˝$ Lemma 4.2.5
• $“redD ˙G$ §2.2
• $“mexp$ Hypothesis 4.3.1, Hypothesis 5.1.6
• $“check f^*$ §2.3
• $“hat f$ §2.3
• $“bG$ §2.3, Hypothesis 4.1.1
• $“pmb “fg$ 2nd item
• $“bG “conn$ 1st item
• $“bG “rss$ §2.2
• $“sbtl “vG x–“vec a˝$ Definition 3.2.1
• $“sbtl G x f$ §2.3, Definition 3.2.4
• $“sbat G x r$ §2.3
• $“bH$ §3.2, 2nd item, §4.1, §5.1
• $“sbtl –(H “cap “vG , “vG )˝x–(“Rp –“vec a˝, “vec a) + r˝$ Lemma 4.2.5
• $“displaystyle “uint ˙K f(x)“upd x$ §2.1
• $“oJgp o$ Definition 5.3.1
• $“oJpgp o$ Definition 5.3.1
• $“ojJgp o’$ Definition 5.3.1
• $“field$ §2.3
• $“sepfield$ §2.3
• $“tamefield$ §2.3
• $“AddChar$ §2.3
• $“sbtl –“Lie (“vG )˝x–“vec a˝$ Definition 3.2.1, Definition 3.2.4, Definition 3.2.4
• $“mlog$ Hypothesis 4.3.1
• $“bM$ §3.2
• $“bN ^“pm$ §3.2
• $“bP ^“pm$ §3.2
• $“hat “phi$ §5.1
• $“hat “phi ˙o$ Definition 5.3.1
• $“tilde “phi ˙o^+$ §5.3, Definition 5.3.4
• $“mf Q˙“gamma$ Definition 4.2.1
• $“tR$ §2.3
• $“widecheck “Theta ˙–“pi , “gamma ˝$ Definition 4.4.7
• $“ox$ §2.3