Table of Contents
Fetching ...

Geometric quantization of generalized Hirzebruch fibrations

Andrea Piccirilli

TL;DR

The paper constructs generalized Hirzebruch fibrations as toric symplectic manifolds by realizing them as projectivizations $\mathcal{H}^d_n=\text{Proj}(\mathcal{O}\oplus \mathcal{O}(-n))$ over $\mathbb{C}\mathbb{P}^d$, embeds them into a product of projective spaces to obtain a toric action, and computes their moment polytopes. Central to the work is the toric geometric principle that the dimension of geometric quantization equals the number of lattice points in the moment polytope, $\dim \mathcal{Q}(M,\omega)=\#(\Delta\cap \mathbb{Z}^n)$, which the authors exploit to derive an explicit quantization formula $\mathcal{Q}_{a,b,d}(n)$ as a lattice-point count in the polytope $\Delta^d_{a,b,n}$. They obtain a recurrence $\sum_{k=0}^{d+1}(-1)^k\binom{d+1}{k}\mathcal{Q}_{a,b,d}(n+d+1-k)=0$, show that $\mathcal{Q}_{a,b,d}(n)$ is a polynomial of degree $d$ in $n$, and analyze the large-twisting limit $n\to\infty$, where $\mathcal{Q}_{a,b,d}(n)$ is asymptotically the symplectic volume $\text{Vol}(\mathcal{H}^d_{a,b,n})$, with explicit $1/b$ corrections governed by Bernoulli numbers. Special cases $n=0$ and $n=1$ recover product and blow-up geometries, with closed-form quantization in those instances. Collectively, these results provide a concrete link between toric geometry, quantization, and asymptotic lattice-point counts for a new infinite class of fibrations.

Abstract

Hirzebruch surfaces, defined as the projectivization of line bundles over $\C\mathbb{P}^1$, support a toric action and thus represent an infinite class of symplectic toric manifolds of complex dimension 2. In this paper, an infinite class of toric manifolds given as projective bundles over $\mathbb{C}\mathbb{P}^d$ will be constructed for every complex dimension $d$ and it will be shown that each manifold supports a symplectic structure. With the toric and symplectic structure of the manifolds at our disposal, we then study their geometric quantization and how it relates to different values of the twisting parameter of the fibrations.

Geometric quantization of generalized Hirzebruch fibrations

TL;DR

The paper constructs generalized Hirzebruch fibrations as toric symplectic manifolds by realizing them as projectivizations over , embeds them into a product of projective spaces to obtain a toric action, and computes their moment polytopes. Central to the work is the toric geometric principle that the dimension of geometric quantization equals the number of lattice points in the moment polytope, , which the authors exploit to derive an explicit quantization formula as a lattice-point count in the polytope . They obtain a recurrence , show that is a polynomial of degree in , and analyze the large-twisting limit , where is asymptotically the symplectic volume , with explicit corrections governed by Bernoulli numbers. Special cases and recover product and blow-up geometries, with closed-form quantization in those instances. Collectively, these results provide a concrete link between toric geometry, quantization, and asymptotic lattice-point counts for a new infinite class of fibrations.

Abstract

Hirzebruch surfaces, defined as the projectivization of line bundles over , support a toric action and thus represent an infinite class of symplectic toric manifolds of complex dimension 2. In this paper, an infinite class of toric manifolds given as projective bundles over will be constructed for every complex dimension and it will be shown that each manifold supports a symplectic structure. With the toric and symplectic structure of the manifolds at our disposal, we then study their geometric quantization and how it relates to different values of the twisting parameter of the fibrations.

Paper Structure

This paper contains 6 sections, 6 theorems, 88 equations.

Key Result

Theorem 1

Let $(M^{2n},\omega)$ be a symplectic toric manifold with associated moment polytope $\Delta \subset \mathbb{R}^n$ with integer vertices. The dimension of the quantization space (that is, the number of independent holomorphic sections of the line bundle $\mathbb{L}$) is equal to the number of intege

Theorems & Definitions (12)

  • Theorem
  • Lemma 1
  • proof
  • Definition
  • Proposition 2
  • proof
  • Proposition 3
  • proof
  • Proposition 4
  • proof
  • ...and 2 more