
We give a detailed review of construction of conserved quantities in extended
theories of gravity for asymptotically maximally symmetric spacetimes and carry
out explicit computations for various solutions. Our construction is based on
the Killing charge method, and a proper discussion of the conserved charges of
extended gravity theories with this method requires studying the corresponding
charges in Einstein's theory with or without a cosmological constant. Hence we
study the ADM charges (in the asymptotically flat case but in generic viable
coordinates), the AD charges (in generic Einstein spaces, including the antide
Sitter spacetimes) and the ADT charges in antide Sitter spacetimes. We also
discuss the conformal properties and the behavior of these charges under large
gauge transformations as well as the linearization instability issue which
explains the vanishing charge problem for some particular extended theories. We
devote a long discussion to the quasilocal and offshell generalization of
conserved charges in the 2+1 dimensional ChernSimons like theories and suggest
their possible relevance to the entropy of black holes.

We define (nonEinsteinian) universal metrics as the metrics that solve the
sourcefree covariant field equations of generic gravity theories. Here,
extending the rather scarce family of universal metrics known in the
literature, we show that the KerrSchildKundt class of metrics are universal.
Besides being interesting on their own, these metrics can provide consistent
backgrounds for quantum field theory at extremely high energies.

A special class of metrics, called universal metrics, solve all gravity
theories defined by covariant field equations purely based on the metric
tensor. Since we currently lack the knowledge of what the full of
quantumcorrected field equations of gravity are at a given microscopic length
scale, these metrics are particularly important in understanding quantum fields
in curved backgrounds in a consistent way. But, finding explicit universal
metrics has been a hard problem as there does not seem to be a procedure for
it. In this work, we overcome this difficulty and give a construction of
universal metrics of ddimensional spacetime from curves constrained to live in
a (d1)dimensional Minkowski spacetime or a Euclidean space.

We construct an ndimensional BornInfeld type gravity theory that has the
same properties as Einstein's gravity in terms of the vacuum and particle
content: Namely, the theory has a unique viable vacuum (maximally symmetric
solution) and a single massless unitary spin2 graviton about this vacuum. The
BI gravity, in some sense, is the most natural, minimal generalization of
Einstein's gravity with a better UV behavior, and hence, is a potentially
viable proposal for low energy quantum gravity. The GaussBonnet combination
plays a nontrivial role in the construction of the theory. As an extreme
example, we consider the infinite dimensional limit where an interesting
exponential gravity arises.

We find the explicit forms of the antide Sitter plane, antide Sitter
spherical, and pp waves that solve both the linearized and exact field
equations of the most general higher derivative gravity theory in three
dimensions. As a subclass, we work out the six derivative theory and the
critical version of it where the masses of the two spin2 excitations vanish
and the spin0 excitations decouple.

We construct the AdSplane wave solutions of generic gravity theory built on
the arbitrary powers of the Riemann tensor and its derivatives in analogy with
the ppwave solutions. In constructing the wave solutions of the generic
theory, we show that the most general two tensor built from the Riemann tensor
and its derivatives can be written in terms of the tracelessRicci tensor.
Quadratic gravity theory plays a major role; therefore, we revisit the wave
solutions in this theory. As examples to our general formalism, we work out the
sixdimensional conformal gravity and its nonconformal deformation as well as
the tricritical gravity, the LanczosLovelock theory, and stringgenerated
cubic curvature theory.

We construct BornInfeld (BI) type gravity theories which describe treelevel
unitary (nonghost and nontachyonic) massless spin2 modes around their
maximally symmetric vacua in four dimensions. Building unitary BI actions
around flat vacuum is straightforward; but, this is a complicated task around
(anti)de Sitter backgrounds. In this work, we solve the issue and give details
of constructing perturbatively viable determinantal BI theories. It is
interesting that the GaussBonnet combination, which is a total derivative in
four dimensions, plays an important role in the construction of viable BI
theories.

We show that the recently found AdSplane and AdSspherical wave solutions of
quadratic curvature gravity also solve the most general higher derivative
theory in Ddimensions. More generally, we show that the field equations of
such theories reduce to an equation linear in the Ricci tensor for KerrSchild
spacetimes having typeN Weyl and traceless Ricci tensors.

We construct the conserved charge of generic gravity theories built on
arbitrary contractions of the Riemann tensor (but not on its derivatives) for
asymptotically (anti)de Sitter spacetimes. Our construction is a
generalization of the ADT charges of linear and quadratic gravity theories in
cosmological backgrounds. As an explicit example we find the energy and angular
momentum of the BTZ black hole in the 2+1 dimensional BornInfeld gravity.

It is a known fact that the KerrSchild type solutions in general relativity
satisfy both exact and linearized Einstein field equations. We show that this
property remains valid also for a special class of the KerrSchild metrics in
arbitrary dimensions in generic quadratic curvature theory. In addition to the
AdSwave (or Siklos) metric which represents plane waves in an AdS background,
we present here a new exact solution, in this class, to the quadratic gravity
in Ddimensions which represents a spherical wave in an AdS background. The
solution is a special case of the Kundt metrics belonging to spacetimes with
constant curvature invariants.

We find constant scalar curvature TypeN and TypeD solutions in all higher
curvature gravity theories with actions of the form f(Ricci) that are built on
the Ricci tensor, but not on its derivatives. In our construction, these higher
derivative theories inherit some of the previously studied solutions of the
cosmological topologically massive gravity and the new massive gravity field
equations, once the parameters of the theories are adjusted. Besides the
generic higher curvature theory, we have considered in some detail the examples
of the quadratic curvature theory, the cubic curvature theory, and the
BornInfeld extension of the new massive gravity.

We explicitly confirm the expectation that generic Lovelock gravity in D
dimensions has a unitary massless spin2 excitation around any one of its
constant curvature vacua just like the cosmological Einstein gravity. The
propagator of the theory reduces to that of Einstein's gravity, but scattering
amplitudes must be computed with an effective Newton's constant which we
provide. Treelevel unitarity imposes a single constraint on the parameters of
the theory yielding a wide range of unitary region. As an example, we
explicitly work out the details of the cubic Lovelock theory.

We construct all the unitary cubic curvature gravity theories built on the
contractions of the Riemann tensor in D dimensional (anti)de Sitter
spacetimes. Our construction is based on finding the equivalent quadratic
action for the general cubic curvature theory and imposing ghost and tachyon
freedom, which greatly simplifies the highly complicated problem of finding the
propagator of cubic curvature theories in constant curvature backgrounds. To
carry out the procedure we have also classified all the unitary quadratic
models. We use our general results to study the recently found cubic curvature
theories using different techniques and the string generated cubic curvature
gravity model. We also study the scattering in critical gravity and give its
cubic curvature extensions.

We give an exact solution of the quadratic gravity in D dimensions. The
solution is a plane fronted wave metric with a cosmological constant. This
metric solves not only the full quadratic gravity field equations but also the
linearized ones which include the linearized equations of the recently found
critical gravity. A subset of the solutions change the asymptotic structure of
the antide Sitter space due to their logarithmic behavior.

We study the parameter space of Ddimensional cosmological Einstein gravity
together with quadratic curvature terms. In D>4 there are in general two
distinct (anti)de Sitter vacua. We show that for appropriate choice of the
parameters there exists a critical point for one of the vacua, for which there
are only massless tensor, but neither massive tensor nor scalar, gravitons. At
criticality, the linearized excitations have vanishing energy (as do black hole
solutions). A further restriction of the parameters gives a oneparameter
cosmological Einstein plus Weyl^2 model with a unique vacuum, whose \Lambda is
determined.

We construct all the bulk and boundary unitary cubic curvature parity
invariant gravity theories in three dimensions in (anti)de Sitter spaces. For
bulk unitarity, our construction is based on the principle that the free theory
of the cubic curvature theory reduces to one of the three known unitary
theories which are the cosmological EinsteinHilbert theory, the quadratic
theory of the scalar curvature or the new massive gravity (NMG). Bulk and
boundary unitarity in NMG is in conflict; therefore, cubic theories that are
unitary both in the bulk and on the boundary have free theories that reduce to
the other two alternatives. We also study the unitarity of the BornInfeld
extensions of NMG to all orders in curvature.

We develop techniques of analyzing the unitarity of general BornInfeld (BI)
gravity actions in Ddimensional spacetimes. Determinantal form of the action
allows us to find a compact expression quadratic in the metric fluctuations
around constant curvature backgrounds. This is highly nontrivial since for the
BI actions, in principle, infinitely many terms in the curvature expansion
should contribute to the quadratic action in the metric fluctuations around
constant curvature backgrounds, which would render the unitarity analysis
intractable. Moreover in even dimensions, unitarity of the theory depends only
on finite number of terms built from the powers of the curvature tensor. We
apply our techniques to some fourdimensional examples.

We derive and study the equations of motion of the BornInfeld extension of
New Massive Gravity for globally and asymptotically (anti)de Sitter spaces,
and show that the assumptions of the nullenergy condition and holography (that
bounds the cfunction) lead to two simple cfunctions one of which is
equivalent to the cfunction of Einstein's gravity. We also show that, at the
fixed point, the cfunction gives the central charge of the Virasoro algebra
and the coefficient of the Weyl anomaly up to a constant.

We define various BornInfeld gravity theories in 3+1 dimensions which reduce
to Horava's model at the quadratic level in small curvature expansion. In their
exact forms, our actions provide z>(infinity) extensions of Horava's gravity,
but when small curvature expansion is used, they reproduce finite z models,
including some halfinteger ones.

We present a threedimensional gravitational BornInfeld theory which reduces
to the recently found New Massive Gravity (NMG) at the quadratic level in the
small curvature expansion and at the cubic order reproduces the deformation of
NMG obtained from AdS/CFT. Our action provides a remarkable extension of NMG to
all orders in the curvature, and might define a consistent quantum gravity.

We give an explicitly gauge invariant canonical analysis of linearized
quadratic gravity theories in three dimensions for both flat and deSitter
backgrounds. In flat backgrounds, we also study the effects of gravitational
ChernSimons term, and include the sources, compute the weak field limit as
well as scattering between spinning massive particles.

A systematic construction of the Green's matrix for a second order,
selfadjoint matrix differential operator from the linearly independent
solutions of the corresponding homogeneous differential equation set is carried
out. We follow the general approach of extracting the Green's matrix from the
Green's matrix of the corresponding first order system. This construction is
required in the cases where the differential equation set cannot be turned to
an algebraic equation set via transform techniques.