Geometric quantization of semitoric systems and almost toric manifolds

TL;DR

This paper extends Kostant's geometric quantization framework to semitoric systems and almost toric manifolds, providing new methods to compute cohomology groups in these complex settings.

Contribution

It introduces a novel approach for geometric quantization of semitoric and almost toric manifolds, including cases with focus-focus singularities.

Findings

Computed cohomology groups for integrable systems with focus-focus singularities in dimension four.

Provided models for quantization of K3 surfaces, spin systems, and pendulums.

Extended Kostant's model to new classes of symplectic manifolds.

Abstract

Kostant gave a model for the real geometric quantization associated to polarizations via the cohomology associated to the sheaf of flat sections of a pre-quantum line bundle. This model is well-adapted for real polarizations given by integrable systems and toric manifolds. In the latter case, the cohomology can be computed counting integral points inside the associated Delzant polytope. In this article we extend Kostant's geometric quantization to semitoric integrable systems and almost toric manifolds. In these cases the dimension of the acting torus is smaller than half of the dimension of the manifold. In particular, we compute the cohomology groups associated to the geometric quantization if the real polarization is the one associated to an integrable system with focus-focus type singularities in dimension four. As application we determine models for the geometric quantization of K3 surfaces, a spin-spin system, the spherical pendulum, and a spin-oscillator system under this scheme.