Abstract:We consider compact connected six dimensional symplectic manifolds with Hamiltonian SU(2) or SO(3) actions with cyclic principal stabilizers. We classify such manifolds up to equivariant symplectomorphisms.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to classify six - dimensional compact connected symplectic manifolds with cyclic principal stabilizer groups \(Z_n=\mathbb{Z}/n\mathbb{Z}\), and these manifolds carry Hamiltonian \(SU(2)\) or \(SO(3)\) actions. Specifically, the author aims to classify this type of manifolds up to equivariant symplectomorphisms.
### Background and Problem Description of the Paper
In symplectic geometry, the Hamiltonian action is an important concept, which involves the action of a Lie group \(G\) on a symplectic manifold \((M,\omega)\), and there exists a moment map \(\Phi:M\rightarrow\mathfrak{g}^*\), where \(\mathfrak{g}^*\) is the dual space of the Lie algebra \(\mathfrak{g}\). The moment map satisfies the following condition:
\[ \iota(\xi_M)\omega=-d\langle\Phi,\xi\rangle \]
where \(\xi_M\) represents the vector field induced by \(\xi\in\mathfrak{g}\).
For the two specific Lie groups \(SU(2)\) and \(SO(3)\), the author studies their Hamiltonian actions on six - dimensional symplectic manifolds, especially when the principal stabilizer group is the cyclic group \(Z_n\). In this case, the properties of the level sets and reduced spaces of the moment map become particularly important.
### Main Contributions
The main contribution of the paper is to successfully classify six - dimensional symplectic manifolds with the above - mentioned properties by introducing some new invariants and techniques. Specifically:
1. **Local Uniqueness Theorem**: The author proves that near the zero point, two symplectic manifolds with the same Duistermaat - Heckman function, the same genus, the same principal stabilizer group, and the same first Stiefel - Whitney class are locally equivalent.
Theorem A (Local Uniqueness Theorem):
\[
\text{Let }G = SU(2)\text{ or }SO(3),(M,\omega,\Phi)\text{ and }(M',\omega',\Phi')\text{ be compact connected six - dimensional Hamiltonian }G-\text{manifolds such that }0\in\Phi(M)=\Phi'(M').
\]
There exists an invariant neighborhood \(V\) containing \(0\) in \(g^*\) such that these two Hamiltonian \(G\)-manifolds are equivalent on \(V\) if and only if the following conditions are met:
- Their Duistermaat - Heckman functions are the same on \(V\);
- Their genus and anisotropy data at the \(0\) point are the same;
- Their principal stabilizer groups of the zero fiber are the same;
- If the zero fiber is high and the principal stabilizer group is \(S^1\), then the first Stiefel - Whitney classes of \(\Phi^{-1}(0)\) and \(\Phi'^{-1}(0)\) are equal under \(H^1(M_0^{\text{reg}};\mathbb{Z}_2)\) and \(H^1(M'^{\text{reg}}_0;\mathbb{Z}_2)\) (under the identification of \(M_0\) and \(M'_0\) that preserves the anisotropy data).
2. **Global Uniqueness Theorem**: Based on the local uniqueness theorem, the author further proves that two six - dimensional Hamiltonian \(G\)-manifolds are globally equivalent.