nLab isogeny

Redirected from "isogenies".
Contents

Contents

Idea

An isogeny is a surjection of algebraic groups that has a finite kernel. For abelian varieties, this is equivalently a rational map between groups of the same dimension that preserves the neutral element (which implies that it is a group homomorphism).

Lang isogeny

Let GG be a commutative algebraic group over a finite field F q\mathbf{F}_q, and write Fr\mathrm{Fr} for its qq-power Frobenius. The Lang isogeny is the morphism

Lang:GGgFr(g)g 1. \mathrm{Lang} : G \to G \qquad g \mapsto \mathrm{Fr}(g) \cdot g^{-1}.

Observe that

ker(Lang)=G(F q). \mathrm{ker}(\mathrm{Lang}) = G(\mathbf{F}_q).

One may view the Lang isogeny as defining a multiplicative G(F q)G(\mathbf{F}_q)-local system over GG. It follows that every character

χ:G(F p)Q¯ × \chi : G(\mathbf{F}_p) \to \overline{\mathbf{Q}}_\ell^\times

induces a character sheaf χ\mathscr{F}_\chi on GG, and one verifies that applying the fonctions-faisceaux dictionary? to χ\mathscr{F}_\chi recovers χ\chi.

References

Examples of sporadic (exceptional) isogenies from spin groups onto orthogonal groups are discussed in

Last revised on August 1, 2024 at 01:41:18. See the history of this page for a list of all contributions to it.