Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

August 5, 2010

Fermions

Paper 2, of Dan Freed’s, Greg Moore’s and my series of papers on Orientifolds is out. This one focusses on the worldsheet formulation — particularly the worldsheet fermions. Because it’s for a volume dedicated to Is Singer, it’s written in a somewhat mathematical style. So, while it’s more accessible than our telegraphic Précis, it’s maybe a little tough-going for some of our physics audience. There will be some more physics-oriented papers in the series, but I don’t think any of them will be specifically devoted to the worldsheet. So, contrary to my usual practice, I’m going to try to distill some of the salient points of our current paper, here.

If you wish, we address two questions

  • What is the NS B-field in the Type-II string?
  • What is the role of spin structures, both on the worldsheet and in spacetime, and how do those notions generalize in an orientifold background?

Obviously, any theory with spacetime fermions must invoke a spin structure on spacetime, XX. Type-II string theory invokes a pair of spin structures, because the R-NS and NS-R sectors are a-priori distinct. Let’s call those spin structures, respectively, κ l\kappa_l and κ r\kappa_r. In Type-IIB, they have the same chirality; in IIA, they have the opposite chirality. The difference between the two is a pair, (t,a)H 0(X,/2)H 1(X,/2)(t,a)\in H^0(X,\mathbb{Z}/2)\oplus H^1(X,\mathbb{Z}/2), where “tt” measures the difference in chirality, and “aa” measures the difference in boundary conditions for the fermions around any 1-cycle in XX.

In an oriented Type-II background, one can think, interchangeably, about a pair of spin structures, (κ l,κ r)(\kappa_l,\kappa_r), or about a single spin structure, κκ l\kappa\equiv\kappa_l, and the cohomology classes, (t,a)(t,a). An obvious question is: which picture generalizes most straightforwardly to an orientifold background?

We argue that it’s the latter picture which generalizes: instead of a spin structure on XX, one has a twisted spin structure, κ\kappa, and the pair (t,a)(t,a) lies in the Borel-equivariant cohomology of XX. The precise definition is in section 6 of our paper, but the salient point is that it depends both on the orientifold double cover (which we can think of as specifying a class wH 1(X,/2)w\in H^1(X,\mathbb{Z}/2)) and on the pair (t,a)(t,a). In fact, the condition for the existence of a twisted spin structure is w 1(X)=tw w 2(X)=tw 2+aw \begin{split} w_1(X) = t w \\ w_2(X) = t w^2 + a w \end{split} (which reduces to the usual conditions for the existence of a spin structure, in the non-orientifold case, where w=0w=0).

The Ramond-Ramond fields are bispinors. Hence their geometrical nature is also controlled by (t,a)(t,a). tt determines whether the bispinor decomposes into even or odd differential forms. When aH 1(X,/2)a\in H^1(X,\mathbb{Z}/2) is nonzero, those differential forms are twisted by a real line bundle, L(a)L(a). Changing the nature of the RR fields is the role-in-life of the NS B-field (or, at least, of its familiar 3-form field strength); the fancy phrase is that it twists K-theory. So it’s natural to combine (t,a)(t,a) with what would have been the B-field of the bosonic string. The latter is a twisted differential form (twisted by ww), and fits into an exact sequence 0Hˇ 3+w(X)Rˇ 1(X)H 0(X,/2)H 1(X,/2)0 0 \to \check{H}^{3+w}(X)\to \check{R}^{-1}(X)\to H^0(X,\mathbb{Z}/2)\oplus H^1(X,\mathbb{Z}/2)\to 0 for a certain very interesting generalized (differential) cohomology theory, Rˇ (X)\check{R}^{\bullet}(X), which is where — we would like to argue — the Type-II NS B-field “lives.” As an exact sequence of Abelian groups, the above sequence doesn’t split, but it does split on the level of sets. So it does make sense (if you’re suitably careful) to think of our NS B-field as a triple (h,t,a)(h,t,a), with hHˇ 3+w(X)h\in \check{H}^{3+w}(X), which is where (for instance) the B-field of the bosonic string (orientifold, when w0w\neq 0) lives.

On the worldsheet of the oriented Type-II string, the worldsheet fermions couple to spin-structures, α l,α r\alpha_l,\alpha_r of opposite chirality. This spin-structure data can be thought of as a (discrete) worldsheet field, which is to be integrated (summed) over, in the worldsheet path integral.

In the orientifold case, there are still local spin-structures, α l,α r\alpha_l,\alpha_r, but they don’t fit together to global structures, because Σ\Sigma need not even be orientable, let alone spin. Instead, α l,α r\alpha_l,\alpha_r fit together to a (single) spin structure on the orientation double-cover Σ^Σ\hat{\Sigma}\to\Sigma. (I have to say that there’s some confusion on this point, in the literature. You’ll find mention – when the issue is discussed at all – of a Pin Pin^- structure on Σ\Sigma, which is not at all the same thing.)

Now for a puzzle. We can even dispense with the orientifold case, and ask the question for the oriented Type-II string:

How does the (pair of) spacetime spin structure(s) affect the worldsheet path integral?

Indeed, the obvious conundrum of the NSR formalism is that the worldsheet theory, at least classically, does not seem to make any mention of the spacetime spin struncture at all. That, of course, is an illusion. The quantum theory does know about the spacetime spin structure; the quantization of the workdsheet fermions depends on it. In fancy words, to trivialize the fermion Pfaffian line bundle (and, thus, to interpret the fermion Pfaffian as a function on the bosonic parameter space) requires a spacetime spin structure — more precisely, a pair (κ l,κ r)(\kappa_l,\kappa_r) or, equivalently, the pair κκ l\kappa\equiv\kappa_l and (t,a)(t,a).

We can make this more concrete, after a little disgression on integration in differential Rˇ \check{R}^\bullet theory.

The B-field in the oriented bosonic string, takes values βˇHˇ 3(X)\check{\beta}\in\check{H}^3(X). Integration, in that theory, requires an orientation on Σ\Sigma (which we have), and lands us Σϕ *βˇHˇ 1(pt)=/\int_\Sigma \phi^\ast\check{\beta} \in \check{H}^1(pt) = \mathbb{R}/\mathbb{Z}. In a bosonic orientifold, Σ\Sigma is unoriented, but a twisted form, βˇHˇ 3+w(X)\check{\beta}\in\check{H}^{3+w}(X), can be integrated without need of an orientation (using that ϕ astw=w 1(Σ)\phi^\astw = w_1(\Sigma)).

Integration in RR-theory requires more than an orientation; it requires a spin structure, α\alpha. The integral of the triple (t(βˇ),a(βˇ),h(βˇ))(t(\check{\beta}),a(\check{\beta}),h(\check{\beta})) is

(1) Σϕ *βˇ=12(q(α+ϕ *a(βˇ)+(1t)q(α))+ Σϕ *h(βˇ)(mod1)\int_\Sigma \phi^*\check{\beta} = \tfrac{1}{2}\left( q(\alpha + \phi^*a(\check{\beta} )+ (1-t) q(\alpha) \right) + \int_\Sigma \phi^*h(\check{\beta}) \quad \pmod{1}

where q()q(\cdot) is known, variously, as

  • the quadratic refinement of the intersection pairing, ,\langle\cdot,\cdot\rangle, on H 1(Σ,/2)H^1(\Sigma,\mathbb{Z}/2)
  • the mod-2 Dirac Index
  • the Kervaire invariant in d=2d=2.

q(α)q(\alpha) is 1 for α\alpha an odd spin structures, and 0 for α\alpha an even spin structures1.

Say we change the pair of spacetime spin structures, (κ l,κ r)(\kappa_l,\kappa_r), or equivalently, the pair (κ,a)(\kappa, a ), to (κ,a)(\kappa', a'). The claim is that the integrand of the worldsheet path integral changes by a factor of

(2)(1) α lα r,ϕ *(κκ)+q(α l+ϕ *a)q(α l+ϕ *a) (-1)^{\langle\alpha_l-\alpha_r, \phi^*(\kappa'-\kappa)\rangle + q(\alpha_l + \phi^*a') - q(\alpha_l + \phi^*a)}

This formula has a number of interesting properties.

  1. It obeys the obvious cocycle condition. To see that requires the identity q(α+a+b)=q(α+a)+q(α+b)q(α)+a,b q(\alpha + a + b) = q(\alpha + a) + q(\alpha + b) - q(\alpha) + \langle a, b\rangle
  2. When a=aa'=a, which is to say when the nature of the RR field is unchanged by the change in spin structure(s), the expression is holomorphically-factorized, i.e. α lα r,ϕ *(κκ)=q(α l+ϕ *(κκ))q(α l)+q(α r+ϕ *((κ+a)(κ+a)))q(α r) \langle\alpha_l-\alpha_r, \phi^*(\kappa'-\kappa)\rangle = q(\alpha_l +\phi^*(\kappa'-\kappa)) - q(\alpha_l) + q(\alpha_r +\phi^*((\kappa'+a)-(\kappa+a))) - q(\alpha_r)
  3. When aaa'\neq a — ie, when the nature of the RR fields is altered by the change in spin structures — the formula is not holomorphically-factorized. Nonetheless, it invariant under exchanging the roles of left- and right-movers α lα r κκ+a κκ+a \begin{gathered}\alpha_l \leftrightarrow \alpha_r \\ \kappa \to \kappa + a \\ \kappa'\to \kappa'+ a' \end{gathered}
  4. When the spin structures for the R-NS and NS-R sectors are the same, i.e. when a=a=0a'=a=0, it agrees with known formulæ about “Scherk-Schwarz” compactifications.

So, already for the oriented Type-II string, we have an interesting generalization of Scherk-Schwarz. For instance, one might break half of the spacetime supersymmetries using this mechanism. In the orientifold case, the story is considerably more subtle; whereas here I could write down the B-field integral (1) and the fermion Pfaffian separately as functions on the bosonic parameter space, in the orientifold case, only the product of the two makes sense as a function.

But that’s the subject of another paper in this series …


1 Note that the tt-dependence of (1) is exactly the difference between the sum over worldsheet spin structures in IIB (t=0t=0) and in IIA (t=1)t=1). In that sense we like to say that IIA and IIB (even in 10 dimensions) are different backgrounds of the *same* theory (with different vacuum expectation values of the NS B-field). The aa-dependence is a little more exotic; it corresponds to what we like to call “generalized Scherk-Schwarz”.

Posted by distler at August 5, 2010 11:50 PM

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2253

0 Comments & 0 Trackbacks

Post a New Comment