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
    • CommentTimeOct 17th 2010
    • (edited Oct 30th 2012)

    following Mike’s suggestion, I have split off from cohesive topos the entry

    I used that splitting-off to play Bourbaki and decide that I don’t follow Lawvere’s definition in all detail. Instead, it seems to me we can usefully streamline it. It should say just two things: a cohesive (,1)(\infty,1)-topos is

    1. locally and globally \infty-connected

    2. local .

    And that’s it. That gives the quadruple of adjoint functors, where the inverse image and its parallel functor are both full and faithful.

    I have also added an Interpretation-section where I highlight that this implies two central properties of cohesive (,1)(\infty,1)-toposes:

    1. they have the shape of the point in the sense of shape of an (infinity,1)-topos (this is implied by local plus global \infty-connectedness);

    2. they look like small neighbourhoods of the standard point (this is what the locality axioms means, given the standard examples for local toposes).

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 17th 2010

    Mostly as a reminder to myself, I state the following question:

    I feel that to possibly fine-tune the definition of cohesive (,1)(\infty,1)-topos, it would be helpful to better understand to which extent classical example of toposes that are like “thick points” fail to be cohesive (if they do). The \infty-versions of the standard examples of “small” local toposes in the literature: under which conditions are they locally \infty-connected?

    If most of them do happen to be locally \infty-connected, then it should follow that the crucial axiom that makes a point-like \infty-topos qualify as “big” is another one. Maybe this is all in the axiom that p *p !p_* \to p_! is a mono. But I do not understand yet what geometric condition that axiom really models.

    • CommentRowNumber3.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 19th 2010

    Presumably there are comparison maps between cohesive (,1)(\infty, 1)-toposes ((,1)(\infty, 1)-cohesive geometric morphisms?) to compare these thickened points.

    Are there many other flavours of thickened point? Examples so far seem to favour the reals. Can you have holomorphically thickened points or p-adic or adelic ones? How about points with symmetry [*/G]?

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeOct 19th 2010
    • (edited Oct 19th 2010)

    Right, there must be many more interesting examples. The ones I have so far all look similar only because I find them by using the same proof strategy with which I prove (,1)Sh(CartSp)(\infty,1)Sh(CartSp) to be cohesive.

    One immediate thing that fails for sites that look like actual points, such as *//G*//G is that they fail to satisfy the condition that there are finite products in the site. Without this my proof does not show that Π\Pi preserves products. But what is worse about *//G*//G is that it does not even have a terminal object: apart from the Grothendieck topology being suitable, the existence of a terminal object in the site is most important: this is what makes everything local and gives CodiscCodisc.

    What I personall would like to understand are these examples:

    • let TT be any abelian Lawvere theory. When can I find a sensible Grothendieck topology on TT that makes it cohesive?

      For proving this for T=CartSpT = CartSp I am using quite a bit of technology for good open covers, as we have discussed here at length. These statements hardly have direct analogs for general TT. But something else could do. This is because we know that generally the objects of TT look like products 𝔸 k\mathbb{A}^k of the canonical TT-line object 𝔸 1\mathbb{A}^1. So intuitively they should all be contractible.

    • Eventually I need to know this in derived geometry: what are sites of simplicial TT-algebras such that the \infty-sheaves over it still form a cohesive \infty-topos?

      For the kind of application that I am following, this is a pressing question. In particular I need to understand what the functor Π\Pi does exactly on such cohesive derived \infty-toposes. But currently I do not have much of a handle on this question.

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeOct 19th 2010

    Re: morphisms, we need to be a bit careful with the terminology, since according to the usual naming scheme for toposes and geometric morphisms, a “cohesive geometric morphism” ESE\to S would be one which makes EE into a cohesive SS-topos – which is different from if you have two cohesive SS-toposes ESE\to S and FSF\to S and you want a morphism EFE\to F over SS which “preserves cohesion.” I guess the natural thing to require of a geometric morphism that “preserves cohesion” is that it commute with the extra adjoints Π\Pi and CodiscCodisc in some way.

    My initial reaction to the idea of p-adic cohesion is that it wouldn’t work because unlike the reals, the p-adics are not locally contractible (or even locally connected).

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 20th 2010

    My initial reaction to the idea of p-adic cohesion is that it wouldn’t work because unlike the reals, the p-adics are not locally contractible (or even locally connected).

    Ok. I’m just wondering what we are forced to accept if we agree to ’Physics takes place in a cohesive \infty-topos’. I’m always intrigued to see how the reals pop up seemingly out of nowhere. We had a chat about that in the post on locally compact abelian groups. John says there

    It’s a bit more magical the way n\mathbb{R}^n stands out in the classification of locally compact Hausdorff abelian groups. If I’m not mistaken, the reason is that the n\mathbb{R}^n’s are the only groups of this sort that are connected and lack compact subgroups.

    I’m wondering what rabbits have been put into the hat of cohesive \infty-toposes.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeOct 20th 2010

    I think this is a quite interesting aspect that David is raising there. Currently I am lacking a sufficient survey of classes of examples of cohesive \infty-toposes to make much progress on answering this question, but the general question is very interesting:

    once we have – walking in Lawvere’s footsteps – convinced ourselves that we have found a general abstract theory that is close to having the necessary and sufficient properties to serve as a context for structures of fundamental physics, we can ask which models this theory has. And which properties these models have. Maybe we find that all these models share an aspect of physics that does not explicitly appear in the definition of the theory.

    So I’d really enjoy following up on these questions. But right now I am lacking a good strategy for how to attack this problem further. But I’ll keep it in mind and maybe eventually we see something.

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 20th 2010

    Currently I am lacking a sufficient survey of classes of examples of cohesive \infty-toposes to make much progress on answering this question

    Math Overflow question?

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeOct 20th 2010

    Sure, I’ll post one.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeOct 20th 2010

    okay, after polishing cohesive (infinity,1)-topos a bit more (expanded the beginning of the introction, added two more subsections to the Properties-subsection, restructured the Examples-section) I posted to MO:

    MO post on cohesive oo-toposes

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeOct 22nd 2010

    I was about to post a reply to Mike’s latest comment on the Cafe, but that seems to be down now. Lest I lose my message, I post it here for the moment:

    Mike wrote:

    Now how do Lie algebras come into the picture?

    The discussion I gave should still hold, only that LieBGLie \mathbf{B}G is bigger than I said it was.

    So for every L L_\infty-algebra 𝔤\mathfrak{g} there is an object B𝔤\mathbf{B}\mathfrak{g} in the (,1)(\infty,1)-Cahiers topos. It is modeled by the simplicial presheaf

    [k]ΔΔ[k]𝔤 k \int^{[k] \in \Delta} \mathbf{\Delta}[k] \cdot \mathfrak{g}_k

    where 𝔤 k\mathfrak{g}_k is an infinitesimal object (with a single point) and Δ\mathbf{\Delta} is the fat simplex .

    How do we recognize this intrinsically as an \infty-Lie algebra? Like this:

    1. it is a fat point, ΓBG*ΠBG\Gamma \mathbf{B}G \simeq * \simeq \Pi \mathbf{B}G;

    2. it has the 𝔸 1\mathbb{A}^1-cohomology of the L L_\infty-algebra 𝔤\mathfrak{g} (where 𝔸 1\mathbb{A}^1 is our line object, which is the real line for the Cahier topos):

      π 0H(B𝔤,B n𝔸 1)H n(CE(𝔤))\pi_0\mathbf{H}(\mathbf{B}\mathfrak{g}, \mathbf{B}^n \mathbb{A}^1) \simeq H^n(CE(\mathfrak{g}))

      (this follows with the technology described at function algebras on \infty-stacks).

    So the question now is what is the universal factorization of morphisms B𝔤BH\mathbf{B}\mathfrak{g} \to \mathbf{B}H? If we assume we do have the coreflector that we have been talking about, then that will produces it, B𝔤LieBHBH\mathbf{B}\mathfrak{g} \to Lie \mathbf{B}H \to \mathbf{B}H.

    And given the above simplicial presheaf model of B𝔤\mathbf{B}\mathfrak{g} and observing that this is cofibrant, we see in a more precise way what we just said two comments earlier: this LieBHLie \mathbf{B}H-thing has to consist of the points in BH\mathbf{B}H and their infinitesimal neighbourhoods, because that’s the only “cohesvive pieces” that the infinitesimal objects 𝔤 k\mathfrak{g}_k can hit in each degree.

    So first I said we should have LieBHLie \mathbf{B}H is B𝔥\mathbf{B}\mathfrak{h}, but as you remarked rightly, this can’t be. It must be somthing like “B(𝔤×Γ(G))\mathbf{B}(\mathfrak{g} \times \Gamma(G))”. Not sure yet.

    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeOct 22nd 2010

    Okay, sounds reasonable; I’ll wait until you figure it out. (-: It does sound like a neat thing, if it is true.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeFeb 7th 2011

    I have polished and slighly expanded the section on infinitesimal cohesion at cohesive (infinity,1)-topos

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeFeb 7th 2011
    • (edited Feb 7th 2011)

    added also intrinsic discussion of the tangent Lie algebroid in an (,1)(\infty,1)-topos with infinitesimal cohesion

    • CommentRowNumber15.
    • CommentAuthorzskoda
    • CommentTimeFeb 7th 2011

    Urs, is the infinity-category of simplicial objects in a cohesive topos itself a cohesive $(infinity,1)$-topos ?

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeFeb 7th 2011

    Hi Zoran,

    a sufficient condition for this to be true is that the topos has a site of definition that is not just a cohesive site but even an infinity-cohesive site (by the proof given there).

    More precisely, in that case the simplicial localization of the category of simplicial sheaves at the local weak equivalences is a cohesive \infty-topos, yes.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeFeb 21st 2011
    • (edited Feb 21st 2011)

    I have added the observation (in the section on Cohesive oo-groups), that every \infty-group object GG in a cohesive topos is presented by a presheaf of simplicial groups, and that every delooping BG\mathbf{B}G is presented by a simplicial presheaf of the form W¯G\bar W G.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeFeb 26th 2011
    • (edited Feb 26th 2011)

    I have added in the last “Structures”-section Higher holonomy and Chern-Simons functional a general abstract definitions of

    of the \infty-Chern-Simons theory induced by any characteristic class in the cohesive \infty-topos.

    There is still a slight gap in the story: I know how to fully abstractly get the \infty-Chern-Simons action functional as a morphism in discrete \infty-groupoids. However, in order for computing the derived covariant phase space as the homotopy fiber of the differential refinement of the action functional, we need it as an internal morphism on cohesive \infty-groupoids. I know how that is obtained for the special case of smooth cohesion, but I do not yet understand the fully general abstract condition under which the external action functional refines to an internal one. So for the moment it just says “In suitable situations this external construction refines to an internal one as follows.”

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeFeb 27th 2011

    added to the list of canonical structures in a cohesive (,1)(\infty,1)-topos its intrinsic variational calculus

    so far there’s just the definition and its relation to a buch of keywords. I’ll see if one can say something general abstract about the variational bicomplex from tis point of view

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeMar 29th 2011

    have made explicit a proposition that was used implicitly before: that in a cohesive \infty-topos H\mathbf{H} we have an equivalence

    Ω:Connected(H)Grp(H):B \Omega : Connected(\mathbf{H}) \leftrightarrow Grp(\mathbf{H}) : \mathbf{B}

    in the section Cohesive oo-groups

    • CommentRowNumber21.
    • CommentAuthorDavidRoberts
    • CommentTimeMar 29th 2011

    Pointed connected or just connected?

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeMar 29th 2011

    Right, pointed connected, of course. I have fixed it.

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeApr 12th 2011
    • (edited Apr 12th 2011)

    added at cohesive (infinity,1)-topos in the section Infinitesimal paths the abstract definition of formally smooth objects : those objects XX for which XΠ inf(X)X \to \mathbf{\Pi}_{inf}(X) is an effective epimorphism. I point out that

    1. this is the evident generalization of the condition as considered by Simpson-Teleman

    2. and that by just slightly rewriting it it becomes equivalent to the abstract condition that Kontsevich-Rosenberg consider in the context of Q-categories (see the section on formal smoothness there).

    Using Kontsevich-Rosenberg we can then also say in every cohesive \infty-topos with infinitesimal cohesion:

    • XX is formally unramified if XΠ inf(X)X \to \mathbf{\Pi}_{inf}(X) is some notion of monomorphism;

    • XX is formally étale if XΠ inf(X)X \to \mathbf{\Pi}_{inf}(X) is an equivalence.

    • CommentRowNumber24.
    • CommentAuthorzskoda
    • CommentTimeApr 12th 2011

    Wait a second with the last paragraph. Formally etale is stronger than formally unramified.

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeApr 12th 2011

    Sorry, I switched the two conditions: formally unramified is the mono-condition. Formally etale is the equivalence conditions. So formally etale = equivalence = mono + epi = formally smooth + formally unramified.

    (I’ll change this typo in my comment above.)

    • CommentRowNumber26.
    • CommentAuthorzskoda
    • CommentTimeApr 12th 2011

    Right. I have introduced a somewhat related entry adjoint triple. It would be good to have more properties listed for various kinds of adjoint triples eventually.

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeApr 12th 2011

    I have introduced a somewhat related entry adjoint triple.

    Okay, good. I have added some links to and from it. I have also created a stub for adjoint quadruple. There is a section at cohesive topos with generalities on adjoint triples and quadruples, that should be moved to the new entries, then.

    • CommentRowNumber28.
    • CommentAuthorzskoda
    • CommentTimeApr 12th 2011
    • (edited Apr 12th 2011)

    I have added more to adjoint triple and created Frobenius functor. One should clarify more to other Frobenius notions.

    Right, it will be good eventually have some properties of adjoint triples in general, which do not require cohesive topos setup separated.

    • CommentRowNumber29.
    • CommentAuthorzskoda
    • CommentTimeApr 12th 2011

    Wikipedia Frobenius algebra entry explains a relation between Frobenius algebras and Frobenius extensions. The induction functor for the latter generalized historically to Frobenius functors…

    • CommentRowNumber30.
    • CommentAuthorTim_Porter
    • CommentTimeApr 12th 2011

    For info: There is a newly published paper by McCurdy and Street in the latest Cahiers (vol LI-1) on ‘What separable Frobenius monoidal functors preserve.’

    • CommentRowNumber31.
    • CommentAuthorzskoda
    • CommentTimeApr 13th 2011
    • (edited Apr 13th 2011)

    Tim, Frobenius monoidal functors are NOT instances of Frobenius functors. F. monoidal f. is sort of symmetric in way in having both monoidal and comonoidal (lax and colax in different terminology) structure. F. f. is about left and right adjoint existing and being mutually equal or isomorphic.

    • CommentRowNumber32.
    • CommentAuthorTim_Porter
    • CommentTimeApr 13th 2011

    I had read the first fact that you mentioned in the entry, so my point was just to announce that the paper was now published.

    • CommentRowNumber33.
    • CommentAuthorzskoda
    • CommentTimeApr 13th 2011

    OK, I have now cited the arXiv version of McCurdy, Street at Frobenius monoidal functor. If you have the exact/full publication reference and link please add them there.

    • CommentRowNumber34.
    • CommentAuthorTim_Porter
    • CommentTimeApr 13th 2011

    Done. :-) Thanks.

    • CommentRowNumber35.
    • CommentAuthorUrs
    • CommentTimeApr 16th 2011

    I have added a subsection cohesive oo-topos – twisted cohomology. Nothing there that is not in principle also at twisted cohomology, but maybe being more stream-lined. It starts out with the over-category-definition that Domenico emphasized is the most intrinsic one, and then unwinds this to the definition in terms of homotopy fibers.

    This just for completeness, since further below differential cohomology is defined as a special case of twisted cohomology

    • CommentRowNumber36.
    • CommentAuthorUrs
    • CommentTimeApr 17th 2011

    I have added a subsection cohesive oo-topos – twisted cohomology.

    Have added now also discussion of the equivalence to the definition by way of homotopy classes of sections.

    • CommentRowNumber37.
    • CommentAuthorUrs
    • CommentTimeApr 17th 2011

    Maybe the server has a bad day, worse than the other days. I had to once more split the entry into pieces, for it to be saved at all. For some reason just splitting it into further two wouldn’t help, so now there is a total of four pieces. Which means that now essentially all the external links to its subsections are broken.

    • CommentRowNumber38.
    • CommentAuthorUrs
    • CommentTimeApr 18th 2011
    • (edited Apr 18th 2011)

    added to the section on differential cohomology more details on the two exact sequences that differential cohomology sits in (curvature exact sequence and characteristic class exact sequence)

    (the server is still saving the entry, for several minutes already. If it does not display yet when you read this, try again in a few more minutes).

    • CommentRowNumber39.
    • CommentAuthorMike Shulman
    • CommentTimeApr 18th 2011

    Just a thought: maybe instead of adding on to a single page more and more until it gets unmanageable and has to be split (breaking subsection links), we should create new entries for new subjects as we go along. In particular, maybe the desire to link to a subsection should alert us that perhaps it is time to separate out a new page.

    • CommentRowNumber40.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2011

    maybe instead of adding on to a single page more and more until it gets unmanageable and has to be split (breaking subsection links), we should create new entries for new subjects as we go along.

    Sure, if that makes sense. Here I felt the page (as a text file) was still quite manageable and that breaking it apart would be unnatural. One can see this also from the fact that there is no way of breaking it apart into stand-alone subentries. One needs to implement by hand some infrastructure for a collection of entries that all need to be read as parts of a whole. This is lots of extra work. I wish I could decide for myself when I want to do this extra work and when not.

    • CommentRowNumber41.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2011

    I have added definition of extension of cohesive \infty-groups and statement and proof of how extended \infty-bundles are characterized by \infty-bundles on the total space of the bundle that they extend. At the end of the section on cohomology.

    • CommentRowNumber42.
    • CommentAuthorMike Shulman
    • CommentTimeApr 26th 2011

    For instance, it seems to me more natural, and more in the wiki style (and also more readable, because more organized), for the discussion of infinitesimal cohesion to be on a separate page, given that infinitesimal cohesion is extra structure on a cohesive topos rather than an intrinsic part of the notion.

    • CommentRowNumber43.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2011

    Agreed.

    • CommentRowNumber44.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2011
    • (edited Oct 29th 2011)

    I have split at cohesive (infinity,1)-topos the Definition-section into three subsections:

    1. external definition;

    2. internal definition;

    3. internal definition formulated in HoTT.

    In 2. I have included the relevant statement that the internal formulation is indeed equivalent to the external one. In 3. I have added some commentary and the codicsrete reflective subcategory.

    Missing in the internal description is still the condition that Γ=Γ˜\Gamma = \tilde \Gamma. But I have to quit now and continue tomorrow.

    This is also discussed on the nnCafé here.

    • CommentRowNumber45.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2011
    • (edited Oct 31st 2011)

    added clarification to the Definition-section at cohesive (infinity,1)-topos as mentioned over on the nnCafé here.

    • CommentRowNumber46.
    • CommentAuthorUrs
    • CommentTimeNov 2nd 2011

    added more details on the internal formulation following Mike’s comment

    • CommentRowNumber47.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2011

    at cohesive (infinity,1)-topos I have started a new section Properties – Over arbitrary bases with some simple observations on bases of cohesion, to go along with the nnCafé-discussion here.

    • CommentRowNumber48.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2012
    • (edited Oct 30th 2012)

    added a quick paragraph cohesive oo-topos – Examples – Simplicial objects, mostly for the moment as a reminder to myself to come back to this and expand

    • CommentRowNumber49.
    • CommentAuthorUrs
    • CommentTimeDec 3rd 2015

    cohesion at IHES: video recording

    • CommentRowNumber50.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 29th 2023