Duistermaat-Heckman measures for Hamiltonian groupoid actions

Basic Information

• Paper ID: 2311.02491
• Title: Duistermaat-Heckman measures for Hamiltonian groupoid actions
• Author: Luka Zwaan
• Classification: math.SG (Symplectic Geometry), math.DG (Differential Geometry)
• Publication Date: November 2023 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2311.02491v2

Abstract

Consider a locally free and effective Hamiltonian action of a source-compact, source-connected regular symplectic groupoid on a symplectic manifold, assuming the moment map is compact with connected fibers. In this setting, there exists an associated Duistermaat-Heckman measure on the quotient orbit space. The author proves that this measure is polynomial with respect to the natural affine measure.

Research Background and Motivation

Problem Context

1. Classical Duistermaat-Heckman Theory: In classical Hamiltonian group action theory, Duistermaat and Heckman studied in 1982 Hamiltonian actions of tori on symplectic manifolds, discovering a polynomial relationship between the Duistermaat-Heckman measure (the pushforward of the Liouville measure under the moment map) and the Lebesgue measure: μ_DH = vol_red · μ_Leb
2. Development of Groupoid Theory: Symplectic groupoids are global objects for integrating Poisson manifolds and have played an important role in recent advances in Poisson geometry. Hamiltonian groupoid actions unify various concepts of Hamiltonian actions, including quasi-Hamiltonian actions and Hamiltonian actions of Poisson-Lie groups.
3. Research Motivation:
   • Generalize the classical Duistermaat-Heckman result to more general groupoid settings
   • Understand the relationship between symmetry and reduction in the groupoid framework
   • Provide new theoretical tools for measure theory in Poisson geometry

Limitations of Existing Methods

• Classical theory applies only to Lie group actions
• Lack of a unified framework for handling more general symmetry structures
• Measure theory on orbit spaces (orbifolds) is underdeveloped

Core Contributions

1. Main Theorem: Proves that under appropriate conditions, the Duistermaat-Heckman measure of Hamiltonian groupoid actions is polynomial with respect to the affine measure
2. Theoretical Generalization: Successfully extends classical Duistermaat-Heckman theory to the groupoid setting
3. Geometric Interpretation: Provides explicit geometric meaning of the polynomial function as the product of orbit volume and reduced space volume
4. Unified Framework: Provides unified treatment for various types of Hamiltonian actions

Detailed Methods

Core Concept Definitions

Symplectic Groupoid

Definition 2.1: A symplectic groupoid is a pair (G,Ω), where G ⇒ M is a Lie groupoid and Ω ∈ Ω²(G) is a multiplicative symplectic form.

Hamiltonian Action

Definition 2.3: An action of groupoid G on a symplectic manifold (X,ω) along μ: X → M is called Hamiltonian if it satisfies:

a*ω = pr₁*Ω + pr₂*ω ∈ Ω²(G ×ₛ μ X)

Technical Framework

1. Integral Affine Structure

• The leaf space B = M/G inherits an integral affine structure
• Transverse densities defined through the lattice Λ ⊂ ν*(F_π)
• The affine measure μ_aff plays the role of the Lebesgue measure in the classical setting

2. Duistermaat-Heckman Measure

Definition 3.1:

μ_DH := (q ∘ μ)₊(ω^top/top!)

where q: M → B is the quotient map to the leaf space.

3. Volume Functions

Two key functions are defined:

• Volume function: b ↦ ι(b) · vol(O_b, ω_F_π)
• Reduced volume function: b ↦ ι(b) · vol(X //ₚ G, ω_red,p)

Main Theorem

Main Theorem: If the action is locally free and effective, and the moment map is compact with connected fibers, then:

μ_DH = vol · vol_red · μ_aff

where both vol and vol_red are polynomial functions.

Technical Innovations

1. Generalization of Measure Theory

• Extends classical measure relationships to the orbifold setting
• Addresses measure theory on non-smooth quotient spaces
• Develops theory of transverse measures

2. Unification of Geometric Structures

• Unified treatment of various types of Hamiltonian actions
• Connects local and global properties through integral affine structures
• Establishes bridge between groupoid theory and classical Hamiltonian mechanics

3. Proof of Polynomial Property

• Employs localization techniques from linear variation theorems
• Establishes connection with classical torus actions via transverse integral affine maps
• Provides constructive proof of polynomial property of volume functions

Analysis of Main Results

Return to Classical Case

Example 3.8: For classical locally free Hamiltonian torus actions T ⟳ (X,ω), with groupoid T⋉t* ⇒ t*, we have:

• B = t* is smooth
• The affine measure is the Lebesgue measure on t*
• The volume function is identically 1
• The main theorem reduces to the classical Duistermaat-Heckman theorem

Free Action Case

Example 3.10: When the action is free, the quotient space X_red := X/G is a smooth manifold with induced Poisson structure, and the theorem simplifies to:

μ_DH = vol₁ · vol₂ · μ_aff

Concrete Applications

Example 3.12: Consider a locally free Hamiltonian action of a compact connected Lie group G on (X̃,ω̃). Taking U(k) acting on (Cᵏˣⁿ,ω_can) as an example:

• Moment map: A ↦ (i/2)AA*
• Reduced space is a quotient of "rescaled" Stiefel manifolds
• The theorem implies that volumes of these spaces vary polynomially with parameters

Proof Strategy

Core Ideas

The proof consists of two main steps:

1. Polynomial Property: Exploits the structure of classical torus actions in the transverse direction
2. Measure Relationship: Verifies the density decomposition formula pointwise

Key Techniques

The proof of Equation (3.5) is central, requiring verification of:

|ω^top/top!|ₓ = ρ_Haar ⊗ |(ω|μ⁻¹(p))^top/top!|ₓ ⊗ (dₓμ)*|ω_F_π^top/top!|ₚ ⊗ |λ₁ ∧ ··· ∧ λq|

The proof is completed by constructing an appropriate tangent space decomposition TₓX = V₁ ⊕ V₂ ⊕ V₃ ⊕ V₄ and utilizing moment map conditions and symplectic orthogonality.

Related Work

Historical Development

1. Classical Theory: Original work by Duistermaat-Heckman (1982)
2. Generalization Directions: Quasi-Hamiltonian actions (McDuff 1988), Hamiltonian actions of Poisson-Lie groups (Lu 1991)
3. Groupoid Theory: Foundational work by Weinstein, Mikami and others

Positioning of This Work's Contribution

• First to establish complete Duistermaat-Heckman theory in the groupoid setting
• Connects Poisson geometry with classical Hamiltonian mechanics
• Provides new tools for measure theory on orbit spaces

Conclusions and Discussion

Main Conclusions

1. Successfully generalizes the classical Duistermaat-Heckman theorem to the groupoid setting
2. Establishes polynomial property of measures in Hamiltonian groupoid actions
3. Provides explicit geometric interpretation of volume functions

Limitations

1. Requires strong technical assumptions (source-compact, regular, locally free, etc.)
2. Primarily applicable to "well-behaved" groupoid actions
3. Theory for general quasi-symplectic groupoids requires further development

Future Directions

1. Generalization to Quasi-Symplectic Groupoids: The author mentions extending results to φ-twisted quasi-symplectic groupoids as a future goal
2. Application Extensions: Seek further applications in Poisson geometry and mathematical physics
3. Computational Aspects: Develop methods for concrete computation of these measures and volume functions

In-Depth Evaluation

Strengths

1. Theoretical Depth: Successfully resolves an important theoretical problem by generalizing classical results to more general settings
2. Technical Rigor: Employs sophisticated proof techniques and skillfully handles the complexity of orbit spaces
3. Unification: Provides unified framework for multiple types of Hamiltonian actions
4. Geometric Insight: Offers profound geometric understanding and explicit volume interpretation

Weaknesses

1. High Technical Threshold: Requires deep background in differential geometry and Poisson geometry
2. Limited Application Scope: Practical applications may be restricted by technical assumptions
3. Computational Complexity: Concrete calculations remain difficult

Impact

1. Theoretical Contribution: Provides important theoretical tools for Poisson and symplectic geometry
2. Methodological Value: Demonstrates how to handle classical problems within the groupoid framework
3. Foundation for Future Research: Establishes foundation for further research in related fields

Applicable Scenarios

1. Theoretical Research: Theoretical development in Poisson and symplectic geometry
2. Mathematical Physics: Hamiltonian systems with complex symmetries
3. Geometric Analysis: Analytical problems on orbit spaces

References

The paper cites important literature in the field, including:

• Duistermaat & Heckman (1982): Original classical results
• Crainic, Fernandes & Mărcuţ (2021): Modern textbook on Poisson geometry
• Mikami & Weinstein (1988): Foundational work on Hamiltonian groupoid actions
• Numerous related works in symplectic and Poisson geometry

This paper represents an important theoretical advance in Poisson geometry, successfully extending the classical Duistermaat-Heckman theory to more general groupoid settings and providing new mathematical tools for understanding Hamiltonian systems with complex symmetries.