Abstract:This submission is a PhD dissertation. It constitutes the summary of the author's work concerning the relations between cohomology rings of algebraic varieties and rings of functions on zero schemes and fixed point schemes. It includes the results from the co-authored article <a class="link-https" data-arxiv-id="2212.11836" href="https://arxiv.org/abs/2212.11836">arXiv:2212.11836</a>. They are complemented by: an introduction to the theory of group actions on algebraic varieties, with particular focus on vector fields; a historical overview of the field; a few newer results of the author.
The fundamental theorem from <a class="link-https" data-arxiv-id="2212.11836" href="https://arxiv.org/abs/2212.11836">arXiv:2212.11836</a> says that if the principal nilpotent has a unique zero, then the zero scheme over the Kostant section is isomorphic to the spectrum of the equivariant cohomology ring, remembering the grading in terms of a $\mathbb{C}$ action. In this thesis, we also tackle the case of a singular variety. As long as it is embedded in a smooth variety with regular action, we are able to study its cohomology as well by means of the zero scheme. In largest generality, this allows us to see geometrically a subring of the cohomology ring. We also show that the cohomology ring of spherical varieties appears as the ring of functions on the zero scheme. Lastly, the K-theory conjecture is studied, with some results attained for GKM spaces.
What problem does this paper attempt to address?
The paper mainly addresses the following issues:
1. **The relationship between zero schemes and covariant rings**: The author studies the relationship between the covariant cohomology ring of algebraic varieties and the ring of functions on zero schemes. Specifically, for smooth complex algebraic varieties and the "principally paired group" acting on these varieties, the author proves that under certain conditions, there is an equivalence between the coordinate ring of the zero scheme (properly graded) and the covariant cohomology ring of the variety.
2. **Generalization of the Kostant section**: The author generalizes the concept of the Kostant section to a broader class of "principally paired groups," which includes all reductive groups and their parabolic subgroups. By constructing a similar Kostant section, the author is able to geometrize certain structures in covariant cohomology theory.
3. **Study of regular actions**: A concept called "regular action" is defined, which refers to the action of a "principally paired group" on a smooth algebraic variety. If the fixed point set of a specific nilpotent element is finite, the action is called regular. For such regular actions, the author proves a series of results regarding the relationship between zero schemes and covariant cohomology rings.
4. **The case of singular algebraic varieties**: In addition to smooth algebraic varieties, the author also explores the validity of similar results for certain types of singular algebraic varieties. Specifically, for those singular varieties embedded in smooth algebraic varieties with regular actions, the author is able to study their cohomology through zero schemes.
5. **Covariant cohomology of spherical varieties**: The author further investigates the covariant cohomology of spherical varieties and shows that in this case, the covariant cohomology ring can be regarded as the ring of functions on zero schemes.
6. **K-theory conjecture**: Finally, the author proposes a conjecture regarding K-theory and provides some evidence for the conjecture's validity in the case of GKM spaces.
In summary, the core of this doctoral thesis lies in establishing a profound connection between covariant cohomology theory and zero schemes in algebraic geometry. Based on this foundation, the author explores broader applications, including regular actions, singular algebraic varieties, and the covariant cohomology theory of spherical varieties.