# Questions tagged [formal-schemes]

The tag has no usage guidance.

64 questions
Filter by
Sorted by
Tagged with
192 views

### Formal neighbourhood of a closed subscheme

Let $X$ be a variety and $Y \subset X$ a closed subvariety. Edit: Assume they are both smooth. Denote $N_{Y / X}$ the normal bundle of $Y$ in $X$. The formal neighbourhood of $Y$ in $X$ is the ...
388 views

### Connectedness, loops and formal moduli problems

Let $k$ be an algebraically closed field of characteristic zero. Formalizing a classical folk concept, Pridham and (in a different way,) Lurie defined a formal moduli problem (over $k$) to be a ...
311 views

165 views

### Theorem on Formal Schemes

I have few questions about the proof of Thm 7.5 from P. Wagreich's paper "Elliptic Singularities of Surfaces" (page 452): Denote by $\mathcal{N}$ the kernel of $A \to H^0(O_Z)$ (sorry, I haven't ...
281 views

### Keep blowing up all $k$-rational points

In the construction of Drinfeld space, one uses the following construction of formal schemes (see appendix B of "Period mappings and differential equations. From $\mathbb C$ to $\mathbb C_p$" by Yves ...
106 views

314 views

### What is the essential image of $AbVar$ in $p-div$?

Given an abelian variety $A$ over a base scheme $\text{Spec } \mathcal{O}_{K_p}$, we define the functor $P$ as taking $A \mapsto \text{colim}_n A[p^n]$, its associated $p$-divisible group. What is the ...
236 views

### Algebraizability of formal schemes

Let $R$ be a complete DVR with quotient field $K$ and let $f:\mathfrak{X} \to \mathrm{Spf}(R)$ be a smooth proper formal scheme. If the (rigid analytic) generic fibre of $f$ is (the analytification ...
328 views

### References on topological rings

What is a good book on topological rings and modules? I'm interested in topological rings and modules typically endowed with non-linear topologies, e.g.. non-linearly topologized normed rings. I ...
243 views

### generic fibre functor for relative rigid spaces

The classical theory of formal models of rigid analytic spaces due to Raynaud introduces the category of admissible R-formal schemes for $R$ a discretely valued ring, which includes locally ...
373 views

### Formal completion of a complex normal bundle along the zero section

The total space of a complex normal bundle over a submanifold $Y$ in a complex manifold $X$ can be seen as an analytic scheme. If one blindly uses Hartshorne's definition about "formal schemes" from ...
625 views

### A derived category of formal sheaves

Grothendieck (EGA I 0.7 & 1.10) defined a category of (topologically Noetherian) "formal rings" and a corresponding global category of formal schemes. Roughly, a formal ring is a topological ...
557 views

### Compatibility of formal completion and rigid analytic generic fiber

Let $R$ be a complete valuation ring of rank $1$ (e.g., a complete discrete valuation ring) and let $K$ be its field of fractions. Consider a proper $R$-scheme $X$ that is, say, normal (if needed). ...
378 views

### Why are formal schemes assumed to be (locally) noetherian?

All sources that I know that study formal schemes seem to assume that they are locally noetherian. For instance, in Hartshorne "Algebraic Geometry", the author states: "For technical reasons we will ...
97 views

### Approximating formal surfaces by analytic surfaces

Let $C$ be a smooth projective curve contained in a smooth projective $3$-fold (everything defined over $\mathbb C$). Let $\widehat X$ be the formal completion of $X$ along $C$ and suppose there ...
179 views

### Complete subring of F_p[[X]]

Pointed out on famous disbelief, I know now that there is an embedding $\iota_n \colon {\Bbb F}_p[[T_1,...,T_n]] \hookrightarrow {\Bbb F}_p[[X,Y]]$ for any $n \leq \infty$. Then I would like to ask ...
540 views

### Algebro-geometric version of {vector fields} $\longleftrightarrow$ {flows} correspondence?

Main Question: What Is the correpondence between flows and vector fields in algebraic geometry? Here is a more precise statement could be an answer If it was true (I have no idea it is): "...
195 views

### Dieudonne modules and Cartier-Dieudonne module of a formal group

As far as I understand, there are Dieudonne modules defined through the homomorphisms to Witt covector scheme and Cartier-Dieudonne modules defined by curves. Am I right that the latter sometimes (for ...
342 views

### Representability of deformation functors via SGA

I'm trying to understand Böckle's proof of Theorem 2.1.1 in his notes on deformation theory. Let's start with some motivation. Let $\Gamma$ be a profinite group (I'm thinking of an absolute Galois ...
1k views

### Formal group law is a group object in …?

A formal group law over a commutative ring $R$, (by nLab) is a sequence of power srires $$f_1,...,f_n\in R[[x_1,...,x_n,y_1,...,y_n]]$$ such that, using the notation  x=(x_1,...,x_n),y=(y_1,.....
242 views

3k views

### Rigid analytic spaces vs Berkovich spaces vs Formal schemes

I wonder if someone could explain briefly what is the relation between these 3 formal models, of a Berkovich space, a rigid analytic space and a formal scheme? I have been working with formal schemes ...
123 views

### Realization of a formal duality isomorphism via integration

This is a more precise version of my previous question. Let $X$ be a smooth variety of dimension $n$ over $\mathbb{C}$ and $Z$ a proper sub-scheme. We denote by $\tilde{X}$ the formal completion of $X$...
Suppose $R$ is an adic valuation ring with a finitely generated ideal of definition. Let $A$ be an $R$-algebra of topologically finite type, i.e. $A$ is isomorphic to $R<\zeta_1,\zeta_2,...,\zeta_n&... 1answer 674 views ### Dimension of formal fiber The question comes from my attempt to understand the following question. height of contracted prime ideals in power series rings$\bullet$My original question: Let$(R,m)$be a Noetherian local ring ... 1answer 545 views ### working with local rings: “abstract” vs “geometric” proofs Let$R$be a local ring (commutative, Noetherian, over an algebraically closed field; if needed Henselian). Suppose one wants to prove some statement. Suppose$R$happens to be the ring of "functions"... 1answer 387 views ### quotients of varieties as non-noetherian schemes? Let$X$be a variety (i.e. a reduced scheme of finite type over a field) and let$G$be an abstract group, finitely generated, acting of$X$algebraically freely. The example I have in mind is$\...
If $f: X \rightarrow Y$ is a proper morphism of locally noetherian schemes with $f_* \mathcal{O}_X = \mathcal{O}_Y$ then the thm. of formal functions tells us that $f$ has connected fibers, since ...