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 complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration 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 object 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
    • CommentTimeApr 12th 2011

    I have split off formally unramified morphism from unramified morphism. Then I added the general-abstract topos theoretic characterization, by essentially copy-and-pasting the discussion from formally smooth morphism (and replacing epimorphisms by monomorphisms)

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeApr 12th 2011

    Good. In the scheme context somebody should eventually take EGA IV and write various properties and theorems in that context.

    • CommentRowNumber3.
    • CommentAuthorHarry Gindi
    • CommentTimeApr 13th 2011
    • (edited Apr 13th 2011)

    Formal unramifiedness is a condition that is nonsense in the derived setting. It is a first approximation to formal etaleness and a that’s it (that is, in terms of the cotangent complex, it means that its zeroth homotopy vanishes.

    • CommentRowNumber4.
    • CommentAuthorHarry Gindi
    • CommentTimeApr 13th 2011
    • (edited Apr 13th 2011)

    I don’t believe that either the Kontsevich-Rosenberg or even the EGA version of formal smoothness is actually accepted in the context of derived algebraic geometry.

    For instance, formal smoothness fails to be determined stalkwise.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 13th 2011

    Formal unramifiedness is a condition that is nonsense in the derived setting.

    Yes, and for a good reason: in the \infty-categorical context the statement “epi plus mono is iso” is nonsense. Formal smoothness has a good \infty-version: XX is formally smooth if XdR(X)X \to dR(X) (the canonical morphism to the de Rham space) is an effective epimorphism (or similarly for the relative version). And analogously for formal etalness and equivalences. But the mono-condition that gives formally unramified in the 1-categorical context has no good analog.

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeApr 13th 2011

    I do not understand, what is the problem, could you guys explain it to me ? Is it in (,1)(\infty,1)-only, or also in (,2)(\infty,2)-context ? You started talking just vague \infty, what is confusing when making statement about different categorical dimensions.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeApr 13th 2011
    • (edited Apr 13th 2011)

    So in the 1-categorical context we look at the morphism

    XdR(X) X \to dR(X)

    of any space into its de Rham space and consider three cases

    1. it is an epimorphism, then we say XX is formally smooth;

    2. it is a monomorphism, then we say XX is formally unramified;

    3. or it is both, hence an isomorphism if we are in a balanced category, then we say XX is formally étale.

    (Or rather, we look at the relative versions of these statements, so that the second two points become useful).

    This is equivalent to what Kontsevich-Rosenberg consider, under the dictionary discussed here. Notice that there I write Π inf(X)\mathbf{\Pi}_{inf}(X) for dR(X)dR(X).

    Now when we lift this from 1-category theory to (,1)(\infty,1)-category theory, the notions of epimorphisms and of monomorphisms multiply. The good notion of epimorphism that we seem to want to keep here is effective epimorphism in an (infinity,1)-category. So we say

    1. A (derived) \infty-stack XX is formally smooth if XdR(X)X \to dR(X) is an effective epimorphism.

    2. A (derived) \infty-stack XX is formally etale if XdR(X)X \to dR(X) is an effective epimorphism equivalence.

    (Or rather, again, the relative versions of these statements.)

    But now there is no direct analog of the above mono-condition. We could ask XdR(X)X \to dR(X) to be a k-truncated morphism for all kk. For k=2k = -2 this is an equivalence. So we could say as kk decreases from \infty to -2 that we are approaching formal etalness.

    • CommentRowNumber8.
    • CommentAuthorHarry Gindi
    • CommentTimeApr 13th 2011

    Hey Urs, by the way, the determination of smoothness by requiring a map to be epi on the dR space only works with Noetherian hypotheses. This is because the nilradical is only a nilpotent ideal provided that R is noetherian.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeApr 13th 2011
    • (edited Apr 14th 2011)

    We still need to go back to the entry de Rham space and fill in all the right technical qualifiers in order to correctly reproduce various traditional notions.

    But I am currently taking a general perspective essentially equivalent to that of Kontsevich-Rosenberg’s: since I can define dR(X)dR(X) abstractly in great generality, I define formal smoothness in any context by this epi-condition. But then of course, I agree, one wants to carefully state the conditions under which this reproduces various traditional notions.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeApr 14th 2011

    I have expanded the definition of formal smoothness/unramifiedness/étaleness in the general abstract context of “infinitesimal cohesion” here and added a note highlighting the subtlety about the unramified-condition discussed above.

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

    sorry, that last addition that I mentioned is still not visible. The Lab has been slow all day, but now it takes many minutes to save long entries like that on cohesive \infty-toposes. A steam engine computer would be faster. And apparently we are now actually at the point where it fails to safe at all. Maybe I need to split the entry. Or migrate to another software…

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeApr 14th 2011

    I have split the entry in two. I didn’t see another way out after unsuccessfully trying to safe it for about an whole hour. The paragraph that I had meant to point to above should now be visible here. Not a big deal, that was just meant as a side remark. A side remark that cost me an hour of experimenting.