Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeJan 12th 2017
   • (edited Jan 12th 2017)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI am working on the next chapter in _[[geometry of physics]]_: * _[[geometry of physics -- fundamental super p-branes]]_. This is not done yet, but it should already be readable. To some extent I am taking the talk notes _[[schreiber:Super Lie n-algebra of Super p-branes]]_ and expand them into fully fledged lecture notes. Since I am editing in a separate window, at this point I ask that everyone who feels like touching this page, even if it just concerns tiny changes (typos) to please alert me.

   I am working on the next chapter in geometry of physics:

   • geometry of physics – fundamental super p-branes.

   This is not done yet, but it should already be readable. To some extent I am taking the talk notes Super Lie n-algebra of Super p-branes (schreiber) and expand them into fully fledged lecture notes.

   Since I am editing in a separate window, at this point I ask that everyone who feels like touching this page, even if it just concerns tiny changes (typos) to please alert me.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeJan 26th 2017
   • PermaLink
   Author: Urs
   Format: MarkdownItexI am now working on polishing the next section "[5. Branes](https://ncatlab.org/nlab/show/geometry+of+physics+--+fundamental+super+p-branes#Branes)". There is a fair bit of more material already in the entry, but it still needs more streamlining and harmonization.

   I am now working on polishing the next section “5. Branes”.

   There is a fair bit of more material already in the entry, but it still needs more streamlining and harmonization.

3. • CommentRowNumber3.
   • CommentAuthorDavid_Corfield
   • CommentTimeJan 27th 2017
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexWith half an eye out for processes, like the brane bouquet, that iterate a procedure until they end in the exceptional, I see there's [something](http://mathoverflow.net/a/93459/447) of this idea in sporadic simple groups: >the main induction step of the classification theorem was, that the centralizer of an involution of a simple group (an order-2-element/involution is the "only" thing we have "a-priori" in an arbitrary simple group by Feit-Thomson) is close (!) to simple there is the chance of sporadic group branching off from a Lie-Type or alternating group and inductively proceed for some steps until it terminates. Pariahs are generated, along with 'roughly' $M\leftarrow Co_1 \leftarrow M_{24}\leftarrow SL_3(4)$.

   With half an eye out for processes, like the brane bouquet, that iterate a procedure until they end in the exceptional, I see there’s something of this idea in sporadic simple groups:

   the main induction step of the classification theorem was, that the centralizer of an involution of a simple group (an order-2-element/involution is the “only” thing we have “a-priori” in an arbitrary simple group by Feit-Thomson) is close (!) to simple there is the chance of sporadic group branching off from a Lie-Type or alternating group and inductively proceed for some steps until it terminates.

   Pariahs are generated, along with ’roughly’

   $!A = \sum_{E: V} (E \to A}M\leftarrow Co_1 \leftarrow M_{24}\leftarrow SL_3(4)$.

4. • CommentRowNumber4.
   • CommentAuthorDavidRoberts
   • CommentTimeJan 27th 2017
   • (edited Jan 27th 2017)
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexThat the sporadics fall into two connected families (the Happy Family and the Pariahs) of subquotients is something incredibly interesting. Essentially one takes an extension of a smaller sporadic, then realises that extension of a (non-normal) subgroup of what turns out to be another sporadic. Though, from the cases I've ever looked at, sometimes one starts with the extension (arising naturally in some way, say as an automorphism group) and quotient down to the sporadic, then also embed the extension. I wonder if there is a 'maximally invariant cocycle' things going on.

   That the sporadics fall into two connected families (the Happy Family and the Pariahs) of subquotients is something incredibly interesting. Essentially one takes an extension of a smaller sporadic, then realises that extension of a (non-normal) subgroup of what turns out to be another sporadic. Though, from the cases I’ve ever looked at, sometimes one starts with the extension (arising naturally in some way, say as an automorphism group) and quotient down to the sporadic, then also embed the extension. I wonder if there is a ’maximally invariant cocycle’ things going on.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeJan 27th 2017
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks for the hint! This indeed sounds interesting. I should try to find time to look into this.

   Thanks for the hint! This indeed sounds interesting. I should try to find time to look into this.

6. • CommentRowNumber6.
   • CommentAuthorDavid_Corfield
   • CommentTimeJan 28th 2017
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexThere's a unique central extension of the [[binary Golay code]] which it is said gives rise to a construction of the monster.

   There’s a unique central extension of the binary Golay code which it is said gives rise to a construction of the monster.

7. • CommentRowNumber7.
   • CommentAuthorDavidRoberts
   • CommentTimeJan 28th 2017
   • (edited Jan 28th 2017)
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexAh, but not an extension as a group, but as a symmetric 2-group. [Conway](https://dx.doi.org/10.1007%2FBF01388521) only uses the Moufang loop structure on the objects of that 2-group, and really only to define a certain subgroup of the automorphisms of that loop. The structure of the Golay code as it relates to the Hamming code (see: $24 = 8\times 3$, and the construction [here](https://ncatlab.org/nlab/show/binary%20linear%20code#examples)). I really should write up the fact about that 2-group extension. I'd been hoping to get a student to work on it, but that would be at least a year away in my present case, if it all. The most interesting thing would be the automorphism 2-group of this symmetric 2-group and how it relates to the construction of the monster...

   Ah, but not an extension as a group, but as a symmetric 2-group. Conway only uses the Moufang loop structure on the objects of that 2-group, and really only to define a certain subgroup of the automorphisms of that loop. The structure of the Golay code as it relates to the Hamming code (see: $24 = 8\times 3$, and the construction here).

   I really should write up the fact about that 2-group extension. I’d been hoping to get a student to work on it, but that would be at least a year away in my present case, if it all.

   The most interesting thing would be the automorphism 2-group of this symmetric 2-group and how it relates to the construction of the monster…

8. • CommentRowNumber8.
   • CommentAuthorDavid_Corfield
   • CommentTimeJan 29th 2017
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexGiven the context of this discussion - extensions to higher super Lie algebras, an extension to a higher group would seem quite appropriate.

   Given the context of this discussion - extensions to higher super Lie algebras, an extension to a higher group would seem quite appropriate.