## A covariant simultaneous action for branes

Riccardo Capovilla and Giovany Cruz

Departamento de F´ ısica, Cinvestav-IPN, Av. Instituto Polit´cnico Nacional 2508, col. e San Pedro Zacatenco, 07360, Gustavo A. Madero, Ciudad de M´xico, M´xico e e

## Abstract

Acovariant simultaneous action for branes in an arbitrary curved background spacetime is considered. The action depends on a pair of independent field variables, the brane embedding functions, through the canonical momentum of a reparametrization invariant geometric model for the brane, and an auxiliary vector field. The form of the action is analogous to a symplectic potential. Extremization of the simultaneous action produces at once the equations of motion and the Jacobi equations for the brane geometric model, and it also provides a convenient shortcut towards its second variation. In this note, we consider geometric models depending only on the intrinsic geometry of the brane worldvolume, and discuss briefly the generalization to extrinsic geometry dependent models. The approach is illustrated for Dirac-NambuGoto [DNG] branes. For a relativistic particle, a simultaneous action was introduced by Ba˙ za´ski, that served as an inspiration for the present work. n

Keywords:

Variational Techniques, Branes, Dirac-Nambu-Goto Action, Perturbation Theory

Brane mechanics is the study of the dynamics of relativistic extended objects [1, 2], like relativistic strings, domain walls, and objects of higher dimension. In a relativistic setting, branes describe physical systems with degrees of freedom localized on spacelike sub-manifolds in an ambient fixed background spacetime, or 'bulk'. The organizing principle of brane mechanics is the symmetry of reparametrization invariance. Branes are described by

Email address: capo@fis.cinvestav.mx, gcruz@fis.cinvestav.mx (Riccardo Capovilla and Giovany Cruz)

a reparametrization invariant local action that is a functional of the geometry of the worldvolume spanned by the brane in its evolution. Reparametrization invariance and the background diffeomorphism invariance, or Poincar´ e invariance for a Minkowski background, limit strongly the number of possible geometric models available. Besides its importance in relativistic mechanics, brane mechanics is of interest in a variety of contexts. Brane mechanics plays an essential role in the framework of braneworlds scenarios, where the four-dimensional universe is considered as a brane embedded in a higher dimensional fixed background, curved or flat, see e.g. [3] and references therein, and in M-theory, where branes are considered as fundamental objects, see e.g. [4]. Other applications in the realm of astrophysics and black hole physics where physical degrees of freedom are localized on submanifolds of spacetime can also be listed. An additional recent motivation comes from the study of entangling surfaces, and the general subject of boundary entropy [5, 6, 7].

The main point of this note is to offer a covariant simultaneous action that depends both on the shape functions describing the brane worldvolume and an additional auxiliary vector field. We consider a brane described by a reparametrization invariant local action, and thus by a geometrical model. Variation of the simultaneous action produces at once both the brane equations of motion, and the brane Jacobi equation, describing perturbations of the brane about a solution of its equations of motion. The Jacobi equation can be considered also as an equation describing the effect of the background curvature on nearby branes in their evolution. In this case, the additional vector field can be interpreted as a deviation vector, as in the limit case of a relativistic particle, where it satisfies the familiar geodesic deviation equation [8]. In other words, the simultaneous action gives at once the first and second order perturbations of the brane. For the latter, it can be considered as a convenient shortcut, since it reduces the calculation of the second variation to a first variation.

For a relativistic particle, a simultaneous variational principle was proposed by Ba˙ za´ski in [9, 10], that gives both the geodesic equation and the n geodesic deviation equation. Ba˙ za´ski had previously considered the case of n a general field theory in [11], motivated by work in the calculus of variations that goes back to Carath´odhory [12]. e For the case of a Dirac-Nambu-Goto [DNG] brane this generalization has been considered before by various authors, e.g. [13, 14], but the importance of the underlying variational structure and its generality does not appear to have been properly recognized.

The generality of the framework is to be intended in the sense that the

simultaneous action captures, in a first approximation, the effect of the background spacetime on the evolution of the brane. If the brane is seen as a test object, then one obtains information about the background curvature. On the other hand, if one is interested in the dynamics of the brane itself, and its perturbations, the background curvature can be seen as an external force. Moreover, the generality is also intended in the sense that there is a simultaneous action for any type of geometric brane model. In this note we focus on geometric models that depend on the worldvolume intrinsic geometry only. For models that depend also on the worldvolume extrinsic geometry, the simultaneous action maintains its form only in a flat background. For a version where the action becomes a free energy describing elementary excitations of lipid membranes see [15].

We start by setting our notation. The brane of dimension d sweeps in its evolution a worldvolume w of dimension d +1. The worldvolume w can be described in parametric form by the (time-like) local embedding functions x µ = X µ ( ξ a ), in a fixed background spacetime { M,g µν } of dimension N + 1 with local coordinates x µ , and where ξ a are local coordinates for w . ( µ, ν, . . . = 0 1 , , . . . , N ; a, b, . . . = 0 1 , , . . . , d ). The d + 1 tangent vectors to the worldvolume w are X µ a = ∂ X a µ = ∂X /∂ξ µ a , and the induced metric, or first fundamental form, on w is γ ab = g µν X X µ a ν b , with determinant γ . Spacetime indices are lowered and raised with the spacetime metric g µν and its inverse g µν . Tangential indices are raised with the inverse induced metric γ ab and lowered with γ ab . The background spacetime covariant derivative ∇ µ is assumed to be torsionless and compatible with the background metric g µν , with Riemann curvature [ ∇ µ , ∇ ν ] V ρ = -R µνσ ρ V σ , where we follow the conventions of [8]. We denote with ∇ a the worldvolume covariant derivative compatible with the induced metric γ ab , ∇ a γ bc = 0, with Riemann curvature R abc d . The extrinsic curvature tensor, or second fundamental form, is defined as K ab i = -g µν n µi ∇ a X ν b , and K i = γ ab K ab i denotes the mean extrinsic curvature. The spacelike normal vectors n µi to the worldvolume ( i, j . . . = 1 2 , , . . . , N -d ) are defined up to a sign and a rotation by g µν X n µ a ν i = 0 and g µν n µ i n ν j = δ ij . Our apologies for the plethora of indices, but we find it clearer than idiosyncratic or abstract notations that emphasize manifest covariance, at the expense of convenience.

Consider the general case of a brane model described by a reparametriza-

tion invariant local action,

$$S [ X ] = \int _ { w } \mathcal { L } ( X _ { a } ^ { \mu } ) \,,$$

where the Lagrangian density of weight one L ( X µ a ) depends at most on first derivatives of the embedding functions, i.e. only on the intrinsic geometry of the worldvolume w . We have absorbed the differential d d +1 ξ in the integral sign, henceforth. The simplest example is the DNG model, proportional to the volume of w , with µ a constant tension,

$$S _ { D N G } [ X ] = - \mu \int _ { w } \sqrt { - \gamma } \,.$$

As a second example, the Regge-Teitelboim model for gravity ´ la string a [16], or 'geodetic gravity' [17], is defined by the action

$$S _ { R T } [ X ] = - \rho \int _ { w } \sqrt { - \gamma } \, \mathcal { R } \,,$$

where ρ is a constant, and R denotes the scalar curvature of the worldvolume covariant derivative ∇ a compatible with the induced metric γ ab , i.e. ∇ a γ bc = 0.

The standard variational approach considers the first variation of the action with respect to an infinitesimal variation of the fields, in this case the embedding functions. Its vanishing, under appropriate boundary conditions, produces the equations of motion for the brane. The second variation of the action, assuming that the equations of motion are satisfied, gives a quadratic form, or index, that establishes the stability of the field configurations. In addition, the vanishing of the second variation produces the Jacobi equation for the brane, that in the case of the relativistic particle is known as the geodesic deviation equation.

The simultaneous action is quite compact and elegant,

$$S [ X, \eta ] = \int _ { w } \mathcal { P } _ { \mu } ^ { \, a } \, \nabla _ { a } \eta ^ { \mu } \,.$$

The two independent fields are X µ ( ξ a ), the worldvolume embedding functions, and an auxiliary vector field η µ ( ξ a ). ∇ a is the directional covariant derivative along the tangent vectors, ∇ a = X µ a ∇ µ . Note the analogy with

a symplectic potential of the form pdq . The canonical momentum is the worldvolume vector density and spacetime 1-form,

$$\mathcal { P } _ { \mu } ^ { \ a } = \frac { \partial \mathcal { L } } { \partial X _ { a } ^ { \mu } } \,.$$

The symmetries of the simultaneous action are worldvolume diffeomorphisms, or reparametrization invariance, and a constant translation of the auxiliary field. In addition, the action is a scalar under background diffeomorphisms, or Poincar´ transformations in the case of a flat Minkowski e background.

The first variation of the simultaneous action with respect to an infinitesimal variation of the auxiliary field η µ → η µ + δη µ , keeping the embedding functions fixed, is simply

$$\delta _ { \eta } S [ X, \eta ] | _ { X } = \int _ { w } \mathcal { P } _ { \mu } ^ { \, a } \nabla _ { a } \delta \eta ^ { \mu } = - \int _ { w } \left ( \nabla _ { a } \mathcal { P } _ { \mu } ^ { \, a } \right ) \delta \eta ^ { \mu } = \int _ { w } \mathcal { E } _ { \mu } ( \mathcal { L } ) \delta \eta ^ { \mu } \quad ( 6 )$$

where we have integrated by parts, and we have neglected a boundary term at the moment, for the sake of simplicity. Further, we have identified E µ ( L ) = -∇ P a µ a as the Euler-Lagrange derivative of the Lagrangian density L . The vanishing of this first variation under an arbitrary variation of the auxiliary field, δ S X, η η [ ] | X = 0, therefore implies the equations of motion for the brane

$$\mathcal { E } _ { \mu } ( \mathcal { L } ) = - \nabla _ { a } \mathcal { P } _ { \mu } ^ { \, a } = 0 \,.$$

Note that this part of the simultaneous variational principle is model independent, in the sense that it does not depend on the specific form of L ( X µ a ), and that it uses the fact that the equations of motion can be written as a conservation law, [1, 18]. This is simply a dimensionally reduced version of the conservation of the stress-energy tensor for a relativistic theory.

Turning to the variation of the simultaneous action with respect to a variation of the embedding functions, X µ → X µ + δX µ , we adopt a covariant variational derivative

$$\delta _ { X } = \delta X ^ { \mu } \nabla _ { \mu }$$

along the variation δX µ , as opposed to the usual variation that would involve a one-parameter family of embedding functions X µ ( ξ a , s ), with s an arbitrary parameter, and a coordinate variation δX µ = ( ∂X µ ( ξ a , s ) /∂s ) | s =0 as is customary in the calculus of variations [19]. For a careful treatment of

the covariant variational derivative see e.g. [9, 2]. The clear advantage is that δ X µν g = 0, since the background covariant derivative is metric compatible.

Keeping the auxiliary field η µ fixed, we have

$$\delta _ { X } S [ X, \eta ] | _ { \eta } = \int _ { w } [ ( \delta _ { X } \mathcal { P } _ { \mu } ^ { \ a } ) \nabla _ { a } \eta ^ { \mu } + \mathcal { P } _ { \mu } ^ { \ a } \delta _ { X } \nabla _ { a } \eta ^ { \mu } ] \,.$$

Using the definition of the canonical momentum (5), the first term can be written as

$$( \delta _ { X } \mathcal { P } _ { \mu } ^ { \ a } ) \nabla _ { a } \eta ^ { \mu } \ & = \ \frac { \delta ^ { 2 } \mathcal { L } } { \partial X _ { b } ^ { \nu } \partial X _ { a } ^ { \mu } } ( \delta _ { X } X _ { b } ^ { \nu } ) \nabla _ { a } \eta ^ { \mu } \\ & = \ \mathcal { H } _ { \nu \mu } ^ { b a } ( \delta _ { X } X _ { b } ^ { \nu } ) \nabla _ { a } \eta ^ { \mu } = \mathcal { H } _ { \nu \mu } ^ { b a } ( \nabla _ { b } \delta X ^ { \nu } ) \nabla _ { a } \eta ^ { \mu } \,,$$

where we have defined the Hessian

$$\mathcal { H } _ { \nu \mu } ^ { b a } = \frac { \delta ^ { 2 } \mathcal { L } } { \partial X _ { b } ^ { \nu } \partial X _ { a } ^ { \mu } } \,,$$

and in the second line we have used the fact that variation and partial derivative commute, δ X X ν b = ∇ b δX ν [2]. Note that the Hessian is degenerate, it admits null eigenvectors, because of the gauge freedom associated with reparametrization invariance. The Hessian is symmetric in pairs of indices

$$\mathcal { H } _ { \nu \mu } ^ { b a } = \mathcal { H } _ { \mu \nu } ^ { a b } \,.$$

To obtain the second term in (9), one takes into account the dependance of the covariant derivative on the embedding functions, and exploits the Bianchi identity, together with the independence of the field variables X µ and η µ , in the sense that δ X η µ = 0, to obtain

$$\mathcal { P } _ { \mu } ^ { \ a } \delta _ { X } \nabla _ { a } \eta ^ { \mu } = \mathcal { P } _ { \mu } ^ { \ a } [ \delta _ { X }, \nabla _ { a } ] \eta ^ { \mu } = - R _ { \rho \sigma \nu } ^ { \ \mu } \delta X ^ { \rho } X _ { a } ^ { \sigma } \eta ^ { \nu } \mathcal { P } _ { \mu } ^ { \ a } \,, \quad \quad ( 1 3 )$$

Inserting (11) and (13) in the variation (9) results immediately in

$$\delta _ { X } S [ X, \eta ] | _ { \eta } = \int _ { w } \left [ \mathcal { H } ^ { b a } _ { \nu \mu } ( \nabla _ { b } \delta X ^ { \nu } ) \nabla _ { a } \eta ^ { \mu } - R _ { \rho \sigma \nu } \mu \delta X ^ { \rho } X ^ { \sigma } _ { a } \eta ^ { \nu } \mathcal { P } _ { \mu } ^ { \ a } \right ] \,. \quad \ \ ( 1 4 )$$

At this point, if we identify the auxiliary field with the embedding functions variation, η µ = δX µ , we have obtained in a few lines a general expression for the second variation of the geometric model (1), making evident the

convenience of the simultaneous action approach. This can be compared with more laborious approaches available in the literature. Moreover, the central role of the Hessian is brought to the forefront.

To arrive at the Jacobi equations for the brane, all is needed is integration by parts of the first term in (14), neglecting a boundary term. This yields

$$\delta _ { X } S [ X, \eta ] | _ { \eta } = - \int _ { w } \left \{ \left [ \nabla _ { b } \left ( \mathcal { H } _ { \nu \mu } ^ { b a } \nabla _ { a } \eta ^ { \mu } \right ) \right ] + R _ { \nu \sigma \rho } ^ { \ \mu } X _ { a } ^ { \sigma } \eta ^ { \rho } \mathcal { P } _ { \mu } ^ { \ a } \right \} \delta X ^ { \nu } \,. \quad ( 1 5 )$$

The vanishing of this variation gives the Jacobi equations for the brane

$$\mathcal { J } _ { \nu } ( \mathcal { L } ) = \nabla _ { b } \left ( \mathcal { H } _ { \nu \mu } ^ { b a } \nabla _ { a } \eta ^ { \mu } \right ) + R _ { \nu \sigma \rho } ^ { \quad \mu } X _ { a } ^ { \sigma } \eta ^ { \rho } \mathcal { P } _ { \mu } ^ { \ a } = 0 \,.$$

The first 'kinetic term' involves the Hessian of the geometric model. To obtain this, a specific choice of the geometric model is needed. The second term can be interpreted as providing an 'external force' on η µ caused by a non-trivial background spacetime curvature. To our knowledge, the general structure of this equation has not been presented before in the brane mechanics literature.

To summarize, simultaneously one obtains the brane equations of motion and the Jacobi equations for the brane. It is somewhat amusing the interchange of tasks: the variation with respect to the deviation vector gives the equations of motion for the shape functions, and the variation with respect to the shape functions gives the Jacobi equations for the deviation vector. The added benefit of the simultaneity is that it is not necessary to impose by hand that the Jacobi equation is to be evaluated on-shell. Simultaneity makes it automatic.

In order to illustrate the general formalism, we conside the DNG model (2) in an arbitrary background curved spacetime. This can be compared to the more conventional treatment offered by Carter in a covariant approach [20]. The conclusions are the same, but in a different guise. For a DNG model, we have that the canonical linear momentum is

$$\mathcal { P } _ { \mu } ^ { \ a } = \frac { \partial \mathcal { L } _ { D N G } } { \partial X _ { a } ^ { \mu } } = - \, \mu \sqrt { - \gamma } \, g _ { \mu \nu } \gamma ^ { a b } X _ { b } ^ { \nu } \,.$$

Note that it is tangential to the worldvolume, as is the case for any intrinsic geometric model, and isotropic.

The simultaneous action (4) takes the form

$$S _ { D N G } [ X, \eta ] = - \mu \int _ { w } \sqrt { - \gamma } \, g _ { \mu \nu } \gamma ^ { a b } X _ { b } ^ { \nu } \nabla _ { a } \eta ^ { \mu } \,.$$

The vanishing of the first variation of this simultaneous action with respect to η , see (6), gives the DNG equations of motion, as in (7),

$$\cdot \cdot \cdot \cdot \cdot \cdot \\ \nabla _ { a } \mathcal { P } _ { \mu } ^ { \, a } = - \mu \nabla _ { a } \left ( \sqrt { - \gamma } \, g _ { \mu \nu } \gamma ^ { a b } X _ { b } ^ { \nu } \right ) \,,$$

Its normal projection gives

$$\bar { \ n ^ { \mu } _ { i } \nabla _ { a } \mathcal { P } _ { \mu } ^ { a } } = \mu \sqrt { - \gamma } K _ { i } = 0 \,,$$

i.e. the vanishing of the worldvolume mean extrinsic curvature K i = γ ab K ab i . This is the relativistic version of the equilibrium condition for a minimal surface in an arbitrary codimension.

For the variation of the simultaneous action with respect to a variation of the embedding functions, see (11), we need a short calculation to yield for the Hessian (11)

$$\left \lfloor 1 \right \rfloor \right \rfloor \right \rfloor \mathcal { H } _ { \nu \mu } ^ { b a } = \sqrt { - \gamma } \left ( \gamma ^ { a b } n _ { \mu \nu } + X _ { \mu \nu } ^ { a b } \right ) \,,$$

where we have used the completeness relationship

$$g ^ { \mu \nu } = h ^ { \mu \nu } + n ^ { \mu \nu } = \gamma ^ { a b } X _ { a } ^ { \mu } X _ { b } ^ { \nu } + n ^ { \mu } _ { \, i } n ^ { \nu \, i } \,,$$

to define the tangential and normal projectors h µν and n µν , respectively. The tangential bivector that appears in (21) is

$$X _ { a b } ^ { \mu \nu } = 2 X _ { a } ^ { [ \mu } X _ { b } ^ { \nu ] } \,,$$

with all indices raised with γ ab and lowered with g µν , respectively. It vanishes identically for a relativistic particle, and it respects the symmetry property (12).

Inserting (21) for H ba νµ in the first variation (14) gives immediately

$$\delta S _ { X } [ X, \eta ] | _ { \eta } = - \mu \int _ { w } \sqrt { - \gamma } \left [ \left ( \gamma ^ { a b } n _ { \mu \nu } + X _ { \mu \nu } ^ { a b } \right ) \left ( \nabla _ { b } \delta X ^ { \nu } \right ) \nabla _ { a } \eta ^ { \mu } - R _ { \rho \sigma \nu } ^ { \mu } \delta X ^ { \rho } h ^ { \sigma } _ { \mu } \eta ^ { \nu } \right ] \,. \\ \tau \sim \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \beta \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \colon \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \beta \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \beta \beta \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \eta \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \eta \eta \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \eta \tag \}$$

If at this point we identify the auxiliary field η µ with the variation of the embedding functions δX µ , this expression reproduces the second variation of the DNG action with respect to variations of the embedding functions [20, 21]. By integrating by parts the first term, and neglecting a boundary term, we obtain

$$\delta S _ { X } [ X, \eta ] | _ { \eta } = \mu \int _ { w } \left \{ \nabla _ { b } \sqrt { - \gamma } \left [ \left ( \gamma ^ { a b } n _ { \mu \nu } + X ^ { a b } _ { \mu \nu } \right ) \nabla _ { a } \eta ^ { \mu } \right \} \delta X ^ { \nu } + \sqrt { - \gamma } R _ { \rho \sigma \nu } ^ { \mu } \delta X ^ { p } h ^ { \sigma } _ { \mu } \eta ^ { \nu } \right ] \,.$$

Setting this variation to vanish, δS X [ X,η ] | η = 0, gives the Jacobi equations for the DNG brane

$$& \varkappa \ varkappa \ varkappa \ varkappa \ varkappa \ varkappa \ varkappa \ varkappa \\ & \mathcal { J } _ { \nu } ( \mathcal { L } _ { \mathcal { D } N G } ) = \mu \nabla _ { b } \sqrt { - \gamma } \left [ \left ( \gamma ^ { a b } n _ { \mu \nu } + X ^ { a b } _ { \mu \nu } \right ) \nabla _ { a } \eta ^ { \mu } \right ] + \mu \sqrt { - \gamma } R _ { \nu \sigma \mu } ^ { \rho } h ^ { \sigma } _ { \rho } \eta ^ { \mu } = 0 \,. \\ & \varkappa \quad \varkappa \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \delta \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dictionary$$

The first kinetic term differs from the one of the case of a particle, see below, for the presence, in general, of the 'friction' term due to the tangential bivector. It should be noted that these Jacobi equations have been obtained before in a different, but ultimately equivalent form in [14]. These equations provide a generalization to branes of the well known geodesic deviation equation for particles.

For the special case of a relativistic particle, the degenerate case of a brane of dimension zero, the simultaneous action was introduced by Ba˙ za´ski in n [9, 10], applying a general formalism he developed in [11]. The simultaneous Ba˙ za´ski action is given by the specialization of the simultaneous DNG action n (18) to a 0-brane as

$$S [ X, \eta ] = m \int _ { w } \frac { g _ { \mu \nu } U ^ { \nu } } { \sqrt { - \gamma } } \nabla _ { U } \eta ^ { \mu } \,,$$

where we set σ = m . U ν = dX ν ( ξ ) /dξ is the time-like tangent vector to the particle worldline, γ = g µν U U µ ν is the one-dimensional metric, and the directional derivative is ∇ U = U µ ∇ µ . The apparent sign mistake is due to the one-dimensional fact √ -γγ -1 = -1 / √ -γ , that illustrates how the special case of a worldline can be misleading in a generalization to a higher dimensional brane. Note that the canonical momentum takes the form

$$P _ { \mu } = \frac { m } { \sqrt { - \gamma } } g _ { \mu \nu } U ^ { \nu } \,.$$

The equations of motion that are obtained by the vanishing of the first variation of this simultaneous action are given by

$$\delta \eta \, \colon & & - m \nabla _ { U } \left ( \frac { 1 } { \sqrt { - \gamma } } g _ { \mu \nu } U ^ { \mu } \right ) = 0 \,,$$

$$\delta X \, \colon \quad \ m \nabla _ { U } \left [ \frac { 1 } { \sqrt { - \gamma } } ( g _ { \mu \nu } - h _ { \mu \nu } ) \nabla _ { U } \eta ^ { \nu } \right ] + m R _ { \mu \sigma \alpha \nu } U ^ { \sigma } U ^ { \alpha } \eta ^ { \nu } = 0 \,. \quad ( 3 0 )$$

The first is simply the geodesic equation. The second is the Jacobi equation, or geodesic deviation equation, when η µ is interpreted as the deviation vector between neighbouring geodesics [8]. The Jacobi equation can be rewritten as

$$m \nabla _ { U } \left [ \frac { 1 } { \sqrt { - \gamma } } n _ { \mu \nu } \nabla _ { U } \eta ^ { \nu } \right ] + m R _ { \mu \sigma \alpha \nu } U ^ { \sigma } U ^ { \alpha } \eta ^ { \nu } = 0 \,,$$

using the one-dimensional version of the completeness relationship (22), with the one-dimensional particularity for the tangential projector, h µν = U U / g µ ν ( ρσ U U ρ σ The generalization of this result from the special case of a relativistic particle, to the more general case of a brane of arbitrary dimension did require a better appreciation of the fundamental role of the canonical momentum.

For the Regge-Teitelboim model, or 'geodetic gravity', the covariant simultaneous action takes the form

$$S [ X, \eta ] = \rho \int _ { w } \sqrt { - \gamma } \, g _ { \mu \nu } \mathcal { G } ^ { a b } \, X _ { a } ^ { \mu } \nabla _ { b } \eta ^ { \nu } \,.$$

where G ab = R ab -(1 / 2) R γ ab denotes the Einstein tensor of the covariant derivative ∇ a compatible with the induced metric γ ab . The resulting equations of motion are well known as G ab K ab i = 0 [16, 17], and they can be derived from a variation of this action with respect to the auxiliary field η µ . The Jacobi equations involve a more laborious calculation, that will be presented elsewhere, together with its physical consequences in brane world scenarios [22].

In the case of a dependance of the geometric model on the worldvolume extrinsic geometry, the covariant simultaneous action mantains its form (4) in a flat Minkowski background, with the appropriate expression for the canonical momentum for a higher derivative theory, given by

$$P _ { \mu } ^ { \, a } = \frac { \partial \mathcal { L } } { \partial X _ { a } ^ { \mu } } - \nabla _ { a } \left ( \frac { \partial \mathcal { L } } { \partial X _ { a b } ^ { \mu } } \right ) \,,$$

where X µ ab = ∇ ∇ a b X µ is the covariant second derivative of the embedding functions, see [15] for a treatment in the context of the free energy for lipid membranes, where an analogue of the same variational problem occurs.

In conclusion, in this note we have introduced a covariant simultaneous action that, given any reparametrization invariant local geometric model for a relativistic brane, produces at once the equations of motion and the Jacobi equations for the model. At the same time, the action provides a convenient shortcut towards the second variation of the geometric model, as an alternative path towards stability studies. The simultaneous action can be easily extended to accommodate for possible fields living on the brane, or for 'pressure terms' that arise in fundamental branes. Of course, these addictions would gravely affect the simple elegance of the covariant simultaneous principle, but would be useful in applications where external forces are relevant.

).

## Acknowledgements

GC aknowledges partial support from CONACYT

## References

## References

- [1] B. Carter, Int. J. Theor. Phys. 40 2099 (2001)
- [2] R. Capovilla R and J. Guven, Phys. Rev. D 51 6736 (1994)
- [3] R. Martens and K. Koyama, Living Rev. Relativity 7 7 (2010)
- [4] J. Simon, Living Rev. Relativity 15 3 (2012)
- [5] J. Armas J and J. Tarr´ ıo, JHEP 04 100 (2018)
- [6] E. Engelhardt and E. Fischetti, Surface Theory: the Classical, the Quantum, and the Holographic arXiv:1904.08423
- [7] A.J. Speranza, Geometrical tools for embedding fields, submanifolds, and foliations arXiv:1904.08012v2
- [8] R. Wald General Relativity (U. Chicago Press, 1984)
- [9] S.L. Ba˙ za´ski, n Ann. Inst. H. Poincar´ e A 27 , 145 (1977)
- [10] S.L. Ba˙ za´ski, n J. Math. Phys. 30 , 1018 (1989)
- [11] S.L. Ba˙ za´ski, n Acta Phys. Polon. B , t. B 7 305 (1976)
- [12] C. Carath´ eodory, Calculus of variations and Partial Differential Equations of the First Kind (Chelsea Publishing Company, 1989)
- [13] M.D. Roberts, Mod. Phys. Lett. A 25 1739 (1999)
- [14] M. Pavˇ siˇ and M. Kahil, c Centr. Eur. J. Phys. 10 414 (2012)
- [15] R. Capovilla, J. of Phys. Comm. 2 025003 (2018)
- [16] T. Regge and C. Teitelboim, 1977 in Proc. Marcel Grossman (Trieste), 77 (unpublished).
- [17] D. Karasik and A. Davidson, Phys. Rev. D 67 064012 (2003)
- [18] G. Arreaga, R. Capovilla, and J. Guven, Ann. Phys. 279 126 (2000)

- [19] I.M. Gelfand and S.V. Fomin, Calculus of Variations (Prentice-Hall, 1963)
- [20] B. Carter, Phys. Rev. D 48 4835 (1993)
- [21] R.A. Battye and B. Carter, Class. Quant. Grav. 17 3325 (2000)
- [22] R. Capovilla and G. Cruz, in preparation.
Riccardo Capovilla Giovany Cruz
A covariant simultaneous action for branes
A covariant simultaneous action for branes in an arbitrary curved background
spacetime is considered. The action depends on a pair of independent field
variables, the brane embedding functions, through the canonical momentum of a
reparametrization invariant geometric model for the brane, and an auxiliary
vector field. The form of the action is analogous to a symplectic potential.
Extremization of the simultaneous action produces at once the equations of
motion and the Jacobi equations for the brane geometric model, and it also
provides a convenient shortcut towards its second variation. In this note, we
consider geometric models depending only on the intrinsic geometry of the brane
worldvolume, and discuss briefly the generalization to extrinsic geometry
dependent models. The approach is illustrated for Dirac-NambuGoto [DNG] branes.
For a relativistic particle, a simultaneous action was introduced by Bazanski,
that served as an inspiration for the present work.