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 30th 2011
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 30th 2011

    I have edited it a bit. We need an entry closed morphism, then.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeApr 30th 2011

    Universally closed morphisms are in KR 6.8.1 interpreted in terms of formal M vM_v-smoothness in the sense of 6.3 and for a specific class M vM_v related to valuation rings. Similarly for properness and separatedness. This is just a reinterpretation of the valuative criteria of Chevalley in the generality of EGA II. So I created entries EGA II, valuative criterion of separatedness and valuative criterion of properness. For the latter cf. also the diagram at wikipedia proper morphism.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 30th 2011

    Thanks. I have to run now. Will try to look at this later.