In order to formalize some physics, I am looking for a suitable mathematical concept. It looks like the putative concept ought to be something like “pro-finite $\mathfrak{su}(2)$-representations”, but I am not sure yet. And once I am sure, I’ll be wondering if there is any decent established theory for such things.

The following is the motivation (taken from here):

**Motivation**

There is the remarkable observation (MSJVR 02, checked in AIST 17) that in the BMN matrix model supersymmetric M2-M5-brane bound states are identified with “limit sequences” of isomorphism classes of finite-dimensional complex Lie algebra representations of su(2).

Concretely, if

$\mathbf{N}( \{N^{(M2)}_i,N^{(M5)}_i\}_i ) \;\;\coloneqq\;\; \underset{ i }{\oplus} N^{(M2)}_i \cdot \rho_{N^{(M5)}_i} \;\;\in\;\; \mathfrak{su}(2)Rep^{fin}$denotes the representation containing

- $N^{(M2)}_i$ direct summands

of the

- $N^{(M5)}_i$-dimensional irrep

(for $\{N^{(M2)}_i, N^{(M5)}_i\}_{i} \in (\mathbb{N} \times \mathbb{N})^I$ some finitely indexed set of pairs of natural numbers)

with total dimension

$N \;\coloneqq\; dim\big( \mathbf{N}( \{N^{(M2)}_i,N^{(M5)}_i\}_i ) \big)$then:

an M5-brane configuration corresponds to a sequence of such representations for which

$N^{(M2)}_i \to \infty$

for fixed $N^{(M5)}_i$

and fixed ratios $N^{(M2)}_i/N$

an M2-brane configuration corresponds to a sequence of such representations for which

$N^{(M5)}_i \to \infty$

for fixed $N^{(M2)}_i$

and fixed ratios $N^{(M5)}_i/N$

for all $i \in I$.

Hence, by extension, any other sequence of finite-dimensional $\mathfrak{su}(2)$-representations is a kind of mixture of these two cases, interpreted as an M2-M5 brane bound state of sorts.

$\,$

**Question.** I’d like to extract a precise definition of “M2-M5 brane bound state” from the above. It must subsume suitable limits of finite-dimensional $\mathfrak{su}(2)$-representation as above. But taken where? And identified how?

Is “profinite $\mathfrak{su}(2)$-reps” a thing in representation theory? (i.e. pro-objects in the category of finite-dimensional representations.) Or maybe ind-objects instead? Or something else?

]]>I should say – for those watching the logs and wondering – that I started editing the entry *global equivariant homotopy theory* such as to reflect Charles Rezk’s account in a coherent way.

But I am not done yet. The entry has now some of the key basics, but is still missing the general statement in its relation to orbispaces. Also some harmonizing of the whole entry may be necessary now, as I moved around some stuff.

So better don’t look at it yet. I hope to bring it into shape tomorrow or so.

(In the process I have split off *global orbit category* now.)

added to *S-matrix* a useful historical comment by Ron Maimon (see there for citation)

have noted down the basic properties of the irreducible representations of the Lorentzian spin group, at *spin representation – Properties*.

I have created a minimum at *global family* (a suitable family of groups in the sense of global equivariant homotopy theory).

Hm, the set of finite subgroups of $SO(3)$ or of $SU(2)$. Is that a global family? I.e. is it closed under quotient groups by normal subgroups?

]]>I am slowly creating a bunch of entries on basic concepts of equivariant stable homotopy theory, such as

- equivariant suspension spectrum, equivariant sphere spectrum, equivariant homotopy groups, RO(G)-grading, fixed point spectrum, tom Dieck splitting

At the moment I am mostly just indexing Stefan Schwede’s

]]>started *Elmendorf’s theorem* with a brief statement of the theorem

added to *equivariant K-theory* comments on the relation to the operator K-theory of crossed product algebras and to the ordinary K-theory of homotopy quotient spaces (Borel constructions). Also added a bunch of references.

(Also finally added references to Green and Julg at *Green-Julg theorem*).

This all deserves to be prettified further, but I have to quit now.

]]>added hyperlinks to the text at *induced representation*. Made sure that it is cross-linked with *Frobenius reciprocity*.

gave *representation theory* a little Idea-section, then added some words on its incarnation as homotopy type theory in context/in the slice over $\mathbf{B}G$ and added the following *homotopy type representation theory – table*, which I am also including in other relevant entries:

homotopy type theory | representation theory |
---|---|

pointed connected context $\mathbf{B}G$ | ∞-group $G$ |

dependent type | ∞-action/∞-representation |

dependent sum along $\mathbf{B}G \to \ast$ | coinvariants/homotopy quotient |

context extension along $\mathbf{B}G \to \ast$ | trivial representation |

dependent product along $\mathbf{B}G \to \ast$ | homotopy invariants/∞-group cohomology |

dependent sum along $\mathbf{B}G \to \mathbf{B}H$ | induced representation |

context extension along $\mathbf{B}G \to \mathbf{B}H$ | |

dependent product along $\mathbf{B}G \to \mathbf{B}H$ | coinduced representation |

wrote an entry *Deligne’s theorem on tensor categories* on the statement that every regular tensor category is equivalent to representations of a supergroup. Added brief paragraphs pointing to this to *superalgebra* and *supersymmetry*, added cross-links to *Tannaka duality*, *Doplicher-Roberts reconstruction* etc. Also created a disambiguation page *Deligne’s theorem*

started an entry *global equivariant stable homotopy theory* with an Idea-section and some references.

I have also created a brief entry for the unstable version: *global equivariant homotopy theory*.

For anyone who wants to edit and wondering where to add what, let me just highlight that there is the following collection of existing entries (some of them with genuine content, some mostly stubby)

homotopy theory | stable homotopy theory |
---|---|

equivariant homotopy theory | equivariant stable homotopy theory |

global equivariant homotopy theory | global equivariant stable homotopy theory |

stub for *Atiyah-Segal completion theorem*, for the moment just to record a reference

added to *group character* brief remarks on

added to *quiver* a very brief remark on the *Gabriel classification theorem*

started something at *ADE classification*, but am out of steam (and time) now.

I am touching various entries related to equivariant stable homotopy theory, adding basics from the literature. For instance I briefly added to *G-spectrum* the basic definition via indexing on a universe, and added the statement of the equivariant stable Whitehead theorem, cross-linked with the relevant bits at *equivariant homotopy theory*, etc. I have also been expanding a little more at *RO(G)-grading* and cross-linked more with old material at *equivariant cohomology*. Tried to make the link between RO(G)-grading and equivariant suspension isomorphism more explicit.

Just in case you are watching the logs and are wondering. I am not announcing every single edit, unless there is anything noteworthy.

]]>started *G-CW complex*.

Started a bare minimum at *cyclotomic spectrum*. So far it’s essentially just a pointer to the canonical reference by Blumberg-Mandell. (Thomas Nikolaus and Peter Scholze have a new foundation of the theory in preparation for which notes however are not public yet, also Clark Barwick has something in preparation, for which you may find notes by looking at his website and being clever in deducing hidden URLs, he says.)

For the moment the only fact that I have actually recorded in the entry is a fact that is trivial for anyone familiar with the theory,but which looks interesting from the point of view of the story at *Generalized cohomology of M2/M5-branes (schreiber)*: the global equivariant sphere spectrum for all the cyclic groups (all the A-type finite groups in the ADE classification…) carries canonical cyclotomic structure and as such is the tensor unit among cyclotomic spectra.

Apart from mentioning this, I have added brief cross-links with *topological cyclic homology*, *equivariant sphere spectrum*, *cyclic group* and maybe other entries.

just in order to be able to point to it, I created a stub for *vector representation*

added to *spectrum with G-action* brief paragraphs “Relation to genuine G-spectra”, and “relation to equivariant cohomology”.

Both would deserve to be expanded much more, but it’s a start.

]]>I started a bare minimum at *adinkra* and cross-linked with *dessins d’enfants*.

Adinkras were introduced as a graphical tool for classifying super multiplets. Later they were realized to also classify super Riemann surfaces in a way related to dessins d’enfants.

I don’t really know much about this yet. Started the entry to collect some first references. Hope to expand on it later.

]]>In the nLab article on the universal enveloping algebra, the section describing the Hopf algebra structure originally stated that “the coproduct $\Delta: U L \to U(L \coprod L)\cong U L\otimes UL$ is induced by the diagonal map $L \to L \coprod L$.”

I assume that this is a mistake, and I have since changed the coproduct $\coprod$ to a product $\times$. However, I don’t know a great deal about Hopf algebras, so please correct me if I’ve made a mistake here.

]]>quick entry *Haag–Lopuszanski–Sohnius theorem*

I started typing into *length of an object* when I felt that we had an entry on this already somewhere. Where?