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 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 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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure 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
    • CommentTimeOct 27th 2010

    I tried to brush-up Warsaw circle and in the process created a bunch of simple stubs:

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeOct 27th 2010
    • (edited Oct 27th 2010)

    I liked the reworking of the Warsaw circle. For polyhedron, the term is also used for a space which has a triangulation, i.e. the geometric realisation of a simplicial complex. (cf. Spanier p.113) I think the definition of triangulation is non-standard. I do not know of a special term for a space together with a homeomorphism to the realisation of a simplicial set. The classical notion of triangulation has simplicial complex. (From my point of view, the wikipedia entry is c**p.)

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 27th 2010

    I liked the reworking of the Warsaw circle.

    Okay, good.

    For polyhedron, the term is also used […]

    Please put that into the entry somewhere.

    • CommentRowNumber4.
    • CommentAuthorTim_Porter
    • CommentTimeOct 27th 2010
    • (edited Oct 27th 2010)

    I would suggest, in fact that cubulation be given a separate entry as it is important in its own right, and at present is sitting on the page labelled triangulation. I am not sure (i) how best to do this technically, and (ii) how to handle the comparison at the bottom ot the current entry.

    There is a hanging completion wish on the simplicial complex page which is relevant to this! (Possibly from Todd?)

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 27th 2010

    If it’s the query about PL structures, then yes, that was me.

    Since I wrote up a lot on that cubulation page, I’ll see if I can get it separated out in a smooth way.

    • CommentRowNumber6.
    • CommentAuthorTim_Porter
    • CommentTimeOct 27th 2010

    Thanks.

    I would love to have more on PL stuff. Any ideas. I have some stuff in later chapters of the Menagerie that provides ideas on PL-microbundles but not on the basic stuff which is needed first. :-(

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 28th 2010
    • (edited Oct 28th 2010)

    I have now completed the assembly of cubulation as a separate entry, and did a little reworking of it.

    Regarding the standard meaning of triangulation as involving simplicial complexes, not simplicial sets: agreed. I’m not sure of the best way to “fix” this, but I’m inclined not to worry too much since I believe a space is (classically) triangulable if and only if it is homeomorphic to the geometric realization of a simplicial set. (Sketch of proof by Peter May, seen on the categories list recently: the subdivision of a simplicial set is a regular simplicial set, the geometric realization of a regular simplicial set is a regular CW complex, a regular CW complex is triangulable. The other direction is I think easier: the subdivision of a simplicial complex gives an ordered simplicial complex which can be turned into a simplicial set, and the realizations of the subdivision and the simplicial set match.)

    Which brings up another discussion: at subdivision I sketched out some cross-relations between simplicial complexes, posets, and simplicial sets, and made a claim that various functors all wind up in the same place in TopTop. But I didn’t properly check that it all works as asserted. Presumably the answer can be sorted out with a close reading of Fritsch and Piccinini, Cellular Structures in Topology, but I don’t have that book here and Google Books doesn’t give me enough of a view to tell.

    • CommentRowNumber8.
    • CommentAuthorTim_Porter
    • CommentTimeOct 28th 2010

    I think the result is in the old paper by Curtis and he gave a reference, (memory here) possibly to the Moore seminar or Cartan seminars from a few years earlier. It is probably in the book by R. Piccinini and R. Fritsch as you said.

    • CommentRowNumber9.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 28th 2010

    Thanks, Tim. My main worry now is whether the claims at the page subdivision are correct, or if not how to fix them.

    • CommentRowNumber10.
    • CommentAuthorTim_Porter
    • CommentTimeOct 28th 2010

    Looking at that page I think it may be worth being a bit more ’expansive’ and putting in a simple example e.g. the subdivision of Δ 2\Delta^2, giving the poset etc. and then showing what the nerve looks like. I would use the term barycentric subdivision as well and briefly about subdivisions in simplicial complexes. (This list is for me to do unless you feel like doing bits of it.) I will try and go through the proof later.

    There are other subdivisions as well and these might be mentioned.

    • CommentRowNumber11.
    • CommentAuthorTim_Porter
    • CommentTimeNov 1st 2010
    • (edited Nov 1st 2010)

    I forgot to mention ordinal subdivision. This is a neat and useful version that is related geometric edgewise subdivision. This was studied by my student Phil Ehlers and a version was written up by me based on his work but extended.

    P.J.Ehlers and T. Porter Ordinal subdivision and special pasting in quasicategories, Advances in Math. 217 (2007), No 2. pp 489-518, doi:10.1016/j.aim.2007.05.023 (Preprint available as 05.03 on Bangor preprint server)

    NB. Not all subdivisions are functorial and in TQFTs one has to use the more ’archaic’ geometric definition.