Searcharxiv⌕ Search

arXiv subjects

Constantin Teleman

Publications and source records attributed to Constantin Teleman.

36 records · Page 2Linked to original sources

Loop Groups and Twisted K-Theory II

This is the second in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. We introduce the Dirac family of Fredholm operators associated to a positive energy representation of a loop group. It determines a map from isomorphism classes of representations to twisted K-theory, which we prove is an isomorphism if $G$ is connected with torsion-free fundamental group. We also introduce a Dirac family for finite dimensional representations of compact Lie groups; it is closely related to both the Kirillov correspondence and the equivariant Thom isomorphism. In Part III (math.AT/0312155) we extend the proof of our main theorem to arbitrary compact Lie groups G and provide supplements in various directions. In Part I (arXiv:0711.1906) we develop twisted equivariant K-theory and carry out some of the computations needed here. We refer to the announcements math.AT/0312155 and math.AT/0206237 for further expository material and motivation.

math.AT↗

The structure of 2D semi-simple field theories

I classify all cohomological 2D field theories based on a semi-simple complex Frobenius algebra A. They are controlled by a linear combination of kappa-classes and by an extension datum to the Deligne-Mumford boundary. Their effect on the Gromov-Witten potential is described by Givental's Fock space formulae. This leads to the reconstruction of Gromov-Witten invariants from the quantum cup-product at a single semi-simple point and from the first Chern class, confirming Givental's higher-genus reconstruction conjecture. The proof uses the Mumford conjecture proved by Madsen and Weiss.

math.AT↗

Open-closed field theories, string topology, and Hochschild homology

In this expository paper we discuss a project regarding the string topology of a manifold, that was inspired by recent work of Moore-Segal, Costello, and Hopkins and Lurie, on "open-closed topological conformal field theories". Given a closed, oriented manifold M, we describe the "string topology category" S_M, which is enriched over chain complexes over a fixed field k. The objects of S_M are connected, closed, oriented submanifolds N of M, and the complex of morphisms between N_1 and N_2 is a chain complex homotopy equivalent to the singular chains C_*(P_{N_1, N_2}), where C_*(P_{N_1, N_2}) is the space of paths in M that start in N_1 and end in N_2. The composition pairing in this category is a chain model for the open string topology operations of Sullivan and expanded upon by Harrelson, and Ramirez. We will describe a calculation yielding that the Hochschild homology of the category S_M is the homology of the free loop space, LM. Another part of the project is to calculate the Hochschild cohomology of the open string topology chain algebras C_*(P_{N,N}) when M is simply connected, and relate the resulting calculation to H_*(LM). We also discuss a spectrum level analogue of the above results and calculations, as well as their relations to various Fukaya categories of the cotangent bundle T^*M.

math.AT↗

Topological Quantum Field Theories from Compact Lie Groups

It is a long-standing question to extend the definition of 3-dimensional Chern-Simons theory to one which associates values to 1-manifolds with boundary and to 0-manifolds. We provide a solution in case the gauge group is a torus. We also develop from different points of view an associated 4-dimensional invertible topological field theory which encodes the anomaly of Chern-Simons. Finite gauge groups are also revisited, and we describe a theory of "finite path integrals" as a general construction for a certain class of finite topological field theories. Topological pure gauge theories in lower dimension are presented as a warm-up.

math.AT↗

Consistent Orientation of Moduli Spaces

We give an a priori construction of the two-dimensional reduction of three-dimensional quantum Chern-Simons theory. This reduction is a two-dimensional topological quantum field theory and so determines to a Frobenius ring, which here is the twisted equivariant K-theory of a compact Lie group. We construct the theory via correspondence diagrams of moduli spaces, which we "linearize" using complex K-theory. A key point in the construction is to consistently orient these moduli spaces to define pushforwards; the consistent orientation induces twistings of complex K-theory. The Madsen-Tillmann spectra play a crucial role.

math.AT↗

Branching of Hitchin's Prym cover for SL(2)

It is shown that the map from the Jacobian of the spectral curve to the moduli of stable bundles of rank 2 is generically simply branched along an irreducible divisor. This observation falsifies the key step in the "abelianization of the SU(2) WZW connection" presented in a recent paper [Yoshida, Annals 2006]

math.AG↗

Loop groups and twisted K-theory I

This is the first in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. In this paper we set up the foundations of twisted equivariant K-groups, and more generally twisted K-theory of groupoids. We establish enough basic properties to make effective computations. Using the Mayer-Vietoris spectral sequence we compute the twisted equivariant K-groups of a compact connected Lie group G with torsion free fundamental group. We relate this computation to the representation theory of the loop group at a level related to the twisting.

math.AT↗

The Index Formula on the Moduli of G-bundles

We prove the formulae conjectured by the first author for the index of K-theory classes over the moduli stack of algebraic G-bundles on a smooth projective curve. The formulae generalise Verlinde's for line bundles and have Witten's integrals over the moduli space of stable bundles as their large level limits. As an application, we prove the Newstead-Ramanan conjecture on the vanishing of high Chern classes of certain moduli spaces of stable G-bundles.

math.AG↗

Twisted equivariant K-theory with complex coefficients

Using a global version of the equivariant Chern character, we describe the complexified twisted equivariant K-theory of a space with a compact Lie group action in terms of fixed-point data. We apply this to the case of a compact Lie group acting on itself by conjugation, and relate the result to the Verlinde algebra and to the Kac numerator at q=1. Verlinde's formula is also discussed in this context.

math.AT↗

The Newstead-Ramanan conjecture for Chern classes

Newstead and Ramanan conjectured the vanishing of the top (2g-1) Chern classes of the moduli space of stable, odd degree vector bundles of rank 2 on a Riemann surface of genus g. This was proved by Gieseker [G], while an analogue in rank 3 was recently settled by Kiem and Li [KL]. We generalise this to the vanishing of the top (g-1)r rational Chern classes of the moduli space M of stable principal bundles with semi-simple structure group of rank r, whenever M is a compact orbifold.

math.AG↗

Twisted K-theory and loop group representations

This is the third paper of a series relating the equivariant twisted $K$-theory of a compact Lie group $G$ to the ``Verlinde space'' of isomorphism classes of projective lowest-weight representations of the loop groups. Here, we treat arbitrary compact Lie groups. In addition, we discuss the relation to semi-infinite cohomology, the fusion product of Conformal Field theory, the rôle of energy and the topological Peter-Weyl theorem.

math.AT↗

Self-extensions of Verma modules and differential forms on opers

We compute the algebras of self-extensions of the vacuum module and the Verma modules over an affine Kac-Moody algebra g^ in suitable categories of Harish-Chandra modules. We show that at the critical level these algebras are isomorphic to the algebras of differential forms on various spaces of opers associated to the Langlands dual Lie algebra of g, whereas away from the critical level they become trivial. These results rely on and generalize the description of the corresponding algebras of endomorphisms obtained by Feigin and Frenkel and the description of the corresponding graded versions due to Fishel, Grojnowski and Teleman.

math.QA↗

The strong Macdonald conjecture and Hodge theory on the Loop Grassmannian

We prove the strong Macdonald conjecture of Hanlon and Feigin for reductive groups G. In a geometric reformulation, we show that the Dolbeault cohomology $H^q(X;Ω^p)$ of the loop Grassmannian X is freely generated by de Rham's forms on the disk coupled to algebra generators of $H*(BG)$. Equating Euler characteristics of the two gives an identity, independently known to Macdonald [M], which generalises Ramanujan's_1ψ_1 sum. Simply laced root systems at level 1 are related to a `strong'_4ψ_4 sum. Failure of Hodge decomposition implies the singularity of X, and of the algebraic loop groups.

math.AG↗

Some Hodge theory from Lie algebras

We discuss Hodge-theoretic aspects, related to the loop Grassmannian, of the strong Macdonald conjecture (whose proof is joint work with Fishel and Grojnowski).

math.RT↗

K-theory of the moduli of bundles over a Riemann surface and deformations of the Verlinde algebra

I conjecture that index formulas for $K$-theory classes on the moduli of holomorphic $G$-bundles over a compact Riemann surface $Σ$ are controlled, in a precise way, by Frobenius algebra deformations of the Verlinde algebra of $G$. The Frobenius algebras in question are twisted $K$-theories of $G$, equivariant under the conjugation action, and the controlling device is the equivariant Gysin map along the "product of commutators" from $G^{2g}$ to $G$. The conjecture is compatible with naive virtual localization of holomorphic bundles, from $G$ to its maximal torus; this follows by localization in twisted $K$-theory.

math.AG↗

Parabolic bundles, products of conjugacy classes, and quantum cohomology

In this version referee's comments have been incorporated. Besides minor corrections, new material has been added on irrational markings. To appear in Ann. Inst. Fourier. We prove a condition for the existence of flat bundles on the punctured two-sphere with prescribed holonomies around the punctures, involving Gromov-Witten invariants of generalized flag varieties. This generalizes the case of special unitary bundles described by S. Agnihotri and the second author and independently P. Belkale.

math.AG↗

The quantization conjecture revisited

A strong version of the quantization conjecture of Guillemin and Sternberg is proved. For a reductive group action on a smooth, compact, polarized variety (X,L), the cohomologies of L over the GIT quotient X // G equal the invariant part of the cohomologies over X. This generalizes the theorem of [Invent. Math. 67 (1982), 515-538] on global sections, and strengthens its subsequent extensions to Riemann-Roch numbers. Remarkable by-products are the invariance of cohomology of vector bundles over X // G under a small change in the defining polarization or under shift desingularization, as well as a new proof of Boutot's theorem. Also studied are equivariant holomorphic forms and the equivariant Hodge-to-de Rham spectral sequences for X and its strata, whose collapse is shown. One application is a new proof of the Borel-Weil-Bott theorem of [Invent. Math. 134 (1998), 1-57] for the moduli stack of G-bundles over a curve, and of analogous statements for the moduli stacks and spaces of bundles with parabolic structures. Collapse of the Hodge-to-de Rham sequences for these stacks is also shown.

math.AG↗

Borel-Weil-Bott theory for Loop Groups

This note outlines the Borel-Weil-Bott theory for (arbitrary-genus) flag varieties of loop groups, following ideas of G. Segal. Recent revivalist interest in the "WZW fusion rules" suggests that my original (CMP 1995) treatment of the matter is not all that well understood, so a brief account thereof has been recycled along with the more recent results. Proofs are only outlined, with full details given in the references.

alg-geom↗