The 3+1 formulation of scalar-tensor theories of gravity (STT) is obtained in the physical (Jordan) frame departing from the 4+0 covariant field equations. Contrary to the common belief (folklore), the new system of ADM-like equations shows that the Cauchy problem of STT is well formulated (in the sense that the whole system of evolution equations is of first order in the time-derivative). This is the first step towards a full first order (in time and space) formulation from which a subsequent hyperbolicity analysis (a well-posedness determination) can be performed. Several gauge (lapse and shift) conditions are considered and implemented for STT. In particular, a generalization of the harmonic gauge for STT allows us to prove the well posedness of the STT using a second order analysis which is very similar to the one used in general relativity. Some spacetimes of astrophysical and cosmological interest are considered as specific applications. Several appendices complement the ideas of the main part of the paper.

In recent years, many different numerical evolution schemes for Einstein's equations have been proposed to address stability and accuracy problems that have plagued the numerical relativity community for decades. Some of these approaches have been tested on different spacetimes, and conclusions have been drawn based on these tests. However, differences in results originate from many sources, including not only formulations of the equations, but also gauges, boundary conditions, numerical methods, and so on. We propose to build up a suite of standardized testbeds for comparing approaches to the numerical evolution of Einstein's equations that are designed to both probe their strengths and weaknesses and to separate out different effects, and their causes, seen in the results. We discuss general design principles of suitable testbeds, and we present an initial round of simple tests with periodic boundary conditions. This is a pivotal first step toward building a suite of testbeds to serve the numerical relativists and researchers from related fields who wish to assess the capabilities of numerical relativity codes. We present some examples of how these tests can be quite effective in revealing various limitations of different approaches, and illustrating their differences. The tests are presently limited to vacuum spacetimes, can be run on modest computational resources, and can be used with many different approaches used in the relativity community.

A numerical analysis shows that a class of scalar-tensor theories of gravity with a scalar field minimally and nonminimally coupled to the curvature allows static and spherically symmetric black hole solutions with scalar-field hair in asymptotically flat spacetimes. In the limit when the horizon radius of the black hole tends to zero, regular scalar solitons are found. The asymptotically flat solutions are obtained provided that the scalar potential $V(\phi)$ of the theory is not positive semidefinite and such that its local minimum is also a zero of the potential, the scalar field settling asymptotically at that minimum. The configurations for the minimal coupling case, although unstable under spherically symmetric linear perturbations, are regular and thus can serve as counterexamples to the no-scalar-hair conjecture. For the nonminimal coupling case, the stability will be analyzed in a forthcoming paper.Comment: 7 pages, 10 postscript figures, file tex, new postscript figs. and references added, stability analysis revisite

We study in the physical frame the phenomenon of spontaneous scalarization that occurs in scalar-tensor theories of gravity for compact objects. We discuss the fact that the phenomenon occurs exactly in the regime where the Newtonian analysis indicates it should not. Finally, we discuss the way the phenomenon depends on the equation of state used to describe nuclear matter.

We discuss scenarios in which the galactic dark matter in spiral galaxies is described by a long range coherent field which settles in a stationary configuration that might account for the features of the galactic rotation curves. The simplest possibility is to consider scalar fields, so we discuss in particular, two mechanisms that would account for the settlement of the scalar field in a non-trivial configuration in the absence of a direct coupling of the field with ordinary matter: topological defects, and spontaneous scalarization.