Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added pointer to
the differential forms on a supermanifold are characterized by two numbers: the form degree and the picture number,
Presumably the picture number is a number assigned to a picture, something changed by a picture changing operator.
Notice that in the supergeometric setting the de Rham cohomology depends in general on two numbers, $i$ and $j$ above, and indeed the de Rham complex in supergeometry is not really a complex, but a bicomplex instead. The first number, denoted as $i$, refers to the actual degree of the forms and for $j=0$ it is indeed just the analog of the usual degree of a differential form. The second one, denoted with $j$, is instead a supersymmetric novelty, indeed it refers to the so-called picture number associated to a form in supergeometry (arXiv:1708.02820)
It seems to count the number of terms of a certain kind in the form. And the ’picture’ language comes from physics, as in
the “picture number” gives precisely the number of applications of ghosts needed until one annihilates the ground state. (comment)
Hm, this sounds strange. The plain de Rham complex on a supermanifolds is $\mathbb{N} \times (\mathbb{Z}/2)$-graded, the first being form degree, the second being superdegree (number of odd variables in a monomial, mod 2). This is basic, but see for instance Deligne-Freed 99.
In the article “picture number” comes in by, in addition, requiring a concept of integral super forms, needed for integration. (equations 5.9 to 5.12).
My understanding was that the geometric meaning of the infamous picture changing operators appearing in the quantization of the NSR string has been clarified in Belopolsky 97 and advertized in Witten 12. But I have not actually studied that, it’s just what I got out of the talk that Witten gave about it at StringMath2012 in Bonn.
I have made it read as follows:
If a choice of integral top-forms is made, needed for a notion of integration over supermanifolds, then there is an additional grading by “picture number” (Belopolsky 97b, Witten 12), see (Catenacci-Grassi-Noja 18 (5.8) to (5.12)).
Ah, ok.
Idle thought: do we see a differential hexagon appear for this supergeometric case?
I have a vague memory that we agreed there should be a hexagon for the super-modalities. Ah yes, a fracture square here.
At the moment I have no insight into any potential abstract/synthetic formulation of integration over supermanifolds. It might well deserve to have such, because it is notoriously a thorny subject, but I don’t know.
Notice though that the use of this in string theory is entirely in the path integration formulation of the quantization of the NSR superstring, namely in the integration over the moduli space of super-Riemann structures on the worldsheet, which is the residual path integral for the 2-d worldsheet super gravity after super-diffeomorphism gauge fixing. This is one example of a path integral quantization right at the boundary between toy examples (1d QFT = quantum mechanics) and ill-defined examples ($\geq 3$d interacting QFT ). Whether this boundary position means that it should be counted among those cases where the path integral has an actual right of existence, or those cases where it should be replaced by something else that is not just a fantasy, I don’t know.
spelled out an actual definition (here) of super differential forms, first on super Cartesian spaces, then from there on any super formal smooth set.
Also expanded the table of signs appearing in the graded-commutativity:
$\phantom{A}$sign rule$\phantom{A}$ | $\phantom{A}$Deligne’s$\phantom{A}$ | Bernstein’s$\phantom{A}$ |
---|---|---|
$\phantom{A}$$x^{a} \; x^{b} =$ | $\phantom{A}$$+ x^{b} \; x^{a}$$\phantom{A}$ | $\phantom{A}$$+ x^{b} \; x^{a}$$\phantom{A}$ |
$\phantom{A}$$x^a \;\theta^\alpha =$$\phantom{A}$ | $\phantom{A}$$+ \theta^\alpha \; x^a$$\phantom{A}$ | $\phantom{A}$$+ \theta^\alpha \; x^a$$\phantom{A}$ |
$\phantom{A}$$\theta^{\alpha} \; \theta^{\beta} =$$\phantom{A}$ | $\phantom{A}$$- \theta^{\beta} \; \theta^{\alpha}$$\phantom{A}$ | $\phantom{A}$$- \theta^{\beta} \; \theta^{\alpha}$$\phantom{A}$ |
$\phantom{A}$$x^{a} (\mathbf{d}x^{a}) =$$\phantom{A}$ | $\phantom{A}$$+ (\mathbf{d}x^{b}) x^{a}$$\phantom{A}$ | $\phantom{A}$$+ (\mathbf{d}x^{b}) x^{a}$$\phantom{A}$ |
$\phantom{A}$$\theta^\alpha (\mathbf{d}x^a) =$$\phantom{A}$ | $\phantom{A}$$+ (\mathbf{d}x^a) \theta^\alpha$$\phantom{A}$ | $\phantom{A}$${\color{blue}{-}} (\mathbf{d}x^a) \theta^\alpha$$\phantom{A}$ |
$\phantom{A}$$\theta^{\alpha} (\mathbf{d}\theta^{\beta}) =$$\phantom{A}$ | $\phantom{A}$$- (\mathbf{d}\theta^{\beta}) \theta^{\alpha}$$\phantom{A}$ | $\phantom{A}$${\color{blue}{+}} (\mathbf{d}\theta^{\beta}) \theta^{\alpha}$$\phantom{A}$ |
$\phantom{A}$$(\mathbf{d}x^{a}) (\mathbf{d} x^{b}) =$$\phantom{A}$ | $\phantom{A}$$- (\mathbf{d} x^{b}) (\mathbf{d} x^{a})$$\phantom{A}$ | $\phantom{A}$$- (\mathbf{d} x^{b}) (\mathbf{d} x^{a})$$\phantom{A}$ |
$\phantom{A}$$(\mathbf{d}x^a) (\mathbf{d} \theta^{\alpha}) =$$\phantom{A}$ | $\phantom{A}$$- (\mathbf{d}\theta^{\alpha}) (\mathbf{d} x^a)$$\phantom{A}$ | $\phantom{A}$${\color{blue}{+}} (\mathbf{d}\theta^{\alpha}) (\mathbf{d} x^a)$$\phantom{A}$ |
$\phantom{A}$$(\mathbf{d}\theta^{\alpha}) (\mathbf{d} \theta^{\beta}) =$ | $\phantom{A}$$+ (\mathbf{d}\theta^{\beta}) (\mathbf{d} \theta^{\alpha})$$\phantom{A}$ | $\phantom{A}$$+ (\mathbf{d}\theta^{\beta}) (\mathbf{d} \theta^{\alpha})$$\phantom{A}$ |
Hello, I would have a quite trivial question on notation.
What do we exactly mean by the name “bosonic differential form”?
Do we mean just an even differential form, e.g. $R := R_{ab} dx^a \wedge dx^b + R_{\alpha\beta} d\theta^\alpha \wedge d\theta^\beta$ ?
Or do we mean a “horizontal” form, e.g. $R := R_{ab} dx^a \wedge dx^b$ ?
Or do we mean a form which can be expressed by using only bosonic vielbeins, e.g. $R := R_{ab} e^a \wedge e^b$ ?
Thanks in advance!
I am using it for the latter.
This matches the use of bosonic modality: With $\overset{\rightsquigarrow}{X}$ the bosonic aspect of the supermanifold $X$, hence its body of the supermanifold, a bosonic form on $X$ is one pulled back from $\overset{\rightsquigarrow}{X}$.
Thank you for your reply. I am still not sure I understood. If $B=B_{\mu\nu}(x) dx^\mu \wedge dx^\nu$ is a B-field on the $\overset{\rightsquigarrow}{X}$, we can pull it back to $X$ to construct
$H = dB_{\mu\nu}(x) \wedge dx^\mu \wedge dx^\nu + i(\bar{\psi}\wedge\Gamma_a\Gamma_{10}\psi)\wedge e^a$where the vielbein satisfies $de^a = \bar{\psi}\Gamma^a\psi$.
Is this statement correct? Does this mean $B_{\mu\nu}(x)dx^\mu \wedge dx^\nu$ on $\overset{\rightsquigarrow}{X}$ does not depend on the $\theta$-coordinates?
Thanks
So the pullback itself is just $B_{\mu \nu} d x^\mu \wedge d x^\nu$ (the bosonic modality knows about super-geometry but not about super-symmetry, it just forgets the odd-graded coordinates $\theta$ not caring about which forms are super left-invariant).
Maybe you could say again what exactly your question is. Your original question seemed to be purely about terminological convention. I think the convention I am promoting makes good sense, but in the end it’s just a choice of terminology, without mathematical content.
Of course, I was just trying to clumsily apply the definition to some physical statement to see if I understood, but I definitely need to read carefully the papers first
added pointer to this recent preprint:
1 to 14 of 14