Truncated affine Springer fibers and Arthur's weighted orbital integrals

TL;DR

This paper presents an algorithm to compute Arthur's weighted orbital integrals by counting rational points on truncated affine Springer fibers using two reduction methods, enabling explicit calculations for certain groups.

Contribution

It introduces a novel approach combining Arthur-Kottwitz and Harder-Narasimhan reductions to relate rational point counts to weighted orbital integrals, with explicit examples for GL2 and GL3.

Findings

Derived recurrence relations between rational points and orbital integrals.

Successfully computed orbital integrals for GL2 and GL3.

Established a new method for calculating orbital integrals via point counting.

Abstract

We explain an algorithm to calculate Arthur's weighted orbital integral in terms of the number of rational points on the fundamental domain of the associated affine Springer fiber. The strategy is to count the number of rational points of the truncated affine Springer fibers in two ways: by the Arthur-Kottwitz reduction and by the Harder-Narasimhan reduction. A comparison of results obtained from these two approaches gives us recurrence relations between the number of rational points on the fundamental domains of the affine Springer fibers and Arthur's weighted orbital integrals. As an example, we calculate Arthur's weighted orbital integrals for the group $\mathrm{GL}_{2}$ and $\mathrm{GL}_{3}$.

Equations

$$J_{M}(\gamma)=J_{M}(\gamma,\,\mathbbm{1}_{\mathfrak{g}(\mathcal{O})})=\int_{T(F)\backslash G(F)}\mathbbm{1}_{\mathfrak{g}(\mathcal{O})}\big{(}\mathrm{Ad}(g)^{-1}\gamma\big{)}\mathrm{v}_{M}(g)\frac{dg}{dt},$$

$$\mathrm{val}({\alpha }_1(\gamma ))=\mathrm{val}(({\alpha }_1+{\alpha }_2)(\gamma ))\le \mathrm{val}({\alpha }_2(\gamma )).$$

$$J_T(\gamma )\doteq \sum _{i=1}^{n_1}i(q^{2i-1}+q^{2i-2})+\sum _{i=n_1+n_2}^{2n_1+n_2-1}(4n_1+2n_2-4i-3)q^i+(n_1^2+2n_1{n}_2)q^{2n_1+n_2}.$$

$$J_{M_{{\alpha }_1}}(\gamma )=J_{M_{{\alpha }_1+{\alpha }_2}}(\gamma )$$

$$J_{M_{{\alpha }_2}}(\gamma )\doteq 2n_1{q}^{2n_1+n_2}-2q^{n_1+n_2}(1+q+\cdots +q^{n_1-1}).$$

$$\gamma =\left[\begin{array}{ccc}a& & \\ & & b\\ & bϵ& \end{array}\right].$$

$$\displaystyle J_{M_{0}}(\gamma)\doteq 2mq^{2m+n}+\sum_{j=m+n+1}^{2m+n-1}2(j-m-n)q^{j}-\sum_{j=0}^{2m-1}\left(\bigg{\lfloor}\frac{j}{2}\bigg{\rfloor}+1\right)q^{j}.$$

$$\displaystyle J_{M_{0}}(\gamma)\doteq(2n+1)q^{3n+1}+\sum_{j=2n+1}^{3n}(2j-4n-1)q^{j}-\sum_{j=0}^{2n}\left(\bigg{\lfloor}\frac{j}{2}\bigg{\rfloor}+1\right)q^{j},$$

$$\mathscr{X}_{\gamma}=\big{\{}g\in G(F)/G(\mathcal{O})\,\big{|}\,\mathrm{Ad}(g^{-1})\gamma\in\mathfrak{g}(\mathcal{O})\big{\}}.$$

$$\int_{T(F)\backslash G(F)}\mathbbm{1}_{\mathfrak{g}(\mathcal{O})}\big{(}\mathrm{Ad}(g)^{-1}\gamma\big{)}\mathrm{v}_{M_{0}}(g)\frac{dg}{dt}=c\cdot\sum_{[g]\in\Lambda\backslash\mathscr{X}_{\gamma}(\mathbf{F}_{q})}\mathrm{v}_{M_{0}}(g),$$

$$J_{M_{0}}^{\xi}(\gamma)=J_{M_{0}}^{\xi}(\gamma,\,\mathbbm{1}_{\mathfrak{g}(\mathcal{O})})=\int_{T(F)\backslash G(F)}\mathbbm{1}_{\mathfrak{g}(\mathcal{O})}\big{(}\mathrm{Ad}(g)^{-1}\gamma\big{)}\mathrm{w}_{M_{0}}^{\xi}(g)\frac{dg}{dt},$$

$$J_{M_0}(\gamma )=\mathrm{vol}({\mathfrak{a}}_{M_0}/X_{\ast }(M_0))\cdot J_{M_0}^{\xi }(\gamma ).$$

$$J_{M_{0}}^{\xi}(\gamma)=\mathrm{vol}_{dt}\big{(}T(F)^{1}\big{)}^{-1}\cdot|\mathscr{X}_{\gamma}^{\xi}(\mathbf{F}_{q})|.$$

$$H^{\ast }(F_{\gamma },{\overline{\mathbf{Q}}}_{\ell })=H_T^{\ast }(F_{\gamma },{\overline{\mathbf{Q}}}_{\ell }){\otimes }_{H_T^{\ast }(\mathrm{pt},{\overline{\mathbf{Q}}}_{\ell })}{\overline{\mathbf{Q}}}_{\ell }.$$

$$H_{\tilde{T}}^{\ast }(F_{\gamma },{\overline{\mathbf{Q}}}_{\ell }):=H_T^{\ast }(F_{\gamma },{\overline{\mathbf{Q}}}_{\ell }){\otimes }_{H_T^{\ast }(\mathrm{pt},{\overline{\mathbf{Q}}}_{\ell })}{H}_{\tilde{T}}^{\ast }(\mathrm{pt},{\overline{\mathbf{Q}}}_{\ell }).$$

$$0\to H_{\tilde{T}}^{\ast }(F_{\gamma },{\overline{\mathbf{Q}}}_{\ell })\to H_{\tilde{T}}^{\ast }(F_{\gamma }^{\tilde{T}},{\overline{\mathbf{Q}}}_{\ell })\to H_{\tilde{T}}^{\ast }(F_{\gamma }^{\tilde{T},1},F_{\gamma }^{\tilde{T}};{\overline{\mathbf{Q}}}_{\ell }).$$

$$b_{2i}^{\mathfrak{o}}=♯\{v\in \Gamma :n_v^{\mathfrak{o}}=i\}.$$

$$P^{\mathfrak{o}}(t)=\sum _i{b}_{2i}^{\mathfrak{o}}{t}^{2i}$$

$$P(t)=\underset{\mathfrak{o}}{\min }\{P^{\mathfrak{o}}(t)\},$$

$$|F_{\gamma }({\mathbf{F}}_q)|=\underset{\mathfrak{o}}{\min }\{P^{\mathfrak{o}}(q^{1/2})\}.$$

$${\mathfrak{a}}_A^{\ast }=({\mathfrak{a}}_A^M{)}^{\ast }\oplus {\mathfrak{a}}_M^{\ast }.$$

$${\mathfrak{a}}_A={\mathfrak{a}}_M\oplus {\mathfrak{a}}_A^M,$$

$${\mathfrak{a}}_M^G={\mathfrak{a}}_L^G\oplus {\mathfrak{a}}_M^L.$$

$$A(F)\to X_{\ast }(A).$$

$${\nu }_G:G(F)\to {\Lambda }_G,$$

$${\nu }_G:\mathcal{X}\to {\Lambda }_G,$$

$$1\to T(F^{\mathrm{ur}}{)}_1\to T(F^{\mathrm{ur}})\stackrel{w_T}{\to }{X}_{\ast }(T{)}_{I_F}\to 1,$$

$$1\to T(F{)}_1\to T(F)\stackrel{w_T}{\to }(X_{\ast }(T{)}_{I_F}{)}^{⟨\sigma ⟩}\to 1,$$

$$\mathrm{vol}_{dt}\big{(}\Lambda\backslash T(F)\big{)}=\frac{|\mathrm{coker}[X_{*}(S)_{\Gamma}\to X_{*}(T)_{\Gamma}]|}{|\ker[X_{*}(S)_{\Gamma}\to X_{*}(T)_{\Gamma}]|}.$$

$$I^{G}_{\gamma}=\int_{T(F)\backslash G(F)}\mathbbm{1}_{\mathfrak{g}(\mathcal{O})}\big{(}\mathrm{Ad}(g^{-1})\gamma\big{)}\frac{dg}{dt}.$$

Full text

1. Introduction

Let $\mathbf{F}_{q}$ be the finite field with $q$ elements. Let $F=\mathbf{F}_{q}(\!(\epsilon)\!)$ be the field of Laurent series with coefficients in $\mathbf{F}_{q}$, $\mathcal{O}=\mathbf{F}_{q}[\![\epsilon]\!]$ the ring of integers of $F$, $\mathfrak{p}=\epsilon\mathbf{F}_{q}[\![\epsilon]\!]$ the maximal ideal of $\mathcal{O}$. We fix an algebraic closure $\overline{\mathbf{F}}_{q}$ of $\mathbf{F}_{q}$, and also a compatible separable algebraic closure $\overline{F}$ of $F$. Let $\mathrm{val}:\overline{F}^{\times}\to\mathbf{Q}$ be the discrete valuation normalized by $\mathrm{val}(\epsilon)=1$.

Let $G$ be a connected split reductive algebraic group over $\mathbf{F}_{q}$, assume that $\mathrm{char}(\mathbf{F}_{q})>|W|$, $W$ being the Weyl group of $G$. Let $G_{F}$ be the base change of $G$ to $F$. Let $T$ be a maximal torus of $G_{F}$. We make the assumption that the splitting field of $T$ is totally ramified over $F$. Let $S\subset T$ be the maximal $F$-split subtorus of $T$, let $M_{0}=Z_{G_{F}}(S)$ be the centralizer of $S$ in $G_{F}$, then $M_{0}$ is a Levi subgroup of $G_{F}$ and $T$ is elliptic in $M_{0}$. Given an algebraic group, we use the Gothic letter to denote its Lie algebra.

Let $\gamma\in\mathfrak{t}(F)$ be a regular element, it is elliptic in $\mathfrak{m}_{0}(F)$. Let $\mathcal{L}(M_{0})$ be the set of Levi subgroups of $G$ containing $M_{0}$. For $M\in\mathcal{L}(M_{0})$, consider Arthur’s weighted orbital integral

[TABLE]

where $\mathbbm{1}_{\mathfrak{g}(\mathcal{O})}$ is the characteristic function of the lattice $\mathfrak{g}(\mathcal{O})$ in $\mathfrak{g}(F)$, $\mathrm{v}_{M}(g)$ is Arthur’s weight factor, and $dg$ and $dt$ are Haar measures on $G(F)$ and $T(F)$ respectively. One of our main results states that it can be expressed in terms of the number of rational points of the fundamental domains $F_{\gamma}^{L}$ of the affine Springer fiber $\mathscr{X}_{\gamma}^{L}$, $L\in\mathcal{L}(M_{0})$. The main idea is to count the number of rational points of the truncated affine Springer fibers in two different ways: by the Arthur-Kottwitz reduction and by the Harder-Narasimhan reduction.

Before entering into the details of our approach, we give examples of results that can be obtained in this way. The calculations for the group $G=\mathrm{GL}_{2}$ is easy, the results are summarized in theorem 5.1, 5.2. But for the group $G=\mathrm{GL}_{3}$, the calculations are already quite non-trivial. There are 3 cases to deal with: the element $\gamma$ can be split, mixed or elliptic. When $\gamma$ is split, we can find a set of simple roots $\{\alpha_{1},\alpha_{2}\}$ in the root system $\Phi(G,T)$ of $G$ with respect to $T$ such that

[TABLE]

We call $(n_{1},n_{2})=(\mathrm{val}(\alpha_{1}(\gamma)),\mathrm{val}(\alpha_{2}(\gamma)))$ the root valuation of $\gamma$.

Theorem 1.1**.**

Let $G=\mathrm{GL}_{3}$, $T$ the maximal torus of diagonal matrices. Let $\gamma\in\mathfrak{t}(\mathcal{O})$ be a regular element with root valuation $(n_{1},n_{2})\in\mathbf{N}^{2}$, with $n_{1}\leq n_{2}$. Up to an explicit volume factor, we have

[TABLE]

For $\alpha\in\Phi(G,T)$, let $M_{\alpha}$ be the unique Levi subgroup containing $T$ with root system $\{\pm\alpha\}$, then up to an explicit volume factor,

[TABLE]

and

[TABLE]

When $\gamma$ is mixed, i.e. $T$ is isomorphic to $F^{\times}\times\mathrm{Res}_{E_{2}/F}E_{2}^{\times}$, where $E_{2}=\mathbf{F}_{q}(\!(\epsilon^{\frac{1}{2}})\!)$ is the unique totally ramified extension of $F$ of degree 2, it can be conjugate to a matrix of the form

[TABLE]

Let $m=\mathrm{val}(a),\,n=\mathrm{val}(b)$, we have

Theorem 1.2**.**

Let $G=\mathrm{GL}_{3}$, let $\gamma$ be a matrix in the form $(\ref{gl3 mixed})$. When $\mathrm{val}(a)=m\leq n$, up to an explicit volume factor,

[TABLE]

Similarly, when $\mathrm{val}(a)=m>n$, up to an explicit volume factor,

[TABLE]

where $\lfloor x\rfloor$ denotes the maximal integer less than or equal to $x$.

When $\gamma$ is anisotropic, Arthur’s weighted orbital integral is just the orbital integral, and the result was essentially obtained by Goresky, Kottwitz and MacPherson [GKM2]. See theorem 8.1, 8.2 for the counting result.

Now let me explain our approach to the calculation of Arthur’s weighted orbital integrals using the geometry of the affine Springer fibers. For simplicity, we restrict to $J_{M_{0}}(\gamma)$. The affine Springer fiber $\mathscr{X}_{\gamma}$ is the closed sub-scheme of the affine grassmannian $\mathscr{X}=G(F)/G(\mathcal{O})$ defined by the equation

[TABLE]

They can be used to geometrize Arthur’s weighted orbital integrals. The group $T(F)$ acts on $\mathscr{X}_{\gamma}$ by left translation. For $\mu\in X_{*}(S)$, we write $\epsilon^{\mu}$ for $\mu(\epsilon)\in S(F)$. The map $\mu\to\epsilon^{\mu}$ identifies $X_{*}(S)$ with a subgroup of $S(F)\subset T(F)$, which we denote by $\Lambda$. It acts freely on $\mathscr{X}_{\gamma}$ and the quotient $\Lambda\backslash\mathscr{X}_{\gamma}$ is a projective scheme of finite type over $\mathbf{F}_{q}$ (see [KL] §3). A simple reformulation shows that

[TABLE]

where $[g]$ denotes the point $gG(\mathcal{O})\in\mathscr{X}$ and $c$ is a volume factor.

But this expression doesn’t facilitate the calculations of Arthur’s weighted orbital integral. We have to proceed in an indirect way. Let $\xi\in\mathfrak{a}_{M_{0}}^{G}$ be a generic element (for the definition of $\mathfrak{a}_{M_{0}}^{G}$, see the section of notations), Laumon and Chaudouard [CL2] introduce a variant of the weighted orbital integral

[TABLE]

with a slightly different weight factor $\mathrm{w}_{M_{0}}^{\xi}(g)$. The two weight factors are closely related to each other. When $G$ is semisimple, Laumon and Chaudouard show that

[TABLE]

The variant $J_{M_{0}}^{\xi}(\gamma)$ has a better geometric interpretation. In fact, we can introduce a notion of $\xi$-stability on the affine Springer fiber $\mathscr{X}_{\gamma}$, and show that

[TABLE]

The advantage of this variant is clear: it is a plain count rather than a weighted count. Moreover, we can use the Harder-Narasimhan reduction to get $|\mathscr{X}_{\gamma}^{\xi}(\mathbf{F}_{q})|$ recursively from $|\mathscr{X}_{\gamma}(\mathbf{F}_{q})|$, if only the latter is finite. Unfortunately, this is not the case, as can be seen from the fact that the free abelian group $\Lambda$ acts freely on $\mathscr{X}_{\gamma}$.

Let $\Pi$ be a positive $(G,M_{0})$-orthogonal family, we can introduce a truncation $\mathscr{X}_{\gamma}(\Pi)$ to overcome the finiteness issue. When $\Pi$ is sufficiently regular, we can reduce the calculation of the rational points on $\mathscr{X}_{\gamma}(\Pi)$ to that of the fundamental domains $F_{\gamma}^{L}$, by the Arthur-Kottwitz reduction. Recall that the fundamental domain $F_{\gamma}$ is introduced in [C3] to play the role of an irreducible component of $\mathscr{X}_{\gamma}$ (All the irreducible components of $\mathscr{X}_{\gamma}$ are isomorphic because $T(F)$ acts transitively on a dense open sub-scheme of it). The Arthur-Kottwitz reduction is a construction that decomposes $\mathscr{X}_{\gamma}(\Pi)$ into locally closed sub-schemes, which are iterated affine fibrations over the fundamental domains $F_{\gamma}^{L}$, $L\in\mathcal{L}(M_{0})$. The counting result is summarized in corollary 3.7. In particular, it shows that $\mathscr{X}_{\gamma}(\Pi)$ depends quasi-polynomially on the truncation parameter.

On the other hand, the Harder-Narasimhan reduction doesn’t behave well on $\mathscr{X}_{\gamma}(\Pi)$. In fact, near the boundary, the Harder-Narasimhan strata are generally not affine fibrations over truncations of $\mathscr{X}_{\gamma}^{L,\,\xi^{L}}$. To overcome this difficulty, we cut $\mathscr{X}_{\gamma}(\Pi)$ into two parts: the tail and the main body. Roughly speaking, the tail is the union of the “boundary irreducible components” of $\mathscr{X}_{\gamma}(\Pi)$, and the main body is its complement. The Harder-Narasimhan reduction works well on the main body, and we can use it to count the number of rational points. The result is summarized in theorem 4.8, it can be expressed in terms of $|\mathscr{X}_{\gamma}^{L,\,\xi^{L}}(\mathbf{F}_{q})|$, $L\in\mathcal{L}(M_{0})$. The counting points on the tail proceeds by the Arthur-Kottwitz reduction, and can be expressed in terms of $|F_{\gamma}^{L}(\mathbf{F}_{q})|$’s. But we are not able to obtain an explicit expression, we get a recursion.

These two different approaches to counting rational points on $\mathscr{X}_{\gamma}(\Pi)$ give us a recursive equation that involves the $|F_{\gamma}^{L}(\mathbf{F}_{q})|$’s and the $|\mathscr{X}_{\gamma}^{L,\,\xi^{L}}(\mathbf{F}_{q})|$’s. Solving it, we can express the latter ones in terms of the former ones. The problem of calculating $J_{M_{0}}(\gamma)$ is thus reduced to counting points on $F_{\gamma}$.

The geometry of $F_{\gamma}$ is simpler than that of $\mathscr{X}_{\gamma}^{\xi}$: Goresky, Kottwitz and MacPhersion [GKM1] have conjectured that the cohomology of $\mathscr{X}_{\gamma}$ is pure in the sense of Deligne. As we have shown in [C3], this is equivalent to the cohomological purity of $F_{\gamma}$. In fact, it is even expected that $F_{\gamma}$ admits a Hessenberg paving (This notion was introduced by Goresky, Kottwitz and MacPhersion [GKM2]). On the contrary, $\mathscr{X}_{\gamma}^{\xi}$ is generally not cohomologically pure, as one can see in case $G=\mathrm{SL}_{2}$, or from the appearance of minus sign in the counting points result of theorem 6.6, 6.10, 6.14. Although one can still look at the quotient $\mathscr{X}_{\gamma}^{\xi}/A_{M_{0}}$, $A_{M_{0}}$ being the maximal $F$-split torus of the center of $M_{0}$, it is clear that the quotient no longer admits a torus action, hence it has much less structure to explore than $F_{\gamma}$.

When the torus $T$ splits, we [C4] make a conjecture on the Poincaré polynomial of $F_{\gamma}$, assuming the cohomological purity of $F_{\gamma}$. This gives a conjectural expression for $|F_{\gamma}(\mathbf{F}_{q})|$. We reproduce it here for the convenience of the reader. Following Chaudouard and Laumon [CL1], under the purity assumption, the cohomology of $F_{\gamma}$ can be expressed in terms of its $1$-skeleton under the $T$-action. Indeed, the $T$-equivariant cohomology $H_{T}^{*}(F_{\gamma},\overline{\mathbf{Q}}_{\ell})$111Here we actually mean the geometric H^{*}_{T_{\overline{\mathbf{F}}_{q}}}\big{(}F_{\gamma,\overline{\mathbf{F}}_{q}},\overline{\mathbf{Q}}_{\ell}\big{)}, we don’t specify the base change to $\overline{\mathbf{F}}_{q}$ to simplify the notation. Similar convention for the other cohomology groups. will then be a free $H_{T}^{*}(\mathrm{pt},\overline{\mathbf{Q}}_{\ell})$-algebra, and we have

[TABLE]

The torus $T$ acts on $F_{\gamma}$ with finitely many fixed points, but the $1$-dimensional $T$-orbits form a higher dimensional variety which we denote by $F_{\gamma}^{T,1}$. The bigger torus $\widetilde{T}=T\times\mathbb{G}_{m}$, $\mathbb{G}_{m}$ being the rotational torus, acts on $F_{\gamma}^{T,1}$ with finitely many $1$-dimensional $\widetilde{T}$-orbits, let $F_{\gamma}^{\widetilde{T},1}$ be their union. Let $F_{\gamma}^{\widetilde{T}}$ be the set of $\widetilde{T}$-fixed points on $F_{\gamma}$. Let

[TABLE]

Then the localization theorem of Goresky, Kottwitz and MacPheron [GKM4] implies an exact sequence of equivariant cohomology

[TABLE]

Let $\Gamma$ be the graph with vertices $F_{\gamma}^{\widetilde{T}}$ and with edges $F_{\gamma}^{\widetilde{T},1}$. Two vertices are linked by an edge if and only if they lie on the closure of the corresponding $1$-dimensional $\widetilde{T}$-orbit. We call it the moment graph of $F_{\gamma}$ with respect to the action of $\widetilde{T}$. The above result implies that the information about the cohomology of $F_{\gamma}$ is encoded in $\Gamma$. A direct calculation of the cohomology via equations (1.4), (1.5), (1.6) turns out to be very hard, and we look for a combinatorial way to get around it.

Let $\mathfrak{o}$ be a total order among the vertices of the graph $\Gamma$, it will serve as the paving order. We associate to it an acyclic oriented graph $(\Gamma,\mathfrak{o})$ such that the source of each arrow is greater than its target with respect to $\mathfrak{o}$. For $v\in\Gamma$, denote by $n^{\mathfrak{o}}_{v}$ the number of arrows having source $v$.

Definition 1.1**.**

The formal Betti number $b^{\mathfrak{o}}_{2i}$ associated to the order $\mathfrak{o}$ is defined as

[TABLE]

We call

[TABLE]

the formal Poincaré polynomial associated to the order $\mathfrak{o}$.

Definition 1.2**.**

For $P_{1}(t),\,P_{2}(t)\in\mathbf{Z}[t]$, we say that $P_{1}(t)<P_{2}(t)$ if the leading coefficient of $P_{2}(t)-P_{1}(t)$ is positive.

Conjecture 1.1**.**

Let $P(t)$ be the Poincaré polynomial of $F_{\gamma}$, then

[TABLE]

where $\mathfrak{o}$ runs through all the total orders among the vertices of $\Gamma$.

The conjecture can be thought of as a kind of Morse inequality, it has been verified in a lot of examples. For the group $G=\mathrm{GL}_{2}$ and $\gamma=\mathrm{diag}(\gamma_{1},\gamma_{2})$ with $\gamma_{1},\gamma_{2}\in F$ and $\mathrm{val}(\gamma_{1}-\gamma_{2})=n\in\mathbf{N}$, the moment graph of $F_{\gamma}$ contains $n+1$ vertices, which are pairwise connected by an edge. It is clear that the conjecture holds in this case. In general, the moment graph of $F_{\gamma}$ is easy to describe, and we have an algorithm to find an order $\mathfrak{o}$ which conjecturally should attain the minimum. Although we are not able to prove both conjectures at the moment, they have been very helpful for the construction of affine pavings of $F_{\gamma}$ in concrete examples.

Under the purity assumption, conjecture 1.1 implies counting points result for $F_{\gamma}$. Indeed, the equations (1.4), (1.5), (1.6) are $\mathrm{Gal}(\overline{\mathbf{F}}_{q}/\mathbf{F}_{q})$-equivariant, and the Frobenius endomorphism acts on $H^{2i}_{\widetilde{T}}(F_{\gamma}^{\widetilde{T}},\,\overline{\mathbf{Q}}_{\ell})$ by $q^{i}$ (the odd degree cohomologies vanish), hence it acts on $H^{*}(F_{\gamma},\,\overline{\mathbf{Q}}_{\ell})$ in the same way and so

[TABLE]

Together with the recurrence relation between $|\mathscr{X}_{\gamma}^{\xi}(\mathbf{F}_{q})|$ and $|F_{\gamma}(\mathbf{F}_{q})|$, it gives a conjectural complete answer to the calculation of Arthur’s weighted orbital integrals in the split case.

Notations

We fix a split maximal torus $A$ of $G$ over $\mathbf{F}_{q}$. Without loss of generality, we suppose that $A\subset M_{0}$. Let $\Phi=\Phi(G,A)$ be the root system of $G$ with respect to $A$, let $W$ be the Weyl group of $G$ with respect to $A$. For any subgroup $H$ of $G$ which is stable under the conjugation of $A$, we note $\Phi(H,A)$ for the roots appearing in $\mathrm{Lie}(H)$. We fix a Borel subgroup $B_{0}$ of $G$ containing $A$. Let $\Delta=\{\alpha_{1},\cdots,\alpha_{r}\}$ be the set of simple roots with respect to $B_{0}$, let $\{\varpi_{i}\}_{i=1}^{r}$ be the corresponding fundamental weights. To an element $\alpha\in\Delta$, we have a unique maximal parabolic subgroup $P_{\alpha}$ of $G$ containing $B_{0}$ such that $\Phi(N_{P_{\alpha}},A)\cap\Delta=\{\alpha\}$, where $N_{P_{\alpha}}$ is the unipotent radical of $P_{\alpha}$. This gives a bijective correspondence between the simple roots in $\Delta$ and the maximal parabolic subgroups of $G$ containing $B_{0}$. Any semi-standard maximal parabolic subgroup $P$ of $G$ is conjugate to certain $P_{\alpha}$ by an element $w\in W$, the element $w\varpi_{\alpha}$ doesn’t depend on the choice of $w$, we denote it by $\varpi_{P}$.

We use the $(G,M)$ notation of Arthur. Let $\mathcal{F}(A)$ be the set of parabolic subgroups of $G$ containing $A$, let $\mathcal{L}(A)$ be the set of Levi subgroups of $G$ containing $A$. For every $M\in\mathcal{L}(A)$, we denote by $\mathcal{P}(M)$ the set of parabolic subgroups of $G$ whose Levi factor is $M$, by $\mathcal{L}(M)$ the set of Levi subgroups of $G$ containing $M$, and by $\mathcal{F}(M)$ the set of parabolic subgroups of $G$ containing $M$. For $P\in\mathcal{P}(M)$, we denote by $P^{-}\in\mathcal{P}(M)$ the opposite of $P$ with respect to $M$.

Let $X^{*}(M)=\mathrm{Hom}(M,\mathbb{G}_{m})$ and $X_{*}(M)=\mathrm{Hom}(X^{*}(M),\mathbf{Z})$. Let $\mathfrak{a}_{M}^{*}=X^{*}(M)\otimes\mathbf{R}$ and $\mathfrak{a}_{M}=X_{*}(M)\otimes\mathbf{R}$. The restriction $X^{*}(M)\to X^{*}(A)$ induces an injection $\mathfrak{a}_{M}^{*}\hookrightarrow\mathfrak{a}_{A}^{*}$. Let $(\mathfrak{a}_{A}^{M})^{*}$ be the subspace of $\mathfrak{a}_{A}^{*}$ generated by $\Phi(M,A)$. We have the decomposition in direct sums

[TABLE]

The canonical pairing $X_{*}(A)\times X^{*}(A)\to\mathbf{Z}$ can be extended bilinearly to $\mathfrak{a}_{A}\times\mathfrak{a}_{A}^{*}\to\mathbf{R}$. For $M\in\mathcal{L}(A)$, we can embed $\mathfrak{a}_{M}$ in $\mathfrak{a}_{A}$ as the orthogonal subspace to $(\mathfrak{a}_{A}^{M})^{*}$. Let $\mathfrak{a}_{A}^{M}\subset\mathfrak{a}_{A}$ be the subspace orthogonal to $\mathfrak{a}_{M}^{*}$. We have the dual decomposition

[TABLE]

let $\pi_{M},\,\pi^{M}$ be the projections to the two factors. More generally, for $L,M\in\mathcal{F}(A),\,M\subset L$, we also have a decomposition

[TABLE]

Let $\pi_{M,L},\,\pi_{M}^{L}$ be the projections to the two factors. If the context is clear, we also simplify them to $\pi_{L},\,\pi^{L}$.

We identify $X_{*}(A)$ with $A(F)/A(\mathcal{O})$ by sending $\chi$ to $\chi(\epsilon)$. With this identification, the canonical surjection $A(F)\to A(F)/A(\mathcal{O})$ can be viewed as

[TABLE]

We use $\Lambda_{G}$ to denote the quotient of $X_{*}(A)$ by the coroot lattice of $G$ (the subgroup of $X_{*}(A)$ generated by the coroots of $A$ in $G$). It is independent of the choice of $A$, this is the algebraic fundamental group introduced by Borovoi [Bo]. According to Kottwitz [K1], we have a canonical homomorphism

[TABLE]

which is characterized by the following properties: it is trivial on the image of $G_{\mathrm{sc}}(F)$ in $G(F)$ ($G_{\mathrm{sc}}$ is the simply connected cover of the derived group of $G$), and its restriction to $A(F)$ coincides with the composition of (1.7) with the projection of $X_{*}(A)$ to $\Lambda_{G}$. Since the morphism (1.8) is trivial on $G(\mathcal{O})$, it descends to a map

[TABLE]

whose fibers are the connected components of $\mathscr{X}$. For $\mu\in\Lambda_{G}$, we denote the connected component $\nu_{G}^{-1}(\mu)$ by $\mathscr{X}^{\mu}$.

Finally, we suppose that $\gamma\in\mathfrak{t}(\mathcal{O})$ satisfies $\gamma\equiv 0\mod\epsilon$ to avoid unnecessary complications.

Acknowledgements

We want to thank Gérard Laumon for the discussions which have led to this work, and we want to thank an anonymous referee for the careful reading and very helpful suggestions.

2. (Weighted) orbital integrals and the affine Springer fibers

We recall briefly the geometrization of the (weighted) orbital integrals using the affine Springer fibers. We fix a regular element $\gamma\in\mathfrak{t}(\mathcal{O})$ as in the introduction. Let $P_{0}=M_{0}N_{0}$ be the unique element in $\mathcal{P}(M_{0})$ which contains $B_{0}$.

2.1. Orbital integrals

We begin by fixing the Haar measures. Let $dg$ be the Haar measure on $G(F)$ normalized by the condition \mathrm{vol}_{dg}\big{(}G(\mathcal{O})\big{)}=1. For the group $T(F)$, the definition is more involved as there is no natural $\mathcal{O}$-structure on $T$. Let $F^{\mathrm{ur}}=\overline{\mathbf{F}}_{q}(\!(\epsilon)\!)$, it is the completion of the maximal unramified extension of $F$. Let $\sigma$ be the Frobenius automorphism of both $\overline{\mathbf{F}}_{q}/\mathbf{F}_{q}$ and $F^{\mathrm{ur}}/F$. We fix a separable algebraic closure $\overline{F^{\mathrm{ur}}}$ of $F^{\mathrm{ur}}$, let $I_{F}=\mathrm{Gal}(\overline{F^{\mathrm{ur}}}/F^{\mathrm{ur}})$, it is the inertia subgroup of $\Gamma=\mathrm{Gal}(\overline{F}/F)$. According to Kottwitz [K2] §7.6, we have an exact sequence

[TABLE]

which implies another exact sequence if we take the $\langle\sigma\rangle$-invariants,

[TABLE]

with $T(F)_{1}:=T(F)\cap T(F^{\mathrm{ur}})_{1}$. We fix the Haar measure $dt$ on $T(F)$ by setting \mathrm{vol}_{dt}\big{(}T(F)_{1}\big{)}=1. The group $\Lambda$ is discrete and cocompact in $T(F)$. The volume of the quotient $\Lambda\backslash T(F)$ is calculated in [GKM1] §15.3:

[TABLE]

Consider the orbital integral

[TABLE]

It can be interpreted as counting points on the affine Springer fiber:

Proposition 2.1** (Goresky, Kottwitz, MacPherson [GKM1]).**

[TABLE]

The $T(F)$-action on $\mathscr{X}_{\gamma}$ can be exploited to further simplify the computations. Let $\mathscr{X}_{\gamma}^{\mathrm{reg}}$ be the open sub-scheme of $\mathscr{X}_{\gamma}$ consisting of the points $[g]\in\mathscr{X}_{\gamma}$ such that the image of $\mathrm{Ad}(g^{-1})\gamma$ under the reduction $\mathfrak{g}(\mathcal{O})\to\mathfrak{g}$ is regular nilpotent.

Proposition 2.2** (Bezrukavnikov [B]).**

The group $T(F)$ acts transitively on $\mathscr{X}_{\gamma}^{\mathrm{reg}}$.

Proposition 2.3** (Ngô [N] Prop. 3.10.1).**

The open sub-scheme $\mathscr{X}_{\gamma}^{\mathrm{reg}}$ is dense in $\mathscr{X}_{\gamma}$.

Consequently, all the irreducible components of $\mathscr{X}_{\gamma}$ are isomorphic to each other and they are parametrized by $\pi_{0}(T(F))$. In particular, all the connected components of $\mathscr{X}_{\gamma}$ are isomorphic and they can be translated to each other under the $T(F)$-action. In the calculation of the orbital integral (2.3), we can thus restrict to the central connected component of $\mathscr{X}_{\gamma}$, often this simplifies calculations.

The calculation of $I_{\gamma}^{G}$ can be reduced to that of $I_{\gamma}^{M_{0}}$, it dates back at least to Harish-Chandra that

[TABLE]

Geometrically, this is a reflection of the existence of an affine fibration $f_{P}:\mathscr{X}_{\gamma}\to\mathscr{X}_{\gamma}^{M_{0}}$ for each $P\in\mathcal{P}(M_{0})$. Recall that for $Q=LN_{Q}\in\mathcal{F}(A)$, we have the retraction

[TABLE]

which sends $[g]=gK$ to $[h]:=hL(\mathcal{O})$, where $g=nhk,\,n\in N_{Q}(F),\,h\in L(F),\,k\in K$ is the Iwasawa decomposition. We want to point out that the retraction $f_{Q}$ is not a morphism between ind-$\mathbf{F}_{q}$-schemes, but its restriction to the inverse image of each connected component of $\mathscr{X}^{L}$:

[TABLE]

is actually a morphism over $\mathbf{F}_{q}$ between ind-$\mathbf{F}_{q}$-schemes. Moreover, these retractions satisfy obvious transitivity property.

Restricted to the affine Springer fibers, the retraction $f_{Q}$ sends $\mathscr{X}_{\gamma}$ to $\mathscr{X}_{\gamma}^{L}$. To see this, for $[g]\in\mathscr{X}_{\gamma}$, let $g=nhk$ be the Iwasawa decomposition as above. We can write $g=hn^{\prime}k$ with $n^{\prime}=h^{-1}nh\in N_{Q}(F)$. Now that $\mathrm{Ad}(h^{-1})\gamma\in\mathfrak{l}(F)$, we have

[TABLE]

for some $n^{\prime\prime}\in\mathfrak{n}_{Q}(F)$. This implies that

[TABLE]

which means that $f_{Q}([g])=[h]\in\mathscr{X}_{\gamma}^{L}$.

Proposition 2.4** (Kazhdan-Lusztig [KL] §5, Prop.1).**

For any $\nu\in\Lambda_{L}$, the retraction

[TABLE]

is an iterated affine fibration over $\mathbf{F}_{q}$ of relative dimension $\mathrm{val}(\det(\mathrm{ad}(\gamma)|\mathfrak{n}_{Q}(F))).$

The reader can also consult [C3], Prop. 3.2 for a proof.

2.2. Arthur’s weighted orbital integral

2.2.1. The weight factor $\mathrm{v}_{M}$

Let $M\in\mathcal{L}(M_{0})$, roughly speaking, the weight factor $\mathrm{v}_{M}(g)$ is the volume of a polytope in $\mathfrak{a}_{M}$ generated by the point $[g]\in\mathscr{X}$. Let $H_{M}:M(F)\to\mathfrak{a}_{M}$ be the unique map222Our definition differs from the conventional one by a minus sign. But as we will see, it simplifies computations. satisfying

[TABLE]

Notice that it is a group homomorphism. Moreover, it is invariant under the right $K$-action, so it induces a map from $\mathscr{X}^{M}$ to $\mathfrak{a}_{M}$, still denoted by $H_{M}$. For $P=MN\in\mathcal{F}(A)$, let $H_{P}:\mathscr{X}\to\mathfrak{a}_{M}$ be the composition

[TABLE]

As shown in [CL1], Lemma 6.1, the map $H_{M}$ is constant on each connected component of $\mathscr{X}^{M}$, so it has a factorization $H_{M}:\mathscr{X}^{M}\xrightarrow{\nu_{M}}\Lambda_{M}\to\mathfrak{a}_{M}$. A simple calculation of the restriction of the map to $\mathscr{X}^{A}\subset\mathscr{X}^{M}$ shows that the map $\Lambda_{M}\to\mathfrak{a}_{M}$ is just the one induced from the natural inclusion $X_{*}(A)\hookrightarrow\mathfrak{a}_{A}=X_{*}(A)\otimes\mathbf{R}$. Hence $H_{P}$ is also the composition

[TABLE]

The map $H_{P}$ has the following remarkable property. There is a notion of adjacency among the parabolic subgroups in $\mathcal{P}(M)$: Two parabolic subgroups $P_{1}=MN_{1},\,P_{2}=MN_{2}\in\mathcal{P}(M)$ are said to be adjacent if both of them are contained in a parabolic subgroup $Q=LN_{Q}$ such that $L\supset M$ and $\mathrm{rk}(L)=\mathrm{rk}(M)+1$. Given such an adjacent pair, we define an element $\beta_{P_{1},P_{2}}\in\Lambda_{M}$ in the following way: Consider the collection of elements in $\Lambda_{M}$ obtained from coroots of $A$ in $\mathfrak{n}_{1}\cap\mathfrak{n}_{2}^{-}$, we define $\beta_{P_{1},P_{2}}$ to be the minimal element in this collection, i.e. all the other elements are positive integral multiples of it. Note that $\beta_{P_{2},P_{1}}=-\beta_{P_{1},P_{2}}$, and if $M=A$, then $\beta_{P_{1},P_{2}}$ is the unique coroot which is positive for $P_{1}$ and negative for $P_{2}$. We denote also by $\beta_{P_{1},P_{2}}$ for its image in $\mathfrak{a}_{M}$ if no confusion is caused.

Proposition 2.5** (Arthur [A1] Lemma 3.6).**

Let $P_{1},\,P_{2}\in\mathcal{P}(M)$ be two adjacent parabolic subgroups. For any $x\in\mathscr{X}$, we have

[TABLE]

with $n(x,P_{1},P_{2})\in\mathbf{Z}_{\geq 0}$.

The reader can consult [C3] Prop. 2.1 for a proof. For any point $x\in\mathscr{X}$, we write $\mathrm{Ec}_{M}(x)$ for the convex hull in $\mathfrak{a}_{M}$ of the $H_{P}(x),\,P\in\mathcal{P}(M)$. For any $Q\in\mathcal{F}(M)$, we denote by $\mathrm{Ec}_{M}^{Q}(x)$ the face of $\mathrm{Ec}_{M}(x)$ whose vertices are $H_{P}(x),\,P\in\mathcal{P}(M),\,P\subset Q$. When $M=A$, we omit the subscript $A$ to simplify the notation.

To define the volume, we need to choose a Lebesgue measure on $\mathfrak{a}_{M}^{G}$. We fix a $W$-invariant inner product $\langle\,\cdot\,,\cdot\,\rangle$ on the vector space $\mathfrak{a}_{A}^{G}$. Notice that $\mathfrak{a}_{A}^{M}$ and $\mathfrak{a}_{M}$ are orthogonal to each other with respect to the inner product for any $M\in\mathcal{L}(A)$. We fix a Lebesgue measure on $\mathfrak{a}_{M}^{G}$ normalised by the condition that the lattice generated by the orthonormal bases in $\mathfrak{a}_{M}^{G}$ has covolume $1$.

The weight factor $\mathrm{v}_{M}(g)$ is the volume of the projection \pi_{M}^{G}\big{(}\mathrm{Ec}_{M}(g)\big{)}\subset\mathfrak{a}_{M}^{G}. We have to pass to $\mathfrak{a}_{M}^{G}$ because the polytope $\mathrm{Ec}_{M}(g)$ will lie in a hyperplane of $\mathfrak{a}_{M}$ if $G$ has non-trivial connected center. The weight factor $\mathrm{v}_{M}(g)$ has the following invariance properties: It is invariant under the right action of $K$, i.e.

[TABLE]

This is evident from the definition of $\mathrm{v}_{M}(g)$. It is not so evident but also true that

[TABLE]

Indeed, for any $P\in\mathcal{P}(M)$, we have $f_{P}(mg)=mf_{P}(g).$ As $H_{M}$ is a group homomorphism, this implies

[TABLE]

so $\mathrm{Ec}_{M}(mg)$ is just the translation of $\mathrm{Ec}_{M}(g)$ by $H_{M}(m).$ In particular, they have the same volume.

Similar to proposition 2.1, we can interpret Arthur’s weighted orbital integral as

[TABLE]

i.e. it is a weighted count of the rational points on the affine Springer fiber. Notice also that $J_{G}(\gamma)=I_{\gamma}^{G}$ as $\mathrm{v}_{G}(g)=1$ for all $g\in G(F)$.

2.2.2. A variant

In their work on the weighted fundamental lemma [CL2], Laumon and Chaudouard introduce a variant of the weighted orbital integral.

Assume that $G$ is semisimple, let $\xi\in\mathfrak{a}_{M}$ be a generic element. For $g\in G(F)$, they introduce the weight factor

[TABLE]

It is the number of integral points in the polytope $\mathrm{Ec}_{M}(g)-\xi$. Similar to $\mathrm{v}_{M}(g)$, the weight factor $\mathrm{w}_{M}^{\xi}(g)$ is invariant under the right $K$-action and the left $M(F)$-action. In particular, it descends to a function on $\mathscr{X}$. Consider the following weighted orbital integral

[TABLE]

Remark 2.1*.*

For general reductive algebraic group $G$, $\xi\in\mathfrak{a}_{M}^{G}$, as $G(F)=M(F)\cdot G_{\mathrm{der}}(F)$, we can define the weight factor $\mathrm{w}_{M}^{\xi}$ uniquely by requiring it to be invariant under the left $M(F)$-action and the right $K$-action, and that as a function on $\mathscr{X}$ its restriction to $\mathscr{X}^{G_{\mathrm{der}}}$ coincides with the above definition for $G_{\mathrm{der}}$. In other words, for generic $\xi\in\mathfrak{a}_{M}^{G}$, we define

[TABLE]

where $M_{G_{\mathrm{der}}}=M\cap G_{\mathrm{der}}$. Notice that the weight factor $\mathrm{v}_{M}$ satisfies these conditions as well, and this justifies our definition in the general case.

The variant $J_{M}^{\xi}(\gamma)$ has a better geometric interpretation.

Lemma 2.6**.**

Let $T(F)^{1}=T(F)\cap\ker(H_{M_{0}})$, then it is of finite volume and we have an exact sequence

[TABLE]

Proof.

The first assertion is due to the fact that $T$ is anisotropic modulo the center of $M_{0}$. For the second assertion, only the surjectivity is non-trivial. Recall that we have the exact sequence

[TABLE]

and that the map $w_{T}$ is defined via a map $v_{T}:T(F^{\mathrm{ur}})\to\mathrm{Hom}(X^{*}(T)^{I_{F}},\mathbf{Z})$, similar to the definition of $H_{M_{0}}$. Hence the morphism $H_{M_{0}}$ factors through $w_{T}$, and the surjectivity results from those of $w_{T}$ and the homomorphism

[TABLE]

∎

As a consequence, let $T(F)_{M}^{1}=T(F)\cap\,\ker(H_{M})$, let $\Lambda^{H_{M}}=\Lambda\cap\,\ker(H_{M})$, the quotient $\Lambda^{H_{M}}\backslash T(F)_{M}^{1}$ is of finite volume and we have an exact sequence

[TABLE]

Proposition 2.7**.**

We have the equality

[TABLE]

In particular,

[TABLE]

Proof.

Let $\mathbbm{1}_{M,\,g}$ be the characteristic function of $\mathrm{Ec}_{M}(g)$. As

[TABLE]

we have

[TABLE]

Now we can rewrite

[TABLE]

∎

In particular, $J_{M}^{\xi}(\gamma)$ is a plain count of a subset of $\mathscr{X}_{\gamma}(\mathbf{F}_{q})$. In §4.1, we will see that the condition $\xi\in\mathrm{Ec}_{M}(g)$ behaves as a stability condition (We believe that it is in fact a stability condition in the sense of Mumford). In particular, there is a Harder-Narasimhan type decomposition of $\mathscr{X}_{\gamma}$ associated with it.

Remark 2.2*.*

It is time to explain why we have imposed the assumption that $T$ is totally ramified over $F$. Without it, the Frobenius $\sigma\in\mathrm{Gal}(\overline{\mathbf{F}}_{q}/\mathbf{F}_{q})$ acts non-trivially on $X_{*}(T)_{I_{F}}$, and the morphism $T(F)\to X_{*}(M_{0})$ in lemma 2.6 might fail to be surjective. (Indeed, it does fail for $T$ an unramified maximal torus in $\mathrm{GL}_{n}$.) As a consequence, the interpretation of $J_{M}^{\xi}(\gamma)$ as in proposition 2.7 no longer holds.

For completeness, we compute the volume factors in proposition 2.7. We have the exact sequence

[TABLE]

Because $\Lambda$ is of finite index in $X_{*}(M_{0})$ and the morphism $X_{*}(M_{0})\to X_{*}(M)$ is surjective, the quotient $X_{*}(M)/H_{M}(\Lambda)$ is finite, and so

[TABLE]

2.2.3. Comparison of weighted orbital integrals

The weight factors $\mathrm{v}_{M}$ and $\mathrm{w}_{M}^{\xi}$ are closely related, we can compare the associated weighted orbital integrals.

Theorem 2.8** (Chaudouard-Laumon [CL2]).**

We have the equality

[TABLE]

Remark 2.3*.*

For general reductive algebraic group $G$, with the definition of $\mathrm{w}_{M}^{\xi}$ as explained in remark 2.1, the comparison theorem becomes

[TABLE]

as can be seen from the proof below.

Laumon and Chaudouard work over the ring of adèles, but their proof carries over to the local setting. We reproduce their proof here, but to simplify the exposition, we assume moreover that $G$ is simply connected. The key is to rewrite the convex polytope $\mathrm{Ec}_{M}(g)$ as alternating differences of translations of cones. We need some notations. For $P=MN_{P}\in\mathcal{F}(A)$, take a Borel subgroup $B\in\mathcal{P}(A)$ contained in $P$. Let $\Delta_{B}$ be the simple roots of $\Phi(G,A)$ with respect to $B$, let $\Delta_{B,P}=\Delta_{B}\cap\Phi(N_{P},A)$ and $\Delta_{B,P}^{\vee}$ the associated coroots. The restriction $X^{*}(A)\to X^{*}(A_{M})$ induces a bijection from $\Delta_{B,P}$ to a subset of $X^{*}(A_{M})$ denoted $\Delta_{P}$. Similarly, the projection $\mathfrak{a}_{A}\to\mathfrak{a}_{M}$ induces a bijection from $\Delta_{B,P}^{\vee}$ to a subset $\Delta_{P}^{\vee}$. Obviously, the definition of $\Delta_{P}$ and $\Delta_{P}^{\vee}$ is independent of the choice of $B$. Moreover, they form basis of $\mathfrak{a}_{M}^{*}$ and $\mathfrak{a}_{M}$ respectively. Let $(\varpi_{\alpha})_{\alpha\in\Delta_{P}}$ be the basis of $\mathfrak{a}_{M}^{*}$ dual to $\Delta_{P}^{\vee}$.

For a generic element $\lambda\in\mathfrak{a}_{M}^{*}$, let

[TABLE]

and let $\varphi_{P}^{\lambda}$ be the characteristic function of the cone

[TABLE]

According to Arthur [A3], the characteristic function of the convex polytope $\mathrm{Ec}_{M}(g)$ is equal to the function

[TABLE]

The proof is best illustrated by Figure 11.1 at [A4], page 63. It relies on the combinatorial identity

[TABLE]

for any finite set $S$. Now we can rewrite

[TABLE]

We introduce an extra exponential factor to treat the infinite sum in (2.6), let

[TABLE]

The series converges absolutely for generic $\lambda$, hence

[TABLE]

where the limit is taken for generic $\lambda\in\mathfrak{a}_{M}^{*}$.

We can calculate $S_{P}(\lambda)$ explicitly. Let $\xi=[\xi]_{P}+\{\xi\}_{P}$ with $[\xi]_{P}\in X_{*}(M)$ and $\{\xi\}_{P}=\sum_{\alpha\in\Delta_{P}}r_{\alpha}\alpha^{\vee}$ for some $0<r_{\alpha}<1$. After a simple change of variables, we get

[TABLE]

where $(m_{\alpha})_{\alpha\in\Delta_{P}}$ runs over the integers satisfying $m_{\alpha}\geq 0$ for $\alpha\in\Delta_{P}^{\lambda}$ and $m_{\alpha}\leq-1$ for $\alpha\in\Delta_{P}\backslash\Delta_{P}^{\lambda}$. The geometric series can be calculated to be

[TABLE]

Let $\mathrm{c}_{P}(\lambda)=\prod_{\alpha\in\Delta_{P}}(e^{\langle\lambda,\,\alpha^{\vee}\rangle}-1)$. Taking everything together, we get

[TABLE]

Similarly, we can rewrite (2.7) as

[TABLE]

Let $\mathrm{d}_{P}(\lambda)=\mathrm{vol}(\mathfrak{a}_{M}/X_{*}(M))^{-1}\prod_{\alpha\in\Delta_{P}}\langle\lambda,\,\alpha^{\vee}\rangle$, we get

[TABLE]

To deal with limits of the form (2.8) and (2.9) systematically, we need Arthur’s notion of $(G,M)$-family [A2]. It is a family of smooth functions $(\mathrm{r}_{P}(\lambda))_{P\in\mathcal{P}(M)}$ on $\mathfrak{a}_{M}^{*}$ which satisfy for any adjacent parabolic subgroups $(P,P^{\prime})$ the property that $\mathrm{r}_{P}(\lambda)=\mathrm{r}_{P^{\prime}}(\lambda)$ for any $\lambda$ on the hyperplane defined by the unique coroot in $\Delta_{P}^{\vee}\cap(-\Delta_{P^{\prime}}^{\vee})$. For any such family, we define

[TABLE]

for generic $\lambda\in\mathfrak{a}_{M}^{*}$. Arthur has shown in [A2] that the function extends smoothly over all $\mathfrak{a}_{M}^{*}$. Let

[TABLE]

It generalizes the equation (2.9). Indeed, the functions

[TABLE]

form a $(G,M)$-family, and the resulting $\mathrm{v}_{M}(g)$ is exactly Arthur’s weight factor. From this point of view, we call $\mathrm{r}_{M}$ the volume of the $(G,M)$-family $(\mathrm{r}_{P}(\lambda))_{P\in\mathcal{P}(M)}$.

Notice that the summands in (2.8) and (2.9) differ by a factor

[TABLE]

and that they form a $(G,M)$-family. Let $\mathrm{w}_{P}(\lambda,g,\xi)=\mathrm{v}_{P}(\lambda,g)\mathrm{w}_{P}(\lambda,\xi),\,P\in\mathcal{P}(M)$, they form a $(G,M)$-family and equation (2.8) can be rewritten as

[TABLE]

In other words, we have expressed the lattice points counting weight factor $\mathrm{w}_{M}^{\xi}(g)$ as the volume of the product of two $(G,M)$-families.

We need a result of Arthur on the volume of the product of two $(G,M)$-families. Let $\{\mathrm{r}_{P}(\lambda)\}_{P\in\mathcal{P}(M)}$, $\{\mathrm{s}_{P}(\lambda)\}_{P\in\mathcal{P}(M)}$ be two $(G,M)$-families. For $Q=LN_{Q}\in\mathcal{F}(M)$, let

[TABLE]

It is easy to see that $\mathrm{r}_{R}^{Q}(\lambda),\,R\in\mathcal{P}^{L}(M)$ form a $(L,M)$-family. The function $\mathrm{r}_{M}^{Q}(\lambda)$ and the volume $\mathrm{r}_{M}^{Q}$ are defined in a similar way. From the $(G,M)$-family $\{\mathrm{s}_{P}(\lambda)\}_{P\in\mathcal{P}(M)}$, Arthur has defined a smooth function $\mathrm{s}_{Q}^{\prime}(\lambda)$ on $\mathfrak{a}_{Q}^{*}$. The definition is quite involved and we refer the reader to [A2] §6. Let $\mathrm{s}_{Q}^{\prime}=\mathrm{s}_{Q}^{\prime}(0)$.

Lemma 2.9** (Arthur [A2] Lem. 6.3 and Cor. 6.4).**

Let $\{\mathrm{r}_{P}(\lambda)\}_{P\in\mathcal{P}(M)}$, $\{\mathrm{s}_{P}(\lambda)\}_{P\in\mathcal{P}(M)}$ be two $(G,M)$-families, let $\mathrm{r}\cdot\mathrm{s}$ be the product of the two $(G,M)$-families, then for any $\lambda\in\mathfrak{a}_{M}^{*}$, we have

[TABLE]

In particular,

[TABLE]

In our situation, this implies

[TABLE]

and

[TABLE]

Similar results hold for Levi subgroups $L$ containing $M$:

[TABLE]

with $\mathrm{w}_{R}^{\prime}(\xi_{L})$ deduced from the $(G,L)$-family

[TABLE]

Setting $g=e\in G$ in equation (2.13), and notice that

[TABLE]

we get

[TABLE]

where the second equality is just the equation (2.14).

Lemma 2.10**.**

[TABLE]

Proof.

Recall that given a $(G,M)$-family $\{\mathrm{s}_{P}(\lambda)\}_{P\in\mathcal{P}(M)}$, we can define a $(G,L)$-family by setting

[TABLE]

for any $P\in\mathcal{P}(M),\,P\subset Q$. Moreover, the function $\mathrm{s}_{Q}^{\prime}(\lambda)$ deduced from the $(G,M)$-family $\{\mathrm{s}_{P}(\lambda)\}_{P\in\mathcal{P}(M)}$ is the same as that from the $(G,L)$-family $\{\mathrm{s}_{Q}(\lambda)\}_{Q\in\mathcal{P}(L)}$ by formula (6.3) in [A2]. In this way, we get the $(G,L)$-family $\{\mathrm{w}_{Q}(\lambda,\xi)\}_{Q\in\mathcal{P}(L)}$ and the equality

[TABLE]

by the second assertion of lemma 2.9, where for each $Q\in\mathcal{P}(L)$ we take $P\in\mathcal{P}(M),\,P\subset Q$ and the limit is taken for $\lambda\in\mathfrak{a}_{L}^{*}$ generic. Now that

[TABLE]

and $\langle\lambda,\,[\xi]_{P}\rangle=\langle\lambda,\,[\xi_{L}]_{Q}\rangle$ for any $\lambda\in\mathfrak{a}_{L}^{*}$, we get

[TABLE]

where the last equality follows from equation (2.15).

∎

By (2.11), we can rewrite $J_{M}^{\xi}(\gamma)$ as

[TABLE]

As $\mathrm{v}_{M}^{Q}$ is also left $T(F)$-invariant, we can define

[TABLE]

Let $Q=LN_{Q}$ be the standard Levi decomposition. Let $dl$ be the Haar measure on $L(F)$ normalized by $\mathrm{vol}_{dl}(L(\mathcal{O}))=1$, let $dn$ be the Haar measure on $N_{Q}(F)$ normalized by $\mathrm{vol}_{dn}(N_{Q}(\mathcal{O}))=1$. Using Iwasawa decomposition, we can rewrite $J_{M}^{Q}(\gamma)$ as

[TABLE]

where in the second and third lines we have used the equalities $\mathrm{v}_{M}^{Q}(nlk)=\mathrm{v}_{M}^{Q}(l)$ and $\mathrm{v}_{M}^{Q}(l)=\mathrm{v}_{M}^{L}(l)$ respectively, they follow directly from definitions. Notice that

[TABLE]

where the last equality follows from Prop. 2.4. Continuing the calculation (2.16), we get

[TABLE]

Combining all the above calculations, we get

[TABLE]

where the last equality follows from lemma 2.10. This finishes the proof of theorem 2.8.

3. Counting points by Arthur-Kottwitz reduction

From now on, we will assume that $G_{\mathrm{der}}$ is simply connected. The general case can be reduced to this one by focusing on each connected component. This extra assumption gives some technical convenience, for example, $M_{0,\mathrm{der}}$ will be simply connected, $\Lambda_{M_{0}}$ will be torsion free and we get an inclusion $\Lambda_{M_{0}}\hookrightarrow\mathfrak{a}_{M_{0}}$. Moreover, we have $X_{*}(M_{0})=\Lambda_{M_{0}}$, according to [CL2], lemma 11.6.1.

Fix $M\in\mathcal{L}(M_{0})$, let $\Pi$ be a sufficiently regular positive $(G,M)$-orthogonal family. We count the number of points on $\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}^{\nu_{0}}(\Pi)$, $\nu_{0}\in\Lambda_{G}$. Generalizing our work [C3], we show that it can be reduced to counting points on the intermediate fundamental domains $F_{\gamma}^{L,M},\,L\in\mathcal{L}(M)$, and the counting result depends quasi-polynomially on the truncation parameter. Moreover, counting points on $\Lambda^{H_{M}}\backslash F_{\gamma}^{L,M}$ can be further reduced to that of the fundamental domains $F_{\gamma}^{M^{\prime}}$ for some $M^{\prime}\in\mathcal{L}(M_{0})$ “transversal” to $M$.

3.1. Truncations on the affine grassmannian

Recall the following definition of Arthur [A1], which is a formalization of the orthogonal properties in proposition 2.5.

Definition 3.1**.**

A family $\Pi=(\lambda_{P})_{P\in\mathcal{P}(M)}$ of elements in $\mathfrak{a}_{M}^{G}$ is called a positive $(G,M)$-orthogonal family if it satisfies

[TABLE]

for any two adjacent parabolic subgroups $P_{1},\,P_{2}\in\mathcal{P}(M)$.

Given such a positive $(G,M)$-orthogonal family, we will denote again by $\Pi$ the convex hull of the $\lambda_{P}$’s. For $Q=LN_{Q}\in\mathcal{F}(M)$, parallel to $\mathrm{Ec}_{M}^{Q}(x)$, we denote by $\Pi^{Q}$ the face of $\Pi$ whose vertices are $\lambda_{P},\,P\in\mathcal{P}(M),\,P\subset Q$. With the projection $\pi_{M}^{L}$, it can be seen as a positive $(L,M)$-orthogonal family. This sets up a bijection between the set $\mathcal{F}(M)$ and the set of the faces of $\Pi$. Moreover, we denote by $\lambda_{Q}$ or $\lambda_{Q}(\Pi)$ the element $\pi_{M,L}(\lambda_{P^{\prime}})$ for any $P^{\prime}\in\mathcal{P}(M),\,P^{\prime}\subset Q$. One can show that \big{(}\lambda_{Q}(\Pi)\big{)}_{Q\in\mathcal{P}(L)} forms a positive $(G,L)$-orthogonal family. Later on, we also use the notation $(\lambda_{\bar{w}})_{\bar{w}\in W/W_{M}}$ for $(\lambda_{\bar{w}\cdot P})_{\bar{w}\in W/W_{M}}$, and we use the notation $\lambda_{w}(\Pi)$ or $\lambda_{w\cdot P}(\Pi)$ to indicate the vertex of $\Pi$ indexed by $w\cdot P$.

Following Chaudouard and Laumon [CL1], we define the truncated affine grassmannian $\mathscr{X}(\Pi)$ to be

[TABLE]

We want to point out that its connected components are also parametrized by $\Lambda_{G}$, but they are not isomorphic in general. However, there is periodicity in the connected components: Let $G^{\mathrm{ad}}$ be the adjoint group of $G$, let $c_{G}:\Lambda_{G}\to\Lambda_{G^{\mathrm{ad}}}$ be the projection induced by the natural projection $T\to T/Z_{G}$. For $\nu,\nu^{\prime}\in\Lambda_{G}$, we have

[TABLE]

because they can be translated to each other by elements in $Z_{G}(F)$.

For regular element $\gamma\in\mathfrak{t}(\mathcal{O})$, we can truncate the affine Springer fiber $\mathscr{X}_{\gamma}$ similarly by defining

[TABLE]

and the same observation on the connected components of $\mathscr{X}(\Pi)$ holds also for $\mathscr{X}_{\gamma}(\Pi)$.

3.2. The intermediate fundamental domain

We generalize our construction of the fundamental domain $F_{\gamma}$ in [C3].333In [C3], we have confused $\Lambda,\,\Lambda_{M_{0}}$ and $\pi_{0}(T(F))$. With our current notations, there are morphisms $\Lambda\to\Lambda_{M_{0}}$ and $\Lambda\to\pi_{0}(T(F))$. Generally, they are not isomorphic. In particular, $F_{\gamma}$ is not a fundamental domain for the $\Lambda$-action, i.e. $\mathscr{X}_{\gamma}\neq\bigcup_{\lambda\in\Lambda}\lambda\cdot F_{\gamma}$. Moreover, the group $\pi_{0}(T(F))$ may have complicated torsion subgroup, this implies that $F_{\gamma}$ may have complicated irreducible components as well, contrary to our expectation there. Actually, there should be a bijection between $\pi_{0}(F_{\gamma})$ and $\pi_{0}(F_{\gamma}^{M_{0}})$, and both are isomorphic to $\pi_{0}(T(F))_{\mathrm{tor}}$. Nevertheless, other results of [C3] hold if we assume that $G_{\mathrm{der}}$ is simply connected, and the general case can be reduced to that one. This extra assumption is to make sure that for any Levi subgroup $M\in\mathcal{L}(M_{0})$ we have $\Lambda_{M}$ being torsion free and we get an inclusion $\Lambda_{M}\hookrightarrow\mathfrak{a}_{M}$, they hold as $M_{\mathrm{der}}$ is simply connected. Moreover, we have $X_{*}(M)=\Lambda_{M}$, according to [CL2] lemma 11.6.1.

Let $P_{1}=MN_{1},P_{2}=MN_{2}\in\mathcal{P}(M)$ be two adjacent parabolic subgroups. Let $m_{\alpha}$ be the unique positive integer such that the image of $\alpha^{\vee}$ in $\Lambda_{M}$ is equal to $m_{\alpha}\cdot\beta_{P_{1},P_{2}}$. Let

[TABLE]

It can be verified that $n(\gamma,P_{1},P_{2})$ is an integer.

Proposition 3.1** (Goresky-Kottwitz-MacPherson).**

Let $x\in\mathscr{X}_{\gamma}$.

1. (1)

For any two adjacent parabolic subgroups $P_{1},P_{2}\in\mathcal{P}(M)$, we have

[TABLE] 2. (2)

The point $x$ is regular in $\mathscr{X}_{\gamma}$ if and only if the following two conditions hold:

1. (a)

the point $f_{P}(x)$ is regular in $\mathscr{X}^{M}_{\gamma}$ for all $P\in\mathcal{P}(M)$; 2. (b)

for any two adjacent parabolic subgroups $P_{1},P_{2}$ in $\mathcal{P}(M)$, one has

[TABLE]

Notice that although Goresky, Kottwitz and MacPherson work over the field $F=\mathbf{C}(\!(\epsilon)\!)$, their proof works for any field $F=k(\!(\epsilon)\!)$ with $\mathrm{char}(k)>|W|$. Their result motivates our definition:

Definition 3.2**.**

Take a regular point $x_{0}\in\mathscr{X}_{\gamma}^{\mathrm{reg}}$. Let

[TABLE]

We call it an intermediate fundamental domain of $\mathscr{X}_{\gamma}$ with respect to $M$.

We should have used the notation $F_{\gamma,x_{0}}^{G,M}$ to indicate the dependence on $x_{0}$, but they are isomorphic to each other for any choice of the regular point $x_{0}$. Indeed, for any two regular points $x_{1},x_{2}$, we can find $t\in T(F)$ such that $x_{1}=t\cdot x_{2}$. Now that $\mathrm{Ec}_{M}(tx)=\mathrm{Ec}_{M}(x)+H_{M}(t),\,\forall\,x\in\mathscr{X}$, the intermediate fundamental domain given by $x_{1}$ is just the translation by $t$ of that given by $x_{2}$. Notice that for $M=M_{0}$, we recover the fundamental domain $F_{\gamma}$. For simplicity, we assume that $\nu_{G}(x_{0})=0$.

Unlike the fundamental domain, the intermediate $F_{\gamma}^{G,M}$ is no longer of finite type for $M\supsetneq M_{0}$. Nonetheless, we have

Proposition 3.2**.**

The free discrete abelian group $\Lambda^{H_{M}}$ acts freely on $F_{\gamma}^{G,M}$, and the quotient $\Lambda^{H_{M}}\backslash F_{\gamma}^{G,M}$ is of finite type.

Proof.

Recall that $\Lambda^{H_{M}}=\Lambda\cap\ker(H_{M})$ by definition, hence it preserves $F_{\gamma}^{G,M}$ because left translation by $m\in\ker(H_{M})$ doesn’t change the polytope $\mathrm{Ec}_{M}(x)$ due to the property

[TABLE]

For the finiteness issue. Let $\Lambda_{M_{0}}^{H_{M}}\subset\Lambda_{M_{0}}$ be the kernel of the natural projection $\Lambda_{M_{0}}\to\Lambda_{M}$. By definition, we have

[TABLE]

which implies that

[TABLE]

Now that $\Lambda\cong X_{*}(S)$ and $X_{*}(S)\hookrightarrow\Lambda_{M_{0}}$ is of finite index, the quotient $\Lambda^{H_{M}}\backslash\Lambda_{M_{0}}^{H_{M}}$ is of finite cardinal. Hence the quotient $\Lambda^{H_{M}}\backslash F_{\gamma}^{G,M}$ is dominated by union of finitely many translations of $F_{\gamma}$ under the natural projection $F_{\gamma}^{G,M}\to\Lambda^{H_{M}}\backslash F_{\gamma}^{G,M}$. As $F_{\gamma}$ is of finite type, so is the quotient $\Lambda^{H_{M}}\backslash F_{\gamma}^{G,M}$.

∎

Similar proof applies to:

Proposition 3.3**.**

Let $\Pi$ be a regular positive $(G,M)$-orthogonal family. For any $\nu\in\Lambda_{G}$, the free discret abelian group $\Lambda^{H_{M}}$ acts freely on $\mathscr{X}_{\gamma}^{\nu}(\Pi)$, and the quotient $\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}^{\nu}(\Pi)$ is of finite type. In particular,

[TABLE]

Remark 3.1*.*

In the definition of (weighted) orbital integral, we are concerned more about analogues of \Lambda^{H_{M}}\backslash\big{(}\mathscr{X}_{\gamma}^{\nu}(\Pi)(\mathbf{F}_{q})\big{)}, but notice that there is bijection between

[TABLE]

because $\Lambda^{H_{M}}$ acts freely on $\mathscr{X}_{\gamma}^{\nu}(\Pi)$ and the Galois group $\mathrm{Gal}(\overline{\mathbf{F}}_{q}/\mathbf{F}_{q})$ acts trivially on $\Lambda^{H_{M}}$. We will decompose the scheme $\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}^{\nu}(\Pi)$ in different ways, the bijection above implies that we can deduce equality of rational points over $\mathbf{F}_{q}$ from the decomposition of schemes.

In the following, we simplify the notation $\mathrm{Ec}_{M}(x_{0})$ to $\Sigma_{\gamma}^{G,M}$. For $\nu\in\Lambda_{G}$, let

[TABLE]

As we have explained before, it depends only on the class $c_{G}(\nu)\in\Lambda_{G^{\mathrm{ad}}}$. For $M=M_{0}$, we simplify $\Sigma_{\gamma}^{G,M_{0}}$ to $\Sigma_{\gamma}$ and $F_{\gamma}^{G,M_{0},\nu}$ to $F_{\gamma}^{\nu}$.

3.3. The Arthur-Kottwitz reduction

Recall that we can reduce the geometry of $\mathscr{X}_{\gamma}$ to that of its fundamental domain by the Arthur-Kottwitz reduction [C3]. The construction can be generalized to our current setting.

Let $Q_{0}$ be the unique parabolic subgroup in $\mathcal{P}(M)$ which contains $P_{0}$. Let $\varsigma\in\mathfrak{a}_{M}^{G}$ be such that $\alpha(\varsigma)$ is positive but almost equal to [math] for any $\alpha\in\Delta_{Q_{0}}$. Let $D_{M}=(\lambda_{P})_{P\in\mathcal{P}(M)}$ be the $(G,M)$-orthogonal family given by

[TABLE]

where $w\in W$ is any element satisfying $P=w\cdot Q_{0}$. For $Q=LN_{Q}\in\mathcal{F}(M)$, define $R^{G,M}_{Q}$ to be the subset of $\mathfrak{a}_{M}^{G}$ satisfying conditions

[TABLE]

This gives us a partition which dates back at least to Arthur [A3]:

[TABLE]

It induces a disjoint partition of $\Lambda_{M}$ via the map $\Lambda_{M}\to\mathfrak{a}_{M}^{G}$, as we have perturbed $(H_{P}(x_{0}))_{P\in\mathcal{P}(M)}$ with $\varsigma$. The Fig. 1 gives an illustration of the partition for the group $\mathrm{GL}_{3}$ and $M_{0}=T=A$.

Similar to the key lemma 3.1 of [C3], we have the following result due to proposition 3.1:

Lemma 3.4**.**

For any $x\in\mathscr{X}_{\gamma}$, there exists a unique $Q\in\mathcal{F}(M)$ such that

[TABLE]

The referee has suggested an equivalent form of the lemma, which is much easier to understand and to prove: Let $\mathfrak{a}_{M}^{G}=\bigcup_{Q\in\mathcal{F}(M)}R^{\prime}_{Q}$ be the partition as above attached to the positive $(G,M)$-orthogonal family \big{(}H_{P}(x_{0})-H_{P}(x)+w\cdot\varsigma\big{)}_{P\in\mathcal{P}(M)}, then the statement is equivalent to the existence of a unique $Q\in\mathcal{F}(M)$ such that $0\in R^{\prime}_{Q}$. Here the positiveness of the $(G,M)$-orthogonal family is due to proposition 3.1. Let

[TABLE]

We get thus a disjoint partition

[TABLE]

For each parabolic subgroup $Q=LN_{Q}\in\mathcal{F}(M)$, consider the restriction of the retraction $f_{Q}:\mathscr{X}\to\mathscr{X}^{L}$ to $S^{G,M}_{Q}$, its image is $S^{G,M}_{Q}\cap\mathscr{X}_{\gamma}^{L}$. Recall that the connected components of $\mathscr{X}_{\gamma}^{L}$ are fibers of the map $\nu_{L}:\mathscr{X}_{\gamma}^{L}\to\Lambda_{L}$. For $\nu\in\Lambda_{L}$, let $\mathscr{X}_{\gamma}^{L,\nu}$ be its fiber at $\nu$. Let

[TABLE]

we have

[TABLE]

Proposition 3.5**.**

The strata $S_{Q}^{G,M,\nu}$ are locally closed sub-schemes of $\mathscr{X}_{\gamma}$, and the retraction $f_{Q}:S_{Q}^{G,M,\nu}\to\mathscr{X}_{\gamma}^{L,\nu}(D_{M}^{Q})$ is an iterated affine fibration over $\mathbf{F}_{q}$ of dimension

[TABLE]

Indeed, by the bound on $\mathrm{Ec}_{M}(x)$ given by proposition 3.1, we get

[TABLE]

It is an iterated affine fibration over $\mathscr{X}_{\gamma}^{L,\nu}(D_{M}^{Q})$ by proposition 2.4.

The decomposition (3.3) can thus be refined to

[TABLE]

where we have loosely used $\Lambda_{L}\cap\pi_{L}(R_{Q}^{G,M})$ to mean elements in $\Lambda_{L}$ whose projection to $\mathfrak{a}_{L}^{G}$ lies in $\pi_{L}(R_{Q}^{G,M})$. Similar notations will be used later on. The decomposition (3.4) will also be called the Arthur-Kottwitz reduction. Notice that the stratum $S_{Q}^{G,M,\nu}$ is an iterated affine fibration over $\mathscr{X}_{\gamma}^{L,\nu}(D_{M}^{Q})=F_{\gamma}^{L,M,\nu}$, and the later is related to $F_{\gamma}^{L,M}$ again by Arthur-Kottwitz reduction, similar to that explained in lemma 3.4 of [C3].

As in [C3], the existence of Arthur-Kottwitz reduction implies:

Corollary 3.6**.**

For any $\gamma\in\mathfrak{t}(\mathcal{O})$, suppose that $F_{\gamma}^{L,M}$ is cohomologically pure for any proper Levi subgroup $L\in\mathcal{L}(M)$. Then $\mathscr{X}_{\gamma}$ is cohomologically pure if and only if $F_{\gamma}^{G,M}$ is.

We can restrict the Arthur-Kottwitz reduction to the truncated affine Springer fibers. A positive $(G,M)$-orthogonal family $\Pi=(\mu_{P})_{P\in\mathcal{P}(M)}$ is said to be regular with respect to $D_{M}$ if $\mu_{P}\in R^{G,M}_{P},\,\forall\,P\in\mathcal{P}(M)$. In this case, each $S_{Q}^{G,M,\nu}$ is either contained in $\mathscr{X}_{\gamma}^{\nu}(\Pi)$ or disjoint from it. So we have

[TABLE]

The reduction can be further restricted to each connected component of $\mathscr{X}_{\gamma}(\Pi)$:

[TABLE]

As we have explained, left translation by elements in $\ker(H_{M})$ doesn’t change the polytope $\mathrm{Ec}_{M}(x)$, hence the group $\Lambda^{H_{M}}$ acts on each item of equation (3.6). Now that we have finiteness results–proposition 3.2 and 3.3, combined with proposition 3.5 and the periodicity of $F_{\gamma}^{L,M,\nu}$ in $\nu\in\Lambda_{L}$, the equation (3.6) implies counting points equality:

Corollary 3.7**.**

We have the equality

[TABLE]

Notice that the term $|\Lambda^{\nu_{0}}_{L}\cap\pi_{L}(R_{Q}^{G,M})\cap\pi_{L}(\Pi)\cap c_{L}^{-1}(\mu)|$ counts the number of lattice points in a polytope. Well-known techniques from toric geometry tells us that the counting result depends quasi-polynomially on the size of the polytope.

Remark 3.2*.*

As the above constructions rely ultimately on the bound of $\mathrm{Ec}_{M}(x)$ given by proposition 3.1, they continue to work if we replace $\Sigma_{\gamma}^{G,M}$ from the beginning by any integral positive $(G,M)$-orthogonal family $\Sigma$ which satisfies

[TABLE]

for any two adjacent parabolic subgroups $P_{1},P_{2}\in\mathcal{P}(M)$. The resulting decomposition will also be called the Arthur-Kottwitz reduction.

3.4. Counting points on the intermediate fundamental domains

Although the intermediate fundamental domains $F_{\gamma}^{G,M}$ looks like something new, it turns out that counting points of $\Lambda^{H_{M}}\backslash F_{\gamma}^{G,M}$ can be reduced to that of the fundamental domains.

As explained in the proof of proposition 3.2, we have

[TABLE]

and

[TABLE]

Let $P_{0}^{M}=P_{0}\cap M$, let $\beta_{1}^{\vee},\cdots,\beta_{r^{\prime}}^{\vee}\in\Lambda_{M_{0}}^{H_{M}}$ be a basis of $\mathfrak{a}_{M_{0}}^{M}$ which is positive with respect to $P_{0}^{M}$. For $\mu_{1},\mu_{2}\in\Lambda_{M_{0}}^{H_{M}}$, we say that $\mu_{1}\preccurlyeq_{P_{0}^{M}}\mu_{2}$ if $\mu_{2}-\mu_{1}$ is a linear combination of $\beta_{i}^{\vee}$’s with positive coefficients. This defines a partial order $\preccurlyeq_{P_{0}^{M}}$ on $\Lambda_{M_{0}}^{H_{M}}$. For $\mu\in\Lambda_{M_{0}}^{H_{M}}$, let

[TABLE]

Then $\Pi_{\gamma,\preccurlyeq\mu}^{G,M}$ is a semi-infinite polytope in $\mathfrak{a}_{M_{0}}^{G}$ and $\Lambda_{M_{0},\preccurlyeq\mu}^{H_{M}}$ is the integral points in it. Similar definitions for $\Lambda_{M_{0},\prec\mu}^{H_{M}}$ and $\Pi_{\gamma,\prec\mu}^{G,M}$. But notice that $\Pi_{\gamma,\prec\mu}^{G,M}$ is not a semi-infinite polytope, it is the union of finitely many semi-infinite polytopes of the form $\Pi_{\gamma,\preccurlyeq\mu^{\prime}}^{G,M}$, $\mu^{\prime}\in\Lambda_{M_{0}}^{H_{M}}$. Let

[TABLE]

and similarly

[TABLE]

It is the union of finitely many $F_{\gamma,\preccurlyeq\mu^{\prime}}^{G,M}$, $\mu^{\prime}\in\Lambda_{M_{0}}^{H_{M}}$. Let

[TABLE]

Being difference of closed sub-schemes, $F_{\gamma,\,\mu}^{G,M}$ is locally closed in $\mathscr{X}_{\gamma}^{0}$. As $F_{\gamma,\preccurlyeq\mu}^{G,M}$ is semi-infinite unions of translations of the fundamental domains, they are all isomorphic; Similarly for $F_{\gamma,\prec\mu}^{G,M}$. Hence $F_{\gamma,\,\mu}^{G,M}$ are all isomorphic. Moreover,

[TABLE]

by induction, and

[TABLE]

From all these we conclude:

Proposition 3.8**.**

$F_{\gamma,\,\mu}^{G,M}$* is isomorphic to each other for all $\mu\in\Lambda_{M_{0}}^{H_{M}}$. In particular,*

[TABLE]

Counting points on $F_{\gamma,\,\mu}^{G,M}$ can be reduced to the fundamental domains via a process similar to the Arthur-Kottwitz reduction. To begin with, notice that $\Pi_{\gamma,\preccurlyeq\mu}^{G,M}$ is bounded only in directions that are positive with respect to $P_{0}^{M}$. Indeed, its vertices are indexed by $P\in\mathcal{P}(M_{0})$ satisfying $P\cap M=P_{0}^{M}$ and its faces indexed by $Q\in\mathcal{F}(M_{0})$ such that $Q\cap M\supset P_{0}^{M}$. Then, we define a semi-infinite polytope $\Pi_{\gamma,\preccurlyeq\mu^{-}}^{G,M}$ which is a translation of $\Pi_{\gamma,\preccurlyeq\mu}^{G,M}$: Let $\Delta^{M}$ be the set of simple roots in $\Phi(M,A)$ with respect to $B_{0}\cap M$, let $\Delta^{M}_{P_{0}^{M}}=\Delta^{M}\cap\Phi(N_{P_{0}^{M}},A)$, with $N_{P_{0}^{M}}$ being the unipotent radical of $P_{0}^{M}$. For $\alpha\in\Delta^{M}_{P_{0}^{M}}$, let $\{\omega_{\alpha}^{\vee}\}$ be the corresponding fundamental coweights. Let

[TABLE]

where $\pi_{2}$ is the projection to the second factor in the orthogonal decomposition $\mathfrak{a}_{A}^{G}=\mathfrak{a}_{A}^{M_{0}}\oplus\mathfrak{a}_{M_{0}}^{M}\oplus\mathfrak{a}_{M}^{G}$. Then $\Pi_{\gamma,\preccurlyeq\mu^{-}}^{G,M}$ is a translation of $\Pi_{\gamma,\preccurlyeq\mu}^{G,M}$ by the same vector. Now let $\varsigma\in\mathfrak{a}_{M_{0}}^{G}$ be a generic element such that $\alpha(\varsigma)$ is positive but almost equal to [math] for any $\alpha\in\Delta_{P_{0}}$. We perturb the semi-infinite polytope $\Pi_{\gamma,\preccurlyeq\mu^{-}}^{G,M}$ to a similar one $\Pi^{\prime}$, with vertices

[TABLE]

where $w\in W$ is any element satisfying $P=w\cdot P_{0}$. Both $\Pi_{\gamma,\preccurlyeq\mu}^{G,M}$ and $\Pi^{\prime}$ can be seen as limits of positive $(G,M_{0})$-orthogonal families containing $\Sigma_{\gamma}$, hence we can apply an analogue of the Arthur-Kottwitz reduction to get a decomposition of the complement $\mathscr{X}_{\gamma}^{0}(\Pi_{\gamma,\preccurlyeq\mu}^{G,M})\backslash\mathscr{X}_{\gamma}^{0}(\Pi^{\prime})$. For $Q=LN_{Q}\in\mathcal{F}(M_{0})$ satisfying $Q\cap M\supset P_{0}^{M}$, define $R_{\Pi^{\prime},\,Q}$ to be the subset of $\mathfrak{a}_{M_{0}}^{G}$ satisfying conditions

[TABLE]

This gives us a partition

[TABLE]

It induces a disjoint partition of $\Lambda_{M_{0}}$. For $G=\mathrm{GL}_{3}$, $\gamma$ split and $M=M_{\alpha_{12}}$, we get Fig. 2.

Running the same construction as in §3.3. For $Q=LN_{Q}\in\mathcal{F}(M_{0}),\,Q\neq G$ and $Q\cap M\supset P_{0}^{M}$, let

[TABLE]

and let

[TABLE]

We get a disjoint partition

[TABLE]

The strata $S_{\Pi^{\prime},Q}^{\nu}$ are locally closed sub-schemes of $\mathscr{X}_{\gamma}$, and the retraction $f_{Q}:S_{\Pi^{\prime},Q}^{\nu}\to\mathscr{X}_{\gamma}^{L,\nu}({\Pi^{\prime}}^{Q})$ is an iterated affine fibration over $\mathbf{F}_{q}$ of dimension $\mathrm{val}(\det(\mathrm{ad}(\gamma\mid\mathfrak{n}_{Q,F}))).$

Proposition 3.9**.**

We have the equality

[TABLE]

Moreover, the index set $\Lambda^{0}_{L}\cap\pi_{L}(R_{\Pi^{\prime},Q})\cap\pi_{L}(\Pi_{\gamma,\preccurlyeq\mu}^{G,M})$ consists of at most one element, it is non-empty if and only if $Q$ is not contained in any $Q^{\prime}\in\mathcal{F}(M)$.

Proof.

For the first assertion. By construction, the points $x\in F_{\gamma,\,\mu}^{G,M}$ are characterized by the property

[TABLE]

for some $Q\in\mathcal{F}(M_{0}),\,Q\neq G,\,Q\cap M=P_{0}^{M}$. Since this is also the property characterizing points on the right hand side of the equality, we get the equality as claimed. The second assertion follows from the observation that $\Pi^{\prime}$ is a slight expansion of $\Pi_{\gamma,\preccurlyeq\mu^{-}}^{G,M}$, hence the regions $R_{\Pi^{\prime},Q}$, $Q$ contained in some maximal parabolic subgroup in $\mathcal{F}(M)$, contain no elements in $\Lambda_{L}^{0}\cap\pi_{L}(\Pi_{\gamma,\preccurlyeq\mu}^{G,M})$.

∎

If the index set $\Lambda^{0}_{L}\cap\pi_{L}(R_{\Pi^{\prime},Q})\cap\pi_{L}(\Pi_{\gamma,\preccurlyeq\mu}^{G,M})$ is non-empty, we denote by $\nu_{Q}$ the unique element in it. Let $\mu_{Q}\in\Lambda_{L}^{0}$ be the unique element such that $\alpha(\mu_{Q})=1$ for all $\alpha\in\Delta_{Q}$, then we have

[TABLE]

Combining with the fact that

[TABLE]

is an iterated affine fibration, we get

Corollary 3.10**.**

For $M\in\mathcal{L}(M_{0}),\,M\neq M_{0}$, we have the equality

[TABLE]

where $(*)$ refers to the conditon that $Q\cap M=P_{0}^{M}$ and $Q\nsubseteq Q^{\prime},\,\forall\,Q^{\prime}\in\mathcal{F}(M)$.

Notice that the equation doesn’t involve the fundamental domain $F_{\gamma}$. Together with corollary 3.7 and proposition 3.8, we get an expression of |\big{(}\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}^{\nu_{0}}(\Pi)\big{)}(\mathbf{F}_{q})| in terms of $|F_{\gamma}^{L,\mu_{Q}}(\mathbf{F}_{q})|$, $L\in\mathcal{L}(M_{0}),\,L\neq G$. Recall that counting points on $F_{\gamma}^{L,\mu_{Q}}$ can be reduced to that of $F_{\gamma}^{L^{\prime}}$, $L^{\prime}\in\mathcal{L}(M_{0}),L^{\prime}\subset L$, by the Arthur-Kottwitz reduction, we get an expression of |\big{(}\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}^{\nu_{0}}(\Pi)\big{)}(\mathbf{F}_{q})| in terms of $|F_{\gamma}^{L^{\prime}}(\mathbf{F}_{q})|,L^{\prime}\in\mathcal{L}(M_{0})$.

4. Counting points by Harder-Narasimhan reduction

The number of points |\big{(}\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}^{\nu_{0}}(\Pi)\big{)}(\mathbf{F}_{q})|,\,\nu_{0}\in\Lambda_{G}, can also be counted by the Harder-Narasimhan reduction. The comparison with results from last section gives us a recursive relation between Arthur’s weighted orbital integrals and the number of rational points on the fundamental domains.

4.1. Harder-Narasimhan reduction on the affine Springer fibers

We have introduced a notion of $\xi$-stability on the affine Grassmannian and constructed the associated Harder-Narasimhan reduction in [C2]. In this section, we generalize it to a broader set-up. The following lemma is an analogue of [CL2], proposition 5.6.1. Let $S$ be an affine $\mathbf{F}_{q}$-scheme and $x\in\mathscr{X}(S)$. For every point $s\in S$, let $x_{s}\in\mathscr{X}(k(s))$ be the base change of $x$ to the residue field $k(s)$ of S at $s$. Let $\mathcal{C}_{x}$ be the map on $S$ which sends every point $s\in S$ to the convex polytope $\mathrm{Ec}(x_{s})$.

Lemma 4.1**.**

Suppose that $S$ is noetherian. The map $\mathcal{C}_{x}$ from $S$ to the set of convex polytopes in $\mathfrak{a}_{A}^{G}$ ordered by inclusion is lower semi-continuous. In other words, for any convex polytope $\Xi$, the set

[TABLE]

is open.

Proof.

To begin with, we show that $\mathcal{C}_{x}$ is constructible and it takes only finitely many values. Passing to the irreducible components of $S$, we can suppose that $S$ is irreducible. Let $\eta$ be the generic point of $S$. Let g_{\eta}\in G\big{(}k(\eta)(\!(\epsilon)\!)\big{)} be a representative of $x_{\eta}$. For $B=AN\in\mathcal{P}(A)$, we have the Iwasawa decomposition

[TABLE]

where n_{\eta}\in N\big{(}k(\eta)(\!(\epsilon)\!)\big{)}, a_{\eta}\in A\big{(}k(\eta)(\!(\epsilon)\!)\big{)} and k_{\eta}\in G\big{(}k(\eta)[\![\epsilon]\!]\big{)}. Because $\eta$ is the generic point and the map $\nu_{A}:\mathscr{X}^{A}\to X_{*}(A)$ is essentially the valuation map, there exists an open sub-scheme $U$ of $S$ such that $H_{B}(x_{s})=\nu_{A}(a_{\eta})$ for any $x\in U$. As $\mathrm{Ec}(x_{s})$ is the convex hull of $H_{B}(x_{s}),\,B\in\mathcal{P}(A)$, the map $\mathcal{C}_{x}$ takes the constant value $\mathrm{Ec}(x_{\eta})$ on the intersection of all such open sub-schemes $U$. This proves the constructibility of $\mathcal{C}_{x}$. By the noetherian induction, the map $\mathcal{C}_{x}$ takes only finitely many values.

To finish the proof, we only need to show that the map $\mathcal{C}_{x}$ decreases under specialisation. In other words, let $S$ be the spectrum of a discret valuation ring, let $s$ be its special point and $\eta$ its generic point, then

[TABLE]

This is equivalent to the assertion that

[TABLE]

where $\prec_{B}$ is the order on $X_{*}(A)$ such that $\mu_{1}\prec_{B}\mu_{2}$ if and only if $\mu_{2}-\mu_{1}$ is a positive linear combination of positive coroots with respect to $B$.

Let $\mu=f_{B}(x_{\eta})\in X_{*}(A)$. By definition, we have

[TABLE]

where $U_{B}$ is the unipotent radical of $B$. So

[TABLE]

which implies the relation (4.1).

∎

Definition 4.1**.**

Let $\xi\in\mathfrak{a}_{M}^{G}$ be a generic element. A point $x\in\mathscr{X}$ is said to be $\xi$-stable if the polytope \pi^{G}\big{(}\mathrm{Ec}_{M}(x)\big{)} contains $\xi$.

As $\mathrm{Ec}_{M}(x)=\pi_{M}(\mathrm{Ec}(x))$, the subset

[TABLE]

is an open sub-ind-$\mathbf{F}_{q}$-scheme of $\mathscr{X}$ by lemma 4.1. This been shown, all the other constructions of [C2] generalize.

Remark 4.1*.*

When $M=A$, we recover the $\xi$-stability of [C2]. In that work, we prove that the notion of $\xi$-stability coïncides with the notion of stability for a twisted action of $A$ on $\mathscr{X}$. We believe that this holds also in the current setting with the torus $A_{M}$ playing the role of $A$. If this holds, we can conclude that the quotient $\mathscr{X}^{\xi}/A_{M}$ exists as an ind-$\mathbf{F}_{q}$-scheme.

Harder-Narasimhan reduction works as well in this setting. For $Q=LN_{Q}\in\mathcal{F}(M)$, let $\Phi_{Q}(G,L)$ be the image of $\Phi(N_{Q},\,A)$ in $(\mathfrak{a}_{L}^{G})^{*}$. For any point $a\in\mathfrak{a}_{L}^{G}$, we define a cone in $\mathfrak{a}_{L}^{G}$,

[TABLE]

Definition 4.2**.**

For any geometric point $x\in\mathscr{X}$, we define a semi-cylinder $C_{Q}(x)$ in $\mathfrak{a}_{M}^{G}$ by

[TABLE]

By definition, we get a partition

[TABLE]

for which the interior of any two parts doesn’t intersect. The picture is similar to Fig. 1. Hence for any $x\notin\mathscr{X}^{\xi}$, there exists a unique parabolic subgroup $Q\in\mathcal{F}(M)$ such that $\xi\in C_{Q}(x)$ as $\xi$ is generic. In this case, $f_{Q}(x)\in\mathscr{X}^{L}$ is $\xi^{L}$-stable, where $\xi^{L}=\pi_{M}^{L}(\xi)\in\mathfrak{a}_{M}^{L}$. Let

[TABLE]

we have the decomposition of the affine grassmannian

[TABLE]

For $Q\in\mathcal{P}(L)$, let $Q^{-}$ be the parabolic subgroup opposite to $Q$ with respect to $L$. Let \Lambda^{\xi}_{L,Q}=(\pi_{L}^{G})^{-1}\big{(}D_{Q^{-}}(\xi_{L})\big{)}\cap\Lambda_{L}, we have the disjoint partition

[TABLE]

For $\lambda\in\Lambda_{L}$, let $\mathscr{X}^{L,\lambda,\xi^{L}}=\mathscr{X}^{L,\xi^{L}}\cap\mathscr{X}^{L,\lambda}.$ The stratum $X_{Q}$ can be further decomposed into $N_{Q}(\!(\epsilon)\!)$-orbits

[TABLE]

Each orbit is locally closed in $\mathscr{X}$, they are infinite dimensional homogeneous affine fibrations on $\mathscr{X}^{L,\lambda,\xi^{L}}$ under the retraction $f_{Q}$. The above discussions can be summarized as:

Theorem 4.2**.**

The affine grassmannian can be decomposed as

[TABLE]

Each stratum $N_{Q}(\!(\epsilon)\!)\mathscr{X}^{L,\,\lambda,\,\xi^{L}}$ is an infinite dimensional homogeneous affine fibration over $\mathscr{X}^{L,\,\lambda,\,\xi^{L}}$.

Now that $\gamma\in\mathfrak{m}(F)$, we can restrict the above constructions to $\mathscr{X}_{\gamma}$. Let $\mathscr{X}_{\gamma}^{\xi}=\mathscr{X}_{\gamma}\cap\mathscr{X}^{\xi}$, it is an open sub-scheme of $\mathscr{X}_{\gamma}$. As $T(F)\xrightarrow{H_{M}}X_{*}(M)$ is surjective, the connected components of $\mathscr{X}_{\gamma}^{\xi}$ can be translated to each other by elements of $T(F)$. Moreover, for different choices of generic element $\xi,\,\xi^{\prime}\in\mathfrak{a}_{M}^{G}$, the corresponding $\mathscr{X}_{\gamma}^{\xi},\,\mathscr{X}_{\gamma}^{\xi^{\prime}}$ can be translated to each other by elements of $T(F)$. Hence $\mathscr{X}_{\gamma}^{\xi}$ doesn’t depend on the choice of $\xi$.

The Harder-Narasimhan reduction restricts to

[TABLE]

By proposition 2.4, the retraction

[TABLE]

is an iterated affine fibration over $\mathbf{F}_{q}$ of relative dimension $\mathrm{val}(\det(\mathrm{ad}(\gamma)|\mathfrak{n}_{Q}(F))).$

Coming back to the weighted orbital integrals. With the definition for general reductive algebraic groups as explained in remark 2.1, proposition 2.7 can be reformulated as

Proposition 4.3**.**

Let $\xi\in\mathfrak{a}_{M}^{G}$ be a generic element, then

[TABLE]

In particular, let $\xi_{0}\in\mathfrak{a}_{M_{0}}^{G}$ be a generic element, then

[TABLE]

Proof.

When $G$ is semisimple, the proposition is a reformulation of proposition 2.7. The complexity arises when $G$ has non-trivial connected center.

As $T$ is totally ramified over $F$, with the exact sequence (2.2), we see that the morphism $T(F)\xrightarrow{\nu_{G}}\Lambda_{G}$ is surjective, hence $G(F)=T(F)G_{\mathrm{der}}(F)$, and so

[TABLE]

with $T_{G_{\mathrm{der}}}=T\cap G_{\mathrm{der}}$ and $M_{G_{\mathrm{der}}}=M\cap G_{\mathrm{der}}$. Following calculations in proposition 2.7, we get result similar to what we claim, with $\Lambda^{H_{M}}$ replaced by $\Lambda\cap G_{\mathrm{der}}(F)\cap\ker(H_{M_{G_{\mathrm{der}}}})$ and $T(F)_{M}^{1}$ replaced by $T_{G_{\mathrm{der}}}(F)_{M_{G_{\mathrm{der}}}}^{1}$. Notice that $\ker(H_{M})=M_{\mathrm{der}}(F)\cdot M(\mathcal{O})$ by lemma 6.1 of [CL1], we have

[TABLE]

and

[TABLE]

and the proposition is proved. ∎

The volume factors have been calculated in equation (2.5).

4.2. Harder-Narasimhan reduction for the truncated affine Springer fibers

In contrast to the Arthur-Kottwitz reduction, the Harder-Narasimhan reduction doesn’t work well on the truncated affine Springer fiber $\mathscr{X}_{\gamma}(\Pi)$. We need to cut it into two parts, the tail and the main body. The Harder-Narasimhan reduction works well on the main body, and we can handle the tail with the Arthur-Kottwitz reduction.

For $Q\in\mathcal{F}(M),\,Q\neq G$, we define the positive $(G,M)$-orthogonal family $E_{Q}(\Pi)$, which as a polytope is the union of the translations $\pi^{G}(\Sigma_{\gamma}^{G,M}+\lambda)$, $\lambda\in\Lambda_{M}$, such that $\pi^{G}(\Sigma_{\gamma}^{G,M}+\lambda)^{Q}\subset\Pi^{Q}.$ Let

[TABLE]

We call them the tail and the main body of $\mathscr{X}_{\gamma}(\Pi)$, they are closed and open sub-schemes of $\mathscr{X}_{\gamma}(\Pi)$ respectively. Fig. 3 gives an example of $E_{Q}(\Pi)$ for the group $G=\mathrm{GL}_{3}$ when $M=A$.

Before proceeding, we make precise the condition of $\Pi$ being sufficiently regular. We would like it to satisfy the following conditions:

1. (1)

$\Pi$ is $\Sigma_{\gamma}$-regular. 2. (2)

For all $P,Q\in\mathcal{F}(M)$, $E_{P}(\Pi)\cap E_{Q}(\Pi)=E_{P\cap Q}(\Pi)$. 3. (3)

The complement $\Pi\backslash\bigcup_{\begin{subarray}{c}Q\in\mathcal{F}(M)\\ Q\neq G\end{subarray}}E_{Q}(\Pi)$ is a polytope associated to a positive $(G,M)$-orthogonal family, let $\Pi_{0}$ be a slight shrinking of it (The definition is similar to equation (3.1), with the sign “$+$” replaced by “$-$”). We require that $\Pi_{0}$ is sufficiently large: For all $Q=LN_{Q}\in\mathcal{F}(M)$, the face $\Pi_{0}^{Q}$ contains the translations of $\Sigma_{\gamma}^{Q}$ in $\mathfrak{a}_{M}^{L}$ which have $\xi^{L}$ as one of its vertices.

Remark 4.2*.*

As $\Pi_{0}$ is convex, the condition (3) implies that for any $\nu\in\Lambda_{L,Q}^{\xi}\cap\pi_{L}(\Pi_{0})$ the intersection $\Pi_{0}\cap\pi_{M_{0},L}^{-1}(\nu)$ contains translations of $\Sigma_{\gamma}^{Q}$ in the hyperplane $\pi_{M_{0},L}^{-1}(\nu)$ which have $\xi^{L}$ as one of its vertices. By definition of $\xi$-stability, this implies

[TABLE]

Actually, this is the reason to impose condition (3).

4.2.1. The main body

By definition, a Harder-Narasimhan stratum $N_{Q}(\!(\epsilon)\!)\mathscr{X}_{\gamma}^{L,\,\nu,\,\xi^{L}}\cap\mathscr{X}_{\gamma}$, $\nu\in\Lambda_{L,Q}^{\xi}$, intersects non-trivially with $\mathscr{X}_{\gamma}(\Pi)$ if and only if $\nu\in\Lambda_{L,Q}^{\xi}\cap\pi_{L}(\Pi)$. So, after restriction, the Harder-Narasimhan reduction becomes

[TABLE]

The problem is that the retraction

[TABLE]

is not necessarily an iterated affine fibration. This problem disappears on the main body ${}^{m}\mathscr{X}_{\gamma}(\Pi)$. We begin by analyzing the polytope $\mathrm{Ec}(x),\,x\in\mathscr{X}_{\gamma}(\Pi)$.

Lemma 4.4**.**

For $x\in\mathscr{X}_{\gamma}(\Pi)$, suppose that

[TABLE]

then $\pi^{G}(\mathrm{Ec}_{M}(x))\subset E_{Q}(\Pi)$ for some $Q\in\mathcal{F}(M),\,Q\neq G$.

Proof.

By proposition 3.1, it is enough to prove the lemma for $x\in\mathscr{X}_{\gamma}^{\mathrm{reg}}$. In this case, the polytope $\pi^{G}(\mathrm{Ec}_{M}(x))$ is a translation of $\Sigma_{\gamma}^{G,M}$. As $\bigcup_{\begin{subarray}{c}Q\in\mathcal{F}(M)\\ Q\neq G\end{subarray}}E_{Q}(\Pi)$ is the union of translation of $\Sigma_{\gamma}^{G,M}$ along the facets of $\Pi$, there must be a maximal parabolic subgroup $Q\in\mathcal{F}(M)_{\max}$ such that $\pi^{G}(\mathrm{Ec}_{M}^{Q}(x))\subset\Pi^{Q}$. By definition, this means that $\pi^{G}(\mathrm{Ec}_{M}(x))\subset E_{Q}(\Pi)$.

∎

Lemma 4.5**.**

Let $Q=LN\in\mathcal{F}(M),\,\nu\in\Lambda_{L,Q}^{\xi}$. Suppose that

[TABLE]

then $\nu\in\Lambda_{L,Q}^{\xi}\cap\pi_{L}(\Pi_{0})$.

Proof.

We only need to show that $\nu\in\pi_{L}(\Pi_{0})$. Let $x\in{}^{m}\mathscr{X}_{\gamma}(\Pi)\cap N(\!(\epsilon)\!)\mathscr{X}_{\gamma}^{L,\nu}$. As $x\in{}^{m}\mathscr{X}_{\gamma}(\Pi)$, we have

[TABLE]

By the previous lemma, this is equivalent to

[TABLE]

Suppose that $\nu\notin\pi_{L}(\Pi_{0})$, then $\nu\in\pi_{L}(E_{Q_{0}}(\Pi))$ for some $Q_{0}\in\mathcal{F}(M),\,Q_{0}\supset L$. As $\nu\in\Lambda_{L,Q}^{\xi}$, the parabolic subgroup $Q_{0}$ need to satisfy $Q_{0}\supset Q^{-}$. Now that $x\in N(\!(\epsilon)\!)\mathscr{X}_{\gamma}^{L,\nu}$ and that $\mathrm{Ec}_{L}(x)$ is a positive $(G,L)$-orthogonal family, we have

[TABLE]

As $Q_{0}\supset Q^{-}$, this implies that

[TABLE]

Hence $\pi_{L}(\mathrm{Ec}_{M}(x))\subset\pi_{L}(E_{Q_{0}}(\Pi))$, so

[TABLE]

This is in contradiction with the relation (4.4), hence $\nu$ must lie in $\pi_{L}(\Pi_{0})$.

∎

Restricting the Harder-Narasimhan reduction (4.3) to the main part ${}^{m}\mathscr{X}_{\gamma}(\Pi)$, we have

[TABLE]

The retraction $f_{Q}$ behaves much better on the stratum ${}^{m}\mathscr{X}_{\gamma}(\Pi)\cap N_{Q}(\!(\epsilon)\!)\mathscr{X}_{\gamma}^{L,\lambda,\xi^{L}}$:

Proposition 4.6**.**

Let $Q=LN_{Q}\in\mathcal{F}(M),\,\nu\in\Lambda_{L,Q}^{\xi}\cap\pi_{L}(\Pi_{0})$. We have

[TABLE]

Hence the retraction

[TABLE]

is an iterated affine fibration over $\mathbf{F}_{q}$.

Proof.

Notice that the second assertion is the corollary of the first one, as follows from proposition 2.4. It is thus enough to show the first one. In particular, it is enough to show

[TABLE]

as the inclusion in the other direction is obvious.

Let $x\in\mathscr{X}_{\gamma}\cap N_{Q}(\!(\epsilon)\!)\mathscr{X}_{\gamma}^{L,\nu,\xi^{L}}$, we claim that $\mathrm{Ec}_{M}(x)\subset\Pi$. According to remark 4.2, the condition (3) of $\Pi$ being sufficiently regular implies

[TABLE]

because $f_{Q}(x)\in\mathscr{X}_{\gamma}^{L,\nu,\xi^{L}}$. This implies that $\mathrm{Ec}_{M}(x)\subset\Pi$ by proposition 3.1 because of the inclusion

[TABLE]

where the condition $(*)$ refers to

[TABLE]

The inclusion (4.5) also implies that

[TABLE]

So $x\in{}^{m}\mathscr{X}_{\gamma}(\Pi)$, and the proof is concluded.

∎

We summarize the above discussions in a proposition.

Proposition 4.7**.**

The main body has a decomposition

[TABLE]

and the retraction $f_{Q}$ on each stratum

[TABLE]

is an iterated affine fibration over $\mathbf{F}_{q}$ of dimension $\mathrm{val}(\det(\mathrm{ad}(\gamma)\mid\mathfrak{n}_{Q,F})).$

Of course, we can restrict the decomposition to each connected component ${}^{m}\mathscr{X}_{\gamma}^{\nu_{0}}(\Pi)$, $\nu_{0}\in\Lambda_{G}$. Let $\Lambda_{L,Q}^{\nu_{0},\xi}=\Lambda_{L,Q}^{\xi}\cap\Lambda_{L}^{\nu_{0}}$, the decomposition implies

[TABLE]

Here for the second equality we have used the fact that all the connected components of $\mathscr{X}_{\gamma}^{L,\,\xi_{L}}$ are isomorphic. Moreover, the last term in the equation counts the number of lattice points in a polytope, it can be calculated effectively with methods from toric geometry. In summary,

Theorem 4.8**.**

For any $\nu_{0}\in\Lambda_{G}$, the number of rational points on the main body is

[TABLE]

4.2.2. The tail

As the polytope $\Pi$ satisfies

[TABLE]

by the inclusion-exclusion principle, we have

[TABLE]

where the notation $\mathrm{rk}$ means the semisimple rank. Although the polytope $E_{Q}(\Pi)$ is not $\Sigma_{\gamma}^{G,M}$-regular, we can use the general Arthur-Kottwitz reduction as explained in remark 3.2 repeatedly to decompose $\mathscr{X}_{\gamma}(E_{Q}(\Pi))$ into locally closed sub-schemes which are iterated affine fibrations over $F_{\gamma}^{L,M}$, $L\in\mathcal{L}(M)$. This gives a formula for |\big{(}\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}^{\nu_{0}}(E_{Q}(\Pi))\big{)}(\mathbf{F}_{q})| in terms of the |\big{(}\Lambda^{H_{M}}\backslash F_{\gamma}^{L,M}\big{)}(\mathbf{F}_{q})|’s, which can be further reduced to counting points on the fundamental domains by proposition 3.8 and corollary 3.10. This process applies to a large family of truncated affine Springer fibers.

We introduce a family of operators on the set of all positive $(G,M)$-orthogonal families. Recall that $Q_{0}=MU_{0}$ is the unique parabolic subgroup in $\mathcal{P}(M)$ which contains $P_{0}$. For $L\in\mathcal{L}(M)$, let $Q_{0}^{L}=Q_{0}\cap L$. For a positive $(L,M)$-orthogonal family, we say that two faces of it are conjugate if their associated parabolic subgroups are conjugate to each other by the Weyl group $W_{L}/W_{M}$. In particular, the edges of the polytope are parametrized by minimal elements in $\mathcal{F}^{L}(M)\backslash\{M\}$. An edge is said to be of type $\alpha\in\Delta_{A_{M}}^{Q_{0}^{L}}:=\Phi(L,A)\cap\Phi(U_{0},A)\cap\Delta$ if it is conjugate to the edge having vertices $\lambda_{Q^{L}_{0}},\lambda_{s_{\alpha}Q^{L}_{0}}$, where $s_{\alpha}$ is the simple reflection associated to $\alpha$. Let $A_{M,\alpha}^{G,L}$ be the operator on the set of positive $(G,M)$-orthogonal families defined as follows: As a polytope, it increases by one the length of all the edges whose image in $\mathfrak{a}_{M}^{L}$ under the projection $\pi_{M}^{L}$ are of type $\alpha$, and keep the length of all the others invariant. To check that it actually sends a positive $(G,M)$-orthogonal family to another one, it suffices to verify for the faces of dimension $2$, but this is clear. Then we set the vertex

[TABLE]

to make $A_{M,\alpha}^{G,L}(\Pi)$ symmetric with respect to $\Pi$. Here $\varpi_{\alpha}^{\vee}$ is the fundamental coweight corresponding to $\alpha$. By definition, we see that the operators $A_{M,\alpha}^{G,L}$ commute with each other. When $G=L$, we simplify the notation $A_{M,\alpha}^{G,G}$ to $A_{M,\alpha}^{G}$.

Given a tuple of non-negative integers $\underline{n}=(n_{\alpha}),\alpha\in\Delta_{A_{M}}^{Q_{0}^{L}}$, let

[TABLE]

It is easy to see that the polytopes $E_{Q}(\Pi)$ can be made by iterating this process. For $\alpha\in\Delta_{A_{M}}^{Q_{0}^{L}}$, let $1_{\alpha}$ be the tuple taking value $1$ at $\alpha$ and [math] otherwhere. By remark 3.2, the Arthur-Kottwitz reduction works for the complement $\mathscr{X}_{\gamma}(\Sigma_{\gamma}^{\underline{n}+1_{\alpha}})\backslash\mathscr{X}_{\gamma}(\Sigma_{\gamma}^{\underline{n}})$. The process is completely the same as explained in §3.3, we don’t repeat it here. The resulting strata are iterated affine fibrations over truncated affine Springer fibers of the form $\mathscr{X}_{\gamma}^{L,\nu^{\prime}}(\Sigma_{\gamma}^{L,(\underline{n}^{\prime})})$, $L\in\mathcal{L}(M),\nu^{\prime}\in\Lambda_{L}$. Iterating this process, $\mathscr{X}_{\gamma}(\Sigma_{\gamma}^{\underline{n}})$ can be decomposed as disjoint union of locally closed sub-schemes, which are iterated affine fibrations over $F_{\gamma}^{L,M,\mu}$, $L\in\mathcal{L}(M),\mu\in\Lambda_{L}$. In particular, counting points on $\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}(\Sigma_{\gamma}^{\underline{n}})$ can be reduced to counting points on $\Lambda^{H_{M}}\backslash F_{\gamma}^{L,M,\mu}$, which can be further reduced to counting points on the fundamental domains $F_{\gamma}^{L^{\prime}},L^{\prime}\in\mathcal{L}(M_{0}),$ as we have explained in §3.2. This process applies to counting points on $\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}^{\nu_{0}}(E_{Q}(\Pi)).$ By equation (4.6), it gives an expression of |\big{(}\Lambda^{H_{M}}\backslash{}^{t}\mathscr{X}_{\gamma}^{\nu_{0}}(\Pi)\big{)}(\mathbf{F}_{q})| in terms of $|F_{\gamma}^{L}(\mathbf{F}_{q})|,L\in\mathcal{L}(M_{0})$.

4.3. Application to Arthur’s weighted orbital integral

By theorem 2.8 and proposition 4.3, Arthur’s weighted orbital integral $J_{M}(\gamma)$ calculates essentially |\big{(}\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}^{0,\,\xi}\big{)}(\mathbf{F}_{q})|, as $\mathscr{X}^{G_{\mathrm{der}}}\cap\mathscr{X}_{\gamma}^{\xi}$ is the union of $|\Lambda_{G_{\mathrm{der}}}|$-copies of $\mathscr{X}_{\gamma}^{0,\,\xi}$. The two approaches in §3 and §4 to calculate |\big{(}\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}^{0}(\Pi)\big{)}(\mathbf{F}_{q})| give us a recurrence relation involving |\big{(}\Lambda^{H_{M}}\backslash F_{\gamma}^{L,M,\,\mu}\big{)}(\mathbf{F}_{q})| and |\big{(}\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}^{L,\,0,\,\xi^{L}}\big{)}(\mathbf{F}_{q})|, for $L\in\mathcal{L}(M),\,\mu\in\Lambda_{L^{\mathrm{ad}}}$. If we are able to solve this recurrence relation, we will get an expression for |\big{(}\Lambda^{H_{M}}\backslash\mathscr{X}_{\gamma}^{0,\,\xi}\big{)}(\mathbf{F}_{q})| in terms of |\big{(}\Lambda^{H_{M}}\backslash F_{\gamma}^{L,M,\,\mu}\big{)}(\mathbf{F}_{q})|’s, which can be further reduced to counting points on fundamental domains as explained in §3.2.

5. Calculations for the group $\mathrm{GL}_{2}$

Let $G=\mathrm{GL}_{2}$, let $\gamma\in\mathfrak{gl}_{2}(F)$ be a regular semi-simple integral element. Assume that $\mathrm{char}(k)>2$ and the splitting field of $\gamma$ is totally ramified over $F$. The torus $T$ is isomorphic either to $F^{\times}\times F^{\times}$ or to $\mathrm{Res}_{E/F}E^{\times}$, where $E$ is a separable totally ramified field extension over $F$ of degree $2$. We call elements $\gamma$ in these cases split and anisotropic respectively.

5.1. Split elements

We can take $T$ to be the maximal torus of $G$ of the diagonal matrices and $\gamma\in\mathfrak{t}(\mathcal{O})$ a regular element. Let

[TABLE]

which we call the root valuation of $\gamma$. The dimension of the affine Springer fiber $\mathscr{X}_{\gamma}$ is known to be

[TABLE]

In the remaining of the section, we assume that $n\geq 1$, as the case $n=0$ reduces to the group $\mathrm{GL}_{1}$. Recall that we have calculated $F_{\gamma}$ in [C3]. Let $X_{*}(T)\cong\mathbf{Z}^{2}$ be the usual identification, let $(n,0)\in\mathbf{Z}^{2}$, let

[TABLE]

We have $F_{\gamma}\cong\mathrm{Sch}(n,0)$, and its number of rational points is

[TABLE]

by the Bruhat-Tits decomposition of $\mathrm{Sch}(n,0)$. As $\Lambda_{\mathrm{PGL}_{2}}=\mathbf{Z}/2$, $F_{\gamma}$ has only one variant $F_{\gamma}^{1}$, we can calculate its number of rational points to be

[TABLE]

Let $a\in\mathbf{N}$, let $\Pi$ be the positive $(G,T)$-orthogonal family defined by

[TABLE]

Assume that $a\gg 0$, then $\Pi$ is sufficiently regular in the sense of §4.2. We can calculate easily

[TABLE]

by the Arthur-Kottwitz reduction. We see that $Q_{\gamma}^{0}(a)$ is polynomial in $a$. By theorem 4.8, we have

[TABLE]

The tail is the disjoint union of two fundamental domains, so its number of rational points is

[TABLE]

Because

[TABLE]

we get the equation

[TABLE]

Solving it, we get

[TABLE]

Now that $T(F)^{1}=T(\mathcal{O})=T(F)_{1}$ has volume $1$, by proposition 4.3, we have

[TABLE]

On the other hand, we can use equation (2.4) to calculate easily the orbital integral

[TABLE]

Combined with theorem 2.8, the above calculations can be summarized as:

Theorem 5.1**.**

Let $\gamma\in\mathfrak{gl}_{2}(F)$ be a regular semisimple integral element of root valuation $n$. It has orbital integral $I^{G}_{\gamma}=q^{n}.$ The number of rational points on $\mathscr{X}_{\gamma}^{0}(\Pi)$ is

[TABLE]

and Arthur’s weighted orbital integral $J_{T}(\gamma)$ equals

[TABLE]

5.2. Anisotropic elements

In this case $E=\mathbf{F}_{q}(\!(\epsilon^{\frac{1}{2}})\!)$. Suppose that $\gamma=a+b\epsilon^{\frac{1}{2}}$ under the isomorphism $Z_{G(F)}(\gamma)\cong\mathrm{Res}_{E/F}E^{\times}$, with $a,b\in\mathcal{O}$. Under the basis $\{\epsilon^{\frac{1}{2}},1\}$ of $E$ over $\mathbf{F}_{q}(\!(\epsilon)\!)$, the element $\gamma$ is of the form

[TABLE]

It is clear that the affine Springer fibers $\mathscr{X}_{\gamma}$ and $\mathscr{X}_{-a+\gamma}$ are isomorphic, so we can assume that $a=0$. Let $b=b_{0}\epsilon^{n},\,b_{0}\in\mathcal{O}^{\times}$, we can write

[TABLE]

Put in this form, it has been shown by Goresky, Kottwitz and MacPherson [GKM2] that $\mathscr{X}_{\gamma}$ admits an affine paving which is induced by the standard Bruhat-Tits decomposition of the affine Grassmannian. More precisely, let $I$ be the standard Iwahori subgroup, i.e. it is the pre-image of $B_{0}$ under the reduction $G(\mathcal{O})\to G$, then

[TABLE]

and each intersection, denoted $S_{\mathbf{a}}$, is isomorphic to a standard affine space. We calculate that $S_{\mathbf{a}}$ is not empty if and only if

[TABLE]

and that

[TABLE]

Notice that this is also the dimension of $I\begin{pmatrix}\epsilon^{a_{1}}&\\ &\epsilon^{a_{2}}\end{pmatrix}K/K$, so they must be the same. Summarize the above calculations, and notice that $T(F)^{1}=T(\mathcal{O})=T(F)_{1}$ have volume 1, we get

Theorem 5.2**.**

Let $\gamma$ be the matrix $(\ref{gamma sl2 ramified})$. For $(a_{1},a_{2})\in\mathbf{Z}^{2}$, we have

[TABLE]

As a corollary, we have

[TABLE]

6. Calculations for $\mathrm{GL}_{3}$–Split case

Let $G=\mathrm{GL}_{3}$, let $\gamma\in\mathfrak{gl}_{3}(F)$ be a regular semisimple integral element. Assume that $\mathrm{char}(k)>3$ and the splitting field of $\gamma$ is totally ramified over $F$. The torus $T$ is isomorphic to either $F^{\times}\times F^{\times}\times F^{\times}$, or $F^{\times}\times\mathrm{Res}_{E_{2}/F}E_{2}^{\times}$, or $\mathrm{Res}_{E_{3}/F}E_{3}^{\times}$, where $E_{2},\,E_{3}$ are separable totally ramified field extensions over $F$ of degree $2$ and $3$ respectively. We call elements $\gamma$ in these cases split, mixed and anisotropic respectively. Notice that in all these cases $T(F)^{1}=T(\mathcal{O})=T(F)_{1}$ have volume 1, hence by proposition 4.3 we have

[TABLE]

and so

[TABLE]

by theorem 2.8 and the remark following it.

In this section, we restrict ourselves to the split case. After conjugation, we take $T$ to be the maximal torus of $G$ of the diagonal matrices. Then $M_{0}=T$ and the other proper Levi subgroups in $\mathcal{L}(T)$ can be parametrized as follows: For a nonempty subset $I\subsetneq\{1,2,3\}$, let $P_{I}$ be the parabolic subgroup of $G$ which stabilizes the flag

[TABLE]

Let $P_{I}=M_{I}N_{I}$ be the standard Levi factorization, we have $M_{I}\cong\mathrm{GL}_{2}\times\mathrm{GL}_{1}$. As $M_{I}=M_{I^{c}}$ with $I^{c}$ being the complement of $I$, it is enough to calculate $J_{T}(\gamma)$ and $J_{M_{\{i\}}}(\gamma),\,i=1,2,3$.

Let $\gamma\in\mathfrak{t}(\mathcal{O})$ be a regular element. As we show in the appendix of [C1], up to conjugation by the Weyl group, we can suppose that

[TABLE]

In this case, $\gamma$ is said to be in minimal form, and we call

[TABLE]

the root valuation of $\gamma$. The dimension of the affine Springer fiber $\mathscr{X}_{\gamma}$ is known to be

[TABLE]

In the remaining of the section, we assume that $n_{1}\geq 1$, as the case $n_{1}=0$ reduces to the group $\mathrm{GL}_{2}$. Recall that we have calculated the Poincaré polynomial of $F_{\gamma}$ in [C3].

Proposition 6.1**.**

The fundamental domain $F_{\gamma}$ admits an affine paving, its Poincaré polynomial depends only on the root valuation $(n_{1},n_{2})$, and it is

[TABLE]

In particular, $|F_{\gamma}(\mathbf{F}_{q})|=P_{(n_{1},n_{2})}(q^{1/2}).$

6.1. Calculation of $J_{T}(\gamma)$

Let $(a_{1},a_{2})\in\mathbf{N}^{2}$, let $\Pi$ be the positive $(G,T)$-orthogonal family defined by

[TABLE]

Assume that $\Pi$ is sufficiently regular in the sense of §4.2, which means that $a_{1},\,a_{2}\gg 0$ and

[TABLE]

We will calculate

[TABLE]

following the two approaches that we have explained, and draw conclusions on Arthur’s weighted orbital integral.

6.1.1. Counting points by Arthur-Kottwitz reduction

We will work out each term in corollary 3.7. Look at the summands indexed by the Borel subgroups. Each stratum contributes $q^{2n_{1}+n_{2}}$, so it remains to count the number of lattice points

[TABLE]

where the equality is due to the symmetry of $\Pi$ with respect to $\Sigma_{\gamma}$. We identify

[TABLE]

in the usual way. Let $\overline{\mathfrak{a}}_{B_{0}}^{G}=\{a\in\mathfrak{a}_{T}^{G}\mid\alpha_{1}(a)\geq 0,\,\alpha_{2}(a)\geq 0\}$, let

[TABLE]

Up to a suitable translation, we have

[TABLE]

We can express it as the difference of two lattice point counting problems. Let

[TABLE]

then we have

[TABLE]

We count $|\Lambda_{T}^{0}\cap R_{1}|$ as follows:

[TABLE]

where $\lfloor x\rfloor$ means the largest integer that is less than or equal to $x$. Similarly, we have

[TABLE]

In summary, the summands in corollary 3.7 indexed by the Borel subgroups contributes

[TABLE]

Now we calculate the contributions of the summands indexed by the maximal parabolic subgroups. They are parametrized at the beginning of the section by nonempty subsets $I\subsetneq\{1,2,3\}$. For $\mu\in\Lambda_{M_{I}^{\mathrm{ad}}}\cong\mathbf{Z}/2$, let $q_{I}^{\mu}=|F_{\gamma}^{M_{I},\nu}(\mathbf{F}_{q})|$, for any $\nu\in\Lambda_{M_{I}}$ which projects to $\mu\in\Lambda_{M_{I}^{\mathrm{ad}}}$. Let $\alpha_{I}$ be the unique element in $\Phi_{B_{0}\cap M_{I}}(M_{I},T)$, a simple calculation with the affine Springer fibers for the group $\mathrm{GL}_{2}$ shows that

[TABLE]

For $I=\{i\},\,i=1,2,3$, it is easy to see that

[TABLE]

The summands indexed by $P_{I}$ in corollary 3.7 with $|I|=1$ contributes in total

[TABLE]

Similarly, the summands indexed by $P_{I}$ with $|I|=2$ contributes in total

[TABLE]

Summing up the contributions from equations (6.1), (6.2), (6.3), we obtain

Proposition 6.2**.**

We have

[TABLE]

In particular, it depends quasi-polynomially on $(a_{1},a_{2})$.

6.1.2. Counting points by Harder-Narasimhan reduction

We begin by counting points on the main body, we need to work out each term in theorem 4.8. For $L=T$, it is easy to see that $|\mathscr{X}_{\gamma}^{T,\,0,\,\xi^{T}}(\mathbf{F}_{q})|=1$, and we need to count the number of lattice points in $\Lambda_{T}^{0}\cap\Pi_{0}.$ Notice that for this we can shrink $\Pi_{0}$ to the convex hull of $\Lambda_{T}^{0}\cap\Pi_{0}$, we conserve the notation $\Pi_{0}$ for the shrunk polytope. In our work [C3], §6, we calculate $\mathrm{Ec}(x_{0})$ for a particular choice of regular point $x_{0}\in\mathscr{X}^{\mathrm{reg}}_{\gamma}$, we can adapt the result to our current setting. Let $(\sigma_{1}\,\sigma_{2}\,\sigma_{3})$ be the permutation sending $(1\,2\,3)$ to $(\sigma_{1}\,\sigma_{2}\,\sigma_{3})$, the vertices of $\Sigma_{\gamma}$ are:

[TABLE]

The vertices of $\Pi_{0}$ can be calculated to be

[TABLE]

We will count the lattice points in $\Pi_{0}$ indirectly. We complete the hexagon $\Pi_{0}$ to a triangle $T_{0}$, whose vertices are

[TABLE]

Let $T_{1}\cup T_{2}\cup T_{3}$ be the complement of $\Pi_{0}$ in $T_{0}$, as shown in Fig. 4. Notice that the $T_{i}$’s don’t contain their common boundary with $\Pi_{0}$, so

[TABLE]

The right hand side is much easier to calculate.

The length of the edges of $T_{0}$ is $3a_{2}-3-2n_{1}-n_{2}$, so

[TABLE]

The length of the edges of $T_{1}$ is $2a_{2}-a_{1}-n_{1}-1$. As we don’t count the lattice points on the common boundary of $T_{1}$ and $\Pi_{0}$, we have

[TABLE]

Similarly, the length of the edges of $T_{2}$ is $2a_{2}-a_{1}-n_{2}-1$ and we have

[TABLE]

The triangle $T_{3}$ is of the same size as $T_{1}$, so

[TABLE]

Finally,

[TABLE]

We go on to calculate $|\Lambda_{L}^{0}\cap\pi_{L}(\Pi_{0})|$ for the other Levi subgroups $L\in\mathcal{L}(T)$. Let $d_{L}$ be the distance between the facets $\Pi_{0}^{Q}$ and $\Pi_{0}^{Q^{-}}$, where $\mathcal{P}(L)=\{Q,Q^{-}\}$. It is easy to see that

[TABLE]

The set $\mathcal{L}(T)\backslash\{T,G\}$ consists of $3$ elements, they are Levi factors $M_{\{i\}}$ of the parabolic subgroups $P_{\{i\}},\,i=1,2,3$. Use the explicit expression of the vertices of $\Pi_{0}$, we can calculate

[TABLE]

Now that $|\mathscr{X}_{\gamma}^{L,\,0,\,\xi^{L}}(\mathbf{F}_{q})|$ has been calculated in equation (5.1), we can insert the equations (6.1.2) to (6.7) to the equation in theorem 4.8, and get

Proposition 6.3**.**

The number of rational points on the main body is

[TABLE]

Now we proceed to counting points on the tail. To begin with, we write down the vertices of $\Pi$.

[TABLE]

For nonempty subset $I\subsetneq\{1,2,3\}$, we simplify the notation $E_{P_{I}}(\Pi)$ to $E_{I}(\Pi)$. Using the coordinates of vertices of $\Pi$, we can calculate the lengths of the edges of $\Pi$, and find the following expression for $E_{I}(\Pi)$: When $|I|=1$, we have

[TABLE]

When $|I|=2$, we have

[TABLE]

As explained before, we can use the Arthur-Kottwitz reduction inductively to count the number of rational points on $\mathscr{X}_{\gamma}^{0}(E_{I}(\Pi))$. We give the details for $I=\{3\}$, the others can be calculated in the same way.

Applying Arthur-Kottwitz reduction to pass from $\left(A_{\alpha_{\{3\}}}^{G,M_{\{3\}}}\right)^{a}(\Sigma_{\gamma})$ to $\left(A_{\alpha_{\{3\}}}^{G,M_{\{3\}}}\right)^{a+1}(\Sigma_{\gamma})$, the picture is similar to Fig.2, we obtain

[TABLE]

From this relation and the equation (6.8), we deduce that

[TABLE]

Similarly, we have

[TABLE]

[TABLE]

[TABLE]

[TABLE]

[TABLE]

Inserting the equations (6.1.2) to (6.1.2) to the equation (4.6), we get

Proposition 6.4**.**

The number of rational points on the tail equals

[TABLE]

The sum of results in proposition 6.3, 6.4 gives us another expression for $Q_{\gamma}^{0}(a_{1},a_{2})$.

Corollary 6.5**.**

[TABLE]

In particular, this shows that $Q_{\gamma}^{0}(a_{1},a_{2})$ depends polynomially on $(a_{1},a_{2})\in\mathbf{N}^{2}$. As a corollary, the expression for $Q_{\gamma}^{0}(a_{1},a_{2})$ in proposition 6.2 is also a polynomial in $(a_{1},a_{2})$, although it doesn’t seem to be so.

6.1.3. Arthur’s weighted orbital integral

Now we can compare the two expressions in proposition 6.2 and corollary 6.5 for $Q_{\gamma}^{0}(a_{1},a_{2})$. Look at their constant terms $Q_{\gamma}^{0}(0,0)$, as $J_{T}^{\xi}(\gamma)=|\mathscr{X}_{\gamma}^{0,\,\xi}(\mathbf{F}_{q})|$ in this case, we obtain

Theorem 6.6**.**

Chaudouard-Laumon’s weighted orbital integral for $\gamma$ equals

[TABLE]

By theorem 2.8 and the remark following it, we get Arthur’s weighted orbital integral as well. For the orbital integral $I^{G}_{\gamma}$, as $T$ is split, we can calculate it easily by equation (2.4):

[TABLE]

6.2. Calculation of $J_{M_{1}}(\gamma)$

We parametrize the Levi groups as before, with the further simplification $M_{i}:=M_{\{i\}}$. Let $\gamma=\mathrm{diag}(\gamma_{1},\gamma_{2},\gamma_{3})$ and $\gamma^{\prime}=\mathrm{diag}(\gamma_{1},\gamma_{3},\gamma_{2})$, notice that

[TABLE]

Moreover, $\mathscr{X}_{\gamma}$ and $\mathscr{X}_{\gamma^{\prime}}$ have the same geometry as they have the same root valuation (indeed, they have the same affine paving), which implies that

[TABLE]

Hence it is enough to calculate $J_{M_{1}}(\gamma)$ and $J_{M_{3}}(\gamma)$. Notice that $M_{1}$ corresponds to the root $\alpha_{2}$ and $M_{3}$ to the root $\alpha_{1}$.

As usual, we identify $X_{*}(T)\cong\mathbf{Z}^{3}$ and $\mathfrak{a}_{T}^{G}$ with the hyperplane $x_{1}+x_{2}+x_{3}=0$ of $\mathfrak{a}_{T}=X_{*}(T)\otimes\mathbf{R}\cong\mathbf{R}^{3}$. The subspace $\mathfrak{a}_{T}^{M_{1}}\subset\mathfrak{a}_{T}^{G}$ becomes the line $\{(0,x,-x)\}$ and the subspace $\mathfrak{a}_{M_{1}}^{G}\subset\mathfrak{a}_{T}^{G}$ becomes $\{(-x,x/2,x/2)\}$. The lattice $\Lambda_{M_{1}}^{0}$ is identified with $\mathbf{Z}$ by the mapping

[TABLE]

Its inclusion in $\mathfrak{a}_{M_{1}}^{G}$ is described by the mapping

[TABLE]

We identify $\mathfrak{a}_{M_{1}}^{G}$ with $\mathbf{R}$ by identifying $(-x,x/2,x/2)$ with $x$, the inclusion $\Lambda_{M_{1}}^{0}\subset\mathfrak{a}_{M_{1}}^{G}$ becomes the natural embedding $\mathbf{Z}\subset\mathbf{R}$. On the other hand, the discrete free abelian group $\Lambda\cong X_{*}(T)$ is naturally identified with $\mathbf{Z}^{3}$, the morphism $H_{M_{1}}:\Lambda\to\mathfrak{a}_{M_{1}}$ can be calculated to be

[TABLE]

Hence $\Lambda^{H_{M_{1}}}$ is freely generated by the element $\mathrm{diag}(1,\epsilon,\epsilon^{-1})$.

According to proposition 3.1, we can take $\Sigma_{\gamma}^{G,M_{1}}$ to be the interval $[0,2n_{1}]$ in $\mathfrak{a}_{M_{1}}^{G}\cong\mathbf{R}$. For $N\in\mathbf{N},\,N\gg 0$, let $\Pi_{N}$ be the interval $[-N,2n_{1}+N]$, regarded as a $(G,M_{1})$-orthogonal family in $\mathfrak{a}_{M_{1}}^{G}$, we are going to calculate \big{(}\Lambda^{H_{M_{1}}}\backslash\mathscr{X}_{\gamma}(\Pi_{N})\big{)}(\mathbf{F}_{q}) by the two approaches described above.

In the Arthur-Kottwitz approach, we need to calculate

[TABLE]

Combining proposition 3.8 and corollary 3.10, we get

[TABLE]

For the second one, since $F_{\gamma}^{M_{1},M_{1}}=\mathscr{X}_{\gamma}^{M_{1},(0)}$ and $\Lambda^{H_{M_{1}}}=\Lambda^{M_{1}}$, we have

[TABLE]

The reduction process is illustrated by a figure similar to Fig.2. By corollary 3.7, we have

Proposition 6.7**.**

[TABLE]

In the Harder-Narasimhan approach, we begin with counting points on the tail. By construction,

[TABLE]

Then, we calculate

[TABLE]

By theorem 4.8, this implies

[TABLE]

Combining the equation (6.16) and (6.17), we obtain

Proposition 6.8**.**

[TABLE]

Comparing proposition 6.7 and 6.8, we get

Proposition 6.9**.**

[TABLE]

It remains to calculate the volume factor \mathrm{vol}_{dt}\big{(}\Lambda^{H_{M_{1}}}\backslash T(F)_{M_{1}}^{1}\big{)}. By equation (2.5), it equals $1$ because $S=T$ and the morphism $H_{M_{1}}:X_{*}(T)\to X_{*}(M)$ is surjective. The above calculations can be summarized as:

Theorem 6.10**.**

We have

[TABLE]

6.3. Calculation of $J_{M_{3}}(\gamma)$

We make identifications as before. The subspace $\mathfrak{a}_{T}^{M_{3}}\subset\mathfrak{a}_{T}^{G}$ becomes the line $\{(x,-x,0)\}$ and the subspace $\mathfrak{a}_{M_{3}}^{G}\subset\mathfrak{a}_{T}^{G}$ becomes $\{(x/2,x/2,-x)\}$, they are identified with $\mathbf{R}$ as before. The lattice $\Lambda_{M_{3}}^{0}$ is identified with $\mathbf{Z}$ by the mapping

[TABLE]

The inclusion $\Lambda_{M_{3}}^{0}\subset\mathfrak{a}_{M_{3}}^{G}$ becomes again the natural embedding $\mathbf{Z}\subset\mathbf{R}$. Similarly, the group $\Lambda^{H_{M_{3}}}$ is freely generated by the element $\mathrm{diag}(\epsilon,\epsilon^{-1},1)$.

By proposition 3.1, we can take $\Sigma_{\gamma}^{G,M_{3}}$ to be the interval $[0,n_{1}+n_{2}]$ in $\mathfrak{a}_{M_{3}}^{G}\cong\mathbf{R}$. For $N\in\mathbf{N},\,N\gg 0$, let $\Pi_{N}$ be the interval $[-N,n_{1}+n_{2}+N]$, regarded as a $(G,M_{3})$-orthogonal family in $\mathfrak{a}_{M_{3}}^{G}$. We calculate \big{(}\Lambda^{H_{M_{3}}}\backslash\mathscr{X}_{\gamma}(\Pi_{N})\big{)}(\mathbf{F}_{q}) in two ways as before.

Similar calculation as above, we get

[TABLE]

and

[TABLE]

With Arthur-Kottwitz reduction, we obtain

Proposition 6.11**.**

[TABLE]

For the Harder-Narasimhan reduction, we count the points on the tail

[TABLE]

and the $\xi$-stable points

[TABLE]

hence the points in the main body

[TABLE]

Combining them, we get

Proposition 6.12**.**

[TABLE]

Comparing proposition 6.11 and 6.12, we get

Proposition 6.13**.**

[TABLE]

As before, the volume factor \mathrm{vol}_{dt}\big{(}\Lambda^{H_{M_{3}}}\backslash T(F)_{M_{3}}^{1}\big{)} equals 1, and so

Theorem 6.14**.**

We have

[TABLE]

7. Calculations for $\mathrm{GL}_{3}$–Mixed case

Let $G=\mathrm{GL}_{3}$, $\gamma\in\mathfrak{gl}_{3}(F)$ a regular semi-simple integral element. Assume that $T\cong F^{\times}\times\mathrm{Res}_{E_{2}/F}E_{2}^{\times}$, with $E_{2}$ a separable totally ramified field extension over $F$ of degree $2$. As before, we can reduce to the case that $\gamma$ is a matrix of the form

[TABLE]

with $a\in\mathcal{O}$, $b_{0}\in\mathcal{O}^{\times}$. Let $m=\mathrm{val}(a)$.

Let $P$ be the parabolic subgroup $P=B_{0}\cup B_{0}s_{2}B_{0}$. Let $P=MN$ be the standard Levi decomposition. We identify $X_{*}(A)\cong\mathbf{Z}^{3}$ in the usual way. This gives us an identification $\Lambda_{M}\cong\mathbf{Z}^{2}$ and hence $\Lambda_{M}\otimes\mathbf{R}\cong\mathbf{R}^{2}$, we also identify $\mathfrak{a}_{M}^{G}$ with the line $x+y=0$ in $\mathbf{R}^{2}$, which can be further identified with $\mathbf{R}$ by taking the coordinate $x$. Under these identifications, the moment polytope $\Sigma_{\gamma}$ of the fundamental domain $F_{\gamma}$ can be taken to be the closed interval

[TABLE]

To simplify the notations, we abbreviate $n(\gamma,P,P^{-})$ to $n_{\gamma}$. We have

[TABLE]

By definition, we can take

[TABLE]

This can be refined a little bit. For $(n_{1},n_{2})\in\mathbf{N}^{2}$, let $\Pi_{n_{1},n_{2}}$ be the positive $(G,A)$-orthogonal family as indicated in Fig. 5 (The dashed part not included).

Consider the positive $(G,A)$-orthogonal families $\Pi_{n_{\gamma},n+1}$. For $i\in\mathbf{Z},\,-n_{\gamma}\leq i\leq 0$, let

[TABLE]

where $i\in\mathbf{Z}$ is considered as an element of $\mathfrak{a}_{M}^{G}$ by the identification $\mathbf{R}\cong\mathfrak{a}_{M}^{G}$. By theorem 5.2, we have

[TABLE]

This implies that

[TABLE]

It is possible but quite hard to construct an affine paving of $F_{\gamma}$ and to count the number of rational points with it. Instead, we take an indirect way. Let $\Delta_{n_{\gamma},n+1}$ be the completion of $\Pi_{n_{\gamma},n+1}$ into a triangle as indicated in Fig. 5. We can count the number of rational points on $\mathscr{X}_{\gamma}^{n+1}(\Delta_{n_{\gamma},n+1})$ quite easily, using the affine pavings in [C1], proposition 3.6. The complementary $\mathscr{X}_{\gamma}^{n+1}(\Delta_{n_{\gamma},n+1})\backslash F_{\gamma}$ can be treated by the Arthur-Kottwitz reduction. Taking their difference, we find $|F_{\gamma}(\mathbf{F}_{q})|$.

We calculate the number of rational points on $\mathscr{X}_{\gamma}^{n+1}(\Delta_{n_{\gamma},n+1})$. For $N\in\mathbf{N}$, let

[TABLE]

According to [C1], proposition 3.6, when $N\gg 0$, we have an affine paving

[TABLE]

The dimension of the affine paving can be calculated using [C1], lemma 3.1, together with theorem 5.2. When $m\leq n$, i.e. $\gamma$ is not equivalued, the dimension of the paving is

[TABLE]

Otherwise, the intersection is empty. When $m\geq n+1$, i.e. $\gamma$ is equivalued, the dimension of the paving is

[TABLE]

Otherwise, the intersection is empty. We summarize the situation in the following two pictures, Fig. 6 and Fig. 7. The triangle is cut into 4 parts by the two long red lines, the dimension of the fibration $f_{P}$ restricted to the affine pavings in different parts are given by different formulas. The two dashed lines bound the region where $\mathscr{X}_{\gamma}^{M}\cap I_{N}\epsilon^{\mathbf{a}}K/K$ is non-empty.

Proposition 7.1**.**

Let $\gamma$ be a matrix in the form $(\ref{gl3 mixed ramified})$. When $\mathrm{val}(a)=m\leq n$, we have

[TABLE]

In the summation, we use the convention that a summand is empty if its subscript is greater than its superscript.

Proof.

Summing along the dotted blue lines in the 4 regions of Fig. 6, we get:

[TABLE]

After rearranging the summand, we get the proposition.

∎

Proposition 7.2**.**

Let $\gamma$ be a matrix in the form $(\ref{gl3 mixed ramified})$. When $\mathrm{val}(a)=m>n$, we have

[TABLE]

Proof.

Summing along the dotted blue lines in the 4 regions of Fig. 7, we get:

[TABLE]

After rearranging the summand, we get the proposition.

∎

Now we calculate the number of rational points on the complement $\mathscr{X}_{\gamma}^{n+1}(\Delta_{n_{\gamma},n+1})\backslash F_{\gamma}$. For $i\in\mathbf{Z},\,1\leq i\leq n+1$, let

[TABLE]

where $i\in\mathbf{Z}$ is considered as an element of $\mathfrak{a}_{M}^{G}$ by the identification $\mathbf{R}\cong\mathfrak{a}_{M}^{G}$.

Proposition 7.3**.**

Let $\gamma$ be a matrix in the form $(\ref{gl3 mixed ramified})$. We have

[TABLE]

where $(i,n+1-i)\in\mathbf{Z}^{2}$ is regarded as an element in $\Lambda_{M}$ by the identification $\mathbf{Z}^{2}\cong\Lambda_{M}$. Its number of rational points over $\mathbf{F}_{q}$ equals

[TABLE]

Proof.

Observe that the second assertion is a direct consequence of the first one by proposition 2.4, it is hence enough to show the first assertion.

Let $x\in\mathscr{X}_{\gamma}^{n+1}(\Delta_{n_{\gamma},n+1})$, notice that it doesn’t belong to $F_{\gamma}$ if and only if

[TABLE]

because $H_{P^{-}}(x)\leq H_{P}(x)$. This implies that

[TABLE]

To finish the proof, we only need to show that

[TABLE]

for $i=1,\cdots,n+1$. The inclusion “$\subset$” is obvious, we only need to show its inverse. For any point $x\in f_{P}^{-1}(\mathscr{X}_{\gamma}^{M,(i,n+1-i)}(\Delta^{i}_{n_{\gamma},n+1}))\cap\mathscr{X}_{\gamma}$, the inclusion (7.2) holds. By proposition 3.1, together with the fact that $\mathrm{Ec}(x)$ is a positive $(G,A)$-orthogonal family, we have

[TABLE]

whence the equality we want.

∎

Summarize all the above discussions, we get:

Theorem 7.4**.**

Let $\gamma$ be a matrix in the form $(\ref{gl3 mixed ramified})$. When $\mathrm{val}(a)=m\leq n$, we have

[TABLE]

When $\mathrm{val}(a)=m>n$, we have

[TABLE]

Now it is easy to deduce the weighted orbital integral $J_{M}^{\xi}(\gamma)$. For $N\in\mathbf{N},\,N\gg 0$, let

[TABLE]

We can count the number of rational points $|\mathscr{X}_{\gamma}^{n+1}(\Pi_{N})(\mathbf{F}_{q})|$ in two ways. By the Arthur-Kottwitz reduction, we have

[TABLE]

By the Harder-Narasimhan reduction, we have

[TABLE]

here we use the fact that $\mathscr{X}_{\gamma}^{M,\,\nu,\,\xi}=F_{\gamma}^{M}$ for any $\nu\in\Lambda_{M}$ because $\gamma$ is anisotropic in $\mathfrak{m}(F)$. The comparison of the two expressions implies

[TABLE]

By theorem 7.4 and 5.2, we have

Theorem 7.5**.**

Let $\gamma$ be a matrix in the form $(\ref{gl3 mixed ramified})$. When $\mathrm{val}(a)=m\leq n$, we have

[TABLE]

When $\mathrm{val}(a)=m>n$, we have

[TABLE]

By theorem 2.8 and the remark following it, we get Arthur’s weighted orbital integral. As before, the orbital integral $I^{G}_{\gamma}$ can be calculated by equation (2.4):

[TABLE]

8. Calculations for $\mathrm{GL}_{3}$–Anisotropic case

Let $G=\mathrm{GL}_{3}$, $\gamma\in\mathfrak{gl}_{3}(F)$ a regular semisimple integral element. Assume that $\mathrm{char}(k)>3$ and $T\cong\mathrm{Res}_{E_{3}/F}E_{3}^{\times}$, with $E_{3}=\mathbf{F}_{q}(\!(\epsilon^{\frac{1}{3}})\!)$. As before, take the basis $\{\epsilon^{\frac{2}{3}},\epsilon^{\frac{1}{3}},1\}$ of $E_{3}$ over $F$, we can assume that $\gamma$ is of the form

[TABLE]

with $b_{0},c_{0}\in\mathcal{O}^{\times}$ and $n_{1},n_{2}\in\mathbf{N}$. In this case, Arthur’s weighted orbital integral is the same as the orbital integral, and both are equal to $|\mathscr{X}_{\gamma}^{0}(\mathbf{F}_{q})|$. The matrix $\gamma$ is equivalued of valuation $n_{1}+\frac{1}{3}$ if $n_{1}\leq n_{2}$, and equivalued of valuation $n_{2}+\frac{2}{3}$ if $n_{2}<n_{1}$. According to Goresky, Kottwitz and MacPherson [GKM2], the affine Springer fiber $\mathscr{X}_{\gamma}$ admits affine paving

[TABLE]

Let $S_{\mathbf{a}}$ be the cell $\mathscr{X}_{\gamma}\cap I\epsilon^{\mathbf{a}}K/K$. Restricted to the connected component $\mathscr{X}_{\gamma}^{0}$, we can calculate that $S_{\mathbf{a}}$ is non-empty if and only if

[TABLE]

and that it is of dimension

[TABLE]

with $x=(1,2/3,1/3),y_{\mathbf{a}}=(-a_{1},-a_{2},-a_{3})\in X_{*}(A)\otimes\mathbf{R}$. The results are summarized in Fig. 8. Summing up, we get

Theorem 8.1**.**

Let $\gamma\in\mathfrak{gl}_{3}(\mathcal{O})$ be the matrix in the form $(\ref{gamma sl3 ramified})$. Suppose that $n_{1}\leq n_{2}$, it is then equivalued of valuation $n_{1}+\frac{1}{3}$. The orbital integral associated to $\gamma$ equals

[TABLE]

where $\lfloor x\rfloor$ denotes the largest integer less than or equal to $x$, and $\lceil x\rceil$ denotes the smallest integer greater than or equal to $x$.

Same calculations for $n_{2}<n_{1}$, with the difference that $S_{\mathbf{a}}$ is non-empty if and only if

[TABLE]

and that it is isomorphic to an affine space of dimension

[TABLE]

These are summarized schematically in Fig. 9. Summing up, we get

Theorem 8.2**.**

Let $\gamma\in\mathfrak{gl}_{3}(\mathcal{O})$ be the matrix in the form $(\ref{gamma sl3 ramified})$. Suppose that $n_{2}<n_{1}$, it is then equivalued of valuation $n_{2}+\frac{2}{3}$. The orbital integral associated to $\gamma$ equals

[TABLE]