5
$\begingroup$

Let $X=\mathbb{P}(a_0,\ldots, a_n)$ be a well-formed weighted projective space, and let $a=\mathrm{lcm}(a_0,\ldots,a_n)$. Then $\mathcal{O}(a)$ embeds $X$ in projective space $\mathbb{P}^N$.

Question. Is $X$ cut out by quadrics in $\mathbb{P}^N$?

As far as I can tell, in general this is non-obvious for knapsack problem related reasons, though it is true for surfaces by Koelman's paper A criterion for the ideal of a projectively embedded toric surface to be generated by quadrics.

EDIT 3-3: Mateusz Michaelek has pointed out that $\mathcal{O}(a)$ does not generally embed X in projective space; for instance $\mathbb{P}(1,6,10,15)$ is not embedded by $\mathcal{O}(30)$, as the degree 60 monomial $x_0 x_1^4 x^2_2 x_3$ cannot be factored into degree 30 monomials. This example is example 2.17 of Toric geometry of path signature varieties. So in the question above, $\mathcal{O}(a)$ should be replaced with a very ample bundle $\mathcal{L}$, in which case I still don't know how to answer it.

$\endgroup$
2
  • 1
    $\begingroup$ I believe this is related to the conjectures of Neil White and of Herzog-Hibi. $\endgroup$ Feb 24, 2021 at 15:45
  • 1
    $\begingroup$ Regarding EDIT 3-3: the fact that a degree 60 monomial is not a product of degree 30 monomials is showing that $\mathcal{O}(a)$ does not give a projectively normal embedding, that is the polytope is not normal. However the fact that it's not very ample (which is also true) is a more subtle check, right? $\endgroup$ Mar 22, 2021 at 16:35

1 Answer 1

3
$\begingroup$

The following code in Sage gives information about the embedding of $\mathbb{P}(1,1,2,3)$ in $\mathbb{P}^{22}$ using $\mathcal{O}_{\mathbb{P}(1,1,2,3)}(6)$.

$\texttt{toric_varieties.WP(1,1,2,3).divisor([6,0,0,0]).Kodaira_map()}$

It produces the following output:

Scheme morphism:

From: 3-d toric variety covered by 4 affine patches

To: Closed subscheme of Projective Space of dimension 22 over Rational Field defined by:

-z16^2 + z0*z22, -z1*z20 + z0*z21, z21^2 - z14*z22, -z7*z16 + z0*z20, z20*z21 - z13*z22, z20^2 - z12*z22, -z1*z18 + z0*z19, z19*z21 - z11*z22, z19*z20 - z10*z22, z19^2 - z6*z22, -z1*z17 + z0*z18, z18*z21 - z10*z22, z18*z20 - z9*z22, z18*z19 - z5*z22, z18^2 - z4*z22, -z1*z16 + z0*z17, z17*z21 - z9*z22, z17*z20 - z8*z22, z17*z19 - z4*z22, z17*z18 - z3*z22, z17^2 - z2*z22, z16*z21 - z8*z22, z16*z20 - z7*z22, z16*z19 - z3*z22, z16*z18 - z2*z22, z16*z17 - z1*z22, -z7*z12 + z0*z15, z15*z19 - z14*z21, z15*z18 - z13*z21, z15*z17 - z12*z21, z15*z16 - z12*z20, -z1*z13 + z0*z14, z14*z20 - z13*z21, z14*z19 - z11*z21, z14*z18 - z10*z21, z14*z17 - z9*z21, z14*z16 - z8*z21, z14^2 - z11*z15, -z1*z12 + z0*z13, z13*z20 - z12*z21, z13*z19 - z10*z21, z13*z18 - z9*z21, z13*z17 - z8*z21, z13*z16 - z7*z21, z13*z14 - z10*z15, z13^2 - z9*z15, -z7^2 + z0*z12, z12*z19 - z9*z21, z12*z18 - z8*z21, z12*z17 - z7*z21, z12*z16 - z7*z20, z12*z14 - z9*z15, z12*z13 - z8*z15, z12^2 - z7*z15, -z1*z10 + z0*z11, z11*z20 - z10*z21, z11*z19 - z6*z21, z11*z18 - z5*z21, z11*z17 - z4*z21, z11*z16 - z3*z21, z11*z14 - z6*z15, z11*z13 - z5*z15, z11*z12 - z4*z15, z11^2 - z6*z14, -z1*z9 + z0*z10, z10*z20 - z9*z21, z10*z19 - z5*z21, z10*z18 - z4*z21, z10*z17 - z3*z21, z10*z16 - z2*z21, z10*z14 - z5*z15, z10*z13 - z4*z15, z10*z12 - z3*z15, z10*z11 - z5*z14, z10^2 - z4*z14, -z1*z8 + z0*z9, z9*z20 - z8*z21, z9*z19 - z4*z21, z9*z18 - z3*z21, z9*z17 - z2*z21, z9*z16 - z1*z21, z9*z14 - z4*z15, z9*z13 - z3*z15, z9*z12 - z2*z15, z9*z11 - z4*z14, z9*z10 - z3*z14, z9^2 - z2*z14, -z1*z7 + z0*z8, z8*z20 - z7*z21, z8*z19 - z3*z21, z8*z18 - z2*z21, z8*z17 - z1*z21, z8*z16 - z1*z20, z8*z14 - z3*z15, z8*z13 - z2*z15, z8*z12 - z1*z15, z8*z11 - z3*z14, z8*z10 - z2*z14, z8*z9 - z1*z14, z8^2 - z1*z13, z7*z19 - z2*z21, z7*z18 - z1*z21, z7*z17 - z1*z20, z7*z14 - z2*z15, z7*z13 - z1*z15, -z1*z15*z20 + z7*z12*z21, z7*z11 - z2*z14, z7*z10 - z1*z14, z7*z9 - z1*z13, z7*z8 - z1*z12, -z1*z12*z20 + z7^2*z21, -z1*z5 + z0*z6, z6*z20 - z5*z21, z6*z18 - z5*z19, z6*z17 - z4*z19, z6*z16 - z3*z19, z6*z13 - z5*z14, z6*z12 - z4*z14, z6*z10 - z5*z11, z6*z9 - z4*z11, z6*z8 - z3*z11, z6*z7 - z2*z11, -z1*z4 + z0*z5, z5*z20 - z4*z21, z5*z18 - z4*z19, z5*z17 - z3*z19, z5*z16 - z2*z19, z5*z13 - z4*z14, z5*z12 - z3*z14, z5*z10 - z4*z11, z5*z9 - z3*z11, z5*z8 - z2*z11, z5*z7 - z1*z11, z5^2 - z4*z6, -z1*z3 + z0*z4, z4*z20 - z3*z21, z4*z18 - z3*z19, z4*z17 - z2*z19, z4*z16 - z1*z19, z4*z13 - z3*z14, z4*z12 - z2*z14, z4*z10 - z3*z11, z4*z9 - z2*z11, z4*z8 - z1*z11, z4*z7 - z1*z10, z4*z5 - z3*z6, z4^2 - z2*z6, -z1*z2 + z0*z3, z3*z20 - z2*z21, z3*z18 - z2*z19, z3*z17 - z1*z19, z3*z16 - z1*z18, z3*z13 - z2*z14, z3*z12 - z1*z14, z3*z10 - z2*z11, z3*z9 - z1*z11, z3*z8 - z1*z10, z3*z7 - z1*z9, z3*z5 - z2*z6, z3*z4 - z1*z6, z3^2 - z1*z5, -z1^2 + z0*z2, z2*z20 - z1*z21, z2*z18 - z1*z19, z2*z17 - z1*z18, z2*z16 - z1*z17, z2*z13 - z1*z14, z2*z12 - z1*z13, z2*z10 - z1*z11, z2*z9 - z1*z10, z2*z8 - z1*z9, z2*z7 - z1*z8, z2*z5 - z1*z6, z2*z4 - z1*z5, z2*z3 - z1*z4, z2^2 - z1*z3

Defn: Defined on coordinates by sending [z0 : z1 : z2 : z3] to

(z0^6 : z0^5*z1 : z0^4*z1^2 : z0^3*z1^3 : z0^2*z1^4 : z0*z1^5 : z1^6 : z0^4*z2 : z0^3*z1*z2 : z0^2*z1^2*z2 : z0*z1^3*z2 : z1^4*z2 : z0^2*z2^2 : z0*z1*z2^2 : z1^2*z2^2 : z2^3 : z0^3*z3 : z0^2*z1*z3 : z0*z1^2*z3 : z1^3*z3 : z0*z2*z3 : z1*z2*z3 : z3^2)

Which you can see contains cubics such as $-z_1 z_{15} z_{20} + z_7 z_{12} z_{21}$.

$\endgroup$
1
  • $\begingroup$ Thanks for computing this! I am confused though by the cubic, because that cubic is given by $$ z_{15}(z_0z_{21}-z_1z_{20})+ z_{21}(z_7z_{12}-z_0z_{15}),$$ and I think those two quadrics are part of the ideal (at least, I see them on the list). Do you have any idea what makes the cubic appear in there as well? $\endgroup$ Mar 16, 2021 at 5:13

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.