MathOverflow Asked by David Zureick-Brown on August 9, 2020

Such an example of course could not be projective and would not itself lift to Z_p. The context is that one can compute p-adic cohomology of a variety X over a finite field F_p via the cohomology of an embedding of X into a smooth Z_p scheme.

This is similar in spirit to my questions here and here (but a different question than the second link).

EDIT 7/15/14 I was just looking back at this old answer, and I don't think I ever answered the stated question. I can't delete an accepted answer, but I'll point at that, as far as I can tell, the Vakil reference I give also only address the question of deforming $X$ over $mathbb{Z}_p$, not of embedding it in some larger flat family over $mathbb{Z}_p$.

EDIT Oops! David Brown points out below that I misread the question. I was answering the question of finding a smooth scheme which does not deform in a smooth family over Z_p.

Well, to make up for that, I'll point to some references which definitely contain answers. Look at section 2.3 of Ravi Vakil's paper on Murphy's law for deformation spaces http://front.math.ucdavis.edu/0411.5469 for some history, and several good references. Moreover, Ravi describes how to build an explicit cover of P^2 in characteristic p which does not deform to characteristic 0. Basically, the idea is to take a collection of lines in P^2 which doesn't deform to characteristic 0 and take a branched cover over those lines. For example, you could take that p^2+p+1 lines that have coefficients in F_p.

Correct answer by David E Speyer on August 9, 2020

A theorem of Wlodarczyk in "Embedding varieties in toric varieties" says that any smooth variety such that any two points are contained in an affine open set can be embedded in a smooth toric variety. Toric varieties can be lifted to Z_p so any variety over F_p with the above property can be embedded in a smooth scheme over Z_p.

Unfortunately, not all smooth varieties have this property; the example in Hartshorne of a smooth proper 3-fold which is not projective appears to be one where this fails (though for suitable choices these could lift to Z_p).

Answered by ulrich on August 9, 2020

I know that Kiran Kedlaya knows the answer to this question. You might e-mail him.

Answered by David E Speyer on August 9, 2020

0 Asked on December 1, 2020 by yiming-xu

fa functional analysis harmonic analysis linear algebra numerical linear algebra

2 Asked on November 30, 2020

fa functional analysis infinite dimensional manifolds lie groups nuclear spaces rigged hilbert spaces

0 Asked on November 30, 2020 by domotorp

1 Asked on November 28, 2020 by tobias

ca classical analysis and odes co combinatorics differential calculus real analysis

1 Asked on November 28, 2020 by ttip

ag algebraic geometry derived categories homological algebra ra rings and algebras triangulated categories

1 Asked on November 27, 2020 by johnny-t

analytic number theory lattices mg metric geometry nt number theory real analysis

1 Asked on November 26, 2020 by norman-goldstein

9 Asked on November 21, 2020 by frank-thorne

0 Asked on November 19, 2020 by dmitry-vaintrob

ag algebraic geometry algebraic number theory at algebraic topology dg differential geometry hodge theory

2 Asked on November 18, 2020 by lchen

computational complexity graph theory oc optimization and control

2 Asked on November 17, 2020 by joel-david-hamkins

0 Asked on November 14, 2020 by 1

0 Asked on November 9, 2020 by tim-campion

ct category theory higher category theory homotopy theory infinity categories

3 Asked on November 7, 2020 by alekk

1 Asked on November 5, 2020 by aryeh-kontorovich

1 Asked on November 3, 2020 by ippiki-ookami

0 Asked on October 29, 2020 by bruno-peixoto

0 Asked on October 26, 2020 by alex-m

brownian motion pr probability riemannian geometry stochastic calculus stochastic processes

2 Asked on October 25, 2020 by kurisuto-asutora

0 Asked on October 18, 2020 by arkady

Get help from others!

Recent Answers

- Lex on Does Google Analytics track 404 page responses as valid page views?
- Peter Machado on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP