Abstract:Let $p$ and $l$ be distinct odd primes, and let $F$ be a $p$-adic field. Let $\pi$ be a generic smooth integral representation of ${\rm GL}_n(F)$ over an $\overline{\mathbb{Q}}_l$-vector space. Let $E$ be a finite Galois extension of $F$ with $[E:F]=l$. Let $\Pi$ be the base change lift of $\pi$ to the group ${\rm GL}_n(E)$. Let $\mathbb{W}^0(\Pi, \psi_E)$ be the lattice of $\overline{\mathbb{Z}}_l$-valued functions in the Whittaker model of $\Pi$, with respect to a standard ${\rm Gal}(E/F)$-equivaraint additive character $\psi_E:E\rightarrow \overline{\mathbb{Q}}_l^\times$. We show that the unique generic sub-quotient of the zero-th Tate cohomology group of $\mathbb{W}^0(\Pi, \psi_E)$ is isomorphic to the Frobenius twist of the unique generic sub-quotient of the mod-$l$ reduction of $\pi$. We first prove a version of this result for a family of smooth generic representations of ${\rm GL}_n(E)$ over the integral Bernstein center of ${\rm GL}_n(F)$. Our methods use the theory of Rankin-selberg convolutions and simple identities of local $\gamma$-factors. The results of this article remove the hypothesis that $l$ does not divide the pro-order of ${\rm GL}_{n-1}(F)$ in our previous work.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the properties of Tate cohomology groups of Local Base Change Lifts, especially the compatibility problem in the representation theory under modulo - \( l \) reduction. Specifically, the paper focuses on the integral smooth representation \( \pi \) of the general linear group \( \text{GL}_n(F) \) over the \( p \)-adic field \( F \), and the unique universal sub - quotient of the zero - order part of the Tate cohomology group of its base - change lift \( \Pi \) under the finite Galois extension \( E/F \). The main contribution of the paper is to prove that this unique universal sub - quotient is isomorphic to the unique universal sub - quotient of the Frobenius twist of the modulo - \( l \) reduction of \( \pi \).
### Main Problems
The problems that the paper attempts to solve can be summarized as follows:
- **Properties of Tate Cohomology Groups**: For an integral smooth universal representation \( \pi \) of \( \text{GL}_n(F) \), is the unique universal sub - quotient of the zero - order part of the Tate cohomology group \( \hat{H}^0(W_0(\Pi, \psi_E)) \) of its base - change lift \( \Pi \) under \( E/F \) isomorphic to the unique universal sub - quotient of the Frobenius twist of the modulo - \( l \) reduction of \( \pi \)?
- **Removing Assumptions**: In previous work, it was assumed that \( l \) does not divide the pro - order of \( \text{GL}_{n - 1}(F) \). In this paper, this assumption is removed by using the theory of smooth representation families.
### Formula Representation
The key results in the paper can be represented by the following formula:
\[
\text{Unique universal sub - quotient}(\hat{H}^0(W_0(\Pi, \psi_E))) \cong J_l(\pi)^{(l)}
\]
where:
- \( \hat{H}^0(W_0(\Pi, \psi_E)) \) is the zero - order part of the Tate cohomology group of \( \Pi \).
- \( J_l(\pi) \) is the unique universal sub - quotient of the modulo - \( l \) reduction of \( \pi \).
- \( J_l(\pi)^{(l)} \) is the Frobenius twist of \( J_l(\pi) \).
### Methods and Tools
The paper uses the following methods and tools to solve the above problems:
- **Rankin - Selberg Convolution**: Use the Rankin - Selberg convolution and its functional equations to study Tate cohomology groups and the linking principle.
- **Smooth Representation Families**: By considering smooth representation families, the assumption on \( l \) is removed.
- **Co - Whittaker Modules**: Use the theory of Co - Whittaker modules to deal with nilpotent elements in modulo - \( l \) representations.
- **Integral Bernstein Center**: Use the theory of the integral Bernstein center, especially the work of Emerton and Helm, to define the base - change map.
### Conclusions
The paper successfully proves that the unique universal sub - quotient of the zero - order part of the Tate cohomology group of the base - change lift \( \Pi \) of the integral smooth universal representation \( \pi \) of the general linear group \( \text{GL}_n(F) \) over the \( p \)-adic field \( F \) is isomorphic to the unique universal sub - quotient of the Frobenius twist of the modulo - \( l \) reduction of \( \pi \), and removes the assumption on \( l \). This provides new insights into the properties of Tate cohomology groups of local base - change lifts.