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. ...
user267839's user avatar
  • 6,028
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 ...
Dmitry Vaintrob's user avatar
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 ...
user avatar
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 ...
user avatar
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 ...
user avatar
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): "...
Saal Hardali's user avatar
  • 7,789