Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
107 views

Deformation of complex manifolds that admit reduction modulo $p$

Let $(M,B,\omega)$ be a complex analytic family of compact (projective non singular) complex manifolds, where $B \subset \mathbb{C}^{m}$ is some domain. Lets consider a subclass of such manifolds $\{...
Mishkaat's user avatar
  • 331
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,018
2 votes
0 answers
658 views

Preserved invariants by a flat family

Let $X, C$ be schemes and $f: X \to C$ be a "flat family". That is $f$ is flat morphism. For sake of simplicity we can say that $f$ is surjective and $C$ is an irreducible curve that "parametrizes" ...
user267839's user avatar
  • 6,018
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
12 votes
1 answer
463 views

Obstructed automorphisms of schemes

Let $X$ be a smooth projective scheme over a field $\mathbf{k}$ of characteristic zero such that $\mathrm{H}^0(X, \mathrm{T}X)$ vanishes, and let $f$ be an automorphism of $X$. I would like to have an ...
Julien Grivaux's user avatar
7 votes
1 answer
899 views

Isotrivial families with non-zero Kodaira spencer map

Let $S$ be a smooth quasi-projective curve over the complex numbers. Let $P$ be a closed point in $S$. Let $f:\mathcal X \to S$ be a polarized family of smooth projective connected varieties. To this ...
Pancho's user avatar
  • 171
2 votes
2 answers
575 views

Infinitesimal deformations of a fibration

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties over an algebraically closed field with connected fibers. Assume that both $Y$ and the general fiber of $f$ admit a non-trivial ...
user avatar
1 vote
1 answer
341 views

Smoothness and smoothness over formal neighborhood

Let $f:X\rightarrow Y$ a locally finitely presented map. Let $x\in X$ and $y=f(x)$. We assume that the map on the level of fomal neighborhoods $X_{x}\rightarrow Y_{y}$ is formally smooth, can we find ...
prochet's user avatar
  • 3,472
2 votes
0 answers
249 views

fpqc, formal smoothness

Based on Possible formal smoothness mistake in EGA, let $X$ and $Y$ $k$-schemes ($k$ a field), let $f:X\rightarrow Y$ a fpqc morphism such that $f$ is formally smooth and $X$ formally smooth, do we ...
prochet's user avatar
  • 3,472
5 votes
0 answers
260 views

formal smooth morphism with a formal smooth source

Let $f:X\rightarrow Y$ a morpism between $k$-schemes ( $k$ a field). We suppose that X is formally smooth and f is formally smooth and surjective. Do we have that $Y$ is formally smooth? Or if it's ...
prochet's user avatar
  • 3,472
17 votes
2 answers
1k views

What is an explicit example of a variety X which is finite over Spec F_p but which does not lift to a scheme Y which is finite and flat over Spec Z_p?

What is an explicit example of a variety X which is finite over Spec F_p but which does not lift to a scheme Y which is finite and flat over Spec Z_p?
David Zureick-Brown's user avatar