To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Lang's theorem

From Wikipedia, the free encyclopedia

In algebraic geometry, Lang's theorem, introduced by Serge Lang, states: if G is a connected smooth algebraic group over a finite field , then, writing for the Frobenius, the morphism of varieties

 

is surjective. Note that the kernel of this map (i.e., ) is precisely .

The theorem implies that   vanishes,[1] and, consequently, any G-bundle on is isomorphic to the trivial one. Also, the theorem plays a basic role in the theory of finite groups of Lie type.

It is not necessary that G is affine. Thus, the theorem also applies to abelian varieties (e.g., elliptic curves.) In fact, this application was Lang's initial motivation. If G is affine, the Frobenius may be replaced by any surjective map with finitely many fixed points (see below for the precise statement.)

The proof (given below) actually goes through for any that induces a nilpotent operator on the Lie algebra of G.[2]

The Lang–Steinberg theorem

Steinberg (1968) gave a useful improvement to the theorem.

Suppose that F is an endomorphism of an algebraic group G. The Lang map is the map from G to G taking g to g−1F(g).

The Lang–Steinberg theorem states[3] that if F is surjective and has a finite number of fixed points, and G is a connected affine algebraic group over an algebraically closed field, then the Lang map is surjective.

Proof of Lang's theorem

Define:

Then (identifying the tangent space at a with the tangent space at the identity element) we have:

 

where . It follows is bijective since the differential of the Frobenius vanishes. Since , we also see that is bijective for any b.[4] Let X be the closure of the image of . The smooth points of X form an open dense subset; thus, there is some b in G such that is a smooth point of X. Since the tangent space to X at and the tangent space to G at b have the same dimension, it follows that X and G have the same dimension, since G is smooth. Since G is connected, the image of then contains an open dense subset U of G. Now, given an arbitrary element a in G, by the same reasoning, the image of contains an open dense subset V of G. The intersection is then nonempty but then this implies a is in the image of .

Notes

  1. ^ This is "unwinding definition". Here, is Galois cohomology; cf. Milne, Class field theory.
  2. ^ Springer 1998, Exercise 4.4.18.
  3. ^ Steinberg 1968, Theorem 10.1
  4. ^ This implies that is étale.

References

  • Springer, T. A. (1998). Linear algebraic groups (2nd ed.). Birkhäuser. ISBN 0-8176-4021-5. OCLC 38179868.
  • Lang, Serge (1956), "Algebraic groups over finite fields", American Journal of Mathematics, 78: 555–563, doi:10.2307/2372673, ISSN 0002-9327, JSTOR 2372673, MR 0086367
  • Steinberg, Robert (1968), Endomorphisms of linear algebraic groups, Memoirs of the American Mathematical Society, No. 80, Providence, R.I.: American Mathematical Society, MR 0230728
This page was last edited on 15 February 2022, at 14:38
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.