nLab type II geometry

Context

Differential geometry

differential geometry

synthetic differential geometry

Contents

Idea

Type II geometry is to Riemannian geometry as generalized complex geometry is to complex geometry.

Where the latter is the geometry induced by reduction of the structure group of the generalized tangent bundle of an even dimensional manifold along the inclusion $U\left(d,d\right)\to O\left(2d,2d\right)$ of the indefinite unitary group into the orthogonal group, type II geometry is the geometry induced by reduction along the inclusion of the product of orthogonal groups

$O\left(n\right)×O\left(n\right)\to O\left(n,n\right)\phantom{\rule{thinmathspace}{0ex}},$O(n) \times O(n) \to O(n,n) \,,

which is the inclusion of the maximal compact subgroup into the Narain group.

This notion takes its name from the fact that it describes a good bit of the geometry of type II supergravity.

Definition

The definition of type II geometry proceeds in direct analogy with that of Riemannian geometry in terms of orthogonal structure/vielbein fields on the tangent bundle, generalized here to the generalized tangent bundle:

(…)

By reduction of the generalized tangent bundle

We discuss how a type II geometry is the reduction of the structure group of the generalized tangent bundle along the inclusion $O\left(d\right)×O\left(d\right)\to O\left(d,d\right)$.

Definition

Consider the Lie group inclusion

$\mathrm{O}\left(d\right)×\mathrm{O}\left(d\right)\to \mathrm{O}\left(d,d\right)$\mathrm{O}(d) \times \mathrm{O}(d) \to \mathrm{O}(d,d)

of those orthogonal transformations, that preserve the positive definite part or the negative definite part of the bilinear form of signature $\left(d,d\right)$, respectively.

If $\mathrm{O}\left(d,d\right)$ is presented as the group of $2d×2d$-matrices that preserve the bilinear form given by the $2d×2d$-matrix

$\eta ≔\left(\begin{array}{cc}0& {\mathrm{id}}_{d}\\ {\mathrm{id}}_{d}& 0\end{array}\right)$\eta \coloneqq \left( \array{ 0 & \mathrm{id}_d \\ \mathrm{id}_d & 0 } \right)

then this inclusion sends a pair $\left({A}_{+},{A}_{-}\right)$ of orthogonal $n×n$-matrices to the matrix

$\left({A}_{+},{A}_{-}\right)↦\frac{1}{\sqrt{2}}\left(\begin{array}{cc}{A}_{+}+{A}_{-}& {A}_{+}-{A}_{-}\\ {A}_{+}-{A}_{-}& {A}_{+}+{A}_{-}\end{array}\right)\phantom{\rule{thinmathspace}{0ex}}.$(A_+ , A_-) \mapsto \frac{1}{\sqrt{2}} \left( \array{ A_+ + A_- & A_+ - A_- \\ A_+ - A_- & A_+ + A_- } \right) \,.

This inclusion of Lie groups induces the corresponding morphism of smooth moduli stacks of principal bundles

$\mathrm{TypeII}:B\left(\mathrm{O}\left(d\right)×\mathrm{O}\left(d\right)\right)\to B\mathrm{O}\left(d,d\right)\phantom{\rule{thinmathspace}{0ex}}.$\mathbf{TypeII} : \mathbf{B}(\mathrm{O}(d) \times \mathrm{O}(d)) \to \mathbf{B} \mathrm{O}(d,d) \,.
Proposition

There is a fiber sequence of smooth stacks

$O\left(d\right)\O\left(d,d\right)/O\left(d\right)\to B\left(\mathrm{O}\left(d\right)×\mathrm{O}\left(d\right)\right)\stackrel{\mathrm{TypeII}}{\to }B\mathrm{O}\left(d,d\right)\phantom{\rule{thinmathspace}{0ex}},$O(d) \backslash O(d,d) / O(d) \to \mathbf{B}(\mathrm{O}(d) \times \mathrm{O}(d)) \stackrel{\mathbf{TypeII}}{\to} \mathbf{B} \mathrm{O}(d,d) \,,

where the fiber on the left is the coset space of the action of $O\left(d\right)×O\left(d\right)$ on $O\left(d,d\right)$.

Definition

There is a canonical embedding

$\mathrm{GL}\left(d\right)↪\mathrm{O}\left(d,d\right)$\mathrm{GL}(d) \hookrightarrow \mathrm{O}(d,d)

of the general linear group.

In the above matrix presentation this is given by sending

$a↦\left(\begin{array}{cc}a& 0\\ 0& {a}^{-T}\end{array}\right)\phantom{\rule{thinmathspace}{0ex}},$a \mapsto \left( \array{ a & 0 \\ 0 & a^{-T} } \right) \,,

where in the bottom right corner we have the transpose of the inverse matrix of the invertble matrix $a$.

Definition

Under inclusion of def. 1, the tangent bundle of a $d$-dimensional manifold $X$ defines an $\mathrm{O}\left(d,d\right)$-cocycle

$TX\oplus {T}^{*}X:X\stackrel{TX}{\to }B\mathrm{GL}\left(d\right)\stackrel{}{\to }B\mathrm{O}\left(d,d\right)\phantom{\rule{thinmathspace}{0ex}}.$T X \oplus T^* X : X \stackrel{T X}{\to} \mathbf{B}\mathrm{GL}(d) \stackrel{}{\to} \mathbf{B} \mathrm{O}(d,d) \,.

The vector bundle canonically associated to this composite cocycles may canonically be identified with the direct sum vector bundle $TX\oplus {T}^{*}X$, and so we will refer to this cocycle by these symbols, as indicated. This is also called the generalized tangent bundle of $X$.

Therefore we may canonically consider the groupoid of $TX\oplus {T}^{*}X$-twisted $\mathrm{TypeII}$-structures, according to the general notion of twisted differential c-structures.

More generally, instead of $E=TX\oplus {T}^{*}X$ one considers bundle extensions $E$ of the form

${T}^{*}X\to E\to TX\phantom{\rule{thinmathspace}{0ex}}.$T^* X \to E \to T X \,.

These may have structure froups in $O\left(n,n\right)$ but not in the inclusion $\mathrm{GL}\left(n\right)↪O\left(n,n\right)$. For more on this see the section Geometric and non-geometric type II geometries below. Accordingly, in all of the following $TX\oplus {T}^{*}X$ could be replaced by a more general extension $E$.

Definition

A type II generalized vielbein on a smooth manifold $X$ is a diagram

$\begin{array}{ccccc}X& & \stackrel{\stackrel{˜}{\left(}TX\oplus {T}^{*}X\right)}{\to }& & B\left(O\left(n\right)×O\left(n\right)\right)\\ & {}_{TX\oplus {T}^{*}X}↘& {⇙}_{E}& {↙}_{\mathrm{TypeII}}\\ & & BO\left(n,n\right)\end{array}$\array{ X &&\stackrel{\widetilde(T X \oplus T^* X)}{\to}&& \mathbf{B}(O(n) \times O(n)) \\ & {}_{\mathllap{T X \oplus T^* X}}\searrow &\swArrow_{E}& \swarrow_{\mathrlap{\mathbf{TypeII}}} \\ && \mathbf{B} O(n,n) }

in $H=$ Smooth∞Grpd, hence a cocycle in the smooth twisted cohomology

$E\in \mathrm{TypeII}\mathrm{Struc}\left(X\right)≔{H}_{/BO\left(n,n\right)}\left(TX\oplus {T}^{*}X,\mathrm{TypeII}\right)\phantom{\rule{thinmathspace}{0ex}}.$E \in \mathbf{TypeII}Struc(X) \coloneqq \mathbf{H}_{/\mathbf{B} O(n,n)}(T X \oplus T^* X, \mathbf{TypeII}) \,.
Proposition / Definition

The groupoid $\mathrm{TypeII}\mathrm{Struc}\left(X\right)$ is that of “generalized vielbein fields” on $X$, as considered for instance around equation (2.24) of (GMPW) (there only locally, but the globalization is evident).

In particular, its set of equivalence classes is the set of type-II generalized geometry structures on $X$.

Proof

Over a local coordinate chart ${ℝ}^{d}\simeq {U}_{i}↪X$, the most general such generalized vielbein (hence the most general $\mathrm{O}\left(d,d\right)$-valued function) may be parameterized as

$E=\frac{1}{2}\left(\begin{array}{cc}\left({e}_{+}+{e}_{-}\right)+\left({e}_{+}^{-T}-{e}_{-}^{-T}\right)B& \left({e}_{+}^{-T}-{e}_{-}^{-T}\right)\\ \left({e}_{+}-{e}_{-}\right)-\left({e}_{+}^{-T}+{e}_{-}^{-T}\right)B& \left({e}_{+}^{-T}+{e}_{-}^{-T}\right)\end{array}\right)\phantom{\rule{thinmathspace}{0ex}},$E = \frac{1}{2} \left( \array{ (e_+ + e_-) + (e_+^{-T} - e_-^{-T})B & (e_+^{-T} - e_-^{-T}) \\ (e_+ - e_-) - (e_+^{-T} + e_-^{-T})B & (e_+^{-T} + e_-^{-T}) } \right) \,,

where ${e}_{+},{e}_{-}\in {C}^{\infty }\left({U}_{i},\mathrm{O}\left(d\right)\right)$ are thought of as two ordinary vielbein fields, and where $B$ is any smooth skew-symmetric $n×n$-matrix valued function on ${ℝ}^{d}\simeq {U}_{i}$.

By an $\mathrm{O}\left(d\right)×\mathrm{O}\left(d\right)$-gauge transformation this can always be brought into a form where ${e}_{+}={e}_{-}=:\frac{1}{2}e$ such that

$E=\left(\begin{array}{cc}e& 0\\ -{e}^{-T}B& {e}^{-T}\end{array}\right)\phantom{\rule{thinmathspace}{0ex}}.$E = \left( \array{ e & 0 \\ - e^{-T}B & e^{-T} } \right) \,.

The corresponding “generalized metric” over ${U}_{i}$ is

${E}^{T}E=\left(\begin{array}{cc}{e}^{T}& B{e}^{-1}\\ 0& {e}^{-1}\end{array}\right)\left(\begin{array}{cc}e& 0\\ -{e}^{-T}B& {e}^{-T}\end{array}\right)=\left(\begin{array}{cc}g-B{g}^{-1}B& B{g}^{-1}\\ -{g}^{-1}B& {g}^{-1}\end{array}\right)\phantom{\rule{thinmathspace}{0ex}},$E^T E = \left( \array{ e^T & B e^{-1} \\ 0 & e^{-1} } \right) \left( \array{ e & 0 \\ - e^{-T}B & e^{-T} } \right) = \left( \array{ g - B g^{-1} B & B g^{-1} \\ - g^{-1} B & g^{-1} } \right) \,,

where

$g≔{e}^{T}e$g \coloneqq e^T e

is the metric (over ${ℝ}^{q}\simeq {U}_{i}$ a smooth function with values in symmetric $n×n$-matrices) given by the ordinary vielbein $e$.

Geometric and “non-geometric” type II geometries

Definition

An element in $O\left(d,d\right)$ which in the canonical matrix presentation is of the block form

${e}^{\omega }≔\left(\begin{array}{cc}{1}_{d}& 0\\ \omega & {1}_{d}\end{array}\right)$e^\omega \coloneqq \left( \array{ 1_d & 0 \\ \omega & 1_d } \right)

is called a $B$-transform. An element of the block form

${e}^{\beta }≔\left(\begin{array}{cc}{1}_{d}& \beta \\ 0& {1}_{d}\end{array}\right)$e^\beta \coloneqq \left( \array{ 1_d & \beta \\ 0 & 1_d } \right)

is called a $\beta$-transform. The subgroup

${G}_{\mathrm{geom}}\left(d\right)↪O\left(d,d\right)$G_{geom}(d) \hookrightarrow O(d,d)

generated by $\mathrm{Gl}\left(d\right)↪O\left(d,d\right)$ and the B-transforms, hence that of matrices with vaishing top right block is called the geometric subgroup (e.g. GMPW, p.5).

A type II background where the structure group of the generalized tangent bundle is not in the inclusion of the geometric subgroup is often called a non-geometric background (e.g. GMPW, section 5).

Application in type II supergrabity

The target space geometry for type II superstrings in the NS-NS sector , type II supergravity, is naturally encoded by type II geometry.

References

The appearance of type II geometry in type II supergravity/type II string theory is discussed for instance in

The genuine reformulation of type II supergravity as a $\left(O\left(d\right)×O\left(d\right)↪O\left(d,d\right)\right)$-gauge/gravity theory is in

In

the geometry of the reduction $O\left(d\right)×O\left(d\right)\to O\left(d,d\right)$ was referred to as “type I geometry”, with “type II geometry” instead referring to further U-duality group extensions, discussed at exceptional generalized geometry.

The above formulation in terms of twisted smooth cohomology is discussed in section 5 of

Revised on December 15, 2012 18:13:26 by Urs Schreiber (71.195.68.239)