[Math] Principal bundle connections

connectionsprincipal-bundles

It is my understanding that a connection form on a principal G-bundle over a manifold X is defined to be a Lie algebra-valued 1-form $\alpha$ which reproduces the Lie algebra generators of the fundamental vector fields at every point. That is, if at $p$ a vector field $v$ takes the value $\frac{d}{dt}(exp(tg)p) |_{t=0}$, then $\alpha(v)|_p = g$.
I have noticed, however, that the fundamental vector fields defined for $\mathbb{C}^*$ bundles in Sniatycki's book on geometric quantization are not defined as $\frac{d}{dt}(exp(tg)p) |_{t=0}$ but rather as $\frac{d}{dt}(exp(2\pi itg)p) |_{t=0}$, where $g$ is any complex number.
QUESTIONS:
1. Is my initial definition of a connection form correct?
2. Assuming the answer is yes, what will the relationship be between connection forms defined in the two different conventions?
3. Apart from the fact that Sniatycki's convention makes the real line generate the fundamental vector fields corresponding to the flow of the $U(1)$ action (if I am not in error here), is there some additional benefit to this convention? It appears to make $2\pi i$'s show up everywhere.

Best Answer

First off, Prof. Figueroa-O'Farrill is correct in noting that you omitted the $G$-equivariance condition for the connection, which reduces to $G$-invariance in the case where $G$ is abelian (in particular, when $G=\mathbb{C}^*$).

  1. The choice of normalization conventions really just comes down to how you identify the Lie algebra of $\mathbb{C}^* $ with $\mathbb{C}$. Śniatycki's convention amounts to identifying the $\mathrm{U}(1)$-generator (i.e. the vector field $2\pi\frac{\partial}{\partial \theta}$ in the Lie algebra of $\mathbb{C}^* $) with $1\in\mathbb{C}$, whereas the seemingly more logical choice would be to identify it with $2\pi i\in\mathbb{C}$. Śniatycki does this because it's also Kostant's convention (who got it from Weil I believe).

  2. The relationship between your $\alpha$ and Śniatycki's $\alpha$ should be just $$ \alpha_{\mathrm{Blake}} = 2\pi i~\alpha_{\mathrm{Śniatycki}} $$

  3. The condition for the existence of a line bundle $L$ over $X$ with connection $\alpha$ and $\alpha$-compatible pairing $\langle\cdot,\cdot\rangle$ can formulated in terms of the curvature $\omega$ of $\alpha$, defined by $d\alpha = \pi^*\omega$, where $\pi$ is the bundle projection. The big advantage of defining the connection $\alpha$ à la Kostant/Śniatycki is that the condition becomes that $\omega$ is integral, i.e. gives an integer when integrated over closed two-cycles in the base manifold $X$. For this reason, the $2\pi i$ is a common normalization in the theory of Chern classes.

From personal experience, normalization conventions can drive you mad, especially when comparing results from different authors. For example, Guillemin and Sternberg seem to favor the convention that $\frac{\partial}{\partial \theta}\in\textrm{Lie algebra of }\mathbb{C}^* \leftrightarrow 1\in\mathbb{C}$. So best of luck :)

Related Question