orientifold in nLab

Context

Differential cohomology

Physics

Idea
Bosonic string: orientifold circle $n$ -bundles with connection
Superstring: Twisted differential $R$ -cohomology
Related concepts
References

Idea

An orientifold is a background for string sigma-models that combines aspects of $ℤ_{2}$ -orbifolds with orientation reversal on the worldsheet (therefore the name): it consists of a bundle gerbe on a space with a $ℤ_{2}$ -action that satisfies a peculiar twisted equvariance condition with respect to this action.

Such orientifold gerbes with connection are the right structure for the definition of surface holonomy of unoriented surfaces. Therefore they serve for defining the gauge part of the action functional for unoriented strings.

More precisely, the gauge fields that constitute the background for a string $σ$ -model, such as the Kalb-Ramond field and the RR-fields are modeled as cocycles in the differential cohomology of the target space, and an orientifold is the data given by an orbifold spacetime that involves the group $ℤ_{2}$ and equipped with certain classes in its( twisted) differential cohomology that is suitably $ℤ_{2}$ -equivariant.

Bosonic string: orientifold circle $n$ -bundles with connection

We discuss the notion of circle n-bundles with connection over double covering spaces with orientifold structure.

Proposition

The smooth automorphism 2-group of the circle group $U (1)$ is that corresponding to the smooth crossed module

Aut (B U (1)) ≃ [U (1) \to ℤ_{2}],

where the differential $U (1) \to ℤ_{2}$ is trivial (constant on the neutral element) and where the action of $ℤ_{2}$ on $U (1)$ is given under the identification of $U (1)$ with the unit circle in the plane by reversal of the sign of the angle.

This is an extension of smooth ∞-groups

B U (1) \to Aut (B U (1)) \to ℤ_{2} .

Proof

The nature of $Aut (B U (1))$ is clear. Let $B U (1) \to Aut (B U (1))$ be the evident inclusion. We have to show that its delooping is the homotopy fiber of $B Aut (B U (1)) \to B ℤ_{2}$ .

For this it is sufficient to show that $B^{2} U (1)$ is equivalent to the ordinary pullback of simplicial presheaves $B Aut (B U (1)) \times_{B ℤ_{2}} E ℤ_{2}$ of the $ℤ$ 2-universal principal bundle.

This pullback is the 2-groupoid whose

objects are elements of $ℤ_{2}$ ;
morphisms $σ_{1} \to σ_{2}$ are labeled by $σ \in ℤ_{2}$ such that $σ_{2} = σ σ_{1}$ ;
all 2-morphisms are endomorphisms, labeled by $c \in U (1)$ ;
vertical composition of 2-morphisms is given by the group operation in $U (1)$ ,
horizontal composition of 1-morphisms with 1-morphisms is given by the group operation in $ℤ_{2}$
horizontal composition of 1-morphisms with 2-morphisms (whiskering) is given by the action of $ℤ_{2}$ on $U (1)$ .

This 2-groupoid has vanishing $π_{1}$ , and has $π_{2} = U (1)$ . The inclusion of $B^{2} U (1)$ into this pullback is the obvious one, including elements in $U (1)$ as endomorphisms of the trivial element in $ℤ_{2}$ . This is manifestly an isomorphism on $π_{2}$ and trivially an isomorphism on all other homotopy groups, hence is a weak equivalence.

Observation

A $U (1)$ -gerbe in the full sense Giraud (as opposed to a $U (1)$ -bundle gerbe in the sense of Murray) is equivalent to an $Aut (B U (1))$ -principal 2-bundle, not in general to a circle 2-bundle, wich is only a special case.

More generally we have:

Observation

For every $n \in ℕ$ the automorphism $(n + 1)$ -group of $B^{n} U (1)$ is given by the crossed complex

Aut (B^{n + 1} U (1)) ≃ [U (1) \to 0 \to \dots \to 0 \to ℤ_{2}]

with $U (1)$ in degree $n + 1$ and $ℤ_{2}$ acting by automorphisms.

This is an extension of cohesive $∞$ -groups

B^{n + 1} U (1) \to Aut (B^{n + 1} U (1)) \to ℤ_{2} .

Definition

For $X \in Smooth ∞ Grpd$ a double cover $\hat{X} \to X$ is a $ℤ_{2}$ -principal bundle.

For $n \in ℕ$ , $n \geq 1$ , an orientifold circle $n$ -bundle (with connection) is an $Aut (B^{n} U (1))$ -principal ∞-bundle (with ∞-connection) on $X$ that extends $\hat{X} \to X$ with respect to the extension def. 1 of $ℤ^{2}$ by $AUT (B^{n} U (1))$ .

This means that if $X \to B ℤ^{2}$ is the cocycle for the double cover $\hat{X}$ , this factors as

X \overset{g}{\to} B AUT (B^{n - 1} U (1)) \to B ℤ^{2}

where $g$ is the cocycle for the given $AUT (B^{n} U (1))$ -principal ∞-bundle.

Proposition

Every orientifold circle $n$ -bundle (with connection) on $X$ induces an ordinary circle n-bundle (with connection) $\hat{P} \to \hat{X}$ on the given double cover $\hat{X}$ such that restricted to any fiber of $\hat{X}$ this is equivalent to $AUT (B^{n - 1} U (1)) \to ℤ_{2}$ .

This is a special case of a general statement about extensions of $∞$ -bundles, discussed at cohesive (infinity,1)-topos here.

Observation

Orientifold circle 2-bundles (with connection) over smooth manifold are equivalent to the Jandl gerbes (with connection) discussed in (SSW05)

The name Jandl gerbe refers to the poem lichtung by Ernst Jandl.

Proof

By the general discussion at Euclidean-topological ∞-groupoid and smooth ∞-groupoid we have that $[U (1) \to mathb Z_{2}]$ -principal ∞-bundles on $X$ are given by Cech cocycles relative to any good open cover of $X$ with coefficients in the sheaf of 2-groupoids $B [U (1) \to ℤ_{2}]$ . Writing this out in components it is straightforward to check that this coincides with the data of a Jandl gerbe (with connection) locally trivialized with over this cover.

Remark

Orientifold circle $n$ -bundles are not $ℤ_{2}$ -equivariant circle $n$ -bundles: in the latter case the orientation reversal acts by an automorphism between the bundle and its pullback along the orientation reversal, whereas for an orientifold circle $n$ -bundle the orientation reversal acts by an equivalence to the dual of the pulled-back bundle.

Observation

The geometric realization

≔ ∣ B [U (1) \to ℤ_{2}] ∣

of $B [U (1) \to ℤ]$ is a homotopy 3-type with homotopy groups

π_{0} (\tilde{R}) = 0;

π_{1} (\tilde{R}) = ℤ_{2};

π_{2} (\tilde{R}) = 0;

π_{3} (R') = ℤ

and nontrivial action of $π_{1}$ on $π_{3}$ .

Proof

By the theorem discussed here at ETop∞Grpd we have that

specifically
1. $∣ B ℤ_{2} ∣ ≃ B ℤ_{2}$ ;
2. $∣ B^{2} U (1) ∣ ≃ B^{2} U (1) ≃ K (ℤ; 3)$ ;
where on the right we have the ordinary classifying spaces going by these names;
generally geometric realization preserves fiber sequences of nice enough objects, such as those under consideration, so that we have a fiber sequence

$K (ℤ, 3) \to \tilde{R} \to B ℤ_{2}$ K(\mathbb{Z},3) \to \tilde R \to B \mathbb{Z}_2

in Top.

Since $π_{3} (K (ℤ), 3) ≃ ℤ$ and $π_{1} (B ℤ_{2}) ≃ ℤ_{2}$ and all other homotopy groups of these two spaces are trivial, the homotopy groups of $\tilde{R}$ follow by the long exact sequence of homotopy groups associated to our fiber sequence.

Superstring: Twisted differential $R$ -cohomology

The B-field background gauge field in superstring theory is not actually quite a connection on a line 2-bundle, but on a supergeometry line 2-bundle (DFM I, DFM II, Freed). See at Line 2-bundle – Examples – Super line 2-bundle for details.

Therefore for superstring orientifolds the above discussion is to be refined from line 2-bundles to such super line 2-bundles. See around (DFM II, supposition 3.6) for the discussion of the relation to the above.

Related concepts

KR-theory

References

A definition and study of orientifold bundle gerbes, modeling the B-field background for the bosonic string, is in

Urs Schreiber, Christoph Schweigert, Konrad Waldorf, Unoriented WZW models and Holonomy of Bundle Gerbes (arXiv)

Krzysztof Gawedzki, Rafal R. Suszek, Konrad Waldorf, Bundle Gerbes for Orientifold Sigma Models Adv. Theor. Math. Phys. 15(3), 621-688 (2011) (arXiv:0809.5125)

A more encompassing formalization in terms of differential cohomology in general and twisted differential K-theory in particular that also takes the spinorial degrees of freedom into account is being announced in

Jacques Distler, Dan Freed, Greg Moore, Orientifold Précis in: Hisham Sati, Urs Schreiber (eds.) Mathematical Foundations of Quantum Field and Perturbative String Theory Proceedings of Symposia in Pure Mathematics, AMS (2011) (arXiv:0906.0795, slides)

A summary talk on this is

Greg Moore, The RR-charge of an orientifold (ppt)

More details are in

Jacques Distler, Dan Freed, Greg Moore, Spin structures and superstrings (arXiv:1007.4581)

Related lecture notes / slides include

Jacques Distler, Orientifolds and Twisted KR-Theory (2008) (pdf)
Daniel Freed, Lectures on twisted K-theory and orientifolds (pdf)

A formulation of some of the relevant aspects of orientifolds in terms of the differential nonabelian cohomology with coefficients in the 2-group $AUT (U (1))$ coming from the crossed module $[U (1) \to ℤ_{2}]$ is indicated in

Urs Schreiber, talk Background fields in twisted differential nonabelian cohomology at Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology

nLab
orientifold

Context

Differential cohomology

Ingredients

Connections on bundles

Higher abelian differential cohomology

Higher nonabelian differential cohomology

Fiber integration

Application to gauge theory

Physics

Surveys, textbooks and lecture notes

Contents

Idea

Bosonic string: orientifold circle $n$ -bundles with connection

Proposition

Proof

Observation

Observation

Definition

Proposition

Observation

Proof

Remark

Observation

Proof

Superstring: Twisted differential $R$ -cohomology

Related concepts

References

nLab orientifold

Context

Differential cohomology

Ingredients

Connections on bundles

Higher abelian differential cohomology

Higher nonabelian differential cohomology

Fiber integration

Application to gauge theory

Physics

Surveys, textbooks and lecture notes

Contents

Idea

Bosonic string: orientifold circle n-bundles with connection

Proposition

Proof

Observation

Observation

Definition

Proposition

Observation

Proof

Remark

Observation

Proof

Superstring: Twisted differential R-cohomology

Related concepts

References

nLab
orientifold

Bosonic string: orientifold circle $n$ -bundles with connection

Superstring: Twisted differential $R$ -cohomology