Almost complex torus manifolds -- graphs, Hirzebruch genera, and problem of Petrie type

TL;DR

This paper studies almost complex torus manifolds, representing fixed point data with graphs, proving positivity of certain genera, and establishing conditions under which such manifolds are equivalent to complex projective spaces.

Contribution

It introduces multigraph representations for fixed points, proves positivity of Hirzebruch genera, and characterizes manifolds sharing Euler number with projective space as equivalent in several invariants.

Findings

Existence of multigraphs encoding fixed point weights.

Positivity of Hirzebruch $ ext{chi}_y$-genus coefficients.

Manifolds with same Euler number as $ ext{CP}^n$ share invariants with $ ext{CP}^n$.

Abstract

Let a $k$-dimensional torus $T^k$ act on a $2n$-dimensional compact connected almost complex manifold $M$ with isolated fixed points. As for circle actions, we show that there exists a (directed labeled) multigraph that encodes weights at the fixed points of $M$. This includes the notion of a GKM graph as a special case that weights at each fixed point are pairwise linearly independent. If in addition $k=n$, i.e., $M$ is an almost complex torus manifold, the multigraph is a graph; it has no multiple edges. We show that the Hirzebruch $\chi_y$-genus $\chi_y(M)=\sum_{i=0}^n a_i(M) \cdot (-y)^i$ of an almost complex torus manifold $M$ satisfies $a_i(M) > 0$ for $0 \leq i \leq n$. In particular, the Todd genus of $M$ is positive and there are at least $n+1$ fixed points. Petrie's conjecture asserts that if a homotopy $\mathbb{CP}^n$ admits a non-trivial circle action, its Pontryagin class agrees with that of $\mathbb{CP}^n$. Petrie proved this conjecture if instead it admits a $T^n$-action. We prove that if a $2n$-dimensional almost complex torus manifold $M$ only shares the Euler number with the complex projective space $\mathbb{CP}^n$, an associated graph agrees with that of a linear $T^n$-action on $\mathbb{CP}^n$; consequently $M$ has the same weights at the fixed points, Chern numbers, equivariant cobordism class, Hirzebruch $\chi_y$-genus, Todd genus, and signature as $\mathbb{CP}^n$. If furthermore $M$ is equivariantly formal, the equivariant cohomology and the Chern classes of $M$ and $\mathbb{CP}^n$ also agree.