Direct images, fields of Hilbert spaces, and geometric quantization

TL;DR

This paper investigates the structure of Hilbert space fields in geometric quantization, establishing conditions for their flatness and uniqueness, and applying complex geometry techniques to analyze quantization of Riemannian manifolds.

Contribution

It introduces the concepts of smooth and analytic Hilbert space fields, and provides criteria for their flatness and triviality in geometric quantization contexts.

Findings

Flat analytic fields correspond to Hermitian Hilbert bundles with flat connections.

Criteria are given for the direct image of a Hermitian holomorphic bundle to be a smooth Hilbert space field.

For homogeneous manifolds, the direct image field is analytic; for some, it is flat, ensuring quantization uniqueness.

Abstract

Geometric quantization often produces not one Hilbert space to represent the quantum states of a classical system but a whole family $H_s$ of Hilbert spaces, and the question arises if the spaces $H_s$ are canonically isomorphic. [ADW] and [Hi] suggest to view $H_s$ as fibers of a Hilbert bundle $H$, introduce a connection on $H$, and use parallel transport to identify different fibers. Here we explore to what extent this can be done. First we introduce the notion of smooth and analytic fields of Hilbert spaces, and prove that if an analytic field over a simply connected base is flat, then it corresponds to a Hermitian Hilbert bundle with a flat connection and path independent parallel transport. Second we address a general direct image problem in complex geometry: pushing forward a Hermitian holomorphic vector bundle $E-->Y$ along a non-proper map $Y-->S$. We give criteria for the direct image to be a smooth field of Hilbert spaces. Third we consider quantizing an analytic Riemannian manifold $M$ by endowing $TM$ with the family of adapted K\"ahler structures from arxiv:1004.4069 [LSz]. This leads to a direct image problem. When $M$ is homogeneous, we prove the direct image is an analytic field of Hilbert spaces. For certain such $M$---but not all---the direct image is even flat; which means that in those cases quantization is unique.