Intheoretical physicsorientifold is a generalization of the notion oforbifold, proposed byAugusto Sagnotti in 1987. The novelty is that in the case of string theory the non-trivial element(s) of the orbifoldgroup includes the reversal of the orientation of the string. Orientifolding therefore producesunoriented strings—strings that carry no "arrow" and whose two opposite orientations are equivalent.Type I string theory is the simplest example of such a theory and can be obtained by orientifoldingtype IIB string theory.

In mathematical terms, given a smoothmanifold${\displaystyle \mathcal{M}}$, twodiscrete, freely acting, groups${\displaystyle G_1}$ and${\displaystyle G_2}$ and theworldsheetparity operator${\displaystyle {\mathrm{\Omega }}_p}$ (such that${\displaystyle {\mathrm{\Omega }}_p:\sigma \to 2\pi -\sigma }$) an orientifold is expressed as the quotient space${\displaystyle \mathcal{M}/(G_1\cup \mathrm{\Omega }{G}_2)}$. If${\displaystyle G_2}$ is empty, then the quotient space is an orbifold. If${\displaystyle G_2}$ is not empty, then it is an orientifold.

In string theory${\displaystyle \mathcal{M}}$ is the compact space formed by rolling up the theory's extra dimensions, specifically a six-dimensional Calabi–Yau space. The simplest viable compact spaces are those formed by modifying a torus.

The six dimensions take the form of a Calabi–Yau for reasons of partially breaking the supersymmetry of the string theory to make it more phenomenologically viable. The Type II string theories have 32 real supercharges, and compactifying on a six-dimensional torus leaves them all unbroken. Compactifying on a more general Calabi–Yau sixfold, 3/4 of the supersymmetry is removed to yield a four-dimensional theory with 8 real supercharges (N=2). To break this further to the only non-trivial phenomenologically viable supersymmetry, N=1, half of the supersymmetry generators must be projected out and this is achieved by applying the orientifold projection.

A simpler alternative to using Calabi–Yaus to break to N=2 is to use an orbifold originally formed from a torus. In such cases it is simpler to examine the symmetry group associated to the space as the group is given in the definition of the space.

The orbifold group${\displaystyle G_1}$ is restricted to those groups which workcrystallographically on thetorus lattice,^[1] i.e. lattice preserving.${\displaystyle G_2}$ is generated by aninvolution${\displaystyle \sigma }$, not to be confused with the parameter signifying position along the length of a string. The involution acts on theholomorphic 3-form${\displaystyle \mathrm{\Omega }}$ (again, not to be confused with the parity operator above) in different ways depending on the particular string formulation being used.^[2]

• Type IIB :${\displaystyle \sigma (\mathrm{\Omega })=\mathrm{\Omega }}$ or${\displaystyle \sigma (\mathrm{\Omega })=-\mathrm{\Omega }}$
• Type IIA :${\displaystyle \sigma (\mathrm{\Omega })=\overline{\mathrm{\Omega }}}$

The locus where the orientifold action reduces to the change of the string orientation is called the orientifold plane. The involution leaves the large dimensions of space-time unaffected and so orientifolds can have O-planes of at least dimension 3. In the case of${\displaystyle \sigma (\mathrm{\Omega })=\mathrm{\Omega }}$ it is possible that all spatial dimensions are left unchanged and O9 planes can exist. The orientifold plane in type I string theory is the spacetime-filling O9-plane.

More generally, one can consider orientifold Op-planes where the dimensionp is counted in analogy withDp-branes. O-planes and D-branes can be used within the same construction and generally carry opposite tension to one another.

However, unlike D-branes, O-planes are not dynamical. They are defined entirely by the action of the involution, not by string boundary conditions as D-branes are. Both O-planes and D-branes must be taken into account when computing tadpole constraints.

The involution also acts on thecomplex structure (1,1)-formJ

• Type IIB :${\displaystyle \sigma (J)=J}$
• Type IIA :${\displaystyle \sigma (J)=-J}$

This has the result that the number ofmoduli parameterising the space is reduced. Since${\displaystyle \sigma }$ is an involution, it has eigenvalues${\displaystyle \pm 1}$. The (1,1)-form basis${\displaystyle {\omega }_i}$, with dimension${\displaystyle h^{1,1}}$ (as defined by theHodge diamond of the orientifold'scohomology) is written in such a way that each basis form has definite sign under${\displaystyle \sigma }$. Since moduli${\displaystyle A_i}$ are defined by${\displaystyle J=A_i{\omega }_i}$ andJ must transform as listed above under${\displaystyle \sigma }$, only those moduli paired with 2-form basis elements of the correct parity under${\displaystyle \sigma }$ survive. Therefore,${\displaystyle \sigma }$ creates a splitting of the cohomology as${\displaystyle h^{1,1}=h_{+}^{1,1}+h_{-}^{1,1}}$ and the number of moduli used to describe the orientifold is, in general, less than the number of moduli used to describe the orbifold used to construct the orientifold.^[3] It is important to note that although the orientifold projects out half of the supersymmetry generators the number of moduli it projects out can vary from space to space. In some cases${\displaystyle h^{1,1}=h_{\pm }^{1,1}}$, in that all of the (1-1)-forms have the same parity under the orientifold projection. In such cases the way in which the different supersymmetry content enters into the moduli behaviour is through the flux dependent scalar potential the moduli experience, the N=1 case is different from the N=2 case.

• A. Dabholkar (1998). "Lectures on orientifolds and duality".High Energy Physics and Cosmology.14: 128.arXiv:hep-th/9804208.Bibcode:1998hepc.conf..128D.
• C. Angelantonj & A. Sagnotti (2002). "Open strings".Physics Reports.371 (1–2):1–150.arXiv:hep-th/0204089.Bibcode:2002PhR...371....1A.doi:10.1016/S0370-1573(02)00273-9.S2CID 119334893.

• Erratum:C. Angelantonj & A. Sagnotti (2003)."Erratum to "Open strings": [Phys. Rep. 371 (2002) 1–150]"(PDF).Physics Reports.376 (6): 407.Bibcode:2003PhR...376..407A.doi:10.1016/S0370-1573(03)00006-1.

• String theory
• Generalized manifolds

• Articles with short description
• Short description is different from Wikidata