Character of Irreducible Representations Restricted to Finite Order Elements – An Asymptotic Formula

Take a connected component \mathcal{Z}\subset X_P^S. It is clearly B^S-stable and hence, by Borel Fixed Point Theorem, contains a B^S-fixed point vP/P (for some v\in W^P) since a B^S-fixed point, in particular, is a T-fixed point. We claim that the map

induces an isomorphism

By the Bruhat decomposition, we get

and hence

Since vP/P\in \mathcal{Z}, we get

Moreover, the isotropy subgroup of v in (G^S)^o is clearly (G^S)^o\cap (vPv^{-1})\supset B^S, thus we get a (G^S)^o-equivariant embedding

We now prove that any (G^S)^o-orbit in X_P^S is closed: By identity (?), any (G^S)^o-orbit A in X_P^S is a certain union \sqcup_{w\in\theta(A)}B^S wP/P, for some subset \theta(A)\subset W^P. Take v_o\in \theta(A) of smallest length. Then, we prove that

For if (?) were false, take \mathcal{U}_{\alpha}\subset B^S \subset (G^S)^o such that

where \mathcal{U}_\alpha is the one-parameter additive group corresponding to a positive root \alpha. In particular

where \mathcal{U}^P is the unipotent radical of P, which gives

By (?), v_o^{-1}\alpha is a negative root and hence

where s_\alpha \in W is the reflection through \alpha. Since \mathcal{U}_\alpha\subset B^S\subset (G^{S})^o, then so is \mathcal{U}_{-\alpha}\subset(G^S)^o and hence the subgroup \langle \mathcal{U}_\alpha, \mathcal{U}_{-\alpha}\rangle\subset G generated by \mathcal{U}_\alpha and \mathcal{U}_{-\alpha} is contained in (G^S)^o. Thus, s_\alpha v_oP/P \in (G^S)^o\cdot v_oP/P. This is a contradiction to the minimal choice of v_o in the (G^S)^o-orbit. Thus (?) is true, proving that any (G^S)^o-orbit in X_P^S is closed. Further, by (?), there are only finitely many (G^S)^o-orbits in X_P^S.

We return to the embedding \phi_v as in (?). We now show that \phi_v is surjective: Since \mathcal{Z} is stable under the action of (G^S)^o, it is a (finite) union of (G^S)^o-orbits. But, each (G^S)^o-orbit is closed in X_P^S and hence \mathcal{Z} is a disjoint union of finitely many closed (G^S)^o-orbits. But, \mathcal{Z} being connected, it is a single (G^S)^o-orbit, proving that \phi_v is a bijective isomorphism.

Consider the map

which takes

By the above proof (G^S)^o\cdot vP/P is indeed a connected component of X_P^S and hence \psi is well defined. Moreover, \psi is injective since any compact homogeneous variety of a reductive connected algebraic group over \mathbbm{C} has a unique fixed point under any Borel subgroup, which follows from the Bruhat decomposition.

Further, as proved above, \psi is surjective. This proves the proposition.

By the above proposition applied to the case of P=B, we get that any connected component \mathcal{Z} of X_B^S is isomorphic with (G^S)^o/\left((G^S)^o\cap(vBv^{-1})\right), for some v\in Y_S \subset W. Moreover, B^S\subset (G^S)^o\cap(vBv^{-1}). But, vBv^{-1} being a solvable group and B^S being a maximal solvable subgroup of (G^S)^o, we get that B^S=(G^S)^o\cap(vBv^{-1}). This proves the Corollary.

The identity (2.5) follows from Proposition 2.1 since wP/P\in X_P^S for any w\in W^P and \phi_v: (G^S)^o/\left((G^S)^o\cap vPv^{-1}\right)\overset{\sim}{\rightarrow}X_P^S(v) is a (G^S)^o-equivariant isomorphism for any v\in Y_S and, moreover, \sqcup_{v\in Y_S}X_P^S(v)=X_P^S.

Inequality (?), of course, follows immediately from identity (2.5).

To prove identity (?), observe that for P=B, (G^S)^o\cap v Pv^{-1}=B^S for any v\in Y_S (cf. proof of Corollary 2.2).

Use [AS, Theorem 4.6] together with the identities (2.5) and (?) for the line bundle \mathcal{L}(n\lambda) over X_P. By the Borel-Weil-Bott Theorem,

Thus,

The polynomial behavior of \chi_{\lambda|\left\{n\equiv p (mod r)\right\}} follows immediately from Theorem 3.1. To prove (1.2), again use Theorem 3.1 together with the fact that the constant term of the Todd genus of any manifold is 1 (cf. [F, Example 3.2.4]).

To deduce the corollary from Theorem 3.1, we need to observe that under the isomorphism of Proposition 2.1 (for any v\in Y_S):

the line bundle \mathcal{L}(\mu)_{|_{X_B^t(v)}} pulls back to

under the isomorphism

where \mathbbm{1}_{-v\mu} is a basis of \mathbbm{C}_{-v\mu}. Moreover,

By Corollary 3.3, the coefficient of n^{d_v} in D_v^t(n,\lambda) restricted to 2\mathbbm{Z}_{\geq0} is equal to

But since t is of order 2, e^\alpha(t)=\pm1. Moreover, for \alpha\notin R\left(\left(G^t\right)^o\right), e^\alpha(t)=-1. Thus, the above sum reduces to

By Wirtinger’s Theorem (cf. Remark 2.3), the integral \int_{X_P^t(v)} c_1 \left(\mathcal{L}(\lambda)_{|_{X^t_P(v)}}\right)^{d_v}>0.

Since, by Theorem 3.1,

the theorem follows.