We compare the eigenvalues of the Dirac and Laplace operator on a two-dimensional torus with respect to the trivial spin structure. In particular, we compute their variation up to order 4 upon deformation of the flat metric, study the corresponding Hamiltonian and discuss several families of examples.
We obtain an asymptotic formula for the eigenvalue distribution function of the Laplace-Beltrami operator on the two-dimensional torus in the adiabatic limit given by a Kronecker foliation. Related problems in number theory are discussed.
Let $(M,g,σ)$ be a compact Riemmannian surface equipped with a spin structure $σ$. For any metric $\tilde{g}$ on $M$, we denote by $μ\_1(\tilde{g})$ (resp. $λ\_1(\tilde{g})$) the first positive eigenvalue of the Laplacian (resp. the Dirac operator) with respect to the metric $\tilde{g}$. In this paper, we show that $$\inf \frac{λ\_1(\tilde{g})^2}{μ\_1(\tilde{g})} \leqslant {1/2}.$$ where the infimum is taken over the metrics $\tilde{g}$ conformal to $g$. This answer a question asked by Agricola, Ammann and Friedrich
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.
Let $P$ be a non-negative self-adjoint Laplace type operator acting on sections of a hermitian vector bundle over a closed Riemannian manifold. In this paper we review the close relations between various $P$-related coefficients such as the mollified spectral counting coefficients, the heat trace coefficients, the resolvent trace coefficients, the residues of the spectral zeta function as well as certain Wodzicki residues. We then use the Wodzicki residue to obtain results about the local counting function of operators of Dirac and Laplace type. In particular, we express the second term of the…
In this paper we present an explicit construction for the fundamental solution to the Dirac and Laplace operator on some non-orientable conformally flat manifolds. We first treat a class of projective cylinders and tori where we can study monogenic sections with values in different pin bundles. Then we discuss the Möbius strip, the Klein bottle and higher dimensional generalizations of them. We present integral representation formulas together with some elementary tools of harmonic analysis on these manifolds.
We consider nearly Kähler 6-manifolds with effective 2-torus symmetry. The multi-moment map for the $T^2$-action becomes an eigenfunction of the Laplace operator. At regular values, we prove the $T^2$-action is necessarily free on the level sets and determines the geometry of three-dimensional quotients. An inverse construction is given locally producing nearly Kähler six-manifolds from three-dimensional data. This is illustrated for structures on the Heisenberg group.
In this paper, we get estimates on the higher eigenvalues of the Dirac operator on locally reducible Riemannian manifolds, in terms of the eigenvalues of the Laplace-Beltrami operator and the scalar curvature. These estimates are sharp, in the sense that, for the first eigenvalue, they reduce to the result of Alexandrov.
We prove that the nodal set (zero set) of a solution of a generalized Dirac equation on a Riemannian manifold has codimension 2 at least. If the underlying manifold is a surface, then the nodal set is discrete. We obtain a quick proof of the fact that the nodal set of an eigenfunction for the Laplace-Beltrami operator on a Riemannian manifold consists of a smooth hypersurface and a singular set of lower dimension. We also see that the nodal set of a $Δ$-harmonic differential form on a closed manifold has codimension 2 at least; a fact which is not true if the manifold is not closed. Examples s…
A conformal immersion of a 2-torus into the 4-sphere is characterized by an auxiliary Riemann surface, its spectral curve. This complex curve encodes the monodromies of a certain Dirac type operator on a quaternionic line bundle associated to the immersion. The paper provides a detailed description of the geometry and asymptotic behavior of the spectral curve. If this curve has finite genus the Dirichlet energy of a map from a 2-torus to the 2-sphere or the Willmore energy of an immersion from a 2-torus into the 4-sphere is given by the residue of a specific meromorphic differential on the cur…
We present a generalization of the Clifford action for other representations spaces of $Spin(n)$, which is called the Clifford homomorphism. Their properties extend to the ones for the higher spin Dirac operators on spin manifolds. In particular, we have general Bochner identities for them, and an eigenvalue estimate of a Laplace type operator on any associated bundle.
We discuss a peculiar interplay between the representation theory of the holonomy group of a Riemannian manifold, the Weitzenboeck formula for the Hodge-Laplace operator on forms and the Lichnerowicz formula for twisted Dirac operators. For quaternionic Kaehler manifolds this leads to simple proofs of eigenvalue estimates for Dirac and Laplace operators. Moreover it enables us to determine which representations can contribute to harmonic forms. As a corollary we prove the vanishing of certain odd Betti numbers on compact quaternionic Kaehler manifolds of negative scalar curvature. We simplify …
We construct the spectral curve and the Baker--Akhiezer function for the Dirac operator which corresponds to the Clifford torus via the Weierstrass representation. By constructing this Baker--Akhiezer function we demonstrate a general procedure for constructing Dirac operators and their Baker--Akhiezer functions corresponding to singular spectral curves
Consider the massless Dirac operator on a 3-torus equipped with Euclidean metric and standard spin structure. It is known that the eigenvalues can be calculated explicitly: the spectrum is symmetric about zero and zero itself is a double eigenvalue. The aim of the paper is to develop a perturbation theory for the eigenvalue with smallest modulus with respect to perturbations of the metric. Here the application of perturbation techniques is hindered by the fact that eigenvalues of the massless Dirac operator have even multiplicity, which is a consequence of this operator commuting with the anti…
This paper is the third of the series concerning the localization of the index of Dirac-type operators. In our previous papers we gave a formulation of index of Dirac-type operators on open manifolds under some geometric setting, whose typical example was given by the structure of a torus fiber bundle on the ends of the open manifolds. We introduce two equivariant versions of the localization. As an application we give a proof of Guillemin-Sternberg's quantization conjecture in the case of torus action.
We give a formulation of a deformation of Dirac operator along orbits of a group action on a possibly non-compact manifold to get an equivariant index and a K-homology cycle representing the index. We apply this framework to non-compact Hamiltonian torus manifolds to define geometric quantization from the view point of index theory. We give two applications. The first one is a proof of a [Q,R]=0 type theorem, which can be regarded as a proof of the Vergne conjecture for Abelian case. The other is a Danilov-type formula for toric case in the non-compact setting, which shows that this geometric …
We give a framework of localization for the index of a Dirac-type operator on an open manifold. Suppose the open manifold has a compact subset whose complement is covered by a family of finitely many open subsets, each of which has a structure of the total space of a torus bundle. Under an acyclic condition we define the index of the Dirac-type operator by using the Witten-type deformation, and show that the index has several properties, such as excision property and a product formula. In particular, we show that the index is localized on the compact set.
We re-visit the eigenvalue estimate of the Dirac operator on spin manifolds with boundary in terms of the first eigenvalues of conformal Laplace operator as well as the conformal mean curvature operator. These problems were studied earlier by Hijazi-Montiel-Zhang and Raulot and we re-prove them under weaker assumption that a boundary chirality operator exists. Moreover, on these spin manifolds with boundary, we show that any $C^{3,α}$ conformal compactification of some Poincare-Einstein metric must be the standard hemisphere when the first nonzero eigenvalue of the Dirac operator achieves its …
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 show how to assign to any immersed torus in $\R^3$ or $S^3$ a Riemann surface such that the immersion is described by functions defined on this surface. We call this surface the spectrum or the spectral curve of the torus. The spectrum contains important information about conformally invariant properties of the torus and, in particular, relates to the Willmore functional. We propose a simple proof that for isothermic tori in $\R^3$ (this class includes constant mean curvature tori and tori of revolution) the spectrum is invariant with respect to conformal transformations of $\R^3$. We show …
We prove lower Dirac eigenvalue bounds for closed surfaces with a spin structure whose Arf invariant equals 1. Besides the area only one geometric quantity enters in these estimates, the spin-cut-diameter which depends on the choice of spin structure. It can be expressed in terms of various distances on the surfaces or, alternatively, by stable norms of certain cohomology classes. In case of the 2-torus we obtain a positive lower bound for all Riemannian metrics and all nontrivial spin structures. The corresponding estimate also holds for the $L^2$-spectrum of the Dirac operator on a noncompac…
We show that tensoring the Laplace and Dolbeault-Dirac operators of a Kähler structure (with closed integral) by a negative Hermitian holomorphic module, produces operators with spectral gaps around zero. The proof is based on the recently established Akizuki-Nakano identity of a noncommutative Kähler structure. This general framework is then applied to the Heckenberger-Kolb calculi of the irreducible quantum flag manifolds, and it is shown that twisting their Dirac and Laplace operators by negative line bundles produces a spectral gap, for q sufficiently close to 1. The main technical challen…
We prove upper and lower bounds for the eigenvalues of the Dirac operator and the Laplace operator on 2-dimensional tori. In particluar we give a lower bound for the first eigenvalue of the Dirac operator for non-trivial spin structures. It is the only explicit estimate for eigenvalues of the Dirac operator known so far that uses information about the spin structure. As a corollary we obtain lower bounds for the Willmore functional of a torus embedded into S_3. In the final section we compare Dirac spectra for two different spin structures on an arbitrary Riemannian spin manifold.
We compute the curvature of the determinant line bundle on a family of Dirac operators for a noncommutative two torus. Following Quillen's original construction for Riemann surfaces and using zeta regularized determinant of Laplacians, one can endow the determinant line bundle with a natural Hermitian metric. By using an analogue of Kontsevich-Vishik canonical trace, defined on Connes' algebra of classical pseudodifferential symbols for the noncommutative two torus, we compute the curvature form of the determinant line bundle by computing the second variation $δ_{w}δ_{\bar{w}}\log\det(Δ)$.
We study how the spin structures on finite-volume hyperbolic n-manifolds restrict to cusps. When a cusp cross-section is a (n-1)-torus, there are essentially two possible behaviours: the spin structure is either bounding or Lie. We show that in every dimension n there are examples where at least one cusp is Lie, and in every dimension n <= 8 there are examples where all the cusps are bounding. By work of C. Bar, this implies that the spectrum of the Dirac operator is R in the first case, and discrete in the second. We therefore deduce that there are cusped hyperbolic manifolds whose spectrum o…
We prove stability estimates for the isoperimetric inequalities for the first and the second nonzero Laplace eigenvalues on surfaces, both globally and in a fixed conformal class. We employ the notion of eigenvalues of measures and show that if a normalized eigenvalue is close to its maximal value, the corresponding measure must be close in the Sobolev space $W^{-1,2}$ to the set of maximizing measures. In particular, this implies a qualitative stability result: metrics almost maximizing the normalized eigenvalue must be $W^{-1,2}$-close to a maximal metric. Following this approach, we prove s…
On a compact Kähler manifold there is a canonical action of a Lie-superalgebra on the space of differential forms. It is generated by the differentials, the Lefschetz operator and the adjoints of these operators. We determine the asymptotic distribution of irreducible representations of this Lie-superalgebra on the eigenspaces of the Laplace-Beltrami operator. Because of the high degree of symmetry the Laplace-Beltrami operator on forms can not be quantum ergodic. We show that after taking these symmetries into account quantum ergodicity holds for the Laplace-Beltrami operator and for the Spin…
We factorize the Dirac operator on the Connes-Landi 4-sphere in unbounded KK-theory. We show that a family of Dirac operators along the orbits of the torus action defines an unbounded Kasparov module, while the Dirac operator on the principal orbit space -an open quadrant in the 2-sphere- defines a half-closed chain. We show that the tensor sum of these two operators coincides up to unitary equivalence with the Dirac operator on the Connes-Landi sphere and prove that this tensor sum is an unbounded representative of the interior Kasparov product in bivariant K-theory. We also generalize our re…
It is postulated that quantum gravity is a sum over causal structures coupled to matter via scale evolution. Quantized causal structures can be described by studying simple matrix models where matrices are replaced by an algebra of quantum mechanical observables. In particular, previous studies constructed quantum gravity models by quantizing the moduli of Laplace, weight and defining-function operators on Fefferman-Graham ambient spaces. The algebra of these operators underlies conformal geometries. We extend those results to include fermions by taking an osp(1|2) "Dirac square root" of these…
Let $(M,g)$ be a connected, closed, orientable Riemannian surface and denote by $λ_k(M,g)$ the $k$-th eigenvalue of the Laplace-Beltrami operator on $(M,g)$. In this paper, we consider the mapping $(M, g)\mapsto λ_k(M,g)$. We propose a computational method for finding the conformal spectrum $Λ^c_k(M,[g_0])$, which is defined by the eigenvalue optimization problem of maximizing $λ_k(M,g)$ for $k$ fixed as $g$ varies within a conformal class $[g_0]$ of fixed volume $textrm{vol}(M,g) = 1$. We also propose a computational method for the problem where $M$ is additionally allowed to vary over surfac…