Abstract:Let $G$ be a connected reductive group over the complex numbers and let $T\subset G$ be a maximal torus. For any $t\in T$ of finite order and any irreducible representation $V(\lambda)$ of $G$ of highest weight $\lambda$, we determine the character $ch(t, V(\lambda))$ by using the Lefschetz Trace Formula due to Atiyah-Singer and explicitly determining the connected components and their normal bundles of the fixed point subvariety $(G/P)^t\subset G/P$ (for any parabolic subgroup $P$). This together with Wirtinger's theorem gives an asymptotic formula for $ch(t, V(n\lambda))$ when $n$ goes to infinity.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the asymptotic behavior of characters of elements of finite order in irreducible representations. Specifically, the author studies the asymptotic formula of the character $\Theta_{n\lambda}(t)$ when $n$ in the multiple $n\lambda$ of the highest weight vector $\lambda$ tends to infinity. Here, $t$ is an element of finite order.
### Main problem description
1. **Background and motivation**:
- Let $G$ be a connected reductive group over the complex number field, and $T\subset G$ be a maximal torus.
- For any element $t\in T$ of finite order and any irreducible representation $V(\lambda)$ with the highest weight $\lambda$, we focus on the properties of the character $\Theta_\lambda(t)$.
2. **Core problem**:
- Study the asymptotic behavior of the character $\Theta_{n\lambda}(t)$ when $n\rightarrow\infty$.
- By using the Atiyah - Singer Lefschetz trace formula and combining with the specific calculations of the connected components of the fixed - point subvariety $(G/P)^t$ and their normal bundles, the author gives the asymptotic formula of $\Theta_{n\lambda}(t)$.
### Formula expression
- Let $P = P_\lambda$ be the unique standard parabolic subgroup such that $L(\lambda)$ is an ample line bundle on $X_P=G/P$.
- Theorem 1.1 gives the specific expression of the character $\Theta_{n\lambda}(t^{-1})$:
\[
\Theta_{n\lambda}(t^{-1})=\sum_{v\in Y_t}D_v^t(n,\lambda),
\]
where
\[
D_v^t(n,\lambda)=\sum_{k\geq0}\int_{X_P^t(v)}\frac{c_1(L(\lambda)|_{X_P^t(v)})^k}{k!}\cdot e^{-nv\lambda(t)}\cdot td(X_P^t(v))\prod_{\alpha\in(vR_P^+)\setminus R((G_t)^o)}[1 - e^\alpha(t)e^{-c_1(L(\alpha)|_{X_P^t(v)})}].
\]
### Asymptotic behavior summary
- When $t\in T$ is an element of finite order, $\Theta_{n\lambda}(t)$ is a piecewise polynomial function of $\lambda$, and its degree does not exceed the dimension of the largest one - parameter subgroup of $(G_t)^o$.
- For some special cases, it can be proved that this upper bound can be reached.
### Special case: elements of order 2
- When the order of $t\in T$ is 2, the function $\chi_t^\lambda|_{n\in 2\mathbb{Z}_{\geq0}}$ is a polynomial function with the exact degree equal to $d:=\max_{v\in Y_t}\{d_v\}$.
### Application example
- For example, for $G = GL_n(\mathbb{C})$ and $t = ((+1)^m, (-1)^{n - m})$, when $n = 2m$ and $m$ is odd, if the parities of the first $m$ components and the last $m$ components of $\lambda$ are opposite.