• ### 3D Current Algebra and Twisted K Theory(1802.02806)

Feb. 8, 2018 math-ph, math.MP, math.RT, math.KT
Equivariant twisted K theory classes on compact Lie groups $G$ can be realized as families of Fredholm operators acting in a tensor product of a fermionic Fock space and a representation space of a central extension of the loop algebra $LG$ using a supersymmetric Wess-Zumino-Witten model. The aim of the present article is to extend the construction to higher loop algebras using an abelian extension of a $3D$ current algebra. We have only partial success: Instead of true Fredholm operators we have formal algebraic expressions in terms of the generators of the current algebra and an infinite dimensional Clifford algebra. These give rise to sesquilinear forms in a Hilbert bundle which transform in the expected way with respect to $3D$ gauge transformations but do not define true Hilbert space operators.
• ### Extensions of Lattice Groups, Gerbes and Chiral Fermions on a Torus(1702.01643)

Aug. 14, 2017 math-ph, math.MP, math.KT
Motivated by the topological classification of hamiltonians in condensed matter physics (topological insulators) we study the relations between chiral Dirac operators coupled to an abelian vector potential on a torus in 3 and 1 space dimensions. We find that a large class of these hamiltonians in three dimensions is equivalent, in K theory, to a family of hamiltonians in just one space dimension but with a different abelian gauge group. The moduli space of U(1) gauge connections over a torus with a fixed Chern class is again a torus up to a homotopy. Gerbes over a n-torus can be realized in terms of extensions of the lattice group acting in a real vector space. The extension comes from the action of the lattice group (thought of as "large" gauge transformations, homomorphisms from the torus to U(1)) in the Fock space of chiral fermions. Interestingly, the K theoretic classication of Dirac operators coupled to vector potentials in this setting in 3 dimensions can be related to families of Dirac operators on a circle with gauge group the 3-torus.
• ### Third Group Cohomology and Gerbes over Lie Groups(1602.02565)

June 29, 2016 math.DG, math-ph, math.MP, math.RT
The topological classification of gerbes, as principal bundles with the structure group the projective unitary group of a complex Hilbert space, over a topological space $H$ is given by the third cohomology $\text{H}^3(H, \Bbb Z)$. When $H$ is a topological group the integral cohomology is often related to a locally continuous (or in the case of a Lie group, locally smooth) third group cohomology of $H$. We shall study in more detail this relation in the case of a group extension $1\to N \to G \to H \to 1$ when the gerbe is defined by an abelian extension $1\to A \to \hat N \to N \to 1$ of $N$. In particular, when $\text{H}_s^1(N,A)$ vanishes we shall construct a transgression map $\text{H}^2_s(N, A) \to \text{H}^3_s(H, A^N)$, where $A^N$ is the subgroup of $N$-invariants in $A$ and the subscript $s$ denotes the locally smooth cohomology. Examples of this relation appear in gauge theory which are discussed in the paper.
• ### Projective Families of Dirac operators on a Banach Lie Groupoid(1404.1754)

April 7, 2014 math-ph, math.MP, math.RT, math.KT
We introduce a Banach Lie group $G$ of unitary operators subject to a natural trace condition. We compute the homotopy groups of $G$, describe its cohomology and construct an $S^1$-central extension. We show that the central extension determines a non-trivial gerbe on the action Lie groupoid $G\ltimes \mathfrak{k}$, where $\mathfrak{k}$ denotes the Hilbert space of self-adjoint Hilbert-Schmidt operators. With an eye towards constructing elements in twisted K-theory, we prove the existence of a cubic Dirac operator $\mathbb{D}$ in a suitable completion of the quantum Weil algebra $\mathcal{U}(\mathfrak{g}) \otimes Cl(\mathfrak{k})$, which is subsequently extended to a projective family of self-adjoint operators $\mathbb{D}_A$ on $G\ltimes \frak{k}$. While the kernel of $\mathbb{D}_A$ is infinite-dimensional, we show that there is still a notion of finite reducibility at every point, which suggests a generalized definition of twisted K-theory for action Lie groupoids.
• ### The phase of the scattering operator from the geometry of certain infinite-dimensional groups(1403.4340)

March 18, 2014 math.DG, math-ph, math.MP
We revisit the computation of the phase of the Dirac fermion scattering operator in external gauge fields. The computation is through a parallel transport along the path of time evolution operators. The novelty of the present paper compared with the earlier geometric approach by Langmann and Mickelsson, [LM], is that we can avoid the somewhat arbitrary choice in the regularization of the time evolution for intermediate times using a natural choice of the connection form on the space of appropriate unitary operators.
• ### Twisted K-theory constructions in the case of a decomposable Dixmier-Douady class(1208.4921)

March 18, 2014 math-ph, math.MP, math.KT
Twisted K-theory on a manifold X, with twisting in the 3rd integral cohomology, is dis- cussed in the case when X is a product of a circle T and a manifold M. The twist is assumed to be decomposable as a cup product of the basic integral one form on T and an integral class in H2(M,Z). This case was studied some time ago by V. Mathai, R. Melrose, and I.M. Singer. Our aim is to give an explicit construction for the twisted K-theory classes using a quantum field theory model, in the same spirit as the supersymmetric Wess-Zumino-Witten model is used for constructing (equivariant) twisted K-theory classes on compact Lie groups.
• ### The Chern Character of Certain Infinite Rank Bundles arising in Gauge Theory(1203.0245)

May 9, 2012 math.DG, math-ph, math.MP, math.KT
A cocycle $\Omega: P \times G \to H$ taking values in a Lie group $H$ for a free right action of $G$ on $P$ defines a principal bundle $Q$ with the structure group $H$ over $P/G.$ The Chern character of a vector bundle associated to $Q$ defines then characteristic classes on $X.$ This observation becomes useful in the case of infinite dimensional groups. It typically happens that a representation of $G$ is not given by linear operators which differ from the indentity by a trace-class operator. For this reason the Chern character of a vector bundle associated to the principal fibration $P \to P/G$ is ill-defined. But it may happen that the Lie algebra representations of the group $H$ are given in terms of trace-class operators and therefore the Chern character is well-defined; this observation is useful especially if the map $g\mapsto \Omega(p;g)$ is a homotopy equivalence on the image for any $p\in P.$ We apply this method to the case $P= \Cal A,$ the space of gauge connections in a finite-dimensional vector bundle, and $G= \Cal G$ is the group of (based) gauge transformations. The method for constructing the appropriate cocycle $\Omega$ comes from ideas in quantum field theory, used to define the renormalized gauge currents in a Fock space.
• ### Fractional Loop Group and Twisted K-Theory(0801.2522)

March 8, 2012 hep-th, math.DG, math-ph, math.MP
We study the structure of abelian extensions of the group $L_qG$ of $q$-differentiable loops (in the Sobolev sense), generalizing from the case of central extension of the smooth loop group. This is motivated by the aim of understanding the problems with current algebras in higher dimensions. Highest weight modules are constructed for the Lie algebra. The construction is extended to the current algebra of supersymmetric Wess-Zumino-Witten model. An application to the twisted K-theory on $G$ is discussed.
• ### Families of Dirac operators and quantum affine groups(1008.3220)

Aug. 19, 2010 math.QA, math.KT
Twisted K-theory classes over compact Lie groups can be realized as families of Fredholm operators using the representation theory of loop groups. In this talk I want to show how to deform the Fredholm family, in the sense of quantum groups. The family of Dirac type operators is parametrized by vectors in the adjoint module for a quantum affine algebra and transform covariantly under a (central extension of) the algebra.
• ### The logarithmic residue density of a generalised Laplacian(1008.3039)

Aug. 18, 2010 math.DG, math-ph, math.MP
We show that the residue density of the logarithm of a generalised Laplacian on a closed manifold defines an invariant polynomial valued differential form. We express it in terms of a finite sum of residues of classical pseudodifferential symbols. In the case of the square of a Dirac operator, these formulae provide a pedestrian proof of the Atiyah-Singer formula for a pure Dirac operator in dimension $4$ and for a twisted Dirac operator on a flat space of any dimension. These correspond to special cases of a more general formula by S. Scott and D. Zagier announced in \cite{Sc2} and to appear in \cite{Sc3}. In our approach, which is of perturbative nature, we use either a Campbell-Hausdorff formula derived by Okikiolu or a non commutative Taylor type formula.
• ### From gauge anomalies to gerbes and gerbal actions(0812.1640)

Dec. 9, 2008 hep-th, math.DG, math-ph, math.MP
The purpose of this contribution is to point out connections between recent ideas about gerbes and gerbal actions (as higher categorical extension of representation theory) and old discussion in quantum field theory on commutator anomalies, gauge group extensions, and 3-cocycles. The unifying concept is the classical obstruction theory for group extensions as explained in the reference [ML].
• ### Differential Twisted K-theory and Applications(0708.3114)

Sept. 28, 2008 math.DG, math.KT
In this paper, we develop differential twisted K-theory and define a twisted Chern character on twisted K-theory which depends on a choice of connection and curving on the twisting gerbe. We also establish the general Riemann-Roch theorem in twisted K-theory and find some applications in the study of twisted K-theory of compact simple Lie groups.
• ### Star products and central extensions(math-ph/0409032)

Aug. 15, 2006 hep-th, math-ph, math.MP
The purpose of the present note is two-fold. First, to show that deformations of algebras of smooth functions can be used to construct topologically nontrivial standard central extensions of loop groups. Second, to use noncommutative geometry as a regularization of current algebras in higher dimensions with the aim of constructing representations of current algebras.
• ### Renormalised Chern-Weil forms associated with families of Dirac operators(math/0607148)

July 6, 2006 math.DG, math-ph, math.MP
We provide local expressions for Chern-Weil type forms built from superconnections associated with families of Dirac operators previously investigated in work by S. Scott and later work by S. Scott and the second author. When the underlying fibration of manifolds is trivial, the even degree forms can be interpreted as renormalised Chern-Weil forms in as far as they coincide with regularised Chern-Weil forms up to residue correction terms. Similarly, a new formula for the curvature of the local fermionic vacuum line bundles is derived using a residue correction term added to the naive curvature formula. We interpret the odd degree Chern-Weil type forms built from superconnections as Wodzicki residues and establish a transgression formula along the lines of known transgression formulae for eta-forms.
• ### Families index theorem in supersymmetric WZW model and twisted K-theory: The SU(2) case(hep-th/0509064)

June 28, 2006 hep-th, math.AT
The construction of twisted K-theory classes on a compact Lie group is reviewed using the supersymmetric Wess-Zumino-Witten model on a cylinder. The Quillen superconnection is introduced for a family of supercharges parametrized by a compact Lie group and the Chern character is explicitly computed in the case of SU(2). For large euclidean time, the character form is localized on a D-brane.
• ### Gerbes and quantum field theory(math-ph/0603031)

March 11, 2006 math-ph, math.MP
The basic mechanism how gerbes arise in quantum field theory is explained; in particular the case of chiral fermions in background fields is treated. The role of of various gauge group extensions (central extensions of loop groups and their generalizations) is also explained, in relation to index theory computation of the Dixmier-Douady class of a gerbe.
• ### Families index theorem in supersymmetric WZW model and twisted K-theory(hep-th/0504063)

April 7, 2005 hep-th, math.AT
The construction of twisted K-theory classes on a compact Lie group is reviewed using the supersymmetric Wess-Zumino-Witten model on a cylinder. The Quillen superconnection is introduced for a family of supercharges and the Chern character for the family is given and its relation to twisted cohomology is discussed.
• ### Twisted K theory invariants(math/0401130)

Jan. 13, 2004 hep-th, math.AT
An invariant for twisted K theory classes on a 3-manifold is introduced. The invariant is then applied to the twisted equivariant classes arising from the supersymmetric Wess-Zumino-Witten model based on the group SU(2). It is shown that the classes defined by different highest weight representations of the loop group LSU(2) are inequivalent. The results are compatible with Freed-Hopkins-Teleman identification of twisted equivariant K theory as the Verlinde algebra.
• ### Gerbes on quantum groups(math/0308235)

Aug. 25, 2003 hep-th, math.DG
We discuss an approach to quantum gerbes over quantum groups in terms of q-deformation of transition functions for a loop group bundle. The case of the quantum group SUq(2) is treated in some detail.
• ### Gerbes, (twisted) K-theory, and the supersymmetric WZW model(hep-th/0206139)

Dec. 6, 2002 hep-th, math.DG
The aim of this talk is to explain how symmetry breaking in a quantum field theory problem leads to a study of projective bundles, Dixmier-Douady classes, and associated gerbes. A gerbe manifests itself in different equivalent ways. Besides the cohomological description as a DD class, it can be defined in terms of a family of local line bundles or as a prolongation problem for an (infinite-dimensional) principal bundle, with the fiber consisting of (a subgroup of) projective unitaries in a Hilbert space. The prolongation aspect is directly related to the appearance of central extensions of (broken) symmetry groups. We also discuss the construction of twisted K-theory classes by families of supercharges for the supersymmetric Wess-Zumino-Witten model.
• ### Trace extensions, determinant bundles, and gauge group cocycles(hep-th/0205126)

Sept. 4, 2002 hep-th, math.DG
We study the geometry of determinant line bundles associated to Dirac operators on compact odd dimensional manifolds. Physically, these arise as (local) vacuum line bundles in quantum gauge theory. We give a simplified derivation of the commutator anomaly formula using a construction based on noncyclic trace extensions and associated multiplicative renormalized determinants.
• ### The universal gerbe, Dixmier-Douady class, and gauge theory(hep-th/0107207)

Jan. 30, 2002 hep-th, math.DG
We clarify the relation between the Dixmier-Douady class on the space of self adjoint Fredholm operators (`universal B-field') and the curvature of determinant bundles over infinite-dimensional Grassmannians. In particular, in the case of Dirac type operators on a three dimensional compact manifold we obtain a simple and explicit expression for both forms.
• ### A gerbe obstruction to quantization of fermions on odd dimensional manifolds with boundary(hep-th/9912003)

May 30, 2000 hep-th
We consider the canonical quantization of fermions on an odd dimensional manifold with boundary, with respect to a family of elliptic hermitean boundary conditions for the Dirac hamiltonian. We show that there is a topological obstruction to a smooth quantization as a function of the boundary conditions. The obstruction is given in terms of a gerbe and its Dixmier-Douady class is evaluated.
• ### Functorial QFT, Gauge Anomalies and the Dirac Determinant Bundle(hep-th/9908207)

Aug. 31, 1999 hep-th, math.DG
Using properties of the determinant line bundle for a family of elliptic boundary value problems, we explain how the Fock space functor defines an axiomatic quantum field theory which formally models the Fermionic path integral. The 'sewing axiom' of the theory arises as an algebraic pasting law for the determinant of the Dirac operator. We show how representations of the boundary gauge group fit into this description and that this leads to a Fock functor description of certain gauge anomalies.
• ### Boundary currents and hamiltonian quantization of fermions in background fields(hep-th/9903071)

March 9, 1999 hep-th
The current algebra generated by fermions coupled to external gauge potentials and metrics on a manifold with boundary is discussed. It is shown that the previous methods, based on index theory arguments and used in the case without boundaries, carry over to the present problem. The resulting current algebra is the same as obtained from a quantization of bosonic Chern-Simons theories on space-times with nonempty boundaries. This means that also in the fermionic setting the construction is 'holographic', the Schwinger terms reside on the boundary.