RIEMANN-ROCH, HEAT KERNELS, AND SUPERSYMMETRY
|
|
- Rhoda Kristin Ward
- 5 years ago
- Views:
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. Ezra Getzler and András Szenes Department of Mathematics, Harvard University, Cambridge, Mass. 02138 USA In [3], Connes defines the notion of
More informationInvariance 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 informationMILNOR 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 informationAs 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 informationTHE 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 informationFormality 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 informationModern 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 informationk=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 informationIndex 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 informationSupersymmetric 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 informationThe 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 informationTowards 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 informationINSTANTON 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 informationBERGMAN 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 informationHyperkä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 informationDirac 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 informationEinstein-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 informationThe 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 informationGeometry 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 informationTopic: 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 informationQuantising 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 informationIntroduction 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 informationBRST 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 informationCHARACTERISTIC 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 informationThe 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 informationWEDNESDAY 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 informationAdvanced 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 informationHolomorphic 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 informationOn 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 informationLECTURE 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 information1 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 informationNoncommutative 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 informationCohomology 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 informationManifestly 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 informationSPECTRAL 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 informationThe 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 informationChern 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 informationHodge 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 informationKä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 informationUniversitä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
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 informationMath 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 informationIndex 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,
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 informationTOEPLITZ 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 informationInvariants 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 informationEilenberg-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 informationA 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 informationDonaldson 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 informationA 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 information0. 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 informationMASLOV 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 informationL 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 information5 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 informationTHE 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 informationComplex 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 informationLecture 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 informationLinear 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 informationGeometry 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 information2. 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 informationUseful 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 informationTHE 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 informationRecitation 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 informationGeneralized 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 informationQuantising 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 informationHomogeneous 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 informationPublished 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 informationHYPERKÄ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 informationCHAPTER 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 informationPoisson 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 informationDirac 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 informationAn 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 informationRepresentation 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 informationPhysics 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 informationUniversitä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 informationAlgebraic 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 informationDifferential 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 informationRiemannian 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 informationTopics 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 informationPage 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 informationCHAPTER 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 informationIndex 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 informationGeometry 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 informationarxiv: 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 informationCohomology 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 informationThe 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 informationNOTES 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 informationClifford 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 informationCALCULUS 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 informationTraces 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 informationRiemannian 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 informationSolvability 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 informationRIEMANN 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 information08a. 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 informationTRANSVERSAL 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 informationChern-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 informationThe 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 informationThe 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 information1. 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 informationLecture 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