Abstract:In the previous work, we study the closure of a complex subtorus in a toric manifold given by the data of an affine subspace. We call it torus-equivariantly embedded toric manifold when the closure of a complex subtorus is a smooth complex submanifold. In this paper, we clearify the condition for nonsingularity of the closure of a complex subtorus in terms of polytopes. The main result is a generalization of Delzant theorem to the case of torus-equivariantly embedded toric hypersurfaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether, under certain conditions, the complex hypersurface \(C(V)\) can become a smooth complex sub - manifold in the toric manifold \(X\). Specifically, the paper studies how to judge whether the closure \(C(V)\) is a smooth complex hypersurface through the properties of the Delzant polytope \(\Delta\) when an \((n - 1)\)-dimensional affine subspace \(V\) and a Delzant polytope \(\Delta\) are given. The main result is a generalized Delzant - type theorem, which is applicable to the toric - equivariant embedding of toric hypersurfaces.
### Background knowledge
1. **Delzant polytope**: A Delzant polytope is a special convex polytope, and there is a one - to - one correspondence between it and the symplectic toric manifold.
2. **Toric manifold**: A toric manifold is a class of manifolds with special symmetry, usually with a symplectic structure or a Kähler structure.
3. **Toric - equivariant embedding**: It refers to the complex sub - manifold obtained by the closure of a certain complex sub - torus in the toric manifold.
### Main results
1. **Theorem 1.3**: If the Delzant polytope \(\Delta\) is "good" for the mapping \(i^*_V\) (satisfying certain conditions), then the rank of the Jacobian matrix \(Df_\lambda\) at the zero point of any vertex \(\lambda\) is 1. In particular, \(C(V)\) is a smooth complex hypersurface.
2. **Corollary 1.4**: If the Delzant polytope \(\Delta\) of the toric manifold \(X\) is "good" for the mapping \(i^*_V\), then the convex polytope \(i^*_V(\Delta)\) is the Delzant polytope of the complex hypersurface \(C(V)\).
3. **Theorem 1.5**: If the rank of the Jacobian matrix \(Df_\lambda\) at the zero point of any vertex \(\lambda\) is 1, then the Delzant polytope \(\Delta\) is "good" for the mapping \(i^*_V\).
4. **Corollary 1.6**: The \(C(V)\) corresponding to the Delzant polytope \(\Delta\) of the toric manifold \(X\) is a toric - equivariant - embedded toric hypersurface if and only if \(\Delta\) is "good" for the mapping \(i^*_V\).
### Paper structure
1. **Introduction**: Introduce the background and main results.
2. **Preliminaries**: Review the basic concepts of toric manifolds and toric - equivariant embeddings.
3. **Proof of Theorem 1.3**: Prove the main theorem in detail in several parts.
4. **From toric - equivariant - embedded toric hypersurfaces to Delzant polytopes**: Prove Theorem 1.5 and related corollaries.
### Key definitions
1. **Good vertex**: A vertex \(\lambda\) satisfies two conditions:
- \(i^*_V(\lambda)\) is a vertex of the convex polytope \(i^*_V(\Delta)\).
- The direction vectors of the edges starting from the vertex \(\lambda\) are all non - zero in \((t^{n - 1})^*\).
2. **Good Delzant polytope**: For the mapping \(i^*_V\), any good vertex \(\lambda\) satisfies two conditions:
- \(n - 1\) direction vectors can be chosen so that they are linearly independent and satisfy certain combinatorial conditions.
- These direction vectors form a \(\mathbb{Z}\)-basis of \(\mathbb{Z}^{n - 1}\).
Through these definitions and theorems, the paper successfully links the properties of Delzant polytopes with the smoothness of complex hypersurfaces, providing a new perspective to understand complex hypersurfaces in toric manifolds.