4
$\begingroup$

Assume $(X,\omega)$ is a compact real $2n$-dimensional symplectic manifold with a Hamiltonian torus action corresponding to the moment map $\mu:X\to \mathfrak{t}^*\cong \mathbb{R}^k$. In this situation Atiyah-Guillemin-Sternberg convexity theorem states that $\mu(X)=\Delta$ is a rational convex polytope. Suppose $\xi\in\mathfrak{t}$ generates a circle subgroup $S^1_\xi\subset \mathbb{T}^k$. We further assume that $\xi$ is prime in the sense that $\xi\neq m\xi'$, $m>1$, for another element with the same property.

The action of $S^1_\xi$ is Hamiltonian with moment map $h_\xi=\left\langle \mu,\xi\right\rangle$ and it commutes with the action of $\mathbb{T}^k$. However, the $S^1_\xi$-action may not be free. For a regular value $\epsilon\in \mathbb{R}$ of $h_\xi$, if the $S^1_\xi$-action is free, the ordinary symplectic cut of Lerman[Remark 1.5] along $$V_\epsilon= \{ x\in X: h_\xi(x)=\epsilon \}\subset X$$ produces two symplectic manifolds $(X_+,\omega_+,\mu_+)$ and $(X_-,\omega_-,\mu_-)$ with induced $\mathbb{T}^k$-actions and moment polytopes

$$ \Delta_+=\Delta\cap\{ p\in \mathfrak{t}^*: \left\langle p,\xi\right\rangle\geq \epsilon\},\quad \Delta_-=\Delta\cap\{ p\in \mathfrak{t}^*: \left\langle p,\xi\right\rangle\leq \epsilon\},$$ respectively.

Now, I think: for generic $\epsilon$, the $S^1_\xi$-action is free if and only if the resulting polytopes are smooth, i.e. along each boundary strata, the normal vectors to the intersecting codimension-one faces are part of an integral basis for $\mathfrak{t}$.

Question: Where can I find a reference for this claim? It should have been stated somewhere.

$\endgroup$

1 Answer 1

2
$\begingroup$

The claim is not true unless it is toric. Consider the coadjoint orbit of $SU(3)$ at a generic point. The moment map image is a hexagon, with each edge parallel to one of weights $\alpha_1, \alpha_2, \alpha_1 + \alpha_2$. If we choose $\xi$ to be dual to $\alpha_1 + \alpha_2$ and $\epsilon$ close to the minimum of $S^1_{\xi}$, then the cut polytopes are small triangle and big hexagon. They are smooth by the choice of $\xi$, but the action is not free on $V_{\epsilon}$. It intersects with the sphere corresponding to weight $\alpha_1 + \alpha_2$ at the minimum, whose isotropy group is $\mathbb{Z}/2$.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.