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.

March 2, 2006

Superpoints

Posted by Urs Schreiber

I am currently staying at Schloss Mickeln, attending the workshop on Stolz&Teichner’s approach to elliptic cohomology which I mentioned recently.

There is little time to blog with lots of things to be said. Here I’ll just mention a single cool factoid.

In his introductory talk Prof. Laures mentioned the existence of unpublished work in progress which extends Stolz&Teichner’s approach to dimension 0. Not many details are available, but it seems like people are about to make sense of the first line in the following table:

(1)physicalobject propagation cohomology chromaticlevel D 1brane 0transport deRham 0 pointparticle 1transport Ktheory 1 string 2transport ellipticcohomology 2

The second line says something like that the space of all 1-dimensional supersymmetric euclidean field theories ( supersymmetric quantum mechanics) “at grade n” is homotopy equivalent to the n-th space in the Ω-spectrum representing periodic K-theory.

That’s the content of section 3 of WIAEO?. See also

E. Markert
Connective 1-dimensional Euclidean Field Theories
.ps.

This has been the toy model setup for the content of the third line. There is evidence that elliptic cohomology is similarly given by supersymmetric 2-dimensional field theories, hence by “superstrings” of one sort or another.

Understanding the details of this is the whole point of workshops like the one I am reporting from.

From the perspective of n-transport (which is my terminology) it is natural to wonder if there is also going on something interesting for 0-transport. The claim now is that, yes, when correctly set up, 0-functors which send super-points to some some superspace obtained from vector bundles over target space yield, in a similar fashion, ordinary de Rham cohomology.

This sounds like it should be very trivial. But it is not. Part of the subtlety is the super-aspect. The above table crucially depends on this. If you pass from supersymmetric n-transport to more general n-transport the moduli spaces of these n-dimensional field theories become contractible and hence topologically trivial.

So what is a superpoint? Physically, it should be something like the worldvolume of a super (1)-brane. The right mathematical language to think about this is to conceive supermanifolds as 2-graded ringed spaces.

This is well known to those who know it well. It turned out, however, to be some entertaining exercise to translate physicist’s naïve but efficient handling of supermanifold’s to the precise language, which takes a little getting used to.

I’ll mention some key aspects. Thanks go in particular to Guy Buss for explaining aspects of this stuff to me. One relevant textbook is

V.S. Varadarajan
Supersymmetry for Mathematicians
Courant Lecture Notes in Mathematics vol. 11
American Mathematical Society (2004)

The entire setup here is motivated from the scheme concept in algebraic geometry. We describe a supermanifold in terms of its ring of “functions” over it.

A locally ringed space (M,O) is a topological space M together with a sheaf of rings O over it, such that each stalk is a local ring.

This means roughly that the maximal ideals of these rings correspond to the points in M.

An ordinary manifold is the same as a locally ringed space (M,O) such that for each pM there is a neighborhood Up such that O U is isomorphic to a ring of smooth functions over U.

This easily generalized. A supermanifold is a locally ringed space (M,O) such that for each pM there is a neighborhood Up such that O U is isomorphic to a ring of smooth functions tensored with the exterior algebra of some vector space.

In particular, the supermanifolds of the form pq are nothing but ringed spaces (M,O) where M= p is simply p-dimensional Euclidean space and where O is the sheaf of smooth functions of q times elements of exterior powers of q.

A superpoint is a 0,q.

There is an obvious notion of morphism between ringed spaces. Such a morphism is simply a continuous map between the two topological spaces together with a morphism of sheaves from the sheaf of rings on the target space to the pushforward of the sheaf of rings on the source space.

While all this may sound obvious, it turns out to be instructive to rederive the local coordinate formulas for operations on pq which you find in physics texts. The crucial concept needed to do so is that of S-points of a supermanifold.

Let S be some supermanifold, then Hom(S, pq) is called the space of S-points of pq (the “S-shaped loci in pq”).

If you are a physicist, you are familiar with adressing a series of symbols of the form

(2)(t,θ)(t+t+θθ,θ+θ)

as a expressing a supertranslation in 11.

In the language of locally ringed spaces, what this really means is something like the following.

Let S be some generic higher-dimensional supermanifold. What is an S-point in 11? In order to compute that, we map all of the underlying topological space of S into and push all the even and odd sectins of S forward. By the above definition of morphisms of supermanifolds, we next need to pick a homomorphism of the sheaf of rings of 11 with that of the pushed forward sheaf. Let’s just concentrate on some arbitrary global even section s of 11 and some global odd section η. Under the ring homomorphism they are mapped to, say t and θ

(3)(s,η)(t,θ).

This are the “variables” t and theta in the above mentioned formula. We may do the same for some other “S”-point. This will give some other ring homomorphism

(4)(s,η)(t,θ).

Adding the two S-points is what gives rise to the homomorphism described by the right hand side of the above formula. Note that in particular the term θθ is in general nonvanishing because this is in general the product of two different odd sections of S. They both arise as images of the single odd section η of 11. And of cource ηη=0.

The tangent space of a supermanifold (M,O) is simply the supermanifold which is realized as the sheaf of derivations of the rings in O. One such derivation is the familar superderivative

(5)D=θs+η.

By suitably restricting and pulling this back we obtain a derivation

(6)D=θt+θ

on S. Superexponentiating this yields the flow

(7)exp(tD 2)(1+θD)

which generates the above supertranslation.

The point here is that one has to carefully do all one’s supercaclulations properly using the language of ringed spaces. Doing so should tell you what precisely 0-transport of super-(-1)-branes with superpoint worldvolumes gives rise to.

Posted at March 2, 2006 4:53 PM UTC

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

6 Comments & 4 Trackbacks

Re: Superpoints

In particular, the supermanifolds of the form R^p|q are nothing but ringed spaces (M,O) where M=R^p is simply p-dimensional Euclidean space and where O is the sheaf of smooth functions of R^q times elements of exterior powers of R^q.

Hm. Is the ordinary manifold R^(p+q) the ringed space with M=R^p and O the smooth functions of R^q times elements of symmetric powers of R^q?

Posted by: Thomas Larsson on March 3, 2006 8:34 AM | Permalink | Reply to this

Re: Superpoints

Is the ordinary manifold (p+q) the ringed space with M= p and O the smooth functions of q times elements of symmetric powers of q?

Unless I misunderstand what you mean this is not so.

The algebra of (smooth, say) functions on n is C ( n). Same if n=p+q, obviously. And C ( p+q) is not isomorphic to C ( p) Sq in general. But I wonder if that’s what you had in mind?

Posted by: urs on March 4, 2006 2:24 PM | Permalink | Reply to this

Re: Superpoints

I was thinking about polynomials (or formal power series) rather than smooth functions. Since the difference between even and odd coordinates is that the former commute and the latter anti-commute, you should get ordinary manifolds from supermanifolds by replacing exterior products by symmetric products.

Posted by: Thomas Larsson on March 5, 2006 1:03 PM | Permalink | Reply to this

Re: Superpoints

The point I was trying to make is trivial. Let p = q = 1. A formal power series f(x,y) can be written as a sum over terms of the form f_n(x) y^n. If y is odd this sum consists of two terms only, since y^2 = 0, whereas infinitely many terms may be needed if y is even. If you now think of y = dx, this gives you exterior powers in the odd case and symmetric powers in the even case.

Posted by: Thomas Larsson on March 5, 2006 1:24 PM | Permalink | Reply to this

Re: Superpoints

A formal power series f(x,y) can be written as a sum over terms of the form f n(x)y n.

Now I see what you mean. Yes, this works under the right conditions. But in order to really get a manifold you will need to take some completion or something in order to obtain all smooth functions.

Posted by: urs on March 7, 2006 12:14 PM | Permalink | Reply to this

Re: Superpoints

But in order to really get a manifold you will need to take some completion or something in order to obtain all smooth functions.

Of course. But if we only are interested in algebraic aspects, it usually does not matter so much what class of functions we consider. For analytic aspects it does matter, of course.

Posted by: Thomas Larsson on March 7, 2006 2:50 PM | Permalink | Reply to this
Read the post nEFT at Schloss Mickeln, Part I
Weblog: The String Coffee Table
Excerpt: Talk by E. Markert on concepts and results in describing generalized cohomology in terms of euclidean field theory. Part I. Mostly pesonal remarks on the general program.
Tracked: March 4, 2006 9:26 PM
Read the post nEFT at Schloss Mickeln, Part II
Weblog: The String Coffee Table
Excerpt: Talk by Johannes Ebert on CFT partition functions and modular forms.
Tracked: March 6, 2006 12:53 PM
Read the post What IS a superfield, really?
Weblog: The String Coffee Table
Excerpt: On the true (functorial) nature of superfields.
Tracked: March 7, 2006 10:45 PM
Read the post Seminar on 2-Vector Bundles and Elliptic Cohomology, V
Weblog: The String Coffee Table
Excerpt: Part V of a seminar on elliptic cohomology and 2-vector bundles. Review of relations between elliptic cohomology and strings.
Tracked: June 30, 2006 11:02 AM

Post a New Comment