# Questions tagged [index-theory]

The index-theory tag has no usage guidance.

174
questions

1
vote

0
answers

26
views

### A question related to the local family index theorem without the kernel bundle assumption

Let $\pi:X\to B$ be a submersion with closed, oriented and spin fibers of even dimension and $E\to X$ a Hermitian bundle with a unitary connection $\nabla^E$. By putting metrics and connections on ...

1
vote

0
answers

72
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$...

0
votes

0
answers

59
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

139
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

70
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

132
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

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

4
votes

1
answer

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

2
votes

0
answers

145
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|\...

3
votes

1
answer

248
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

1
answer

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

2
votes

0
answers

214
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} =...

3
votes

1
answer

186
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

123
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

147
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

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

6
votes

1
answer

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

3
votes

1
answer

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

1
vote

0
answers

67
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

263
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

239
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

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

5
votes

0
answers

263
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

773
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

344
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

229
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?)

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

193
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

130
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(\...

4
votes

1
answer

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

6
votes

0
answers

163
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

515
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

52
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

318
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

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

149
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

261
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

107
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

65
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

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

5
votes

1
answer

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

8
votes

0
answers

409
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

713
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 :...

6
votes

0
answers

322
views

### Spectral flow of Dirac operator twisted by instanton

Suppose $E$ is a $SU(2)$-bundle over a closed three manifold $M$ and $S$ is the spinor bundle over $M$. Also assume $D_{A(t)}:\Gamma(S\otimes_{\mathbb c} E)\to \Gamma(S\otimes_{\mathbb c} E)$ is a ...

1
vote

0
answers

61
views

### Splitting formulas for spectral flows

I'm asking if there are splitting formulas for equivariant spectral flow and higher spectral flow (of Dai-Zhang) for paths of Dirac operators, concerning gluing together two smooth compact Spinc ...

2
votes

1
answer

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

3
votes

0
answers

84
views

### Dixmier trace, Wodzicki residue and topological index

There are a well-known facts about Dixmier trace and Wodzicki residue. Let $P$ be an elliptic pseudodifferential operator of degree $−n$ on a compact Riemannian manifold $(M,g)$, than its Dixmier ...

1
vote

0
answers

63
views

### About the orientation of index formula on orbifold

Let $X$ be a closed oriented orbifold with singularity $\Sigma X$. The singularity is defined as
$$ \Sigma X=\{(x)|~x\in X,~G_x\neq1\}, $$
where $G_x$ is the isotropy group.
For $u\in K_v(TX)$, as ...