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

Similar documents
Dirac Operator. Texas A&M University College Station, Texas, USA. Paul Baum Penn State. March 31, 2014

Atiyah-Singer Revisited

WHAT IS K-HOMOLOGY? Paul Baum Penn State. Texas A&M University College Station, Texas, USA. April 2, 2014

The Riemann-Roch Theorem

The Riemann-Roch Theorem

BEYOND ELLIPTICITY. Paul Baum Penn State. Fields Institute Toronto, Canada. June 20, 2013

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

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

The Riemann-Roch Theorem

CHARACTERISTIC CLASSES

Introduction to the Baum-Connes conjecture

SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY

K-Homology, Assembly and Rigidity Theorems for Relative Eta Invariants

Celebrating One Hundred Fifty Years of. Topology. ARBEITSTAGUNG Bonn, May 22, 2013

Remarks on the Milnor number

Math 231b Lecture 16. G. Quick

TRANSVERSAL DIRAC OPERATORS ON DISTRIBUTIONS, FOLIATIONS, AND G-MANIFOLDS LECTURE NOTES

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

Lecture 8: More characteristic classes and the Thom isomorphism

Chern numbers and Hilbert Modular Varieties

On the Equivalence of Geometric and Analytic K-Homology

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

KR-theory. Jean-Louis Tu. Lyon, septembre Université de Lorraine France. IECL, UMR 7502 du CNRS

arxiv: v2 [math.dg] 3 Nov 2016

Index Theory and Spin Geometry

NOTES ON FIBER BUNDLES

LECTURE 26: THE CHERN-WEIL THEORY

The Spinor Representation

A users guide to K-theory

The topology of positive scalar curvature ICM Section Topology Seoul, August 2014

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

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

Universität Regensburg Mathematik

Introduction (Lecture 1)

A SHORT OVERVIEW OF SPIN REPRESENTATIONS. Contents

TOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C :

On algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem

Clifford Algebras and Spin Groups

Complex manifolds, Kahler metrics, differential and harmonic forms

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture)

The kernel of the Dirac operator

LECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.

Exotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017

arxiv: v1 [math.ag] 13 Mar 2019

15 Elliptic curves and Fermat s last theorem

FROM HOLOMORPHIC FUNCTIONS TO HOLOMORPHIC SECTIONS

Overview of Atiyah-Singer Index Theory

Recall for an n n matrix A = (a ij ), its trace is defined by. a jj. It has properties: In particular, if B is non-singular n n matrix,

30 Surfaces and nondegenerate symmetric bilinear forms

The Standard Model in Noncommutative Geometry: fermions as internal Dirac spinors

Modern index Theory lectures held at CIRM rencontré Theorie d indice, Mar 2006

Fractional Index Theory

Stable complex and Spin c -structures

An Introduction to Complex K-Theory

Bott Periodicity. Anthony Bosman Senior Honors Thesis Department of Mathematics, Stanford University Adviser: Eleny Ionel

Hyperkähler geometry lecture 3

KO -theory of complex Stiefel manifolds

Spectral Theorem for Self-adjoint Linear Operators

THE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES

Invariants from noncommutative index theory for homotopy equivalences

Elliptic Regularity. Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n.

Lecture 11: Hirzebruch s signature theorem

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

HODGE NUMBERS OF COMPLETE INTERSECTIONS

The Classification of (n 1)-connected 2n-manifolds

Symplectic critical surfaces in Kähler surfaces

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

A PRIMER ON SESQUILINEAR FORMS

Index theory on manifolds with corners: Generalized Gauss-Bonnet formulas

Representation Theory

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

RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY

Lecture on Equivariant Cohomology

Characteristic classes and Invariants of Spin Geometry

ERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY

GEOMETRIC QUANTIZATION

Cobordant differentiable manifolds

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction

Topological K-theory, Lecture 3

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS

RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS

THE HODGE DECOMPOSITION

The Riemann-Roch Theorem

Operator algebras and topology

Chern Classes and the Chern Character

Notes by Maksim Maydanskiy.

HYPERKÄHLER MANIFOLDS

LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM

HASSE-MINKOWSKI THEOREM

LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM

The Theorem of Gauß-Bonnet in Complex Analysis 1

Characteristic classes in the Chow ring

THE STRONG NOVIKOV CONJECTURE FOR LOW DEGREE COHOMOLOGY

L6: Almost complex structures

Cohomology of the Mumford Quotient

Dirac operators with torsion

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

Advanced Course: Transversal Dirac operators on distributions, foliations, and G-manifolds. Ken Richardson and coauthors

Transcription:

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 for group C algebras (BC conjecture)

DIRAC OPERATOR The Dirac operator of R n will be defined. This is a first order elliptic differential operator with constant coefficients. Next, the class of differentiable manifolds which come equipped with an order one differential operator which at the symbol level is locally isomorphic to the Dirac operator of R n will be considered. These are the Spin c manifolds. Spin c is slightly stronger than oriented, so Spin c can be viewed as oriented plus epsilon. Most of the oriented manifolds that occur in practice are Spin c. The Dirac operator of a closed Spin c manifold is the basic example for the Hirzebruch-Riemann-Roch theorem and the Atiyah-Singer index theorem.

What is the Dirac operator of R n? To answer this, shall construct matrices E 1, E 2,..., E n with the following properties :

Properties of E 1, E 2,..., E n Each E j is a 2 r 2 r matrix of complex numbers, where r is the largest integer n/2. Each E j is skew adjoint, i.e. E j = E j (* = conjugate transpose) Ej 2 = I j = 1, 2,..., n (I is the 2 r 2 r identity matrix.) E j E k + E k E j = 0 whenever j k. For n odd, (n = 2r + 1) i r+1 E 1 E 2 E n = I For n even, (n = 2r) each E j is of the form E j = [ 0 0 ] and ir E 1 E 2 E n = [ ] I 0 0 I i = 1

These matrices are constructed by a simple inductive procedure. n = 1, E 1 = [ i] n n + 1 with n odd (r r + 1) The new matrices Ẽ1, Ẽ2,..., Ẽn+1 are ] Ẽ j = [ 0 Ej E j 0 for j = 1,..., n and Ẽ n+1 = [ ] 0 I I 0 where E 1, E 2,..., E n are the old matrices. n n + 1 with n even (r does not change) The new matrices Ẽ1, Ẽ2,..., Ẽn+1 are Ẽ j = E j for j = 1,..., n and Ẽ n+1 = [ ] ii 0 0 ii where E 1, E 2,..., E n are the old matrices.

Example n = 1: E 1 = [ i] n = 2: E 1 = [ 0 i i 0 n = 3: E 1 = [ 0 i i 0 ], E2 = [ ] 0 1 1 0 ], E2 = [ 0 1 1 0 ], E3 = [ ] i 0 0 i

Example n = 4: E 1 = [ 0 ] 0 0 i 0 0 i 0 0 i 0 0 i 0 0 0 E 2 = [ 0 0 0 1 ] 0 0 1 0 0 1 0 0 1 0 0 0 E 3 = [ 0 0 i 0 ] 0 0 0 i i 0 0 0 0 i 0 0 E 4 = [ 0 0 1 0 ] 0 0 0 1 1 0 0 0 0 1 0 0

D = Dirac operator of R n { n = 2r n even n = 2r + 1 n odd D = n j=1 E j x j D is an unbounded symmetric operator on the Hilbert space L 2 (R n ) L 2 (R n )... L 2 (R n ) (2 r times) To begin, the domain of D is C c (R n ) C c (R n )... C c (R n ) (2 r times) D is essentially self-adjoint (i.e. D has a unique self-adjoint extension) so it is natural to view D as an unbounded self-adjoint operator on the Hilbert space L 2 (R n ) L 2 (R n )... L 2 (R n ) (2 r times)

QUESTION : Let M be a C manifold of dimension n. Does M admit a differential operator which (at the symbol level) is locally isomorphic to the Dirac operator of R n? To answer this question, will define Spin c vector bundle.

What is a Spin c vector bundle? Let X be a paracompact Hausdorff topological space. On X let E be an R vector bundle which has been oriented. i.e. the structure group of E has been reduced from GL(n, R) to GL + (n, R) GL + (n, R) = {[a ij ] GL(n, R) det[a ij ] > 0} n= fiber dimension (E) Assume n 3 and recall that for n 3 H 2 (GL + (n, R); Z) = Z/2Z Denote by F + (E) the principal GL + (n, R) bundle on X consisting of all positively oriented frames.

A point of F + (E) is a pair ( x, (v 1, v 2,..., v n ) ) where x X and (v 1, v 2,..., v n ) is a positively oriented basis of E x. The projection F + (E) X is ( x, (v1, v 2,..., v n ) ) x For x X, denote by ι x : F x + (E) F + (E) the inclusion of the fiber at x into F + (E). Note that (with n 3) H 2 (F x + (E); Z) = Z/2Z

A Spin c vector bundle on X is an R vector bundle E on X (fiber dimension E 3) with 1 E has been oriented. 2 α H 2 (F + (E); Z) has been chosen such that x X ι x(α) H 2 (F + x (E); Z) is non-zero.

Remarks 1.For n = 1, 2 E is a Spin c vector bundle = E has been oriented and an element α H 2 (X; Z) has been chosen. (α can be zero.) 2. For all values of n = fiber dimension(e), E is a Spin c vector bundle iff the structure group of E has been changed from GL(n, R) to Spin c (n). i.e. Such a change of structure group is equivalent to the above definition of Spin c vector bundle.

Topological obstruction to Spin c -able E an R vector bundle on X. w 1 (E), w 2 (E),..., w n (E) Stiefel-Whitney classes of E w j (E) H j (X; Z/2Z) E is Spin c -able iff: (i) w 1 (E) = 0 (i.e. E is orientable). and (ii) w 2 (E) is in the image of the mod 2 reduction map H 2 (X; Z) H 2 (X; Z/2Z)

By forgetting some structure a complex vector bundle or a Spin vector bundle canonically becomes a Spin c vector bundle complex Spin Spin c oriented A Spin c structure for an R vector bundle E can be thought of as an orientation for E plus a slight extra bit of structure. Spin c structures behave very much like orientations. For example, an orientation on two out of three R vector bundles in a short exact sequence determines an orientation on the third vector bundle. An analogous assertion is true for Spin c structures.

Two Out Of Three Lemma Lemma Let 0 E E E 0 be a short exact sequence of R-vector bundles on X. If two out of three are Spin c vector bundles, then so is the third.

Definition Let M be a C manifold (with or without boundary). M is a Spin c manifold iff the tangent bundle T M of M is a Spin c vector bundle on M. The Two Out Of Three Lemma implies that the boundary M of a Spin c manifold M with boundary is again a Spin c manifold.

Various well-known structures on a manifold M make M into a Spin c manifold. (complex-analytic) (symplectic) (almost complex) (contact) (stably almost complex) Spin Spin c (oriented)

A Spin c manifold can be thought of as an oriented manifold with a slight extra bit of structure. Most of the oriented manifolds which occur in practice are Spin c manifolds. A Spin c manifold comes equipped with a first-order elliptic differential operator known as its Dirac operator. This operator is locally isomorphic (at the symbol level) to the Dirac operator of R n.

EXAMPLE. Let M be a compact complex-analytic manifold. Set Ω p,q = C (M, Λ p,q T C M) Ω p,q is the C vector space of all C differential forms of type (p, q) Dolbeault complex 0 Ω 0,0 Ω 0,1 Ω 0,2 Ω 0,n 0 The Dirac operator (of the underlying Spin c manifold) is the assembled Dolbeault complex + : j Ω 0, 2j j 0, 2j+1 Ω The index of this operator is the arithmetic genus of M i.e. is the Euler number of the Dolbeault complex.

TWO POINTS OF VIEW ON SPIN c MANIFOLDS 1. Spin c is a slight strengthening of oriented. Most of the oriented manifolds that occur in practice are Spin c. 2. Spin c is much weaker than complex-analytic. BUT the assempled Dolbeault complex survives (as the Dirac operator). AND the Todd class survives. M Spin c = T d(m) H (M; Q)

If M is a Spin c manifold, then T d(m) is T d(m) := exp c 1(M)/2 Â(M) T d(m) H (M; Q) If M is a complex-analyic manifold, then M has Chern classes c 1, c 2,..., c n and exp c 1(M)/2 Â(M) = P T odd (c 1, c 2,..., c n )

WARNING!!! The Todd class of a Spin c manifold is not obtained by complexifying the tangent bundle T M of M and then applying the Todd polynomial to the Chern classes of T C M. T d(t C M) = Â(M)2 = Â(M) Â(M) Correct formula for the Todd class of a Spin c manifold M is: T d(m) := exp c 1(M)/2 Â(M) T d(m) H (M; Q)

SPECIAL CASE OF ATIYAH-SINGER Let M be a compact even-dimensional Spin c manifold without boundary. Let E be a C vector bundle on M. D E denotes the Dirac operator of M tensored with E. D E : C (M, S + E) C (M, S E) S +, (S ) are the positive (negative) spinor bundles on M. THEOREM Index(D E ) = (ch(e) T d(m))[m].

SPECIAL CASE OF ATIYAH-SINGER Let M be a compact even-dimensional Spin c manifold without boundary. Let E be a C vector bundle on M. D E denotes the Dirac operator of M tensored with E. THEOREM Index(D E ) = (ch(e) T d(m))[m]. This theorem will be proved in the next lecture as a corollary of Bott periodicity. In particular, this will prove the Hirzebruch-Riemann-Roch theorem. Also, this will prove (for closed even-dimensional Spin c manifolds) the Hirzebruch signature theorem.

From E 1, E 2,..., E n obtain : 1) The Dirac operator of R n 2) The Bott generator vector bundle on S n (n even) 3) The spin representation of Spin c (n)

W finite dimensional C vector space dim C (W ) < T : W W T Hom C (W, W ) T 2 = I = The eigen-values of T are ± 1 W = W 1 W 1 W 1 = {v W T v = v} W 1 = {v W T v = v}

Bott generator vector bundle n even n = 2r S n R n+1 S n M(2 r, C) S n = {(a 1, a 2,..., a n+1 ) R n+1 a 2 1 + a2 2 + + a2 n+1 = 1} (a 1, a 2,..., a n+1 ) i(a 1 E 1 + a 2 E 2 + + a n+1 E n+1 ) i = 1 (i) 2 (a 1 E 1 + a 2 E 2 + + a n+1 E n+1 ) 2 = ( 1)( a 2 1 a 2 2... a 2 n+1) I = I = The eigenvalues of i(a 1 E 1 + a 2 E 2 + + a n+1 E n+1 ) are ± 1.

Bott generator vector bundle β on S n n even n = 2r β (a1,a 2,...,a n+1 ) = (+1 eigenspace of i(a 1 E 1 + a 2 E 2 + + a n+1 E n+1 )) = Hom C ({v C 2r i(a 1 E 1 + a 2 E 2 + + a n+1 E n+1 ) v = v}, C) K 0 (S n ) = Z Z 1 β 1 = S n C

Bott generator vector bundle β on S n n even n = 2r β is determined by: 1 p S n, dim C (β p ) = 2 r 1 2 ch(β)[s n ] = 1

n even n = 2r S n R n+1 With the Spin (or Spin c ) structure S n has as the boundary of the unit ball B n+1 of R n+1, the Spinor bundle S of S n is: S = S n C 2r The positive (negative) Spinor bundles S + (S ) are defined by : S + (a 1,a 2,...,a n+1 ) = +1 eigenspace of i(a 1E 1 +a 2 E 2 + +a n+1 E n+1 ) S (a 1,a 2,...,a n+1 ) = 1 eigenspace of i(a 1E 1 +a 2 E 2 + +a n+1 E n+1 ) S = S n C 2r = S + S β = (S + )

M Spin c manifold M might be non-empty T M = the tangent bundle of M Dirac operator D : C c (M, S) C c (M, S) S is the Spinor bundle C c (M, S) = {C sections with compact support of S}

such that D : C c (M, S) C c (M, S) (1) D is C-linear D(s 1 + s 2 ) = Ds 1 + Ds 2 s j Cc (M, S) D(λx) = λds λ C (2) If f : M C is a C function, then D(fs) = (df)s + f(ds) (3) If s j Cc (M, S) then (Ds 1 x, s 2 x) = (s 1 x, Ds 2 x)dx M (4) If dim M is even, then D is off-diagonal S = S + S M D = 0 D D + 0

D : C c (M, S) C c (M, S) is an elliptic first-order differential operator. D can be viewed as an unbounded operator on the Hilbert space L 2 (M, S) (s 1, s 2 ) = M (s 1 x, s 2 x)dx D : C c (M, S) C c (M, S) is a symmetric operator

EXAMPLE. Let M be a compact complex-analytic manifold. The positive (negative) Spinor bundles of the underlying Spin c manifold are : S + = Λ 0, 2j TC M j S = j Λ 0, 2j+1 T C M + : C (M, j D + : C (M, S + ) C (M, S ) is Λ 0, 2j T C M) C (M, j Λ 0, 2j+1 T C M) The index of this operator is the arithmetic genus of M i.e. is the Euler number of the Dolbeault complex.

EXAMPLE. Let M be a compact even-dimensional Spin c manifold without boundary. D + S : C (M, S + S ) C (M, S S ) is the Hirzebruch signature operator of M. If the dimension of M is divisible by 4, the index of this operator is the signature of the quadratic form H r (M; R) R H r (M, R) R n = 2r r even a b (a b)[m]

Example. n even n = 2r S n R n+1 D = Dirac operator of S n S = Spinor bundle of S n = S n C 2r S = S + S D : C (S n, S) C (S n, S) 0 D D = D + 0 D + : C (S n, S + ) C (S n, S ) Index (D + ) := dim C (Kernel D + ) dim C (Cokernel D + ) = 0 Theorem. Index (D + ) = 0

Tensor D + with the Bott generator vector bundle β D + β : C (S n, S + β) C (S n, S β) Theorem. On S n, with n even, Index(D + ) = 0 and Index (D + β ) = 1.

BOTT PERIODICITY Z j odd π j GL(n, C) = 0 j even j = 0, 1, 2,..., 2n 1

Why???? does Bott periodicity imply SPECIAL CASE OF ATIYAH-SINGER Let M be a compact even-dimensional Spin c manifold without boundary. Let E be a C vector bundle on M. D E denotes the Dirac operator of M tensored with E. THEOREM Index(D E ) = (ch(e) T d(m))[m]. This will be explained in the next lecture tomorrow.