Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0AKQ

Go back to the tag's page.

type time link
changed the statement 2022-04-11 c84e5d2
Introduce more types of formal algebraic spaces

It seems worthwhile to do this, but it won't make the chapter on formal
algebraic spaces easier to grok. Still, it seems to me that the notion
of what is currently called "locally weakly adic" is the *correct*
replacement of "adic" formal schemes.
assigned tag 0AKQ 2014-07-24 98b9f96
Tags: Added new tags
created statement with label lemma-property-goes-up-affine in formal-spaces.tex 2014-07-17 29fa1cc
Descent result for "of finite ideal type"

We are going to call this condition adic* because it is shorter than the
terminology "of finite ideal type" which is used in Fujiwara-Kato. The
descent result allows us to define the notion of a ``locally adic*''
formal algebraic space (we may change this later into just "adic*").