4
$\begingroup$

Let $X$ be a smooth projective variety over the complex numbers. Is $X$ a global complete intersection inside a smooth projective toric variety?

$\endgroup$
5
  • 1
    $\begingroup$ Projective $n$-space is a smooth projective toric variety, and to me "global complete intersection" is just another way to say "complete intersection" (as opposed to "local complete intersection"). So the answer is yes, unless you mean something different by "global complete intersection". $\endgroup$ Mar 19, 2018 at 8:47
  • 2
    $\begingroup$ I do not understand. Not all smooth projective varieties are global complete intersections in a projective space, for instance because in higher dimension a complete intersection in $\mathbb P^n$ is necessarily simply connected. $\endgroup$ Mar 19, 2018 at 9:04
  • 2
    $\begingroup$ The question becomes more interesting if you add "set-theoretic". Then I think very little is known even for curves. $\endgroup$ Mar 19, 2018 at 9:43
  • 1
    $\begingroup$ Ah sorry, I somehow read "let $X$ be a smooth projective complete intersection", which made the question trivial. $\endgroup$ Mar 19, 2018 at 9:53
  • $\begingroup$ @PiotrAchinger Is it expected, ie. conjectured, that every smooth projective variety is a set theoretic complete intersection in a toric variety? At least I know of no example of a smooth projective variety that isn't. $\endgroup$
    – user120812
    Mar 19, 2018 at 16:33

1 Answer 1

12
$\begingroup$

Any smooth projective toric variety is rational, in particular simply connected.

Then, by the Lefschetz hyperplane theorem for global complete intersections, if $\dim X \geq 3$ is a smooth complete intersection into a smooth toric variety then $\pi_1(X)=\{1\}$.

In particular, for instance, abelian varieties of dimension at least $3$ cannot be realized as global complete intersections into a smooth toric ambient.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.