arXiv reader

A gravitational action with stringy Q and R fluxes via deformed differential graded Poisson algebras

E. Boffo and P. Schupp

arXiv
2106.09601v1 · PDF · 17 June 2021
Categories
hep-th, gr-qc, math-ph, math.MP
DOI
10.1007/JHEP12(2021)143
Licence
CC BY 4.0 The site shows the text.

Abstract

We study a deformation of a 2-graded Poisson algebra where the functions of the phase space variables are complemented by linear functions of parity odd velocities. The deformation is carried by a 2-form B-field and a bivector \Pi, that we consider as gauge fields of the geometric and non-geometric fluxes H, f, Q and R arising in the context of string theory compactification. The technique used to deform the Poisson brackets is widely known for the point particle interacting with a U(1) gauge field, but not in the case of non-abelian or higher spin fields. The construction is closely related to Generalized Geometry: With an element of the algebra that squares to zero, the graded symplectic picture is equivalent to an exact Courant algebroid over the generalized tangent bundle E \cong TM \oplus T^{*}M, and to its higher gauge theory. A particular idempotent graded canonical transformation is equivalent to the generalized metric. Focusing on the generalized differential geometry side we construct an action functional with the Ricci tensor of a connection on covectors, encoding the dynamics of a gravitational theory for a contravariant metric tensor and Q and R fluxes. We also extract a connection on vector fields and determine a non-symmetric metric gravity theory involving a metric and H-flux.

Items 5

Definition

Definition 3.1

AYZX

A Courant algebroid is a quadruple (E , \rho , [\cdot, \cdot ] , \langle \cdot, \cdot \rangle), where \rho : E \rightarrow TM is the anchor map, [\cdot, \cdot] : \Gamma(E) \times \Gamma(E) \rightarrow \Gamma(E) is a bracket on sections and \langle \cdot , \cdot \rangle : \Gamma(E) \vee \Gamma(E) \rightarrow C^{\infty}(M) is a fiber-wise symmetric bilinear form. The following minimal set of conditions must hold:

  1. [U, [V, W]] = [[U,V], W] + [ V, [U,W]] \quad \quad \quad \text{(left Leibniz identity for \,}[\cdot, \cdot]),

  2. \frac{1}{2} \rho(U) \langle V, V \rangle = \left\langle [U,V] , V \right\rangle \quad \quad \quad \text{(the pairing is invariant under the adjoint action),}

  3. \frac{1}{2} \rho(U) \langle V,V \rangle = \left\langle [V,V] , U \right\rangle \quad \quad \quad \text{(behaviour of the symmetric part of the bracket),}

for U,V,W \in \Gamma(E). Notice furthermore that the anchor map is subjected to be actually \rho \in \text{Hom}(E, TM) from the axioms.

Used by Proposition 4.4
Definition

Definition 4.1

N6BW

A generalized Lie bracket (or Lie-like bracket) \llbracket \cdot, \cdot \rrbracket is a bilinear operation \llbracket \cdot , \cdot \rrbracket : \Gamma(E) \times \Gamma(E) \mapsto \Gamma(E) which is antisymmetric, \llbracket U, V \rrbracket = - \llbracket V,U \rrbracket, and respects the Leibniz rule:

\llbracket U, fV \rrbracket = \rho(U) f \, V + f \llbracket U,V \rrbracket, \quad f \in C^{\infty}(M),

\rho being the surjective application \rho: \Gamma(E) \mapsto \Gamma(TM).

Used by Definition 4.3, Proposition 4.4
Definition

Definition 4.2

J1H0

A differential \mathrm{d}_{\rho}: \Omega^{0}(E) \cong C^{\infty}(M) \mapsto \Omega^{1}(E) can be given in coordinates \{\xi_{\alpha}\} for the fiber of E\xrightarrow{\pi} M by

\mathrm{d}_{\rho} := \tilde{\xi}^{\alpha} \rho(\xi_{\alpha}),

where \tilde{\xi}_{\alpha}:= g_{E}^{\alpha \beta} \xi_{\beta} , \, g_{E} \equiv \langle \cdot, \cdot \rangle \in \vee^{2}E^{*}. Then it acts on the function f according to the following fully contracted formula:

\langle \mathrm{d}_{\rho} f, e \rangle = \rho(e) f.

The action of \mathrm{d}_{\rho} on the whole exterior algebra \Omega^{\bullet}(E) is allowed if an antisymmetric bracket \llbracket \cdot, \cdot \rrbracket as in definition 4.1 is used.

\begin{aligned} \mathrm{d}_{\rho} \psi (U_{1}, \dots , U_{k+1}) = & \sum_{i} (-)^{i} \rho(U_{i}) \psi(U_{1}, \dots , \hat{U}_{i}, \dots , U_{k+1}) \\ \, & + \sum_{i < j} (-)^{i+j} \psi(\llbracket U_{i}, U_{j} \rrbracket, \dots, \hat{U}_{i}, \dots, \hat{U}_{j}, \dots U_{k+1}). \end{aligned}

The differential \mathrm{d}_{\rho} squares to zero if \text{Im} \left(g^{-1}_{E} \circ \rho^{*} \right) = \text{Ker} \rho and \llbracket \cdot, \cdot \rrbracket respects the Jacobi identity.

Definition

Definition 4.3

2B41

A torsion tensor \text{T}: \Gamma\left(\Lambda^{2}E^{*}\right) \rightarrow \Gamma(E) is defined by:

\text{T}(U,V) := \nabla_{U} V - \nabla_{V} U - \llbracket U, V \rrbracket.

Because of the generalized Lie bracket (4.1) the above defined \text{T} is clearly antisymmetric and C^{\infty}(M)-linear.

Uses Definition 4.1
Proposition

Proposition 4.4

U2L0

For any bracket on E-sections respecting at least axioms 2 and 3 in Definition 3.1 for a given pairing \langle \cdot, \cdot\rangle and anchor map \rho:\Gamma(E) \mapsto \Gamma(TM), while Jacobi identity is not required, any generalized Lie commutator as in Definition 4.1 and any affine connection on generalized vector fields, metric with respect to the pairing, and with fully antisymmetric torsion \text{T} \in \Gamma\left(\Lambda^{3} E^{*}\right) (4.3), the following relation holds:

\langle [U,V] - \llbracket U, V \rrbracket , W \rangle = \langle \nabla_{W} U, V \rangle.

Notice that ultimately the above relation says that the Dorfman bracket for a CA [\cdot,\cdot]_{\text{D}}, a generalized Lie bracket \llbracket \cdot, \cdot \rrbracket and a connection \nabla are dependent on each other.

Uses Definition 3.1, Definition 4.1

Source and licence

The text on this page is from arXiv:2106.09601v1 by E. Boffo and P. Schupp, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2106/2106.09601.jsonl.