
Abelian vector fields nonminimally coupled to uncharged scalar fields arise
in many contexts. We investigate here through algebraic methods their
consistent deformations ("gaugings"), i.e., the deformations that preserve the
number (but not necessarily the form or the algebra) of the gauge symmetries.
Infinitesimal consistent deformations are given by the BRST cohomology classes
at ghost number zero. We parametrize explicitly these classes in terms of
various types of global symmetries and corresponding Noether currents through
the characteristic cohomology related to antifields and equations of motion.
The analysis applies to all ghost numbers and not just ghost number zero. We
also provide a systematic discussion of the linear and quadratic constraints on
these parameters that follow from higherorder consistency. Our work is
relevant to the gaugings of extended supergravities.

We extend previous work on antifield dependent local BRST cohomology for
matter coupled gauge theories of YangMills type to the case of gauge groups
that involve free abelian factors. More precisely, we first investigate in a
model independent way how the dynamics enters the computation of the cohomology
for a general class of Lagrangians in general spacetime dimensions. We then
discuss explicit solutions in the case of specific models. Our analysis has
implications for the structure of characteristic cohomology and for consistent
deformations of the classical models, as well as for divergences/counterterms
and for gauge anomalies that may appear during perturbative quantization.

The solution space of threedimensional asymptotically antide Sitter or flat
Einstein gravity is given by the coadjoint representation of two copies of the
Virasoro group in the former and the centrally extended BMS$_3$ group in the
latter case. Dynamical actions that control these solution spaces are usually
constructed by starting from the ChernSimons formulation and imposing all
boundary conditions. In this note, an alternative route is followed. We study
in detail how to derive these actions from a grouptheoretical viewpoint by
constructing geometric actions for each of the coadjoint orbits, including the
appropriate Hamiltonians. We briefly sketch relevant generalizations and
potential applications beyond threedimensional gravity.

We explicitly show how the field dependent 2cocycle that arises in the
current algebra of 4 dimensional asymptotically flat spacetimes can be used as
a central extension to turn the BMS4 Lie algebra, or more precisely, the BMS4
action Lie algebroid, into a genuine Lie algebroid with field dependent
structure functions. Both a BRST formulation, where the extension appears as a
ghost number 2 cocyle, and a formulation in terms of vertex operator algebras
are introduced. The mapping of the celestial sphere to the cylinder then
implies zero mode shifts of the asymptotic part of the shear and of the news
tensor.

We derive the expressions for the local, onshell closed codimension 2 forms
in the Cartan formulation of general relativity and explicitly show their
equivalence to those of the metric formulation.

The action of finite BMS and Weyl transformations on the gravitational data
at null infinity is worked out in three and four dimensions in the case of an
arbitrary conformal factor for the boundary metric induced on Scri.

In Lagrangian gauge systems, the vector space of global reducibility
parameters forms a module under the Lie algebra of symmetries of the action.
Since the classification of global reducibility parameters is generically
easier than the classification of symmetries of the action, this fact can be
used to constrain the latter when knowing the former. We apply this strategy
and its generalization for the nonLagrangian setting to the problem of
conformal symmetry of various free higher spin gauge fields. This scheme allows
one to show that, in terms of potentials, massless higher spin gauge fields in
Minkowski space and partiallymassless fields in (A)dS space are not conformal
for spin strictly greater than one, while in terms of curvatures, maximaldepth
partiallymassless fields in four dimensions are also not conformal, unlike the
closely related, but less constrained, maximaldepth FradkinTseytlin fields.

The theory of massive gravity proposed by Bergshoeff, Hohm and Townsend is
considered in the special case of the pure irreducibly fourth order quadratic
Lagrangian. It is shown that the asymptotically locally flat black holes of
this theory can be consistently deformed to "black flowers" that are no longer
spherically symmetric. Moreover, we construct radiating spacetimes settling
down to these black flowers in the far future. The generic case can be shown to
fit within a relaxed set of asymptotic conditions as compared to the ones of
general relativity at null infinity, while the asymptotic symmetries remain the
same. Conserved charges as surface integrals at null infinity are constructed
following a covariant approach, and their algebra represents BMS$_{3}$, but
without central extensions. For solutions possessing an event horizon, we
derive the first law of thermodynamics from these surface integrals.

The twodimensional superBMS$_{3}$ invariant theory dual to
threedimensional asymptotically flat $\mathcal{N}=1$ supergravity is
constructed. It is described by a constrained or gauged chiral
WessZuminoWitten action based on the superPoincar\'e algebra in the
Hamiltonian, respectively the Lagrangian formulation, whose reduced phase space
description corresponds to a supersymmetric extension of flat Liouville theory.

Threedimensional EinsteinMaxwell theory with non trivial asymptotics at
null infinity is solved. The symmetry algebra is a VirasoroKacMoody type
algebra that extends the bms3 algebra of the purely gravitational case.
Solution space involves logarithms and provides a tractable example of a
polyhomogeneous solution space. The associated surface charges are
nonintegrable and nonconserved due to the presence of electromagnetic news.
As in the four dimensional purely gravitational case, their algebra involves a
fielddependent central charge.

We initiate the study of a ChernSimons action associated to the semidirect
sum of the Virasoro algebra with its coadjoint representation. This model
extends the standard ChernSimons formulation of three dimensional flat gravity
and is similar to the higherspin extension of three dimensional antide Sitter
or flat gravity. The extension can also be constructed for the exotic but not
for the cosmological constant deformation of flat gravity.

In this note we point out that the oneloop partition function of
threedimensional flat gravity, computed along the lines originally developed
for the antide Sitter case, reproduces characters of the BMS3 group.

The coadjoint representation of the BMS$_3$ group, which governs the
covariant phase space of threedimensional asymptotically flat gravity, is
investigated. In particular, we classify coadjoint BMS$_3$ orbits and show that
intrinsic angular momentum is free of supertranslation ambiguities. Finally,
the link with induced representations upon geometric quantization is discussed.

A consistent set of asymptotic conditions for the simplest supergravity
theory without cosmological constant in three dimensions is proposed. The
canonical generators associated to the asymptotic symmetries are shown to span
a supersymmetric extension of the BMS$_3$ algebra with an appropriate central
charge. The energy is manifestly bounded from below with the ground state given
by the null orbifold or Minkowski spacetime for periodic, respectively
antiperiodic boundary conditions on the gravitino. These results are related to
the corresponding ones in AdS$_3$ supergravity by a suitable flat limit. The
analysis is generalized to the case of minimal flat supergravity with
additional parity odd terms for which the Poisson algebra of canonical
generators form a representation of the superBMS$_3$ algebra with an
additional central charge.

The covariant phase space of threedimensional asymptotically flat and
antide Sitter gravity is controlled by wellunderstood coadjoint orbits of the
Virasoro group. Detailed knowledge on the behavior of the energy functional on
these orbits can be used to discuss positive energy theorems.

The BondiMetznerSachs group in three dimensions is the symmetry group of
asymptotically flat threedimensional spacetimes. It is the semidirect product
of the diffeomorphism group of the circle with the space of its adjoint
representation, embedded as an abelian normal subgroup. The structure of the
group suggests to study induced representations; we show here that they are
associated with the wellknown coadjoint orbits of the Virasoro group and
provide explicit representations in terms of oneparticle states.

We follow the spirit of a recent proposal to show that previous computations
for asymptotically flat spacetimes in four dimensions at null infinity can be
reinterpreted in terms of a welldefined holographic current algebra for the
time component of the currents. The analysis is completed by the current
algebra for the spatial components.

Asymptotic symmetries of the EinsteinYangMills system with or without
cosmological constant are explicitly worked out in a unified manner. In
agreement with a recent conjecture, one finds a VirasoroKacMoody type algebra
not only in three dimensions but also in the four dimensional asymptotically
flat case.

In the gravitational context, Liouville theory is the twodimensional
conformal field theory that controls the boundary dynamics of asymptotically
AdS_3 spacetimes at the classical level. By taking a suitable limit of the
coupling constants of the Hamiltonian formulation of Liouville, we construct
and analyze a BMS_3 invariant twodimensional field theory that is likely to
control the boundary dynamics at null infinity of three dimensional
asymptotically flat gravity.

Starting from the ChernSimons formulation, the twodimensional dual theory
for threedimensional asymptotically flat Einstein gravity at null infinity is
constructed. Solving the constraints together with suitable gauge fixing
conditions gives in a first stage a chiral WessZuminoWitten like model based
on the Poincar\'e algebra in three dimensions. The next stage involves a
Hamiltonian reduction to a BMS3 invariant Liouville theory. These results are
connected to those originally derived in the antide Sitter case by rephrasing
the latter in a suitable gauge before taking their flatspace limit.

In (2+1) spacetime dimensions the Einstein theory of gravity has no local
degrees of freedom. In fact, in the presence of a negative cosmological term,
it is described by a (1+1) dimensional theory living on its boundary: Liouville
theory. It is invariant under the action of the twodimensional conformal
group, which, in the gravitational context, corresponds to the asymptotic
symmetries of asymptotically AdS geometries. In the flat case, when the
cosmological term is turned off, a theory describing gravity at the boundary is
absent. In this note we show that, in the Hamiltonian setup, such a theory may
be constructed. The theory is BMS3 invariant, as it should, corresponding to
the asymptotic symmetry group of an asymptotically flat spacetime.

We show that the symmetry algebra of asymptotically flat four dimensional
spacetimes at null infinity in the sense of Newman and Unti is isomorphic to
the direct sum of the abelian algebra of infinitesimal conformal rescalings
with bms4. We then work out the local conformal properties of the relevant
NewmanPenrose coefficients, as well as the surface charges and their algebra.

The symmetry algebra of asymptotically flat spacetimes at null infinity in
four dimensions in the sense of Newman and Unti is revisited. As in the
BondiMetznerSachs gauge, it is shown to be isomorphic to the direct sum of
the abelian algebra of infinitesimal conformal rescalings with bms4. The latter
algebra is the semidirect sum of infinitesimal supertranslations with the
conformal Killing vectors of the Riemann sphere. Infinitesimal local conformal
transformations can then consistently be included. We work out the local
conformal properties of the relevant NewmanPenrose coefficients, construct the
surface charges and derive their algebra.

The thermodynamics of threedimensional asymptotically flat cosmological
solutions that play the same role than the BTZ black holes in the antide
Sitter case is derived and explained from holographic properties of flat space.
It is shown to coincide with the flatspace limit of the thermodynamics of the
inner black hole horizon on the one hand and the semiclassical approximation
to the gravitational partition function associated to the entropy of the outer
horizon on the other. This leads to the insight that it is the Massieu function
that is universal in the sense that it can be computed at either horizon.

We review recent results on symmetries of asymptotically flat spacetimes at
null infinity. In higher dimensions, the symmetry algebra realizes the
Poincar\'e algebra. In three and four dimensions, besides the infinitesimal
supertranslations that have been known since the sixties, the algebras are
evenly balanced because there are also infinitesimal superrotations. We provide
the classification of central extensions of the bms3 and bms4 algebras.
Applications and consequences as well as directions for future work are briefly
indicated.