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.
    • CommentAuthorzskoda
    • CommentTimeSep 6th 2010
    • (edited Sep 7th 2010)

    I am interested for many years in using localizations (typically having fully faithful right adjoint) as replacements for open sets in noncommutative algebraic geometry. There are some interesting Čech-like cohomologies lurking there as well (for abelian case known for about 20 years, for nonabelian wait for another paper of mine).

    Now I am trying to do, with some ideas from correspondence with colleagues some more new cases, some of which to my surprise are not known. In particular there is lots of issues about descent for functors where both the domain and codomain categories are given by covers by localizations, that is families of localizations such that the induced inverse image functor to the product of the localizations is comonadic. Before tackling that case properly, I am trying to fix some holes in my understanding of the case of endofunctors.

    A localization having fully faithful right adjoint is equivalent to a Eilenberg-Moore category over an idempotent monad. For any localization functor, there is a notion of localization compatible endofunctor, which Lunts and Rosenberg introduced in unpublished but available Max Planck Preprint in 1996, in order to study the differential operators on geometries given by “categories of quasicoherent sheaves”. Their notion of compatibility does not involve coherences, and I prefer to work with coherences. I have shown that the coherences actually follow, if one takes for compatibility a distributive law between the idempotent monad QQ and the endofunctor GG, of the form QGGQQG\Rightarrow GQ. More precise statement is at distributive law for idempotent monad (zoranskoda) (cf. also new entry compatible localization with some background references, some on different notions of compatibilities).

    The compatibility which is a property in Lunts-Rosenberg becomes a distributive law in my work, what is in general a structure; but a (seamingly new) theorem says that the coherent version is also just a property, namely the distributive law is unique when it exists (“strict compatibility” Edit: It seems to me that the existence of a distributive law is a bit stronger than Lunts-Rosenberg compatibility.) The law is then also invertible what means that its inverse is the other type distributive law GQQGGQ\Rightarrow QG. But what I don’t know is if every other type distributive law GQQGGQ\Rightarrow QG for an idempotent monad QQ is invertible and hence coming from the inverse of a unique distributive law QGGQQG\Rightarrow GQ or there are genuine non-invertible counterexamples ? Any ideas ?

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeSep 7th 2010

    This is not an answer to the main question, but unless I’m missing something, the uniqueness of the distributive law QG ⇒ GQ is immediate from the fact that such a distributive law is the same as a lifting of G to the category of Q-algebras, since when Q is idempotent that category is just a full subcategory of the ambient category and hence there can be only one such “lifting” (i.e. when G preserves that subcategory).

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeSep 8th 2010

    Correct Mike, but the same truism, with a different proof holds for distributive laws in other direction, I mean GQQGGQ\Rightarrow QG for which one does not have precisely that interpretation.

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeSep 8th 2010

    Can’t a distributive law in the other direction be identified with a lifting of G to the Kleisli category of Q, which is the same as the category of Q-algebras when Q is idempotent?

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeSep 9th 2010

    I don’t think so (unless there is something very special in idempotent case). The other direction would lift QQ to GG-algebras instead (at least when GG is a monad, and we have distributive law in that sense).

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeSep 9th 2010

    Oops, I meant a co-lifting, i.e. an endofunctor G’ of the Kleisli category such that G’ F = F G, where F is the left adjoint from the ambient category to the Kleisli category. I think such a thing ought also to be unique when it exists in the idempotent case.

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeSep 9th 2010

    The reason I’m so sure that something like this is true is that the correspondence between distributive laws and liftings works in any 2-category, and Eilenberg-Moore objects in Cat opCat^{op} are the same as Kleisli objects in Cat, while reversing the order of the functors means passing to Cat opCat^{op}, and so should correspond to replacing the Eilenberg-Moore category by the Kleisli one.

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeSep 9th 2010

    It could be, I roughly understand your argument and if I look at my argument (which I did not present yet) it is diagrammatic via certain commutative triangles, but they indeed can be dualized. Good, I mean to have independent reasoning to be safer on the uniqueness side. What is left is still the two main questions: are there any non-invertible distributive laws in either direction; and if the incoherent compatibility (that is Q *G=GQ *Q^* G = G' Q^* for some G:BBG' : B\to B) implies existence of a distributive law of either kind.