# REAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of ba

Size: px
Start display at page:

Download "REAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of ba"

Transcription

1 REAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of based gauge equivalence classes of SO(n) instantons on principal SO(n) bundles over S 4 with rst Pontryagin class p = 2k. In this paper, we use a monad description ([Ti], [D]) of these moduli spaces to show that in the limit over n, the moduli space is homotopy equivalent to the classifying space BSp(k). Finally, we use Dirac operators coupled to such connections to exhibit a particular and quite natural homotopy equivalence.. Introduction Let M(k; SO(n)) be the moduli space of based gauge equivalence classes of SO(n) instantons on principal SO(n) bundles over S 4 with rst Pontryagin class p = 2k. By adding a trivial connection on a trivial line bundle, there are natural maps M(k; SO(n)),! M(k; SO(n + )); and one can dene the direct limit space M(k; SO). In this paper we show that there is a homotopy equivalence M(k; SO) ' BSp(k), where Sp(k) denotes the symplectic group of norm preserving automorphisms of the quaternionic vector space H n. We also show that this equivalence can be realized by a \Dirac-type" map, constructed by coupling a Dirac operator to an SO(n) connection. More precisely, the coupling of a Dirac operator to a connection associates to each element of M(k; SO(n)) an operator acting on the space of sections of a certain vector bundle. Associated to each selfdual connection is the vector space of sections in the kernel of its associated operator. This procedure denes a complex vector bundle, which for SO(n) connections has a symplectic structure, and this bundle is classied by a map which we shall refer to as the Dirac SO(n) : M(k; SO(n))! BSp(k). The topological properties of these Dirac maps for SU(n) connections were rst studied by Atiyah and Jones [AJ], and more recently it was shown in [S] that the limit SU : M(k; SU)! BU(k) realizes Kirwan's [K] homology isomorphism H (M(k; SU)) = H (BU(k)), and is, therefore, a homotopy equivalence. It also makes sense to dene such Dirac maps on the limit spaces M(k; G), where G is either SO or Sp, and in [S] it was shown that the limit Sp : M(k; Sp)! BO(k) is a homotopy equivalence. In this paper we complete the picture for the classical groups by showing that the limit SO : M(k; SO)! BSp(k) is also a homotopy equivalence. Our proof will be fairly direct. In section one we review Tian's [Ti] version of Donaldson's [D] monad description of M(k; SO(n)). Tian exhibits this moduli space as the quotient of a set of triples of certain complex matrices by an action Date: March, Mathematics Subject Classication. Primary 53C7, 55P38. Secondary 55R45. Key words and Phrases. Instantons, Dirac operators, classifying space.

2 2 PAUL NORBURY AND MARC SANDERS of Sp(k; C), the complex symplectic group. We shall show that this action is free, that there are natural maps M(k; SO(n)),! M(k; SO(n+)), and that in the limit over n the space of triples is contractible. Hence, M(k; SO) will be shown to be the quotient of a contractible space by a free Sp(k; C) action. In section 2, we use a comparison between SO(n) and SU(n) connections to show that the Dirac SO(n) : M(k; SO(n))! BSp(k) induces a surjection in integral homology through a range of dimension increasing with n. Since H (M(k; SO); Z) = H (BSp(k); Z) by results of section one, the limit SO must be a homology isomorphism and therefore a homotopy equivalence. Notice that the Sp and SO duality in these moduli spaces is foreshadowed in Bott Periodicity. Since the entire space of based gauge equivalence classes of SO(n) connections is homotopy equivalent to 3 SO(n), the limit over n is homotopy equivalent to Z BSp. Similarly, the space of Sp(n) connections is homotopy equivalent to 3 Sp(n) which, after passing to the limit, is homotopy equivalent to Z BO. Alternatively, as we will see in section 2, this duality comes from the fact that the bundle of real spinors over S 4 is naturally a symplectic vector bundle. Recently, in fact, Tian [Ti] has shown that by comparing the two possible limit processes which one can apply to these moduli spaces, viz., xing k and taking the limit over n or xing n and taking the limit over k, one actually can prove Bott Periodicity. This consequence alone demonstrates the beauty and complexity of these moduli spaces. 2. M(k; SO) and BSp(k) The ADHM construction [ADHM] identies the space of instantons with certain holomorphic bundles over complex projective space, and Donaldson [D] used a monad construction to characterize such bundles in terms of a quotient of a set of sequences of complex matrices by a natural group action. For SO(n) instantons, Tian [Ti] carried out this procedure explicitly. Let denote the standard skew form on C 2k, = Ik I k where I k is the kk identity matrix. The complexied symplectic group, Sp(k; C) Gl(2k; C), consists of those matrices g such that g = g T. The maximal compact subgroup of Sp(k; C) is the compact symplectic group Sp(k). Proposition. (Donaldson [D] and Tian [Ti]) Let A(k; SO(n)) be the space of triples of complex matices ( ; 2 ; c), where i is 2k 2k and c is n 2k, satisfying: a) T = b) 2 T = 2 c) 2( T T ) + c T c = + xi 2k 2 + y c A has rank 2k for all x; y 2 C. Then there is a natural action of Sp(k; C) on A(k; SO(n)) given by g ( ; 2 ; c) = (g g ; (g ) T 2 g ; cg ); and M(k; SO(n)) is homeomorphic to the quotient A(k; SO(n))=Sp(k; C).

3 REAL INSTANTONS AND QUATERNIONIC CLASSIFYING SPACES 3 It has been shown [S] that in the analogous description of SU(n) and Sp(n) instantons, this group action is free. This is, in some sense, already implicit in the monad construction. Not surprisingly, then, it is also true in the SO(n) case. For the sake of completeness, however, we now give the proof. Lemma 2. The natural action of Sp(k; C) on A(k; SO(n)) is free. Proof: Assume the converse, so we have (g g ; (g ) T 2 g ; cg ) = ( ; 2 ; c) for a particular g 6= I and triple ( ; 2 ; c), and note that elements of Sp(k; C) satisfy g = g T. Consider the subspace im(g I) = V C 2k. By assumption it is non-empty. Thus, from the denition of the action we have This last fact is proved as follows. c(g I) = ; (g I) = (g I) ; 2 (g I) = (g I) 2 : 2 = (g ) T 2 g ) 2 g = (g ) T 2 ) 2 g = (g ) T 2 ) 2 g = g 2 : Equivalently c annihilates V and and 2 preserve V. Using conditions a), b), and c), we see that on V T 2 + T 2 = ) 2 2 = ) 2 2 = : Hence and 2 have a common eigenvector in V. Choose v 2 V satisfying v = v and 2 v = v. I 2k 2 + c A v = contradicting condition d). Thus, the image of g I must be empty so g = I and the action is free. We now construct the limit space M(k; SO) and show that it is homotopy equivalent to BSp(k). First notice that there is an Sp(k; C) equivariant map from A(k; SO(n)),! A(k; SO(n + )) which sends each i to itself and sends c to the (n + ) k matrix made up of c with an extra row of zeros on top. On the level of monads, this adds to the bundle over CP 2 the trivial holomorphic line bundle (see [Ti]). Thus this map induces the natural inclusion M(k; SO(n)),! M(k; SO(n+)) sending the connection! to the connection! d, where d is ordinary exterior differentiation. We now prove the main theorem of this section. Theorem 3. A(k; SO) is a contractible space with a free Sp(k; C) action. Thus, M(k; SO)) = A(k; SO)=Sp(k; C) ' BSp(k).

4 4 PAUL NORBURY AND MARC SANDERS Proof To show that A(k; SO) is contractible it suces to show that all of its homotopy groups are zero. To this end we show that for any k and n there is an r > n such that inclusion A(k; SO(n)),! A(k; SO(r)) is homotopically trivial. (cf. [S], sections 2 and 3). For t dene Ik ~ (t) to be the 4k 2k matrix whose j th column is the vector t it. where there are 2j 2 zeroes before the t. Note that (~ Ik (t)) T ~ Ik (t) is the zero matrix. Now consider the homotopy H t : A(k; SO(n))! A(k; SO(4k + n)) dened as follows: H t ( ; 2 ; c) = (( t) ; ( t) 2 ; c t ) where c t = C ~ I k (t) ( t)c It is easy to check that for any x 2 A(k; SO(n)) we have H t (x) 2 A(k; SO(4k + n)) because c t clearly has rank 2k and c T t c t = c T c( t) 2. Finally, notice that H is just the natural inclusion A(k; SO(n)),! A(k; SO(4k + n)), and H is a constant map. This nishes the proof of the theorem. A 3. The Dirac SO(n) : M(k; SO(n))! BSp(k) In this section we review the construction of the Dirac map, and show that after passing to the limit over n it is a homotopy equivalence. To dene this map it is instructive to rst consider SU(n) instantons. Let! be a connection on the SU(n) vector bundle E k, where the second Chern class c 2 (E k ) = k, and let S denote the canonical bundle of complex spinors over S 4 with its canonical connection r s. The tensor product bundle S E k inherits a Cliord module structure from the one on S, and we can view r s! as a connection on this bundle. This connection gives rise to a Dirac operator D! : (S E k )! (S E k ); where (S E k ) is the space of smooth sections of S E k. There is a splitting S = S + S and the Dirac operator interchanges the two summands. The operator D +! : (S + E k )! (S E k ) is Fredholm, in an appropriate Sobolev completion, and of index k [AJ]. Furthermore, if! is selfdual, then Coker(D +! ) = [AHS]. Therefore, the space of sections in the kernel of D +! gives a well-dened vector space associated to the connection!. There is an equivariance of the kernel under gauge transformation in the sense that 2 Ker(D +! ) implies g 2 Ker(D gw), + for any g in the based gauge group

5 REAL INSTANTONS AND QUATERNIONIC CLASSIFYING SPACES 5 of bundle automorphisms of E k. Passing to gauge equivalence classes gives a k dimensional complex vector bundle over M(k; SU(n)). This bundle is classied by a SU(n) : M(k; SU(n))! BU(k), which we shall refer to as the Dirac map. A similar construction can be used to dene the Dirac map for SO(n) connections. Given an SO(n) bundle E with p (E) = 2k and an SO(n) instanton! on E, we can complexify the bundle and connection, denoted! C and E C, then use the unitary Dirac map to obtain M(k; SO(n))! M(2k; SU(n)! BU(2k): (Note that c 2 (E C ) = 2k). However, because E C has by denition an underlying real structure, given by some bundle involution J E, and the complex spinor bundle S has a quaternionic structure, given by some complex anti-linear bundle automorphism J s, where J s J s =, the tensor product bundle S E C will also have a quaternionic structure. Moreover, the Dirac operator will respect this extra structure because the tensor product connection r s! C will commute with J s J E. Thus, the kernel bundle, dened by coupling a Dirac operator to a real SO(n) instanton, will be a k dimensional quaternionic bundle over M(k; SO(n)). In other words, the composition M(k; SO(n))! M(2k; SU(n)! BU(2k) factors through BSp(k). We denote this lifting SO(n). In short, we have the homotopy commutative diagram M(k; SO(n)! BSp(k) M(2k; SU(n)! BU(2k) We now show that we can dene the limit SO : M(k; SO)! BSp(k). >From the matrix description of M(k; SO(n)), we see that the natural inclusion M(k; SO(n)),! M(k; SO(n + )), mapping (!; E) to (! d; E R) embeds M(k; SO(n)) as a closed submanifold of M(k; SO(n+)). It follows that the direct limit M(k; SO) is homotopy equivalent to the homotopy direct limit M(k; SO) h. Thus, it suces to SO on M(k; SO) h. To this end, let A(k; SO(n)) denote the space of instantons before passing to gauge equivalence classes, and let G k;so(n) denote the based gauge group of bundle automorphisms of the SO(n) bundle E, where p (E) = 2k. Let (k; SO(n)) denote the bundle classed by the SO(n) : M(k; SO(n))! BSp(k). By denition, (k; SO(n)) = [(!; )] : 2 ker(d +! ) A(k; SO(n)) Gk;SO(n) (S + E C ) Since the untwisted Dirac operator on S 4 has no kernel (S 4 has no harmonic spinors), the natural inclusion of bundles (k; SO(n)),! (k; SO(n + )) M(k; SO(n)),! M(k; SO(n + ))

6 6 PAUL NORBURY AND MARC SANDERS dened by (!; )! (! d; ) is an isomorphism on bers. Thus the pullback of (k; SO(n + )) via the inclusion M(k; SO(n)),! M(k; SO(n + )) is isomorphic to (k; SO(n)). Hence, the diagram M(k; SO(n)),! M(k; SO(n + SO(n) # SO(n+) BSp(k) = BSp(k) commutes up to homotopy. So there exists a SO : M(k; SO) h! BSp(k). Precomposing with the equivalence M(k; SO) ' M(k; SO) h, gives a SO : M(k; SO)! BSp(k): This map is not necessarily uniquely determined. Nevertheless, any two choices, when restricted to M(k; SO(n)) will classify the bundle (k; SO(n)), and this is the only property of the limit map which we will use. In particular, any such choice will give a homotopy commutative diagram M(k; SO(n))! M(k; SO(n) & SO BSp(k): Now, since H (M(k; SO)) = H (BSp(k)) by theorem SO will induce a homology isomorphism, and therefore be a homotopy equivalence, if and only if it induces a surjection in homology. By the homotopy commutativity of the previous diagram, it suces to show SO(n) : M(k; SO(n))! BSp(k) induces a surjection in homology through a range increasing with n. Theorem 4. The Dirac SO(n) induces a surjection in homology through dimension 2n 4. Thus, the limit SO : M(k; SO)! BSp(k) is a homotopy equivalence. We begin by proving the following lemma: Lemma 5. There is a commutative diagram H (M(k; SU(n))) SU(n) )! H (BU(k)) H (M(k; SO(2n))) SO(2n) )! H (BSp(k)); where Sp(k) U(2k) consists of all matrices of the A B B A A

7 REAL INSTANTONS AND QUATERNIONIC CLASSIFYING SPACES 7 for any A; B 2 End(C k ), and the map BU(k)! BSp(k) is induced from the inclusion U(k),! Sp(k) dened by A A A : A Proof of Lemma First notice that the natural map of Lie algebras su(n),! so(2n) induces a map M(k; SU(n))! M(k; SO(2n)). The self-duality condition is preserved because the Hodge star operator is complex linear. Locally, the connection matrix = + i 2, where j is a real matrix-valued one form, will map to the 2 A : 2 Also notice that, as mentioned previously, the complexication of a real connection on an SO(r) bundle induces a natural map M(k; SO(2n))! M(2k; SU(2n)). Locally, the composition of these two maps is given by M(k; SU(n))! M(k; SO(2n))! M(2k; SU(2n)) = + i A 2 A ; 2 where the last matrix is viewed as taking values in the Lie algebra su(2n). Since there is a g 2 SU(2n) such that 2 A g + i 2 A A ; 2 i 2 the connections represented by these matrix-valued one forms are gauge equivalent. Thus, the composition M(k; SU(n))! M(k; SO(2n))! M(2k; SU(2n)) sends the equivalence class of the selfdual connection! on the bundle E to the equivalence class of the selfdual connection!! on the bundle E E. Now consider the diagram M(k; SU(n)! BU(k) M(k; SO(2n)! BSp(k) M(2k; SU(2n)! BU(2k): By the denition SO(2n), the bottom square homotopy commutes. Since the map BSp(k)! BU(2k) induces an injection in homology, the top square will induce a

8 8 PAUL NORBURY AND MARC SANDERS commutative diagram in homology if the large outer \square " M(k; SU(n)! BU(k) M(2k; SU(2n)! BU(2k) commutes in homology. Note that on the level of bundles the right vertical map sends a complex vector bundle F to the complex bundle F F. Let (r; SU(l)) denote the Dirac bundle classied by the SU(l) : M(r; SU(l))! BU(r). The proof of the lemma will be complete if the composition M(k; SU(n))! M(2k; SU(2n)! BU(2k) classies the bundle (k; SU(n)) (k; SU(n)). There is a natural bundle map dened by (k; SU(n)) (k; SU(n))! (2k; SU(2n)) M(k; SU(n))! M(2k; SU(2n)) [(!; 2 )] 7! [(!!; 2)] where 2 is the section 2 viewed as a section of the conjugate bundle. Since is in the kernel of D +! if and only if is in the kernel of D +!, this bundle map is a surjection on bers. Since the bers have the same dimension, this map is an isomorphism. Thus (k; SU(n)) (k; SU(n)) is isomorphic to the pullback of (2k; SU(2n)), and the lemma is proved. The proof of theorem 4 is now easy. In [S] section 5, it was shown that the map SU(n) ) : H (M(k; SU(n)))! H (BU(k)) is a surjection through dimension 2n 4. Furthermore, we know that the map BU(k)! BSp(k) induces a surjection in homology. Thus, by the commutativity of the diagram H (M(k; SU(n))) SU(n) )! H (BU(k)) H (M(k; SO(2n))) SO(2n) )! H (BSp(k)); SO(2n) ) : H (M(k; SO(2n))! H (BSp(k)) must also be a surjection through this range. In particular, then, the limit SO : M(k; SO)! BSp(k) is a homotopy equivalence. References [ADHM] M.F. Atiyah, V. G. Drinfeld, N.J. Hitchin and Y. I. Manin, Construction of instantons, Phys. Lett. A, 65 (978), [AJ] M.F. Atiyah and J.D.S. Jones, Topological aspects of Yang-Mills theory, Comm. Math. Phys. 6 (978), 97-8.

9 REAL INSTANTONS AND QUATERNIONIC CLASSIFYING SPACES 9 [AHS] M.F. Atiyah, N.J. Hitchin, and I.M. Singer, Self-duality in four dimensional Riemannian Geometry, Proc. of Royal Society London, A 362 (978), [D] S.K. Donaldson, Instantons and geometric invariant theory, Comm. Math. Phys., 93 (984), [K] F. Kirwan, Geometric Invariant Theory and the Atiyah-Jones conjecture, Proceedings of the Sophus Lie Memorial Conference (Oslo, 992), editors O.A. Laudal and B. Jahren, Scandinavian University Press, 994, [S] M. Sanders, Classifying spaces and Dirac operators coupled to instantons, Transactions of the American Mathematical Society. To appear. [Ti] Y. Tian, The Atiyah-Jones Conjecture for Classical Groups, preprint. Mathematics Institute, University of Warwick, Coventry CV4 7AL, UNITED KING- DOM address: Department of Mathematics, University of Minnesota, Minneapolis, Minneapolis, MN address:

### Donaldson Invariants and Moduli of Yang-Mills Instantons

Donaldson Invariants and Moduli of Yang-Mills Instantons Lincoln College Oxford University (slides posted at users.ox.ac.uk/ linc4221) The ASD Equation in Low Dimensions, 17 November 2017 Moduli and Invariants

### INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:

### HYPERKÄHLER MANIFOLDS

HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly

### Higgs Bundles and Character Varieties

Higgs Bundles and Character Varieties David Baraglia The University of Adelaide Adelaide, Australia 29 May 2014 GEAR Junior Retreat, University of Michigan David Baraglia (ADL) Higgs Bundles and Character

### Morse theory and stable pairs

Richard A. SCGAS 2010 Joint with Introduction Georgios Daskalopoulos (Brown University) Jonathan Weitsman (Northeastern University) Graeme Wilkin (University of Colorado) Outline Introduction 1 Introduction

### The Yang-Mills equations over Klein surfaces

The Yang-Mills equations over Klein surfaces Chiu-Chu Melissa Liu & Florent Schaffhauser Columbia University (New York City) & Universidad de Los Andes (Bogotá) Seoul ICM 2014 Outline 1 Moduli of real

### EQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms

EQUIVARIANT COHOMOLOGY MARTINA LANINI AND TINA KANSTRUP 1. Quick intro Let G be a topological group (i.e. a group which is also a topological space and whose operations are continuous maps) and let X be

### Math. Res. Lett. 13 (2006), no. 1, c International Press 2006 ENERGY IDENTITY FOR ANTI-SELF-DUAL INSTANTONS ON C Σ.

Math. Res. Lett. 3 (2006), no., 6 66 c International Press 2006 ENERY IDENTITY FOR ANTI-SELF-DUAL INSTANTONS ON C Σ Katrin Wehrheim Abstract. We establish an energy identity for anti-self-dual connections

### Mathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang

Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions

### Linear connections on Lie groups

Linear connections on Lie groups The affine space of linear connections on a compact Lie group G contains a distinguished line segment with endpoints the connections L and R which make left (resp. right)

### CHAPTER 1. Principal bundles and connections. 1. Motivation: Gauge theory. The simplest example of a gauge theory in physics is electromagnetism.

CHAPTER 1 Principal bundles and connections 1. Motivation: Gauge theory The simplest example of a gauge theory in physics is electromagnetism. Maxwell's equations for an electromagentic eld, Recall (1)

### Stable bundles on CP 3 and special holonomies

Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M

### Geometric Structures in Mathematical Physics Non-existence of almost complex structures on quaternion-kähler manifolds of positive type

Geometric Structures in Mathematical Physics Non-existence of almost complex structures on quaternion-kähler manifolds of positive type Paul Gauduchon Golden Sands, Bulgaria September, 19 26, 2011 1 Joint

### Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

### Comparing the homotopy types of the components of Map(S 4 ;BSU(2))

Journal of Pure and Applied Algebra 161 (2001) 235 243 www.elsevier.com/locate/jpaa Comparing the homotopy types of the components of Map(S 4 ;BSU(2)) Shuichi Tsukuda 1 Department of Mathematical Sciences,

### The Spinor Representation

The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)

### NOTES ON FIBER BUNDLES

NOTES ON FIBER BUNDLES DANNY CALEGARI Abstract. These are notes on fiber bundles and principal bundles, especially over CW complexes and spaces homotopy equivalent to them. They are meant to supplement

### Modern Geometric Structures and Fields

Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface

### Lecture on Equivariant Cohomology

Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove

### Instantons and Geometric Invariant Theory

Commun. Math. Phys. 93, 453-460 (1984) Communications in Mathematical Physics Springer-Verlag 1984 Instantons and Geometric Invariant Theory S. K. Donaldson All Souls College, Oxford, United Kingdom and

### k=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula

20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim

### arxiv: v2 [math.ag] 5 Jun 2018

A Brief Survey of Higgs Bundles 1 21/03/2018 Ronald A. Zúñiga-Rojas 2 Centro de Investigaciones Matemáticas y Metamatemáticas CIMM Universidad de Costa Rica UCR San José 11501, Costa Rica e-mail: ronald.zunigarojas@ucr.ac.cr

### Moment map flows and the Hecke correspondence for quivers

and the Hecke correspondence for quivers International Workshop on Geometry and Representation Theory Hong Kong University, 6 November 2013 The Grassmannian and flag varieties Correspondences in Morse

### Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions

Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions by Shizuo Kaji Department of Mathematics Kyoto University Kyoto 606-8502, JAPAN e-mail: kaji@math.kyoto-u.ac.jp Abstract

### The Real Grassmannian Gr(2, 4)

The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds

### Geometric Langlands duality and the equations of Nahm and Bogomolny

Proceedings of the Royal Society of Edinburgh, 140A, 857 895, 2010 Geometric Langlands duality and the equations of Nahm and Bogomolny Edward Witten Theory Group, CERN CH1211, Geneva 23, Switzerland (MS

### An Introduction to Kuga Fiber Varieties

An Introduction to Kuga Fiber Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 28, 2012 Notation G a Q-simple

### Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem

PETER B. GILKEY Department of Mathematics, University of Oregon Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem Second Edition CRC PRESS Boca Raton Ann Arbor London Tokyo Contents

### The eta invariant and the equivariant spin. bordism of spherical space form 2 groups. Peter B Gilkey and Boris Botvinnik

The eta invariant and the equivariant spin bordism of spherical space form 2 groups Peter B Gilkey and Boris Botvinnik Mathematics Department, University of Oregon Eugene Oregon 97403 USA Abstract We use

Preprint typeset in JHEP style - HYPER VERSION Possible Advanced Topics Course Gregory W. Moore Abstract: Potential List of Topics for an Advanced Topics version of Physics 695, Fall 2013 September 2,

### Stable complex and Spin c -structures

APPENDIX D Stable complex and Spin c -structures In this book, G-manifolds are often equipped with a stable complex structure or a Spin c structure. Specifically, we use these structures to define quantization.

### CHARACTERISTIC CLASSES

1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact

### The symplectic structure on moduli space (in memory of Andreas Floer)

The symplectic structure on moduli space (in memory of Andreas Floer) Alan Weinstein Department of Mathematics University of California Berkeley, CA 94720 USA (alanw@math.berkeley.edu) 1 Introduction The

### Characteristic classes in the Chow ring

arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic

### THE HOMOTOPY TYPE OF THE SPACE OF RATIONAL FUNCTIONS

THE HOMOTOPY TYPE OF THE SPACE OF RATIONAL FUNCTIONS by M.A. Guest, A. Kozlowski, M. Murayama and K. Yamaguchi In this note we determine some homotopy groups of the space of rational functions of degree

### Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

### On the Equivalence of Geometric and Analytic K-Homology

On the Equivalence of Geometric and Analytic K-Homology Paul Baum, Nigel Higson, and Thomas Schick Abstract We give a proof that the geometric K-homology theory for finite CWcomplexes defined by Baum and

### TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE Luis Guijarro and Gerard Walschap Abstract. In this note, we examine the relationship between the twisting of a vector bundle ξ over a manifold

### Introduction to Index Theory. Elmar Schrohe Institut für Analysis

Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a

### 132 C. L. Schochet with exact rows in some abelian category. 2 asserts that there is a morphism :Ker( )! Cok( ) The Snake Lemma (cf. [Mac, page5]) whi

New York Journal of Mathematics New York J. Math. 5 (1999) 131{137. The Topological Snake Lemma and Corona Algebras C. L. Schochet Abstract. We establish versions of the Snake Lemma from homological algebra

### 2 G. D. DASKALOPOULOS AND R. A. WENTWORTH general, is not true. Thus, unlike the case of divisors, there are situations where k?1 0 and W k?1 = ;. r;d

ON THE BRILL-NOETHER PROBLEM FOR VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Abstract. On an arbitrary compact Riemann surface, necessary and sucient conditions are found for the

### Manifolds with holonomy. Sp(n)Sp(1) SC in SHGAP Simon Salamon Stony Brook, 9 Sep 2016

Manifolds with holonomy Sp(n)Sp(1) SC in SHGAP Simon Salamon Stony Brook, 9 Sep 2016 The list 1.1 SO(N) U( N 2 ) Sp( N 4 )Sp(1) SU( N 2 ) Sp( N 4 ) G 2 (N =7) Spin(7) (N =8) All act transitively on S N

### FRAMED HOLOMORPHIC BUNDLES ON RATIONAL SURFACES

FRAMED HOLOMORPHIC BUNDLES ON RATIONAL SURFACES Abstract. We study the moduli space of framed holomorphic bundles of any rank, over the blow-up of CP 2 at q points. For c 2 =, 2 we introduce an open cover

### Real versus complex K-theory using Kasparov s bivariant KK

Real versus complex K-theory using Kasparov s bivariant KK Thomas Schick Last compiled November 17, 2003; last edited November 17, 2003 or later Abstract In this paper, we use the KK-theory of Kasparov

### Notes 10: Consequences of Eli Cartan s theorem.

Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation

### Hodge Structures. October 8, A few examples of symmetric spaces

Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H

### Algebraic Topology exam

Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,

### As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).

An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted

### THE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS. Osaka Journal of Mathematics. 52(1) P.15-P.29

Title THE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS Author(s) Theriault, Stephen Citation Osaka Journal of Mathematics. 52(1) P.15-P.29 Issue Date 2015-01 Text Version publisher URL https://doi.org/10.18910/57660

### Dirac Operator. Göttingen Mathematical Institute. Paul Baum Penn State 6 February, 2017

Dirac Operator Göttingen Mathematical Institute Paul Baum Penn State 6 February, 2017 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. The Riemann-Roch theorem 5. K-theory

### MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION

Masuda, K. Osaka J. Math. 38 (200), 50 506 MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION KAYO MASUDA (Received June 2, 999). Introduction and result Let be a reductive complex algebraic

### Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO

UTMS 2011 8 April 22, 2011 Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs by Toshiyuki Kobayashi and Yoshiki Oshima T UNIVERSITY OF TOKYO GRADUATE SCHOOL OF

### LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.

### Homotopy and geometric perspectives on string topology

Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known

### Overview of Atiyah-Singer Index Theory

Overview of Atiyah-Singer Index Theory Nikolai Nowaczyk December 4, 2014 Abstract. The aim of this text is to give an overview of the Index Theorems by Atiyah and Singer. Our primary motivation is to understand

### EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES

EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES RAVI A.RAO AND RICHARD G. SWAN Abstract. This is an excerpt from a paper still in preparation. We show that there are

### Lemma 1.3. The element [X, X] is nonzero.

Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group

### Gravitating vortices, cosmic strings, and algebraic geometry

Gravitating vortices, cosmic strings, and algebraic geometry Luis Álvarez-Cónsul ICMAT & CSIC, Madrid Seminari de Geometria Algebraica UB, Barcelona, 3 Feb 2017 Joint with Mario García-Fernández and Oscar

### Lecture 6: Classifying spaces

Lecture 6: Classifying spaces A vector bundle E M is a family of vector spaces parametrized by a smooth manifold M. We ask: Is there a universal such family? In other words, is there a vector bundle E

### Donaldson and Seiberg-Witten theory and their relation to N = 2 SYM

Donaldson and Seiberg-Witten theory and their relation to N = SYM Brian Williams April 3, 013 We ve began to see what it means to twist a supersymmetric field theory. I will review Donaldson theory and

### Quaternionic Complexes

Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534

### Topological K-theory

Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions

### EQUIVARIANT AND FRACTIONAL INDEX OF PROJECTIVE ELLIPTIC OPERATORS. V. Mathai, R.B. Melrose & I.M. Singer. Abstract

j. differential geometry x78 (2008) 465-473 EQUIVARIANT AND FRACTIONAL INDEX OF PROJECTIVE ELLIPTIC OPERATORS V. Mathai, R.B. Melrose & I.M. Singer Abstract In this note the fractional analytic index,

### arxiv:math/ v1 [math.ag] 18 Oct 2003

Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI

### Quasi Riemann surfaces II. Questions, comments, speculations

Quasi Riemann surfaces II. Questions, comments, speculations Daniel Friedan New High Energy Theory Center, Rutgers University and Natural Science Institute, The University of Iceland dfriedan@gmail.com

### L 2 Geometry of the Symplectomorphism Group

University of Notre Dame Workshop on Innite Dimensional Geometry, Vienna 2015 Outline 1 The Exponential Map on D s ω(m) 2 Existence of Multiplicity of Outline 1 The Exponential Map on D s ω(m) 2 Existence

### Introduction to Poincare Conjecture and the Hamilton-Perelman program

Introduction to Poincare Conjecture and the Hamilton-Perelman program David Glickenstein Math 538, Spring 2009 January 20, 2009 1 Introduction This lecture is mostly taken from Tao s lecture 2. In this

### ERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY

ERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY DUSA MCDUFF AND DIETMAR A. SALAMON Abstract. These notes correct a few typos and errors in Introduction to Symplectic Topology (2nd edition, OUP 1998, reprinted

### QUATERNIONS AND ROTATIONS

QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )

### The topology of asymptotically locally flat gravitational instantons

The topology of asymptotically locally flat gravitational instantons arxiv:hep-th/0602053v4 19 Jan 2009 Gábor Etesi Department of Geometry, Mathematical Institute, Faculty of Science, Budapest University

### MATH 215B HOMEWORK 5 SOLUTIONS

MATH 25B HOMEWORK 5 SOLUTIONS. ( marks) Show that the quotient map S S S 2 collapsing the subspace S S to a point is not nullhomotopic by showing that it induces an isomorphism on H 2. On the other hand,

### NilBott Tower of Aspherical Manifolds and Torus Actions

NilBott Tower of Aspherical Manifolds and Torus Actions Tokyo Metropolitan University November 29, 2011 (Tokyo NilBottMetropolitan Tower of Aspherical University) Manifolds and Torus ActionsNovember 29,

### DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS

DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA 1, DENISE DE MATTOS 2, AND EDIVALDO L. DOS SANTOS 3 Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain

### Index Theory and Spin Geometry

Index Theory and Spin Geometry Fabian Lenhardt and Lennart Meier March 20, 2010 Many of the familiar (and not-so-familiar) invariants in the algebraic topology of manifolds may be phrased as an index of

### Res + X F F + is defined below in (1.3). According to [Je-Ki2, Definition 3.3 and Proposition 3.4], the value of Res + X

Theorem 1.2. For any η HH (N) we have1 (1.1) κ S (η)[n red ] = c η F. Here HH (F) denotes the H-equivariant Euler class of the normal bundle ν(f), c is a non-zero constant 2, and is defined below in (1.3).

### Deformations of trianalytic subvarieties nal version, Oct Deformations of trianalytic subvarieties of. hyperkahler manifolds.

Deformations of trianalytic subvarieties of hyperkahler manifolds. Misha Verbitsky, 1 verbit@thelema.dnttm.rssi.ru, verbit@math.ias.edu Contents Let M be a compact complex manifold equipped with a hyperkahler

### THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

### Real, Complex, and Quarternionic Representations

Real, Complex, and Quarternionic Representations JWR 10 March 2006 1 Group Representations 1. Throughout R denotes the real numbers, C denotes the complex numbers, H denotes the quaternions, and G denotes

### Chern Classes and the Chern Character

Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the

### Stabilization as a CW approximation

Journal of Pure and Applied Algebra 140 (1999) 23 32 Stabilization as a CW approximation A.D. Elmendorf Department of Mathematics, Purdue University Calumet, Hammond, IN 46323, USA Communicated by E.M.

### LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be

### MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

### Math 121 Homework 4: Notes on Selected Problems

Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W

### ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a

### DIFFERENTIAL GEOMETRY AND THE QUATERNIONS. Nigel Hitchin (Oxford) The Chern Lectures Berkeley April 9th-18th 2013

DIFFERENTIAL GEOMETRY AND THE QUATERNIONS Nigel Hitchin (Oxford) The Chern Lectures Berkeley April 9th-18th 2013 16th October 1843 ON RIEMANNIAN MANIFOLDS OF FOUR DIMENSIONS 1 SHIING-SHEN CHERN Introduction.

### ON THE MAPPING CLASS GROUP ACTION ON THE COHOMOLOGY OF THE REPRESENTATION SPACE OF A SURFACE

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 6, June 1996 ON THE MAPPING CLASS GROUP ACTION ON THE COHOMOLOGY OF THE REPRESENTATION SPACE OF A SURFACE INDRANIL BISWAS (Communicated

### A users guide to K-theory

A users guide to K-theory K-theory Alexander Kahle alexander.kahle@rub.de Mathematics Department, Ruhr-Universtät Bochum Bonn-Cologne Intensive Week: Tools of Topology for Quantum Matter, July 2014 Outline

### Bredon, Introduction to compact transformation groups, Academic Press

1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions

### REPRESENTATION THEORY WEEK 7

REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable

### Morse Theory and Applications to Equivariant Topology

Morse Theory and Applications to Equivariant Topology Morse Theory: the classical approach Briefly, Morse theory is ubiquitous and indomitable (Bott). It embodies a far reaching idea: the geometry and

### On orientations for gauge-theoretic moduli spaces

On orientations for gauge-theoretic moduli spaces Dominic Joyce, Yuuji Tanaka and Markus Upmeier reliminary version, October 2018 Abstract Let X be a compact manifold, D : Γ (E 0) Γ (E 1) a real elliptic

### Hopf Fibrations. Consider a classical magnetization field in R 3 which is longitidinally stiff and transversally soft.

Helmut Eschrig Leibniz-Institut für Festkörper- und Werkstofforschung Dresden Leibniz-Institute for Solid State and Materials Research Dresden Hopf Fibrations Consider a classical magnetization field in

### HARMONIC MAPS INTO GRASSMANNIANS AND A GENERALIZATION OF DO CARMO-WALLACH THEOREM

Proceedings of the 16th OCU International Academic Symposium 2008 OCAMI Studies Volume 3 2009, pp.41 52 HARMONIC MAPS INTO GRASSMANNIANS AND A GENERALIZATION OF DO CARMO-WALLACH THEOREM YASUYUKI NAGATOMO

### Characteristic Classes in K-Theory Connective K-theory of BG, G Compact Lie

Characteristic Classes in K-Theory Connective K-theory of BG, G Compact Lie Robert Bruner Department of Mathematics Wayne State University Topology Seminar Universitetet i Bergen 10 August 2011 Robert

### Derivations and differentials

Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,

### Notes by Maksim Maydanskiy.

SPECTRAL FLOW IN MORSE THEORY. 1 Introduction Notes by Maksim Maydanskiy. Spectral flow is a general formula or computing the Fredholm index of an operator d ds +A(s) : L1,2 (R, H) L 2 (R, H) for a family

### η = (e 1 (e 2 φ)) # = e 3

Research Statement My research interests lie in differential geometry and geometric analysis. My work has concentrated according to two themes. The first is the study of submanifolds of spaces with riemannian

### Hyperkähler geometry lecture 3

Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843