In gravity theories that exhibit spontaneous scalarization, astrophysical objects are identical to their general relativistic counterpart until they reach a certain threshold in compactness or curvature. Beyond this threshold, they acquire a non-trivial scalar configuration, which also affects their structure. The onset of scalarization is controlled only by terms that contribute to linear perturbation around solutions of general relativity. The complete set of these terms has been identified for generalized scalar-tensor theories. Stepping on this result, we study the onset on scalarization in generalized scalar-tensor theories and determine the relevant thresholds in terms of the contributing coupling constants and the properties of the compact object.

We study scalar fields in a black hole background and show that, when the scalar is suitably coupled to curvature, rapid rotation can induce a tachyonic instability. This instability, which is the hallmark of spontaneous scalarization in the linearized regime, is expected to be quenched by nonlinearities and endow the black hole with scalar hair. Hence, our results demonstrate the existence of a broad class of theories that share the same stationary black hole solutions with general relativity at low spins, but which exhibit black hole hair at sufficiently high spins ($a/M\gtrsim 0.64$). This result has clear implications for tests of general relativity and the nature of black holes with gravitational and electromagnetic observations.

We demonstrate that there are theories that exhibit spontaneous scalarization in the strong gravity regime while having General Relativity with a constant scalar as a cosmological attractor. We identify the minimal model that has this property and discuss its extensions.

We study Extreme Mass Ratio Inspirals (EMRIs), during which a small body spirals into a supermassive black hole, in gravity theories with additional scalar fields. We first argue that no-hair theorems and the properties of known theories that manage to circumvent them introduce a drastic simplification to the problem: the effects of the scalar on supermassive black holes, if any, are mostly negligible for EMRIs in vast classes of theories. We then exploit this simplification to model the inspiral perturbatively and we demonstrate that the scalar charge of the small body leaves a significant imprint on gravitational wave emission. Although much higher precision is needed for waveform modelling, our results strongly suggest that this imprint is observable with LISA, rendering EMRIs a promising probe of scalar fields.

We study the cosmological evolution of a scalar field in Horndeski gravity, assuming that the scalar field is subdominant with respect to the cosmic fluid. We first analyse the most general shift-symmetric action that respects local Lorentz symmetry. We show that the bound on the speed of gravitational waves set by GW170817+GRB170817A imposes a constraint only on the linear coupling between the scalar and the Gauss-Bonnet invariant and this constraint is rather mild. Then, we consider some interesting examples of theories that break shift-symmetry, such as the Damour-Esposito-Far\`ese model of spontaneous scalarization and a theory with a quadratic coupling to the Gauss-Bonnet invariant that can lead to black hole scalarization. In both cases, tuning of cosmological initial conditions is necessary to keep the scalar field dormant during cosmic evolution.

Future gravitational-wave observations will enable unprecedented and unique science in extreme gravity and fundamental physics answering questions about the nature of dynamical spacetimes, the nature of dark matter and the nature of compact objects.

Black holes are unique among astrophysical sources: they are the simplest macroscopic objects in the Universe, and they are extraordinary in terms of their ability to convert energy into electromagnetic and gravitational radiation. Our capacity to probe their nature is limited by the sensitivity of our detectors. The LIGO/Virgo interferometers are the gravitational-wave equivalent of Galileo's telescope. The first few detections represent the beginning of a long journey of exploration. At the current pace of technological progress, it is reasonable to expect that the gravitational-wave detectors available in the 2035-2050s will be formidable tools to explore these fascinating objects in the cosmos, and space-based detectors with peak sensitivities in the mHz band represent one class of such tools. These detectors have a staggering discovery potential, and they will address fundamental open questions in physics and astronomy. Are astrophysical black holes adequately described by general relativity? Do we have empirical evidence for event horizons? Can black holes provide a glimpse into quantum gravity, or reveal a classical breakdown of Einstein's gravity? How and when did black holes form, and how do they grow? Are there new long-range interactions or fields in our universe, potentially related to dark matter and dark energy or a more fundamental description of gravitation? Precision tests of black hole spacetimes with mHz-band gravitational-wave detectors will probe general relativity and fundamental physics in previously inaccessible regimes, and allow us to address some of these fundamental issues in our current understanding of nature.

Scalar-tensor theories of gravity where a new scalar degree of freedom couples to the Gauss-Bonnet invariant can exhibit the phenomenon of spontaneous black hole scalarization. These theories admit both the classic black holes predicted by general relativity as well as novel hairy black hole solutions. The stability of the hairy black holes is strongly dependent on the precise form of the scalar-gravity coupling. A radial stability investigation revealed that all scalarized black hole solutions are unstable when the coupling between the scalar field and the Gauss-Bonnet invariant is quadratic in the scalar, whereas stable solutions exist for exponential couplings. Here we elucidate this behavior. We demonstrate that, while the quadratic term controls the onset of the tachyonic instability that gives rise to the black hole hair, the higher-order coupling terms control the nonlinearities that quench that instability, and hence also control the stability of the hairy black hole solutions.

It has recently been shown that nontrivial couplings between a scalar and the Gauss-Bonnet invariant can give rise to black hole spontaneous scalarization. Theories that exhibit this phenomenon are among the leading candidates for testing gravity with upcoming black hole observations. All models considered so far have focused on specific forms for the coupling, neglecting scalar self-interactions. In this work, we take the first steps towards placing this phenomenon on a more robust theoretical footing by considering the leading-order scalar self-interactions as well as the scalar-Gauss-Bonnet coupling. Our approach is consistent with the principles of effective field theory and yields the simplest and most natural model. We find that a mass term for the scalar alters the threshold for the onset of scalarization, and we study the mass range over which scalarized black hole solutions exist. We also demonstrate that the quartic self-coupling is sufficient to produce scalarized solutions that are stable against radial perturbations, without the need to resort to higher-order terms in the Gauss-Bonnet coupling function. Our model therefore represents a canonical model that can be studied further, with the ultimate aim of developing falsifiable tests of black hole scalarization.

No-hair theorems for scalar-tensor theories imply that the trivial scalar field configuration is the unique configuration around stationary black hole spacetimes. The most basic assumption in these theorems is that a constant scalar configuration is actually admissible. In this paper, we classify shift-symmetric Horndeski theories according to whether or not they admit the trivial scalar configuration as a solution and under which conditions. Local Lorentz symmetry and the presence of a linear coupling between the scalar field and Gauss-Bonnet invariant plays feature prominently in this classification. We then use the classification to show that any theory without linear Gauss-Bonnet coupling that respects Local Lorentz symmetry admits all GR solutions. We also study the scalar hair configuration around black hole spacetimes in theories where the linear Gauss-Bonnet coupling is present. We show that the scalar hair of the configuration is secondary, fixed by the regularity of the horizon, and is determined by the black hole horizon properties.

The grand challenges of contemporary fundamental physics---dark matter, dark energy, vacuum energy, inflation and early universe cosmology, singularities and the hierarchy problem---all involve gravity as a key component. And of all gravitational phenomena, black holes stand out in their elegant simplicity, while harbouring some of the most remarkable predictions of General Relativity: event horizons, singularities and ergoregions. The hitherto invisible landscape of the gravitational Universe is being unveiled before our eyes: the historical direct detection of gravitational waves by the LIGO-Virgo collaboration marks the dawn of a new era of scientific exploration. Gravitational-wave astronomy will allow us to test models of black hole formation, growth and evolution, as well as models of gravitational-wave generation and propagation. It will provide evidence for event horizons and ergoregions, test the theory of General Relativity itself, and may reveal the existence of new fundamental fields. The synthesis of these results has the potential to radically reshape our understanding of the cosmos and of the laws of Nature. The purpose of this work is to present a concise, yet comprehensive overview of the state of the art in the relevant fields of research, summarize important open problems, and lay out a roadmap for future progress.

In recent years there has been a surge of interest in what has come to be known as the `universal relations' between various global properties of neutron stars. These universal relations are equation of state independent relations between quantities such as the moment of inertia $I$, the tidal deformability or Love number $\lambda$, and the quadrupole $Q$ (I-Love-Q relations), or the relativistic multipole moments (3-hair relations). While I-Love-Q relations have been studied extensively in both general relativity and various alternatives, 3-hair relations have been studied only in general relativity. Recent progress on the definition of the multipole moments of a compact object in the case of scalar-tensor theories allows for the study of 3-hair relations in modified theories of gravity. Specifically, the aim of this work is to study them for scalarized stars in scalar-tensor theories with a massless scalar field that admit spontaneous scalarization. We find that the 3-hair relations between the mass and angular momentum moments that hold in general relativity hold for scalarized stars as well. The scalar moments also exhibit a universal behaviour, which is equation of state independent within one specific theory, but differs between different theories. Combining astrophysical observations one can in principle measure the different properties of scalarized neutron star and tell different theories apart.

We study the nonlinear dynamics of black holes that carry scalar hair and binaries composed of such black holes. The scalar hair is due to a linear or exponential coupling between the scalar and the Gauss--Bonnet invariant. We work perturbatively in the coupling constant of that interaction but nonperturbatively in the fields. We first consider the dynamical formation of hair for isolated black holes of arbitrary spin and determine the final state. This also allows us to compute for the first time the scalar quasinormal modes of rotating black holes in the presence of this coupling. We then study the evolution of nonspinning black-hole binaries with various mass ratios and produce the first scalar waveform for a coalescence. An estimate of the energy loss in scalar radiation and the effect this has on orbital dynamics and the phase of the GWs (entering at quadratic order in the coupling) show that GW detections can set the most stringent constraint to date on theories that exhibit a coupling between a scalar field and the Gauss--Bonnet invariant.

A linear coupling between a scalar field and the Gauss-Bonnet invariant is the only known interaction term between a scalar and the metric that: respects shift symmetry; does not lead to higher order equations; inevitably introduces black hole hair in asymptotically flat, 4-dimensional spacetimes. Here we focus on the simplest theory that includes such a term and we explore the dynamical formation of scalar hair. In particular, we work in the decoupling limit that neglects the backreaction of the scalar onto the metric and evolve the scalar configuration numerically in the background of a Schwarzschild black hole or a collapsing dust star described by the Oppenheimer-Snyder solution. For all types of initial data that we consider, the scalar relaxes at late times to the known, static, analytic configuration that is associated with a hairy, spherically symmetric black hole. This suggests that the corresponding black hole solutions are indeed endpoints of collapse.

Scalar fields coupled to the Gauss-Bonnet invariant evade the known no-hair theorems and have nontrivial configurations around black holes. We focus on a scalar field that couples linearly to the Gauss-Bonnet invariant and hence exhibits shift symmetry. We study its dynamical evolution and the formation of scalar hair in a Schwarzschild background. We show that the evolution eventually settles to the known static hairy solutions in the appropriate limit.

The cuscuton is a scalar field with infinite speed of propagation. It was introduced in the context of cosmology but it has also been claimed to resemble Horava gravity in a certain limit. Here we revisit the cuscuton theory as a Lorentz-violating gravity theory. We clarify its relation with Horava gravity and Einstein-aether theory, analyze its causal structure, and consider its initial value formulation. Finally, we discuss to which extent the cuscuton theory can be used as a proxy for Horava gravity in the context of gravitational collapse and formation of universal horizons.

We identify a class of scalar-tensor theories with coupling between the scalar and the Gauss-Bonnet invariant that exhibit spontaneous scalarization for both black holes and compact stars. In particular, these theories formally admit all of the stationary solutions of general relativity, but these are not dynamically preferred if certain conditions are satisfied. Remarkably, black holes exhibit scalarization if their mass lies within one of many narrow bands. We find evidence that scalarization can occur in neutron stars as well.

In scalar-tensor theories, spontaneous scalarization is a phase transition that can occur in ultra-dense environments such as neutron stars. The scalar field develops a non-trivial configuration once the stars exceeds a compactness threshold. We recently pointed out that, if the scalar exhibits some additional coupling to matter, it could give rise to significantly different microphysics in these environments. In this work we study, at the non-perturbative level, a toy model in which the photon is given a large mass when spontaneous scalarization occurs. Our results demonstrate clearly the effectiveness of spontaneous scalarization as a Higgs-like mechanism in neutron stars.

The recent detection of gravitational wave GW170817 has placed a severe bound on the deviation of the speed of gravitational waves from the speed of light. We explore the consequences of this detection for Horava gravity.

Gravitational wave observations have been used to test Lorentz symmetry by looking for dispersive effects that are caused by higher order corrections to the dispersion relation. In this Letter I argue on general grounds that, when such corrections are present, there will also be a scalar excitation. Hence, a smoking-gun observation of Lorentz symmetry breaking would be the direct detection of scalar waves that travel at a speed other than the speed of the standard gravitational wave polarisations or the speed of light. Interestingly, in known Lorentz-breaking gravity theories the difference between the speeds of scalar and tensor waves is virtually unconstrained, whereas the difference between the latter and the speed of light is already severely constrained by the coincident detection of gravitational waves and gamma rays from a binary neutron star merger.

We develop a framework that facilitates the study of the causal structure of spacetimes with a causally preferred foliation. Such spacetimes may arise as solutions of Lorentz-violating theories, e.g. Horava gravity. Our framework allows us to rigorously define concepts such as black/white holes and to formalize the notion of a `universal horizon', that has been previously introduced in the simpler setting of static and spherically symmetric geometries. We also touch upon the issue of development and prove that universal horizons are Cauchy horizons when evolution depends on boundary data or asymptotic conditions. We establish a local characterisation of universal horizons in stationary configurations. Finally, under the additional assumption of axisymmetry, we examine under which conditions these horizons are cloaked by Killing horizons, which can act like usual event horizons for low-energy excitations.

We suggest that nonminimally coupled scalar fields can lead to modifications of the microphysics in the interiors of relativistic stars. As a concrete example, we consider the generation of a non-zero photon mass in such high-density environments. This is achieved by means of a light gravitational scalar, and the scalarization phase transition in scalar-tensor theories of gravitation. Two distinct models are presented, and phenomenological implications are briefly discussed.

We compare the initial value formulation of the low-energy limit of (non-projectable) Horava gravity to that of Einstein-aether theory when the aether is assumed to be hypersurface orthogonal at the level of the field equations. This comparison clearly highlights a crucial difference in the causal structure of the two theories at the non-perturbative level: in Horava gravity evolution equations include an elliptic equation that is not a constraint relating initial data but needs to be imposed on each slice of the foliation. This feature is absent in Einstein-aether theory. We discuss its physical significance in Horava gravity. We also focus on spherical symmetry and we revisit existing collapse simulations in Einstein-aether theory. We argue that they have likely already uncovered the dynamical formation of a universal horizon and that they can act as evidence that this horizon is indeed a Cauchy horizon in Horava gravity.

The formalism for describing a metric and the corresponding scalar in terms of multipole moments has recently been developed for scalar-tensor theories. We take advantage of this formalism in order to obtain expressions for the observables that characterise geodesics in terms of the moments. These expressions provide some insight into how the structure of a scalarized compact object affects observables. They can also be used to understand how deviations from general relativity are imprinted on the observables.

No-hair theorems in theories of gravity with a scalar field are briefly and critically reviewed. Their significance and limitations are discussed and potential evasions are considered.

Stationary, asymptotically flat spacetimes in general relativity can be characterized by their multipole moments. The moments have proved to be very useful tools for extracting information about the spacetime from various observables and, more recently, for establishing universalities in the structure of neutron stars. As a first step toward extending these methods beyond general relativity, we develop the formalism that allows one to define and calculate the multipole moments in scalar-tensor theories of gravity.

In a recent Letter we have shown that in shift-symmetric Horndeski theory the scalar field is forced to obtain a nontrivial configuration in black hole spacetimes, unless a linear coupling with the Gauss-Bonnet invariant is tuned away. As a result, black holes generically have hair in this theory. In this companion paper, we first review our argument and discuss it in more detail. We then present actual black hole solutions in the simplest case of a theory with the linear scalar-Gauss-Bonnet coupling. We generate exact solutions numerically for a wide range of values of the coupling and also construct analytic solutions perturbatively in the small coupling limit. Comparison of the two types of solutions indicates that non-linear effects that are not captured by the perturbative solution lead to a finite area, as opposed to a central, singularity. Remarkably, black holes have a minimum size, controlled by the length scale associated with the scalar-Gauss-Bonnet coupling. We also compute some phenomenological observables for the numerical solution for a wide range of values of the scalar-Gauss-Bonnet coupling. Deviations from the Schwarzschild geometry are generically very small.

Gravity theories with non-minimally coupled scalar fields are used as characteristic examples in order to demonstrate the challenges, pitfalls and future perspectives of considering alternatives to general relativity. These lecture notes can be seen as an illustration of concepts, subtleties and techniques present in all alternative theories, but they also provide a brief review of generalised scalar-tensor theories.

In electrovacuum stationary, asymptotically flat black holes in scalar-tensor theories of gravity are described by the Kerr-Newman family of solutions, just as in general relativity. We show that there exist two mechanisms which can render Kerr black holes unstable when matter is present in the vicinity of the black hole, as this induces an effective mass for the scalar. The first mechanism is a tachyonic instability that appears when the effective mass squared is negative, triggering the development of scalar hair --- a black hole version of "spontaneous scalarization". The second instability is associated with superradiance and is present when the effective mass squared is positive and when the black hole spin exceeds a certain threshold. The second mechanism is also responsible for a resonant effect in the superradiant scattering of scalar waves, with amplification factors as large as 10^5 or more.

Modifications of General Relativity usually include extra dynamical degrees of freedom, which to date remain undetected. Here we explore the possibility of modifying Einstein's theory by adding solely nondynamical fields. With the minimal requirement that the theory satisfies the weak equivalence principle and admits a covariant Lagrangian formulation, we show that the field equations generically have to include higher-order derivatives of the matter fields. This has profound consequences for the viability of these theories. We develop a parametrization based on a derivative expansion and show that - to next to leading order - all theories are described by just two parameters. Our approach can be used to put stringent, theory-independent constraints on such theories, as we demonstrates using the Newtonian limit as an example.

We uncover two mechanisms that can render Kerr black holes unstable in scalar-tensor gravity, both associated to the presence of matter in the vicinity of the black hole and the fact that this introduces an effective mass for the scalar. Our results highlight the importance of understanding the structure of spacetime in realistic, astrophysical black holes in scalar-tensor theories.

Lorentz-symmetry and the notion of light cones play a central role in the definition of horizons and the existence of black holes. Current observations provide strong indications that astrophysical black holes do exist in Nature. Here we explore what happens to the notion of a black hole in gravity theories where local Lorentz symmetry is violated, and discuss the relevant astrophysical implications. Einstein-aether theory and Horava gravity are used as the theoretical background for addressing this question. We review earlier results about static, spherically symmetric black holes, which demonstrate that in Lorentz-violating theories there can be a new type of horizon and, hence, a new notion of black hole. We also present both known and new results on slowly rotating black holes in these theories, which provide insights on how generic these new horizons are. Finally, we discuss the differences between black holes in Lorentz-violating theories and in General Relativity, and assess to what extent they can be probed with present and future observations.

We develop the gradient expansion formalism for shift-symmetric Galileon-type actions. We focus on backgrounds that undergo inflation, work in the synchronous gauge, and obtain a general solution up to second order without imposing extra conditions at first order. The solution simplifies during the late stages of inflation. We also define a curvature perturbation conserved up to first order.

Eddington-inspired Born-Infeld gravity was recently proposed as an alternative to general relativity that offers a resolution of spacetime singularities. The theory differs from Einstein's gravity only inside matter due to nondynamical degrees of freedom, and it is compatible with all current observations. We show that the theory is reminiscent of Palatini f(R) gravity and that it shares the same pathologies, such as curvature singularities at the surface of polytropic stars and unacceptable Newtonian limit. This casts serious doubts on its viability.

Horava-Lifshitz gravity models contain higher order operators suppressed by a characteristic scale, which is required to be parametrically smaller than the Planck scale. We show that recomputed synchrotron radiation constraints from the Crab nebula suffice to exclude the possibility that this scale is of the same order of magnitude as the Lorentz breaking scale in the matter sector. This highlights the need for a mechanism that suppresses the percolation of Lorentz violation in the matter sector and is effective for higher order operators as well.

Metric-affine theories of gravity provide an interesting alternative to General Relativity: in such an approach, the metric and the affine (not necessarily symmetric) connection are independent quantities. Furthermore, the action should include covariant derivatives of the matter fields, with the covariant derivative naturally defined using the independent connection. As a result, in metric-affine theories a direct coupling involving matter and connection is also present. The role and the dynamics of the connection in such theories is explored. We employ power counting in order to construct the action and search for the minimal requirements it should satisfy for the connection to be dynamical. We find that for the most general action containing lower order invariants of the curvature and the torsion the independent connection does not carry any dynamics. It actually reduces to the role of an auxiliary field and can be completely eliminated algebraically in favour of the metric and the matter field, introducing extra interactions with respect to general relativity. However, we also show that including higher order terms in the action radically changes this picture and excites new degrees of freedom in the connection, making it (or parts of it) dynamical. Constructing actions that constitute exceptions to this rule requires significant fine tuned and/or extra a priori constraints on the connection. We also consider f(R) actions as a particular example in order to show that they constitute a distinct class of metric-affine theories with special properties, and as such they cannot be used as representative toy theories to study the properties of metric-affine gravity.

We attempt a critical reconsideration of "detailed balance" as a principle that can be used to restrict the proliferation of couplings in Horava-Lifshitz gravity. We re-examine the shortcomings that have been usually associated with it in the literature and we argue that easy remedies can be found for all of them within the framework of detailed balance, and that the most persistent of them are actually related to projectability. We show that, once projectability is abandoned, detailed balance reduces the number of independent couplings by roughly an order of magnitude and imposes only one restriction that constitutes a phenomenological concern: the size of the (bare) cosmological constant is unacceptably large. Remarkably, this restriction (which is present in the projectable version as well) has been so far under-appreciated in the literature. Optimists might prefer to interpret it as a potential blessing in disguise, as it allows one to entertain the idea of a miraculous cancelation between the bare cosmological constant and the (still poorly understood) vacuum energy contribution.

Hawking has proven that black holes which are stationary as the endpoint of gravitational collapse in Brans--Dicke theory (without a potential) are no different than in general relativity. We extend this proof to the much more general class of scalar-tensor and f(R) gravity theories, without assuming any symmetries apart from stationarity.

We study spherical black-hole solutions in Einstein-aether theory, a Lorentz-violating gravitational theory consisting of General Relativity with a dynamical unit timelike vector (the "aether") that defines a preferred timelike direction. These are also solutions to the infrared limit of Horava-Lifshitz gravity. We explore parameter values of the two theories where all presently known experimental constraints are satisfied, and find that spherical black-hole solutions of the type expected to form by gravitational collapse exist for all those parameters. Outside the metric horizon, the deviations away from the Schwarzschild metric are typically no more than a few percent for most of the explored parameter regions, which makes them difficult to observe with electromagnetic probes, but in principle within reach of future gravitational-wave detectors. Remarkably, we find that the solutions possess a universal horizon, not far inside the metric horizon, that traps waves of any speed relative to the aether. A notion of black hole thus persists in these theories, even in the presence of arbitrarily high propagation speeds.

We analyze the relation between teleparallelism and local Lorentz invariance. We show that generic modifications of the teleparallel equivalent to general relativity will not respect local Lorentz symmetry. We clarify the reasons for this and explain why the situation is different in general relativity. We give a prescription for constructing teleparallel equivalents for known theories. We also explicitly consider a recently proposed class of generalized teleparallel theories, called f(T) theories of gravity, and show why restoring local Lorentz symmetry in such theories cannot lead to sensible dynamics, even if one gives up teleparallelism.

We show that in theories of generalised teleparallel gravity, whose Lagrangians are algebraic functions of the usual teleparallel Lagrangian, the action and the field equations are not invariant under local Lorentz transformations. We also argue that these theories appear to have extra degrees of freedom with respect to general relativity. The usual teleparallel Lagrangian, which has been extensively studied and leads to a theory dynamically equivalent to general relativity, is an exception. Both of these facts appear to have been overlooked in the recent literature on f(T) gravity, but are crucial for assessing the viability of these theories as alternative explanations for the acceleration of the universe.

In this work we study the cosmology of the general f(T) gravity theory. We express the modified Einstein equations using covariant quantities, and derive the gauge-invariant perturbation equations in covariant form. We consider a specific choice of f(T), designed to explain the observed late-time accelerating cosmic expansion without including an exotic dark energy component. Our numerical solution shows that the extra degree of freedom of such f(T) gravity models generally decays as one goes to smaller scales, and consequently its effects on scales such as galaxies and galaxies clusters are small. But on large scales, this degree of freedom can produce large deviations from the standard LCDM scenario, leading to severe constraints on the f(T) gravity models as an explanation to the cosmic acceleration.

A gedanken experiment in which a black hole is pushed to spin at its maximal rate by tossing into it a test body is considered. After demonstrating that this is kinematically possible for a test body made of reasonable matter, we focus on its implications for black hole thermodynamics and the apparent violation of the third law (unattainability of the extremal black hole). We argue that this is not an actual violation, due to subtleties in the absorption process of the test body by the black hole, which are not captured by the purely kinematic considerations.

It is known that in f(R) theories of gravity with an independent connection which can be both non-metric and non symmetric, this connection can always be algebraically eliminated in favour of the metric and the matter fields, so long as it is not coupled to the matter explicitly. We show here that this is a special characteristic of f(R) actions, and it is not true for actions that include other curvature invariants. This contradicts some recent claims in the literature. We clarify the reasons of this contradiction.

If a black hole can accrete a body whose spin or charge would send the black hole parameters over the extremal limit, then a naked singularity would presumably form, in violation of the cosmic censorship conjecture. We review some previous results on testing cosmic censorship in this way using the test body approximation, focusing mostly on the case of neutral black holes. Under certain conditions a black hole can indeed be over-spun or over-charged in this approximation, hence radiative and self-force effects must be taken into account to further test cosmic censorship.

Black holes harbor a spacetime singularity of infinite curvature, where classical spacetime physics breaks down, and current theory cannot predict what will happen. However, the singularity is invisible from the outside because strong gravity traps all signals, even light, behind an event horizon. In this essay we discuss whether it might be possible to destroy the horizon, if a body is tossed into the black hole so as to make it spin faster and/or have more charge than a certain limit. It turns out that one could expose a "naked" singularity if effects of the body's own gravity can be neglected. We suspect however that such neglect is unjustified.

Modified gravity theories have received increased attention lately due to combined motivation coming from high-energy physics, cosmology and astrophysics. Among numerous alternatives to Einstein's theory of gravity, theories which include higher order curvature invariants, and specifically the particular class of f(R) theories, have a long history. In the last five years there has been a new stimulus for their study, leading to a number of interesting results. We review here f(R) theories of gravity in an attempt to comprehensively present their most important aspects and cover the largest possible portion of the relevant literature. All known formalisms are presented -- metric, Palatini and metric-affine -- and the following topics are discussed: motivation; actions, field equations and theoretical aspects; equivalence with other theories; cosmological aspects and constraints; viability criteria; astrophysical applications.

It has recently been pointed out that particles falling freely from rest at infinity outside a Kerr black hole can in principle collide with arbitrarily high center of mass energy in the limiting case of maximal black hole spin. Here we aim to elucidate the mechanism for this fascinating result, and to point out its practical limitations, which imply that ultra-energetic collisions cannot occur near black holes in nature.

It has long been known that a maximally spinning black hole can not be over-spun by tossing in a test body. Here we show that if instead the black hole starts out with below maximal spin, then indeed over-spinning can be achieved when adding either orbital or spin angular momentum. We find that requirements on the size and internal structure of the test body can be met as well. Our analysis neglects radiative and self-force effects,which may prevent the over-spinning.

For both f(R) theories of gravity with an independent symmetric connection (no torsion), usually referred to as Palatini f(R) gravity theories, and for f(R) theories of gravity with torsion but no non-metricity, called U4 theories, it has been shown that the independent connection can actually be eliminated algebraically, as long as this connection does not couple to matter. Remarkably, the outcome in both case is the same theory, which is dynamically equivalent with an \omega_0=-3/2 Brans--Dicke theory. It is shown here that even for the most general case of an independent connection with both non-metricity and torsion one arrives at exactly the same theory as in the more restricted cases. This generalizes the previous results and explains why assuming that either the torsion or the the non-metricity vanishes ultimately leads to the same theory. It also demonstrates that f(R) actions cannot support an independent connection which carries dynamical degrees of freedom, irrespectively of how general this connection is, at least as long as there is no connection-matter coupling.

Relativistic current carrying strings moving axisymmetrically on the background of a Kerr black hole are studied. The boundaries and possible types of motion of a string with a given energy and current are found. Regions of parameters for which the string falls into the black hole, or is trapped in a toroidal volume, or can escape to infinity, are identified, and representative trajectories are examined by numerical integration, illustrating various interesting behaviors. In particular, we find that a string can start out at rest near the equatorial plane and, after bouncing around, be ejected out along the axis, some of its internal (elastic or rotational kinetic) energy having been transformed into translational kinetic energy. The resulting velocity can be an order unity fraction of the speed of light. This process results from the presence of an outer tension barrier and an inner angular momentum barrier that are deformed by the gravitational field. We speculatively discuss the possible astrophysical significance of this mechanism as a means of launching a collimated jet of MHD plasma flux tubes along the spin axis of a gravitating system fed by an accretion disk.

Loop quantum cosmology (LQC) seems to be predicting modified effective Friedmann equations without extra degrees of freedom. A puzzle arises if one decides to seek for a covariant effective action which would lead to the given Friedmann equation: The Einstein--Hilbert action is the only action that leads to second order field equations and, hence, there exists no covariant action which, under metric variation, leads to modified Friedmann equation without extra degrees of freedom. It is shown that, at least for isotropic models in LQC, this issue is naturally resolved and a covariant effective action can be found if one considers higher order theories of gravity but faithfully follows effective field theory techniques. However, our analysis also raises doubts on whether a covariant description without background structures can be found for anisotropic models.

There has been a recent stimulus in the study of alternative theories of gravity lately, mostly triggered from combined motivation coming from cosmology/astrophysics and high energy physics. Among the proposed theories, one that has attracted much attention is f(R) gravity. It is certainly debatable whether such a simplistic modification of General Relativity can constitute a viable alternative theory of gravitation. However, it is quite straightforward to see the merits of such a theory when viewed as a toy theory whose role is to help us understand the implications and difficulties of beyond-Einstein gravity. Under this perspective, I review some of the main lessons we seem to have learned from the study of f(R) gravity in the recent past.

We consider alternative theories of gravity with a direct coupling between matter and the Ricci scalar We study the relation between these theories and ordinary scalar-tensor gravity, or scalar-tensor theories which include non-standard couplings between the scalar and matter. We then analyze the motion of matter in such theories, its implications for the Equivalence Principle, and the recent claim that they can alleviate the dark matter problem in galaxies.

Although the Kerr solution is common to many gravity theories, its perturbations are different in different theories. Hence, perturbed Kerr black holes can probe deviations from General Relativity.

Recently there has been a proposal for modified gravitational f(R) actions which include a direct coupling between the matter action and the Ricci scalar, R. Of particular interest is the specific case where both the action and the coupling are linear in R. It is shown that such an action leads to a theory of gravity which includes higher order derivatives of the matter fields without introducing more dynamics in the gravity sector and, therefore, cannot be a viable theory for gravitation.

In a previous paper we showed that static spherically symmetric objects which, in the vicinity of their surface, are well-described by a polytropic equation of state with 3/2<Gamma<2 exhibit a curvature singularity in Palatini f(R) gravity. We argued that this casts serious doubt on the validity of Palatini f(R) gravity as a viable alternative to General Relativity. In the present paper we further investigate this characteristic of Palatini f(R) gravity in order to clarify its physical interpretation and consequences.

Already in the 1970s there where attempts to present a set of ground rules, sometimes referred to as a theory of gravitation theories, which theories of gravity should satisfy in order to be considered viable in principle and, therefore, interesting enough to deserve further investigation. From this perspective, an alternative title of the present paper could be ``why are we still unable to write a guide on how to propose viable alternatives to general relativity?''. Attempting to answer this question, it is argued here that earlier efforts to turn qualitative statements, such as the Einstein Equivalence Principle, into quantitative ones, such as the metric postulates, stand on rather shaky grounds -- probably contrary to popular belief -- as they appear to depend strongly on particular representations of the theory. This includes ambiguities in the identification of matter and gravitational fields, dependence of frequently used definitions, such as those of the stress-energy tensor or classical vacuum, on the choice of variables, etc. Various examples are discussed and possible approaches to this problem are pointed out. In the course of this study, several common misconceptions related to the various forms of the Equivalence Principle, the use of conformal frames and equivalence between theories are clarified.

Non-vacuum static spherically-symmetric solutions in Palatini f(R) gravity are examined. It is shown that for generic choices of f(R), there are commonly-used equations of state for which no satisfactory physical solution of the field equations can be found within this framework, apart from in the special case of General Relativity, casting doubt on whether Palatini f(R) gravity can be considered as giving viable alternatives to General Relativity.

This thesis is devoted to the study of gravitational theories which can be seen as modifications or generalisations of General Relativity. The motivation for considering such theories, stemming from Cosmology, High Energy Physics and Astrophysics is thoroughly discussed (cosmological problems, dark energy and dark matter problems, the lack of success so far in obtaining a successful formulation for Quantum Gravity). The basic principles which a gravitational theory should follow, and their geometrical interpretation, are analysed in a broad perspective which highlights the basic assumptions of General Relativity and suggests possible modifications which might be made. A number of such possible modifications are presented, focusing on certain specific classes of theories: scalar-tensor theories, metric f(R) theories, Palatini f(R) theories, metric-affine f(R) theories and Gauss--Bonnet theories. The characteristics of these theories are fully explored and attention is payed to issues of dynamical equivalence between them. Also, cosmological phenomenology within the realm of each of the theories is discussed and it is shown that they can potentially address the well-known cosmological problems. A number of viability criteria are presented: cosmological observations, Solar System tests, stability criteria, existence of exact solutions for common vacuum or matter configurations etc. Finally, future perspectives in the field of modified gravity are discussed and the possibility for going beyond a trial-and-error approach to modified gravity is explored.

The Parametrized Post-Newtonian expansion of gravitational theories with a scalar field coupled to the Gauss-Bonnet invariant is performed and confrontation of such theories with Solar system experiments is discussed.

General Relativity assumes that spacetime is fully described by the metric alone. An alternative is the so called Palatini formalism where the metric and the connections are taken as independent quantities. The metric-affine theory of gravity has attracted considerable attention recently, since it was shown that within this framework some cosmological models, based on some generalized gravitational actions, can account for the current accelerated expansion of the universe. However we think that metric-affine gravity deserves much more attention than that related to cosmological applications and so we consider here metric-affine gravity theories in which the gravitational action is a general function of the scalar curvature while the matter action is allowed to depend also on the connection which is not {\em a priori} symmetric. This general treatment will allow us to address several open issues such as: the relation between metric-affine $f(R)$ gravity and General Relativity (in vacuum as well as in the presence of matter), the implications of the dependence (or independence) of the matter action on the connections, the origin and role of torsion and the viability of the minimal-coupling principle.

An instability in the presence of matter in theories of gravity which include a 1/R correction in the gravitational action has been found by Dolgov and Kawasaki. In the present paper this instability is discussed for f(R) gravity in general. We focus on the Palatini formalism of the theory and it is shown that no such instability occurs in this version of f(R) gravity. The reasons for the appearance of the instability in the metric but not in the Palatini formalism are fully investigated.

The way one chooses to couple gravity to matter is an essential characteristic of any gravitational theory. In theories where the gravitational field is allowed to have more degrees of freedom than those of General Relativity (e.g. scalar-tensor theory, f(R) gravity) this issue often becomes even more important. We concentrate here on f(R) gravity treated within the Palatini variational principle and discuss how the coupling between matter and the extra degrees of freedom of gravity (the independent connections in our case) affects not only the resulting phenomenology but even the geometrical meaning of fundamental fields.

Recently a class of alternative theories of gravity which goes under the name f(R) gravity, has received considerable attention, mainly due to its interesting applications in cosmology. However, the phenomenology of such theories is not only relevant to cosmological scales, especially when it is treated within the framework of the so called Palatini variation, an independent variation with respect to the metric and the connection, which is not considered a priori to be the Levi-Civita connection of the metric. If this connection has its standard geometrical meaning the resulting theory will be a metric-affine theory of gravity, as will be discussed in this talk. The general formalism will be presented and several aspects of the theory will be covered, mainly focusing on the enriched phenomenology that such theories exhibit with respect to General Relativity, relevant not only to large scales (cosmology) but also to small scales (e.g. torsion).

The present paper reconsiders the Newtonian limit of models of modified gravity including higher order terms in the scalar curvature in the gravitational action. This was studied using the Palatini variational principle in [Meng X. and Wang P.: Gen. Rel. Grav. {\bf 36}, 1947 (2004)] and [Dom\'inguez A. E. and Barraco D. E.: Phys. Rev. D {\bf 70}, 043505 (2004)] with contradicting results. Here a different approach is used, and problems in the previous attempts are pointed out. It is shown that models with negative powers of the scalar curvature, like the ones used to explain the present accelerated expansion, as well as their generalization which include positive powers, can give the correct Newtonian limit, as long as the coefficients of these powers are reasonably small. Some consequences of the performed analysis seem to raise doubts for the way the Newtonian limit was derived in the purely metric approach of fourth order gravity [Dick R.: Gen. Rel. Grav. {\bf 36}, 217 (2004)]. Finally, we comment on a recent paper [Olmo G. J.: Phys. Rev. D {\bf 72}, 083505 (2005)] in which the problem of the Newtonian limit of both the purely metric and the Palatini formalism is discussed, using the equivalent Brans--Dicke theory, and with which our results partly disagree.

In the present paper we will investigate the relation between scalar-tensor theory and $f(R)$ theories of gravity. Such studies have been performed in the past for the metric formalism of $f(R)$ gravity; here we will consider mainly the Palatini formalism, where the metric and the connections are treated as independent quantities. We will try to investigate under which circumstances $f(R)$ theories of gravity are equivalent to scalar-tensor theory and examine the implications of this equivalence, when it exists.

A modified model of gravity with additional positive and negative powers of the scalar curvature, $R$, in the gravitational action is studied. This is done using the Palatini variational principle. It is demonstrated that using such a model might prove useful to explain both the early time inflation and the late time cosmic acceleration without the need for any form of dark energy.

Although several models of $f(R)$ theories of gravity within the Palatini approach have been studied already, the interest was concentrated on those that have an effect on the late-time evolution of the universe, by the inclusion for example of terms inversely proportional to the scalar curvature in the gravitational action. However, additional positive powers of the curvature also provide interesting early-time phenomenology, like inflation, and the presence of such terms in the action is equally, if not more, probable. In the present paper models with both additional positive and negative powers of the scalar curvature are studied. Their effect on the evolution of the universe is investigated for all cosmological eras, and various constraints are put on the extra terms in the actions. Additionally, we examine the extent to which the new terms in positive powers affect the late-time evolution of the universe and the related observables, which also determines our ability to probe their presence in the gravitational action.