# Equivariant Prequantization

• R. Lashof
Conference paper
Part of the Mathematical Sciences Research Institute Publications book series (MSRI, volume 20)

## Abstract

If (S, ω) is a symplectic manifold, a prequantization of S is a principal circle bundle over S together with a connection form whose curvature is −ω. Such a circle bundle exists iff the period group of ω is contained in ℤ; i.e., the class [ω] ∈ H 2(S, ℝ) comes from an integral class. If S is simply connected it follows from the universal coefficient theorem that the integral class is unique. Also note that for simply connected S, the period group of ω is in ℤ iff the spherical period group is in ℤ; i.e., π 2(S) ≅ H 2(S).1 If S is not simply connected it may have inequivalent prequantizations. Inequivalent prequantizations of S also induce inequivalent prequantizations of S × $$\bar S$$, $$\bar S$$ denoting (S, −ω). But one can show such prequantizations become equivalent when pulled back to the fundamental groupoid ($$\pi \left( S \right) = \tilde S \times \tilde S/{\pi _1}\left( S \right),\lambda :\tilde S \to S$$ the universal cover, with the form induced from S × $$\bar S$$ by λ × λ). Further if we only assume ω is integral on spherical classes, no prequantization may exist. In his preprint [10], Alan Weinstein gives a method for prequantizing the fundamental groupoid of a symplectic manifold (S, ω) when ω is integral on spherical classes, using connection theory. His result is equivalent to the statement (Corollary 1.3): For any symplectic manifold (S, ω) the period group of the fundamental groupoid π(S) is contained in ℤ iff the spherical period group of S is contained in ℤ. Since this is a statement about cohomology, Weinstein raises the question of giving a purely algebraic topology proof of this result.

## Keywords

Spectral Sequence Symplectic Manifold Connection Form Maximal Compact Subgroup Period Group
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## References

1. 1.
Abels, H., Parallelizability of proper actions, global K slices and maximal compact subgroups, Math. Ann. 212 (1974), 1–19.
2. 2.
Bredon, G., “Introduction to Compact Transformation Groups,” Ch. I, Section 9, Academic Press, New York, 1972.
3. 3.
Hattori, A. and Yoshida, T., Lifting compact group actions in fibre bundles, Japan J. Math. 2 (1976), 13–25.
4. 4.
Hilton and Wylie, “Homology Theory,” Cambridge Univ. Press, 1962.Google Scholar
5. 5.
Kobayashi and Nomizu, “Foundation of Differential Geometry I,” Interscience Tracts, 15, New York, 1963.Google Scholar
6. 6.
Lashof, R., Equivariant bundles, Ill. J. of Math. 26 (1982), 257–271.
7. 7.
Lashof, R.; May, P. and Segal, G., Equivariant bundles with abelian structure group, Contemp. Math. 19, AMS, Proc. Northwestern Homotopy Theory Conf. (1982).Google Scholar
8. 8.
Mackenzie, K., Classification of principal bundles and Lie groupoids with prescribed gauge group bundle,J. Pure and Appl. Algebra.Google Scholar
9. 9.
MacLane, S., “Homology,” Springer, Berlin, 1963.Google Scholar
10. 10.
Weinstein, A., Blowing up realizations of Heisenberg-Poisson manifolds, Preprint, MSRI, Berkeley, February 1989.Google Scholar
11. 11.
Weinstein, A., Lectures on symplectic manifolds, CBMS 29, Amer. Math. Soc. (1977).Google Scholar
12. 12.
Whitehead, G., “Elements of Homotopy Theory,” Ch. VII, Section 6, Springer.Google Scholar