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.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2011

    recently Zoran and I have been discussing how Rosenberg and Kontsevich have formalized infinitesimal cohesion in terms of systems of adjunctions that they called Q-categories (see there for details).

    We haven’t yet discussed the following point: a little reflection shows that the basic mechanism of the Rosenberg-Kontsevich notion of infintesimal thickening is the same as that in Lurie’s Deformation Theory:

    RK consider for some category 𝒞\mathcal{C} of algebras first the domain/codomain fibration

    𝒞domicodFunc(Δ[1],𝒞) \mathcal{C} \stackrel{\overset{cod}{\leftarrow}}{\stackrel{\overset{i}{\to}}{\underset{dom}{\leftarrow}}} Func(\Delta[1], \mathcal{C})

    (where the lower adjoint pair exhibits a Q-category, since the diagonal ii is full and faithful) and then pick inside the arrow category on the right a subcategory of those morphisms which may be thought of as exhibiting their domain as a dual infinitesimal thickening of their codomain.

    Now, the basic idea of Lurie’s Deformation Theory is that, following Quillen’s old insight that Mod is a tangent category, there is a canonical way to pick such a “subcategory”: take the category T 𝒞T_{\mathcal{C}} of fiberwise abelian group objects aka stable objects. It’s not exactly a subcategory, but it does have a forgetful functor T 𝒞Func(Δ[1],𝒞)T_{\mathcal{C}} \to Func(\Delta[1], \mathcal{C}).

    I had played around with trying to incorpirate Deformation Theory into the context of cohesive toposes before, but in view of the above I’ll try to have a fresh look at it again. This suggests that infinitesimal cohesion is not necessarily extra structure after all, but that there is a canonical infinitesimal cohesive neighbourhood for every cohesive \infty-topos.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2011
    • (edited May 3rd 2011)

    Maybe to make this work out as it looks it should, we need to restrict to "connective tangent \infty-categories". In the following sense:

    By the discussion in section 1.1 of Deformation Theory the tangent (infinity,1)-category of 𝒞\mathcal{C} fits into the diagram displayed above as

    𝒞domicodFunc(Δ[1],𝒞)uLT 𝒞, \mathcal{C} \stackrel{\overset{cod}{\leftarrow}}{\stackrel{\overset{i}{\to}}{\underset{dom}{\leftarrow}}} Func(\Delta[1], \mathcal{C}) \stackrel{\overset{L}{\to}}{\underset{u}{\leftarrow}} T_{\mathcal{C}} \,,

    where the pair of functors on the right forms not a plain adjunction, but a codcod-relative adjunction (section 1.2). The composite Li:𝒞T 𝒞L \circ i : \mathcal{C} \to T_{\mathcal{C}} has the interpretation of producing the cotangent complex (derived Kähler differentials) of an algebra A𝒞A \in \mathcal{C}.

    The functor uu on the othe hand is (by example 1.1.4) fiberwise the Ω \Omega^\infty-functor that sends spectrum objects in Func(Δ[1],𝒞) fFunc(\Delta[1], \mathcal{C})_{f} to their underlying object in degree 0 . (The corresponding "connective spectrum").

    Since for the purposes of the setup of infinitesimal cohesion I seem to need the (codi)(cod \dashv i)-adjunction, and since I don’t see how or even that this would prolong to T 𝒞T_{\mathcal{C}}, I am wondering if a sensible idea would be for that purpose to just restrict the (codi)(cod \dashv i)-adjunction to the image of u:T 𝒞Func(Δ[1],𝒞)u : T_{\mathcal{C}} \to Func(\Delta[1], \mathcal{C}), hence in words to the subcategory of Func(Δ[1],𝒞)Func(\Delta[1], \mathcal{C}) on the objects that exhibit their domain as connective \infty-abelian groups over their codomain.

    (In the underived case, where 𝒞\mathcal{C} is a 1-category, the difference would disappear anyway.)

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2011

    Ah, theorem 1.5.19 should help to give the prolonged adjunction (codashvi):𝒞T 𝒞(cod \ashv i) : \mathcal{C} \to T_{\mathcal{C}} in the case that 𝒞\mathcal{C} is the category of algebras over a coherent (infinity,1)-operad.

    See here.

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeMay 3rd 2011

    I am not quite understanding what you are doing above. I should just mention that I recall that you were using tangeng category in the above stable sense also for getting the category of qcoh sheaves. But for modules over generalized rings (that is a finitary monad in sets) one does not get an abelian category of qcoh sheaves. So for a general operad I would not expect that the category of qcoh sheaves is stable. On the other hand, for some other purposes the stabilization may be good even in that generality. I do not know how you address this.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2011

    I am not quite understanding what you are doing above.

    Okay, so let’s see where I am getting incomprehensible.

    The first statement is that both in Rosenberg-Kontsevich and in Quillen-Lurie we identify infinitesimal thickenings of duals of algebras as a subcategory of the arrow category of the category of algebras.

    The second statement is that there is a canonical such subcategory: the image of the tangent category.

    And, yes, the relation to quasicoherent \infty-stacks I am hoping to exploit in this. But let’s see.

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeMay 4th 2011

    The first statement is that both in Rosenberg-Kontsevich and in Quillen-Lurie we identify infinitesimal thickenings of duals of algebras as a subcategory of the arrow category of the category of algebras.

    It is a long way before I really understand the story, but let us start here. The case of ordinary algebras Alg kAlg_k is rather classical. Now both Lurie and KR talk these notions in bigger generality. Now, for which generality you claim there is an agreement ? This is also related to Quillen insight on tangent category. I do not expect at first that precisely that recipe should hold for any operad, even without a commutativity assumption.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeMay 4th 2011

    Now both Lurie and KR talk these notions in bigger generality. Now, for which generality you claim there is an agreement ?

    The tangent catgeory of Alg kAlg_k will not agree with the category of morphisms with nilpotent kernel: the tangent category will give suare-0-extensions only hence only first order nilpotent kernels.

    But apart from this the crucial agreement is in the general structure of the theory: in both cases the adjoint triple into the arrow category turns into an adjoint pair/triple that exhibits infinitesimal extension, and the adjunctions carry all the crucial information.

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeMay 5th 2011
    • (edited May 5th 2011)

    There is sometimes a way to iterate the first order neighborhoods to higher ones. In the language of abelian categories one uses the Gabriel multiplication of topologizing subcategories (edit: link corrected) for that.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeMay 5th 2011
    • (edited May 5th 2011)

    There is sometimes a way to iterate the first order neighborhoods to higher ones

    I was thinking about that, too. This can be useful.

    For instant the tangent Lie algebroid TXT X, is the de Rham space of XX precisely if our notion of inifnitesimal cohesion involves only first order infinitesimals. But then one should iterate: TXT X is dual to forms, its iterations will be dual to “differential gorms” and eventually “differential worms” as here

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeMay 5th 2011
    • (edited May 5th 2011)

    In Abelian context (i.e. space represented by their abelian categories of qcoh sheaves), the good feature for various structures is that Gabriel multiplication on the class additive subcategories preserves the classes of topologizing subcategories, of reflective topologizing subcategories, and of coreflective toplogizing subcategories. This makes iteration with powers by Gabriel multiplication compatible with various geometric notions.

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeMay 5th 2011