In algebraic geometry, Kleiman's theorem, introduced by Kleiman (1974), concerns dimension and smoothness of scheme-theoretic intersection after some perturbation of factors in the intersection. Precisely, it states: given a connected algebraic group G acting transitively on an algebraic variety X over an algebraically closed field k and V i → X , i = 1 , 2 {\displaystyle V_{i}\to X,i=1,2} morphisms of varieties, G contains a nonempty open subset such that for each g in the set,
either g V 1 × X V 2 {\displaystyle gV_{1}\times _{X}V_{2}} is empty or has pure dimension dim V 1 + dim V 2 − dim X {\displaystyle \dim V_{1}+\dim V_{2}-\dim X} , where g V 1 {\displaystyle gV_{1}} is V 1 → X → g X {\displaystyle V_{1}\to X{\overset {g}{\to }}X} , (Kleiman–Bertini theorem) If V i {\displaystyle V_{i}} are smooth varieties and if the characteristic of the base field k is zero, then g V 1 × X V 2 {\displaystyle gV_{1}\times _{X}V_{2}} is smooth. Statement 1 establishes a version of Chow's moving lemma: after some perturbation of cycles on X, their intersection has expected dimension.
Sketch of proof We write f i {\displaystyle f_{i}} for V i → X {\displaystyle V_{i}\to X} . Let h : G × V 1 → X {\displaystyle h:G\times V_{1}\to X} be the composition that is ( 1 G , f 1 ) : G × V 1 → G × X {\displaystyle (1_{G},f_{1}):G\times V_{1}\to G\times X} followed by the group action σ : G × X → X {\displaystyle \sigma :G\times X\to X} . Let Γ = ( G × V 1 ) × X V 2 {\displaystyle \Gamma =(G\times V_{1})\times _{X}V_{2}} be the fiber product of h {\displaystyle h} and f 2 : V 2 → X {\displaystyle f_{2}:V_{2}\to X} ; its set of closed points is
Γ = { ( g , v , w ) | g ∈ G , v ∈ V 1 , w ∈ V 2 , g ⋅ f 1 ( v ) = f 2 ( w ) } {\displaystyle \Gamma =\{(g,v,w)|g\in G,v\in V_{1},w\in V_{2},g\cdot f_{1}(v)=f_{2}(w)\}} . We want to compute the dimension of Γ {\displaystyle \Gamma } . Let p : Γ → V 1 × V 2 {\displaystyle p:\Gamma \to V_{1}\times V_{2}} be the projection. It is surjective since G {\displaystyle G} acts transitively on X. Each fiber of p is a coset of stabilizers on X and so
… excerpt ends here. Continue reading the full article.
