Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

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 comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite 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 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

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2011
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMar 7th 2012

    I had reason to spell out at Barratt-Eccles operad the structure, as a simplicial operad, in full explicit detail. So I did.

    • CommentRowNumber3.
    • CommentAuthorTim_Porter
    • CommentTimeMar 7th 2012

    I corrected some spelling typos i.e. Barrat instead of Barratt. :-)

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMar 7th 2012
    • (edited Mar 7th 2012)

    Thanks. I did that pretty consistently, didn’t I?

    Since you introduced links to their names: what’s their full names? I can’t find them on Wikipedia, and I didn’t find their original article online (and even if I did, it may not contain their full names).

    • CommentRowNumber5.
    • CommentAuthorTim_Porter
    • CommentTimeMar 7th 2012

    Michael Barratt and Peter Eccles, but I have already added entries for them.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMar 7th 2012

    Thanks!

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeMar 7th 2012

    Tim, while we are at it: do you happen to know some link that we could supply in an entry on Chris Reedy (as in Reedy model category)?

    • CommentRowNumber8.
    • CommentAuthorTim_Porter
    • CommentTimeMar 7th 2012

    I cannot find one. There is a math genealogy page (http://genealogy.math.ndsu.nodak.edu/id.php?id=43120), which I think is him. There is a possible computer scientist with that name at WWU! but as I cannot recall meeting him I cannot tell if it is the same person.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeMar 7th 2012

    Thanks. That must be him. I created a page here.

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeMay 18th 2012
    • (edited May 18th 2012)

    What would be an explicit (as combinatorial as possible) description (in topological world) of the universal bundle of the symmetric group Σ n\Sigma_n, used for Barratt-Eccles operad ?

    I improved and added some references.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2012

    What would be an explicit (as combinatorial as possible) description (in topological world) of the universal bundle of the symmetric group Σ n\Sigma_n,

    How about this: let Σ n//Σ n\Sigma_n // \Sigma_n be the action groupoid of Σ n\Sigma_n acting on itself, and *//Σ n*// \Sigma_n that of its trivial action on the point. Write Σ n//Σ n*//Σ n\Sigma_n // \Sigma_n \to *//\Sigma_n for the canonical functor.

    A model for the universal Σ n\Sigma_n-bundle in topological spaces is the geometric realization of the nerve of this functor.

    • CommentRowNumber12.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 18th 2012

    Or could we embed Σ n\Sigma_n into GL nGL_n as permutation matrices and let it act on the infinite Stiefel manifold? I have no idea what the quotient will be, but the total space is ’quite combinatorial’ (Schubert cells and so forth)

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeMay 18th 2012
    • (edited May 18th 2012)

    Surely, Urs, this construction could lead eventually to a clean combinatorial description, but as it stands, it is just an abstract formulation valid for any discrete group in place of Σ n\Sigma_n. I really need a non-repeating bookkeeping of kk-cells, how they fit, and the action and then how these data fit when also nn grows (to fit various EΣ nE \Sigma_n). I need eventually to play with certain tensor product for algebras over EΣ *E \Sigma_*-operad, so I should calculate with cells appearing the nerves you mention. Probably somebody has written a clean combinatorial description somewhere, which could be directly used.

    P.S. the question is related to my attempt to undestand better the setup of Grisha’s technical problem pdf which is eventually motivated by some hard computations in algebraic K-theory; and where the data are conveniently expressed with this particular model of E E_\infty-operad.

    David: this model may be probably useful once I solve the main problem. Good idea.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2012

    I don’t understand. This seems to be the most explicit combinatorial description that one could hope for. Using this you can easily write down all cells at any degree explicitly on a small piece of paper.

    • CommentRowNumber15.
    • CommentAuthorzskoda
    • CommentTimeMay 18th 2012
    • (edited May 18th 2012)

    As I clearly stated, it is only as explicit as for any other finite group, i.e. just in terms of abstract elements of the original group and the equality (and in those terms counting depends on phenomena which should be tested element by element and is not determined a priori). Unless some extra genuine work is done with generators and relations we do not have more than that, and the latter is what I was asking for. You may be right that this indeed may as well be enough for my immediate purposes, but truly specific combinatorial description for the symmetric group must involve the generators, i.e. the elementary transpositions. This is important to determined which cells (and which results of boundary maps) are equal and which are not (word problem). In nerve description one has to do concatenations when calculating boundary maps (for instance). Now when you concatenate one has reordering phenomena reducing the length in terms of generators. If we do not do that than we do not distinguish different words and if we don’t we may count smaller connectedness for various subcomplexes. So one needs to have a unique description of any word and the only way I know this for symmetric group is the standard one with elementary transpositions as in the theory of Coxeter groups. People who compute the finite group cohomology (notoriously involved combinatorial task for given finite group), hence need classifying spaces, use such things in computations, so I thought there is some standard description prepared for that.