The Jouanolou trick - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T18:31:46Z http://mathoverflow.net/feeds/question/7374 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/7374/the-jouanolou-trick The Jouanolou trick algori 2009-12-01T04:46:45Z 2010-04-15T11:36:57Z <p>In <em>Une suite exacte de Mayer-Vietoris en K-théorie algébrique</em> (1972) Jouanolou proves that for any quasi-projective variety $X$ there is an affine variety $Y$ which maps surjectively to $X$ with fibers being affine spaces. This was used e.g. by D. Arapura to (re)prove that the Leray spectral sequence of any morphism of quasi-projective varieties is equipped from the second term on with a natural mixed Hodge structure.</p> <p>Here is a proof when $X$ is $\mathbf{P}^n$ over a field $k$: take $Y$ to be the affine variety formed by all $n+1 \times n+1$ matrices which are idempotent and have rank 1. This is indeed affine since it is given by the equations $A^2=A$, the characteristic polynomial of $A$ is $x^n(x-1)$. Moreover, $Y$ is mapped to $\mathbf{P}^n(k)$ by taking a matrix to its image. The preimage of a point of $\mathbf{P}^n(k)$ is "the set of all hyperplanes not containing a given line", which is isomorphic to an affine space.</p> <p>The general (quasi-projective) case follows easily from the above. However, it is not clear how to generalize Jouanolou's trick for arbitrary varieties. Nor is it clear (to me) that this is impossible.</p> <ol> <li><p>Is there an analogue of the Jouanolou lemma for arbitrary (not necessarily quasi-projective) varieties (i.e. reduced separated schemes of finite type over say an algebraically closed field)?</p></li> <li><p>(weaker version of 1 over complex numbers) Is there, given a complex algebraic variety $X$, an affine variety $Y$ that maps surjectively to $X$ and such that all fibers are contractible in the complex topology? A negative answer would be especially interesting.</p></li> <li><p>(the following question is a bit vague, but if it has a reasonable answer, then it would probably imply a positive answer to 2.) Is there a quasi-projective analog of the topological join of two projective spaces? I.e., if $P_1$ and $P_2$ are two complex projective spaces, is there a quasi-projective variety $X$ which "contains the disjoint union of $P_1$ and $P_2$ and is formed by all affine lines joining a point in $P_1$ with a point in $P_2$"?</p></li> </ol> <p><strong>Edit 1</strong>: in 1. and 2. the varieties are required to be connected (meaning that the set of closed points is connected in the Zariski topology; in 2 one could use the complex topology instead).</p> <p><strong>Edit 2</strong>: as Vanya Cheltsov explained to me, the answer to question 3 is most likely no.</p> http://mathoverflow.net/questions/7374/the-jouanolou-trick/7520#7520 Answer by Charles Siegel for The Jouanolou trick Charles Siegel 2009-12-01T23:14:55Z 2009-12-01T23:14:55Z <p>Well, as no one else has said anything, I'll say the only thing that's come to mind, which is fairly elementary. It should be enough to do this for complete varieties, so restrict to that case. The only other thing I've got is that by Chow's lemma, there's $\bar{X}\to X$ a projective variety over $X$ and a birational map. So this tells us that over an open set, everything should work, so we can reduce to the exceptional locus. It will itself be an open subset of a complete variety, so we can at least get something like this for a stratification of an arbitrary variety, so if we're willing to cheat horribly, we can use the disjoint union of these varieties, to do it, though my thought is that the dimension of the affine space over a point will be semicontinuous rather than constant, so it's of much less use. I don't see immediately how to get an irreducible one.</p> http://mathoverflow.net/questions/7374/the-jouanolou-trick/7602#7602 Answer by Ilya Nikokoshev for The Jouanolou trick Ilya Nikokoshev 2009-12-02T19:17:57Z 2009-12-02T19:41:04Z <p>I might be missing something about <strong>question 3</strong>. Here's a simple construction:</p> <p>Consider a projective space $P$ of dimension $\text{dim}\, P_1 + \text{dim}\, P_2$ that contains both $P_1$ and $P_2$ in general position. Then each point of $P-P_1-P_2\$ lies on exactly one line connecting $x$ from $P_1$ with $y\in P_2$. Is this the kind of join you're looking for?</p> <p><strong>About question 2</strong>, I have a simpler thing that isn't clear to me (<a href="http://mathoverflow.net/questions/7603/topologically-contractible-algebraic-varieties" rel="nofollow">now posted as a question</a>): </p> <blockquote> <p>is a complex algebraic variety which is topologically contractible necessarily affine?</p> </blockquote> http://mathoverflow.net/questions/7374/the-jouanolou-trick/21362#21362 Answer by Donu Arapura for The Jouanolou trick Donu Arapura 2010-04-14T17:28:35Z 2010-04-15T11:36:57Z <p>Jounalou's trick is great isn't it? Off the top of my head, I don't know anything similar for non quasiprojective varieties or schemes. One can certainly use Chow's lemma to reduce to the quasiprojective case, but it's a lot messier ...</p> http://mathoverflow.net/questions/7374/the-jouanolou-trick/21437#21437 Answer by ulrich for The Jouanolou trick ulrich 2010-04-15T09:30:06Z 2010-04-15T09:30:06Z <p>Jouanolou's trick has been extended to schemes with an "ample family of line bundles" by Thomason; see Weibel: Homotopy Algebraic K-theory, Proposition 4.4. This includes all smooth varieties and more generally all varieties with torsion local class groups. However, there exist (positive dimensional) proper varieties with no non-trivial line bundles on them; it seems possible that on such varieties there are no affine bundles with affine total space.</p>