We study the behavior of the spectrum of the Dirac operator on collapsing S^1-bundles. Convergent eigenvalues will exist if and only if the spin structure is projectable.
We compute the spectrum of the Dirac operator on 3-dimensional Heisenberg manifolds. The behavior under collapse to the 2-torus is studied. Depending on the spin structure either all eigenvalues tend to $\pm\infty$ or there are eigenvalues converging to those of the torus. This is shown to be true in general for collapsing circle bundles with totally geodesic fibers. Using the Hopf fibration we use this fact to compute the Dirac eigenvalues on complex projective space including the multiplicities. Finally, we show that there are 1-parameter families of Riemannian nilmanifolds such that the Lap…
We study the line bundle mean curvature flow on Kähler surfaces under the hypercritical phase and a certain semipositivity condition. We naturally encounter such a condition when considering the blowup of Kähler surfaces. We show that the flow converges smoothly to a singular solution to the deformed Hermitian-Yang-Mills equation away from a finite number of curves of negative self-intersection on the surface. As an application, we obtain a lower bound of a Kempf-Ness type functional on the space of potential functions satisfying the hypercritical phase condition.
In this paper we study collapsing sequences M_{i}-> X of Riemannian manifolds with curvature bounded or bounded away from a controlled subset. We introduce a structure over X which in an appropriate sense is dual to the N-structure of Cheeger, Fukaya and Gromov. As opposed to the N-structure, which live over the M_{i} themselves, this structure lives over X and allows for a convenient notion of global convergence as well as the appropriate background structure for doing analysis on X. This structure is new even in the case of uniformly bounded curvature and as an application we give a generali…
We analyze the limit of the spectrum of a geometric Dirac-type operator under a collapse with bounded diameter and bounded sectional curvature. In the case of a smooth limit space B, we show that the limit of the spectrum is given by the spectrum of a certain first-order differential operator on B, which can be constructed using superconnections. In the case of a general limit space X, we express the limit operator in terms of a transversally elliptic operator on a G-space Y, with X = Y/G. As an application, we give a characterization of manifolds which do not admit uniform upper bounds, in te…
We introduce the notions of Chern-Dirac bundles and Chern-Dirac operators on Hermitian manifolds. They are analogues of classical Dirac bundles and Dirac operators, with Levi-Civita connection replaced by Chern connection. We then show that the tensor product of canonical and the anticanonical spinor bundles, called V-spinor bundle, is a bigraded Chern-Dirac bundle with spaces of harmonic spinors isomorphic to the full Dolbeault cohomology class. A similar construction establishes isomorphisms between other types of harmonic spinors and Bott-Chern, Aeppli and twisted cohomology.
We provide a measure based topology for certain unions of C2 rectifiable submanifolds of mixed dimensions in Rn. In this topology lower dimensional sets remain in the limit as measures when higher dimensional sets collapse down to them. For example a decreasing sequence of spheres may have a limit consisting of just a point. The n-1 dimensional space of outward pointing vectors can be used for such a measure. It represents all C2 rectifiable sets of codimension at least one of Rn as rectifiable sets in RnXSn-1 with n-1 dimensional Hausdorff measure. When viewed as (n-1)-rectifiable varifolds o…
We study the asymptotic of the spectrum of the \spin Dirac operator on high tensor powers of a line bundle. As application, we get a simple proof of the main result of Guillemin-Uribe, which was originally proved by using the analysis of Toeplitz operators of Boutet de Monvel and Guillemin.
We prove an analogue of the Kobayashi-Hitchin correspondence oncompact connected 3-folds that is fibered on orbifold Riemann surfaces and satisfy an integrability condition, which contains compact connected Sasakian 3-folds. We define mini-holomorphic bundles on such 3-folds and the algebraic Dirac-type singularities on mini-holomorphic bundles, and prove that there exists a special Hermitian metric (admissible BHE-metric) on a Dirac-type singular mini-holomorphic bundle if the bundle satisfies a slope stability.
Let M^n be a compact n-dimensional principal T^k-bundle. We consider collapsings of M on N=M/T^k such that the diameter and sectional curvature of M satisfy diam(M)<d and |K(M)|<a, and give examples of collapsings for all k such that the first non-zero eigenvalue of Laplacian acting on 1-forms and 2-forms of M are bounded above by c(M).inj(M)^2k. Moreover, we prove that the first non-zero eigenvalue of 1-form Laplacian of all T^k-bundle M over N is bounded below by c(n,d,a,N).Vol(M)^2 and c.inj(M)^2k when M collapses on N.
A Dirac structure on a vector bundle V is a maximal isotropic subbundle E of the direct sum of V with its dual. We show how to associate to any Dirac structure a Dixmier-Douady bundle A, that is, a Z/2Z-graded bundle of C*-algebras with typical fiber the compact operators on a Hilbert space. The construction has good functorial properties, relative to Morita morphisms of Dixmier-Douady bundles. As applications, we show that the `spin' Dixmier-Douady bundle over a compact, connected Lie group (as constructed by Atiyah-Segal) is multiplicative, and we obtain a canonical `twisted Spin-c-structure…
We give sufficient conditions for the existence of a Dirac structure on the total space of a Poisson fiber bundle endowed with a compatible connection. We also show that Cartan and Cartan-Hannay-Berry connections give rise to coupling Dirac structures.
Not only the Dirac operator, but also the spinor bundle of a pseudo-Riemannian manifold depends on the underlying metric. This leads to technical difficulties in the study of problems where many metrics are involved, for instance in variational theory. We construct a natural finite dimensional bundle, from which all the metric spinor bundles can be recovered including their extra structure. In the Lorentzian case, we also give some applications to Einstein-Dirac-Maxwell theory as a variational theory and show how to coherently define a maximal Cauchy development for this theory.
We derive upper eigenvalue bounds for the Dirac operator of a closed hypersurface in a manifold with Killing spinors such as Euclidean space, spheres or hyperbolic space. The bounds involve the Willmore functional. Relations with the Willmore inequality are briefly discussed. In higher codimension we obtain bounds on the eigenvalues of the Dirac operator of the submanifold twisted with the spinor bundle of the normal bundle.
The aim of this paper is to prove a normal form Theorem for Dirac-Jacobi bundles using the recent techniques from Bursztyn, Lima and Meinrenken. As the most important consequence, we can prove the splitting theorems of Jacobi pairs which was proposed by Dazord, Lichnerowicz and Marle. As an application we provide a alternative proof of the splitting theorem of homogeneous Poisson structures.
Operator fields in the bundle of Dirac spinors and their conversion to spatial fields are considered. Some commutator equations are studied with the use of the conversion technique.
We show that a suitable notion of Dirac-Jacobi structure on a generic line bundle $L$, is provided by Dirac structures in the omni-Lie algebroid of $L$. Dirac-Jacobi structures on line bundles generalize Wade's $\mathcal E^1 (M)$-Dirac structures and unify generic (i.e.~non-necessarily coorientable) precontact distributions, Dirac structures and local Lie algebras with one dimensional fibers in the sense of Kirillov (in particular, Jacobi structures in the sense of Lichnerowicz). We study the main properties of Dirac-Jacobi structures and prove that integrable Dirac-Jacobi structures on line-b…
We present a clear-cut example of the importance of the functorial approach of gauge-natural bundles and the general theory of Lie derivatives for classical field theory, where the sole correct geometrical formulation of Einstein (-Cartan) gravity coupled with Dirac fields gives rise to an unexpected indeterminacy in the concept of conserved quantities.
It is known that the bundle of Dirac spinors is produced as a direct sum of two bundles - the bundle of chiral spinors and its Hermitian conjugate bundle. In this paper some aspects of metric connections for chiral and Dirac spinors are resumed and their relation is studied.
We compute eta invariants of various Dirac type operators on circle bundles over Riemann surfaces via two approaches: an adiabatic approach based on the results of Bismut-Cheeger-Dai and a direct elementary one. These results, coupled with some delicate spectral flow computations are then used to determine the virtual dimensions of Seiberg-Witten finite energy moduli spaces on any 4-manifold bounding unions of circle bundles. This belated paper should be regarded as the analytical backbone of dg-ga/9711006. There, we indicated only what changes are needed to extend the methods of the present p…
Two explicit formulas for metric connections in the bundle of Dirac spinors are studied. Their equivalence is proved. The explicit formula relating the spinor curvature tensor with the Riemann curvature tensor is rederived.
In order to facilitate the comparison of Riemannian homogeneous spaces of compact Lie groups with noncommutative geometries ("quantizations") that approximate them, we develop here the basic facts concerning equivariant vector bundles and Dirac operators over them in a way that uses only global constructions and arguments. Our approach is quite algebraic, using primarily the modules of cross-sections of vector bundles. We carry the development through the construction of Hodge--Dirac operators. The inducing construction is ubiquitous.
A Dirac bundle is a euclidean bundle over a riemannian manifold $M$ which is a compatible left $C\ell(M)$-module, together with a metric connection also compatible with the Clifford action in a natural way. We prove some vanishing theorems and introduce the twistor equation within this framework. In particular, we exhibit a characterization of solutions for this equation in terms of the Dirac operator $D$ and a suitable Weitzenböck-type curvature operator $\mathcal{R}$. Finally, we analyze the especial case of the Clifford bundle to prove existence of nontrivial solutions of the twistor equati…
Using properties of the determinant line bundle for a family of elliptic boundary value problems, we explain how the Fock space functor defines an axiomatic quantum field theory which formally models the Fermionic path integral. The 'sewing axiom' of the theory arises as an algebraic pasting law for the determinant of the Dirac operator. We show how representations of the boundary gauge group fit into this description and that this leads to a Fock functor description of certain gauge anomalies.
The article considers some concrete solutions to the Dirac equation coupled to a vector bundle with connection, arising in the study of Yang-Mills equations and vector bundles on Riemann surfaces.
We study general conditions under which the computations of the index of a perturbed Dirac operator $D_{s}=D+sZ$ localize to the singular set of the bundle endomorphism $Z$ in the semi-classical limit $s\to \infty $. We show how to use Witten's method to compute the index of $D$ by doing a combinatorial computation involving local data at the nondegenerate singular points of the operator $Z$. In particular, we provide examples of novel deformations of the de Rham operator to establish new results relating the Euler characteristic of a spin$^{c}$ manifold to maps between its even and odd spinor…
Based on the observation that Cacic [10]'s characterization of almost commutative spectral triples as Clifford module bundles can be pushed to endomorphim algebras of Dirac bundles, with the geometric Dirac operator related to the Dirac operator of the spectral triple by a perturbation, the question of complete positivity of the heat semigroups generated by connection laplacian and Dirac and Kostant's cubic Dirac laplacians is approached using spin geometry and C *-Dirichlet forms. The geometric heat semigroups for on endomorphosm algebras of spinor bundles are shown to be quantum dynamical se…
This paper develops a weighted $L^2$-method for the (half) Dirac equation. For Dirac bundles over closed Riemann surfaces, we give a sufficient condition for the solvability of the (half) Dirac equation in terms of a curvature integral. Applying this to the Dolbeault-Dirac operator, we establish an automatic transversality criteria for holomorphic curves in Kähler manifolds. On compact Riemannian manifolds, we give a new perspective on some well-known results about the first eigenvalue of the Dirac operator, and improve the estimates when the Dirac bundle has a $Z_2$-grading. On Riemannian man…
The well known conformal covariance of the Dirac operator acting on spinor fields over a semi Riemannian spin manifold does not extend to powers thereof in general. For odd powers one has to add lower order curvature correction terms in order to obtain conformal covariance. We derive an algorithmic construction in terms of associated tractor bundles to compute these correction terms. Depending on the signature of the semi Riemannian manifold in question, the obtained conformal powers of the Dirac operator turn out to be formally self-adjoint with respect to the $L^2-$scalar product, or formall…
We write down the local equations that characterize the submanifolds N of a Dirac manifold M which have a normal bundle that is either a coisotropic or an isotropic submanifold of TM endowed with the tangent Dirac structure. In the Poisson case, these formulas prove again a result of Xu: the submanifold N has a normal bundle which is a coisotropic submanifold of TM with the tangent Poisson structure iff N is a Dirac submanifold. In the presymplectic case, it is the isotropy of the normal bundle which characterizes the corresponding notion of a Dirac submanifold. On the way, we give a simple de…
Given a vector bundle $A$ over a smooth manifold $M$ such that the square root $\mathcal{L}$ of the line bundle $\wedge^{\mathrm{top}}A^\ast \otimes \wedge^{\mathrm{top}}T^\ast M$ exists, the Clifford bundle associated to the split pseudo-Euclidean vector bundle $(E = A \oplus A^\ast, \langle \cdot, \cdot \rangle)$, admits a spinor bundle $\wedge^\bullet A \otimes \mathcal{L}$, whose section space can be thought of as that of Berezinian half-densities of the graded manifold $A^\ast[1]$. We give an explicit construction of Dirac generating operators of split Courant algebroid (or proto-bialgebr…
Although conservative Hamiltonian systems with constraints can be formulated in terms of Dirac structures, a more general framework is necessary to cover also dissipative systems such as gradient and metriplectic systems with constraints. We define Leibniz-Dirac structures which lead to a natural generalization of Dirac and Riemannian structures, for instance. From modeling point of view, Leibniz-Dirac structures make it easy to formulate implicit dissipative Hamiltonian systems. We give their exact characterization in terms of bundle maps from the tangent bundle to the cotangent bundle and vi…
In this paper, we prove the invariance of the spectrum of the basic Dirac operator defined on a Riemannian foliation $(M,\mathcal{F})$ with respect to a change of bundle-like metric. We then establish new estimates for its eigenvalues on spin flows in terms of the O'Neill tensor and the first eigenvalue of the Dirac operator on $M$. We discuss examples and also define a new version of the basic Laplacian whose spectrum does not depend on the choice of bundle-like metric.
We show that, in round spheres of dimension $n\geq3$, for any given collection of codimension 2 smooth submanifolds $\mathfrak{S}:=\{Σ_1,...,Σ_N\}$ of arbitrarily complicated topology ($N$ being the complex dimension of the spinor bundle), there is always an eigenfunction $ψ=(ψ_1,...,ψ_N)$ of the Dirac operator such that each submanifold $Σ_a$, modulo ambient diffeomorphism, is a structurally stable nodal set of the spinor component $ψ_a$. The result holds for any choice of trivialization of the spinor bundle. The emergence of these structures takes place at small scales and sufficiently high …
We develop notions of twisted spinor bundle and twisted pre-quantum bundle on quasi-Hamiltonian G-spaces. The main result of this paper is that we construct a Dirac operator with index given by positive energy representation of loop group. This generalizes the quantization of Hamiltonian $G$-spaces to quasi-Hamiltonian G-spaces.
The Courant bracket defined originally on the sections of the vector bundle $TM \oplus T^*M \to M$ is extended to the direct sum of the 1-jet vector bundle and its dual. The extended bracket allows to interpret many structures encountered in differential geometry in terms of Dirac structures. We give here a new approach to conformal Jacobi structures.
A universal lower bound for the first positive eigenvalue of the Dirac operator on a compact quaternionic Kaehler manifold M of positive scalar curvature is calculated. It is shown that it is equal to the first positive eigenvalue on the quaternionic projective space. For this, the horizontal tangent bundle on the canonical SO(3)-bundle over M is equipped with a hyperkaehlerian structure and the corresponding splitting of the horizontal spinor bundle is considered. The desired estimate is obtained by looking at hyperkaehlerian twistor operators on horizontal spinors.
It is shown that the determinant line bundle associated to a family of Dirac operators over a closed partitioned manifold has a canonical Hermitian metric with compatible connection whose curvature satisfies an additivity formula with contributions from the families of Dirac operators over the two halves. This curvature form is the natural differential representative which satisifies the same splitting principle as the Chern class of the determinant line bundle.
We obtain a vanishing theorem for the kernel of a Dirac operator on a Clifford module twisted by a sufficiently large power of a line bundle, whose curvature is non-degenerate at any point of the base manifold. In particular, if the base manifold is almost complex, we prove a vanishing theorem for the kernel of a $\spin^c$ Dirac operator twisted by a line bundle with curvature of a mixed sign. In this case we also relax the assumption of non-degeneracy of the curvature. These results are generalization of a vanishing theorem of Borthwick and Uribe. As an application we obtain a new proof of th…
We consider Dirac operators on odd-dimensional compact spin manifolds which are twisted by a product bundle. We show that the space of connections on the twisting bundle which yield an invertible operator has infinitely many connected components if the untwisted Dirac operator is invertible and the dimension of the twisting bundle is sufficiently large.
Starting from an even definite lattice, we construct a principal circle bundle covered by a certain three-step nilpotent Lie group G. On the base space, which is again a nilmanifold, we then study the Dirac operator twisted by the associated complex line bundles. Noting that the whole situation fibers over the circle, we are able to determine the reduced eta-invariant of these Dirac operators in the adiabatic limit. As an application, we consider the total space of the circle bundle, equipped with a parallelism induced by G, as an element in the stable homotopy groups of the sphere and use the…
We present a unified approach to constrained implicit Lagrangian and Hamiltonian systems based on the introduced concept of Dirac algebroid. The latter is a certain almost Dirac structure associated with the Courant algebroid on the dual $E^\ast$ to a vector bundle $E$. If this almost Dirac structure is integrable (Dirac), we speak about a Dirac-Lie algebroid. The bundle $E$ plays the role of the bundle of kinematic configurations (quasi-velocities), while the bundle $E^\ast$ - the role of the phase space. This setting is totally intrinsic and does not distinguish between regular and singular …
In this paper, we construct a smooth vector bundle over the deformation to the normal cone $\text{DNC}(V,M)$ through a rescaling of a vector bundle $E\to V$, which generalizes the construction of the spinor rescaled bundle over the tangent groupoid by Nigel Higson and Zelin Yi. We also provide an equivariant version of their construction. As the main application, we recover the Kirillov character formula for the equivariant index of Dirac-type operators. As another application, we get an equivariant generalization of the description of the Witten and the Novikov deformations of the de Rham-Dir…
This is a survey article on a known generalization of Dirac-type operators to transverse operators called basic Dirac operators on Riemannian foliations, which are smooth foliations that have a transverse geometric structure. Construction of these operators requires the additional structure of what is called a bundle-like metric. We explain the result by Habib-R. that the spectrum of such an operator is independent of the choice of bundle-like metric, provided that the transverse geometric structure is fixed. We discuss consequences, which include defining a new version of the exterior derivat…
Let $(M,g)$ be a pseudo-Riemannian manifold of signature $(p,q)$. We compute the obstruction for a vector bundle $S$ over $(M,g)$ to admit a Dirac operator whose principal symbol induces on $S$ the structure of a bundle of irreducible real Clifford modules of complex type, that is, a real spinor bundle of irreducible complex type. In order to do this, we use the theory of Lipschitz structures in signature $p-q\equiv_8 3,7$ to reformulate the problem as the obstruction problem for $(M,g)$ to admit a $\mathrm{Spin}^{o}_α$ structure with $α= -1$ if $p-q \equiv_{8} 3$ or $α= +1$ if $ p-q \equiv_{8…
We use Dirac operator techniques to establish a sharp lower bound for the first eigenvalue of the twisted Dolbeault Laplacian on holomorphic line bundles over compact Kähler manifolds.
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.
Recently, for a family of ungraded Dirac operators over some space $B$ J. Lott constructed an index gerbe. In the present paper we show (in analogy to the holonomy formula for the determinant bundle in the graded case) that the holonomy of the index gerbe (a priori a hermitean line bundle with connection over the free loop space $LB$) coincides with an adiabatic limit of determinant bundles of an associated family of graded Dirac operators over $LB$.
In this work, we use the Sternberg phase space (which may be considered as the classical phase space of particles in gauge fields) in order to explore the dynamics of such particles in the context of Hamilton-Dirac systems and their associated Hamilton-Pontryagin variational principles. For this, we develop an analogue of the Pontryagin bundle in the case of the Sternberg phase space. Moreover, we show the link of this new bundle to the so-called magnetized Tulczyjew triple, which is an analogue of the link between the Pontryagin bundle and the usual Tulczyjew triple. Taking advantage of the s…
In the first part of this paper, given a smooth family of Dirac-type operators on an odd-dimensional closed manifold, we construct an abelian gerbe-with-connection whose curvature is the three-form component of the Atiyah-Singer families index theorem. In the second part of the paper, given a smooth family of Dirac-type operators whose index lies in the i-th filtration of the reduced K-theory of the parametrizing space, we construct a set of Deligne cohomology class of degree i whose curvatures are the i-form component of the Atiyah-Singer families index theorem.
We study the higher spin Dirac operators on 3-dimensional manifolds and show that there exist two Laplace type operators for each associated bundle. Furthermore, we give lower bound estimations for the first eigenvalues of these Laplace type operators.