
For any number h such that hbar:=h/(2\pi) is irrational, let A_{g,h} be the
corresponding Weyl *algebra over Z^{2g} and consider the ergodic group of
*automorphisms of A_{g,h} induced by the action of Sp(2g,Z) on Z^{2g}. We show
that the only Sp(2g,Z)invariant state on A_{g,h} is the trace state.

Recently, a new functional analytic construction of quasifree states for a
selfdual CAR algebra has been presented in \cite{Felix2}. This method relies
on the socalled strong mass oscillation property. We provide an example where
this requirement is not satisfied, due to the nonvanishing trace of the
solutions of the Dirac equation on the horizon of Rindler space, and we propose
a modification of the construction in order to weaken this condition. Finally,
a connection between the two approaches is built.

The fermionic signature operator is constructed in Rindler spacetime. It is
shown to be an unbounded selfadjoint operator on the Hilbert space of
solutions of the massive Dirac equation. In twodimensional Rindler spacetime,
we prove that the resulting fermionic projector state coincides with the
FullingRindler vacuum. Moreover, the fermionic signature operator gives a
covariant construction of general thermal states, in particular of the Unruh
state. The fermionic signature operator is shown to be welldefined in
asymptotically Rindler spacetimes. In fourdimensional Rindler spacetime, our
construction gives rise to new quantum states.

In this paper we develop the foundations for microlocal analysis on
supermanifolds. Making use of pseudodifferential operators on supermanifolds as
introduced by Rempel and Schmitt, we define a suitable notion of super
wavefront set for superdistributions which generalizes Dencker's polarization
sets for vectorvalued distributions to supergeometry. In particular, our super
wavefront sets detect polarization information of the singularities of
superdistributions. We prove a refined pullback theorem for superdistributions
along supermanifold morphisms, which as a special case establishes criteria
when two superdistributions may be multiplied. As an application of our
framework, we study the singularities of distributional solutions of a
supersymmetric field theory.

We give an elementary proof that Abelian ChernSimons theory, described as a
functor from oriented surfaces to C*algebras, does not admit a natural state.
Nonexistence of natural states is thus not only a phenomenon of quantum field
theories on Lorentzian manifolds, but also of topological quantum field
theories formulated in the algebraic approach.

We give a nonperturbative construction of the fermionic projector in
Minkowski space coupled to a timedependent external potential which is smooth
and decays faster than quadratically for large times. The weak and strong mass
oscillation properties are proven. We show that the integral kernel of the
fermionic projector is of Hadamard form, provided that the time integral of the
spatial supnorm of the potential satisfies a suitable bound. This gives rise
to an algebraic quantum field theory of Dirac fields in an external potential
with a distinguished pure quasifree Hadamard state.

We discuss the quantization of linearized gravity on globally hyperbolic,
asymptotically flat, vacuum spacetimes and the construction of distinguished
states which are both of Hadamard form and invariant under the action of all
bulk isometries. The procedure, we follow, consists of looking for a
realization of the observables of the theory as a subalgebra of an auxiliary,
nondynamical algebra constructed on future null infinity $\Im^+$. The
applicability of this scheme is tantamount to proving that a solution of the
equations of motion for linearized gravity can be extended smoothly to $\Im^+$.
This has been claimed to be possible provided that a suitable gauge fixing
condition, first written by Geroch and Xanthopoulos, is imposed. We review its
definition critically showing that there exists a previously unnoticed
obstruction in its implementation leading us to introducing the concept of
radiative observables. These constitute an algebra for which a Hadamard state
induced from null infinity and invariant under the action of all spacetime
isometries exists and it is explicitly constructed.