
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 AtiyahPatodiSinger
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.

We give a complete framework for the GuptaBleuler quantization of the free
electromagnetic field on globally hyperbolic spacetimes. We describe
oneparticle structures that give rise to states satisfying the microlocal
spectrum condition. The field algebras in the socalled GuptaBleuler
representations satisfy the timeslice axiom, and the corresponding vacuum
states satisfy the microlocal spectrum condition. We also give an explicit
construction of ground states on ultrastatic spacetimes. Unlike previous
constructions, our method does not require a spectral gap or the absence of
zero modes. The only requirement, the absence of zeroresonance states, is
shown to be stable under compact perturbations of topology and metric. Usual
deformation arguments based on the timeslice axiom then lead to a construction
of GuptaBleuler representations on a large class of globally hyperbolic
spacetimes. As usual, the field algebra is represented on an indefinite inner
product space, in which the physical states form a positive semidefinite
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 spacetime.

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
nontrivial contexts.

We show that not feeling the boundary estimates for heat kernels hold for any
nonnegative selfadjoint extension of the Laplace operator acting on
vectorvalued 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 selfadjoint 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.

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 AtiyahSinger index theorem and another term involving the
$\eta$invariant of the Cauchy hypersurfaces.

Let $P$ be a nonnegative selfadjoint 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.

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 nonpositive 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.

A well known result on pseudodifferential operators states that the
noncommutative residue (Wodzicki residue) of a pseudodifferential projection
vanishes. This statement is nonlocal 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 Ktheory of the
cosphere bundle. We use arguments from twisted Ktheory 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.

We analyze the semiclassical limit of spectral theory on manifolds whose
metrics have jumplike 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 (raysplitting) 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 raysplitting dynamics. The paper
contains an Appendix written by Yves Colin de Verdiere in which a nontrivial
class of examples is constructed.

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 noninteger 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 LaplaceBeltrami 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.

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^knorms of the
L^2normalised 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.

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 \epsilonneighborhood 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.

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 theory for pforms 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 socalled
scattering length, the EisenbudWigner 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 a compact K\"ahler manifold there is a canonical action of a
Liesuperalgebra 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
Liesuperalgebra on the eigenspaces of the LaplaceBeltrami operator. Because
of the high degree of symmetry the LaplaceBeltrami operator on forms can not
be quantum ergodic. We show that after taking these symmetries into account
quantum ergodicity holds for the LaplaceBeltrami operator and for the
Spin^cDirac 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.

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.

We relate highenergy limits of Laplacetype and Diractype 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 matrixvalued
pseudodifferential operators and therefore the system remains noncommutative
in the highenergy limit. We discuss to what extent the space of stationary
highenergy states behaves classically.

Let X=G/K be a symmetric space of noncompact type and let L be the Laplacian
associated with a Ginvariant 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.

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
noninteger, in the commutative limit the well known integer Chern numbers of
the complex line bundles over the 2sphere are recovered.

We introduce the notion of a semiRiemannian spectral triple which
generalizes the notion of spectral triple and allows for a treatment of
semiRiemannian manifolds within a noncommutative setting. It turns out that
the relevant spaces in noncommutative semiRiemannian geometry are not Hilbert
spaces any more but Krein spaces, and Dirac operators are Kreinselfadjoint. We
show that the noncommutative tori can be endowed with a semiRiemannian
structure in this way. For the noncommutative tori as well as for
semiRiemannian spin manifolds the dimension, the signature of the metric, and
the integral of a function can be recovered from the spectral data.

We show in this article that the ReehSchlieder 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 KleinGordon
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 KMSstate of the KleinGordon field on a
stationary real analytic spacetime fulfills the analytic microlocal spectrum
condition.

This paper investigates waveequations on spacetimes with a metric which is
locally analytic in the time. We use recent results in the theory of the
noncharacteristic Cauchy problem to show that a solution to a waveequation
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.

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 selfadjoint extension A in the Hilbert space of
squareintegrable sections. We show that any $L^2$section $\phi$ contained in
a closed Ainvariant subspace onto which the restriction of A is semibounded
has the unique continuation property: if $\phi$ vanishes on a nonempty open
subset of M, then it vanishes on all of M.

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
KMSstates with respect to the canonical time flow have the ReehSchlieder
property. We also obtain an analog of Borchers' timelike tube theorem. The
class of fields we consider contains the Dirac field, the KleinGordon field
and the Proca field.

We prove the ReehSchlieder property for the ground and KMSstates states of
the massive Dirac Quantum field on a static globally hyperbolic 4 dimensional
spacetime.