Questions tagged [index-theory]
The index-theory tag has no usage guidance.
173
questions
4
votes
1
answer
143
views
Size of Hilbert space in geometric quantization from index theorem
In these notes on geometric quantization by Nair, on page 24, the Bohr-Sommerfeld rule in quantum mechanics is interpreted in terms of the Atiyah-Singer index theorem.
To be precise, the polarization ...
4
votes
1
answer
229
views
Comments and reference-request on books for KK-theory
I am looking for a good reference to learn Kasparov's KK-theory, where my motivation is to understand (and hopefully can do something about) the Atiyah-Singer index theorem in terms of KK-theory.
I ...
1
vote
0
answers
60
views
Does the local family index theorem hold for compact manifolds with corners?
Let $\pi:X\to B$ be a submersion with closed, oriented and spin fibers of even dimension. Suppose $X$ and $B$ are compact, and let $E\to X$ be a complex vector bundle over with a Hermitian metric $g^E$...
4
votes
1
answer
379
views
"The index is independent of the Dirac operator"
Fix a Clifford module bundle $E$ on a compact Riemannian manifold $M$ and let $D_0$ and $D_1$ be two Dirac operators (compatible with the Clifford action). The proof of the Atiyah-Singer index theorem ...
0
votes
0
answers
56
views
Computing the eta invariant of a rather contrived operator on the circle
For physical reasons, I am interested in computing the eta invariant of the following Hermitian operator acting on complex valued functions on the circle with circumference 1. I define the operator ...
1
vote
0
answers
126
views
Witten's QFT Jones polynomial work on Atiyah Patodi Singer theorem and $\hat A$ genus over Chern character
In Witten's 1989 QFT and Jones polynomial paper,
he wrote in eq.2.22 that
Atiyah Patodi Singer theorem says that the combination:
$$
\frac{1}{2} \eta_{grav} + \frac{1}{12}\frac{I(g)}{2 \pi}
$$
is a ...
4
votes
0
answers
63
views
Pfaffian elements and anomalies
If $X$ is a compact even dimensional spin manifold, then we have a family of chiral Dirac operators parametrized by $Met(X)$, the (infinite dimensional) manifold of Riemannian metrics on $X$. This is ...
0
votes
1
answer
116
views
Can any Clifford module bundle be extended to a Dirac bundle?
I assume that the question in the title is clear, so let me talk about its relevance:
According to theorem 4.3 in Heat Kernels and Dirac Operators the index theorem
\begin{equation}\tag{1}
\mathrm{ind}...
0
votes
0
answers
117
views
Can most old index theorems be rewritten in the language of k theory?
So I am very new to index theorems and K theory. I know K theory is the modern language of index theory these days. I was just wondering if we take some papers on some index theorems that do not use ...
2
votes
0
answers
127
views
Heat kernels and Dirac operators - Why are half densities invoked in the definition of heat kernels?
The authors of Heat kernels and Dirac operators chose to consider a generalized Laplacian $H$ on a bundle $E\otimes|\Lambda|^{1/2}$ and heat kernels of $H$ are defined to be sections of $(E\otimes|\...
4
votes
1
answer
537
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
1
answer
624
views
An integral of the Hodge-Neumann Laplacian on a Riemannian manifold
Background
Let $M$ be a compact, oriented Riemannian manifold with boundary, with $\text{vol}$ the Riemannian volume form. Let $\nu$ be the outwards unit normal vector field on $\partial M$ and $\nu^\...
3
votes
1
answer
240
views
Determinant line of Fredholm operators and composition of morphisms
Let $P$ be a polarization of a Hilbert space $\mathcal{H}$, i.e. a bounded idempotent: consider a group $G=GL_{res}(\mathcal{H}):=\{g \in GL(\mathcal{H}): [g,P] \in HS\}$ (where $HS$ is the set of all ...
2
votes
0
answers
165
views
$\hat{A}$-genus of a complex manifold
I am trying to understand the proof of the Riemann-Roch-Hirzebruch theorem using the index theorem (Heat Kernel and Dirac operators, [BGV]), and at the end they say that since $$TM \otimes \mathbb{C} =...
2
votes
0
answers
165
views
Proof of the Hirzebruch-Riemann-Roch theorem using the Atiyah-Singer index theorem
I am trying to read the proof of the Riemann-Roch-Hirzebruch theorem using the index theorem (Heat Kernel and Dirac operators, [BGV]), but I do not understand the few last steps (theorem 4.11, page ...
3
votes
1
answer
176
views
Explicit computations of Bismut-Cheeger eta form for $S^{2n}$ bundles
I'm interested in computing eta invariants of Dirac operators (on spinor bundles tensored with some vector bundles) on the total space of $S^{2n}$ bundles over odd-dimensional manifolds. I found the ...
6
votes
0
answers
117
views
K-homology fundamental class for singular varieties?
Given a smooth $\text{Spin}^c$ compact manifold without boundary $M$, a suitable normalization of the Dirac operator defines the fundamental class of $M$ in Kasparov's $KK(\mathbb{C}, C^0(M))$. This ...
3
votes
0
answers
141
views
A question about index of Dirac operator
Let $\Phi: M\to S^n$ be a map from an even-dimensional, $\dim M=n$, spin manifold $M$ with the boundary $\partial M$ to a unit sphere. And $\Phi$ is locally constant near $\partial M$. If we take a ...
3
votes
0
answers
70
views
A confusion about an assumption in the setting of the local family index theorem
Let $\pi:M\to B$ be a proper submersion with closed, oriented and spin fibers. Then one can state the local family index theorem as an equality of differential forms (ignoring the details here).
I am ...
3
votes
1
answer
106
views
Index formula for elliptic operators acting on Sobolev sections vanishing on the boundary (say $D: H_0^k(\Omega) \to H_0^{k-1}(\Omega)$)
Given a first order elliptic operator $D:\Gamma(X; E)\to \Gamma(X; F)$ where $X$ is a closed manifold, and $E\to X, F\to X$ vector bundles, we know that $D$ induces a Fredholm operator
between the ...
81
votes
3
answers
12k
views
Intuitive explanation for the Atiyah-Singer index theorem
My question is related to the question Explanation for the Chern Character to this question about Todd classes, and to this question about the Atiyah-Singer index theorem.
I'm trying to learn the ...
1
vote
0
answers
64
views
A proof that the analytic index for families is multiplicative
I am looking for a detailed proof of the analytic index for families (of geometrically defined Dirac operators is good enough and assuming the existence of the kernel bundle) is multiplicative. Any ...
6
votes
1
answer
253
views
What were the "questions unapproachable by other means" w.r.t. $KO$-invariants?
H. Blaine Lawson, Jr. and Marie-Louise Michelsohn, Spin Geometry, (1989), p. xi:
...This formula was to generalize the important [HRR]. ...Atiyah and Singer...produced a globally defined elliptic ...
5
votes
1
answer
233
views
Coefficient of the top Pontryagin class in $L$-genus
The $L$ genus can be expressed as combinations of the Pontryagin classes with the first few terms as follows:
$$L_1=\frac{1}{3}p_1,$$
$$L_2=\frac{1}{45}(7p_2-p_1^2),$$
$$L_3=\frac{1}{945}(62p_3-...
1
vote
0
answers
108
views
Existence of a local spinor bundle
I am confused about the existence of a local spinor bundle.
My question is that if a Riemannian manifold $M$ is not spin, why does there exist a local spinor bundle over all sufficiently small open ...
2
votes
1
answer
517
views
Kasparov's Dirac element and the index map
In Kasparov's 1988 paper Equivariant KK-theory and the Novikov conjecture section 4 he defined the Dirac element for a (non-spin) $G$- Riemanian manifold $X$ as an element in the $K$-homology $K^0_G(...
5
votes
0
answers
227
views
Was an index theorem for manifold with local boundary condition proven?
I would like to ask a question on the bibliography of the index theorems on manifold with boundary.
Before my bibliographical research my understanding of the field was that for manifold with boundary,...
9
votes
1
answer
706
views
Is there a version of the Poincaré–Hopf theorem for manifold with corners?
As we know, the square $S=[0,1]\times[0,1]$ is not a manifold with boundary. Instead, it's a manifold with corners. For a tangent vector field on a compact manifold with boundary, we have the Poincaré–...
6
votes
0
answers
337
views
Atiyah–Singer Index theorem for the pedestrian / layperson
So I came across the so-called Atiyah–Singer Index Theorem (ASIT) and claims of it being an extremely powerful and versatile tool.
Question. What is a truly simple application of the ASIT to obtain a ...
2
votes
0
answers
223
views
Riemann-Roch theorem for higher-dimensional complex manifolds
Does an analogue of the Riemann-Roch theorem hold for higher-dimensional complex manifolds? (Hirzebruch-Riemann-Roch theorem is for algebraic manifolds, but not for general complex manifolds, right?)
5
votes
1
answer
306
views
Fredholm theory of non elliptic operators
In this question we search for a big list of non elliptic operators whose Fredholm index is finite or whose Fredholm theory is extensively discussed. The main motovation is the conference linked in ...
1
vote
0
answers
70
views
Relationship with between Clifford multiplication and pullback
Let $X$ be a smooth vector field on the even-dimensional sphere $S^n$. Let $S(TS^n)=S^+(TS^n)\oplus S^-(TS^n)$ be the spinor bundle over $S^n$ equipped with a bundle metric that is compatible with the ...
0
votes
1
answer
181
views
Question about Clifford multiplication
Let $X$ be a smooth vector field on the even dimensional sphere $S^n$. Let $S(TS^n)=S^+(TS^n)\oplus S^-(TS^n)$ be the spinor bundle over $S^n$ equipped with a bundle metric that is compatible with the ...
2
votes
0
answers
125
views
Friedrichs Inequality
I'm a little confused with the following proof of Friedrichs inequality in Lawson's & Michelsohn's book Spin geometry, page 194, Theorem 5.4.
I don't understand why the last inequality, i.e.
$$
C(\...
5
votes
1
answer
237
views
Equivalence of families indexes of Fredholm operators
Let $F=F(H,H)$ be the space of bounded Fredholm operators in a Hilbert space $H$ with topology inherited from the norm operator topology, and let $X$ be a compact topological space.
For a continuous ...
2
votes
1
answer
144
views
Is being a deg 0 vector field equivalent to being locally non-surjective?
Let $X:\mathbb R^n\to\mathbb R^n$ be a $C^1$ (or smooth)-vector field, such that $X(0)=0$ is an isolated zero. So we can talk about the mapping of $0$ for $X$.
For convenience assume $0$ be the only ...
6
votes
0
answers
160
views
Elliptic operators with with same index but non homotopic symbols
Let $\mathcal{D}:\Gamma(E)\to \Gamma(F)$ be an elliptic operator of order $k$.
Where $E,F$ are $\mathbb{C}$-vector bundles over $X$, a compact smooth manifold.
In Atiyah-Singer "the index of ...
9
votes
0
answers
512
views
Why is the symbol map in Atiyah–Singer paper continuous?
I am reading "Index of elliptic operators: I", by Atiyah and Singer these days and I am trying to understand all the paper. I find it difficult to verify the following statement on page 512:...
3
votes
0
answers
50
views
Dependence of Roe algebra and coarse index on the Riemannian metric
Let $(M,g)$ be a spin Riemannian manifold. The coarse index of the Dirac operator $D$ lies in the $K$-theory of the Roe algebra, which I will denote by $C^*(M,g)$ since its construction uses $g$.
I ...
1
vote
0
answers
38
views
Extending the Dirac operator on an open subset of a manifold and preserving positivity
Let $M$ be a spin manifold and $U\subseteq M$ an open ball. Let $D$ be the Dirac operator on $M$ with respect to some Riemannian metric $g$, acting on sections of the spinor bundle $S\to M$. Suppose ...
3
votes
0
answers
311
views
Discrete spectrum of Dirac operator
It is said that if we take the spacetime manifold to be a sphere $S^d$ of large volume so
that the spectrum of Dirac operator $$i\gamma^\mu D_{\mu}$$ is discrete.
For example at least for $d=4$, this ...
15
votes
1
answer
999
views
Atiyah's proof of the moduli space of SD irreducible YM connections
In the paper "Self-duality in Four-dimensional Riemannian Geometry" (1978), Atiyah, Hitchin and Singer present a proof that the space of self-dual irreducible Yang-Mills connections is a ...
4
votes
0
answers
140
views
Push forward of Chern character and index theorem
I have some trouble understanding a proposition in Leung's paper "Symplectic Structures on Gauge Theory" published in Commun. Math. Phys. 193, 47 – 67 (1998).
I expose here the setup for my ...
2
votes
1
answer
258
views
can the actions of fundamental groups annihilate homology?
Let $X$ be a path-connected manifold (or a CW complex).
Let $\pi_1(X)$ be the fundamental group of $X$.
Let $\pi: \tilde X\longrightarrow X$ be a covering map.
For each $m\geq 0$, let $C_m(\tilde X)$ ...
3
votes
0
answers
72
views
Analyticity of the regularized $\eta$-invariant
The APS $\eta$- invariant of an operator $B$ with eigenvalues $\lambda$ is defined as
$$\eta = \sum_\lambda sgn (\lambda)$$
which is a divergent sum and it can be regularized as follows:
$$\eta(s) = \...
0
votes
1
answer
103
views
How to define an equivariant Kasparov's KK-theory map?
I'm looking for some references about how to construct an equivariant Kasparov's KK-theory map $$ \psi \ : \ KK^{G_{1}} ( A,B ) \to KK^{G_{2}} ( C,D ) $$, where, $ G_1 $ and $ G_2 $ are two distinct ...
1
vote
0
answers
64
views
A map from a $ G_1 $ - equivariant KK-theory of Kasparov, to a $ G_2 $ - equivariant KK-theory of Kasparov
Let $ G $ be a locally compact group.
Let $ H $ and $ K $ be two normal subgroups of $ G $.
In order to construct a map, $$ \psi \ : \ \ F(G/H,G/K) \to F(G/K,G/H) $$
where, $$ F(G/H,G/K) = KK^{G/H} ( ...
2
votes
0
answers
275
views
Spectrum of the Witten Laplacian on compact Riemannian manifolds
Below I have given what I am calling as the ${\rm Witten{-}Laplacian}_{s,p}$ on a Riemannian manifold $(M,g)$ for any constant $s >0$ and $p \in C^2(M,g)$
How generally is it true that this ${\rm ...
8
votes
0
answers
400
views
Atiyah-Singer theorem in heat kernels and Dirac operators
I'm reading "Heat kernels and Dirac operators" by Berline, Getzler and Vergne.
I have some trouble to understand a identity on the bottom of page 146 which is essential for the proof of the ...
6
votes
1
answer
648
views
McKean-Singer formula in Heat Kernels and Dirac Operators book
I'm reading "Heat Kernels and Dirac Operators" by Berline, Getzler and Vergne. The setting is: $E \to M$ is a $\mathbb{Z}_2$-graded vector bundle on a compact Riemannian manifold $M$
and $D :...