Skip to main content
1 of 2
Jay Taylor
  • 2.9k
  • 1
  • 22
  • 18

Action of Frobenius on the Étale Cohomology of the variety of Borel subgroups for an arbitrary local system

Assume $\mathbf{G}$ is a simple adjoint algebraic group over an algebraic closure $\overline{\mathbb{F}_p}$ of the finite field of characteristic $p > 0$ and $u \in \mathbf{G}$ is a unipotent element. Denote by $\mathfrak{B}_u$ the variety of all Borel subgroups of $\mathbf{G}$ containing $u$. Assume now that $\mathcal{F}$ is an arbitrary $\overline{\mathbb{Q}}_{\ell}$-local system on $\mathfrak{B}_u$, (i.e. a locally constant $\overline{\mathbb{Q}}_{\ell}$-constructible sheaf with finite dimensional stalks), and denote by $H^i_c(\mathfrak{B}_u,\mathcal{F})$ the compactly supported $\ell$-adic cohomology group with coefficients in $\mathcal{F}$. Now assume that $F : \mathbf{G} \to \mathbf{G}$ is a Frobenius endomorphism and $u$ is fixed by $F$ then we have an induced map $F : \mathfrak{B}_u^{\mathbf{G}} \to \mathfrak{B}_u^{\mathbf{G}}$ and in turn an induced map $F^* : H^i(\mathfrak{B}_u,\mathcal{F}) \to H^i_c(\mathfrak{B}_u,\mathcal{F})$ in cohomology. The question is can I determine the action of $F^*$ on $H^i_c(\mathfrak{B}_u,\mathcal{F})$ directly from its action on $H^i_c(\mathfrak{B}_u,\overline{\mathbb{Q}}_{\ell})$?

If we had a morphism of sheaves $\mathcal{F} \to \overline{\mathbb{Q}}_{\ell}$ then we would get an induced map $H^i_c(\mathfrak{B}_u,\mathcal{F}) \to H^i_c(\mathfrak{B}_u,\overline{\mathbb{Q}}_{\ell})$ in cohomology. However would this necessarily respect the induced actions of $F$?

Jay Taylor
  • 2.9k
  • 1
  • 22
  • 18