What is the replacement for a "sufficiently small disc" in characteristic p? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T15:21:13Z http://mathoverflow.net/feeds/question/68596 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/68596/what-is-the-replacement-for-a-sufficiently-small-disc-in-characteristic-p What is the replacement for a "sufficiently small disc" in characteristic p? Vivek Shende 2011-06-23T08:59:24Z 2011-06-24T07:33:52Z <blockquote> <p>How do I make the following sort of argument work in characteristic p?</p> </blockquote> <p>Let $f:X \to Y$ be a proper equidimensional map of smooth algebraic varieties, assume all fibres are reduced. Say at some point $y \in Y$, I have computed the differential and know that $df(T_x X) \supset V$ for all $x \in X_y$ and some vector subspace $V \subset T_y Y$. Then over a sufficiently small polydisc $D$ such that $T_y D + V = T_y Y$, the total space of $X_D$ is smooth. Thus the same is true of a (say) one-dimensional thickening $\tilde{D}$ of $D$, and so moving $D$ a little bit in $\tilde{D}$ produces many deformation equivalent smooth manifolds (with boundary) $X_{D'}$. </p> <p>In particular if I want to know something about $H^*(X_y)$, I can first thicken to the smooth $X_D$ which is homotopy equivalent to it, then move $X_D$ to the diffeomorphic $X_{D'}$, which I prefer because say $D'$ avoids some bad points in $Y$. </p> http://mathoverflow.net/questions/68596/what-is-the-replacement-for-a-sufficiently-small-disc-in-characteristic-p/68704#68704 Answer by Torsten Ekedahl for What is the replacement for a "sufficiently small disc" in characteristic p? Torsten Ekedahl 2011-06-24T07:33:52Z 2011-06-24T07:33:52Z <p>I think it would be difficult to give a general result that covers everything you want and can do but there is a collection of techniques (maybe better described as a dictionary) that works in many cases.</p> <ul> <li>A polydisc should be replaced by the strict Henselisation of some (smooth) subvariety $T$ passing through $y$. The fact that $X_y$ is homotopy equivalent to $X_D$ is then replaced by the proper base change theorem.</li> <li>The transversality property has a direct analogue in that one may arrange that $T$ is transversal to $f$ and hence that $X_T$ is smooth.</li> <li>Deformation of $D$ is replaced by choosing, locally on $Y$, a smooth map $Y\to Z$ such that $T$ is one of the fibres. To get closer to the topological situation one should probably also assume that a section has been chosen. Deformations correspond to fibres over other other points of $Z$ (or rather the Henselisation at the corresponding point of the section).</li> <li>To compare (the analogues of) $X_D$ and $X_{D'}$ one probably also would need the smooth base change theorem together with the proper base change theorem.</li> </ul> <p>As I said to see how this works in any particular situation one would need to have more details on it, no <em>a priori</em> success is guaranteed.</p>