Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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 (CR⊣CL)-unit is the dual Cη of the original counit η
Cη:IdCA→CL∘CR=CLRand the counit is the dual of the original unit
Cε:CR∘CL=CRL→IdCˉA.
The wrong thing is that CL∘CR=CRL, not CLR and that is why the unit and counit got interchanged; they should not get interchanged, but CL and CR should. I am going to sort this out. Thus Cη where η is unit goes Cη:IdCA→CRL.
Edit: the correct version is now below.
Before finishing with above, made some typographic corrections and the definition of morphisms of Q-categories
A morphism from 𝔸:(u*⊣u*):ˉAu*←→u*A to 𝔹:(v*⊣v*):ˉBv*←→v*B is a triple (Φ,ˉΦ,ϕ) where Φ:A→B, ˉΦ:ˉA→ˉB are functors and ϕ:Φu*⇒v*ˉΦ is a natural isomorphism of functors. The composition is given by
(Φ,ˉΦ,ϕ)∘(Φ′,ˉΦ′,ϕ′)=(Φ′Φ,ˉΦˉΦ,ˉΦ′ϕ∘ϕ′Φ)
2-cells as well
A transformation of morphisms of Q-categories is a pair (α,ˉα):(Φ,ˉΦ,ϕ)→(Ψ,ˉΨ,ψ) of natural transformations α:Φ→Ψ and ˉα:ˉΦ→ˉΨ such that the diagram
Φu*ϕ⟶v*ˉΨαu*↓↓v*ˉαΨu*ψ⟶v*ˉΨcommutes.
New text. It should be the correct version.
The (CR⊣CL)-unit is Cη induced by the original unit η:1A→RL
Cη:IdCA→CL∘CR=CRLand the counit Cε is induced by the original counit ε:LR→1ˉA.
Cε:CR∘CL=CLR→IdCˉA.The only thing is who is adjoint – now CR is the left adjoint. It is clear that Cη and Cε satisfy the triangle identities and that if η is iso then the composition with η is also iso. Thus we obtain a Q-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 L being full and faithful that CR is full and faithful.
The triangle identities can be obtained by expanding. For R:ˉA→A, one has CR:CA→CˉA is given by CR:G↦GR, and for L:A→ˉA one has CL:F↦FL. Then Cη:IdCA→CRCL=CLR has the components (Cη)G:(IdCA)(G)⇒CRCL(G) given by Gη:G→GLR. Thus for each functor G∈CˉA, the composition
GRGηR⟶GRLRGRη⟶GRis the identity by the triangle identity for L⊣R, but this is precisely the G-component of the transformation
CRCRCη⟶CRCLCRCεCR⟶CR.Similarly the F-component of
CLCηCL⟶CLCRCLCLCε⟶CL,for a functor F∈CA reads
FLFLη⟶FLRLFεL⟶FLwhat is again the identity by the triangle identity for L⊣R.
The above text is now inserted into the proof.
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.
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.
I mean, we should eventually state how given a morphism of Q-categories we get corresponding morphisms of Q-sheaf-categories, etc.
Oh, yes…
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?
Given a Q-category 𝔸 I can see pullback stability of 𝔸-formally étale morphisms under the condition that the functor u*:A→ˉA preserves pullbacks. That’s at least sufficient for the applications that I am currently looking at. But what about retracts?
Oh, never mind, I can see stability under retracts, too.
I’ll write it out on the nLab later.
Given a Q-category 𝔸 I can see pullback stability of 𝔸-formally étale morphisms under the condition that the functor u*:A→ˉ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 ∞-category case.
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.
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.
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* (which is what they write ˆ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 us 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.
I have added a remark about the subtlety that I just mentioned to Q-category: here.
I added the paragraph:
The Q-category factoring a fully faithful factor
Any fully faithful functor among small categories F:A→B factors canonically into the composition Au*→ˉA↪B where ˉA⊂B is the full subcategory of B whose objects are all b in ObB such that a↦B(F(a),b) is a representable functor Aop→Set, and u* is the corestriction of F to ˉA. This corestriction makes sense: F is fully faithful, hence B(F(a),F(a))=B(a,a), i.e. F(a)∈ˉA for all a in ObA. For each b∈ˉA, define now u*(b) as the functor representing B(F(−),b), i.e. by ˉA(u*(a),b)=B(F(a),b)≅B(a,u*(b)) (KR NcSpaces A1.1.1). This relation on objects extends to an adjunction u*⊣u* with u* fully faithful.
The entry is a bit of a mess. It starts off with a Q∘-category ℂ, but then shifts to talk of presheaves on A and ˉA, and some previously unmentioned forms of u. Then in section 3, it reverts to Q rather than Q∘-categories, and these same u maps are now acting between A and ˉA rather than presheaves as earlier.
I think this is intentional. If A in adjunction with ˉA is a Q-category, then the presheaves over A and over ˉ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 A. 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.
I improved the clarity of motivation section a bit.
Indicated that this is a concept with an attitude.
1 to 22 of 22