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 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 sheaves 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
    • CommentTimeMay 26th 2010

    Todd had created subdivision.

    I interlinked that with the entry Kan fibrant replacement, where the subdivision nerveFacenerve \circ Face appears.

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeNov 1st 2010

    The topic has resurfaced in the ’topological stubs’ thread. I made the following comments:

    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.


    and then:

    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.


    Has anyone any comments on this. At present we are saying that subdivision is functorial and that is not the usual meaning of it (see Spanier for instance), but (and this is why I am not just going in an changing things) somehow subdivision should not be dependent on geometric realisation either and that is how it comes across if one goes to the classical form.

    This all started because of triangulations and there is the nice result that the nerves of open covers of triangulable spaces are cofinally the same as the simplicial complexes of triangulations (or some statement along those lines). Does anyone see how to give a definition of subdivision so that (i) the classical form is a consequence and (ii) the functorial forms are instances of it? (I don’t know of one but ….)

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeDec 16th 2010

    I think something is wrong with subdivision. I can’t believe that a correct description of the subdivision functor on simplicial sets only needs to know whether one nondegenerate simplex is a face of another one, rather than in what way(s) it is so. Also, taking the nondegenerate simplices of a simplicial set is not a functor, since a simplicial map can take nondegenerate simplices to degenerate ones.

    • CommentRowNumber4.
    • CommentAuthorTim_Porter
    • CommentTimeDec 16th 2010

    I think you are right. I have not got a source to cross check with. Something along those lines is near the end of the Curtis article which I have somewhere!!!!! I would guess that the ’non-degenerate’ should be removed. Your other comment needs thinking about. The poset of faces of a simplex does not have the problem you mention. If we translate that over to a general simplicial set, (? Kan extension?) then it should work. My thought is that subdividing the models should induce the functor on everything. I do not particularly like the entry’s treatment of barycentric subdivision as I tend towards a more geometric picture, but could live with this one (if it was corrected).

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeDec 16th 2010

    The definition I’ve seen elsewhere (e.g. Goerss-Jardine) goes as you say, by first defining the subdivision of simplices as the nerve of its poset of simplices and face inclusions, then Kan extending to give a cocontinuous endofunctor of SSet.

    The reason I came to look at subdivision is that I had another question to ask: what is the relationship between sdXsd X, for a simplicial set X, and the opposite of the nerve of its category of simplices? They look very similar to me (though not quite identical).

    • CommentRowNumber6.
    • CommentAuthorTim_Porter
    • CommentTimeDec 16th 2010

    You say not quite identical which suggests you have some ’easyish’ example in which they diverge.

    (Somewhere I had a copy of Dana May Latch and Rudolf Fritsch on homotopy inverse for nerve. It may be worth checking online: One moment please.:-) Here it is Homotopy inverses for nerve Rudolf Fritsch and Dana May Latch Source: Bull. Amer. Math. Soc. (N.S.) Volume 1, Number 1 (1979), 258-262. )

    That was well received at the time and they wrote with Bob Thomason shortly afterwards on a related subject.

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeDec 16th 2010

    Well, if X is the terminal simplicial set Δ 0\Delta^0, then its subdivision is itself, whereas its category of simplices is the chaotic category on \mathbb{N}.

    • CommentRowNumber8.
    • CommentAuthorTim_Porter
    • CommentTimeDec 16th 2010

    I like that :-) Nice example.

    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeDec 16th 2010

    But of course in that example, the two are equivalent categories. And moreover they become isomorphic (in that example) if, in the category of simplices, we quotient making all degeneracy morphisms into identities. (I think this seemingly violent operation should always produce an equivalent category, since every degeneracy morphism in a category of simplices is an isomorphism between distinct objects. I just said it that way instead of “take the nondegenerate simplices” because that makes it look functorial.)

    Are there examples in which that procedure doesn’t make the two isomorphic? In particular, there are presumably simplicial sets whose subdivision is not the nerve of a category, or I would have heard about it, right?

    • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeDec 16th 2010

    Oops I should know better than that. The category of simplices of Δ 0\Delta^0 is Δ\Delta, the simplex category. So maybe they are not that similar after all…

    • CommentRowNumber11.
    • CommentAuthorTim_Porter
    • CommentTimeDec 16th 2010

    Off the top of my head, etc. I cannot think of one as all the ones I think up are really simplicial complexes and they clearly won’t work! The circle does not work if my scribbles were correct.

    • CommentRowNumber12.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 16th 2010

    It was I who fucked up (excuse the language, but it seems to be appropriate) at subdivision, and I’ve even known this for some time, but hadn’t decided on how I wanted to fix it. The weird thing to me is that the composite which goes from simplicial complexes to posets and then back to simplicial complexes does seem to be subdivision (right?), and I thought at the time I was doing something similar starting at simplicial sets. Please feel free to dive in and fix the effin’ thing.

    • CommentRowNumber13.
    • CommentAuthorMike Shulman
    • CommentTimeDec 16th 2010

    Don’t be too hard on yourself, Todd! I’m not very familiar with simplicial complexes, but it does look like the composite on that side is subdivision. And your functor “nerve” factors through “Flag” via the inclusion of simplicial complexes into simplicial sets, right?

    • CommentRowNumber14.
    • CommentAuthorTim_Porter
    • CommentTimeDec 16th 2010

    There must be something slightly subtle here and it may pay to tease it out. The idea that seems to be way back in Kan’s earliest papers and possibly then in Barratt, is to do it on the models and extend. The models are simplicial complexes!! The subdivision functor on sSet is the Kan extension of that so perhaps what you wrote was not THAT far from what is the case. My feeling in handling simplicial sets is that the non-degenerate simplices are the generators (of course) so they tell everything else where to go! But generators are tricky since although somehow atomic they can easily be mapped to non-atomic stuff. Hence this problem.

    I suffer from not having access to the old papers (and I mean 1950s) and my copy of Curtis (an original! :-)) is astray somewhere in the 8 piles of box files and assorted papers over in the corner of our dining room behind me.. lot of good it does there but each time I have taken it but I loose it for 18 months, so that is not much better. If someone can find Curtis he has a nice discussion of barycentric subdivision for simplicial sets. I would suggest using a fairly simple starting point and then working up to a description on the line that is there at the moment.

    • CommentRowNumber15.
    • CommentAuthorMike Shulman
    • CommentTimeDec 17th 2010

    I made an attempt at correcting subdivision; the description for simplicial sets is kind of sketchy but I don’t have time to add details.

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeApr 4th 2012

    Coming back to my question in #5, HTT 4.2.3.15 claims that the nerve of the category of nondegenerate simplices is the same as the barycentric subdivision. This seems intuitively likely. It’s easy to identify the two functors acting on standard simplices, so the obvious thing to do is to show that the “nerve of the category of nondegenerate simplices” is a colimit-preserving functor. But I can’t quite see how to show this; I think I see why the “nerve of the category of simplices” is colimit-preserving (I wrote it out at category of simplices), but why does this extend to the subcategory of nondegenerate simplices? Ideas, anyone?

    • CommentRowNumber17.
    • CommentAuthorTim_Porter
    • CommentTimeOct 7th 2012

    GRIPE: Looking back at subdivision, there is a case for saying that subdivision is much more general that this. Classically (and sometimes very usefully) one wants to consider constructions that are subdivisions but are not the barycentric one. There is a sop to this in the last paragraph but since subdivision further up the page is generalised barycentric subdivision only, and seems always to be used with ’the’ (the subdivision functor) it is odd to refer to other subdivisions when apparently only the barycentric one is considered legitimate!

    • CommentRowNumber18.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 7th 2012

    Tim, I encourage you to do some rewriting in that case. I think you could add in the Idea section that there are several different kinds of subdivision, and then insert the word ’barycentric’ where the first definition is given (and elsewhere, where appropriate), and then perhaps define other notions of subdivision below it. This would certainly improve the page!

    • CommentRowNumber19.
    • CommentAuthorTim_Porter
    • CommentTimeOct 7th 2012

    I have made a minor start!

    • CommentRowNumber20.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 7th 2012

    Great! Hope to see more.

    • CommentRowNumber21.
    • CommentAuthorKarol Szumiło
    • CommentTimeOct 8th 2012
    • (edited Oct 8th 2012)

    Mike, in response to #16, I don’t see HTT 4.2.3.15 mentioning the barycentric subdivision. Anyway, the claim that barycentric subdivision is the same as the nerve of the category of non-degenerate simplices sounds fishy to me. For example take XX to be a simplicial set generated by one 2-simplex with one of its 1-faces collapsed. If I’m not mistaken the nerve of the category of non-degenerate simplices of XX has 4 non-degenerate 2-simplices while SdX\mathrm{Sd} X has 6 (just like SdΔ[2]\mathrm{Sd} \Delta[2]).

    EDIT: A more fundamental problem is that “the nerve of the category of non-degenerate simplices” doesn’t seem to be a functor in any obvious way.

    • CommentRowNumber22.
    • CommentAuthorMike Shulman
    • CommentTimeOct 10th 2012

    @Karol: a good point. That would be 4.2.3.15 of the most recent arXiv version of HTT that I was looking at, which is apparently now 4 years out of date.

    • CommentRowNumber23.
    • CommentAuthorKarol Szumiło
    • CommentTimeOct 10th 2012

    I see, I guess that’s why this remark didn’t make it to the final version.

    • CommentRowNumber24.
    • CommentAuthorMike Shulman
    • CommentTimeOct 10th 2012

    I don’t think there is such a thing as a “final version” of HTT. At one point, at least, I thought that the arXiv v4 was newer than the physically published version, even though the official publication date is later. But although Lurie has apparently declined to continue updating the arXiv version, he shows no sign of ceasing to update the version on his own web site.

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeFeb 4th 2013

    Added a paragraph Properties - Relation to the category of simplices and a pointer to Thomason’s article where this is discussed.

    • CommentRowNumber26.
    • CommentAuthorGuest
    • CommentTimeMay 5th 2020
    In Section 2 we have the following paragraph.

    Let α :X:X→Sd(X) be a morphism of simplicial complexes that sends a vertex v of X to the vertex {v} of Sd(X). Then |f|:|X|→≅|Sd(X)| is an isomorphism, where |−| is the usual geometric realization of simplicial complexes. In terms of categories, α is a natural transformation from the identity to the endofunctor Sd whose geometric realization is a natural isomorphism.

    I'm pretty sure that this paragraph is wrong, and the map is \alpha is in the wrong direction, see for example Jardin's paper in the references. It should be the obvious inclusion map. As a humble masters student I don't feel qualified to correct it, but thought that I should point it out.
    • CommentRowNumber27.
    • CommentAuthorTim_Porter
    • CommentTimeMay 5th 2020
    • (edited May 6th 2020)

    @Guest: Have a look at an example say the unit interval I with vertices 0 and 1 and simplices {0},{1},{0,1}. Now model Sd(I) and compare it with I in the way you have tried to do. What is your obvious inclusion map. You can try mapping vertices in Sd(I) to vertices in I, but where do you send the midpoint of the subdivided interval, as neither of the choices will give an isomorphism on realisation.

    Edit: On the other hand, I do think that something is wrong here or at least unclear, as I do not see how you can have a morphism of simplicial complexes as described by the specification of α\alpha. It is possible to define a map from |X||X| to |Sd(X)||Sd(X)| by specifying it on the vertices and extending ‘linearly’ but not as described. Simplicial complexes are quite subtle!!

    • CommentRowNumber28.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 21st 2021

    Updated link to Jardine’s article from a Swiss ftp site to the proper TAC page

    diff, v20, current

    • CommentRowNumber29.
    • CommentAuthorncfavier
    • CommentTimeSep 21st 2024

    I agree that the paragraph is wrong, so I’ve removed any mention of α X\alpha_X. I believe the map of simplicial complexes that induces an isomorphism of geometric realisations should be the last vertex map Sd(X)XSd(X) \to X, but I am finding the literature quite hard to navigate so I’ll leave it up to someone more experienced with these things to elaborate.

    diff, v21, current