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
    • CommentTimeJul 10th 2018
    • (edited Jul 10th 2018)

    added detailed statement and proof (here) that 𝔸 1\mathbb{A}^1-homotopy localization over any site of 𝔸 n\mathbb{A}^ns is Grpd\infty Grpd. (Hence, in particular, that L 1SmoothGrpdGrpdL_{\mathbb{R}^1} Smooth\infty Grpd \simeq \infty Grpd)

    diff, v14, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2019

    there was no references here; have added now pointer to

    diff, v17, current

    • CommentRowNumber3.
    • CommentAuthorAli Caglayan
    • CommentTimeJan 7th 2019

    I think another popular example would be passing from the category of chain complexes to the derived category. The only reference I can think of off the top of my head is May and Ponto, where they talk about different model structures on chain complexes.

    The uses of derived categories in algebraic geometry (leaning toward representation theory) almost never talk about how and why you can localise a category. So I can’t think of any references relating to that particular use.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2019

    This entry is about “homotopy localization” in the sense of 𝔸 1\mathbb{A}^1-localization.

    (Maybe it’s not the best entry title. I think what happened is that orgininally there was an entry “𝔸 1\mathbb{A}^1-localization” which eventually became “motivic homotopy theory” and then I needed another entry to be able to point specifically to the general concept of localization at an interval object.)

    The general concept that you seem to be thinking of is in localization and localization of an (infinity,1)-category etc.

    • CommentRowNumber5.
    • CommentAuthorAli Caglayan
    • CommentTimeJan 7th 2019

    Ah ok that makes much more sense. The title is a bit confusing :>)

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2019
    • (edited Jan 7th 2019)

    Okay, I have added a disambiguation line at the beginning of the entry:

    This entry is about the specific notion of localization “at an object” (at an interval object) as in (but not exclusive to) motivic homotopy theory. For the general concept see instead at localization or localization of an (infinity,1)-category and related entries.

    diff, v18, current

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeJan 7th 2019

    Seems to me like the page should be renamed. “localization at at interval object”?

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJan 8th 2019

    Strictly speaking, the full term would be “localization at left-homotopy equivalences of a given (interval) object”, where I put “(interval)” in parenthesis, because for the definition of the maps being inverted, we don’t even need it to be equipped with an interval structure.

    Maybe one could try “II-homotopy localization”, which would reduce to ” “𝔸 1\mathbb{A}^1-homotopy localization” for I=𝔸 1I = \mathbb{A}^1.

    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeJan 8th 2019

    I don’t really like incorporating a particular notation, like II for the object, into the name of a page.

    From a HoTT perspective I would call this “internal nullification”. External nullification at an object II is localizing at the map I*I\to \ast, so that the local objects are the ones for which Map(*,Z)Map(I,Z)Map(\ast,Z) \to Map(I,Z) are equivalences, i.e. every map IZI\to Z is uniquely constant. Internal nullification expresses a similar statement in the internal type theory, hence the local objects are those for which the analogous map of internal hom-objects ZZ *Z IZ \cong Z^{\ast} \to Z^I is an equivalence. Using the internal-hom adjunction this is equivalent to being local in the usual sense for X×IXX\times I \to X for all objects XX.

    Internal nullifications are the prime examples of (idempotent monadic) modalities. Somehow I’m not sure I really noticed before that the basic objects of motivic homotopy theory are just the modal types for a modality on an (,1)(\infty,1)-topos.

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 8th 2019

    So it’s a variant of shape modality? The second example at homotopy localization should mention that, no?

  1. I second Mike’s suggestion of localisation at an interval object; even though not strictly correct in terms of describing which arrows are inverted, the effect in motivic homotopy theory is to make the interval contractible, so I think it sort of acquires the correct kind of meaning.

    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeJan 8th 2019

    Yes, it is indeed a very close variant of a shape modality! Just as in real-cohesive HoTT shape is nullification at the real numbers, in “motivic HoTT” shape is nullification at 𝔸 1\mathbb{A}^1. That’s really intriguing: for real-number cohesion we start by knowing the notion of “discrete homotopy type” and construct shape so as to reflect back into it, whereas in the motivic world we have to “invent” the corresponding notion of “discrete motivic homotopy type” as a corresponding nullification.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeJan 10th 2019

    If you don’t like “II-homotopy localization” I can offer “geometric homotopy localalization”.

    The word “nullification” seems a little inappropriate to me, a) since it alludes to abelian/stable structure (null, zero) and b) since we are not inverting just a single morphism I*I \to \ast, but all the projections X×IXX \times I \to X out of domains for left II-homotopies.

    But I don’t care too much about the entry title, feel free to rename the entry if you feel the need. Please just make sure to keep the current name as redirect.

    • CommentRowNumber14.
    • CommentAuthorMike Shulman
    • CommentTimeJan 10th 2019

    I don’t like “homotopy localization” (with or without prefix) because all localization (of this sort) is homotopy-theoretic; it’s not clear that the word is meant to refer specifically to “geometric homotopies”. What’s different here is that (1) we are inverting an object (in the form of a map I*I \to \ast) rather than a morphism and (2) we are inverting it “internally” in the sense that the map on internal hom-objects ZZ IZ \to Z^I is required to be an equivalence rather than just the external hom-spaces Map(*,Z)Map(I,Z)Map(\ast,Z) \to Map(I,Z). The word “nullification” has already been generalized to the unstable context, e.g. it appears in Hircshhorn’s book; and the “internal” perspective means that we don’t need to refer to projections X×IXX\times I \to X for arbitrary XX, that’s only necessary if we insist on talking about it as an external localization.

    Maybe something incorporating the word “shape”? Or perhaps “localization at geometric homotopies”?

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJan 10th 2019

    Or perhaps “localization at geometric homotopies”?

    That’s okay with me. I am surprised a little that you suggest that while rejecting the permutation “geometric homotopy localization”, but I am fine with it either way.

    The internal perspective is neat, but since that’s not what’s traditionally understood it seems a little too esoteric for the general name of the concept.

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeJan 10th 2019

    My problem with “geometric homotopy localization” is that I naturally parse it as “geometric (homotopy localization)”. Saying “localization at geometric homotopies” makes the associativity clear.

    • CommentRowNumber17.
    • CommentAuthorMike Shulman
    • CommentTimeJan 10th 2019

    Renamed page.

    diff, v19, current