2
votes
0answers
108 views

The space of Fredholm operators as a classifying space

Is it true that the space of Fredholm operators on a separable Hilbert space is the classifying space for K-theory in the category of paracompact spaces? Everyone quotes the theorem of Atiyah-Janich ...
1
vote
1answer
191 views

How to classify continuous/differentiable maps from $T^2$ to $U(N)$?

I read a physics paper, of which the main idea is based on the topological classification of maps from 3-torus to the space of $N\times N$ unitary matrices. To quote their equation (4), which gives a ...
4
votes
1answer
211 views

Do we have a “topological assembly map” in the Baum-Connes conjecture?

In the equivariant Atiyah-Singer index theorem, when $G$ is a compact group acting on a manifold $M$ and $R(G)$ is the representation ring of $G$. We have the analytic index $$ \text{a-ind}: ...
9
votes
0answers
424 views

What is Quillen's contribution to index theorem?

In the book "Heat Kernels and Dirac Operators" by Berline, Getzler and Vergne it is said that "Our book is based on a simple principle, which we learned from D. Quillen: Dirac operators are a ...
7
votes
0answers
266 views

Why does the index of the Dirac operator on a manifold with boundary live inside the Pfaffian line of the boundary Dirac operator?

I am trying to understand a statement from page 72 of What is an elliptic object? by Stolz and Teichner. They have a spin Riemannian 2-manifold $\Sigma$, with boundary 1-manifold $Y$. The Dirac ...
13
votes
3answers
776 views

Geometric meaning of L-genus

Is there any reasonable geometric meaning of the L-genus for smooth manifolds? or perhaps easier, for complex algebraic surfaces? The question came up after a friend and I realized that we don't ...
15
votes
2answers
643 views

What is the role of equivariance in the Atiyah-Singer index theorem?

I'm trying to read through "The index of elliptic operators I," and here's what I understand of the structure of the proof: Define (using purely K-theoretic means) a homomorphism $K_G(TX) \to ...