• ### An index theorem for Lorentzian manifolds with compact spacelike Cauchy boundary(1506.00959)

Sept. 28, 2019 math.DG
We show that the Dirac operator on a compact globally hyperbolic Lorentzian spacetime with spacelike Cauchy boundary is a Fredholm operator if appropriate boundary conditions are imposed. We prove that the index of this operator is given by the same expression as in the index formula of Atiyah-Patodi-Singer for Riemannian manifolds with boundary. The index is also shown to equal that of a certain operator constructed from the evolution operator and a spectral projection on the boundary. In case the metric is of product type near the boundary a Feynman parametrix is constructed.
• ### Gupta-Bleuler Quantization of the Maxwell Field in Globally Hyperbolic Space-Times(1307.1632)

Nov. 15, 2017 math.DG, math.AP, math-ph, math.MP, gr-qc
We give a complete framework for the Gupta-Bleuler quantization of the free electromagnetic field on globally hyperbolic space-times. We describe one-particle structures that give rise to states satisfying the microlocal spectrum condition. The field algebras in the so-called Gupta-Bleuler representations satisfy the time-slice axiom, and the corresponding vacuum states satisfy the microlocal spectrum condition. We also give an explicit construction of ground states on ultrastatic space-times. Unlike previous constructions, our method does not require a spectral gap or the absence of zero modes. The only requirement, the absence of zero-resonance states, is shown to be stable under compact perturbations of topology and metric. Usual deformation arguments based on the time-slice axiom then lead to a construction of Gupta-Bleuler representations on a large class of globally hyperbolic space-times. As usual, the field algebra is represented on an indefinite inner product space, in which the physical states form a positive semi-definite subspace. Gauge transformations are incorporated in such a way that the field can be coupled perturbatively to a Dirac field. Our approach does not require any topological restrictions on the underlying space-time.
• ### Computation of Eigenvalues, Spectral Zeta Functions and Zeta-Determinants on Hyperbolic Surfaces(1604.02722)

Sept. 8, 2016 math.NA, math.SP
These are lecture notes from a series of three lectures given at the summer school "Geometric and Computational Spectral Theory" in Montreal in June 2015. The aim of the lecture was to explain the mathematical theory behind computations of eigenvalues and spectral determinants in geometrically non-trivial contexts.
• ### Heat Kernel estimates for general boundary problems(1604.00784)

April 4, 2016 math.AP, math-ph, math.MP
We show that not feeling the boundary estimates for heat kernels hold for any non-negative self-adjoint extension of the Laplace operator acting on vector-valued compactly supported functions on a domain in $\mathbb{R}^d$. They are therefore valid for any choice of boundary condition and we show that the implied constants can be chosen independent of the self-adjoint extension. The method of proof is very general and is based on finite propagation speed estimates and explicit Fourier Tauberian theorems obtained by Y. Safarov.
• ### A rigorous geometric derivation of the chiral anomaly in curved backgrounds(1508.05345)

April 1, 2016 math.DG, math-ph, math.MP
We discuss the chiral anomaly for a Weyl field in a curved background and show that a novel index theorem for the Lorentzian Dirac operator can be applied to describe the gravitational chiral anomaly. A formula for the total charge generated by the gravitational and gauge field background is derived in a mathematically rigorous manner. It contains a term identical to the integrand in the Atiyah-Singer index theorem and another term involving the $\eta$-invariant of the Cauchy hypersurfaces.
• ### The local counting function of operators of Dirac and Laplace type(1509.00198)

Sept. 1, 2015 math.DG, math.SP
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 mollified spectral counting function of Dirac type operators in terms of geometric quantities and characterize those Dirac type operators for which this coefficient vanishes.
• ### Riesz means of the counting function of the Laplace operator on compact manifolds of non-positive curvature(1409.1869)

March 20, 2015 math.DG, math.SP
Let $(M, {g})$ be a compact, $d$-dimensional Riemannian manifold without boundary. Suppose further that $(M,g)$ is either two dimensional and has no conjugate points or $(M,g)$ has non-positive sectional curvature. The goal of this note is to show that the long time parametrix obtained for such manifolds by B\'erard can be used to prove a logarithmic improvement for the remainder term of the Riesz means of the counting function of the Laplace operator.
• ### On the Noncommutative Residue for Projective Pseudodifferential Operators(1005.3953)

May 7, 2014 math.DG, math.KT
A well known result on pseudodifferential operators states that the noncommutative residue (Wodzicki residue) of a pseudodifferential projection vanishes. This statement is non-local and implies the regularity of the eta invariant at zero of Dirac type operators. We prove that in a filtered algebra the value of a projection under any residual trace depends only on the principal part of the projection. This general, purely algebraic statement applied to the algebra of projective pseudodifferential operators implies that the noncommutative residue factors to a map from the twisted K-theory of the co-sphere bundle. We use arguments from twisted K-theory to show that this map vanishes, thus showing that the noncommutative residue of a projective pseudodifferential projection vanishes. This also gives a very short proof in the classical setting.
• ### The semiclassical theory of discontinuous systems and ray-splitting billiards(1301.6783)

Feb. 5, 2014 math.AP, math-ph, math.MP, math.DS
We analyze the semiclassical limit of spectral theory on manifolds whose metrics have jump-like discontinuities. Such systems are quite different from manifolds with smooth Riemannian metrics because the semiclassical limit does not relate to a classical flow but rather to branching (ray-splitting) billiard dynamics. In order to describe this system we introduce a dynamical system on the space of functions on phase space. To identify the quantum dynamics in the semiclassical limit we compute the principal symbols of the Fourier integral operators associated to reflected and refracted geodesic rays and identify the relation between classical and quantum dynamics. In particular we prove a quantum ergodicity theorem for discontinuous systems. In order to do this we introduce a new notion of ergodicity for the ray-splitting dynamics. The paper contains an Appendix written by Yves Colin de Verdiere in which a non-trivial class of examples is constructed.
• ### The theory of Hahn meromorphic functions, a holomorphic Fredholm theorem and its applications(1205.0236)

Nov. 22, 2013 math.CA, math.FA, math.SP
We introduce a class of functions near zero on the logarithmic cover of the complex plane that have convergent expansions into generalized power series. The construction covers cases where non-integer powers of $z$ and also terms containing $\log z$ can appear. We show that under natural assumptions some important theorems from complex analysis carry over to the class of these functions. In particular it is possible to define a field of functions that generalize meromorphic functions and one can formulate an analytic Fredholm theorem in this class. We show that this modified analytic Fredholm theorem can be applied in spectral theory to prove convergent expansions of the resolvent for Bessel type operators and Laplace-Beltrami operators for manifolds that are Euclidean at infinity. These results are important in scattering theory as they are the key step to establish analyticity of the scattering matrix and the existence of generalized eigenfunctions at points in the spectrum.
• ### Explicit bounds on eigenfunctions and spectral functions on manifolds hyperbolic near a point(1305.3771)

May 16, 2013 math.SP
We derive explicit bounds for the remainder term in the local Weyl law for locally hyperbolic manifolds, we also give the estimates of the derivative of this remainder. We use these to obtain explicit bounds for the C^k-norms of the L^2-normalised eigenfunctions in the case spectrum of the Laplacian is discrete, e.g. for closed Riemannian manifolds. We also derive bounds for the local heat trace. Our estimates are purely local and therefore also hold for any manifold at points near which the metric is locally hyperbolic.
• ### An Algorithm for the Computation of Eigenvalues, Spectral Zeta Functions and Zeta-Determinants on Hyperbolic Surfaces(1110.2150)

March 8, 2012 math-ph, math.MP, math.NA, math.SP
We present a rigorous scheme that makes it possible to compute eigenvalues of the Laplace operator on hyperbolic surfaces within a given precision. The method is based on an adaptation of the method of particular solutions to the case of locally symmetric spaces and on explicit estimates for the approximation of eigenfunctions on hyperbolic surfaces by certain basis functions. It can be applied to check whether or not there is an eigenvalue in an \epsilon-neighborhood of a given number \lambda>0. This makes it possible to find all the eigenvalues in a specified interval, up to a given precision with rigorous error estimates. The method converges exponentially fast with the number of basis functions used. Combining the knowledge of the eigenvalues with the Selberg trace formula we are able to compute values and derivatives of the spectral zeta function again with error bounds. As an example we calculate the spectral determinant and the Casimir energy of the Bolza surface and other surfaces.
• ### Geometry of the high energy limit of differential operators on vector bundles(1109.2104)

Sept. 9, 2011 math-ph, math.MP, math.SP
At high energies relativistic quantum systems describing scalar particles behave classically. This observation plays an important role in the investigation of eigenfunctions of the Laplace operator on manifolds for large energies and allows to establish relations to the dynamics of the corresponding classical system. Relativistic quantum systems describing particles with spin such as the Dirac equation do not behave classically at high energies. Nonetheless, the dynamical properties of the classical frame flow determine the behavior of eigensections of the corresponding operator for large energies. We review what a high energy limit is and how it can be described for geometric operators.
• ### Scattering at low energies on manifolds with cylindrical ends and stable systoles(0907.3517)

July 20, 2009 math.AP, math-ph, math.MP
Scattering theory for p-forms on manifolds with cylindrical ends has a direct interpretation in terms of cohomology. Using the Hodge isomorphism,the scattering matrix at low energy may be regarded as operator on the cohomology of the boundary. Its value at zero describes the image of the absolute cohomology in the cohomology of the boundary. We show that the so-called scattering length, the Eisenbud-Wigner time delay at zero energy, has a cohomological interpretation as well. Namely, it relates the norm of a cohomology class on the boundary to the norm of its image under the connecting homomorphism in the long exact sequence in cohomology. An interesting consequence of this is that one can estimate the scattering lengths in terms of geometric data like the volumes of certain homological systoles.
• ### On the Spectrum of geometric operators on K\"ahler manifolds(0805.2376)

May 15, 2008 math.DG, math.AP
On a compact K\"ahler 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^c-Dirac operators if the unitary frame flow is ergodic. The assumptions for our theorem are known to be satisfied for instance for negatively curved K\"ahler manifolds of odd complex dimension.
• ### Huber's theorem for hyperbolic orbisurfaces(math/0504571)

July 30, 2007 math.DG, math.SP
We show that for compact orientable hyperbolic orbisurfaces, the Laplace spectrum determines the length spectrum as well as the number of singular points of a given order. The converse also holds, giving a full generalization of Huber's theorem to the setting of compact orientable hyperbolic orbisurfaces.
• ### High energy limits of Laplace-type and Dirac-type eigenfunctions and frame flows(math/0607616)

July 25, 2006 math-ph, math.MP, math.DS, math.SP
We relate high-energy limits of Laplace-type and Dirac-type operators to frame flows on the corresponding manifolds, and show that the ergodicity of frame flows implies quantum ergodicity in an appropriate sense for those operators. Observables for the corresponding quantum systems are matrix-valued pseudodifferential operators and therefore the system remains non-commutative in the high-energy limit. We discuss to what extent the space of stationary high-energy states behaves classically.
• ### Analytic Continuation of Resolvent Kernels on noncompact Symmetric Spaces(math/0310395)

Oct. 26, 2003 math.DG, math.FA
Let X=G/K be a symmetric space of noncompact type and let L be the Laplacian associated with a G-invariant metric on X. We show that the resolvent kernel of L admits a holomorphic extension to a Riemann surface depending on the rank of the symmetric space. This Riemann surface is a branched cover of the complex plane with a certain part of the real axis removed. It has a branching point at the bottom of the spectrum of L. It is further shown that this branching point is quadratic if the rank of X is odd, and is logarithmic otherwise. In case G has only one conjugacy class of Cartan subalgebras the resolvent kernel extends to a holomorphic function on a branched cover of the complex plane with the only branching point being the bottom of the spectrum.
• ### Fuzzy Line Bundles, the Chern Character and Topological Charges over the Fuzzy Sphere(math-ph/0105033)

Oct. 7, 2002 hep-th, math-ph, math.MP, math.QA
Using the theory of quantized equivariant vector bundles over compact coadjoint orbits we determine the Chern characters of all noncommutative line bundles over the fuzzy sphere with regard to its derivation based differential calculus. The associated Chern numbers (topological charges) arise to be non-integer, in the commutative limit the well known integer Chern numbers of the complex line bundles over the 2-sphere are recovered.
• ### On Noncommutative and semi-Riemannian Geometry(math-ph/0110001)

March 25, 2002 hep-th, math-ph, math.MP, math.QA
We introduce the notion of a semi-Riemannian spectral triple which generalizes the notion of spectral triple and allows for a treatment of semi-Riemannian manifolds within a noncommutative setting. It turns out that the relevant spaces in noncommutative semi-Riemannian geometry are not Hilbert spaces any more but Krein spaces, and Dirac operators are Krein-selfadjoint. We show that the noncommutative tori can be endowed with a semi-Riemannian structure in this way. For the noncommutative tori as well as for semi-Riemannian spin manifolds the dimension, the signature of the metric, and the integral of a function can be recovered from the spectral data.
• ### Microlocal analysis of quantum fields on curved spacetimes: Analytic wavefront sets and Reeh-Schlieder theorems(math-ph/0202003)

Feb. 4, 2002 quant-ph, hep-th, math-ph, math.MP, gr-qc
We show in this article that the Reeh-Schlieder property holds for states of quantum fields on real analytic spacetimes if they satisfy an analytic microlocal spectrum condition. This result holds in the setting of general quantum field theory, i.e. without assuming the quantum field to obey a specific equation of motion. Moreover, quasifree states of the Klein-Gordon field are further investigated in this work and the (analytic) microlocal spectrum condition is shown to be equivalent to simpler conditions. We also prove that any quasifree ground- or KMS-state of the Klein-Gordon field on a stationary real analytic spacetime fulfills the analytic microlocal spectrum condition.
• ### On the local structure of the Klein-Gordon field on curved spacetimes(math-ph/0008043)

Feb. 25, 2001 hep-th, math-ph, math.MP, gr-qc
This paper investigates wave-equations on spacetimes with a metric which is locally analytic in the time. We use recent results in the theory of the non-characteristic Cauchy problem to show that a solution to a wave-equation vanishing in an open set vanishes in the envelope'' of this set, which may be considerably larger and in the case of timelike tubes may even coincide with the spacetime itself. We apply this result to the real scalar field on a globally hyperbolic spacetime and show that the field algebra of an open set and its envelope coincide. As an example there holds an analog of Borchers' timelike tube theorem for such scalar fields and hence, algebras associated with world lines can be explicitly given. Our result applies to cosmologically relevant spacetimes.
• ### Semi-Bounded Restrictions of Dirac Type Operators and the Unique Continuation Property(math-ph/0004002)

Aug. 11, 2000 math.DG, math-ph, math.MP, math.SP
Let M be a connected Riemannian manifold and let D be a Dirac type operator acting on smooth compactly supported sections in a Hermitian vector bundle over M. Suppose D has a self-adjoint extension A in the Hilbert space of square-integrable sections. We show that any $L^2$-section $\phi$ contained in a closed A-invariant subspace onto which the restriction of A is semi-bounded has the unique continuation property: if $\phi$ vanishes on a non-empty open subset of M, then it vanishes on all of M.
• ### The Reeh-Schlieder Property for Quantum Fields on Stationary Spacetimes(math-ph/0002054)

May 20, 2000 hep-th, math-ph, math.MP, gr-qc
We show that as soon as a linear quantum field on a stationary spacetime satisfies a certain type of hyperbolic equation, the (quasifree) ground- and KMS-states with respect to the canonical time flow have the Reeh-Schlieder property. We also obtain an analog of Borchers' timelike tube theorem. The class of fields we consider contains the Dirac field, the Klein-Gordon field and the Proca field.
• ### The Reeh-Schlieder Property for the Dirac Field on Static Spacetimes(math-ph/9911023)

Nov. 17, 1999 math-ph, math.MP
We prove the Reeh-Schlieder property for the ground- and KMS-states states of the massive Dirac Quantum field on a static globally hyperbolic 4 dimensional spacetime.