Table of Contents
Fetching ...

Maximal symplectic torus actions

Rei Henigman

TL;DR

The paper classifies almost isotropy-maximal symplectic torus actions up to equivariant symplectomorphism, proving they are equivariantly diffeomorphic to a product of a symplectic toric manifold and a torus, thereby resolving Ishida's question in this broader setting. The key tool is the Duistermaat–Pelayo framework for symplectic torus actions with coisotropic principal orbits, with almost isotropy-maximal actions shown to have coisotropic orbits and governed by five invariants (the fifth invariant vanishes). The isotropy-maximal case is a special instance where the invariants reduce to the bilinear form $\sigma$ and the Delzant polytope $\Delta$, enabling a clean product construction and a simple equivalence criterion. The results illuminate the landscape of maximal symplectic torus actions, describe when actions can extend to higher-dimensional tori, and provide concrete structural decompositions for a broad class of symplectic manifolds.

Abstract

There are several different notions of maximal torus actions on smooth manifolds, in various contexts: symplectic, Riemannian, complex. In the symplectic context, for the so-called isotropy-maximal actions, as well as for the weaker notion of almost isotropy-maximal actions, we give classifications up to equivariant symplectomorphism. These classification results give symplectic analogues of recent classifications in the complex and Riemannian contexts. Moreover, we deduce that every almost isotropy-maximal symplectic torus action is equivariantly diffeomorphic to a product of a symplectic toric manifold and a torus, answering a question of Ishida. The classification theorems are consequences of Duistermaat and Pelayo's classification of symplectic torus actions with coisotropic orbits.

Maximal symplectic torus actions

TL;DR

The paper classifies almost isotropy-maximal symplectic torus actions up to equivariant symplectomorphism, proving they are equivariantly diffeomorphic to a product of a symplectic toric manifold and a torus, thereby resolving Ishida's question in this broader setting. The key tool is the Duistermaat–Pelayo framework for symplectic torus actions with coisotropic principal orbits, with almost isotropy-maximal actions shown to have coisotropic orbits and governed by five invariants (the fifth invariant vanishes). The isotropy-maximal case is a special instance where the invariants reduce to the bilinear form and the Delzant polytope , enabling a clean product construction and a simple equivalence criterion. The results illuminate the landscape of maximal symplectic torus actions, describe when actions can extend to higher-dimensional tori, and provide concrete structural decompositions for a broad class of symplectic manifolds.

Abstract

There are several different notions of maximal torus actions on smooth manifolds, in various contexts: symplectic, Riemannian, complex. In the symplectic context, for the so-called isotropy-maximal actions, as well as for the weaker notion of almost isotropy-maximal actions, we give classifications up to equivariant symplectomorphism. These classification results give symplectic analogues of recent classifications in the complex and Riemannian contexts. Moreover, we deduce that every almost isotropy-maximal symplectic torus action is equivariantly diffeomorphic to a product of a symplectic toric manifold and a torus, answering a question of Ishida. The classification theorems are consequences of Duistermaat and Pelayo's classification of symplectic torus actions with coisotropic orbits.

Paper Structure

This paper contains 7 sections, 8 theorems, 40 equations.

Key Result

Proposition 2.5

Let $(M, \omega)$ be a symplectic manifold, equipped with an almost isotropy-maximal symplectic torus action. Then the principal orbits of the torus action are coisotropic.

Theorems & Definitions (28)

  • Example 2.1
  • Remark 2.2
  • Example 2.3
  • Example 2.4
  • Proposition 2.5
  • Remark 2.6
  • Remark 2.7
  • Lemma 2.9
  • Theorem 2.10
  • Theorem 2.11
  • ...and 18 more