• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,075 questions , 2,226 unanswered
5,347 answers , 22,743 comments
1,470 users with positive rep
818 active unimported users
More ...

  Is there a version of supersymmetry for homogeneous spaces?

+ 7 like - 0 dislike

The notion of "supersymmetry" that I am aware of proceeds as follows. One fixes a spacetime $\mathbb R^n$ and signature; I will write $\mathrm{SO}(n)$ for the corresponding group of orthogonal transformations, as if I had chosen Euclidean signature, but of course this story also works with $\mathrm{SO}(n-1,1)$, .... In any case, $\mathrm{SO}(n)$ has a double cover $\mathrm{Spin}(n)$, which is usually the universal cover. The usual symmetry of usual spacetime is the group of rigid transformations $\mathrm{ISO}(n) = \mathrm{SO}(n) \ltimes \mathbb R^n$, and it is convenient to work instead with the double cover $\mathrm{ISpin}(n) = \mathrm{Spin}(n) \ltimes \mathbb R^n$. I realize that these are not quite the standard names, but no matter; for example, you may replace the "I" in $\mathrm{SISO}$ with a "U", and the "O" with a "Y", if such changes make you feel better.

Now, suppose that you choose for yourself some real spin representation $\mathbb S$ of $\mathrm{Spin}(n)$ and a symmetric $\mathrm{Spin}(n)$-equivariant pairing $\Gamma: \mathbb S \otimes \mathbb S \to \mathbb R^n$. Exactly what flavor of choices this requires depends on the value of $n$ mod 8, and on the signature, and perhaps other things. As usual, "spin representation" means it extends to the appropriate clifford algebra.

Let $\pi \mathbb S$ denote the supervector space which is the "parity reversal" of $\mathbb S$. Then $\Gamma$ makes sense as an antisymmetric pairing on $\pi\mathbb S$. Indeed, it defines a nonabelian super Lie algebra structure on the supervector space $\pi\mathbb S \oplus \mathbb R^n$, whose only nontrivial bracket is $\Gamma : (\pi\mathbb S)^{\wedge 2} \to \mathbb R^n$. Lacking a good notation, I will call this Lie algebra $\mathfrak t$. It is a central extension of $\pi\mathbb S$ by $\mathbb R^n$, and fits into a nontrivial short exact sequence $\mathbb R^n \to \mathfrak t \to \pi\mathbb S$. Exponentiating of finite-dimensional super Lie algebras is trivial if the non-super part can be exponentiated, and so we end up with a nonabelian super translation group $T$, also given as a central extension, now of super groups, of $\pi \mathbb S$ by $\mathbb R^n$. By definition, everything is $\mathrm{Spin}(n)$-equivariant. The super isometry group is the extension $\mathrm{SISO}(n,\mathbb S) = \mathrm{Spin}(n) \ltimes T$.

My question is: What happens when flat space $\mathbb R^n$ is replaced by some other geometry? Simple cases include the round sphere, and de Sitter and anti de Sitter spaces. More complicated examples include other symmetric or homogeneous spaces for other Lie groups. Any "$G_2$ supersymmetry" or "$E_8$ supersymmetry" out there?

The motivation for my question comes from an observation that I learned from Dyson's excellent paper Birds and Frogs: $\mathrm{ISO}(n)$ is simply a limit as some "curvature" parameter goes to $\infty$ of $\mathrm{SO}(n+1)$, which is in the technical sense a more simple group. Note that there will no longer be a well-defined "super translation group", as the round sphere is not (usually) a group, but perhaps there is still be a simple deformation of $\mathrm{SISO}(n)$, acting on some super homogeneous space?

This post imported from StackExchange MathOverflow at 2015-01-08 14:16 (UTC), posted by SE-user Theo Johnson-Freyd
asked Jun 24, 2013 in Theoretical Physics by Theo Johnson-Freyd (290 points) [ no revision ]
retagged Jan 8, 2015

1 Answer

+ 3 like - 0 dislike

Homogeneous superspaces generalizing the "Super-Poincaré\Lorentz = Superspace" exist. These superspaces are given as coset spaces of super-Lie groups $G/H$. Please see for example, the following article by: Schunck and Wainwright containing an explicit construction of the supersphere $S^{2|2}$ as the supercoset space $UOSP(1|2)/U(1)$. There are also treatments of the super-Ads case, please see for example: N. Alonso-Alberca, E.Lozano-Tellechea, T. Ortin .

In super-coset spaces, the standard construction of the (super) frame bundle and (super) $H-$ connection applies. However, In the contrast to the nonsupersymmetric case, where the algebra of $G$ is realized as an algebra of isometries of the Killing-Cartan metric; this metric does not have a natural generalization to supermanifolds, but we can still talk about isometries leaving the super-frame fields and the super-$H$ connection invariant up to a gauge transformation. The action of these super-isometries on functions (superfields) or more generally sections of super-vector bundles can be realized by means of differential operators.

There is another type of generalization of "flat supersymmetry", to an arbitrary spin manifold $(M, g)$, (which can be applied to homogeneous spaces having spin structures) by means of the construction of a super-cotangent bundle $T^{*}M \oplus \pi TM$, please,see for example the following work by: J.P. Michel. The super-cotangent bundle is a symplectic supermanifold and the generators of the supersymmetry algebra can obtained as a quantization of the corresponding symbols realized in the Poisson algebra of the super-cotangent bundle. The Dirac operator plays the role of the supersymmetry generator (it Poisson squares to the Laplacian). These supermanifold describe the phase spaces of a spinning particle moving on $(M, g)$.

This post imported from StackExchange MathOverflow at 2015-01-08 14:16 (UTC), posted by SE-user David Bar Moshe
answered Jun 26, 2013 by David Bar Moshe (4,355 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights