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.
    • CommentAuthorzskoda
    • CommentTimeApr 25th 2011
    • (edited Apr 25th 2011)

    There is a small error in the current proof that the category of endofunctors on a Q-category is a Q-category. I am going to correct it as soon as I find my way through the notation (I used it different on the paper). It now reads

    The (C RC L)(C^R \dashv C^L)-unit is the dual C ηC^\eta of the original counit η\eta

    C η:Id C AC LC R=C LR C^{\eta} : Id_{C^A} \to C^L \circ C^R = C^{L R}

    and the counit is the dual of the original unit

    C ε:C RC L=C RLId C A¯. C^\epsilon : C^R\circ C^L = C^{R L}\to Id_{C^{\bar{A}}} \,.

    The wrong thing is that C LC R=C RLC^L\circ C^R = C^{RL}, not C LRC^{LR} and that is why the unit and counit got interchanged; they should not get interchanged, but C LC^L and C RC^R should. I am going to sort this out. Thus C ηC^\eta where η\eta is unit goes C η:Id C AC RLC^\eta : Id_{C^A}\to C^{RL}.

    Edit: the correct version is now below.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeApr 25th 2011

    Before finishing with above, made some typographic corrections and the definition of morphisms of QQ-categories

    A morphism from 𝔸:(u *u *):A¯u *u *A\mathbb{A} : (u^* \dashv u_*) : \bar A \stackrel{\overset{u^*}{\leftarrow}}{\underset{u_*}{\to}} A to 𝔹:(v *v *):B¯v *v *B\mathbb{B} : (v^* \dashv v_*) : \bar B \stackrel{\overset{v^*}{\leftarrow}}{\underset{v_*}{\to}} B is a triple (Φ,Φ¯,ϕ)(\Phi,\bar{\Phi},\phi) where Φ:AB\Phi : A\to B, Φ¯:A¯B¯\bar{\Phi}:\bar{A}\to\bar{B} are functors and ϕ:Φu *v *Φ¯\phi:\Phi u_*\Rightarrow v_*\bar{\Phi} is a natural isomorphism of functors. The composition is given by

    (Φ,Φ¯,ϕ)(Φ,Φ¯,ϕ)=(ΦΦ,Φ¯Φ¯,Φ¯ϕϕΦ) (\Phi,\bar{\Phi},\phi)\circ(\Phi',\bar{\Phi}',\phi') = (\Phi'\Phi,\bar{\Phi}\bar{\Phi}, \bar{\Phi}'\phi\circ\phi'\Phi)
    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeApr 25th 2011
    • (edited Apr 25th 2011)

    2-cells as well

    A transformation of morphisms of Q-categories is a pair (α,α¯):(Φ,Φ¯,ϕ)(Ψ,Ψ¯,ψ)(\alpha,\bar{\alpha}):(\Phi,\bar{\Phi},\phi)\to (\Psi,\bar{\Psi},\psi) of natural transformations α:ΦΨ\alpha:\Phi\to\Psi and α¯:Φ¯Ψ¯\bar{\alpha}:\bar{\Phi}\to\bar{\Psi} such that the diagram

    Φu * ϕ v *Ψ¯ αu * v *α¯ Ψu * ψ v *Ψ¯\array{ \Phi u_* & \stackrel{\phi}\longrightarrow & v_* \bar{\Psi}\\ \alpha u_*\downarrow && \downarrow v_*\bar{\alpha}\\ \Psi u_* &\stackrel{\psi}\longrightarrow& v_* \bar{\Psi} }

    commutes.

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeApr 25th 2011
    • (edited Apr 25th 2011)

    New text. It should be the correct version.

    The (C RC L)(C^R \dashv C^L)-unit is C ηC^\eta induced by the original unit η:1 ARL\eta: 1_A\to R L

    C η:Id C AC LC R=C RL C^{\eta} : Id_{C^A} \to C^L \circ C^R = C^{R L}

    and the counit C εC^\epsilon is induced by the original counit ε:LR1 A¯\epsilon: L R\to 1_{\bar{A}}.

    C ε:C RC L=C LRId C A¯. C^\epsilon : C^R\circ C^L = C^{L R}\to Id_{C^{\bar{A}}} \,.

    The only thing is who is adjoint – now C RC^R is the left adjoint. It is clear that C ηC^\eta and C εC^\epsilon satisfy the triangle identities and that if η\eta is iso then the composition with η\eta is also iso. Thus we obtain a QQ-categories.

    In other words, since the left adjoint being a full and faithful functor is equivalent to the unit of the adjunction being an isomorphism, it follows from LL being full and faithful that C RC^R is full and faithful.

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeApr 25th 2011
    • (edited Apr 25th 2011)

    The triangle identities can be obtained by expanding. For R:A¯AR: \bar{A}\to A, one has C R:C AC A¯C^R : C^A\to C^{\bar{A}} is given by C R:GGRC^R : G\mapsto GR, and for L:AA¯L:A\to\bar{A} one has C L:FFLC^L:F\mapsto F L. Then C η:Id C AC RC L=C LRC^\eta : Id_{C^A}\to C^R C^L = C^{LR} has the components (C η) G:(Id C A)(G)C RC L(G)(C^\eta)_G : (Id_{C^A})(G) \Rightarrow C^R C^L (G) given by Gη:GGLRG \eta : G\to G L R. Thus for each functor GC A¯G\in C^{\bar{A}}, the composition

    GRGηRGRLRGRηGRG R\stackrel{G\eta R}\longrightarrow G R L R \stackrel{G R \eta}\longrightarrow G R

    is the identity by the triangle identity for LRL\dashv R, but this is precisely the GG-component of the transformation

    C RC RC ηC RC LC RC εC RC R. C^R \stackrel{C^R C^\eta}\longrightarrow C^R C^L C^R \stackrel{C^\epsilon C^R}\longrightarrow C^R.

    Similarly the FF-component of

    C LC ηC LC LC RC LC LC εC L, C^{L} \stackrel{C^\eta C^L}\longrightarrow C^L C^R C^L \stackrel{C^L C^\epsilon}\longrightarrow C^L,

    for a functor FC AF\in C^A reads

    FLFLηFLRLFεLFL F L \stackrel{F L \eta}\longrightarrow F L R L \stackrel{F \epsilon L}\longrightarrow F L

    what is again the identity by the triangle identity for LRL\dashv R.

    The above text is now inserted into the proof.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2011

    Thanks. I have added some hyperlinks.

    With the definition of morphisms of Q-categories we should eventually also list some properties that justify this definition. I might look into this later, right now I need to do something else.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeApr 25th 2011

    Well, the morphisms are given by the data which we call “compatibility of endofunctor with localization”, the only thing is that it is sometimes useful to have noninvertible one. If we neglect invertibility, the compatibility has various uses like lifting the categories of quasicoherent sheaves to equivariant setup. So the form is right, the only thing I do not know of the usages of the invertibility part so far.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2011
    • (edited Apr 25th 2011)

    I mean, we should eventually state how given a morphism of Q-categories we get corresponding morphisms of Q-sheaf-categories, etc.

    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeApr 25th 2011

    Oh, yes…

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2011

    Zoran,

    in the context of Q-categories, is there any discussion of stability or not of the formally étale morphisms with respect to a given Q-category under pullback and retracts?

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2011
    • (edited Apr 29th 2011)

    Given a Q-category 𝔸\mathbb{A} I can see pullback stability of 𝔸\mathbb{A}-formally étale morphisms under the condition that the functor u *:AA¯u^* : A \to \bar A preserves pullbacks. That’s at least sufficient for the applications that I am currently looking at. But what about retracts?

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2011

    Oh, never mind, I can see stability under retracts, too.

    I’ll write it out on the nnLab later.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2011
    • (edited Apr 29th 2011)

    Given a Q-category 𝔸\mathbb{A} I can see pullback stability of 𝔸\mathbb{A}-formally étale morphisms under the condition that the functor u *:AA¯u^* : A \to \bar A preserves pullbacks.

    Sorry, under that condition formally étale morphisms are reflected under pullback, maybe not necessarily preserved.

    This and a handful of other statements and proofs I have now typed up at formally etale morphism.

    Could you have a careful look at my argument that they are stable under retract? This uses a lemma I have added to retract. It looks easy enough, but somehow I am worried that I am mixed up about something. (Should have taken more sleep last night.)

    As you can see, I am trying to get hold of the list of properties required of a collection of “admissible morphisms” in the sense of geometry (for structured (infinity,1)-toposes). So the only condition still missing now in my list to show that the general abstract Rosenberg-Kontsevich formally étale morphisms always form an admissibility structure is their pullback stability. And the generalization of the arguments to the \infty-category case.

    • CommentRowNumber14.
    • CommentAuthorzskoda
    • CommentTimeApr 29th 2011

    I will look into your proof later today, or tomorrow. It looks you are digging out something very interesting. I am first to prove something else today (also related to (co)reflective categories but in different direction) what I isolated last night.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2011

    Sorry, under that condition formally étale morphisms are reflected under pullback, maybe not necessarily preserved.

    Sorry again, the original statement was true after all. I can’t distinguish left and right anymore.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2011
    • (edited Apr 29th 2011)

    Hey Zoran,

    thanks for your mail while the Forum was down. I’ll reply here now.

    Right, in section 5 of Rosenberg-Kontsevich they discuss pullback stability.

    By the way, their discussion does make the same assumption, somewhat implicitly at that point, as I was making above an by now in the entry (formally etale morphism): that what I wrote u *u^* (which is what they write u^ *\hat u^*) preserves products:

    because they consider the case (first line of 5) that we are in a Q-category of copresheaves on another Q-category. That automatically gives not just an adjoint pair, but an adjoint quadruple.

    However, in the entry formally etale morphism I was using a more minimalistic definition, where I am just demanding an adjoint triple necessary to write what in their article is diagram (1) on p. 21. So my assumption that the leftmost adjoint preserves products is satisfied in their setup, where it is indeed a right adjoint.

    The notation is a bit of a problem here, with all the decorated uus floating around, with hats and cohats and subscripts and superscripts (I’d dare say it is not even fully consistent in their article always), so I’ll not write out more details on the comparison unless you want me to. There is also a shift of two adjoint triples against each other that comes from the fact that their Q-category of infinitesimal thickening really has a thrid adjoint, too, and they choose the lower adjoint pair where I choose the upper adjoint pair to characterize the infinitesimal thickening. It’s a bit tedious to sort this all out.

    But I think I am happy. I think I have enough data now to write out a fully abstract discussion of locally ringed cohesion with open maps determined by KR-type formal étale morphisms. I’ll discuss that in another thread.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2011

    I have added a remark about the subtlety that I just mentioned to Q-category: here.

    • CommentRowNumber18.
    • CommentAuthorzskoda
    • CommentTimeJun 2nd 2011

    I added the paragraph:

    The Q-category factoring a fully faithful factor

    Any fully faithful functor among small categories F:ABF: A\to B factors canonically into the composition Au *A¯BA\stackrel{u^*}\to \bar{A}\hookrightarrow B where A¯B\bar{A}\subset B is the full subcategory of BB whose objects are all bb in ObBOb B such that aB(F(a),b)a\mapsto B(F(a),b) is a representable functor A opSetA^{op}\to Set, and u *u^* is the corestriction of FF to A¯\bar{A}. This corestriction makes sense: FF is fully faithful, hence B(F(a),F(a))=B(a,a)B(F(a),F(a)) = B(a,a), i.e. F(a)A¯F(a)\in \bar{A} for all aa in ObAOb A. For each bA¯b\in \bar{A}, define now u *(b)u_*(b) as the functor representing B(F(),b)B(F(-),b), i.e. by A¯(u *(a),b)=B(F(a),b)B(a,u *(b))\bar{A}(u^*(a),b) = B(F(a),b) \cong B(a,u_*(b)) (KR NcSpaces A1.1.1). This relation on objects extends to an adjunction u *u *u^*\dashv u_* with u *u^* fully faithful.

    • CommentRowNumber19.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 14th 2017

    The entry is a bit of a mess. It starts off with a Q Q^\circ-category \mathbb{C}, but then shifts to talk of presheaves on AA and A¯\bar{A}, and some previously unmentioned forms of uu. Then in section 3, it reverts to QQ rather than Q Q^\circ-categories, and these same uu maps are now acting between AA and A¯\bar{A} rather than presheaves as earlier.

    • CommentRowNumber20.
    • CommentAuthorzskoda
    • CommentTimeSep 14th 2017
    • (edited Sep 14th 2017)

    I think this is intentional. If AA in adjunction with A¯\overline{A} is a Q-category, then the presheaves over AA and over A¯\overline{A} have an induced adjunction which again makes them into a Q-category. If you look for a sheaves in a Q-category you understand that this Q-category is already a category of presheaves then the sheaves are special presheaves, hence certain objects in AA. On the other hand if we talk about objects on a Q-category, then we mean the sheaves in the associated Q-category of presheaves. In a majority of situations one has the former (in) case.

    There are some additions in the idea section where the inconsistent notation is used. I’ll try to correct.

    • CommentRowNumber21.
    • CommentAuthorzskoda
    • CommentTimeSep 14th 2017

    I improved the clarity of motivation section a bit.