
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 WessZuminoWitten 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.

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 ntorus 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
3torus.

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.

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 nontrivial gerbe on the action Lie groupoid $G\ltimes
\mathfrak{k}$, where $\mathfrak{k}$ denotes the Hilbert space of selfadjoint
HilbertSchmidt operators. With an eye towards constructing elements in twisted
Ktheory, 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 selfadjoint operators $\mathbb{D}_A$ on $G\ltimes \frak{k}$. While
the kernel of $\mathbb{D}_A$ is infinitedimensional, we show that there is
still a notion of finite reducibility at every point, which suggests a
generalized definition of twisted Ktheory for action Lie groupoids.

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 Ktheory 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 Ktheory classes using a quantum
field theory model, in the same spirit as the supersymmetric WessZuminoWitten
model is used for constructing (equivariant) twisted Ktheory classes on
compact Lie groups.

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 traceclass operator. For this reason the Chern character of
a vector bundle associated to the principal fibration $P \to P/G$ is
illdefined. But it may happen that the Lie algebra representations of the
group $H$ are given in terms of traceclass operators and therefore the Chern
character is welldefined; 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 finitedimensional 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.

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 WessZuminoWitten model. An
application to the twisted Ktheory on $G$ is discussed.

Twisted Ktheory 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.

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 AtiyahSinger 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
CampbellHausdorff formula derived by Okikiolu or a non commutative Taylor type
formula.

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 3cocycles. The unifying concept is the
classical obstruction theory for group extensions as explained in the reference
[ML].

In this paper, we develop differential twisted Ktheory and define a twisted
Chern character on twisted Ktheory which depends on a choice of connection and
curving on the twisting gerbe. We also establish the general RiemannRoch
theorem in twisted Ktheory and find some applications in the study of twisted
Ktheory of compact simple Lie groups.

The purpose of the present note is twofold. 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.

We provide local expressions for ChernWeil 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 ChernWeil forms in as far as they
coincide with regularised ChernWeil 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 ChernWeil type forms built from superconnections
as Wodzicki residues and establish a transgression formula along the lines of
known transgression formulae for etaforms.

The construction of twisted Ktheory classes on a compact Lie group is
reviewed using the supersymmetric WessZuminoWitten 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
Dbrane.

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 DixmierDouady class of a gerbe.

The construction of twisted Ktheory classes on a compact Lie group is
reviewed using the supersymmetric WessZuminoWitten 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.

An invariant for twisted K theory classes on a 3manifold is introduced. The
invariant is then applied to the twisted equivariant classes arising from the
supersymmetric WessZuminoWitten 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
FreedHopkinsTeleman identification of twisted equivariant K theory as the
Verlinde algebra.

We discuss an approach to quantum gerbes over quantum groups in terms of
qdeformation of transition functions for a loop group bundle. The case of the
quantum group SUq(2) is treated in some detail.

The aim of this talk is to explain how symmetry breaking in a quantum field
theory problem leads to a study of projective bundles, DixmierDouady 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
(infinitedimensional) 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 Ktheory classes
by families of supercharges for the supersymmetric WessZuminoWitten model.

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.

We clarify the relation between the DixmierDouady class on the space of self
adjoint Fredholm operators (`universal Bfield') and the curvature of
determinant bundles over infinitedimensional 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.

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 DixmierDouady class is
evaluated.

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.

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 ChernSimons
theories on spacetimes with nonempty boundaries. This means that also in the
fermionic setting the construction is 'holographic', the Schwinger terms reside
on the boundary.