Real Forms of Holomorphic Hamiltonian Systems

Basic Information

• Paper ID: 2009.10417
• Title: Real Forms of Holomorphic Hamiltonian Systems
• Authors: Philip Arathoon (University of Michigan), Marine Fontaine (University of Warwick)
• Classification: math.SG math-ph math.DS math.MP
• Publication: SIGMA 20 (2024), 114, 24 pages
• Paper Link: https://arxiv.org/abs/2009.10417

Abstract

By complexifying a Hamiltonian system, one obtains dynamics on a holomorphic symplectic manifold. To reverse this construction, this paper proposes a theory of real forms that not only recovers the original system but also generates different real Hamiltonian systems sharing the same complexification. This provides a concept analogous to real forms of complex Lie algebras for holomorphic Hamiltonian systems. The main result is: the complexification of any analytic mechanical system defined on Grassmannian manifolds admits a real form on a compact symplectic manifold. This produces a "unitary trick" for Hamiltonian systems, which remarkably requires essential use of hyperkähler geometry. The result is demonstrated by finding compact real forms for the simple pendulum, spherical pendulum, and rigid body.

Research Background and Motivation

1. Core Problem

The core problem addressed by this research is: given a holomorphic Hamiltonian system, how can one systematically find all possible real Hamiltonian systems whose complexifications yield the same holomorphic system? This parallels the theory of real forms of complex Lie algebras.

2. Problem Significance

• Theoretical Importance: Establishes bidirectional correspondence between complexification and realization in Hamiltonian dynamics
• Applied Value: Provides new research perspectives for classical mechanical systems, particularly studying non-compact systems through compact real forms
• Geometric Insight: Reveals the profound role of hyperkähler geometry in Hamiltonian systems

3. Limitations of Existing Methods

Previous research was primarily limited to:

• Systems on $\mathbb{C}^{2n}$ with real subspaces as $\mathbb{R}^{2n}$
• Lack of systematic theoretical framework for more general holomorphic symplectic manifolds
• Insufficient utilization of differential geometric tools and perspectives

4. Research Motivation

• Extend real form theory to broader dynamical systems
• Establish tighter connections with differential geometry
• Provide new tools for integrable systems theory

Core Contributions

1. Established real form theory for holomorphic Hamiltonian systems: Generalized the concept of real forms of complex Lie algebras to Hamiltonian dynamics
2. Proved the main theorem: Any analytic mechanical system defined on Grassmannian manifolds admits real forms on compact symplectic manifolds
3. Developed applications of hyperkähler geometry in Hamiltonian systems: Constructed real forms and imaginary symplectic forms via brane theory
4. Provided concrete physical applications: Found compact real forms for simple pendulum, spherical pendulum, and rigid body
5. Established correspondence for integrability: Proved equivalence between holomorphic integrability and integrability on real forms

Methodology Details

Problem Formulation

Given a holomorphic Hamiltonian system on a holomorphic symplectic manifold $(M,\Omega)$, find all possible real forms $(N,\hat{\omega}_R)$ such that the dynamics restricted to $N$ constitute a real Hamiltonian system.

Theoretical Framework

1. Holomorphic Symplectic Geometry Foundations

For a holomorphic symplectic manifold $(M,\Omega)$, decompose the holomorphic symplectic form into real and imaginary parts: $\Omega = \omega_R + i\omega_I$

where $\omega_R$ and $\omega_I$ are real symplectic forms on $M$ satisfying: $\omega_R(I(X),Y) = -\omega_I(X,Y)$

2. Definition of Real Forms

Definition 2.2: A real form $N$ of a holomorphic symplectic manifold $(M,\Omega)$ is called:

• Real symplectic form: if the restriction of $\Omega$ to $N$ is purely real
• Imaginary symplectic form: if the restriction of $\Omega$ to $N$ is purely imaginary

Proposition 2.3: A totally real submanifold $N \subset (M,\Omega)$ is a real symplectic form if and only if it is a Lagrangian submanifold of $(M,\omega_I)$, which means it is a symplectic submanifold of $(M,\omega_R)$.

3. Invariance Conditions

Theorem 2.5: A real symplectic form $N \subset M$ is invariant under the Hamiltonian flow generated by a holomorphic function $f = u + iv$ if and only if $v$ is locally constant on $N$. In this case, the flow on $N$ is equivalent to the Hamiltonian flow on $(N,\hat{\omega}_R)$ generated by the restriction of $u$.

Hyperkähler Geometry Methods

1. Brane Theory

Proposition 4.1: A submanifold $N$ of a hyperkähler manifold $M$ is a complex Lagrangian submanifold of $(M,I,\Omega_1)$ if and only if it is an imaginary symplectic form of $(M,J,\Omega_2)$ and a real symplectic form of $(M,K,\Omega_3)$.

2. Hyperkähler Reduction

Through hyperkähler reduction of the $U(m)$ action on $\text{Hom}(\mathbb{H}^m,\mathbb{H}^n)$, we obtain:

Theorem 4.4: The hyperkähler reduction space $\tilde{M}$ satisfies:

• $(\tilde{M},I,\Omega_1) \cong (T^*_{1,0}\text{Gr}_\mathbb{C}, i, \Omega_{\text{can}})$
• $(\tilde{M},J,\Omega_2) \cong (\text{Orb}(-1), i, \Omega_{\text{KKS}})$
• $(\tilde{M},K,\Omega_3) \cong (\text{Orb}(i), i, \Omega_{\text{KKS}})$

Technical Innovations

1. Unified Framework: Unifies different real Hamiltonian systems as different real forms of the same holomorphic system
2. Essential Use of Hyperkähler Structure: Obtains different holomorphic symplectic manifolds by changing complex structures
3. Brane Correspondence: Establishes correspondence between complex Lagrangian submanifolds and real/imaginary symplectic forms
4. Explicit Construction: Provides explicit formulas for compact real forms of systems on Grassmannian manifolds

Experimental Setup

Concrete Examples

The paper validates the theory through three classical mechanical systems:

1. Simple Pendulum: Phase space $T^*S^1$, compact real form is $S^2$
2. Spherical Pendulum: Phase space $T^*S^2$, compact real form is $S^2 \times S^2$
3. Rigid Body: Phase space $T^*SO(3)$, compact real form is $\mathbb{CP}^3$

Computational Methods

• Use orbits $\text{Orb}(\zeta) \subset \text{gl}_n\mathbb{C}^*$ as central objects
• Establish correspondence through mapping $\Phi: \text{Orb}(i) \to T^*_{1,0}\text{Gr}_\mathbb{C}$
• Utilize three complex structures of hyperkähler geometry for transformation

Experimental Results

Main Results

1. Compact Real Form of Simple Pendulum

Holomorphic Hamiltonian on complex 2-sphere $CS^2$: $H_C(x) = \frac{1}{2}(x^2 - y^2 + z^2 - 1) + \frac{x\sqrt{2}}{\sqrt{1 + x^2 - y^2 + z^2}}$

Restricted to compact real form $S^2$: $H_C|_{S^2} = -\cos^2\psi + \cos\phi$

2. Compact Real Form of Spherical Pendulum

Construct holomorphic integrable system $(H_C, J_C)$ on $CS^2 \times CS^2$: $H_C = \frac{1}{2}(x_1x_2 - y_1y_2 + z_1z_2 - 1) + \frac{y_1 - y_2}{\sqrt{(x_1+x_2)^2 + (y_1-y_2)^2 + (z_1+z_2)^2}}$$J_C = \frac{y_1 + y_2}{2i}$

Yields real integrable system on compact real form $S^2 \times S^2$.

3. Compact Real Form of Rigid Body

Via momentum map of $SL_2\mathbb{C}$ action: $\mu_C: \text{Orb}(i) \to \text{sl}_2\mathbb{C}^*$

Restricted to compact real form $\mathbb{CP}^3$ yields momentum map of $SU(2)$ action, giving compact version of rigid body system.

Integrability Results

Theorem 5.4: If a holomorphic Hamiltonian admits a holomorphic integrable system on $(M,\Omega)$ and the flow preserves an analytic real symplectic form $N$, then the corresponding real Hamiltonian system on $(N,\hat{\omega}_R)$ is integrable.

Theorem 5.6: If a holomorphic integrable system $\mu: M \to \mathbb{C}^n$ is $R$-compatible with respect to real symplectic structure $R$, then the restriction $\hat{\mu}: M^R \to \text{Fix}\rho^*$ is a real integrable system on $(M^R,\hat{\omega}_R)$.

Related Work

Main Research Directions

1. Holomorphic Integrable Systems Theory: Work by Adler, van Moerbeke, Vanhaecke, etc.
2. Hyperkähler Geometry: Work by Biquard, Kovalev on hyperkähler structures of complex adjoint orbits
3. Real Form Theory: Early work by Gerdjikov et al. on $\mathbb{C}^{2n}$

Advantages of This Paper

• Generalization to arbitrary holomorphic symplectic manifolds
• Systematic use of hyperkähler geometry
• Concrete physical applications provided
• Establishes deep connections with differential geometry

Conclusions and Discussion

Main Conclusions

1. Established complete theory of real forms for holomorphic Hamiltonian systems
2. Proved that any analytic mechanical system on Grassmannian manifolds admits compact real forms
3. Hyperkähler geometry plays an essential role in this theory
4. Provides new research tools for classical mechanical systems

Limitations

1. Theory primarily applies to systems with specific symmetries
2. Compact real forms may only be defined on open sets
3. Concrete calculations remain quite technical

Future Directions

1. Generalize to adjoint orbits of more general compact groups
2. Study real forms of Calogero-Moser systems
3. Explore applications in classification of integrable systems
4. Develop applications of "Wick rotation" type

In-Depth Evaluation

Strengths

1. Strong Theoretical Innovation: First systematic development of real form theory for holomorphic Hamiltonian systems
2. High Mathematical Depth: Skillfully combines symplectic geometry, hyperkähler geometry, and Lie group theory
3. Clear Applied Value: Demonstrates practical utility through classical mechanics examples
4. Advanced Technical Methods: Innovatively employs brane theory and hyperkähler reduction

Weaknesses

1. Computational Complexity: Concrete applications involve quite technical calculations
2. Limited Scope of Applicability: Primarily applies to systems with group actions
3. Lack of Physical Intuition: Physical meaning of certain mathematical constructions could be clearer

Impact

1. Significant Theoretical Contribution: Provides new research paradigm for Hamiltonian dynamics
2. Interdisciplinary Value: Connects mathematical physics, differential geometry, and dynamical systems
3. Inspires Further Research: Provides new tools and perspectives for related fields

Applicable Scenarios

• Study of Hamiltonian systems with group symmetries
• Classification and construction of integrable systems
• Geometric study of classical mechanical systems
• Duality research in mathematical physics

References

The paper cites 32 important references covering:

• Integrable systems theory (Adler, van Moerbeke, Vanhaecke)
• Hyperkähler geometry (Biquard, Kovalev)
• Symplectic and Poisson geometry (Crainic, Fernandes)
• Hamiltonian reduction theory (relevant classical literature)

Overall Assessment: This is a high-quality theoretical mathematical physics paper making important contributions to holomorphic Hamiltonian systems theory. The paper is technically sophisticated with high theoretical depth, providing new tools and perspectives for interdisciplinary research between classical mechanics and mathematical physics. While there is room for further development in applications, its theoretical value and innovation are significant.