We introduce a pre-symplectic structure on the space of connections in a G-principal bundle over a four-manifold and a Hamiltonian action on it of the group of gauge transformations that are trivial on the boundary. The moment map is given by the squ
are of curvature so that the 0-level set is the space of flat connections. Thus the moduli space of flat connections is endowed with a pre-symplectic structure. In case when the four-manifold is null-cobordant we shall construct, on the moduli space of connections, as well as on that of flat connections, a hermitian line bundle with connection whose curvature is given by the pre-symplectic form. This is the Chern-Simons pre-quantum line bundle. The group of gauge transformations on the boundary of the base manifold acts on the moduli space of flat connections by an infinitesimally symplectic way. When the base manifold is a 4-dimensional disc we show that this action is lifted to the pre-quantum line bundle by its abelian extension. The geometric description of the latter is related to the 4-dimensional Wess-Zumino-Witten model. The previous version of this arxiv text had several incoincidence with the published article in the Differential Geometry and its Applications vol.29, so the author corrected them.
Let X be a four-manifold with boundary three manifold M. We shall describe (i) a pre-symplectic structure on the space of connections of the trivial SU(n)-bundle over X that comes from the canonical symplectic structure on the cotangent bundle of the
connection space, and (ii) a pre-symplectic structure on the space of flat connections of the trivial SU(n)-bundle over M that have null charge. These two structures are related by the boundary restriction map. We discuss also the Hamiltonian feature of the space of connections with the action of the group of gauge transformations.
Let $H$ be the quaternion algebra. Let $g$ be a complex Lie algebra and let $U(g)$ be the enveloping algebra of $g$. We define a Lie algebra structure on the tensor product space of $H$ and $U(g)$, and obtain the quaternification $g^H$ of $g$. Let $S
^3g^H$ be the set of $g^H$-valued smooth mappings over $S^3$. The Lie algebra structure on $S^3g^H$ is induced naturally from that of $g^H$. On $S^3$ exists the space of Laurent polynomial spinors spanned by a complete orthogonal system of eigen spinors of the tangential Dirac operator on $S^3$. Tensoring $U(g)$ we have the space of $U(g)$-valued Laurent polynomial spinors, which is a Lie subalgebra of $S^3g^H$. We introduce a 2-cocycle on the space of $U(g)$-valued Laurent polynomial spinors by the aid of a tangential vector field on $S^3$. Then we have the corresponding central extension $hat g(a)$ of the Lie algebra of $U(g)$-valued Laurent polynomial spinors. Finally we have the a Lie algebra $hat g=hat g(a)+Cd$ which is obtained by adding to $hat g(a)$ a derivation $d$ which acts on $hat g(a)$ as the radial derivation. When $g$ is a simple Lie algebra with its Cartan subalgebra $h$, We shall investigate the weight space decomposition of $(hat g, ad(hat h))$, where $hat h=h+Ca+Cd$ . The previo
Let Omega^3(SU(n)) be the Lie group of based mappings from S^3 to SU(n). We construct a Lie group extension of Omega^3(SU(n)) for n>2 by the abelian group of the affine dual space of SU(n)-connections on S^3. In this article we give several improveme
nt of J. Mickelssons results in 1987, especially we give a precise description of the extension of those components that are not the identity component,. We also correct several argument about the extension of Omega^3(SU(2)) which seems not to be exact in Mickelssons work, though his observation about the fact that the extension of Omega^3(SU(2)) reduces to the extension by Z_2 is correct. Then we shall investigate the adjoint representation of the Lie group extension of Omega^3(SU(n)) for n>2.
