An index theorem for gerbes

Nonlinear Connections on Gerbes, Clifford-Finsler Modules, and the Index Theorems

The geometry of nonholonomic bundle gerbes, provided with nonlinear connection structure, and nonholonomic gerbe modules is elaborated as the theory of Clifford modules on nonholonomic manifolds which positively fail to be spin. We explore an approach to such nonholonomic Dirac operators and derive the related Atiyah-Singer index formulas. There are considered certain applications in modern gravity and geometric mechanics of such Clifford-Lagrange/ Finsler gerbes and their realizations as nonholonomic Clifford and Riemann-Cartan modules.

A Serre-Swan theorem for gerbe modules on étale Lie groupoids

Given a bundle gerbe on a compact smooth manifold or, more generally, on a compact étale Lie groupoid $M$, we show that the corresponding category of gerbe modules, if it is non-trivial, is equivalent to the category of finitely generated projective modules over an Azumaya algebra on $M$. This result can be seen as an equivariant Serre-Swan theorem for twisted vector bundles.

Index Theory, Gerbes, and Hamiltonian Quantization

We give an Atiyah-Patodi-Singer index theory construction of the bundle of fermionic Fock spaces parametrized by vector potentials in odd space dimensions and prove that this leads in a simple manner to the known Schwinger terms (Faddeev-Mickelsson cocycle) for the gauge group action. We relate the APS construction to the bundle gerbe approach discussed recently by Carey and Murray, including an explicit computation of the Dixmier-Douady class. An advantage of our method is that it can be applied whenever one has a form of the APS theorem at hand, as in the case of fermions in an external grav…

A quantum Leray-Hirsch theorem for banded gerbes

For a gerbe $\Y$ over a smooth proper Deligne-Mumford stack $\B$ banded by a finite group $G$, we prove a structure result on the Gromov-Witten theory of $\Y$, expressing Gromov-Witten invariants of $\Y$ in terms of Gromov-Witten invariants of $\B$ twisted by various flat $U(1)$-gerbes on $\B$. This is interpreted as a Leray-Hirsch type of result for Gromov-Witten theory of gerbes.

Bundle gerbes and moduli spaces

In this paper, we construct the index bundle gerbe of a family of self-adjoint Dirac-type operators, refining a construction of Segal. In a special case, we construct a geometric bundle gerbe called the caloron bundle gerbe, which comes with a natural connection and curving, and show that it is isomorphic to the analytically constructed index bundle gerbe. We apply these constructions to certain moduli spaces associated to compact Riemann surfaces, constructing on these moduli spaces, natural bundle gerbes with connection and curving, whose 3-curvature represent Dixmier-Douady classes that are…

Duality theorems for étale gerbes on orbifolds

Let $G$ be a finite group and $\Y$ a $G$-gerbe over an orbifold $\B$. A disconnected orbifold $\hat{\Y}$ and a flat U(1)-gerbe $c$ on $\hat{\Y}$ is canonically constructed from $\Y$. Motivated by a proposal in physics, we study a mathematical duality between the geometry of the $G$-gerbe $\Y$ and the geometry of $\hat{\Y}$ {\em twisted by} $c$. We prove several results verifying this duality in the contexts of noncommutative geometry and symplectic topology. In particular, we prove that the category of sheaves on $\Y$ is equivalent to the category of $c$-twisted sheaves on $\hat{\Y}$. When $\Y…

A generalization of Abel's Theorem and the Abel--Jacobi map

We generalize Abel's classical theorem on linear equivalence of divisors on a Riemann surface. For every closed submanifold $M^d \subset X^n$ in a compact oriented Riemannian $n$--manifold, or more generally for any $d$--cycle $Z$ relative to a triangulation of $X$, we define a (simplicial) $(n-d-1)$--gerbe $Λ_{Z}$, the Abel gerbe determined by $Z$, whose vanishing as a Deligne cohomology class generalizes the notion of `linear equivalence to zero'. In this setting, Abel's theorem remains valid. Moreover we generalize the classical Inversion Theorem for the Abel--Jacobi map, thereby proving th…

A local equivariant index theorem for sub-signature operators

In this paper, we prove a local equivariant index theorem for sub-signature operators which generalizes the Zhang's index theorem for sub-signature operators.

The equivariant index theorem for transversally elliptic operators and the basic index theorem for Riemannian foliations

In this expository paper, we explain a formula for the multiplicities of the index of an equivariant transversally elliptic operator on a $G$-manifold. The formula is a sum of integrals over blowups of the strata of the group action and also involves eta invariants of associated elliptic operators. Among the applications is an index formula for basic Dirac operators on Riemannian foliations, a problem that was open for many years. This paper summarizes the work in the papers arXiv:1005.3845 [math.DG] and arXiv:1008.1757 [math.DG].

A generalized Poincaré-Hopf index theorem

We state and prove a generalization of the Poincaré-Hopf index theorem for manifolds with boundary. We then apply this result to non-vanishing complex vector fields.

Index III引理与Rauch III定理及其应用

An Index III lemma and Rauch III theorem & applications

受Index I、II引理及Rauch I、II定理启发，本文提出Index III引理与Rauch III定理，并以此推导出具下Ricci曲率界的Rauch型定理与体积比较结果。

An Application of the Index Theorem for Manifolds with Fibered Boundaries

We show how the index formula for manifolds with fibered boundaries can be used to compute the index of the Dirac operator on Taub-NUT space twisted by an anti-self-dual generic instanton connection.

A renormalized index theorem for some complete asymptotically regular metrics: the Gauss-Bonnet theorem

The Gauss-Bonnet Theorem is studied for edge metrics as a renormalized index theorem. These metrics include the Poincaré-Einstein metrics of the AdS/CFT correspondence. Renormalization is used to make sense of the curvature integral and the dimensions of the $L^2$-cohomology spaces as well as to carry out the heat equation proof of the index theorem. For conformally compact metrics even mod $x^m$, the finite time supertrace of the heat kernel on conformally compact manifolds is shown to renormalize independently of the choice of special boundary defining function.

Index theorems on manifolds with straight ends

We study Fredholm properties and index formulas for Dirac operators over complete Riemannian manifolds with straight ends. An important class of examples of such manifolds are complete Riemannian manifolds with pinched negative sectional curvature and finite volume.

Volterra calculus, local equivariant family index theorem and equivariant eta forms

In this paper, we give proofs of the family index formula and the equivariant family index formula by the Greiner's approach to heat kernel asymptotics. We compute equivariant family JLO characters. We also define the equivariant eta form and give a proof of its regularity.

重温 Arnold 对 Morse 指数定理的拓扑证明

Revisiting Arnold's topological proof of the Morse index theorem

本文遵循并扩展 Arnold 的论文，利用 Maslov 指数阐述了 Riemannian 情形下的 Morse 指数定理，强调了证明中的 symplectic 论证并力求自洽。

A note on Morse's index theorem for Perelman's $\mathcal{L}$-length

This is essentially a note on Section 7 of Perelman's first paper on Ricci flow. We list some basic properties of the index form for Perelman's $ \mathcal{L} $-length, which are analogous to the ones in Riemannian case (with fixed metric), and observe that Morse's index theorem for Perelman's $\mathcal{L}$-length holds. As a corollary we get the finiteness of the number of the $\mathcal{L}$-conjugate points along a finite $\mathcal{L}$-geodesic.

An Index Theorem for Toeplitz Operators on Odd Dimensional Manifolds with Boundary

We establish an index theorem for Toeplitz operators on odd dimensional spin manifolds with boundary. It may be thought of as an odd dimensional analogue of the Atiyah-Patodi-Singer index theorem for Dirac operators on manifolds with boundary. In particular, there occurs naturally an invariant of $η$ type associated to $K^1$ representatives on even dimensional manifolds, which should be of independent interests. For example, it gives an intrinsic interpretation of the so called Wess-Zumino term in the WZW theory in physics.

An absolute version of the Gromov-Lawson relative index theorem

A Dirac operator on a complete manifold is Fredholm if it is invertible outside a compact set. Assuming a compact group to act on all relevant structure, and the manifold to have a warped product structure outside such a compact set, we express the equivariant index of such a Dirac operator as an Atiyah-Segal-Singer type contribution from inside this compact set, and a contribution from outside this set. Consequences include equivariant versions of the relative index theorem of Gromov and Lawson, in the case of manifolds with warped product structures at infinity, and the Atiyah-Patodi-Singer …

The Morse index theorem for regular Lagrangian systems

In this paper, we prove a Morse index theorem for the index form of regular Lagrangian system with selfadjoint boundary condition.

A K-Theoretic Proof of the Morse Index Theorem in Semi-Riemannian Geometry

We give a short proof of the Morse index theorem for geodesics in semi-Riemannian manifolds by using K-theory. This makes the Morse index theorem reminiscent of the Atiyah-Singer index theorem for families of selfadjoint elliptic operators.

A mod 2 index theorem for pin$^-$ manifolds

We establish a mod 2 index theorem for real vector bundles over 8k+2 dimensional compact pin$^-$ manifolds. The analytic index is the reduced $η$ invariant of (twisted) Dirac operators and the topological index is defined through $KO$-theory. Our main result extends the mod 2 index theorem of Atiyan and Singer to non-orientable manifolds.

The Equivariant Noncommutative Atiyah-Patodi-Singer Index Theorem

In [Wu], the noncommutative Atiyah-Patodi-Singer index theorem was proved. In this paper, we extend this theorem to the equivariant case.

A note on Atiyah's $Γ$-index theorem in Heisenberg calculus

In this note, we prove an index theorem on Galois covering for Heisenberg elliptic differential operators, which is not elliptic, analogous to Atiyah's $Γ$-index theorem. This note also contains an example of Heisenberg differential operators with non-trivial $Γ$-index.

Local index theorem for projective families

We give a superconnection proof of the cohomological form of Mathai-Melrose-Singer index theorem for the family of twisted Dirac operators under relaxed conditions.

A generalized Morse index theorem

In this paper, we prove a Morse index theorem for the index form of even order linear Hamiltonian systems on the closed interval with reasonable self-adjoint boundary conditions. The highest order term is assumed to be nondegenerate.

A cyclic cocycle and relative index theorems on partitioned manifolds

In this paper, we extend Roe's cyclic $1$-cocycle to relative settings. We also prove two relative index theorems for partitioned manifolds by using its cyclic cocycle, which are generalizations of index theorems on partitioned manifolds. One of these theorems is a variant of [M. Karami-A.H.S. Sadegh-M.E. Zadeh, arXiv:1411.6090, Theorem 3.3].

Real embeddings and the Atiyah-Patodi-Singer index theorem for Dirac operators

We present the details of our embedding proof of the Atiyah-Patodi-Singer index theorem for Dirac operators on manifolds with boundary.

Relative Index Pairing and Odd Index Theorem for Even Dimensional Manifolds

We prove an analogue for even dimensional manifolds of the Atiyah-Patodi-Singer twisted index theorem for trivialized flat bundles. We show that the eta invariant appearing in this result coincides with the eta invariant by Dai and Zhang up to an integer. We also obtain the odd dimensional counterpart for manifolds with boundary of the relative index pairing by Lesch, Moscovici and Pflaum.

On an index theorem by Bismut

In this paper we give a proof of an index theorem by Bismut. As a consequence we obtain another proof of the Grothendieck-Riemann-Roch theorem in differential cohomology.

A K-theoretic L2-index theorem for families

This paper has been withdrawn due to a error in Theorem 3.1.

An index theorem for manifolds with boundary

In his book (II.5), Connes gives a proof of the Atiyah-Singer index theorem for closed manifolds by using deformation groupoids and appropiate actions of these on R^N. Following these ideas, we prove an index theorem for manifolds with boundary.

An Orbifold Relative Index Theorem

In this paper we prove a relative index theorem for pairs of generalized Dirac operators on orbifolds which are the same at infinity. This generalizes to orbifolds a celebrated theorem of Gromov and Lawson.

Heat kernels and the index theorems on even and odd dimensional manifolds

In this talk, we review the heat kernel approach to the Atiyah-Singer index theorem for Dirac operators on closed manifolds, as well as the Atiyah-Patodi-Singer index theorem for Dirac operators on manifolds with boundary. We also discuss the odd dimensional counterparts of the above results. In particular, we describe a joint result with Xianzhe Dai on an index theorem for Toeplitz operators on odd dimensional manifolds with boundary.

The Atiyah-Patodi-Singer index theorem for Dirac operators over C*-algebras

We prove an Atiyah-Patodi-Singer index theorem for Dirac operators twisted by C*-vector bundles. We use it to derive a general product formula for eta-forms and to define and study new rho-invariants generalizing Lott's higher rho-form. The higher Atiyah-Patodi-Singer index theorem of Leichtnam-Piazza can be recovered by applying the theorem to Dirac operators twisted by the Mishenko-Fomenko bundle associated to the reduced C*-algebra of the fundamental group.

An L^2-Index Theorem for Dirac Operators on S^1 * R^3

An expression is found for the $L^2$-index of a Dirac operator coupled to a connection on a $U_n$ vector bundle over $S^1\times{\mathbb R}^3$. Boundary conditions for the connection are given which ensure the coupled Dirac operator is Fredholm. Callias' index theorem is used to calculate the index when the connection is independent of the coordinate on $S^1$. An excision theorem due to Gromov, Lawson, and Anghel reduces the index theorem to this special case. The index formula can be expressed using the adiabatic limit of the $η$-invariant of a Dirac operator canonically associated to the boun…

图参数化最优控制问题的指标定理

Index theorems for graph-parametrized optimal control problems

本文针对图上约束变分问题建立Morse指标定理，给出两个Hessian指标差的计算公式，并证明迭代公式与指标下界等应用。

连续$C^*$-代数场背景下$\mathbb{R}^n$上的等变指标定理

Equivariant Index Theorem on $\mathbb{R}^n$ in the Context of Continuous Fields of $C^*$-algebras

本文利用连续$C^*$-代数场证明欧几里得空间上的等变指标定理，推广了Elliott-Natsume-Nest的结果，并给出$\mathbb{R}^{2n}$上Bott-Dirac算子等变指标的显式计算。

Index theorems for uniformly elliptic operators

We generalize Roe's index theorem for graded generalized Dirac operators on amenable manifolds to multigraded elliptic uniform pseudodifferential operators. The generalization will follow from a local index theorem that is valid on any manifold of bounded geometry. This local formula incorporates the uniform estimates present in the definition of uniform pseudodifferential operators.

Noncommutative topology and the world's simplest index theorem

This is an expository article. It discusses an approach to hypoelliptic Fredholm index theory based on noncommutative methods (groupoids, C*-algebras, K-theory). The paper starts with an explicit index theorem for scalar second order differential operators on 3-manifolds that are Fredholm but not elliptic. This low-brow index formula is expressed in terms of winding numbers. We then proceed to show how this theorem is a special case of a much more general index theorem for subelliptic operators on contact manifolds. Finally we discuss the noncommutative topology that is employed in the proof o…

A Hopf Index Theorem for foliations

We formulate and prove an analog of the Hopf Index Theorem for Riemannian foliations. We compute the basic Euler characteristic of a closed Riemannian manifold as a sum of indices of a non-degenerate basic vector field at critical leaf closures. The primary tool used to establish this result is an adaptation to foliations of the Witten deformation method.

Two nontrivial index theorems in odd dimensions

A recent anomaly computation of Horava and Witten is proved and generalized in the form of two index theorems in odd dimensions. Theorem A is a fixed point formula for orientation-reversing involutions. Theorem B is an index theorem for manifolds with boundary using local boundary conditions. Both hold for families of operators.

Von Neumann dimension, Hodge index theorem and geometric applications

This note contains a reformulation of the Hodge index theorem within the framework of Atiyah's $L^2$-index theory. More precisely, given a compact Kähler manifold $(M,h)$ of even complex dimension $2m$, we prove that $$σ(M)=\sum_{p,q=0}^{2m}(-1)^ph_{(2),Γ}^{p,q}(M)$$ where $σ(M)$ is the signature of $M$ and $h_{(2),Γ}^{p,q}(M)$ are the $L^2$-Hodge numbers of $M$ with respect to a Galois covering having $Γ$ as group of Deck transformations. Likewise we also prove an $L^2$-version of the Frölicher index theorem. Afterwards we give some applications of these two theorems and finally we conclude t…

Atiyah covering index theorem for riemannian foliations

We use the symbol calculus for foliations developed in our previous paper to derive a cohomological formula for the Connes-Chern character of the semi-finite spectral triple. The same proof works for the Type I spectral triple of Connes-Moscovici. The cohomology classes of the two Connes-Chern characters induce the same map on the image of the maximal Baum-Connes map in K-theory, thereby proving an Atiyah $L^2$ covering index theorem.

An index theorem on anti-self-dual orbifolds

An index theorem for the anti-self-dual deformation complex on anti-self-dual orbifolds with singularities conjugate to ADE-type is proved. In 1988, Claude Lebrun gave examples of scalar-flat Kähler ALE metrics with negative mass, on the total space of the bundle $\mathcal{O}(-n)$ over $S^2$. A corollary of this index theorem is that the moduli space of anti-self-dual ALE metrics near each of these metrics has dimension at least $4n-12$, and thus for $n \geq 4$ the LeBrun metrics admit a plethora of non-trivial anti-self-dual deformations.

Yet another proof of the Morse index theorem

We give a new analytical proof of the Morse index theorem for geodesics in Riemannian manifolds.

The relative index theorem for general first-order elliptic operators

The relative index theorem is proved for general first-order elliptic operators that are complete and coercive at infinity over measured manifolds. This extends the original result by Gromov-Lawson for generalised Dirac operators as well as the result of Bär-Ballmann for Dirac-type operators. The theorem is seen through the point of view of boundary value problems, using the graphical decomposition of elliptically regular boundary conditions for general first-order elliptic operators due to Bär-Bandara. Splitting, decomposition and the Phi-relative index theorem are proved on route to the rela…

Equivariant Chern Weil Forms and The Families Index Theorem

We apply the equivariance --> families principle to a geometric family of Clifford module bundles with an action of a compact Lie group G to prove an equivariant version of Bismut's families index theorem on the differential Borel quotient of the geometric family.

The transverse index theorem for proper cocompact actions of Lie groupoids

Given a proper, cocompact action of a Lie groupoid, we define a higher index pairing between invariant elliptic differential operators and smooth groupoid cohomology classes. We prove a cohomological index formula for this pairing by applying the van Est map and algebraic index theory. Finally we discuss in examples the meaning of the index pairing and our index formula.

A family index theorem for periodic Hamiltonian systems and bifurcation

We prove an index theorem for families of linear periodic Hamiltonian systems, which is reminiscent of the Atiyah-Singer index theorem for selfadjoint elliptic operators. For the special case of one-parameter families, we compare our theorem with a classical result of Salamon and Zehnder. Finally, we use the index theorem to study bifurcation of branches of periodic solutions for families of nonlinear Hamiltonian systems.

A Lie-algebraic approach to the local index theorem on compact homogeneous spaces

Using a K-theory point of view, Bott related the Atiyah-Singer index theorem for elliptic operators on compact homogeneous spaces to the Weyl character formula. This article explains how to prove the local index theorem for compact homogenous spaces using Lie algebra methods. The method follows in outline the proof of the local index theorem due to Berline and Vergne. But the use of Kostant's cubic Dirac operator in place of the Riemannian Dirac operator leads to substantial simplifications. An important role is also played by the quantum Weil algebra of Alekseev and Meinrenken.

A lattice version of the Atiyah-Singer index theorem

We formulate and prove a lattice version of the Atiyah-Singer index theorem. The main theorem gives a $K$-theoretic formula for an index-type invariant of operators on lattice approximations of closed integral affine manifolds. We apply the main theorem to an index problem of Wilson-Dirac operators in lattice gauge theory.

Understanding the index theorems with massive fermions

The index theorems relate the gauge field and metric on a manifold to the solution of the Dirac equation on it. In the standard approach, the Dirac operator must be massless in order to make the chirality operator well-defined. In physics, however, the index theorem appears as a consequence of chiral anomaly, which is an explicit breaking of the symmetry. It is then natural to ask if we can understand the index theorems in a massive fermion system which does not have chiral symmetry. In this review, we discuss how to reformulate the chiral anomaly and index theorems with massive Dirac operator…

An equivariant Atiyah-Patodi-Singer index theorem for proper actions I: the index formula

Consider a proper, isometric action by a unimodular locally compact group $G$ on a Riemannian manifold $M$ with boundary, such that $M/G$ is compact. For an equivariant, elliptic operator $D$ on $M$, and an element $g \in G$, we define a numerical index $\operatorname{index}_g(D)$, in terms of a parametrix for $D$ and a trace associated to $g$. We prove an equivariant Atiyah-Patodi-Singer index theorem for this index. We first state general analytic conditions under which this theorem holds, and then show that these conditions are satisfied if $g=e$ is the identity element; if $G$ is a finitel…