A quasi-Poisson structure on the multiplicative Grothendieck-Springer resolution

Ana Balibanu

2023-11-02

Abstract:In this note we show that the multiplicative Grothendieck-Springer space has a natural quasi-Poisson structure. The associated group-valued moment map is the resolution morphism, and the quasi-Hamiltonian leaves are the connected components of the preimages of Steinberg fibers. This is a multiplicative analogue of the standard Poisson structure on the additive Grothendieck-Springer resolution, and an explicit illustration of a more general procedure of reduction along Dirac realizations which is developed in recent work of the author and Mayrand.

Symplectic Geometry,Differential Geometry,Representation Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to construct a natural quasi - Poisson structure on the multiplicative Grothendieck - Springer space \( \tilde{G} \). Specifically, the author shows that \( \tilde{G} \) has a quasi - Poisson structure, whose group - valued moment map is the analytic map \( \mu \), and whose quasi - Hamiltonian leaves are the connected components of the Steinberg fibers of \( \mu \). These leaves form a regular foliation of \( \tilde{G} \).

### Background and Motivation

1. **Grothendieck - Springer Resolution**
- \( \tilde{G} \) is the Grothendieck - Springer simultaneous resolution of the complex reductive group \( G \), defined as:
\[
\tilde{G}=\{(g', B')\in G\times\mathcal{B}\mid g'\in B'\}
\]
where \( \mathcal{B} \) is the flag manifold of Borel subgroups of \( G \).
- The natural map \( \mu:\tilde{G}\to G \) is given by the first projection, and its general fibers are finite.

2. **Quasi - Poisson Structures**
- A quasi - Poisson manifold is a generalized class of Poisson manifolds, in which the Jacobi identity is twisted by a canonical tri - vector field.
- A quasi - Poisson manifold is equipped with a group - valued moment map and is foliated by non - degenerate leaves, and each leaf carries a quasi - Hamiltonian 2 - form.

### Main Results

1. **Existence of the Quasi - Poisson Structure**
- The author proves that there exists a natural quasi - Poisson structure on \( \tilde{G} \), whose group - valued moment map is \( \mu \).
- The quasi - Hamiltonian leaves of this structure are the connected components of the Steinberg fibers of \( \mu \), forming a regular foliation of \( \tilde{G} \).

2. **Double Resolution of Singularities of the Analytic Map \( \mu \)**
- \( \mu \) resolves singularities in two ways: it resolves each singular Steinberg fiber into a smooth manifold and resolves the singular quasi - Hamiltonian foliation of \( G \) into the regular quasi - Hamiltonian foliation of \( \tilde{G} \).

### Methods and Techniques

1. **Dirac Manifolds and Quasi - Poisson Structures**
- The author uses the theory of Dirac manifolds, especially the reduction process of Dirac realizations, to construct the quasi - Poisson structure on \( \tilde{G} \).
- By internally fusing the quasi - Hamiltonian structure of the double \( D_G = G\times G \), \( \tilde{G} \) inherits a quasi - Poisson structure.

2. **Concrete Construction**
- By considering the Dirac structure \( j^*L_{D_G} \) on \( G\times B \) and verifying that its projection on \( \tilde{G} \) is a smooth vector bundle, we obtain the quasi - Poisson structure on \( \tilde{G} \).

### Conclusion

This paper successfully constructs a natural quasi - Poisson structure on the multiplicative Grothendieck - Springer space \( \tilde{G} \) and analyzes its properties in detail. This result not only provides a new perspective for understanding the geometric structure of \( \tilde{G} \), but also provides an important example for the study of quasi - Poisson geometry.