# Questions tagged [formal-schemes]

The tag has no usage guidance.

86 questions
Filter by
Sorted by
Tagged with
104 views

524 views

142 views

195 views

373 views

### Formal Schemes Methods: Applications

Possibly this question is bit too broad but up to now I was not able to find a satisfying answer. Let $X$ be a locally Noetherian scheme and $X' \subset X$ be a closed subscheme of $X$ which is ...
897 views

472 views

### Basic example of a formal affine scheme, functorial point of view

$\let\opn=\operatorname$For my BA thesis I have to describe formal groups from the functorial point of view. I am hence reading Strickland - Formal Schemes and Formal Groups, which is apparently the ...
172 views

### Reference Request: Categorical/Functorial approach to Formal Schemes and Formal Groups

For my Bachelor thesis, I am looking for refernces about Formal Schemes and Formal Groups from the categorical point of view. So far I was only able to find Strickland's article Formal Schemes and ...
85 views

### Reference request : $I$-adic smoothness

The following result has been know for a while now: Let $f:\mathfrak X \rightarrow \mathfrak Y$ be an adic morphism of (locally) Noetherian formal schemes and $K\subset \mathcal O_{\mathfrak Y}$ and ...
858 views

### GAGA for henselian schemes

In this paper, F. Kato recollects basic facts on henselian schemes and proves some partial results towards GAGA in the context of henselian schemes. Let $I$ be a finitely generated ideal in a ... 118 views

### Smooth loci and formal neighborhoods

Let $R$ be a Noetherian local ring with maximal ideal $I$. Suppose we have a morphism of smooth $R$-algebras $f : A\to B$ such that its reduction modulo $I^n$ $$f_n : A/I^n \to B/I^n$$ is an ... 287 views

### A translation between formal and rigid geometry

The following lemma is in Bosch's book "Lectures on Formal and rigid geometry" p198. Lemma Let $K$ be a non-archimedean field and $R$ its valuation ring. Let $X= \mathrm{Spf}A$ be an affine ...
267 views

### about morphisms of affine formal schemes $\mathrm{Spf}(B)\to \mathrm{Spf}(A)$

It is well known that there is a correspondence between homomorphism of rings $A\to B$ and morphism of affine schemes $\mathrm{Spec}(B) \to \mathrm{Spec}(A)$. Question: (1) In analogy, is there ...
880 views

### Intuition about $\mathrm{Spec}\mathbb{C}[[t]]$ versus $\mathrm{Spf}\mathbb{C}[[t]]$ versus $\mathrm{Specan}\mathbb{C}[[t]]$ (and similar objects)

The first one $\mathrm{Spec}\mathbb{C}[[t]]$ is a scheme, the second one $\mathrm{Spf}\mathbb{C}[[t]]$ is a formal scheme. In my mind they both realize an "infinite order infinitesimal neighbourhood ...
380 views

### Coherent modules over complete adic rings: counterexamples

Let $A$ be a coherent ring, complete with respect to the adic topology generated by a finitely generated ideal $I$. Define the category $Coh(A,I)$ whose objects are inverse systems $\{M_n\}$ of $A$-... 222 views

### Absolute approximation of formal schemes

Let $\mathfrak{X}_j$ be an inverse system of qcqs $p$-adic formal scheme, flat over $\mathbf{Z}_p$, with affine transition maps, and assume $\mathcal{O}_{\mathfrak{X}_j}$ is a coherent sheaf of ... 1k views

### Basic questions about formal schemes

I have some questions related to formal schemes. Essentially I would like to understand how much formal schemes are different from usual schemes. First of all, let me specify the definition I prefere ...
215 views

### Smoothness in formal GAGA

Suppose $X$ is a noetherian scheme over a complete noetherian local ring $(A,\mathfrak{m})$, and assume $X$ is projective. If $\widehat{X}$, the $\mathfrak{m}$-adic formal completion, is smooth in ... 247 views

### Algebraization of open formal subschemes

Let $\mathfrak{X}$ be a locally noetherian adic formal scheme over $\text{Spf}(A)$, with $A$ an $I$-adically complete and separated noetherian ring. Suppose the mod $I$-fiber of $\mathfrak{X}$ is an ... 