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.