Skip to main content

Questions tagged [index-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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 ...
Ho Man-Ho's user avatar
  • 1,117
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$...
Ho Man-Ho's user avatar
  • 1,117
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 ...
Blind Miner's user avatar
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 ...
zeta's user avatar
  • 447
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 ...
domenico fiorenza's user avatar
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}...
Filippo's user avatar
  • 329
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 ...
Bill's user avatar
  • 9
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 ...
Filippo's user avatar
  • 329
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|\...
Filippo's user avatar
  • 329
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 ...
truebaran's user avatar
  • 9,250
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 ...
zarathustra's user avatar
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} =...
zarathustra's user avatar
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 ...
Yuji Tachikawa's user avatar
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 ...
Shaoyun Bai's user avatar
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 ...
Radeha Longa's user avatar
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 ...
Ho Man-Ho's user avatar
  • 1,117
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 ...
Mtheorist's user avatar
  • 1,155
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 ...
Overflowian's user avatar
  • 2,533
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 ...
Ho Man-Ho's user avatar
  • 1,117
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 ...
Matthew Niemiro's user avatar
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-...
ZZY's user avatar
  • 707
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 ...
Radeha Longa's user avatar
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,...
Isacu's user avatar
  • 51
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é–...
Ya He's user avatar
  • 93
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 ...
dohmatob's user avatar
  • 6,824
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?)
user472816's user avatar
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 ...
Radeha Longa's user avatar
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 ...
Radeha Longa's user avatar
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(\...
D.Liu's user avatar
  • 21
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 ...
Ho Man-Ho's user avatar
  • 1,117
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 ...
Overflowian's user avatar
  • 2,533
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:...
Mahmoud Abdelrazek's user avatar
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 ...
geometricK's user avatar
  • 1,901
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 ...
geometricK's user avatar
  • 1,901
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 ...
annie marie cœur's user avatar
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 ...
Quaere Verum's user avatar
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 ...
BinAcker's user avatar
  • 767
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)$ ...
Shiquan Ren's user avatar
  • 1,980
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) = \...
Tom's user avatar
  • 31
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 ...
YoYo's user avatar
  • 325
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} ( ...
YoYo's user avatar
  • 325
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 ...
gradstudent's user avatar
  • 2,186
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 ...
Rodrigo Dias's user avatar
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 ...
user267839's user avatar
  • 5,770
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 :...
user267839's user avatar
  • 5,770
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 ...
Gorapada Bera's user avatar
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 ...
Adnanne's user avatar
  • 11
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 ...
Liding Yao's user avatar
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 ...
Aleksandr Alekseev's user avatar
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 ...
DLIN's user avatar
  • 1,915