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

Discussion Tag Cloud

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
    • CommentTimeNov 12th 2013

    I suppose we were lacking an entry on p-localization (?)

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeJun 23rd 2014

    The page p-localization implies that its definitions make sense for unstable spaces, but I’m unsure of that. The cited notes by Lurie are only about spectra. In the unstable case, usually (e.g. in May-Ponto) one defines a local object to be right orthogonal to pp-local equivalences rather than to pp-acyclic objects. In the stable case one can usually replace morphisms by objects (their cofibers), but not usually in the unstable case. Am I wrong?

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeJun 23rd 2014

    I’m also confused a bit by the rings appearing here. May-Ponto define TT-localization, for a set of primes TT, with reference to homology with coefficients in the ring T\mathbb{Z}_T of integers localized at TT, i.e. with primes not in TT inverted. In particular, pp-localization has to do with homology with (p)\mathbb{Z}_{(p)}-coefficients, where (p)\mathbb{Z}_{(p)} has all primes other than pp inverted. The ring /p=𝔽 p\mathbb{Z}/p\mathbb{Z} = \mathbb{F}_p appears only in the discussion of pp-completion.

    Lurie’s notes seem to be consistent with this, except that he refers to pp-completion as “/p\mathbb{Z}/p\mathbb{Z}-localization” (which makes sense from a general perspective, as long as we don’t confuse it with pp-localization, and indeed May-Ponto also do it when they get to model categories, e.g. Example 19.2.3).

    However, the pages p-localization and Bousfield localization of spectra don’t seem to match this. The definitions at the former seems to be about pp-completion, i.e. /p\mathbb{Z}/p\mathbb{Z}-localization, rather than what is classically called pp-localization (i.e. (p)\mathbb{Z}_{(p)}-localization). And the latter claims (in the section “pp-Localization”) that the local objects in this sense are those whose homotopy/homology groups are [1p]\mathbb{Z}[\frac{1}{p}]-modules, which doesn’t seem right to me for either definition. Am I confused?

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJun 24th 2014

    I suppose you are right. Should fix this. Need to remind myself when I am back online.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJun 24th 2014
    • (edited Jun 24th 2014)

    Okay, I have edited a good bit at p-localization in an attempt to correct and clarify. Have made explicit “localization away from pp” and “localization at pp” and highlighted how the former corresponds to /p\mathbb{Z}/p\mathbb{Z}-acyclicity, whose corresponding localization in turn is pp-completion.

    This deserves more work still, but I am out of time now. Please don’t hesitate to further edit as need be.

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeJun 25th 2014

    Thanks. I would be happy to do editing myself, but I’m still figuring these things out so I don’t feel too confident. Is the characterization of local objects in terms of homotopy groups still valid for unstable, non-nilpotent spaces?

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJun 25th 2014

    This is the original definition of local space. Eg def 2.1 in the 1970 MIT notes by Sullivan.

    I’d need to think to check how this harmonizes with Bousfield localization. Now changing trains, though…

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJun 25th 2014
    • (edited Jun 25th 2014)

    Am now at the airport and so briefly: the note with that def. 2.1 that I mean is

    • Dennis Sullivan, Localization, Periodicity and Galois Symmetry (The 1970 MIT notes) edited by Andrew Ranicki, K-Monographs in Mathematics, Dordrecht: Springer (pdf)
    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeJun 25th 2014

    Okay — but he only constructs a localization in the case of simple spaces (which also works for nilpotent ones). So that definition may not be very useful in the non-nilpotent case.

    • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeJun 25th 2014

    I tried to unify and focus the discussion at p-localization, and clarify the different behavior for spectra, nilpotent spaces, and general spaces and its relationship to completion. I also renamed it to localization of a space, since I thought that just “pp-localization” could equally well refer to the algebraic notion (localization of a commutative ring).

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJun 25th 2014

    Thanks!

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJul 18th 2014
    • (edited Jul 18th 2014)

    To come back to an old question that David Corfield used to ask:

    so the classical fracture theorem for suitable spectra XX asserts exact diagrams of the form

    X p X (X p ) G /p(X) X \array{ && && X_p^{\wedge} \\ && & \nearrow && \searrow \\ && X && && (X_p^\wedge)_{\mathbb{Q}} \\ & \nearrow & & \searrow && \nearrow \\ G_{\mathbb{Z}/p\mathbb{Z}}(X) && && X_{\mathbb{Q}} }

    where G ()G_{(-)} is the co-monadic acyclification functor as in e.g. Lurie 10, lecture 20.

    May this be completed to more of an exact hexagon?

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeJul 24th 2014

    I have edited at localization of a space a bit more. Mike had produced (#10) a vastly and vastly better content than there was before, and I didn’t change any content. But in reading through it again I did various cosmetic changes that help me, the reader, to read the entry. So there shouldn’t be anything controversial, but of course please have a look to check.

    Then I have wanted to sort out, for myself, better that sticking issue of pp-localization and pp-completion. Since this maybe deserves more chit-chat, I have moved the existing remark (of Mike) to a dedicated subsection

    and expanded a bit more. Now this edit (this subsection) is in need of attention. :-)

    First, to help deconfusion, I have added a table

    EE EE-acyclic EE-local
    H (p)H \mathbb{Z}_{(p)} pp-local
    H𝔽 pH \mathbb{F}_p ¬{p}\not\{p\}-local pp-complete

    Then staring at this I thought this should have a good geometric explanation. The issue here is one of comparing points, their formal neighbourhoods, and their open neighbourhoods, I suppose. I started writing into the entry:

    In terms of arithmetic geometry this may be understood as follows:

    1. 𝔽 p=/(p)\mathbb{F}_p = \mathbb{Z}/(p \mathbb{Z}) is the ring of functions exactly on the point (p)(p)\in Spec(Z)

    2. p\mathbb{Z}_p is the functions on the formal neighbourhood of (p)(p).

    3. (p)\mathbb{Z}_{(p)} is the ring of functions defined not on any point (p )(p^\prime) with p pp^\prime \neq p, hence on the complement of the complement of (p)(p);

    So therefore…

    But that’s how far I got. What’s the right way to say it?

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJul 24th 2014
    • (edited Jul 24th 2014)

    Probably the right way to say it is this:

    localization at some “subspace” of Spec()Spec(\mathbb{Z}) always localizes on a formal neighbourhood of that subspace. If the original subspace is closed, then we see this explicitly in that the localization is localization at the subspace plus the formal completion around the subspace. But if the original subspace is open, then it contains its own formal neighbourhood, and so the localization is just that, the localization on the subspace.

    (Sorry, this is elementary, please excuse but ignorance.)

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJul 24th 2014
    • (edited Jul 24th 2014)

    When I am back online, need to add the keyword for this: mod p Whitehead theorem