# Supersymmetry and Deligne’s Theorem

In 2002, Pierre Deligne proved a remarkable theorem on what mathematically is called *Tannakian reconstruction of tensor categories*. Here I give an informal explanation what what this theorem says and why it has profound relevance for theoretical particle physics:

*Deligne’s theorem on tensor categories combined with Wigner’s classification of fundamental particles implies a strong motivation for expecting that fundamental high energy physics exhibits supersymmetry.*

I explain this in a moment. But that said, before continuing I should make the following

Side remark.

Recall that what these days is being constrained more and more by experiment are models of “low energy supersymmetry”: scenarios where a fundamental high energy supergravity theory sits in a vacuum with the exceptional property that a global supersymmetry transformation survives. Results such as Deligne’s theorem have nothing to say about the complicated process of stagewise spontaneous symmetry breaking of a high energy theory down to the low energy effective theory of its vacua. Instead they say something (via the reasoning explained in a moment) about the mathematical principles which underlie fundamental physics *fundamentally, *i.e. at high energy. Present experiments, for better or worse, say nothing about high energy supersymmetry.

Incidentally, it is also high energy supersymmetry, namely supergravity, which is actually predicted by string theory (this is a theorem: the spectrum of the fermionic “spinning string” miraculously exhibits local spacetime supersymmetry), while low energy supersymmetry needs to be imposed by hand in string theory (namely by *assuming* Calabi-Yau compactifications, there is no mechanism in the theory that would single them out).

End of side remark.

Now first recall the idea of *Wigner’s classification of fundamental particles. *In order to bring out the fundamental force of Wigner classification, I begin by recalling some basics of the fundamental relevance of local spacetime symmetry groups:

Given a symmetry group ##G## and a subgroup ##H \hookrightarrow G##, we may regard this as implicitly defining a local model of spacetime: We think of ##G## as the group of symmetries of the would-be spacetime and of ##H## as the subgroup of symmetries that fix a given point. Assuming that ##G## acts transitively, this means that the space itself is the coset

$$

X = G/H

$$

For instance if ##X = \mathbb{R}^{d-1,1}## is Minkowski spacetime, then its isometry group ##G = \mathrm{Iso}(\mathbb{R}^{d-1,1})## is the Poincaré group and ##H = O(d-1,1)## is the Lorentz group. But it also makes sense to consider alternative local spacetime symmetry groups, such as ##G = O(d-1,2)## the anti-de Sitter group. etc. The idea of characterizing local spacetimes as the coset of its local symmetry group by the stabilizer of any one of its points is called *Klein geometry*.

To globalize this, consider a manifold ##X## whose tangent spaces look like ##G/H##, and such that the structure group of its tangent bundle is reduced to the action of ##H##. This is called a *Cartan geometry*.

For the previous example where ##G/H## is Poincaré/Lorentz, then Cartan geometry is equivalently pseudo-Riemannian geometry: the reduction of the structure group to the Lorentz group is equivalently a “vielbein field” that defines a metric, hence a field configuration of gravity. For other choices of ##G## and ##H## the same construction unifies essentially all concepts of geometry ever considered, see the table of examples here.

This is a powerful formulation of spacetime geometry that regards spacetime symmetry groups as more fundamental than spacetime itself. In the physics literature it is essentially known as the first-order formulation of gravity.

Incidentally, this is also the way to obtain super-spacetimes: simply replace the Poincaré group by its super-group extension: the super-Poincaré group (super-Cartan geometry) But why would should one consider that? We get to this in a moment.

Now as we consider quantum fields covariantly on such a spacetime, then locally all fields transform linearly under the symmetry group ##G##, hence they form linear representations of the group ##G##.

Given two ##G##-representations, we may form their tensor product to obtain a new representation. Physically this corresponds to combining two fields to the joint field of the composite system.

Based on this, Wigner suggested that the *elementary *particle species are to be identified with the *irreducible representations* of ##G##, those which are not the direct sum of two non-zero representations.

Indeed, if one computes, in the above example, the irreducible unitary representations of the Poincaré group, then one finds that these are labeled by the quantum numbers of elementary particles seen in experiment, mass and spin, and helicity for massless particles.

One may do the same for other model spacetimes, such as (anti-)de Sitter spacetimes. Then the particle content is given by the irreducible representations of the corresponding symmetry groups, the (anti-)de Sitter groups, etc.

The point of this digression via Klein geometry and Cartan geometry is to make the following important point: the spacetime symmetry group is more fundamental than the spacetime itself.

Therefore we should not be asking:

What are all possible types of spacetimes over which we could consider Wigner classification of particles?

but we should ask:

What are all possible symmetry groups such that their irreducible representations behave like elementary particle species?

This is the question that *Deligne’s theorem on tensor categories* is the answer to.

To give a precise answer, one first needs to make the question precise. But it is well known how to do this:

- A collection of things (for us: particle species)
- which may be tensored together (for us: compound systems may be formed)
- where two things may be exchanged in the tensor product (two particles may be exchanged)
- such that exchanging twice is the identity operation,
- and such that every thing has a dual under tensoring (for every particle there is an anti-particle);
- such that the homomorphisms between things (for us: the possible interaction vertices between particle species) form vector spaces;

is said to be a linear *tensor category* .

We also add the following condition, which physically is completely obvious, but necessary to make explicit to prove the theorem below:

- Every thing consists of a finite number of particle species, and the compound of ##n## copies of ##N## particle species contains at most ##N^n## copies of fundamental particle species. Mathematically this is the condition of “subexponential growth”, see here for the mathematical detail.

A key example of tensor categories are categories of finite-dimensional representations of groups; but not all tensor categories are necessarily of this form. The question for those which are is called *Tannaka duality*: the problem of starting with a given tensor category and reconstructing the group that it is the category of representations of.

The case of interest to us here is that of tensor categories which are ##\mathbb{C}##-linear, hence where the spaces of particle interaction vertices are complex vector spaces. More generally we could consider ##k##-linear tensor categories, for ##k## any field of characteristic 0.

Deligne studied the question:

Under which conditions is such a tensor category the representation category of some group, and if so, of which kind of group?

Phrased in terms of our setup this question is:

Given any collection of things that behave like particle species and spaces of interaction vertices between these, under which condition is there a local spacetime symmetry group such that these are the particles in the corresponding Wigner classification of quanta on that spacetime, and what kinds of spacetime symmetry groups arise this way?

Now the answer of *Deligne’s theorem on tensor categories* is this:

*Every*##k##-linear tensor category is of this form;- the class of groups arising this way are precisely the (algebraic) super-groups.

This is due to

Pierre Deligne, *Catégorie Tensorielle*, Moscow Math. Journal 2 (2002) no. 2, 227-248. (pdf)

based on

Pierre Deligne, *Catégories Tannakiennes* , Grothendieck Festschrift, vol. II, Birkhäuser Progress in Math. 87 (1990) pp.111-195.

reviewed in

Victor Ostrik, *Tensor categories* (after P. Deligne) (arXiv:math/0401347)

and in

Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik, section 9.11 in *Tensor categories*, Mathematical Surveys and Monographs, Volume 205, American Mathematical Society, 2015 (pdf)

Phrased in terms of our setup this means

*Every*sensible collection of particle species and spaces of interaction vertices between them is the collection of elementary particles in the Wigner classification for*some*local spacetime symmetry group;- the local spacetime symmetry groups appearing this way are precisely
*super-symmetry groups*.

Notice here that a super-group is understood to be a group that *may* contain odd-graded components. So also an ordinary group is a super-group in this sense. The statement does not say that spacetime symmetry groups *need* to have odd supergraded components (that would evidently be false). But it says that the largest possible class of those groups that are sensible as local spacetime symmetry groups is precisely the class of possibly-super groups. Not more. Not less.

Hence Deligne’s theorem — when regarded as a statement about local spacetime symmetry via Wigner classification as above — is a much stronger statement than for instance the Coleman-Mandula theorem + Haag-Lopuszanski-Sohnius theorem which is traditionally invoked as a motivation for supersymmetry:

For Coleman-Mandula+Haag-Lopuszanski-Sohnius to be a motivation for supersymmetry, you first of all already need to believe that spacetime symmetries and internal symmetries ought to be unified. Even if you already believe this, then the theorem only tells you that supersymmetry is *one *possibility to achieve this unification, there might still be an infinitude of other possibilities that you haven’t considered yet.

For Deligne’s theorem the conclusion is much stronger:

First of all, the only thing we need to believe about physics, for it to give us information, is an utmost minimum: that particle species transform linearly under spacetime symmetry groups. For this to be wrong at some fundamental scale we would have to suppose non-linear modifications of quantum physics or other dramatic breakdown of everything that is known about the foundations of fundamental physics.

Second, it says not just that local spacetime supersymmetry is one possibility to have sensible particle content under Wigner classification, but that the class of (algebraic) super-groups *precisely *exhausts the moduli space of possible consistent local spacetime symmetry groups.

This does not prove that fundamentally local spacetime symmetry is a non-trivial supersymmetry. But it means that it is well motivated to expect that it might be one.

Just WOW!

Is Deligne's theorem here the same one, or related to, as the one that is used to help solve the twin prime conjecture?

What was used in the discussion of the twin prime conjecture is Deligne's theorem on extending the Weil bound on Kloosterman sums. This is unrelated to the theorem on Tannakian reconstruction of tensor categories that the above entry is referring to.Pierre Deligne proved many important theorems.

[quote=Urs Schreiber]This is a powerful formulation of spacetime geometry that regards spacetime symmetry groups as more fundamental than spacetime itself. [/quote] Heh, well in ancient history (when s.p.r. was a great place and you were a moderator) you once rejected a post of mine in which I suggested that spacetime itself is not fundamental. I'm glad to see you've (apparently?) changed your mind. :biggrin:

A small quibble about 1 point in your article:

[quote]if one computes, […] the irreducible unitary representations of the Poincaré group, then one finds that these are labeled by exactly the quantum numbers of elementary particles seen in experiment, mass and spin, and helicity for massless particles.[/quote] IIUC, the word "

exactly" is not correct for massless particles — one must manually impose a constraint that the representation should be trivial wrt the continuous spin degrees of freedom (i.e., the 2 translation-like generators in the E(2) little group for massless representations). Weinberg vol 1 covers this.Separately, I have a question about Klein/Cartan geometry. Are there already any extensions of that framework for the case where G/H is a semigroup? I'm thinking here about how one might embed temporal casuality into physical theories in a more fundamental way, rather than being imposed by hand as is currently the case in GR and QFT.

Cheers.

Regarding the ancient history: I don't remember the contribution you are referring to, maybe you could remind me.Regarding the quibble: True, I have swept some technical fine print under the rug, in order to keep the discussion informal. Also, either way this fine print does not affect the point of the article.Regarding Cartan geometry for semigroups: I haven't seen this discussed anywhere. It seems plausible that one could generalize the definition to that case in a fairly straightforward way, but I haven't seen it considered.

[QUOTE="Urs Schreiber, post: 5548364, member: 567385"]Regarding the ancient history: I don't remember the contribution you are referring to, maybe you could remind me.[/quote] Oh, I didn't keep a copy. At the time, it was all too hard to convince anyone that symmetries are more fundamental than spacetime. Nowadays, it's a more widely respectable point of view.

I have another question about your article. You talk about

[quote=Urs Schreiber]The case of interest to us here is that of tensor categories which are ##{mathbb C}##-linear, hence where the spaces of particle interaction vertices are complex vector spaces.[/QUOTE] What precisely do you mean by "

"? In the context of ordinary QFT, I imagine tensoring together the Fock spaces of the various elementary fields so that (e.g., in QED) one can express interaction Hamiltonian terms like ##bar psi A^mu psi##. But such Fock-like spaces are known to be incapable of accommodating nontrivial interacting QFTs (according to Haag's thm, etc).spaces of particle interaction verticesBut perhaps you mean something else?

Technically what I mean are the spaces of "intetwiners" between representations. In physics these are the possible spaces of interaction vertices.For instance the space of interaction vertices for two spinors merging to become a vector boson include the linear maps which in components are given by the Gamma-matrices, as familiar from QCD. But there is an arbitrary prefactor in front of the Gamma-matrix, the "coupling constant", and hence the space of interaction vertices is in fact a vector space.

Nice article!

[QUOTE="strangerep, post: 5548310, member: 70760"]Heh, well, in ancient history (when s.p.r. was a great place and you were a moderator) you once rejected a post of mine because I suggested that spacetime itself is not fundamental. I'm glad to see you've (apparently?) changed your mind. :biggrin:

A small quibble about 1 point in your article:

IIUC, the word "

exactly" is not correct for massless particles — one must manually impose a constraint that the representation should be trivial wrt the continuous spin degrees of freedom (i.e., the 2 translation-like generators in the E(2) little group for massless representations). Weinberg vol 1 covers this.Separately, I have a question about Klein/Cartan geometry. Are there already any extensions of that framework for the case where G/H is a semigroup? I'm thinking here about how one might embed temporal casuality into physical theories in a more fundamental way, rather than being imposed by hand as is currently the case in GR and QFT.

Cheers.[/QUOTE]

s.p.r? is that a usenet group?

The formatting here in the comment section tends to come out differently from what the people editing a comment expect. I think in the message by "Mathematical Physicist" above in fact everything except the last line is meant as a blockquote from a previous comment, the only line that "Mathematical Physicist" meant to add is"s.p.r? is that a usenet group?"to which the answer is: Yes. it is short for "sci.physics.research". Nowadays it exists as a GoogleGroup https://groups.google.com/forum/#!forum/sci.physics.research .

[QUOTE="MathematicalPhysicist, post: 5548403, member: 72"]s.p.r? is that a usenet group?[/QUOTE] sci.physics.research

[QUOTE="strangerep, post: 5548426, member: 70760"]sci.physics.research[/QUOTE]

Are researchers in physics still using these usenet groups?

I think that nowadays with stackexchange and PF that why would anyone still use those primitive forums.

I know that they still exist.

Suppose that the Standard Model, as we know it, is the final theory of "everything". Since it is not supersymmetric, it must violate some assumptions of the Deligne's theorem. My question is: what these assumptions (violated by the Standard Model) are?

No, the entry comments on this point in the paragraph starting with the sentence:"Notice here that a super-group is understood to be a group that _may_ contain odd-graded components." But it need not.A super-group is a group in super-geometry. It's underlying space may have add-graded coordinates, but it need not. In this terminology, an ordinary group is also a super-group, just one where the super-odd piece happens to be trivial.It's all explained in the article, but since you missed it, I'll say it again: the theorem of course does not say that ordinary groups are ruled out, that would clearly be wrong. Instead the force of the theorem is to say that the largest class of admissible groups is that of super-groups (i.e. ordinary and possibly super groups), instead of, say, the even larger class of non-commutative groups or what not.

[QUOTE="Demystifier, post: 5548488, member: 61953"]Suppose that the Standard Model, as we know it, is the final theory of "everything". Since it is not supersymmetric, it must violate some assumptions of the Deligne's theorem. My question is: what these assumptions (violated by the Standard Model) are?[/QUOTE]

How can this possibly be if it doesn't include gravity? (do you refer to SM of particle physics?).