All Questions
14 questions
2
votes
0
answers
354
views
Square-zero extensions mod $p^n$
$\DeclareMathOperator\LMod{LMod}\DeclareMathOperator\Mod{Mod}\DeclareMathOperator\Sp{Sp}$A square-zero extensions of rings is, conceptually, a map of rings $R \to A$ such that any two elements in the ...
- 68
0
votes
1
answer
360
views
Deformations of the Fermat curve
We work over an algebraically closed field $k$, say of characteristic $0$, just in case, and we let $C$ be a smooth curve over $k$. First-order deformations of $C$ (or of any smooth variety for that ...
- 119
2
votes
0
answers
131
views
versal deformation ring of a p-divisible group with some tensors
I'm trying to read Kisin's paper about the Integral model of Shimura varieties. In section five he discusses versal deformation ring of a p-divisible group. Assume that $K$ is a number field with ...
- 1,093
1
vote
0
answers
125
views
galois deformation ring with type is union of irreducible components
Notation:
$K$ finite extension of $\mathbb{Q}_p$, $G_K$ absolute Galois group of $K$,
$E$ is finite extension of $\mathbb{Q}_p$ (coefficient field), $O_E$ is ring of integer in $E$.
In this paper of ...
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 ...
user135665
5
votes
0
answers
424
views
Is it true that all smooth group schemes can be deformed?
Consider for instance the map $\mathbb Z/p^2 \to \mathbb Z/p$ and suppose we are given a group smooth scheme $G$ over $\mathbb Z/p$. Is it always possible to lift it to a smooth group scheme $G'$ over ...
- 7,746
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 ...
user129156
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 ...
user95222
9
votes
0
answers
374
views
Clarification on relationship between Grothendieck-Messing and Honda systems
It's well-known, due to work of Fontaine (see e.g. this), that if $k$ is a perfect field of characteristic $p$, then one can classify $p$-divisible groups over $W(k)$ by Honda systems. Namely, these ...
- 843
2
votes
1
answer
585
views
Confusion regarding Riemann-Roch for vector bundles
Let $k$ be an infinite non-algebraically closed field, $X$ a smooth projective curve on $k$ and $E$ a locally-free sheaf on $X$ of rank at least $2$. Denote by $\bar{k}$ the algebraic closure of $k$, $...
- 1,981
6
votes
1
answer
525
views
Lifting line bundles
Let $X$ be a smooth proper geometrically integral scheme over $\overline{\mathbb F_p}$. Assume $X$ is the specialization of a smooth proper scheme over $\mathbb Z_p^{nr}$. Let $L$ be an ample line ...
- 113
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 ...
- 171
0
votes
1
answer
630
views
Obstruction and 1st order infinitesimal deformations of Generalized Elliptic Curves (Deligne-Rapoport)
We consider the deformation theory of a generalized elliptic curve $(C_0,+)$ over a field $k$. Let $D$ be the deformation functor.
And now we only consider the case that $C_0$ is irreducible as in D-R ...
- 997
4
votes
1
answer
164
views
Deforming curves to other curves over the field of rational numbers
Let $X$ and $Y$ be smooth projective geometrically connected curves over $k$ of genus $g$ at least two.
If $k$ is an algebraically closed field of characteristic zero, there exists a connected ...
- 41