RIEMANN-ROCH, HEAT KERNELS, AND SUPERSYMMETRY

Size: px
Start display at page:

Download "RIEMANN-ROCH, HEAT KERNELS, AND SUPERSYMMETRY"

Transcription

1 RIEANN-ROCH, HEAT KERNELS, AND SUPERSYETRY SEAN POHORENCE Introduction This talk will serve as a microscopic introduction to the heat kernel approach to index theory. Instead of diving into this deep subject head first, we will seek to understand a more basic result, the Riemann-Roch theorem for Riemann surfaces, using the theory of heat kernels. Our approach will highlight contributions to this subject from physics, particularly the theory of supersymmetry. 1 In order to cover the material in a couple of one hour sessions, the style of the talk will be more admiring from a distance, but most of the material can be found in [2] which goes into considerably more ail. 1. Hermitian vector bundles and Dirac operators We first describe our objects of interest. Let be a compact, complex manifold of (complex dimension m. Recall that a Kähler structure on consists of a Hermitian metric g on T C := T R C for which the complex structure is covariant constant. That is, if g is the Levi-Civita connection associated to g and J is the complex structure on, then g J = 0. Exercise For any Hermitian manifold, the curvature tensor is an End(T C -valued two form. Prove that for Kähler manifolds 1 the endomorphism part of the curvature tensor respects the decomposition T C = T 1,0 T 0,1, and 2 the form part of the curvature tensor lies in A 1,1 (. This exercise tells us that the curvature tensor of a Kähler manifold lies in A 1,1 (, End(T 1,0 End(T 0,1. Using this decomposition, we may write the curvature tensor as R = R + R. We will also want to consider more general Hermitian vector bundles. Let E be a Hermitian vector bundle with Hermitian metric h. In a previous talk, we saw that a holomorphic structure on E is given by a choice of partial connection E which behaves like the (0, 1-part of a covariant derivative and squares to zero. These two pieces of data uniquely ermine a connection h on E satisfying the following two conditions: ( h 0,1 = E, dh(s 1, s 2 = h( h s 1, s 2 + h(s 1, h s 2 where s 1, s 2 Γ(, E. The connection h is called the Chern connection of E. Exercise Prove that such a h exists and is unique. We will denote the curvature of h by F E. This is an endomorphism valued 2-form. One can show that the de-rham cohomology class of tr(f E is independent of the choice of Hermitian metric h, somewhat justifying the notation. ore complicated (inhomogeneous differential forms built from F E will also define cohomology classes which do not depend on h, as we will see later. Date: 8/17. 1 Sadly, we will neglect the equally fascinating ties to probability and stochastic calculus. 1

2 2 SEAN POHORENCE By extending E as a derivation on forms, we can construct the Dolbeault complex 0 A 0,0 (, E E A 0,1 (, E E E A 0,m (, E 0. The cohomology of (A 0, (, E, E is called the Dolbeault cohomology of E. We define the Euler characteristic of E, denoted χ(e as the alternating sum of the dimensions of the Dolbeault cohomology spaces m χ(e := ( 1 i dim(h i (A 0, (, E, E. We now discuss a different viewpoint on the Dolbeault complex which will serve as our entry point into index theory. Define the holomorphic vector bundle E := (T 0,1 E where m (T 0,1 = i (T 0,1. We see that sections of E are objects we already know, Γ(, E = A 0, (, E. The new feature we now point out is that E has a natural Z/2Z grading coming from differential form degree (mod 2. Specifically, E = E + E where E + := i (T 0,1 E, i even E := i (T 0,1 E. i odd We call the summands E + and E the even and odd parts of E, respectively. This gives Γ(, E the structure of a Z/2Z-graded vector space, or super vector space. With respect to this grading, E defines an odd endomorphism of Γ(, E E : Γ(, E ± Γ(, E. Note that E inherits a Hermitian metric built from the ones on and E. Using this Hermitian metric, we can define an conjugate-linear pairing on sections of E via integration: (s 1, s 2 := s 1 (x, s 2 (x x dx where, x denotes the Hermitian metric on E x and dx is a volume form on which we have chosen. Using this pairing, we can define the formal adjoint 2 of E by ( Es 1, s 2 = (s 1, E s 2 for any sections s 1, s 2 Γ(, E. We see that E is also an odd endomorphism of Γ(, E. Exercise Show that ( E 2 = 0. We will mainly be intersted in the composite operator D := 2( E + E. This too is an odd endomorphism of Γ(, E. Using the direct sum decomposition of E, we may write D in matrix form as ( 0 D D = D We will not pay close attention to the functional analytic ails of this procedure.

3 RIEANN-ROCH, HEAT KERNELS, AND SUPERSYETRY 3 where D ± : Γ(, E ± Γ(, E. Exercise Show that (at least in the formal sense D is self-adjoint, so that (D + = D. Computing the square of D using the definition, we see that D 2 = 2( E E + E E = 2 E where E is the generalized Laplacian associated to the Dolbeault operator. In particular, D is a Dirac operator (see [2] for ails. Exercise This exercise is for those who have seen Dirac operators in physics and are wondering what the connection to D as defined above is. Define an action c : A 1 ( Γ(, End(E by where v 1,0 is defined via α 1,0 = g(v 1,0,. Show that c(αs = 2(α 0,1 s ι(v 1,0 s c(αc(βs + c(βc(αs = 2g (α, β s where g is the induced Hermitian metric on T. Thus, c factors through an action map c : C( Γ(, End(E, where C( is the bundle of Clifford algebras over with fibers C( x = Cliff(T x, g x. We say that E inherits the structure of a Clifford module. Now, define a connection on E by = g h. Finally, define an endomorphism of Γ(, E locally by / = c(dx i i. and show that / = D as defined above. For ails and hints, see chapter 3 of [2]. We define the index of D to be ind(d := dim(ker(d + dim(ker(d. For those of you inclined to super-thinking, we can define the index of D as the super-dimension of ker(d. We will now focus on finding ways to compute ind(d. 2. The heat kernel and its supertrace In this section, we introduce the heat kernel associated to D 2 and relate it to the index of D. We will not go through the construction of the heat kernel itself, since this is quite involved (at the very least, it requires understanding the spectrum of D 2. The general idea of the heat kernel is that it allows us to construct solutions to the heat equation ( t + D 2 s = 0 where s is a t-dependent section of E satisfying an initial condition s t=0 = s 0 Γ(, E. If we could construct a section p t Γ(, E E which satisfies the heat equation itself in the first argument, ( t + D 2 xp t (x, = 0, and gave a reproducing operator in the t 0 limit, p t (x, yr(ydy = r(x lim t 0 for any section r, then we could solve the heat equation for any initial condition s 0 Γ(, E by setting s(t, x := p t (x, ys 0 (ydy.

4 4 SEAN POHORENCE There are other subtler conditions on the regularity p t which we shall ignore, since for the operator D 2 it turns out that such a p t exists which is smooth in both arguments, as well as in t for t > 0. We define a t-dependent operator 3 e td2 Γ(, End(E associated to the heat kernel by (e td2 s(x = p t (x, ys(ydy. We now state three of the most important properties of p t for our upcoming discussion. The first property is that the operators e td2 for various values of t form a semigroup, that is, e t1d2 e t2d2 = e (t1+t2d2. The second property is that, like D 2, e td2 is essentially self-adjoint. The third property is that the operator e td2 is trace class for all t > 0, with trace given by tr(e td2 = tr(p t (x, xdx. Note that in the equation above, the trace under the integral is the pointwise trace of the endomorphism p t (x, x Γ(, E E = Γ(, End(E where we have used the metric on E to associate E and its dual. Exercise Use the first and second properties of the heat kernel to prove the trace formula above. We now introduce the notion of a supertrace. Let V = V + V be a super vector space and let O be an endomorphism of V. In matrix notation, we have ( a O = + b where a ± End(V ±, b ± Hom(V ±, V. We define the supertrace as b + a Str(O = tr V +(a + tr V (a. In particular, the supertrace of any odd endomorphism vanishes. The supertrace satisfies most of the usual identities of the trace, the most important being (in finite dimensions Str([O, P ] = 0 where [, ] is the graded commutator. This identity holds for arbitrary vector spaces if one of the operators is nice enough (since e td2 is defined by a smooth kernel, it will usually be nice enough. As our first exercise in working with the supertrace, consider the projection operator onto the kernel of D, denoted P 0. We see that Str(P 0 = dim(ker(d + dim(ker(d = ind(d. Furthermore, since D is self-adjoint, we see that (D 2 s, s = (Ds, Ds = Ds 2. Thus, we see that ker(d 2 ker(d, hence ker(d 2 = ker(d. In summary, we see that P 0 is the projection onto ker(d 2 and that its supertrace is equal to the index of D. Our next goal will be to understand the supertrace of e td Large t behavior of Str(e td2. In order to understand the behavior of e td2 as t, we will invoke the spectral theorem for essentially self-adjoint operators. Define H and H ± be the spaces of L 2 sections of E and E ±, respectively. For any non-negative real number λ, let n λ be the dimension of the λ-eigenspace of D 2. Furthermore, let n ± λ be the dimension of the intersection of this eigenspace with H±. This allows us to write the supertrace, for t > 0, as Str(e td2 = λ 0(n + λ n λ e tλ. 3 The notation here is meant to be sugestive, but is not meaningful without the following definition.

5 RIEANN-ROCH, HEAT KERNELS, AND SUPERSYETRY 5 It follows that lim t Str(e td2 = n + 0 n 0 = dim(ker(d+ dim(ker(d = ind(d. This result provides us with our first method for computing ind(d. Before moving on to the analysis of the small t behavior of this supertrace, we use Hodge theory to relate ind(d to an invariant of E. Proposition The projection P 0 defines a quasi-isomorphism (A 0, (, E, E = (ker(d, 0. Note that this result is a consequence of the Hodge decomposition theorem for E. Since we have already taken the existence of the heat kernel for D 2 for granted, we may use this to construct a simple proof. Proof. Using the heat kernel, we may construct the Green s operator for D 2. That is, an operator G which satisfies D 2 G = 1 P 0. and super-commutes with D. Hence [D, DG] = 1 P 0. Thus, DG provides a chain homotopy between P 0 and the identity. Corollary ind(d = χ(e. The corollary follows immediately using the definition of χ(e given above Small t behavior of Str(e td2. The behavior of e td2 for small t is more difficult to understand. To see why, let s step back and consider the heat kernel on R for the second derivative operator. This heat kernel is easier to construct explicitly. It is given by the Gaussian function p Euc t (x, y = (4πt 1/2 e (x y2 /4t. We see that as t the exponential factor controls the behavior of p Euc t which decays quickly to zero. However, as t 0 the heat kernel develops a singularity at x = y and can only be treated as a distribution. Indeed, we see that exp( t 2 x tends to the reproducing operator for smooth functions, which is δ(x y. 2 In our more general setting, the heat kernel also develops singularities as t 0. In fact, we have the following result (see chapters 2 and 4 of [2]. Proposition For D and e td2 where p i (x Γ(, End(E. as defined above, p t (x, x has an small t asymptotic expansion p t (x, x (4πt m t i p i (x In particular, we see that p t (x, x develops singularities for small t if p i (x 0 for i = 0,..., m 1. Here is where taking the supertrace swoops in to save the day. Proposition Str(p i (x = 0 for all x and i = 0,..., m 1. This is stated in chapter 4 of [2] as a consequence of Theorem 4.1. This shows that Str(e td2 has an asymptotic expansion without t = 0 singularities Str(e td2 = Str(p t (x, xdx (4πt m t i Str(p i (xdx. i=m This tells us that the supertrace Str(e td2 should have well defined limits for both large (which we have seen already and small t. Surprisingly, these two limits turn out to be equal.

6 6 SEAN POHORENCE Theorem For all t > 0, we have d dt Str(e td2 = 0. In particular, for all t > 0. Str(e td2 = ind(d This result is known as the ckean-singer formula. Combined with the small t asymptotic expansion we have obtained, it shows that ind(d = (4π m Str(p m (xdx, where the left and right hand sides of the equation are the large and small time limits of Str(e td2, respectively. This is the key idea of the heat kernel proof of the Atiyah-Singer index theorem, which generalizes our discussion here. While Theorem was originally proved by mathematicians, physicists were able to provide intuition behind the result (see [3], [1]. In particular, the somewhat miraculous looking cancelation that must occur in order for the supertrace to only depend on the contribution from the zero modes of D 2 can be explained using supersymmetry. We will discuss these ideas in section 3. Before doing so, we take a moment to better understand the supertrace of the coefficient p m (x in the small t asymptotic expansion. There are a number of ways to compute Str(p m (x. For instance, in [1] this is done using standard perturbation theory techniques for computing path integrals in quantum field theory. Here, we will state the result which is proved in chapter 4 of [2] and try to give some evidence of where this answer comes from. Theorem The 2m-form Str(p m (xdx is equal to the 2m-form component of the inhomogeneous form give by the expression ( R ( ( 2i m + tr ( exp( F E. e R+ 1 Some explanation is needed. In general, if we are given a formal power series a(z = a i z i then we can define the expression a(f, where F is the curvature associated to a vector bundle over equipped with a connection, by the same power series a(f := a i F i. Since F is a 2-form, sufficiently high powers of F will vanish and the sum above is finite. This defines an inhomogeneous endomorphism-valued differential form. We can then use the well known power series expressions for the functions e z z and e z 1 to define the factors in formula ( as tr ( exp( F E ( (F E i = tr, i! ( ( R + ( 1 i B i = (R + i, e R+ 1 i! where B i is the i-th Bernoulli number. In particular, if is a Riemann surface and E is a line bundle, then R + and F E are just (1, 1-forms on and the two series above terminate after the linear terms. In this case, we have ( R + e R+ 1 (exp( F E = (1 R+ (1 F E 2

7 RIEANN-ROCH, HEAT KERNELS, AND SUPERSYETRY 7 so our formula for the index of D becomes ind(d = (4π 1 Str(p m (xdx = 1 ( R + 2πi 2 + F E. We can recognize both summands in the integral as topological invariants of and E. The (normalized integral of the trace of the curvature of E gives the first Chern number, or degree, of E: ( F E deg(e =. 2πi Additionally, realizing that in the case of a Riemann surface, the full curvature tensor R + is equal (up to a factor of i to the Ricci form ir + = Ric(g and recalling the Gauss-Bonnet theorem, we see that 1 ir + = 1 2π 2 2π Ric(g 2 = g 1 where g is the genus of. Combining these gives ind(d = (4π 1 Str(p m (xdx = deg(e + 1 g. Thus, a corollary of Theorem for this special case is the classical Riemann-Roch theorem: χ(l = deg(l + 1 g where L Σ is a holomorphic line bundle over a compact Riemann surface of genus g. We now take a brief moment to give a clue as to where the result of Theorem comes from. We begin with an exercise. ( Exercise Show that R + e R+ 1 ( = 1/2 R where R = R + R is the curvature tensor of. e R 1 Using this, we may observe the following identity, ( R (4π m + tr ( exp( F E ( = (4π m R + e R+ 1 e R+ /2 e R+ /2 = (4π m 1/2 ( R/2 sinh(r/2 tr ( exp( R + F E tr ( exp( R + F E. This manipulation is beneficial because, upon recalling the ehler kernel, ( 1/2 rt/2 ( m t (x, y = exp r ( coth(rt/2(x 2 + y 2 2cosech(rt/2xy tf, 4πt sinh(rt/2 8t which is the heat kernel for the harmonic oscillator H = d2 dx r2 x 2 + f on R 2m, we may observe that the expression we obtained above resembles m 1 (0, 0 if we replace r with R and f with R + + F E. Indeed, the approach used in [2] to obtain the small t asymptotics of p t (x, x is to use the Bochner-Kodaira formula to obtain a local description of D 2, and then transfer the problem to Euclidean space using the exponential map. When the dust settles, D 2 takes a form similar to the harmonic oscillator H described above, so its heat kernel is given by a modified ehler kernel. A ailed proof of Theorem is provided in chapter 4 of [2].

8 Str(e td2 = n + 0 n 0 = ind(d. 8 SEAN POHORENCE 3. Supersymmetry In this section, we give a proof of Theorem The crucial idea comes from physics, specifically from supersymmetry. The relation of supersymmetry to geometry was perhaps first noted by Witten in [3]. We first give an introduction to what is meant by supersymmetry and then see how to apply this to our current situation. Our setup will be as follows. Let F be a separable Hilbert space and let H be a non-negative, (essentially self-adjoint operator acting on F. Physically, F is the space of states of some quantum system. In the case of quantum mechanics, this space is usually L 2 (X, dx where X is the physical space we are working over. In this case, elements ψ(x of F are called wavefunctions, and the densities ψ(x 2, once normalized, give the probability distribution we would obtain by sampling the location of a particle in the state ψ over points in X. The operator H is called the Hamiltonian. If v F is an eigenvector for H, then we call its eigenvalue the energy of the state v. Physically, we are interested in time-dependent states whose evolution satisfy ( t + ihv(t = 0. We can write a solution to this formally as e ith v(0. In particular, we see that the time evolution operator (once we have defined it! should be unitary. We can say this rigorously for an eigenstate v of H, whose time dependence is given by e itλ v where Hv = λv. In order to introduce supersymmetry, we must assume that F is a super Hilbert space. That is, F = F + F. We think of the even and odd summands of F as the spaces of two species of states; physicists would call the even states bosonic and the odd states fermionic. We say that the system defined by the state space F and Hamiltonian H exhibit supersymmetry if there is an odd operator Q on F such that H = Q 2. The following result describes in what sense Q is a symmetry. Proposition Let F, H, and Q be as above and let λ > 0 be a real number. Define F λ to be the λ-eigenspace and F ± λ := F λ F ±. Then F + λ = F λ. The content of this theorem is that the even definite energy states and odd definite energy states are in one to one correspondence for each positive energy level. In a more physical language, we say that every massive boson has a superpartner which is a fermion with equal mass. The proof of the proposition is elementary. Proof. We claim that Q F + provides the isomorphism required, with inverse given by λ 1 Q λ F. The only λ thing we need to check is that Q(F + λ = F λ. This follows from the fact that [H, Q] = [Q2, Q] = 0. Surprisingly, this seemingly simple result provides the exact sort of cancellation we need to prove the ckean-singer formula. Proof of Theorem Recall that, using the spectral theorem for essentially self-adjoint operators, we were able to write Str(e td2 = (n + λ n λ e tλ λ 0 for all t > 0. However, applying the previous proposition to the current situation (here, D corresponds to the operator Q above we see that n + λ n λ = 0 for all λ > 0. Thus, for t > 0, References [1] Luis Alvarez-Gaumé. Supersymmetry and the atiyah-singer index theorem. Comm. ath. Phys., 90(2: , [2] N. Berline, E. Getzler, and. Vergne. Heat Kernels and Dirac Ooperators. Springer-Verlag Berlin Heidelberg, [3] Edward Witten. Supersymmetry and morse theory. J. Differential Geom., 17(4: , 1982.

ON THE CHERN CHARACTER OF A THETA-SUMMABLE FREDHOLM MODULE.

ON THE CHERN CHARACTER OF A THETA-SUMMABLE FREDHOLM MODULE. ON THE CHERN CHARACTER OF A THETA-SUMMABLE FREDHOLM MODULE. Ezra Getzler and András Szenes Department of Mathematics, Harvard University, Cambridge, Mass. 02138 USA In [3], Connes defines the notion of

More information

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

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

More information

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.

More information

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

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

More information

THE MCKEAN-SINGER FORMULA VIA EQUIVARIANT QUANTIZATION

THE MCKEAN-SINGER FORMULA VIA EQUIVARIANT QUANTIZATION THE MCKEAN-SINGER FORMULA VIA EQUIVARIANT QUANTIZATION EUGENE RABINOVICH 1. Introduction The aim of this talk is to present a proof, using the language of factorization algebras, and in particular the

More information

Formality of Kähler manifolds

Formality of Kähler manifolds Formality of Kähler manifolds Aron Heleodoro February 24, 2015 In this talk of the seminar we like to understand the proof of Deligne, Griffiths, Morgan and Sullivan [DGMS75] of the formality of Kähler

More information

Modern Geometric Structures and Fields

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

More information

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

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

More information

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

Index theory on manifolds with corners: Generalized Gauss-Bonnet formulas Index theory on singular manifolds I p. 1/4 Index theory on singular manifolds I Index theory on manifolds with corners: Generalized Gauss-Bonnet formulas Paul Loya Index theory on singular manifolds I

More information

Supersymmetric Quantum Mechanics and Geometry by Nicholas Mee of Trinity College, Cambridge. October 1989

Supersymmetric Quantum Mechanics and Geometry by Nicholas Mee of Trinity College, Cambridge. October 1989 Supersymmetric Quantum Mechanics and Geometry by Nicholas Mee of Trinity College Cambridge October 1989 Preface This dissertation is the result of my own individual effort except where reference is explicitly

More information

The spectral zeta function

The spectral zeta function The spectral zeta function Bernd Ammann June 4, 215 Abstract In this talk we introduce spectral zeta functions. The spectral zeta function of the Laplace-Beltrami operator was already introduced by Minakshisundaram

More information

Towards a manifestly diffeomorphism invariant Exact Renormalization Group

Towards a manifestly diffeomorphism invariant Exact Renormalization Group Towards a manifestly diffeomorphism invariant Exact Renormalization Group Anthony W. H. Preston University of Southampton Supervised by Prof. Tim R. Morris Talk prepared for UK QFT-V, University of Nottingham,

More information

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

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:

More information

BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS

BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS SHOO SETO Abstract. These are the notes to an expository talk I plan to give at MGSC on Kähler Geometry aimed for beginning graduate students in hopes to motivate

More information

Hyperkähler geometry lecture 3

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

More information

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

More information

Einstein-Hilbert action on Connes-Landi noncommutative manifolds

Einstein-Hilbert action on Connes-Landi noncommutative manifolds Einstein-Hilbert action on Connes-Landi noncommutative manifolds Yang Liu MPIM, Bonn Analysis, Noncommutative Geometry, Operator Algebras Workshop June 2017 Motivations and History Motivation: Explore

More information

The kernel of the Dirac operator

The kernel of the Dirac operator The kernel of the Dirac operator B. Ammann 1 M. Dahl 2 E. Humbert 3 1 Universität Regensburg Germany 2 Institutionen för Matematik Kungliga Tekniska Högskolan, Stockholm Sweden 3 Laboratoire de Mathématiques

More information

Geometry and Physics. Amer Iqbal. March 4, 2010

Geometry and Physics. Amer Iqbal. March 4, 2010 March 4, 2010 Many uses of Mathematics in Physics The language of the physical world is mathematics. Quantitative understanding of the world around us requires the precise language of mathematics. Symmetries

More information

Topic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016

Topic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016 Topic: First Chern classes of Kähler manifolds itchell Faulk Last updated: April 23, 2016 We study the first Chern class of various Kähler manifolds. We only consider two sources of examples: Riemann surfaces

More information

Quantising noncompact Spin c -manifolds

Quantising noncompact Spin c -manifolds Quantising noncompact Spin c -manifolds Peter Hochs University of Adelaide Workshop on Positive Curvature and Index Theory National University of Singapore, 20 November 2014 Peter Hochs (UoA) Noncompact

More information

Introduction to the Baum-Connes conjecture

Introduction to the Baum-Connes conjecture Introduction to the Baum-Connes conjecture Nigel Higson, John Roe PSU NCGOA07 Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 1 / 15 History of the BC conjecture Lecture

More information

BRST and Dirac Cohomology

BRST and Dirac Cohomology BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation

More information

CHARACTERISTIC CLASSES

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

More information

The Theorem of Gauß-Bonnet in Complex Analysis 1

The Theorem of Gauß-Bonnet in Complex Analysis 1 The Theorem of Gauß-Bonnet in Complex Analysis 1 Otto Forster Abstract. The theorem of Gauß-Bonnet is interpreted within the framework of Complex Analysis of one and several variables. Geodesic triangles

More information

WEDNESDAY SEMINAR SUMMER 2017 INDEX THEORY

WEDNESDAY SEMINAR SUMMER 2017 INDEX THEORY WEDNESDAY SEMINAR SUMMER 2017 INDEX THEORY The Atiyah-Singer index theorem is certainly one of the most influential collection of results from the last century. The theorem itself relates an analytic invariant,

More information

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

Advanced Course: Transversal Dirac operators on distributions, foliations, and G-manifolds. Ken Richardson and coauthors Advanced Course: Transversal Dirac operators on distributions, foliations, and G-manifolds Ken Richardson and coauthors Universitat Autònoma de Barcelona May 3-7, 2010 Universitat Autònoma de Barcelona

More information

Holomorphic line bundles

Holomorphic line bundles Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank

More information

On the BCOV Conjecture

On the BCOV Conjecture Department of Mathematics University of California, Irvine December 14, 2007 Mirror Symmetry The objects to study By Mirror Symmetry, for any CY threefold, there should be another CY threefold X, called

More information

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS

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

More information

1 Mathematical preliminaries

1 Mathematical preliminaries 1 Mathematical preliminaries The mathematical language of quantum mechanics is that of vector spaces and linear algebra. In this preliminary section, we will collect the various definitions and mathematical

More information

Noncommutative geometry and quantum field theory

Noncommutative geometry and quantum field theory Noncommutative geometry and quantum field theory Graeme Segal The beginning of noncommutative geometry is the observation that there is a rough equivalence contravariant between the category of topological

More information

Cohomology of the Mumford Quotient

Cohomology of the Mumford Quotient Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive G-equivariant line bundle over X. We use a Witten

More information

Manifestly diffeomorphism invariant classical Exact Renormalization Group

Manifestly diffeomorphism invariant classical Exact Renormalization Group Manifestly diffeomorphism invariant classical Exact Renormalization Group Anthony W. H. Preston University of Southampton Supervised by Prof. Tim R. Morris Talk prepared for Asymptotic Safety seminar,

More information

SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY

SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY M. F. ATIYAH, V. K. PATODI AND I. M. SINGER 1 Main Theorems If A is a positive self-adjoint elliptic (linear) differential operator on a compact manifold then

More information

The Spinor Representation

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)

More information

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

More information

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

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

More information

Kähler manifolds and variations of Hodge structures

Kähler manifolds and variations of Hodge structures Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic

More information

Universität Regensburg Mathematik

Universität Regensburg Mathematik Universität Regensburg Mathematik Dirac-harmonic maps from index theory Bernd Ammann and Nicolas Ginoux Preprint Nr. 32/2011 DIRAC-HARMONIC MAPS FROM INDEX THEORY BERND AMMANN AND NICOLAS GINOUX Abstract.

More information

Ω Ω /ω. To these, one wants to add a fourth condition that arises from physics, what is known as the anomaly cancellation, namely that

Ω Ω /ω. To these, one wants to add a fourth condition that arises from physics, what is known as the anomaly cancellation, namely that String theory and balanced metrics One of the main motivations for considering balanced metrics, in addition to the considerations already mentioned, has to do with the theory of what are known as heterotic

More information

Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

More information

Index Theory and Spin Geometry

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

More information

φ µ = g µν φ ν. p µ = 1g 1 4 φ µg 1 4,

φ µ = g µν φ ν. p µ = 1g 1 4 φ µg 1 4, Lecture 8 supersymmetry and index theorems bosonic sigma model Let us consider a dynamical system describing a motion of a particle in a Riemannian manifold M. The motion is a map φ : R M. By choosing

More information

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

TOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C : TOEPLITZ OPERATORS EFTON PARK 1. Introduction to Toeplitz Operators Otto Toeplitz lived from 1881-1940 in Goettingen, and it was pretty rough there, so he eventually went to Palestine and eventually contracted

More information

Invariants from noncommutative index theory for homotopy equivalences

Invariants from noncommutative index theory for homotopy equivalences Invariants from noncommutative index theory for homotopy equivalences Charlotte Wahl ECOAS 2010 Charlotte Wahl (Hannover) Invariants for homotopy equivalences ECOAS 2010 1 / 12 Basics in noncommutative

More information

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, ) II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups

More information

A REMARK ON DISTRIBUTIONS AND THE DE RHAM THEOREM

A REMARK ON DISTRIBUTIONS AND THE DE RHAM THEOREM A REMARK ON DISTRIBUTIONS AND THE DE RHAM THEOREM RICHARD MELROSE May 11, 2011 Abstract. We show that the de Rham theorem, interpreted as the isomorphism between distributional de Rham cohomology and simplicial

More information

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

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

More information

A case study in Interaction cohomology Oliver Knill, 3/18/2016

A case study in Interaction cohomology Oliver Knill, 3/18/2016 A case study in Interaction cohomology Oliver Knill, 3/18/2016 Simplicial Cohomology Simplicial cohomology is defined by an exterior derivative df (x) = F (dx) on valuation forms F (x) on subgraphs x of

More information

0. Introduction 1 0. INTRODUCTION

0. Introduction 1 0. INTRODUCTION 0. Introduction 1 0. INTRODUCTION In a very rough sketch we explain what algebraic geometry is about and what it can be used for. We stress the many correlations with other fields of research, such as

More information

MASLOV INDEX. Contents. Drawing from [1]. 1. Outline

MASLOV INDEX. Contents. Drawing from [1]. 1. Outline MASLOV INDEX J-HOLOMORPHIC CURVE SEMINAR MARCH 2, 2015 MORGAN WEILER 1. Outline 1 Motivation 1 Definition of the Maslov Index 2 Questions Demanding Answers 2 2. The Path of an Orbit 3 Obtaining A 3 Independence

More information

L 2 Geometry of the Symplectomorphism Group

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

More information

5 Constructions of connections

5 Constructions of connections [under construction] 5 Constructions of connections 5.1 Connections on manifolds and the Levi-Civita theorem We start with a bit of terminology. A connection on the tangent bundle T M M of a manifold M

More information

THE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES

THE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES THE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES Denis Bell 1 Department of Mathematics, University of North Florida 4567 St. Johns Bluff Road South,Jacksonville, FL 32224, U. S. A. email: dbell@unf.edu This

More information

Complex manifolds, Kahler metrics, differential and harmonic forms

Complex manifolds, Kahler metrics, differential and harmonic forms Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on

More information

Lecture 4: Harmonic forms

Lecture 4: Harmonic forms Lecture 4: Harmonic forms Jonathan Evans 29th September 2010 Jonathan Evans () Lecture 4: Harmonic forms 29th September 2010 1 / 15 Jonathan Evans () Lecture 4: Harmonic forms 29th September 2010 2 / 15

More information

Linear Algebra. Min Yan

Linear Algebra. Min Yan Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................

More information

Geometry of Twistor Spaces

Geometry of Twistor Spaces Geometry of Twistor Spaces Claude LeBrun Simons Workshop Lecture, 7/30/04 Lecture Notes by Jill McGowan 1 Twistor Spaces Twistor spaces are certain complex 3-manifolds which are associated with special

More information

2. As we shall see, we choose to write in terms of σ x because ( X ) 2 = σ 2 x.

2. As we shall see, we choose to write in terms of σ x because ( X ) 2 = σ 2 x. Section 5.1 Simple One-Dimensional Problems: The Free Particle Page 9 The Free Particle Gaussian Wave Packets The Gaussian wave packet initial state is one of the few states for which both the { x } and

More information

Useful theorems in complex geometry

Useful theorems in complex geometry Useful theorems in complex geometry Diego Matessi April 30, 2003 Abstract This is a list of main theorems in complex geometry that I will use throughout the course on Calabi-Yau manifolds and Mirror Symmetry.

More information

THE UNIFORMISATION THEOREM OF RIEMANN SURFACES

THE UNIFORMISATION THEOREM OF RIEMANN SURFACES THE UNIFORISATION THEORE OF RIEANN SURFACES 1. What is the aim of this seminar? Recall that a compact oriented surface is a g -holed object. (Classification of surfaces.) It can be obtained through a 4g

More information

Recitation 1 (Sep. 15, 2017)

Recitation 1 (Sep. 15, 2017) Lecture 1 8.321 Quantum Theory I, Fall 2017 1 Recitation 1 (Sep. 15, 2017) 1.1 Simultaneous Diagonalization In the last lecture, we discussed the situations in which two operators can be simultaneously

More information

Generalized complex geometry and topological sigma-models

Generalized complex geometry and topological sigma-models Generalized complex geometry and topological sigma-models Anton Kapustin California Institute of Technology Generalized complex geometry and topological sigma-models p. 1/3 Outline Review of N = 2 sigma-models

More information

Quantising proper actions on Spin c -manifolds

Quantising proper actions on Spin c -manifolds Quantising proper actions on Spin c -manifolds Peter Hochs University of Adelaide Differential geometry seminar Adelaide, 31 July 2015 Joint work with Mathai Varghese (symplectic case) Geometric quantization

More information

Homogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky

Homogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey

More information

Published as: J. Geom. Phys. 10 (1993)

Published as: J. Geom. Phys. 10 (1993) HERMITIAN STRUCTURES ON HERMITIAN SYMMETRIC SPACES F. Burstall, O. Muškarov, G. Grantcharov and J. Rawnsley Published as: J. Geom. Phys. 10 (1993) 245-249 Abstract. We show that an inner symmetric space

More information

HYPERKÄHLER MANIFOLDS

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

More information

CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents

CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally

More information

Poisson configuration spaces, von Neumann algebras, and harmonic forms

Poisson configuration spaces, von Neumann algebras, and harmonic forms J. of Nonlinear Math. Phys. Volume 11, Supplement (2004), 179 184 Bialowieza XXI, XXII Poisson configuration spaces, von Neumann algebras, and harmonic forms Alexei DALETSKII School of Computing and Technology

More information

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

Dirac Operator. Texas A&M University College Station, Texas, USA. Paul Baum Penn State. March 31, 2014 Dirac Operator Paul Baum Penn State Texas A&M University College Station, Texas, USA March 31, 2014 Miniseries of five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. Beyond

More information

An Introduction to Spectral Sequences

An Introduction to Spectral Sequences An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,

More information

Representation theory and quantum mechanics tutorial Spin and the hydrogen atom

Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition

More information

Physics 505 Homework No. 1 Solutions S1-1

Physics 505 Homework No. 1 Solutions S1-1 Physics 505 Homework No s S- Some Preliminaries Assume A and B are Hermitian operators (a) Show that (AB) B A dx φ ABψ dx (A φ) Bψ dx (B (A φ)) ψ dx (B A φ) ψ End (b) Show that AB [A, B]/2+{A, B}/2 where

More information

Universität Regensburg Mathematik

Universität Regensburg Mathematik Universität Regensburg Mathematik Harmonic spinors and local deformations of the metric Bernd Ammann, Mattias Dahl, and Emmanuel Humbert Preprint Nr. 03/2010 HARMONIC SPINORS AND LOCAL DEFORMATIONS OF

More information

Algebraic v.s. Analytic Point of View

Algebraic v.s. Analytic Point of View Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,

More information

Differential Topology Final Exam With Solutions

Differential Topology Final Exam With Solutions Differential Topology Final Exam With Solutions Instructor: W. D. Gillam Date: Friday, May 20, 2016, 13:00 (1) Let X be a subset of R n, Y a subset of R m. Give the definitions of... (a) smooth function

More information

Riemannian Curvature Functionals: Lecture III

Riemannian Curvature Functionals: Lecture III Riemannian Curvature Functionals: Lecture III Jeff Viaclovsky Park City Mathematics Institute July 18, 2013 Lecture Outline Today we will discuss the following: Complete the local description of the moduli

More information

Topics in Geometry: Mirror Symmetry

Topics in Geometry: Mirror Symmetry MIT OpenCourseWare http://ocw.mit.edu 18.969 Topics in Geometry: Mirror Symmetry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. MIRROR SYMMETRY:

More information

Page 404. Lecture 22: Simple Harmonic Oscillator: Energy Basis Date Given: 2008/11/19 Date Revised: 2008/11/19

Page 404. Lecture 22: Simple Harmonic Oscillator: Energy Basis Date Given: 2008/11/19 Date Revised: 2008/11/19 Page 404 Lecture : Simple Harmonic Oscillator: Energy Basis Date Given: 008/11/19 Date Revised: 008/11/19 Coordinate Basis Section 6. The One-Dimensional Simple Harmonic Oscillator: Coordinate Basis Page

More information

CHAPTER 6 bis. Distributions

CHAPTER 6 bis. Distributions CHAPTER 6 bis Distributions The Dirac function has proved extremely useful and convenient to physicists, even though many a mathematician was truly horrified when the Dirac function was described to him:

More information

Index Theory Seminars. February 13, 2011

Index Theory Seminars. February 13, 2011 Index Theory Seminars February 13, 2011 1 1 Episode 1 - Michael Singer This talk was given to motivate and contextualise the series. More specifically, to explain why we are interested in Dirac operators

More information

Geometry of the Calabi-Yau Moduli

Geometry of the Calabi-Yau Moduli Geometry of the Calabi-Yau Moduli Zhiqin Lu 2012 AMS Hawaii Meeting Department of Mathematics, UC Irvine, Irvine CA 92697 March 4, 2012 Zhiqin Lu, Dept. Math, UCI Geometry of the Calabi-Yau Moduli 1/51

More information

arxiv: v1 [math-ph] 15 May 2017

arxiv: v1 [math-ph] 15 May 2017 REDUCTION OF QUANTUM SYSTEMS AND THE LOCAL GAUSS LAW arxiv:1705.05259v1 [math-ph] 15 May 2017 RUBEN STIENSTRA AND WALTER D. VAN SUIJLEOM Abstract. We give an operator-algebraic interpretation of the notion

More information

Cohomology jump loci of quasi-projective varieties

Cohomology jump loci of quasi-projective varieties Cohomology jump loci of quasi-projective varieties Botong Wang joint work with Nero Budur University of Notre Dame June 27 2013 Motivation What topological spaces are homeomorphic (or homotopy equivalent)

More information

The Calabi Conjecture

The Calabi Conjecture The Calabi Conjecture notes by Aleksander Doan These are notes to the talk given on 9th March 2012 at the Graduate Topology and Geometry Seminar at the University of Warsaw. They are based almost entirely

More information

NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS

NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS 1. What is a tensor? Let V be a finite-dimensional vector space. 1 It could be R n, it could be the tangent space to a manifold at a point, or it could just

More information

Clifford Algebras and Spin Groups

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

More information

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.

More information

Traces and Determinants of

Traces and Determinants of Traces and Determinants of Pseudodifferential Operators Simon Scott King's College London OXFORD UNIVERSITY PRESS CONTENTS INTRODUCTION 1 1 Traces 7 1.1 Definition and uniqueness of a trace 7 1.1.1 Traces

More information

Riemannian Curvature Functionals: Lecture I

Riemannian Curvature Functionals: Lecture I Riemannian Curvature Functionals: Lecture I Jeff Viaclovsky Park City athematics Institute July 16, 2013 Overview of lectures The goal of these lectures is to gain an understanding of critical points of

More information

Solvability of the Dirac Equation and geomeric applications

Solvability of the Dirac Equation and geomeric applications Solvability of the Dirac Equation and geomeric applications Qingchun Ji and Ke Zhu May 21, KAIST We study the Dirac equation by Hörmander s L 2 -method. On surfaces: Control solvability of the Dirac equation

More information

RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY

RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY NICK MCCLEEREY 0. Complex Differential Forms Consider a complex manifold X n (of complex dimension n) 1, and consider its complexified tangent bundle T C

More information

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

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

TRANSVERSAL DIRAC OPERATORS ON DISTRIBUTIONS, FOLIATIONS, AND G-MANIFOLDS LECTURE NOTES TRANSVERSAL DIRAC OPERATORS ON DISTRIBUTIONS, FOLIATIONS, AND G-MANIFOLDS LECTURE NOTES KEN RICHARDSON Abstract. In these lectures, we investigate generalizations of the ordinary Dirac operator to manifolds

More information

Chern-Simons gauge theory The Chern-Simons (CS) gauge theory in three dimensions is defined by the action,

Chern-Simons gauge theory The Chern-Simons (CS) gauge theory in three dimensions is defined by the action, Lecture A3 Chern-Simons gauge theory The Chern-Simons (CS) gauge theory in three dimensions is defined by the action, S CS = k tr (AdA+ 3 ) 4π A3, = k ( ǫ µνρ tr A µ ( ν A ρ ρ A ν )+ ) 8π 3 A µ[a ν,a ρ

More information

The following definition is fundamental.

The following definition is fundamental. 1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic

More information

The spectral action for Dirac operators with torsion

The spectral action for Dirac operators with torsion The spectral action for Dirac operators with torsion Christoph A. Stephan joint work with Florian Hanisch & Frank Pfäffle Institut für athematik Universität Potsdam Tours, ai 2011 1 Torsion Geometry, Einstein-Cartan-Theory

More information

1. Geometry of the unit tangent bundle

1. Geometry of the unit tangent bundle 1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations

More information

Lecture 45: The Eigenvalue Problem of L z and L 2 in Three Dimensions, ct d: Operator Method Date Revised: 2009/02/17 Date Given: 2009/02/11

Lecture 45: The Eigenvalue Problem of L z and L 2 in Three Dimensions, ct d: Operator Method Date Revised: 2009/02/17 Date Given: 2009/02/11 Page 757 Lecture 45: The Eigenvalue Problem of L z and L 2 in Three Dimensions, ct d: Operator Method Date Revised: 2009/02/17 Date Given: 2009/02/11 The Eigenvector-Eigenvalue Problem of L z and L 2 Section

More information