-
Dirac structures on the space of connections
Authors:
Yuji Hirota,
Tosiaki Kori
Abstract:
We shall give a twisted Dirac structure on the space of irreducible connections on a SU(n)-bundle over a three-manifold, and give a family of twisted Dirac structures on the space of irreducible connections on the trivial SU(n)-bundle over a four-manifold. The twist is described by the Cartan 3-form on the space of connections. It vanishes over the subspace of flat connections. So the spaces of fl…
▽ More
We shall give a twisted Dirac structure on the space of irreducible connections on a SU(n)-bundle over a three-manifold, and give a family of twisted Dirac structures on the space of irreducible connections on the trivial SU(n)-bundle over a four-manifold. The twist is described by the Cartan 3-form on the space of connections. It vanishes over the subspace of flat connections. So the spaces of flat connections are endowed with ( non-twisted ) Dirac structures. The Dirac structure on the space of flat connections over the three-manifold is obtained as the boundary restriction of a corresponding Dirac structure over the four-manifold. We discuss also the action of the group of gauge transformations over these Dirac structures.
△ Less
Submitted 20 June, 2021;
originally announced June 2021.
-
Current algebras on S^3 of complex Lie algebras
Authors:
Tosiaki Kori
Abstract:
This is a full revised version of the previous same titled article. The 2-cocycle of the central extension of the current algebra on the three sphere is taken the place of a new quarternion valued one, that is defined by the boundary Dirac operator. And we introduced the symmetric invariant bilinear form associated to the centrally extended current algebra. We shall extend the affine Kac-Moody alg…
▽ More
This is a full revised version of the previous same titled article. The 2-cocycle of the central extension of the current algebra on the three sphere is taken the place of a new quarternion valued one, that is defined by the boundary Dirac operator. And we introduced the symmetric invariant bilinear form associated to the centrally extended current algebra. We shall extend the affine Kac-Moody algebra on the loop to a Lie algebra of smooth mappings of the three sphere into a complex simple Lie algebra. Let L be the C-algebra generated by the Laurent polynomial type harmonic spinors over the complex plane deleted the origin. Here "harmonic" means the zero-mode of the Dirac operator. For a simple complex Lie algebra g, the g-current algebra is defined as the real Lie algebra Lg that is generated by the tensor product of L and g. The real part K of L is a commutative real subalgebra. For the Cartan subalgebra h of g, the tensor product of K and h gives a Cartan subalgebra Kh of Lg. We have the weight space decomposition of Lg with respect to the Cartan subalgebra Kh. We introduce a quarternion valued 2-cocycle on the g-current algebra Lg. Then we have the central extension associated to the 2-cocycle. Adjoining a derivation coming from the radial vector field on the three sphere we obtain the second central extension. We shall investigate the root space decomposition of the centrally extended current algebra.
△ Less
Submitted 25 August, 2023; v1 submitted 20 January, 2021;
originally announced January 2021.
-
sl(n,H)-Current Algebra on S^3
Authors:
Tosiaki Kori
Abstract:
We introduce three non-trivial 2-cocycles $c_k$, k=0,1,2, on the Lie algebra $S^3H=Map(S^3,H)$ with the aid of the corresponding basis vector fields on $S^3$, and extend them to 2-cocycles on the Lie algebra $S^3gl(n,H)=S^3H \otimes gl(n,C)$. Then we have the corresponding central extension $S^3gl(n,H)\oplus \oplus_k (Ca_k)$. As a subalgebra of $S^3H$ we have the algebra $C[φ]$ of the Laurent poly…
▽ More
We introduce three non-trivial 2-cocycles $c_k$, k=0,1,2, on the Lie algebra $S^3H=Map(S^3,H)$ with the aid of the corresponding basis vector fields on $S^3$, and extend them to 2-cocycles on the Lie algebra $S^3gl(n,H)=S^3H \otimes gl(n,C)$. Then we have the corresponding central extension $S^3gl(n,H)\oplus \oplus_k (Ca_k)$. As a subalgebra of $S^3H$ we have the algebra $C[φ]$ of the Laurent polynomial spinors on $S^3$. Then we have a Lie subalgebra $\hat{gl}(n, H)=C[φ] \otimes gl(n, C)$ of $S^3gl(n,H)$, as well as its central extension by the 2-cocycles ${c_k}$ and the Euler vector field $d$: $\hat{gl}=\hat{gl}(n, H) \oplus \oplus_k(Ca_k)\oplus Cd$ . The Lie algebra $\hat{sl}(n,H)$ is defined as a Lie subalgebra of $\hat{gl}(n,H)$ generated by $C[φ]\otimes sl(n,C))$. We have the corresponding central extension of $\hat{sl}(n,H)$ by the 2-cocycles ${c_k}$ and the derivation $d$, which becomes a Lie subalgebra $\hat{sl}$ of $\hat{gl}$. Let $h_0$ be a Cartan subalgebra of $sl(n,C)$ and $\hat{h}=h_0 \oplus \oplus_k(Ca_k)\oplus Cd$. The root space decomposition of the $ad(\hat{h})$-representation of $\hat{sl}$ is obtained. The set of roots is $Δ=\{ m/2 δ+ α; α\in Δ_0, m \in Z\} \bigcup \{m/2 δ; m \in Z \}$ . And the root spaces are $\hat{g}_{m/2 δ+ α}= C[φ;m] \otimes g_α$, for $α\neq 0$ , $\hat{g}_{m/2 δ}= C[φ;m] \otimes h_0$, for $m \neq 0$, and $\hat{g}_{0 δ}= \hat{h}$, where $C[φ;m]$ is the subspace with the homogeneous degree m. The Chevalley generators of $\hat{sl}$ are given.
△ Less
Submitted 11 July, 2018; v1 submitted 25 October, 2017;
originally announced October 2017.
-
Electric-Magnetic Aspects On Yang-Mills Fields
Authors:
Tosiaki Kori
Abstract:
Let A be the space of irreducible connections (vector potentials) over a SU(n)-principal bundle on a three-dimensional manifold M. Let T be the fiber product of the tangent and cotangent bundles of A. We endow T with a symplectic structure Ωwhich is represented by a vortex formula. The corresponding Poisson bracket will give a parallel formula discussed by Marsden-Weinstein in case of the electric…
▽ More
Let A be the space of irreducible connections (vector potentials) over a SU(n)-principal bundle on a three-dimensional manifold M. Let T be the fiber product of the tangent and cotangent bundles of A. We endow T with a symplectic structure Ωwhich is represented by a vortex formula. The corresponding Poisson bracket will give a parallel formula discussed by Marsden-Weinstein in case of the electric-magnetic field, U(1)-gauge. We shall prove the Maxwell equations on T. The first two equations are the Hamilton equations of motion derived from the symplectic structure on T, and the second equations come from the moment maps of the action of the group of gauge transformations G. That is, these are conserved charges. The Yang-Mills field F is a subspace of T defined as the space with 0-charge. There is a Hamiltonian action of G on F. The moment map gives a new conserved quantity. Finally we shall give a symplectic variables (Clebsch parametrization) for (F, Ω)
△ Less
Submitted 19 March, 2018; v1 submitted 1 July, 2017;
originally announced July 2017.
-
Pre-symplectic structures on the space of connections
Authors:
Tosiaki Kori
Abstract:
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. Thes…
▽ More
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.
△ Less
Submitted 4 July, 2019; v1 submitted 15 December, 2013;
originally announced December 2013.
-
Quaternifiations and extensions of current algebras on S^3
Authors:
Tosiaki Kori,
Yuto Imai
Abstract:
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$…
▽ More
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 previous versions (v1-v7) of this article contained several incorrect assertions and here we have corrected them.
△ Less
Submitted 20 July, 2015; v1 submitted 20 June, 2013;
originally announced June 2013.
-
Extensions of Current Groups on S^3 and the Adjoint Representations
Authors:
Tosiaki Kori
Abstract:
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 improvement of J. Mickelsson's results in 1987, especially we give a precise description of the extension of those components that are not the identity compone…
▽ More
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 improvement of J. Mickelsson's 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 Mickelsson's 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.
△ Less
Submitted 15 June, 2013;
originally announced June 2013.
-
Chern-Simons pre-quantization over four-manifolds
Authors:
Tosiaki Kori
Abstract:
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 square 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…
▽ More
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 square 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.
△ Less
Submitted 8 October, 2014; v1 submitted 25 June, 2007;
originally announced June 2007.
-
Prequantization of the moduli space of flat connections over a four-manifold
Authors:
Tosiaki Kori
Abstract:
We introduce a symplectic structure on the space of connections in a G-principal bundle over a four-manifold and the Hamiltonian action on it of the group of gauge transformations which are trivial on the boundary. The symplectic reduction becomes the moduli space of flat connections over the manifold. On the moduli space of flat connections we shall construct a hermitian line bundle with connec…
▽ More
We introduce a symplectic structure on the space of connections in a G-principal bundle over a four-manifold and the Hamiltonian action on it of the group of gauge transformations which are trivial on the boundary. The symplectic reduction becomes the moduli space of flat connections over the manifold. On the moduli space of flat connections we shall construct a hermitian line bundle with connection whose curvature is given by the symplectic form. This is the Chern-Simons prequantum 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. This action is lifted to the prequantum line bundle by its abelian extension.
△ Less
Submitted 13 October, 2005;
originally announced October 2005.
-
Four-dimensional Wess-Zumino-Witten actions
Authors:
Tosiaki Kori
Abstract:
We shall give an axiomatic construction of Wess-Zumino-Witten actions valued in (G=SU(N)), (N\geq 3). It is realized as a functor ({WZ}) from the category of conformally flat four-dimensional manifolds to the category of line bundles with connection that satisfies, besides the axioms of a topological field theory, the axioms which abstract Wess-Zumino-Witten actions. To each conformally flat fou…
▽ More
We shall give an axiomatic construction of Wess-Zumino-Witten actions valued in (G=SU(N)), (N\geq 3). It is realized as a functor ({WZ}) from the category of conformally flat four-dimensional manifolds to the category of line bundles with connection that satisfies, besides the axioms of a topological field theory, the axioms which abstract Wess-Zumino-Witten actions. To each conformally flat four-dimensional manifold (Σ) with boundary (Γ=\partialΣ), a line bundle (L=WZ(Γ)) with connection over the space (ΓG) of mappings from (Γ) to (G) is associated. The Wess-Zumino-Witten action is a non-vanishing horizontal section (WZ(Σ)) of the pull back bundle (r^{\ast}L) over (ΣG) by the boundary restriction (r).
(WZ(Σ)) is required to satisfy a generalized Polyakov-Wiegmann formula with respect to the pointwise multiplication of the fields (ΣG).
Associated to the WZW-action there is a geometric descrption of extensions of the Lie group (Ω^3G) due to J. Mickelsson. In fact we shall construct two abelian extensions of (Ω^3G) that are in duality.
△ Less
Submitted 22 October, 2002; v1 submitted 11 May, 2001;
originally announced May 2001.
