Abstract:Building on the recent computation of the cohomology rings of smooth toric varieties and partial quotients of moment-angle complexes, we investigate the naturality properties of the resulting isomorphism between the cohomology of such a space and the torsion product involving the Stanley-Reisner ring. If 2 is invertible in the chosen coefficient ring, then the isomorphism is natural with respect to toric morphisms, which for partial quotients are defined in analogy with toric varieties. In general there are deformation terms that we describe explicitly.
What problem does this paper attempt to address?
This paper aims to explore the cohomological properties of smooth toric varieties, especially the cohomologically induced maps of these varieties under different maps. Specifically, the authors hope to describe the maps induced in cohomology by morphisms between smooth toric varieties and study the naturality of these maps. The paper is based on previous computational work on the cohomology rings of smooth toric varieties and further explores the cohomological properties of partial quotients.
### Background and Motivation of the Paper
- **Toric Varieties**: Toric varieties are a special class of algebraic varieties that contain an algebraic torus \((\mathbb{C}^\times)^n\) as a dense open subset, and the action on the torus can be extended to the entire variety.
- **Morphisms**: Morphisms between toric varieties refer to algebraic variety morphisms that are group morphisms when restricted to the torus.
- **Cohomology**: The paper focuses on the cohomology rings of smooth toric varieties and the changes of these rings under different morphisms.
### Main Results
1. **Naturality**:
- If 2 is invertible in the coefficient ring \(k\), then the isomorphism between the cohomology ring \(H^*(X_\Sigma; k)\) and the Tor product \(\text{Tor}_R(k, k[\Sigma])\) is natural, that is, for a morphism \(\phi: X_{\Sigma'} \to X_\Sigma\) of toric varieties, there is the following commutative diagram:
\[
\begin{array}{ccc}
H^*(X_\Sigma; k) & \xrightarrow{\phi^*} & H^*(X_{\Sigma'}; k) \\
\downarrow \tilde{\Psi}_\Sigma & & \downarrow \tilde{\Psi}_{\Sigma'} \\
\text{Tor}_R(k, k[\Sigma]) & \xrightarrow{\hat{\text{Tor}}(\phi)} & \text{Tor}_R(k, k[\Sigma'])
\end{array}
\]
2. **General Case**:
- When 2 is not invertible in the coefficient ring \(k\), the authors introduce a complex \(K_\Sigma = H^*(L; k) \otimes k[\Sigma]\) with a differential, whose cohomology is the Tor product \(\text{Tor}_R(k, k[\Sigma])\).
- By defining a twisted multiplication structure, the authors prove that there is also a natural isomorphism in this case.
### Technical Details
- **Tor Product**: The Tor product \(\text{Tor}_R(k, k[\Sigma])\) is an important algebraic object, where \(R\) is the evenly - graded version of the symmetric algebra \(H^1(L; k)\) and \(k[\Sigma]\) is the Stanley - Reisner algebra.
- **Maps Induced by Morphisms**: A morphism \(\phi: X_{\Sigma'} \to X_\Sigma\) induces algebraic maps \(\phi^*: R \to R'\) and \(k[\Sigma] \to k[\Sigma']\).
- **Chain Maps**: The authors introduce a series of chain maps, such as \(\Xi\) and \(\hat{\Xi}\), to describe the behavior of these morphisms in cohomology.
### Applications
- **Projection**: The authors also study the maps induced in cohomology by the projection from the rectangular corner complex \(Z_\Sigma\) to the toric variety \(X_\Sigma\).
- **Automorphism**: A description of an automorphism that relates the twisted multiplication to the standard multiplication in cohomology is given.
### Conclusion
This paper, through the study of the cohomology of smooth toric varieties and their partial quotient spaces...