Abstract:The Darboux-Weinstein decomposition is a central result in the theory of Poisson (degenerate symplectic) varieties, which gives a local decomposition at a point as a product of the formal neighborhood of the symplectic leaf through the point and a formal slice.
Recently, conical symplectic resolutions, and more generally, Poisson cones, have been very actively studied in representation theory and algebraic geometry. This motivates asking for a C*-equivariant version of the Darboux-Weinstein decomposition.
In this paper, we develop such a theory, prove basic results on their existence and uniqueness, study examples (quotient singularities and hypertoric varieties), and applications to noncommutative algebra (their quantization). We also pose some natural questions on existence and quantization of C*-actions on slices to conical symplectic leaves.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to perform a \(C^{\times}\)-equivariant Darboux - Weinstein decomposition on symplectic cones or Poisson cones with \(C^{\times}\)-action in symplectic geometry and Poisson geometry. Specifically, the goal of the paper is to develop a theory, prove the existence and uniqueness of such a decomposition, and study its applications in representation theory and non - commutative algebra. The paper also explores the natural problems of the existence of slices to symplectic leaves and quantization under \(C^{\times}\)-action.
### Background and Motivation
1. **Darboux - Weinstein Decomposition**:
- The Darboux - Weinstein decomposition is a central result in the theory of complex Poisson (degenerate symplectic) varieties. It gives a local decomposition at a point, that is, it decomposes the formal neighborhood into the product of the formal neighborhood of the symplectic leaf passing through the point and a formal slice.
- Recently, symplectic cone resolutions and more general Poisson cones have been widely studied in representation theory and algebraic geometry, which has inspired the need for a \(C^{\times}\)-equivariant version of the Darboux - Weinstein decomposition.
2. **Symplectic Cone Resolution**:
- Symplectic cone resolution means resolving the singularity of a cone \(C^{\times}\)-equivariantly, and the resolved space is a symplectic variety.
- These structures have important applications in mathematics and physics, such as in representation theory, symplectic geometry, quantum cohomology, mirror symmetry, equivariant cohomology, etc.
### Main Contributions
1. **\(C^{\times}\)-equivariant Darboux - Weinstein Decomposition**:
- The paper develops a theory and proves the existence and uniqueness of this decomposition.
- It studies examples such as quotient singularities and hypertoric varieties and explores their applications in non - commutative algebra, especially their quantization.
2. **Decomposition of Formal Neighborhoods**:
- For a complex Poisson variety \(X\) with \(C^{\times}\)-action and a \(C^{\times}\)-stable symplectic leaf \(Y\), the paper proves that the formal neighborhood \(\hat{X}_{C^{\times}\cdot y}\) can be decomposed into \(\hat{Y}_{C^{\times}\cdot y}\times S\), where \(S\) is a formal scheme with a trivial \(C^{\times}\)-action.
- \(S\) is equipped with a canonical Poisson structure, and \(\hat{Y}_{C^{\times}\cdot y}\) is isomorphic to \(C^{\times}\times\Delta^{\dim Y - 1}\) with a standard symplectic structure.
3. **Quantization**:
- The paper also discusses the quantized version of the above results and proves that every \(C^{\times}\)-compatible quantization \(X\) has a direct product decomposition similar to the above decomposition.
### Applications and Examples
1. **Quotient Singularities and Hypertoric Varieties**:
- The paper studies in detail the \(C^{\times}\)-equivariant Darboux - Weinstein decomposition in these specific cases and gives explicit decompositions.
- These decompositions can be quantized to give tensor product decompositions of non - commutative deformations, and these decompositions now include \(C^{\times}\)-action.
2. **Conjugate Orbits of Semisimple Lie Algebras**:
- Taking \(X = \mathfrak{g}^*\) as an example, where \(\mathfrak{g}\) is a semisimple Lie algebra, the paper shows how to perform a \(C^{\times}\)-equivariant decomposition.
- In particular, for \(\mathfrak{g}=\mathfrak{sl}(2)\), the paper gives detailed decomposition and quantization results.
### Conclusion
The paper successfully develops a theory of \(C^{\times}\)-equivariant Darboux - Weinstein decomposition, proves its existence and uniqueness, and explores its applications in representation theory and non - commutative algebra. These results not only enrich the theories of symplectic geometry and Poisson geometry but also provide new tools and perspectives for further research in related fields.