The study of algebraic varieties in positive characteristic is a vibrant and complex field within algebraic geometry. Among the many powerful tools developed for this study, Frobenius splitting stands out as a particularly effective technique. When applied to toric varieties, it unlocks a deeper understanding of their structure and properties. This intersection, known as Frobenius splitting toric varieties, offers unique insights into the behavior of these geometric spaces under specific arithmetic conditions.
What are Toric Varieties?
Toric varieties are a special class of algebraic varieties that are closely related to combinatorial objects, such as cones, fans, and polytopes. They provide a rich source of examples and a powerful framework for studying various phenomena in algebraic geometry. Their construction often involves a torus action, which simplifies many geometric problems into combinatorial ones.
Key Characteristics of Toric Varieties:
Torus Action: A central feature is the action of an algebraic torus, typically (C*)^n or (k*)^n for an algebraically closed field k, on the variety.
Combinatorial Description: Toric varieties can be completely described by combinatorial data, such as a fan in a lattice. This allows for explicit constructions and computations.
Simplicity and Generality: While combinatorially simple, toric varieties encompass a wide range of important examples, including projective spaces, weighted projective spaces, and products of projective spaces.
The geometry of a toric variety is encoded in its associated fan. Smoothness, projectivity, and other properties of the variety can often be translated directly into combinatorial properties of the fan. This makes toric varieties a highly accessible and illustrative class of examples in algebraic geometry.
Understanding Frobenius Splitting
Frobenius splitting is a concept that arises in algebraic geometry over fields of positive characteristic, denoted by p. It is a powerful technique introduced by Mehta and Ramanathan, building on ideas from Kempf, that provides a criterion for the vanishing of certain cohomology groups and for the existence of certain subvarieties. A variety X over a field of characteristic p is said to be Frobenius split if the Frobenius morphism F: X -> X^(p) splits as a map of O_X-modules.
The Significance of Frobenius Splitting:
Vanishing Theorems: Frobenius splitting provides powerful vanishing theorems for cohomology, analogous to Kodaira vanishing in characteristic zero.
Regularity and Singularities: It offers insights into the regularity and singularity structure of varieties. For instance, strongly F-regular varieties are a class of singularities defined via Frobenius splitting.
Connections to Invariants: Frobenius splitting is deeply connected to other important invariants and properties, such as F-purity, F-regularity, and the behavior of multiplier ideals in positive characteristic.
The Frobenius morphism, which raises coordinates to the p-th power, is fundamental to understanding geometry in positive characteristic. A Frobenius splitting essentially means that the Frobenius map has a left inverse as a map of O_X-modules, indicating a particular ‘niceness’ or ‘regularity’ of the variety.
Frobenius Splitting Toric Varieties
The intersection of these two powerful concepts – Frobenius splitting and toric varieties – yields the notion of Frobenius splitting toric varieties. This area explores which toric varieties admit a Frobenius splitting and what implications this has for their geometric and arithmetic properties. Given the combinatorial nature of toric varieties, the condition for Frobenius splitting can often be translated into combinatorial terms, making it highly tractable.
Conditions for Frobenius Splitting in Toric Varieties:
Fan Properties: A key result states that a projective toric variety is Frobenius split if and only if its associated fan satisfies certain combinatorial conditions. These conditions relate to the structure of the cones in the fan.
Smoothness and Rational Singularities: Smooth toric varieties are generally Frobenius split. More broadly, toric varieties with rational singularities are known to be Frobenius split. This connection highlights the relationship between Frobenius splitting and the nature of singularities.
Divisors and Line Bundles: The existence of certain invariant divisors or ample line bundles can often be used to demonstrate Frobenius splitting for specific classes of toric varieties.
The study of Frobenius splitting toric varieties allows researchers to test general conjectures about Frobenius splitting in a concrete and combinatorial setting. The explicit nature of toric varieties means that many abstract properties of Frobenius splitting can be verified or disproven with relative ease, providing valuable intuition for more general cases.
Applications and Further Research:
Moduli Spaces: Frobenius splitting toric varieties play a role in the study of moduli spaces, particularly those related to vector bundles and sheaves on toric varieties.
F-singularities: They serve as excellent test cases for developing the theory of F-singularities (F-pure, F-regular, etc.) in positive characteristic.
Intersection Theory: The properties derived from Frobenius splitting can have implications for intersection theory on toric varieties, influencing how cycles intersect.
Research continues to explore the precise combinatorial criteria for Frobenius splitting in various types of toric varieties, as well as its implications for their classification and the behavior of their cohomology.
Conclusion
Frobenius splitting toric varieties represent a fascinating and fruitful area of research at the confluence of combinatorial geometry and algebraic geometry in positive characteristic. By leveraging the explicit nature of toric varieties, researchers can gain deeper insights into the profound implications of Frobenius splitting. This understanding not only enriches our knowledge of these specific varieties but also provides a powerful framework for addressing more general problems in the field. Continued exploration of Frobenius splitting toric varieties promises further breakthroughs and a more complete picture of algebraic geometry.