In mathematics, a Frobenius splitting, introduced by , is a splitting of the
injective
In mathematics, an injective function (also known as injection, or one-to-one function) is a function that maps distinct elements of its domain to distinct elements; that is, implies . (Equivalently, implies in the equivalent contrapositiv ...
morphism
In mathematics, particularly in category theory, a morphism is a structure-preserving map from one mathematical structure to another one of the same type. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms a ...
O
''X''→F
*O
''X'' from a
structure sheaf
In mathematics, a ringed space is a family of (commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf of r ...
O
''X'' of a characteristic ''p'' > 0 variety ''X'' to its image F
*O
''X'' under the
Frobenius endomorphism
In commutative algebra and field theory, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative rings with prime characteristic , an important class which includes finite fields. The endomorphism ma ...
F
*.
give a detailed discussion of Frobenius splittings.
A fundamental property of Frobenius-split
projective schemes ''X'' is that the
higher cohomology ''H''
''i''(''X'',''L'') (''i'' > 0) of
ample line bundles ''L'' vanishes.
References
*
*
External links
Conferenceon Frobenius splitting in algebraic geometry, commutative algebra, and representation theory at Michigan, 2010.
Algebraic geometry
{{algebraic-geometry-stub