[Paper Review] Torus Actions and the Halperin-Carlsson Conjecture

Yoshinobu Kamishima, Mayumi Nakayama|arXiv (Cornell University)|Jun 21, 2012

Geometry and complex manifolds9 references3 citations

TL;DR

This paper affirms the Halperin-Carlsson conjecture for homologically injective torus actions on closed manifolds, proving that $\binom{k}{j} \leq b_j$ for all $j$, where $k$ is the rank of the torus and $b_j$ the $j$-th Betti number. The authors establish this via injective-splitting torus actions, applying it to Riemannian flat manifolds and compact Kähler manifolds with holomorphic torus actions.

ABSTRACT

We give an affirmative answer to the Halperin-Carlsson conjecture for the homologically injective torus actions on closed manifolds. This class contains holomorphic torus actions on compact Kahler manifolds, torus actions on compact Riemannian flat manifolds.

Motivation & Objective

• To prove the Halperin-Carlsson conjecture for homologically injective torus actions on closed manifolds.
• To generalize Conner-Raymond's injective torus actions by introducing injective-splitting actions.
• To establish the conjecture for compact Riemannian flat manifolds (euclidean space forms) and compact Kähler manifolds with holomorphic torus actions.
• To demonstrate that $\operatorname{rank} C(\pi) = \operatorname{rank} H_1(M;\mathbb{Z})$ for compact euclidean space forms, linking topology to group actions.
• To unify classical results from Calabi and Conner-Raymond by constructing a common framework for torus actions on flat manifolds.

Proposed method

• Introduce the concept of injective-splitting torus actions, generalizing Conner-Raymond's injective actions.
• Use the central extension $1 \to \mathbb{Z}^k \to \pi_1(M) \to Q \to 1$ to analyze the fundamental group structure under homologically injective actions.
• Lift the torus action to the universal cover $\tilde{M}$, ensuring $\mathbb{R}^k$ acts properly and freely.
• Construct a faithful representation $\rho: \pi \to \operatorname{E}(n)$, the group of euclidean isometries, to realize the manifold as $\mathbb{R}^n / \rho(\pi)$.
• Define a subgroup $\tilde{B} \subset \mathbb{Z}^n$ isomorphic to $\mathbb{Z}^k$ such that $\rho(\tilde{B}) \subset 0 \times \mathbb{R}^k$, yielding a compact $T^k$-action on the quotient.
• Use transfer homomorphisms and group cohomology to verify the existence of a function $\lambda: Q \to \mathbb{R}^{n-k}$ satisfying $f = \delta^1 \lambda$, ensuring the action is well-defined and properly discontinuous.

Experimental results

Research questions

• RQ1 Does the Halperin-Carlsson conjecture hold for homologically injective torus actions on closed manifolds?
• RQ2 Can the conjecture be extended to compact Riemannian flat manifolds via torus actions?
• RQ3 Do holomorphic torus actions on compact Kähler manifolds satisfy the homological injectivity condition?
• RQ4 Is there a unified framework linking Calabi’s construction of flat manifolds and Conner-Raymond’s injective actions?
• RQ5 What is the relationship between $\operatorname{rank} C(\pi)$ and $\operatorname{rank} H_1(M;\mathbb{Z})$ for compact euclidean space forms?

Key findings

• The Halperin-Carlsson conjecture holds for all homologically injective torus actions on closed $n$-manifolds, with $\binom{k}{j} \leq b_j$ for all $j$.
• Every effective $T^k$-action on a compact euclidean space form is homologically injective, and thus satisfies the conjecture.
• Every holomorphic torus action on a compact Kähler manifold is homologically injective, yielding $\binom{2k}{j} \leq b_j$.
• For a compact $n$-dimensional euclidean space form $M$, $\operatorname{rank} C(\pi) = \operatorname{rank} H_1(M;\mathbb{Z}) = k$, and $M$ admits a homologically injective $T^k$-action.
• The construction yields a faithful representation $\rho: \pi \to \operatorname{E}(n)$ such that $\mathbb{R}^n / \rho(\pi)$ is a compact euclidean space form with a $T^k$-action.
• The existence of a $T^k$-action on $M$ is guaranteed by the centralizer condition $0 \times \mathbb{R}^k \leq C_{\operatorname{E}(n)}(\rho(\pi))$, ensuring proper discontinuity and compactness of the orbit space.