Skip to main content
added 32 characters in body
Source Link
Dmitri Panov
  • 28.9k
  • 4
  • 92
  • 161

I think, that many basic restrictions, that you have for complex projective varieties still hold for proper smooth complex varieties. Let me show that $b_2>0$, and $b_{2n-2}>0$.

Suppose that $X^{2n}$ is a proper smooth complex variety. Then there is a birational morphism $\phi: Y^{2n}\to X^{2n}$ from a projective variety $Y$ to $X$. Let $E_1,...,E_n$ be all the exceptional divisors of $\phi$. Since $Y$ is projective there is a divisor $D\subset Y$ that has a point $x$ in $Y^{2n}\setminus (E_1,...E_n)$ and there is a curve $C$ in $Y$ passing through $x$ and not contained in $D$. Consider finally the divisor $\phi(D)$ and the curve $\phi(C)$ in $X^{2n}$. Note that they intersect positively (since they have common point $\phi(x)$ and $\phi(C)$ does not belong to $ \phi(D)$). So they represent non-zero cycles in $H_2(X^{2n})$ and $H^{2n-2}(X^{2n})$$H_{2n-2}(X^{2n})$.

Also, it is very easy to see that $b_1$ should be even. Indeed the fundamental group of a smooth complex variety is a birational invariant, and $b_1$ depends only on $\pi_1$.

I have an idea how using weak factorization of birational maps one can prove that all other $2k+1$ Betty numbers are even. But this requires some work, so I'll write this if I manage to work out details (I believe this should be a very well known fact).

I think, that many basic restrictions, that you have for complex projective varieties still hold for proper smooth complex varieties. Let me show that $b_2>0$, and $b_{2n-2}>0$.

Suppose that $X^{2n}$ is a proper smooth complex variety. Then there is a birational morphism $\phi: Y^{2n}\to X^{2n}$ from a projective variety $Y$ to $X$. Let $E_1,...,E_n$ be all the exceptional divisors of $\phi$. Since $Y$ is projective there is a divisor $D\subset Y$ that has a point $x$ in $Y^{2n}\setminus (E_1,...E_n)$ and there is a curve $C$ in $Y$ passing through $x$. Consider finally the divisor $\phi(D)$ and the curve $\phi(C)$ in $X^{2n}$. Note that they intersect positively (since they have common point $\phi(x)$ and $\phi(C)$ does not belong to $ \phi(D)$). So they represent non-zero cycles in $H_2(X^{2n})$ and $H^{2n-2}(X^{2n})$.

Also, it is very easy to see that $b_1$ should be even. Indeed the fundamental group of a complex variety is a birational invariant, and $b_1$ depends only on $\pi_1$.

I have an idea how using weak factorization of birational maps one can prove that all other $2k+1$ Betty numbers are even. But this requires some work, so I'll write this if I manage to work out details (I believe this should be a very well known fact).

I think, that many basic restrictions, that you have for complex projective varieties still hold for proper smooth complex varieties. Let me show that $b_2>0$, and $b_{2n-2}>0$.

Suppose that $X^{2n}$ is a proper smooth complex variety. Then there is a birational morphism $\phi: Y^{2n}\to X^{2n}$ from a projective variety $Y$ to $X$. Let $E_1,...,E_n$ be all the exceptional divisors of $\phi$. Since $Y$ is projective there is a divisor $D\subset Y$ that has a point $x$ in $Y^{2n}\setminus (E_1,...E_n)$ and there is a curve $C$ in $Y$ passing through $x$ and not contained in $D$. Consider finally the divisor $\phi(D)$ and the curve $\phi(C)$ in $X^{2n}$. Note that they intersect positively (since they have common point $\phi(x)$ and $\phi(C)$ does not belong to $ \phi(D)$). So they represent non-zero cycles in $H_2(X^{2n})$ and $H_{2n-2}(X^{2n})$.

Also, it is very easy to see that $b_1$ should be even. Indeed the fundamental group of a smooth complex variety is a birational invariant, and $b_1$ depends only on $\pi_1$.

I have an idea how using weak factorization of birational maps one can prove that all other $2k+1$ Betty numbers are even. But this requires some work, so I'll write this if I manage to work out details (I believe this should be a very well known fact).

Source Link
Dmitri Panov
  • 28.9k
  • 4
  • 92
  • 161

I think, that many basic restrictions, that you have for complex projective varieties still hold for proper smooth complex varieties. Let me show that $b_2>0$, and $b_{2n-2}>0$.

Suppose that $X^{2n}$ is a proper smooth complex variety. Then there is a birational morphism $\phi: Y^{2n}\to X^{2n}$ from a projective variety $Y$ to $X$. Let $E_1,...,E_n$ be all the exceptional divisors of $\phi$. Since $Y$ is projective there is a divisor $D\subset Y$ that has a point $x$ in $Y^{2n}\setminus (E_1,...E_n)$ and there is a curve $C$ in $Y$ passing through $x$. Consider finally the divisor $\phi(D)$ and the curve $\phi(C)$ in $X^{2n}$. Note that they intersect positively (since they have common point $\phi(x)$ and $\phi(C)$ does not belong to $ \phi(D)$). So they represent non-zero cycles in $H_2(X^{2n})$ and $H^{2n-2}(X^{2n})$.

Also, it is very easy to see that $b_1$ should be even. Indeed the fundamental group of a complex variety is a birational invariant, and $b_1$ depends only on $\pi_1$.

I have an idea how using weak factorization of birational maps one can prove that all other $2k+1$ Betty numbers are even. But this requires some work, so I'll write this if I manage to work out details (I believe this should be a very well known fact).