Interacting hypersurfaces and multiple scalar-tensor theories

TL;DR

This paper introduces a new geometric approach using hypersurfaces to construct ghost-free multiple scalar-tensor theories, simplifying the control of derivatives and avoiding unwanted degrees of freedom.

Contribution

It develops a novel method employing hypersurface geometric quantities for building ghost-free multi-scalar-tensor theories, extending single-field techniques to multiple fields.

Findings

Constructed polynomial Lagrangians up to third derivatives.

Demonstrated the theory propagates the correct degrees of freedom.

Established correspondence with covariant bi-scalar-tensor theories.

Abstract

We propose a novel method to construct ghost-free multiple scalar-tensor theories. The key idea is to use the geometric quantities of hypersurfaces defined by the scalar fields, rather than the covariant derivatives of scalar fields or spacetime curvature, to build the theory. This approach has proven effective in developing ghost-free scalar-tensor theories in the single-field case. When multiple scalar fields are present, each field specifies a foliation of spacelike hypersurfaces, on which we can define the normal vector, induced metric, extrinsic and intrinsic curvatures, as well as extrinsic (Lie) and intrinsic (spatial) derivatives, respectively. By employing these hypersurface geometric quantities as foundational elements, we construct the Lagrangian for interacting hypersurfaces that describes a multiple scalar-tensor theory. Given that temporal (Lie) and spatial derivatives are separated, it becomes relatively easier to control the order of time derivatives, thus helping to avoid ghost-like or unwanted degrees of freedom. In this work, we use bi-scalar-field theory as an example, focusing on polynomial-type Lagrangians. We construct monomials of hypersurface geometric quantities up to $d=3$, where $d$ denotes the number of derivatives in each monomial. Additionally, we present the correspondence between expressions in terms of hypersurface quantities and those in covariant bi-scalar-tensor theory. Through a cosmological perturbation analysis of a simple model, we demonstrate that the theory propagates two tensor and two scalar degrees of freedom at the linear order in perturbations, thereby remaining free from any extra degrees of freedom.