## October 31, 2005

### Sheaves of CDOs

#### Posted by urs

As has been pointed out here and here, in order to better understand the remarks on the recently mentioned Čech-cohomology approach to the pure spinor string it helps to look at some more (for physicists) or less (for mathematicians) recent literature.

More precisely, there is a series of math papers

V. Gorbounov, F. Malikov, V. Schechtman, A. Vaintrob
Chiral De Rham Complex
&
Gerbes of Chiral Differential Operators
math.AG/9803041
math.AG/9901065
math.AG/9906117
math.AG/0003170
math.AG/0005201

some essence of which has been translated this year to physics language and applications in

E. Witten
Two-Dimensional Models With $\left(0,2\right)$ Supersymmetry: Perturbative Aspects
hep-th/0504078 .

It is nontrivial to recognize from the keywords in the respective titles a direct relation between these papers. The solution to that is one of the insights of hep-th/0504078.

To roughly see what is going on, consider a 2D $\sigma$-model with flat hermitian target, i.e. something with worldsheet action looking like

(1)$\propto \int {d}^{2}z{\delta }_{i,\overline{j}}\overline{\partial }{\varphi }^{i}\partial {\overline{\varphi }}^{\overline{j}}+\cdots$

together with a nilpotent operator $Q$ defined on the fields, whose commutator acts as

(2)$\left[Q,\cdot \right]={\alpha }^{\overline{j}}\frac{\partial }{\partial {\overline{\varphi }}^{\overline{j}}}\phantom{\rule{thinmathspace}{0ex}},$

which should be thought of as the antiholomorphic exterior derivative $\overline{\partial }$ on target space.

If, furthermore, there are equations of motion which imply that ${\partial }_{z}\alpha =0$, it is not too hard to see that the cohomology of $Q$ consists of operators that are functions of the $\partial$-derivatives of $\varphi$ and those of $\overline{\varphi }$ as well as of $\varphi$ itself but not of $\overline{\varphi }$ itself.

The point of this is

a) that worldsheet theories with $\left(0,2\right)$-supersymmetry are examples of this structure if one of the supercharges is identified with $Q$

and

b) in such a situation a natural field-redefinition makes contact with the theory of chiral differential operators (as well as with the free $\beta \gamma$-system which is in particular relevant for the pure spinor string).

This field redifinition is very natural: Since in the $Q$-cohomology which we decided to be interested in nothing depends on $\overline{\varphi }$ but only on its derivatives, we introduce instead of $\overline{\varphi }$ the field variable

(3)${\beta }_{i}={\delta }_{i\overline{j}}\partial {\overline{\varphi }}^{\overline{j}}\phantom{\rule{thinmathspace}{0ex}}.$

Since a $\beta$ likes to have a $\gamma$-partner, let’s also simply rename $\varphi$:

(4)${\gamma }^{i}={\varphi }^{i}\phantom{\rule{thinmathspace}{0ex}}.$

Now from the standard OPE of $\varphi$ and $\overline{\varphi }$ it follows that the only nontrivial OPE of $\beta$ and $\gamma$ is

(5)$\beta \left(z\right)\gamma \left(0\right)\sim -\frac{1}{z}\phantom{\rule{thinmathspace}{0ex}}.$

Moreover, $\beta$ is obviously of weight $\left(1,0\right)$ and $\gamma$ of weight $\left(0,0\right)$ and in terms of these variables the above action reads

(6)$\int {d}^{2}z\sum _{i}{\beta }_{i}\overline{\partial }{\gamma }^{i}\phantom{\rule{thinmathspace}{0ex}}.$

This is what in the string literature is known as the $\beta \gamma$-system. The vertex algebra generated by such $\beta$ and $\gamma$ is known otherwise as the algebra of chiral differential operators (see text around equation (2.1) of math.AG/9906117).

What one is interested in now is patching such $\beta \gamma$-systems together appropriately in order to describe more nontrivial target spaces than the flat hermitian one we started with. More technically, we want to associate a (‘free’) $\beta \gamma$ system like above to each open contractible set of some target space $X$ such that we can consistently restrict from open subsets to smaller open subsets and such that we can glue $\beta \gamma$-systems on overlapping open subsets. Hence the structure needed here is that of a sheaf of such systems, or equivalently, a sheaf of chiral differential operators.

We could construct a globally well defined CFT on all of $X$ by appropriately gluing all such local systems. But this is not always possible. The obstruction for this to be possible, otherwise known as an anomaly, can be nicely seen in Čech cohomology as the failure of certain objects to glue properly on multiple overlaps of open subsets.

In order to understand gluing of $\beta \gamma$-systems, one needs to understand the symmetries of such systems. These symmetries, again, are determined by the ‘Hamiltonian’.

The energy momentum tensor of the (local, free) $\beta \gamma$ system is

(7)$T=:\beta \phantom{\rule{thinmathspace}{0ex}}\partial \gamma :\phantom{\rule{thinmathspace}{0ex}}.$

As always in quantum mechanics, a symmetry of the system is something generated by an operator which commutes with this ‘Hamiltonian’ $T$. As usual in CFT, such operators are obtained from integrals of worldsheet currents of unit conformal weight, which in the present case means of weight $\left(1,0\right)$.

There are only two classes of such currents in the game, namely

(8)${J}_{V}=-{V}^{i}\left(\gamma \right){\beta }_{i}$

for $V=V\left(\gamma \right)$ some holomorphic vector field on target space (i.e. one not depending on $\overline{\gamma }$), and

(9)${J}_{B}={B}_{i}\left(\gamma \right)\partial {\gamma }^{i}$

for $B$ some holomorphic 1-form on target space.

As always, the first of these generates reparameterizations of target space. Witten therefore calls it the geometric symmetry. On the other hand, ${J}_{B}$ acts by mixing the fields of the sigma model without this having a geometric interpretation in terms of target space. Hence this is called the ‘nongeometric symmetry’.

What is interesting is that in computing the OPEs of these currents, one finds that, due to a quantum effect coming from a double contraction at one point, the (integrals of the) ${J}_{V}$ and ${J}_{B}$ generate a nontrivial central extension of the group of holomorphic diffeomorphisms on target space.

Hence, given a complex target manifold $X$ with holomorphic transition functions, one can ask when the cocycle relations satisfied by these transition functions lift to the above central extension. In such a case it is possible to glue together local free $\beta \gamma$ systems (including their ‘nongeometric’ gluing conditions) on $X$ to a globally defined ‘nonlinear$\beta \gamma$-system on all of $X$.

This lifting procedure is formally precisely analogous to how the lifting of the structure group of some bundle to a centrally extended structure group is obstructed by the corresponding ‘lifting gerbe’. In ‘Gerbes of Chiral Differential Operators’ this obstructiuon is shown to be ${p}_{1}\left(X\right)$.

One important subtlety of this discussion is the following. Even if this obstruction vanishes and a globally defined $\beta \gamma$-system is obtainable by gluing, it does not follow necessarily that the resulting global theory is conformally invariant! None of the above discussion had any dependence on the nature (or existence!) of a stress-energy tensor of the model. (Except maybe the determination of the symmetries of the $\beta \gamma$-system, which assumed that a symmetry is something generated by the integral over a unit weight current.)

In fact, the theory can only be conformal globally if the local stress energy tensors defined for every local $\beta \gamma$ system by $T=:\beta \partial \gamma :$ also glue consistently. The obstruction for this to happen is an old friend, now carrying its Čech-clothes: the conformal anomaly.

Witten gives an instructive example for this issue in section 5 of his paper. Assume target space is ${\mathrm{ℂℙ}}^{1}$. The obvious choice of open sets covering ${\mathrm{ℂℙ}}^{1}$ is ${U}_{1}$=the complex $\gamma$-plane and ${U}_{2}$=the complex $\stackrel{˜}{\gamma }$-plane which are glued by the holomorphic transition $\stackrel{˜}{\gamma }=1/\gamma$.

There is a local $\beta \gamma$ system on ${U}_{1}$ and a $\stackrel{˜}{\beta }\stackrel{˜}{\gamma }$-system on ${U}_{2}$. One needs to lift the holomorphic transition $\stackrel{˜}{\gamma }=1/\gamma$ to symmetries on these two systems. A nontrivial computation shows that the ‘nongeometric’ symmetries have to be chosen such that the gluing relation between $\stackrel{˜}{\beta }$ and $\beta$ is not quite the one expected from target space geometry, but rather

(10)$\stackrel{˜}{\beta }=-\beta {\gamma }^{2}+2\partial \gamma$

(with normal ordering implicit). Here the second term on the right is the nongeometric quantum correction.

This correction has the effect that the stress-energy tensors $T=\beta \partial \gamma$ and $\stackrel{˜}{T}=\stackrel{˜}{\beta }\partial \stackrel{˜}{\gamma }$ do not coincide on ${U}_{1}\cap {U}_{2}$. Instead one finds that their difference is

(11)$\stackrel{˜}{T}-T=\partial \left(\frac{\partial \gamma }{\gamma }\right)\phantom{\rule{thinmathspace}{0ex}}.$

Hence there is no global conformal symmetry in the glued system. This is of course no surprise, since we know that the string on ${\mathrm{ℂℙ}}^{1}$ has nonvanishing beta-functions. Here one sees this conformal anomaly in terms of Čech cohomology.

Since this little summary of some aspects of Witten’s last paper is supposed to provide some illumination of some of the remarks made in my recent notes on Nikita Nekrasov’s talk, I should maybe remark that one should not confuse the (role played by the) operator $Q$ in Witten’s paper with the (role played by the) operator $Q$ in the context of these notes. Witten’s $Q$ is essentially the bridge between $\left(0,2\right)$-susy theories and chiral differential algebras and can be essentially forgotten once one is only interested in gluing local $\beta \gamma$-systems. In Nekrasov’s context there is another $Q$ (the pure spinor BRST operator) which apparently appears in weakening Čech-closure conditions for $\beta \gamma$-systems on the space of pure spinors.

Posted at October 31, 2005 12:07 PM UTC

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

### Re: Sheaves of CDOs

Thank you, Urs! I had not looked at these papers, and I was quite unaware that Witten was working with gerbes. Your explanations are much appreciated.

Posted by: Kea on October 31, 2005 11:17 PM | Permalink | Reply to this

### Re: Sheaves of CDOs

I was quite unaware that Witten was working with gerbes.

It isn’t advertized as work on gerbes. I don’t think the word gerbe is even mentioned in that paper (apart from the titles of the references).

But I bet that there is even more ‘higher’ structure lurking here. Note that each local $\beta \gamma$ system has its local ‘propagator’ which is some functor that assigns vector spaces to worldsheet boundaries and unitary operators to cobordisms. These functors, too, should glue on double overlaps. Hence there should really be a gerbe with connection (2-transport) here. I bet. Dunno.

Thanks for the feedback. I should maybe emphasize that I am myself only just in the process of familiarizing myself with sheaves and gerbes of chiral differential algebras. I haven’t yet made it very far at all into the work by Malikov, Schechtman et al.

As always, corrections are very welcome.

Posted by: Urs Schreiber on November 1, 2005 1:28 PM | Permalink | Reply to this
Read the post Nekrasov Lecture Online
Weblog: The String Coffee Table
Excerpt: Quicktime video of Nikita Nekrasov's lectures on the pure spinor superstring is available online.
Tracked: January 4, 2006 7:13 PM
Read the post Vertex Algebras et al. - Some Literature
Weblog: The String Coffee Table
Excerpt: Literature on vertex algebras and related topics.
Tracked: March 14, 2006 8:24 PM
Read the post Amplimorphisms and Quantum Symmetry, I
Weblog: The n-Category Café
Excerpt: Localized endomorphisms of quantum observables in arrow-theoretic terms.
Tracked: February 6, 2007 2:11 PM
Read the post QFT of Charged n-Particle: Sheaves of Observables
Weblog: The n-Category Café
Excerpt: On the concepts of sheaves and nets of algebras of observables in quantum field theory.
Tracked: March 6, 2007 11:43 PM

Post a New Comment