Skip to main content

All Questions

Filter by
Sorted by
Tagged with
12 votes
1 answer
1k views

Motivation for Henselian rings in algebraic geometry

In Andrew Kobin's script on Algebraic Geometry I found on page 355 a comment I would like better understand. It states Another way to view formal smoothness is as an abstraction of Hensel's Lemma. ...
11 votes
1 answer
789 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 ...
16 votes
1 answer
1k 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 ...
0 votes
1 answer
122 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 ...
2 votes
0 answers
257 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 ...
9 votes
1 answer
847 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): "...