Basic cohomology of canonical holomorphic foliations on complex moment-angle manifolds

Hiroaki Ishida,Roman Krutowski,Taras Panov

DOI: https://doi.org/10.1093/imrn/rnaa252

2020-10-03

Abstract:We describe the basic cohomology ring of the canonical holomorphic foliation on a moment-angle manifold, LVMB-manifold or any complex manifold with a maximal holomorphic torus action. Namely, we show that the basic cohomology has a description similar to the cohomology ring of a complete simplicial toric variety due to Danilov and Jurkiewicz. This settles a question of Battaglia and Zaffran, who previously computed the basic Betti numbers for the canonical holomorphic foliation in the case of a shellable fan. Our proof uses an Eilenberg-Moore spectral sequence argument; the key ingredient is the formality of the Cartan model for the torus action on a moment-angle manifold. We develop the concept of transverse equivalence as an important tool for studying smooth and holomorphic foliated manifolds. For an arbitrary complex manifold with a maximal torus action, we show that it is transverse equivalent to a moment-angle manifold and therefore has the same basic cohomology.

Differential Geometry,Algebraic Geometry,Algebraic Topology,Complex Variables

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to describe the basic cohomology ring of complex moment - angle manifolds with canonical holomorphic foliation, LVMB - manifolds or any complex manifolds with maximal holomorphic torus action. Specifically, the authors show that the basic cohomology rings of these manifolds can have a description similar to the cohomology ring of complete simplicial toric varieties given by Danilov and Jurkiewicz.

To summarize in more concise language, the main purposes of this research are:
1. **Describe the basic cohomology ring of the canonical holomorphic foliation on specific complex manifolds**: especially complex moment - angle manifolds, LVMB - manifolds and complex manifolds with maximal holomorphic torus action.
2. **Verify the conjecture of Battaglia and Zaffran**: that is, the basic cohomology rings of these manifolds have a similar description to the cohomology ring of complete simplicial toric varieties.

To achieve this goal, the authors use the Eilenberg - Moore spectral sequence argument and prove the formality of the Cartan model on moment - angle manifolds, which is a crucial step. In addition, they introduce the concept of transverse equivalence as an important tool for studying smooth and holomorphic foliated manifolds. Through these methods, they prove that any complex manifold with maximal torus action is transversely equivalent to a complex moment - angle manifold, and thus has the same basic cohomology ring. This finally solves the conjecture of Battaglia and Zaffran and provides a new perspective for understanding this type of manifolds.