the atiyah-singer index theorem what it is and why you ... › indextheory › asit3.pdf · the...
TRANSCRIPT
![Page 1: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/1.jpg)
The Atiyah-Singer Index theoremwhat it is and why you should care
Rafe Mazzeo
October 10, 2002
![Page 2: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/2.jpg)
Before we get started:
At one time, economic conditions caused the closing of
several small clothing mills in the English countryside. A
man from West Germany bought the buildings and
converted them into dog kennels for the convenience of
German tourists who liked to have their pets with them
while vacationing in England. One summer evening, a local
resident called to his wife to come out of the house.
![Page 3: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/3.jpg)
Before we get started:
At one time, economic conditions caused the closing of
several small clothing mills in the English countryside. A
man from West Germany bought the buildings and
converted them into dog kennels for the convenience of
German tourists who liked to have their pets with them
while vacationing in England. One summer evening, a local
resident called to his wife to come out of the house.
”Just listen!”, he urged. ”The Mills Are Alive With the
Hounds of Munich!”
![Page 4: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/4.jpg)
![Page 5: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/5.jpg)
Background:
The Atiyah-Singer theorem provides a fundamental link
between differential geometry, partial differential equations,
differential topology, operator algebras, and has links to
many other fields, including number theory, etc.
![Page 6: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/6.jpg)
Background:
The Atiyah-Singer theorem provides a fundamental link
between differential geometry, partial differential equations,
differential topology, operator algebras, and has links to
many other fields, including number theory, etc.
The purpose of this talk is to provide some sort of idea
about the general mathematical context of the index
theorem and what it actually says (particularly in special
cases), to indicate some of the various proofs, mention a
few applications, and to hint at some generalizations and
directions in the current research in index theory.
![Page 7: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/7.jpg)
![Page 8: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/8.jpg)
![Page 9: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/9.jpg)
Outline:
1. Two simple examples
![Page 10: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/10.jpg)
Outline:
1. Two simple examples
2. Fredholm operators
![Page 11: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/11.jpg)
Outline:
1. Two simple examples
2. Fredholm operators
3. The Toeplitz index theorem
![Page 12: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/12.jpg)
Outline:
1. Two simple examples
2. Fredholm operators
3. The Toeplitz index theorem
4. Elliptic operators on manifolds
![Page 13: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/13.jpg)
Outline:
1. Two simple examples
2. Fredholm operators
3. The Toeplitz index theorem
4. Elliptic operators on manifolds
5. Dirac operators
![Page 14: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/14.jpg)
Outline:
1. Two simple examples
2. Fredholm operators
3. The Toeplitz index theorem
4. Elliptic operators on manifolds
5. Dirac operators
6. The Gauß-Bonnet and Hirzebruch signature theorems
![Page 15: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/15.jpg)
Outline:
1. Two simple examples
2. Fredholm operators
3. The Toeplitz index theorem
4. Elliptic operators on manifolds
5. Dirac operators
6. The Gauß-Bonnet and Hirzebruch signature theorems
7. The first proofs
![Page 16: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/16.jpg)
Outline:
1. Two simple examples
2. Fredholm operators
3. The Toeplitz index theorem
4. Elliptic operators on manifolds
5. Dirac operators
6. The Gauß-Bonnet and Hirzebruch signature theorems
7. The first proofs
8. The heat equation and the McKean-Singer argument
![Page 17: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/17.jpg)
Outline:
1. Two simple examples
2. Fredholm operators
3. The Toeplitz index theorem
4. Elliptic operators on manifolds
5. Dirac operators
6. The Gauß-Bonnet and Hirzebruch signature theorems
7. The first proofs
8. The heat equation and the McKean-Singer argument
9. Heat asymptotics and Patodi’s miraculous cancellation
![Page 18: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/18.jpg)
Outline:
1. Two simple examples
2. Fredholm operators
3. The Toeplitz index theorem
4. Elliptic operators on manifolds
5. Dirac operators
6. The Gauß-Bonnet and Hirzebruch signature theorems
7. The first proofs
8. The heat equation and the McKean-Singer argument
9. Heat asymptotics and Patodi’s miraculous cancellation
10. Getzler rescaling
![Page 19: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/19.jpg)
and if there is time:
11. Application: obstruction to existence of positive scalar
curvature metrics
![Page 20: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/20.jpg)
and if there is time:
11. Application: obstruction to existence of positive scalar
curvature metrics
12. Application: the dimension of moduli spaces
![Page 21: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/21.jpg)
and if there is time:
11. Application: obstruction to existence of positive scalar
curvature metrics
12. Application: the dimension of moduli spaces
13. The Atiyah-Patodi-Singer index theorem
![Page 22: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/22.jpg)
The simplest example:
Suppose
A : Rn −→ Rk
is a linear transformation. The rank + nullity theorem
states that
dim ran (A) + dimker(A) = n.
![Page 23: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/23.jpg)
The simplest example:
Suppose
A : Rn −→ Rk
is a linear transformation. The rank + nullity theorem
states that
dim ran (A) + dimker(A) = n.
To prove this, decompose
Rn = K ⊕K ′, K = kerA
Rk = R⊕R′, R = ranA.
![Page 24: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/24.jpg)
Then
A : K ′ −→ R
is an isomorphism, and
n = dimK + dimK ′, k = dimR+ dimR′.
![Page 25: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/25.jpg)
Then
A : K ′ −→ R
is an isomorphism, and
n = dimK + dimK ′, k = dimR+ dimR′.
Hence
n− k = (dimK + dimK ′)− (dimR+ dimR′)
= dimK − dimR′ = dimkerA− (dimRk − dim ranA).
![Page 26: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/26.jpg)
Then
A : K ′ −→ R
is an isomorphism, and
n = dimK + dimK ′, k = dimR+ dimR′.
Hence
n− k = (dimK + dimK ′)− (dimR+ dimR′)
= dimK − dimR′ = dimkerA− (dimRk − dim ranA).
= ind(A),
where by definition, the index of A is defined to be
ind(A) = dimkerA− dimcokerA.
![Page 27: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/27.jpg)
The first infinite dimensional example:
Let `2 denote the space of all square-summable sequences
(a0, a1, a2, . . .).
![Page 28: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/28.jpg)
The first infinite dimensional example:
Let `2 denote the space of all square-summable sequences
(a0, a1, a2, . . .).
Define the left shift and right shift operators
L : `2 −→ `2, L((a0, a1, a2, . . .)) = (a1, a2, . . .),
and
R : `2 −→ `2, R((a0, a1, a2, . . .)) = (0, a0, a1, a2, . . .).
![Page 29: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/29.jpg)
The first infinite dimensional example:
Let `2 denote the space of all square-summable sequences
(a0, a1, a2, . . .).
Define the left shift and right shift operators
L : `2 −→ `2, L((a0, a1, a2, . . .)) = (a1, a2, . . .),
and
R : `2 −→ `2, R((a0, a1, a2, . . .)) = (0, a0, a1, a2, . . .).
Then
dimkerL = 1, dimcokerL = 0
so
indL = 1.
![Page 30: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/30.jpg)
On the other hand
dimkerR = 1, dimcokerR = 0
so
indR = −1.
![Page 31: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/31.jpg)
On the other hand
dimkerR = 1, dimcokerR = 0
so
indR = −1.
Notice that
indLN = N, indRN = −N,
so we can construct operators with any given index.
![Page 32: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/32.jpg)
Fredholm operators:
Let H1 and H2 be (separable) Hilbert spaces, and suppose
that A : H1 → H2 is a bounded operator.
![Page 33: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/33.jpg)
Fredholm operators:
Let H1 and H2 be (separable) Hilbert spaces, and suppose
that A : H1 → H2 is a bounded operator.
Example:
A =1
i
d
dθ
acting on
H1 = H1(S1) = u :
∫|u′|2 dθ <∞, H2 = L2(S1),
A(einθ) = neinθ.
![Page 34: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/34.jpg)
Definition:
A is Fredholm if kerA is finite dimensional, ranA is
closed and cokerA is finite dimensional.
If A is Fredholm, then
indA = dimkerA− dimcokerA ∈ Z
is well defined.
![Page 35: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/35.jpg)
Definition:
A is Fredholm if kerA is finite dimensional, ranA is
closed and cokerA is finite dimensional.
If A is Fredholm, then
indA = dimkerA− dimcokerA ∈ Z
is well defined.
Intuition: If A is Fredholm, then
H1 = K ⊕K ′, H2 = R⊕R′,
where
A : K ′ −→ R
is an isomorphism and both K and R′ are finite dimensional.
![Page 36: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/36.jpg)
A is Fredholm if it is ‘almost invertible’, or more precisely it
is invertible up to compact errors.
![Page 37: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/37.jpg)
A is Fredholm if it is ‘almost invertible’, or more precisely it
is invertible up to compact errors.
Fredholm operators =
invertible elements in B(H1, H2)/K(H1, H2).
![Page 38: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/38.jpg)
A is Fredholm if it is ‘almost invertible’, or more precisely it
is invertible up to compact errors.
Fredholm operators =
invertible elements in B(H1, H2)/K(H1, H2).
We can also make sense of what it means for an
unbounded, closed operator to be Fredholm.
![Page 39: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/39.jpg)
A is Fredholm if it is ‘almost invertible’, or more precisely it
is invertible up to compact errors.
Fredholm operators =
invertible elements in B(H1, H2)/K(H1, H2).
We can also make sense of what it means for an
unbounded, closed operator to be Fredholm.
Recall that A : H1 → H2 is closed if
Graph(A) = (h,Ah) : h ∈ domain(A)
is a closed subspace of H1 ⊕H2.
![Page 40: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/40.jpg)
A is Fredholm if it is ‘almost invertible’, or more precisely it
is invertible up to compact errors.
Fredholm operators =
invertible elements in B(H1, H2)/K(H1, H2).
We can also make sense of what it means for an
unbounded, closed operator to be Fredholm.
Recall that A : H1 → H2 is closed if
Graph(A) = (h,Ah) : h ∈ domain(A)
is a closed subspace of H1 ⊕H2.
(This is always the case if H1 = H2 = L2 and A is a
differential operator.)
![Page 41: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/41.jpg)
Basic Fact:
If At is a one-parameter family of Fredholm operators
(depending continuously on t), then ind(At) is independent
of t.
![Page 42: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/42.jpg)
Basic Fact:
If At is a one-parameter family of Fredholm operators
(depending continuously on t), then ind(At) is independent
of t.
Intuition:
At = tI −K, t > 0, K finite rank, symmetric
Then At gains a nullspace and a cokernel of the same
dimension every time t crosses an eigenvalue of K.
![Page 43: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/43.jpg)
The Toeplitz index theorem:
Let H ⊂ L2(S1) be the Hilbert space consisting of all L2
functions on S1 which have only nonnegative Fourier
coefficients.
![Page 44: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/44.jpg)
The Toeplitz index theorem:
Let H ⊂ L2(S1) be the Hilbert space consisting of all L2
functions on S1 which have only nonnegative Fourier
coefficients.
So
a ∈ H ⇔ a(θ) =
∞∑0
aneinθ,
∑|an|2 <∞.
![Page 45: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/45.jpg)
The Toeplitz index theorem:
Let H ⊂ L2(S1) be the Hilbert space consisting of all L2
functions on S1 which have only nonnegative Fourier
coefficients.
So
a ∈ H ⇔ a(θ) =
∞∑0
aneinθ,
∑|an|2 <∞.
There is an orthogonal projection
Π : L2(S1) −→ H.
![Page 46: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/46.jpg)
Suppose f(θ) is a continuous (complex-valued) function on
S1. Define the Toeplitz operator
Tf : H −→ H,
Tf(a) = ΠMfΠ,
where Mf is multiplication by f (bounded operator on
L2(S1)).
![Page 47: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/47.jpg)
Suppose f(θ) is a continuous (complex-valued) function on
S1. Define the Toeplitz operator
Tf : H −→ H,
Tf(a) = ΠMfΠ,
where Mf is multiplication by f (bounded operator on
L2(S1)).
Question: When is Tf Fredholm? What is its index?
![Page 48: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/48.jpg)
Suppose f(θ) is a continuous (complex-valued) function on
S1. Define the Toeplitz operator
Tf : H −→ H,
Tf(a) = ΠMfΠ,
where Mf is multiplication by f (bounded operator on
L2(S1)).
Question: When is Tf Fredholm? What is its index?
Theorem: The Toeplitz operator Tf is Fredholm if and only
if f is nowhere 0. In this case, its index is given by the
winding number of f (as a map S1 → C∗).
![Page 49: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/49.jpg)
Part of proof: We guess that T1/f is a good approximation
to an inverse for Tf , so we compute:
TfT1/f = ΠMfΠM1/fΠ
![Page 50: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/50.jpg)
Part of proof: We guess that T1/f is a good approximation
to an inverse for Tf , so we compute:
TfT1/f = ΠMfΠM1/fΠ
= ΠMfM1/fΠ + Π[Mf ,Π]M1/fΠ
![Page 51: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/51.jpg)
Part of proof: We guess that T1/f is a good approximation
to an inverse for Tf , so we compute:
TfT1/f = ΠMfΠM1/fΠ
= ΠMfM1/fΠ + Π[Mf ,Π]M1/fΠ
= IH + Π[Mf ,Π]M1/fΠ.
The final term here is a compact operator! Obvious when f
has a finite Fourier series; for the general case, approximate
any continuous function by trigonometric polynomials.
![Page 52: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/52.jpg)
Proof of Toeplitz index theorem:
![Page 53: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/53.jpg)
Proof of Toeplitz index theorem:
First step: Let N be the winding number of f . Then there
is a continuous family ft, where each ft : S1 → C∗ is
continuous, such that f0 = f , f1 = eiNθ.
![Page 54: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/54.jpg)
Proof of Toeplitz index theorem:
First step: Let N be the winding number of f . Then there
is a continuous family ft, where each ft : S1 → C∗ is
continuous, such that f0 = f , f1 = eiNθ.
ind(Tft) is independent of t, so it suffices to compute TeiNθ .
![Page 55: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/55.jpg)
Proof of Toeplitz index theorem:
First step: Let N be the winding number of f . Then there
is a continuous family ft, where each ft : S1 → C∗ is
continuous, such that f0 = f , f1 = eiNθ.
ind(Tft) is independent of t, so it suffices to compute TeiNθ .
ΠMeiNθΠ :
∞∑n=0
aneinθ −→
∑∞
n=0 an−Neinθ if N < 0∑∞
n=N an−Neinθ if N ≥ 0
![Page 56: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/56.jpg)
Proof of Toeplitz index theorem:
First step: Let N be the winding number of f . Then there
is a continuous family ft, where each ft : S1 → C∗ is
continuous, such that f0 = f , f1 = eiNθ.
ind(Tft) is independent of t, so it suffices to compute TeiNθ .
ΠMeiNθΠ :
∞∑n=0
aneinθ −→
∑∞
n=0 an−Neinθ if N < 0∑∞
n=N an−Neinθ if N ≥ 0
This corresponds to LN or RN , respectively. Thus
ind(Tf) = winding number of f
![Page 57: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/57.jpg)
Elliptic operators
Let M be a smooth compact manifold of dimension n.
![Page 58: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/58.jpg)
Elliptic operators
Let M be a smooth compact manifold of dimension n.
In any coordinate chart, a differential operator P on M has
the form
P =∑|α|≤m
aα(x)Dα,
where
α = (α1, . . . , αn), Dα =∂|α|
∂xα11 . . . ∂xαnn
.
![Page 59: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/59.jpg)
Elliptic operators
Let M be a smooth compact manifold of dimension n.
In any coordinate chart, a differential operator P on M has
the form
P =∑|α|≤m
aα(x)Dα,
where
α = (α1, . . . , αn), Dα =∂|α|
∂xα11 . . . ∂xαnn
.
The symbol of P is the homogeneous polynomial
σm(P )(x; ξ) =∑|α|=m
aα(x)ξα, ξα = ξ
α11 . . . ξαnn .
![Page 60: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/60.jpg)
If P is a system (i.e. acts between sections of two different
vector bundles E and F over M), then the coefficients
aα(x) lie in Hom(Ex, Fx).
![Page 61: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/61.jpg)
If P is a system (i.e. acts between sections of two different
vector bundles E and F over M), then the coefficients
aα(x) lie in Hom(Ex, Fx).
P is called elliptic if
σm(P )(x; ξ) 6= 0 for ξ 6= 0,
(or is invertible as an element of Hom(Ex, Fx))
![Page 62: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/62.jpg)
Fundamental Theorem: If P is an elliptic operator of order
m acting between sections of two vector bundles E and F
on a compact manifold M , then
P : L2(M ;E) −→ L2(M ;F )
defines a(n unbounded) Fredholm operator.
![Page 63: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/63.jpg)
Fundamental Theorem: If P is an elliptic operator of order
m acting between sections of two vector bundles E and F
on a compact manifold M , then
P : L2(M ;E) −→ L2(M ;F )
defines a(n unbounded) Fredholm operator.
Hence ind(P ) is well defined.
![Page 64: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/64.jpg)
Fundamental Theorem: If P is an elliptic operator of order
m acting between sections of two vector bundles E and F
on a compact manifold M , then
P : L2(M ;E) −→ L2(M ;F )
defines a(n unbounded) Fredholm operator.
Hence ind(P ) is well defined.
Question: Compute ind(P ).
![Page 65: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/65.jpg)
Fundamental Theorem: If P is an elliptic operator of order
m acting between sections of two vector bundles E and F
on a compact manifold M , then
P : L2(M ;E) −→ L2(M ;F )
defines a(n unbounded) Fredholm operator.
Hence ind(P ) is well defined.
Question: Compute ind(P ).
One expects this to be possible because the index is
invariant under such a large class of deformations.
![Page 66: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/66.jpg)
Interesting elliptic operators:
How about the Laplacian
∆0 : L2(M) −→ L2(M)
on functions?
![Page 67: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/67.jpg)
Interesting elliptic operators:
How about the Laplacian
∆0 : L2(M) −→ L2(M)
on functions?
Nope: the Laplacian is self-adjoint,
〈∆0u, v〉 = 〈u,∆0v〉,
and so
ker∆0 = coker∆0 = R, hence ind(∆0) = 0.
![Page 68: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/68.jpg)
The same is true for
∆k : L2Ωk(M) −→ L2Ωk(M)
∆k = dk−1d∗k + d∗k+1dk
since it too is self-adjoint.
![Page 69: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/69.jpg)
The same is true for
∆k : L2Ωk(M) −→ L2Ωk(M)
∆k = dk−1d∗k + d∗k+1dk
since it too is self-adjoint.
In fact, the Hodge theorem states that
ker∆k = coker∆k
= Hk(M) (the space of harmonic forms),
and this is isomorphic to the singular cohomology,
Hksing(M,R).
![Page 70: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/70.jpg)
Similarly
D = d+ d∗ : L2Ω∗(M) −→ L2Ω∗(M),
is still self-adjoint.
![Page 71: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/71.jpg)
Similarly
D = d+ d∗ : L2Ω∗(M) −→ L2Ω∗(M),
is still self-adjoint.
However, we can break the symmetry:
![Page 72: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/72.jpg)
Similarly
D = d+ d∗ : L2Ω∗(M) −→ L2Ω∗(M),
is still self-adjoint.
However, we can break the symmetry:
The Gauss-Bonnet operator:
DGB : L2Ωeven −→ L2Ωodd
![Page 73: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/73.jpg)
Similarly
D = d+ d∗ : L2Ω∗(M) −→ L2Ω∗(M),
is still self-adjoint.
However, we can break the symmetry:
The Gauss-Bonnet operator:
DGB : L2Ωeven −→ L2Ωodd
kerDGB =⊕k
H2k(M),
cokerDGB =⊕k
H2k+1(M),
![Page 74: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/74.jpg)
and so
indDGB =
n∑k=0
(−1)k dimHk(M) = χ(M),
the Euler characteristic of M .
![Page 75: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/75.jpg)
and so
indDGB =
n∑k=0
(−1)k dimHk(M) = χ(M),
the Euler characteristic of M .
Note that ind(DGB) = 0 when dimM is odd.
![Page 76: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/76.jpg)
and so
indDGB =
n∑k=0
(−1)k dimHk(M) = χ(M),
the Euler characteristic of M .
Note that ind(DGB) = 0 when dimM is odd.
This is not the index theorem, but only a Hodge-theoretic
calculation of the index of DGB in terms of something
familiar.
![Page 77: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/77.jpg)
The Chern-Gauss-Bonnet theorem states that
χ(M) =
∫M
Pf(Ω).
![Page 78: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/78.jpg)
The Chern-Gauss-Bonnet theorem states that
χ(M) =
∫M
Pf(Ω).
Here Pf(Ω) is an explicit differential form (called the
Pfaffian) which involves only the curvature tensor of M .
![Page 79: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/79.jpg)
The Chern-Gauss-Bonnet theorem states that
χ(M) =
∫M
Pf(Ω).
Here Pf(Ω) is an explicit differential form (called the
Pfaffian) which involves only the curvature tensor of M .
One can think of this integral either as a differential
geometric quantity, or else as a characteristic number (the
evaluation of the Euler class of TM on the fundamental
homology class [M ]).
![Page 80: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/80.jpg)
The signature operator:
Dsig = d+ d∗ : L2Ω+(M) −→ L2Ω−(M)
where
Ω±(M) is the ± eigenspace of an involution
τ : Ω∗(M) −→ Ω∗(M), τ2 = 1.
![Page 81: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/81.jpg)
The signature operator:
Dsig = d+ d∗ : L2Ω+(M) −→ L2Ω−(M)
where
Ω±(M) is the ± eigenspace of an involution
τ : Ω∗(M) −→ Ω∗(M), τ2 = 1.
When dimM = 4k, then
indDsig = sign(H2k(M)×H2k(M)→ R),
which is a basic topological invariant, the signature of M .
![Page 82: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/82.jpg)
The signature operator:
Dsig = d+ d∗ : L2Ω+(M) −→ L2Ω−(M)
where
Ω±(M) is the ± eigenspace of an involution
τ : Ω∗(M) −→ Ω∗(M), τ2 = 1.
When dimM = 4k, then
indDsig = sign(H2k(M)×H2k(M)→ R),
which is a basic topological invariant, the signature of M .
In all other cases, indDsig = 0.
![Page 83: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/83.jpg)
The Hirzebruch signature theorem states that
sign(M) =
∫M
L(p),
where L(p) is the L-polynomial in the Pontrjagin classes.
This is another ‘curvature integral’, and also a
characteristic number. (It is a homotopy invariant of M .)
![Page 84: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/84.jpg)
The (generalized) Dirac operator:
Let E± be two vector bundles over (M, g), and suppose that
there is a (fibrewise) multiplication
cl : TM × E± → E∓, Clifford multiplication
which satisfies
cl(v)cl(w) + cl(w)cl(v) = −2〈v, w〉Id.
Let E = E+ ⊕ E−.
![Page 85: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/85.jpg)
The (generalized) Dirac operator:
Let E± be two vector bundles over (M, g), and suppose that
there is a (fibrewise) multiplication
cl : TM × E± → E∓, Clifford multiplication
which satisfies
cl(v)cl(w) + cl(w)cl(v) = −2〈v, w〉Id.
Let E = E+ ⊕ E−.
Let ∇ : C∞(M ;E)→ C∞(M ;E ⊗ T ∗M) be a connection.
![Page 86: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/86.jpg)
Now define
D : L2(M ;E) −→ L2(M ;E)
by
D =
n∑i=1
cl(ei)∇ei ,
where e1, . . . , en is any local orthonormal basis of TM .
![Page 87: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/87.jpg)
The Clifford relations show that
D2 = ∇∗∇+A
where A is a homomorphism.
![Page 88: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/88.jpg)
The Clifford relations show that
D2 = ∇∗∇+A
where A is a homomorphism.
In other words,
“D2 is the Laplacian up to a term of order zero.”
![Page 89: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/89.jpg)
In certain cases (when M is a spin manifold: w2 = 0), there
is a distinguished Dirac operator D acting between sections
of the spinor bundle S over M .
One can then ‘twist’ this basic Dirac operator
D : L2(M ;S) −→ L2(M ;S)
by tensoring with an arbitrary vector bundle E, to get the
twisted Dirac operator
DE = D ⊗ 1⊕ cl(1⊗∇E) : L2(M : S ⊗ E) −→ L2(M ;S ⊗ E).
![Page 90: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/90.jpg)
The index theorem for twisted Dirac operators states that
ind(DE) =
∫M
A(TM)ch(E).
The integrand is again a ‘curvature integral’; it is the
product of the A genus of M and the Chern character of
the bundle E.
![Page 91: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/91.jpg)
The index theorem for twisted Dirac operators states that
ind(DE) =
∫M
A(TM)ch(E).
The integrand is again a ‘curvature integral’; it is the
product of the A genus of M and the Chern character of
the bundle E.
Both DGB and Dsig are twisted Dirac operators, and both
Pf(R) and L(p) are the product of A(TM) and ch(E) for
appropriate bundles E.
![Page 92: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/92.jpg)
There is a general index theorem for arbitrary elliptic
operators P (which are not necessarily of order 1), acting
between sections of two bundles E and F . This takes the
form
ind(P ) =
∫M
R(P,E, F ).
The right hand side here is a characteristic number for
some bundle associated to E, F and the symbol of P .
By Chern-Weil theory, this can be written as a curvature
integral, but this is less natural now.
![Page 93: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/93.jpg)
Intermission:
One day at the watering hole, an elephant looked around
and carefully surveyed the turtles in view. After a few
seconds thought, he walked over to one turtle, raised his
foot, and KICKED the turtle as far as he could. (Nearly a
mile) A watching hyena asked the elephant why he did it?
”Well, about 30 years ago I was walking through a stream
and a turtle bit my foot. Finally I found the S.O.B and
repaid him for what he had done to me.” ”30 years!!! And
you remembered...But HOW???”
![Page 94: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/94.jpg)
Intermission:
One day at the watering hole, an elephant looked around
and carefully surveyed the turtles in view. After a few
seconds thought, he walked over to one turtle, raised his
foot, and KICKED the turtle as far as he could. (Nearly a
mile) A watching hyena asked the elephant why he did it?
”Well, about 30 years ago I was walking through a stream
and a turtle bit my foot. Finally I found the S.O.B and
repaid him for what he had done to me.” ”30 years!!! And
you remembered...But HOW???”
”I have turtle recall.”
![Page 95: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/95.jpg)
The original proofs
The index is computable because it is invariant under many
big alterations and behaves well with respect to many
natural operations:
![Page 96: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/96.jpg)
The original proofs
The index is computable because it is invariant under many
big alterations and behaves well with respect to many
natural operations:
1. It is invariant under deformations of P amongst
Fredholm operators
![Page 97: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/97.jpg)
The original proofs
The index is computable because it is invariant under many
big alterations and behaves well with respect to many
natural operations:
1. It is invariant under deformations of P amongst
Fredholm operators
2. It has good ‘multiplicative’ and excision properties
![Page 98: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/98.jpg)
The original proofs
The index is computable because it is invariant under many
big alterations and behaves well with respect to many
natural operations:
1. It is invariant under deformations of P amongst
Fredholm operators
2. It has good ‘multiplicative’ and excision properties
3. It defines an additive homomorphism on K0(M).
![Page 99: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/99.jpg)
The original proofs
The index is computable because it is invariant under many
big alterations and behaves well with respect to many
natural operations:
1. It is invariant under deformations of P amongst
Fredholm operators
2. It has good ‘multiplicative’ and excision properties
3. It defines an additive homomorphism on K0(M).
Here we regard E → indDE as a semigroup homomorphism
vector bundles on M −→ Z
and then extend to the formal group, which is K0(M).
![Page 100: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/100.jpg)
The original proofs
The index is computable because it is invariant under many
big alterations and behaves well with respect to many
natural operations:
1. It is invariant under deformations of P amongst
Fredholm operators
2. It has good ‘multiplicative’ and excision properties
3. It defines an additive homomorphism on K0(M).
Here we regard E → indDE as a semigroup homomorphism
vector bundles on M −→ Z
and then extend to the formal group, which is K0(M).
4. It is invariant, in a suitable sense, under cobordisms of M
![Page 101: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/101.jpg)
The original proofs
The index is computable because it is invariant under many
big alterations and behaves well with respect to many
natural operations:
1. It is invariant under deformations of P amongst
Fredholm operators
2. It has good ‘multiplicative’ and excision properties
3. It defines an additive homomorphism on K0(M).
Here we regard E → indDE as a semigroup homomorphism
vector bundles on M −→ Z
and then extend to the formal group, which is K0(M).
4. It is invariant, in a suitable sense, under cobordisms of M
![Page 102: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/102.jpg)
Hirzebruch (1957) proved the signature theorem for smooth
algebraic varieties, using the cobordism invariance of the
signature and the L-class.
![Page 103: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/103.jpg)
Hirzebruch (1957) proved the signature theorem for smooth
algebraic varieties, using the cobordism invariance of the
signature and the L-class.
An elaboration of this same strategy may be used to reduce
the computation of the index of a general elliptic operator
P to that of a twisted Dirac operator on certain very
special manifolds (products of complex projective spaces).
![Page 104: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/104.jpg)
Steps of the proof
![Page 105: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/105.jpg)
Steps of the proof
1. ‘Deform’ the mth order elliptic operator P to a 1st order
twisted Dirac operator D.
![Page 106: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/106.jpg)
Steps of the proof
1. ‘Deform’ the mth order elliptic operator P to a 1st order
twisted Dirac operator D.
This requires the use of pseudodifferential operators
(polynomials are too rigid), and was one of the big early
motivations for the theory of pseudodifferential operators.
It also requires K-theory.
![Page 107: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/107.jpg)
Steps of the proof
1. ‘Deform’ the mth order elliptic operator P to a 1st order
twisted Dirac operator D.
This requires the use of pseudodifferential operators
(polynomials are too rigid), and was one of the big early
motivations for the theory of pseudodifferential operators.
It also requires K-theory.
2. Replace the twisted Dirac operator on the manifold M
by a twisted Dirac operator on a new manifold M ′ such that
M −M ′ = ∂W . The index stays the same!
![Page 108: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/108.jpg)
3. Check that the two sides are equal on ‘enough’
examples, products of complex projective spaces (these
generate the cobordism ring). This requires the
multiplicativity of the index.
![Page 109: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/109.jpg)
A simplification:
Instead of the final two steps, it is in many ways preferable
to compute the index of twisted Dirac operators on an
arbitrary manifold M directly.
![Page 110: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/110.jpg)
A simplification:
Instead of the final two steps, it is in many ways preferable
to compute the index of twisted Dirac operators on an
arbitrary manifold M directly.
Later proofs involve verifying that the two sides of the
index theorem on the same directly for Dirac operators on
arbitrary manifolds; this still uses K-theory and
pseudodifferential operators, but obviates the bordism.
![Page 111: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/111.jpg)
A simplification:
Instead of the final two steps, it is in many ways preferable
to compute the index of twisted Dirac operators on an
arbitrary manifold M directly.
Later proofs involve verifying that the two sides of the
index theorem on the same directly for Dirac operators on
arbitrary manifolds; this still uses K-theory and
pseudodifferential operators, but obviates the bordism.
From now on I’ll focus only on the index theorem for
twisted Dirac operators.
![Page 112: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/112.jpg)
The heat equation approach
Suppose that P is a nonnegative second order self-adjoint
elliptic operator.
![Page 113: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/113.jpg)
The heat equation approach
Suppose that P is a nonnegative second order self-adjoint
elliptic operator.
The examples I have in mind are of the form
P = D∗D or P = DD∗
![Page 114: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/114.jpg)
The heat equation approach
Suppose that P is a nonnegative second order self-adjoint
elliptic operator.
The examples I have in mind are of the form
P = D∗D or P = DD∗
Note that if D = d+ d∗ on Ωeven or Ω+, then D = d+ d∗ on
Ωodd or Ω−, so
D∗D = (d+ d∗)2 = dd∗ + d∗d, DD∗ = dd∗ + d∗d
on Ωeven (Ω+), and Ωodd (Ω−), respectively.
![Page 115: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/115.jpg)
The heat equation approach
Suppose that P is a nonnegative second order self-adjoint
elliptic operator.
The examples I have in mind are of the form
P = D∗D or P = DD∗
Note that if D = d+ d∗ on Ωeven or Ω+, then D = d+ d∗ on
Ωodd or Ω−, so
D∗D = (d+ d∗)2 = dd∗ + d∗d, DD∗ = dd∗ + d∗d
on Ωeven (Ω+), and Ωodd (Ω−), respectively.
![Page 116: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/116.jpg)
The initial value problem for the heat equation is(∂
∂t+ P
)u = 0 on M × [0,∞),
with initial data u(x,0) = u0(x).
![Page 117: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/117.jpg)
The initial value problem for the heat equation is(∂
∂t+ P
)u = 0 on M × [0,∞),
with initial data u(x,0) = u0(x).
The solution is given by the heat kernel H
u(x, t) = (Hu0)(x, t) =
∫M
H(x, y, t)φ(y) dVy.
![Page 118: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/118.jpg)
Let φj , λj be the eigendata for P , i.e.
Pφj = λjφj , φj dense in L2(M).
![Page 119: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/119.jpg)
Let φj , λj be the eigendata for P , i.e.
Pφj = λjφj , φj dense in L2(M).
Then
H(x, y, t) =
∞∑j=0
e−λjtφj(x)φj(y)
because
u0 =
∞∑j=0
cjφj(x)⇒∫M
∞∑j=0
e−λjtφj(x)φj(y)
∞∑j′=0
cj′φj′(y) dVy
![Page 120: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/120.jpg)
Let φj , λj be the eigendata for P , i.e.
Pφj = λjφj , φj dense in L2(M).
Then
H(x, y, t) =
∞∑j=0
e−λjtφj(x)φj(y)
because
u0 =
∞∑j=0
cjφj(x)⇒∫M
∞∑j=0
e−λjtφj(x)φj(y)
∞∑j′=0
cj′φj′(y) dVy
=
∞∑j=0
cje−λjtφj(x).
![Page 121: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/121.jpg)
The McKean-Singer argument
Let (φj , λj) be the eigendata for D∗D and (ψ`, µ`) be the
eigendata for DD∗.
![Page 122: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/122.jpg)
The McKean-Singer argument
Let (φj , λj) be the eigendata for D∗D and (ψ`, µ`) be the
eigendata for DD∗.
Spectral cancellation
Let E(λ) = φ : D∗Dφ = λφ and F (µ) = ψ : DD∗φ = µφ.Then
for λ 6= 0, D : E(λ) −→ F (λ)
is an isomorphism.
![Page 123: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/123.jpg)
The McKean-Singer argument
Let (φj , λj) be the eigendata for D∗D and (ψ`, µ`) be the
eigendata for DD∗.
Spectral cancellation
Let E(λ) = φ : D∗Dφ = λφ and F (µ) = ψ : DD∗φ = µφ.Then
for λ 6= 0, D : E(λ) −→ F (λ)
is an isomorphism.
Proof:
D∗Dφ = λφ⇒ D(D∗Dφ) = (DD∗)(Dφ) = λ(Dφ)
so λ is an eigenvalue for DD∗.
![Page 124: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/124.jpg)
Also need to check that Dφ 6= 0:
Dφ = 0⇒ 0 = ||Dφ||2 = 〈D∗Dφ, φ〉 ⇒ φ ∈ kerD.
![Page 125: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/125.jpg)
Also need to check that Dφ 6= 0:
Dφ = 0⇒ 0 = ||Dφ||2 = 〈D∗Dφ, φ〉 ⇒ φ ∈ kerD.
Conclusion The heat kernel traces are given by the sums
Tr(e−tD∗D) =
∞∑j=0
e−λjt
Tr(e−tDD∗) =
∞∑`=0
e−µ`t.
![Page 126: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/126.jpg)
Also need to check that Dφ 6= 0:
Dφ = 0⇒ 0 = ||Dφ||2 = 〈D∗Dφ, φ〉 ⇒ φ ∈ kerD.
Conclusion The heat kernel traces are given by the sums
Tr(e−tD∗D) =
∞∑j=0
e−λjt
Tr(e−tDD∗) =
∞∑`=0
e−µ`t.
Tr(e−tD∗D)−Tr(e−tDD
∗) =
∑λj=0
e−λjt −∑µ`=0
e−µ`t
= dimkerD∗D − dimkerDD∗ = ind(D)!
![Page 127: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/127.jpg)
Also need to check that Dφ 6= 0:
Dφ = 0⇒ 0 = ||Dφ||2 = 〈D∗Dφ, φ〉 ⇒ φ ∈ kerD.
Conclusion The heat kernel traces are given by the sums
Tr(e−tD∗D) =
∞∑j=0
e−λjt
Tr(e−tDD∗) =
∞∑`=0
e−µ`t.
Tr(e−tD∗D)−Tr(e−tDD
∗) =
∑λj=0
e−λjt −∑µ`=0
e−µ`t
= dimkerD∗D − dimkerDD∗ = ind(D)!
![Page 128: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/128.jpg)
In particular,
Tr(e−tD∗D)−Tr(e−tDD
∗) is independent of t!
![Page 129: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/129.jpg)
Localization as t 0
The heat kernel H(x, y, t) measures ‘the amount of heat at
x ∈M at time t, if an initial unit (delta function) of heat is
placed at y ∈M at time 0.
![Page 130: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/130.jpg)
Localization as t 0
The heat kernel H(x, y, t) measures ‘the amount of heat at
x ∈M at time t, if an initial unit (delta function) of heat is
placed at y ∈M at time 0.
As t 0, if x 6= y, then H(x, y, t)→ 0 (exponentially
quickly).
![Page 131: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/131.jpg)
Localization as t 0
The heat kernel H(x, y, t) measures ‘the amount of heat at
x ∈M at time t, if an initial unit (delta function) of heat is
placed at y ∈M at time 0.
As t 0, if x 6= y, then H(x, y, t)→ 0 (exponentially
quickly).
On the other hand, along the diagonal
H(x, x, t) ∼∞∑j=0
ajt−n/2+j .
The coefficients aj are called the heat traceinvariants.
![Page 132: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/132.jpg)
They are local, i.e. they can be written as
aj =
∫M
pj(x) dVx,
where pj is a universal polynomial in the coefficients of
the operator.
![Page 133: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/133.jpg)
They are local, i.e. they can be written as
aj =
∫M
pj(x) dVx,
where pj is a universal polynomial in the coefficients of
the operator.
If P is a geometric differential operator, then the pj are
universal functions of the metric and its covariant
derivatives up to some order.
![Page 134: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/134.jpg)
ind(D) = Tre−tD∗D −Tre−tDD
∗
=
∞∑j=0
aj(D∗D)t−n/2+j −
∞∑j=0
aj(DD∗)t−n/2+j
= an/2(D∗D)− an/2(DD∗).
![Page 135: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/135.jpg)
ind(D) = Tre−tD∗D −Tre−tDD
∗
=
∞∑j=0
aj(D∗D)t−n/2+j −
∞∑j=0
aj(DD∗)t−n/2+j
= an/2(D∗D)− an/2(DD∗).
Note: this implies that the index is zero when n/2 /∈N!
![Page 136: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/136.jpg)
ind(D) = Tre−tD∗D −Tre−tDD
∗
=
∞∑j=0
aj(D∗D)t−n/2+j −
∞∑j=0
aj(DD∗)t−n/2+j
= an/2(D∗D)− an/2(DD∗).
Note: this implies that the index is zero when n/2 /∈N!
The difficulty:
The term an/2 is high up in the asymptotic expansion, and
so very hard to compute explicitly!
![Page 137: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/137.jpg)
V.K. Patodi did the computation explicitly for a few basic
examples (Gauss-Bonnet, etc.). He discovered a miraculous
cancellation which made the computation tractable.
![Page 138: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/138.jpg)
His computation was extended somewhat by
Atiyah-Bott-Patodi (1973)
![Page 139: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/139.jpg)
P. Gilkey gave another proof based on geometric invariant
theory, i.e. the idea that these universal polynomials are
SO(n)-invariant, in an appropriate sense, and hence must
be polynomials in the Pontrjagin forms. Then, you calculate
the coefficients by checking on lots of examples ....
![Page 140: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/140.jpg)
The big breakthrough was accomplished by Getzler (as an
undergraduate!):
![Page 141: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/141.jpg)
The big breakthrough was accomplished by Getzler (as an
undergraduate!):
he defined a rescaling of the Clifford algebra and the Clifford
bundles in terms of the variable t, which as the effect that
the ‘index term’ an/2 occurs as the leading coefficient!
![Page 142: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/142.jpg)
The first application: (non)existence of metrics of positive
scalar curvature
Suppose (M2n, g) is a spin manifold. Thus the Dirac
operator D acts between sections of the spinor bundles S±.
D : L2(M ;S+) −→ L2(M ;S−).
![Page 143: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/143.jpg)
The first application: (non)existence of metrics of positive
scalar curvature
Suppose (M2n, g) is a spin manifold. Thus the Dirac
operator D acts between sections of the spinor bundles S±.
D : L2(M ;S+) −→ L2(M ;S−).
The Weitzenbock formula states that
D∗D = DD∗ = ∇∗∇+R
4
![Page 144: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/144.jpg)
The first application: (non)existence of metrics of positive
scalar curvature
Suppose (M2n, g) is a spin manifold. Thus the Dirac
operator D acts between sections of the spinor bundles S±.
D : L2(M ;S+) −→ L2(M ;S−).
The Weitzenbock formula states that
D∗D = DD∗ = ∇∗∇+R
4
Corollary: (Lichnerowicz) If M admits a metric g of positive
scalar curvature, then kerD = cokerD = 0. Hence indD = 0,
and so the A-genus of M vanishes.
![Page 145: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/145.jpg)
The Gromov-Lawson conjecture states that a slight
generalization of this condition (the vanishing of the
corresponding integral characteristic class, and suitably
modified to allow odd dimensions) is necessary and
sufficient for the existence of a metric of positive scalar
curvature (at least when π1(M) = 0).
![Page 146: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/146.jpg)
The Gromov-Lawson conjecture states that a slight
generalization of this condition (the vanishing of the
corresponding integral characteristic class, and suitably
modified to allow odd dimensions) is necessary and
sufficient for the existence of a metric of positive scalar
curvature (at least when π1(M) = 0).
Proved (when M simply connected) if the dimension is ≥ 5
(Stolz).
![Page 147: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/147.jpg)
Another application: computing dimensions of moduli
spaces:
Suppose N is a nonlinear elliptic operator such that the
solutions of N(u) = 0 correspond to some interesting
geometric objects, e.g.
1. Self-dual Yang-Mills connections
![Page 148: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/148.jpg)
Another application: computing dimensions of moduli
spaces:
Suppose N is a nonlinear elliptic operator such that the
solutions of N(u) = 0 correspond to some interesting
geometric objects, e.g.
1. Self-dual Yang-Mills connections
2. Pseudoholomorphic curves
![Page 149: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/149.jpg)
Another application: computing dimensions of moduli
spaces:
Suppose N is a nonlinear elliptic operator such that the
solutions of N(u) = 0 correspond to some interesting
geometric objects, e.g.
1. Self-dual Yang-Mills connections
2. Pseudoholomorphic curves
3. Complex structures
![Page 150: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/150.jpg)
Another application: computing dimensions of moduli
spaces:
Suppose N is a nonlinear elliptic operator such that the
solutions of N(u) = 0 correspond to some interesting
geometric objects, e.g.
1. Self-dual Yang-Mills connections
2. Pseudoholomorphic curves
3. Complex structures
Deformation theory: given a solution u0 to this equation,
find all ‘nearby’ solutions u.
![Page 151: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/151.jpg)
Another application: computing dimensions of moduli
spaces:
Suppose N is a nonlinear elliptic operator such that the
solutions of N(u) = 0 correspond to some interesting
geometric objects, e.g.
1. Self-dual Yang-Mills connections
2. Pseudoholomorphic curves
3. Complex structures
Deformation theory: given a solution u0 to this equation,
find all ‘nearby’ solutions u.
Write
N(u) = DN |u0 (u− u0) +Q(u− u0).
![Page 152: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/152.jpg)
Another application: computing dimensions of moduli
spaces:
Suppose N is a nonlinear elliptic operator such that the
solutions of N(u) = 0 correspond to some interesting
geometric objects, e.g.
1. Self-dual Yang-Mills connections
2. Pseudoholomorphic curves
3. Complex structures
Deformation theory: given a solution u0 to this equation,
find all ‘nearby’ solutions u.
Write
N(u) = DN |u0 (u− u0) +Q(u− u0).
![Page 153: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/153.jpg)
If the linearization L = DN |u0, the implicit function theorem
implies that
if L is surjective
then, in a neighbourhood of u0,
solutions of N(u) = 0↔ solutions of Lφ = 0 = kerL.
![Page 154: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/154.jpg)
If the linearization L = DN |u0, the implicit function theorem
implies that
if L is surjective
then, in a neighbourhood of u0,
solutions of N(u) = 0↔ solutions of Lφ = 0 = kerL.
Best situation (unobstructed deformation theory) is when L
surjective, so that
indL = dimkerL.
This is computable, and is the local dimension of solution
space.
![Page 155: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/155.jpg)
Example:
Let M4 be compact and E a rank 2 bundle over M with
charge c2(E) = k ∈ Z. Then the moduli space Mk of all
self-dual Yang-Mills instantons of charge k ‘should be’ (and
is, for generic choice of background metric) a smooth
manifold, with
dimMk = 8c2(E)− 3(1− β1(M) + β+2 (M)).
![Page 156: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/156.jpg)
Example:
Let M4 be compact and E a rank 2 bundle over M with
charge c2(E) = k ∈ Z. Then the moduli space Mk of all
self-dual Yang-Mills instantons of charge k ‘should be’ (and
is, for generic choice of background metric) a smooth
manifold, with
dimMk = 8c2(E)− 3(1− β1(M) + β+2 (M)).
Freedom to choose generic metric means one can always
assume one is in the unobstructed situation.
![Page 157: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/157.jpg)
The index formula for manifolds with boundary
![Page 158: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/158.jpg)
The index formula for manifolds with boundary
Early version (Atiyah-Bott) applies to elliptic operators with
local (e.g. Dirichlet or Neumann) boundary conditions.
![Page 159: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/159.jpg)
The index formula for manifolds with boundary
Early version (Atiyah-Bott) applies to elliptic operators with
local (e.g. Dirichlet or Neumann) boundary conditions.
Not available for Dirac-type operators
![Page 160: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/160.jpg)
The index formula for manifolds with boundary
Early version (Atiyah-Bott) applies to elliptic operators with
local (e.g. Dirichlet or Neumann) boundary conditions.
Not available for Dirac-type operators
Atiyah-Patodi-Singer (1975):
Suppose that Y = ∂M has a collar neighbourhood
[0,1)× Y ⊂M , so that the metric, the bundles, the
connection, are all of product form in this neighbourhood.
![Page 161: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/161.jpg)
The index formula for manifolds with boundary
Early version (Atiyah-Bott) applies to elliptic operators with
local (e.g. Dirichlet or Neumann) boundary conditions.
Not available for Dirac-type operators
Atiyah-Patodi-Singer (1975):
Suppose that Y = ∂M has a collar neighbourhood
[0,1)× Y ⊂M , so that the metric, the bundles, the
connection, are all of product form in this neighbourhood.
Then
D = cl(en)
(∂
∂xn+A
),
where
A : L2(Y ;S) −→ L2(Y ;S)
is self-adjoint!
![Page 162: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/162.jpg)
The index formula for manifolds with boundary
Early version (Atiyah-Bott) applies to elliptic operators with
local (e.g. Dirichlet or Neumann) boundary conditions.
Not available for Dirac-type operators
Atiyah-Patodi-Singer (1975):
Suppose that Y = ∂M has a collar neighbourhood
[0,1)× Y ⊂M , so that the metric, the bundles, the
connection, are all of product form in this neighbourhood.
Then
D = cl(en)
(∂
∂xn+A
),
where
A : L2(Y ;S) −→ L2(Y ;S)
is self-adjoint!
![Page 163: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/163.jpg)
Let φj , λj be the eigendata for A,
Aφj = λjφj .
λj → ±∞.
![Page 164: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/164.jpg)
Let φj , λj be the eigendata for A,
Aφj = λjφj .
λj → ±∞.
Decompose
L2(Y ;S) = H+ ⊕H−,
where H+ is the sum of the eigenspaces corresponding to
positive eigenvalues and H− is the sum of the eigenspaces
corresponding to negative eigenvalues.
![Page 165: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/165.jpg)
Let φj , λj be the eigendata for A,
Aφj = λjφj .
λj → ±∞.
Decompose
L2(Y ;S) = H+ ⊕H−,
where H+ is the sum of the eigenspaces corresponding to
positive eigenvalues and H− is the sum of the eigenspaces
corresponding to negative eigenvalues.
Π : L2(Y ;S) −→ H+
is the orthogonal projection.
![Page 166: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/166.jpg)
Let φj , λj be the eigendata for A,
Aφj = λjφj .
λj → ±∞.
Decompose
L2(Y ;S) = H+ ⊕H−,
where H+ is the sum of the eigenspaces corresponding to
positive eigenvalues and H− is the sum of the eigenspaces
corresponding to negative eigenvalues.
Π : L2(Y ;S) −→ H+
is the orthogonal projection.
![Page 167: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/167.jpg)
The Atiyah-Patodi-Singer boundary problem:
(D,Π) : L2(X,S+) −→ L2(X;S−)⊕ L2(Y ;S)
(D,Π)u = (Du,Π u|Y ).
![Page 168: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/168.jpg)
The Atiyah-Patodi-Singer boundary problem:
(D,Π) : L2(X,S+) −→ L2(X;S−)⊕ L2(Y ;S)
(D,Π)u = (Du,Π u|Y ).
This is Fredholm
![Page 169: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/169.jpg)
The Atiyah-Patodi-Singer boundary problem:
(D,Π) : L2(X,S+) −→ L2(X;S−)⊕ L2(Y ;S)
(D,Π)u = (Du,Π u|Y ).
This is Fredholm
The nonlocal boundary condition given by Π is known as
the APS boundary condition.
![Page 170: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/170.jpg)
The Atiyah-Patodi-Singer boundary problem:
(D,Π) : L2(X,S+) −→ L2(X;S−)⊕ L2(Y ;S)
(D,Π)u = (Du,Π u|Y ).
This is Fredholm
The nonlocal boundary condition given by Π is known as
the APS boundary condition.
To state the index formula, we need one more is definition:
![Page 171: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/171.jpg)
The Atiyah-Patodi-Singer boundary problem:
(D,Π) : L2(X,S+) −→ L2(X;S−)⊕ L2(Y ;S)
(D,Π)u = (Du,Π u|Y ).
This is Fredholm
The nonlocal boundary condition given by Π is known as
the APS boundary condition.
To state the index formula, we need one more is definition:
η(s) =∑λj 6=0
(sgnλj)|λj |−s.
![Page 172: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/172.jpg)
The Atiyah-Patodi-Singer boundary problem:
(D,Π) : L2(X,S+) −→ L2(X;S−)⊕ L2(Y ;S)
(D,Π)u = (Du,Π u|Y ).
This is Fredholm
The nonlocal boundary condition given by Π is known as
the APS boundary condition.
To state the index formula, we need one more is definition:
η(s) =∑λj 6=0
(sgnλj)|λj |−s.
Weyl eigenvalue asymptotics for D implies that η(s) is
holomorphic for Re(s) > n.
![Page 173: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/173.jpg)
Theorem: The eta function extends meromorphically to the
whole complex plane. It is regular at s = 0.
![Page 174: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/174.jpg)
Theorem: The eta function extends meromorphically to the
whole complex plane. It is regular at s = 0.
Definition: The eta invariant of A, η(A) is by definition the
value of this eta function at s = 0.
![Page 175: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/175.jpg)
Theorem: The eta function extends meromorphically to the
whole complex plane. It is regular at s = 0.
Definition: The eta invariant of A, η(A) is by definition the
value of this eta function at s = 0.
The APS index theorem:
ind(D,Π) =
∫M
A(TM)ch(E)−1
2(η(A) + h),
where h = dimkerA.
![Page 176: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/176.jpg)
Theorem: The eta function extends meromorphically to the
whole complex plane. It is regular at s = 0.
Definition: The eta invariant of A, η(A) is by definition the
value of this eta function at s = 0.
The APS index theorem:
ind(D,Π) =
∫M
A(TM)ch(E)−1
2(η(A) + h),
where h = dimkerA.
This suggests that η(A) is in many interesting ways the
odd-dimensional generalization of the index.
![Page 177: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/177.jpg)
Theorem: The eta function extends meromorphically to the
whole complex plane. It is regular at s = 0.
Definition: The eta invariant of A, η(A) is by definition the
value of this eta function at s = 0.
The APS index theorem:
ind(D,Π) =
∫M
A(TM)ch(E)−1
2(η(A) + h),
where h = dimkerA.
This suggests that η(A) is in many interesting ways the
odd-dimensional generalization of the index.
The APS index formula is then a sort of transgression
formula, connecting the index in even dimensions and the
eta invariant in odd dimensions.
![Page 178: The Atiyah-Singer Index theorem what it is and why you ... › indextheory › asit3.pdf · The Atiyah-Singer Index theorem what it is and why you should careRafe Mazzeo October 10,](https://reader033.vdocument.in/reader033/viewer/2022052310/5f0d0e6c7e708231d4387659/html5/thumbnails/178.jpg)