Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeAug 30th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItexquick entry for _[[infinity-group extension]]_, just so that I can complete links at related entries.

   quick entry for infinity-group extension, just so that I can complete links at related entries.

2. • CommentRowNumber2.
   • CommentAuthorMatanP
   • CommentTimeAug 31st 2012
   • (edited Aug 31st 2012)
   • PermaLink
   Author: MatanP
   Format: MarkdownItexI don't have a good internet access in the near future but I wonder about the connection between the definition in the stub above and the following: An extension of $\infty$-group is a sequence $N\to G\to Q$ of $\infty$ groups and $\infty$ group maps such that $N\to G$ is $\infty$ normal and Q is the $\infty$ qoutient

   I don’t have a good internet access in the near future but I wonder about the connection between the definition in the stub above and the following:

   An extension of $\infty$-group is a sequence $N\to G\to Q$ of $\infty$ groups and $\infty$ group maps such that $N\to G$ is $\infty$ normal and Q is the $\infty$ qoutient

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeOct 1st 2012
   • (edited Oct 1st 2012)
   • PermaLink
   Author: Urs
   Format: MarkdownItexSorry for the slow reply. For some reason I see this only now. The answer is: it's equivalent. As indicated in the entry, this is discussed in _[[schreiber:Principal ∞-bundles -- theory, presentations and applications]]_.

   Sorry for the slow reply. For some reason I see this only now.

   The answer is: it’s equivalent.

   As indicated in the entry, this is discussed in Principal ∞-bundles – theory, presentations and applications (schreiber).

4. • CommentRowNumber4.
   • CommentAuthorDavid_Corfield
   • CommentTimeJun 15th 2020
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexI see there's a talk soon that will fit here. > David Jaz Myers, [Higher Schreier Theory](https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_conference_2020.html) > In a 1926 article, Otto Schreier gave a classification of all extensions of a group G by a (non-abelian) group K. This classification of extensions has come to be known as Schreier theory, and has been reformulated many times by many authors since. Just as central extensions by an abelian group are classified by group cohomology in degree 2, Schreier theory can be seen as an example of a classification by non-abelian group cohomology. > Higher Schreier theory concerns the classification of extensions of higher groups. Breen has generalized Schreier theory to sheaves of 2-groups. In this talk, we will give a proof of Schreier theory for oo-groups in homotopy type theory - and therefore for sheaves of ∞-groups by interpreting in various oo-toposes. Our main theorem is: Let G and K be ∞-groups. Then the type of extensions of G by K is equivalent to the type of actions of G on the delooping BK. > One can immediately see the resemblence of this formulation of higher Schreier theory to the classification of split extensions of G by K by the homomorphic actions of G on K. We can derive this classification, and some others, as an immediate corollary. > We will also discuss the notion of central extensions, and navigate some subtleties concerning the notion of centrality for higher groups. But we should link also to [[nonabelian group cohomology]].

   I see there’s a talk soon that will fit here.

   David Jaz Myers, Higher Schreier Theory

   In a 1926 article, Otto Schreier gave a classification of all extensions of a group G by a (non-abelian) group K. This classification of extensions has come to be known as Schreier theory, and has been reformulated many times by many authors since. Just as central extensions by an abelian group are classified by group cohomology in degree 2, Schreier theory can be seen as an example of a classification by non-abelian group cohomology.

   Higher Schreier theory concerns the classification of extensions of higher groups. Breen has generalized Schreier theory to sheaves of 2-groups. In this talk, we will give a proof of Schreier theory for oo-groups in homotopy type theory - and therefore for sheaves of ∞-groups by interpreting in various oo-toposes. Our main theorem is: Let G and K be ∞-groups. Then the type of extensions of G by K is equivalent to the type of actions of G on the delooping BK.

   One can immediately see the resemblence of this formulation of higher Schreier theory to the classification of split extensions of G by K by the homomorphic actions of G on K. We can derive this classification, and some others, as an immediate corollary.

   We will also discuss the notion of central extensions, and navigate some subtleties concerning the notion of centrality for higher groups.

   But we should link also to nonabelian group cohomology.

5. • CommentRowNumber5.
   • CommentAuthorDavid_Corfield
   • CommentTimeJun 19th 2020
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexSo this talk by Myers is available now. Time to compare with [[infinity-group extension]], [[higher central extension]] and [[center of an infinity group]].

   So this talk by Myers is available now. Time to compare with infinity-group extension, higher central extension and center of an infinity group.