
We prove that the essential smoothness of the gravitational metric at shock
waves in GR, a PDE regularity issue for weak solutions of the Einstein
equations, is determined by a geometrical condition which we introduce and name
the {\it Riemannflat condition}. The Riemannflat condition determines whether
or not the essential smoothness of the gravitational metric is two full
derivatives more regular than the Riemann curvature tensor. This provides a
geometric framework for the open problem as to whether {\it regularity
singularities} (points where the curvature is in $L^\infty$ but the essential
smoothness of the gravitational metric is only Lipschitz continuous) can be
created by shock wave interaction in GR, or whether metrics Lipschitz at shocks
can always be smoothed one level to $C^{1,1}$ by coordinate transformation. As
a corollary of the ideas we give a proof that locally inertial frames always
exist in a natural sense for shock wave metrics in spherically symmetric
spacetimes, independent of whether the metric itself can be smoothed to
$C^{1,1}$ locally. This latter result yields an explicit procedure (analogous
to Riemann Normal Coordinates in smooth spacetimes) for constructing locally
inertial coordinates for Lipschitz metrics, and is a new regularity result for
GR solutions constructed by the Glimm scheme.

{\it Regularity singularities} are points in spacetime where the
gravitational metric tensor of General Relativity fails to be at least two
levels more regular than its curvature tensor. Whether regularity singularities
exist for shock wave solutions constructed by the Glimm scheme in GR is an open
problem. In this paper we address the problem at the general level of
connections $\Gamma\in W^{m,p}$ satisfying $d\Gamma\in W^{m,p}$ as well, and
ask the question as to whether there always exists a coordinate transformation
with Jacobian $J\in W^{m+1,p}$ that smooths the connection by one order.
Introducing a new approach to this problem, we derive a system of nonlinear
elliptic Poisson equations, which we call the {\it Regularity Transformation
equations} (RTequations), with matrixvalued differential forms as unknowns,
and prove that the existence of solutions to these equations is equivalent to
the Riemannflat condition, which was shown by authors to be equivalent to the
existence of a coordinate transformation smoothing the connection by one order.
Different from earlier approaches, our method does not employ any apriori
coordinate ansatz. In a forthcoming paper we establish an existence theory
which demonstrates the consistency of the RTequations at the levels of
smoothness we seek, and a mathematical framework for completing the existence
theory is outlined in the final section.

We address the Riemann and Cauchy problems for systems of $n$ conservation
laws in $m$ unknowns which are subject to $mn$ constraints ($m\geq n$). Such
constrained systems generalize systems of conservation laws in standard form to
include various examples of conservation laws in Physics and Engineering beyond
gas dynamics, e.g., multiphase flow in porous media. We prove local
wellposedness of the Riemann problem and global existence of the Cauchy
problem for initial data with sufficiently small total variation, in one
spatial dimension. The key to our existence theory is to generalize the
$m\times n$ systems of constrained conservation laws to $n\times n$ systems of
conservation laws with states taking values in an $n$dimensional manifold and
to extend Lax's theory for local existence as well as Glimm's random choice
method to our geometric framework. Our resulting existence theory allows for
the accumulation function to be noninvertible across hypersurfaces.

We show that and specify how spacetime symmetries give rise to corresponding
symmetries of the fermionic signature operator and generalized fermionic
projector states.

We introduce a natural notion of incompressibility for fluids governed by the
relativistic Euler equations on a fixed background spacetime, and show that the
resulting equations reduce to the incompressible Euler equations in the
classical limit as $c\rightarrow \infty$. As our main result, we prove that the
fluid pressure of solutions of these incompressible "relativistic" Euler
equations satisfies an elliptic equation on each of the hypersurfaces
orthogonal to the fluid fourvelocity, which indicates infinite speed of
propagation.

We prove that spacetime is locally inertial at points of shock wave collision
in General Relativity. The result applies for collisions between shock waves
coming from different characteristic families, in spherically symmetric
spacetimes. We give a constructive proof that there exist coordinate
transformations which raise the regularity of the gravitational metric tensor
from $C^{0,1}$ to $C^{1,1}$ in a neighborhood of such points of shock wave
interaction, and a $C^{1,1}$ metric regularity suffices for locally inertial
frames to exist. This result corrects an error in our earlier RSPApublication,
which led us to the wrong conclusion that such coordinate transformations,
which smooth the metric to $C^{1,1}$, cannot exist. Our result here proves that
regularity singularities, (a type of mild singularity introduced in our
RSPApublication), do not exist at points of interacting shock waves from
different families in spherically symmetric spacetimes, and this generalizes
Israel's famous 1966 result to the case of such shock wave interactions. The
strategy of proof here is an extension of the strategy outlined in our
RSPApaper, but differs fundamentally from the method used by Israel. The
question whether regularity singularities exist in more complicated shock wave
solutions of the Einstein Euler equations still remains open.

We give a nonperturbative construction of a distinguished state for the
quantized Dirac field in Minkowski space in the presence of a timedependent
external field of the form of a plane electromagnetic wave. By explicit
computation of the fermionic signature operator, it is shown that the Dirac
operator has the strong mass oscillation property. We prove that the resulting
fermionic projector state is a Hadamard state.

The previous functional analytic construction of the fermionic projector on
globally hyperbolic Lorentzian manifolds is extended to spacetimes of infinite
lifetime. The construction is based on an analysis of families of solutions of
the Dirac equation with a varying mass parameter. It makes use of the socalled
mass oscillation property which implies that integrating over the mass
parameter generates decay of the Dirac wave functions at infinity. We obtain a
canonical decomposition of the solution space of the massive Dirac equation
into two subspaces, independent of observers or the choice of coordinates. The
constructions are illustrated in the examples of ultrastatic spacetimes and de
Sitter spacetime.

It is an open question whether solutions of the EinsteinEuler equations are
smooth enough to admit locally inertial coordinates at points of shock wave
interaction, or whether "regularity singularities" can exist at such points.
The term {\it regularity singularity} was proposed by the authors as a point in
spacetime where the gravitational metric tensor is Lipschitz continuous
($C^{0,1}$), but no smoother, in any coordinate system of the $C^{1,1}$ atlas.
An existence theory for shock wave solutions in $C^{0,1}$ admitting arbitrary
interactions has been proven for the EinsteinEuler equations in spherically
symmetric spacetimes, but $C^{1,1}$ is the requisite smoothness required for
spacetime to be locally flat. Thus the open problem of regularity
singularities is the problem as to whether locally inertial coordinate systems
exist at shock waves within the larger $C^{1,1}$ atlas. To clarify this open
problem, we identify new "Coriolis type" effects in the geometry of $C^{0,1}$
shock wave metrics and prove they are essential in the sense that they can
never be made to vanish within the atlas of {\it smooth} coordinate
transformations, the atlas usually assumed in classical differential geometry.
Thus the problem of existence of regularity singularities is equivalent to the
question as to whether or not these Coriolis type effects are essentially
nonremovable and `real', or merely coordinate effects that can be removed, (in
analogy to classical Coriolis forces), by going to the less regular atlas of
$C^{1,1}$ transformations. If essentially nonremovable, it would argue
strongly for a `real' new physical effect for General Relativity, providing a
physical context to the open problem of regularity singularities.

We give a functional analytic construction of the fermionic projector on a
globally hyperbolic Lorentzian manifold of finite lifetime. The integral kernel
of the fermionic projector is represented by a twopoint distribution on the
manifold. By introducing an ultraviolet regularization, we get to the framework
of causal fermion systems. The connection to the "negativeenergy solutions" of
the Dirac equation and to the WKB approximation is explained and quantified by
a detailed analysis of closed FriedmannRobertsonWalker universes.

We introduce a damping term for the special relativistic Euler equations in
$3$D and show that the equations reduce to the nonrelativistic damped Euler
equations in the Newtonian limit. We then write the equations as a symmetric
hyperbolic system for which localintime existence of smooth solutions can be
shown.

We show that the regularity of the gravitational metric tensor in spherically
symmetric spacetimes cannot be lifted from $C^{0,1}$ to $C^{1,1}$ within the
class of $C^{1,1}$ coordinate transformations in a neighborhood of a point of
shock wave interaction in General Relativity, without forcing the determinant
of the metric tensor to vanish at the point of interaction. This is in contrast
to Israel's Theorem which states that such coordinate transformations always
exist in a neighborhood of a point on a smooth single shock surface. The
results thus imply that points of shock wave interaction represent a new kind
of singularity for perfect fluids evolving in spacetime, singularities that
make perfectly good sense physically, that can form from the evolution of
smooth initial data, but at which the spacetime is not locally Minkowskian
under any coordinate transformation. In particular, at such singularities,
delta function sources in the second derivatives of the gravitational metric
tensor exist in all coordinate systems of the $C^{1,1}$ atlas, but due to
cancelation, the curvature tensor remains uniformly bounded.

We give a constructive proof that coordinate transformations exist which
raise the regularity of the gravitational metric tensor from $C^{0,1}$ to
$C^{1,1}$ in a neighborhood of points of shock wave collision in General
Relativity. The proof applies to collisions between shock waves coming from
different characteristic families, in spherically symmetric spacetimes. Our
result here implies that spacetime is locally inertial and corrects an error in
our earlier RSPApublication, which led us to the false conclusion that such
coordinate transformations, which smooth the metric to $C^{1,1}$, cannot exist.
Thus, our result implies that regularity singularities, (a type of mild
singularity introduced in our RSPApaper), do not exist at points of
interacting shock waves from different families in spherically symmetric
spacetimes. Our result generalizes Israel's celebrated 1966 paper to the case
of such shock wave interactions but our proof strategy differs fundamentally
from that used by Israel and is an extension of the strategy outlined in our
original RSPApublication. Whether regularity singularities exist in more
complicated shock wave solutions of the Einstein Euler equations remains open.

A proof that a new kind of nonremovable {\it "regularity singularity"} forms
when two shock waves collide within the theory of General Relativity, was first
announced in ProcRoySoc A \cite{ReintjesTemple}. In the present paper we give
complete proofs of the claims in \cite{ReintjesTemple} and extend the results
on the regularity of the Einstein curvature tensor to the full Riemann
curvature tensor. The main result is that, in a neighborhood of a point where
two shock waves collide in a spherically symmetric spacetime, the gravitational
metric tensor cannot be lifted from C0,1 to C1 within the class of C1,1
coordinate transformations. This contrasts Israel's celebrated theorem
\cite{Israel}, which states that around each point on a {\it single} shock
surface there exist a coordinate system in which the metric is C1,1 regular.
Moreover, at points of shock wave interaction, delta function sources exist in
the second derivatives of the gravitational metric tensor in all coordinate
systems of the C1,1atlas, but due to cancellation, the Einstein and Riemann
curvature tensor remain supnorm bounded. We conclude that points of shock wave
interaction are a new kind of spacetime singularity, (which we name "regularity
singularity"), singularities that can form from the evolution of smooth initial
data for perfect fluids and that lie in physical spacetime, but at such points
{\it locally inertial} coordinates fail to exist.

We set up the Dirac equation in a FriedmannRobertsonWalker geometry and
separate the spatial and time variables. In the case of a closed universe, the
spatial dependence is solved explicitly, giving rise to a discrete set of
solutions. We compute the probability integral and analyze a spacetime
normalization integral. This analysis allows us to introduce the fermionic
projector in a closed FriedmannRobertsonWalker geometry and to specify its
global normalization as well as its local form.