|
7
|
|
edited Apr 15 2010 at 10:40 |
In "Une suite exacte de Mayer-Vietoris en K-th\'eorie alg\'ebrique" K-théorie algébrique (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.
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$ 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.
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.
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)? (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. (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$"?
upd
Edit 1: 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).
upd 1
Edit 2: as Vanya Cheltsov explained to me, the answer to question 3 is most likely no.
|
|
|
|
|
6
|
|
edited Apr 14 2010 at 17:08 |
In "Une suite exacte de Mayer-Vietoris en K-th\'eorie alg\'ebrique" (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.
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.
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.
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)? (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. (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$"?
upd: 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).
upd 1: as Vanya Cheltsov explained to me, the answer to question 3 is most likely no.
|
|
|
|
|
5
|
|
edited Feb 27 2010 at 14:56 |
In "Une suite exacte de Mayer-Vietoris en K-th\'eorie alg\'ebrique" (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.
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.
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.
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)? (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. (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$"?
upd: 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).
|
|
|
|
4
|
|
edited Dec 2 2009 at 18:57 |
In "Une suite exacte de Mayer-Vietoris en K-th\'eorie alg\'ebrique" (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 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.
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 intersecting containing a given line", which is isomorphic to an affine space.
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.
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)? (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. (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 an a point in $P_2$"?
upd: 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).
|
|
|
|
|
3
|
|
edited Dec 2 2009 at 2:57 |
In "Une suite exacte de Mayer-Vietoris en K-th\'eorie alg\'ebrique" (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 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.
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 intersecting a given line", which is isomorphic to an affine space.
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.
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)? (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. (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 an point in $P_2$"?
upd: in 1. and 2. the affine variety is 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).
|
|
|
|
|
2
|
|
edited Dec 2 2009 at 1:49 |
In "Une suite exacte de Mayer-Vietoris en K-th\'eorie alg\'ebrique" (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 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.
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 intersecting a given line", which is isomorphic to an affine space.
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.
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)? (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. (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 an point in $P_2$"?
upd: in 1. and 2. the affine variety is 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).
|
|
|
|
|
1
|
|
|
The Jouanolou trick
In "Une suite exacte de Mayer-Vietoris en K-th\'eorie alg\'ebrique" (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 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.
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 intersecting a given line", which is isomorphic to an affine space.
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.
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)? (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. (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 an point in $P_2$"?
|
|
|
