We classify the metric-affine theories of gravitation, in which the metric and the connections are treated as independent variables, by use of several constraints on the connections. Assuming the Einstein-Hilbert action, we find that the equations for the distortion tensor (torsion and nonmetricity) become algebraic, which means that those variables are not dynamical. As a result, we can rewrite the basic equations in the form of Riemannian geometry. Although all classified models recover the Einstein gravity in the Palatini formalism (in which we assume there is no coupling between matter and the connections), but when matter field couples to the connections, the effective Einstein equations include an additional hyper energy-momentum tensor obtained from the distortion tensor. Assuming a simple extension of a minimally coupled scalar field in metricaffine gravity, we analyze an inflationary scenario. Even if we adopt a chaotic inflation potential, certain parameters could satisfy observational constraints. Furthermore, we find that a simple form of Galileon scalar field in metric-affine could cause G-inflation.

We reveal the existence of a certain hidden symmetry in general ghost-free scalar-tensor theories which can only be seen when generalizing the geometry of the spacetime from Riemannian. For this purpose, we study scalar-tensor theories in the metric-affine (Palatini) formalism of gravity, which we call scalar-metric-affine theories for short, where the metric and the connection are independent. We show that the projective symmetry, a local symmetry under a shift of the connection, can provide a ghost-free structure of scalar-metric-affine theories. The ghostly sector of the secondorder derivative of the scalar is absorbed into the projective gauge mode when the unitary gauge can be imposed. Incidentally, the connection does not have the kinetic term in these theories and then it is just an auxiliary field. We can thus (at least in principle) integrate the connection out and obtain a form of scalar-tensor theories in the Riemannian geometry. The projective symmetry then hides in the ghost-free scalar-tensor theories. As an explicit example, we show the relationship between the quadratic order scalar-metric-affine theory and the quadratic U-degenerate theory. The explicit correspondence between the metric-affine (Palatini) formalism and the metric one could be also useful for analyzing phenomenology such as inflation.1 In the paper [16], U-degenerate theories and DHOST theories are classified: U-degenerate theories are not degenerate in an arbitrary gauge but degenerate in the unitary gauge while DHOST theories are degenerate under any gauge. However, in the present paper, we will just call theories "U-degenerate theories" if the Lagrangian is degenerate at least in the unitary gauge for simplicity.

We study scalar-tensor theories respecting the projective invariance in the metric-affine formalism. The metric-affine formalism is a formulation of gravitational theories such that the metric and the connection are independent variables in the first place. In this formalism, the Einstein-Hilbert action has an additional invariance, called the projective invariance, under a shift of the connection. Respecting this invariance for the construction of the scalar-tensor theories, we find that the Galileon terms in curved spacetime are uniquely specified at least up to quartic order which does not coincide with either the covariant Galileon or the covariantized Galileon. We also find an action in the metricaffine formalism which is equivalent to class 2 N-I/Ia of the quadratic degenerated higher order scalartensor (DHOST) theory. The structure of DHOST would become clear in the metric-affine formalism since the equivalent action is just linear in the generalized Galileon terms and non-minimal couplings to the Ricci scalar and the Einstein tensor with independent coefficients. The fine-tuned structure of DHOST is obtained by integrating out the connection. In these theories, non-minimal couplings between fermionic fields and the scalar field may be predicted. We discuss possible extensions which could involve theories beyond DHOST.

We show that promoting the trace part of the Einstein equations to a trivial identity results in the Newton constant being an integration constant. Thus, in this formulation the Newton constant is a global dynamical degree of freedom which is also a subject to quantization and quantum fluctuations. This is similar to what happens to the cosmological constant in the unimodular gravity where the trace part of the Einstein equations is lost in a different way. We introduce a constrained variational formulation of these modified Einstein equations. Then, drawing on analogies with the Henneaux-Teitelboim action for unimodular gravity, we construct different general-covariant actions resulting in these dynamics. The inverse of dynamical Newton constant is canonically conjugated to the Ricci scalar integrated over spacetime. Surprisingly, instead of the dynamical Newton constant one can formulate an equivalent theory with a dynamical Planck constant. Finally, we show that an axion-like field can play a role of the gravitational Newton constant or even of the quantum Planck constant.

We investigate cosmological perturbations of scalar-tensor theories in Palatini formalism. First we introduce an action where the Ricci scalar is conformally coupled to a function of a scalar field and its kinetic term and there is also a k-essence term consisting of the scalar and its kinetic term. This action has three frames that are equivalent to one another: the original Jordan frame, the Einstein frame where the metric is redefined, and the Riemann frame where the connection is redefined. For the first time in the literature, we calculate the quadratic action and the sound speed of scalar and tensor perturbations in three different frames and show explicitly that they coincide. Furthermore, we show that for such action the sound speed of gravitational waves is unity. Thus, this model serves as dark energy as well as an inflaton even though the presence of the dependence of the kinetic term of a scalar field in the non-minimal coupling, different from the case in metric formalism. We then proceed to construct the L3 action called Galileon terms in Palatini formalism and compute its perturbations. We found that there are essentially 10 different (inequivalent) definitions in Palatini formalism for a given Galileon term in metric formalism. We also see that, in general, the L3 terms have a ghost due to Ostrogradsky instability and the sound speed of gravitational waves could potentially deviate from unity, in sharp contrast with the case of metric formalism. Interestingly, once we eliminate such a ghost, the sound speed of gravitational waves also becomes unity. Thus, the ghost-free L3 terms in Palatini formalism can still serve as dark energy as well as an inflaton, like the case in metric formalism.

We analyse the dynamical properties of disformally transformed theories of gravity.We show that disformal transformation typically introduces novel degrees of freedom, equivalent to the mimetic dark matter, which possesses a Weyl-invariant formulation. We demonstrate that this phenomenon occurs in a wider variety of disformal transformations than previously thought.

We show that invertible transformations of dynamical variables can change the number of dynamical degrees of freedom. Moreover, even in cases when the number of dynamical degrees of freedom remains unchanged, the resulting dynamics can be essentially different from the one of the system prior to transformation. After giving concrete examples in point particle cases, we discuss changes in dynamics due to invertible disformal transformations of the metric in gravitational theories.

We analyse the dynamical properties of disformally transformed theories of gravity. We show that disformal transformation typically introduces novel degrees of freedom, equivalent to the mimetic dark matter, which possesses a Weyl-invariant formulation. We demonstrate that this phenomenon occurs in a wider variety of disformal transformations than previously thought.