most recent 30 from http://mathoverflow.net 2013-06-19T08:06:59Z http://mathoverflow.net/feeds/question/93224 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/93224/proving-that-a-variety-is-not-isomorphic-to-a-toric-variety Thomas Kahle 2012-04-05T15:33:48Z 2012-04-05T15:33:48Z

<p>Is there an algorithmic (or other) way to prove that a (projective) variety is not isomorphic to a toric variety?</p> <p>I'd be happy with an algebraic answer (for affine or projective varieties), using the fact that toric ideals are binomial prime ideals. There ne could use that the coordinate rings are characterized as those admitting a fine grading by an affine semigroup , i.e. presented by a binomial prime ideal (Prop. 1.11 in Eisenbud/Sturmfels "Binomial ideals").</p> <p>This question resulted from an Example that I discussed with Mateusz Michalek. The example is: let $V$ be the Zariski closure of the image of the parameterization: <code>$$(p_1,p_2,a_1,a_2,a_3,b_1,b_2,b_3) \to \begin{pmatrix} p_1a_1a_2a_3+p_2b_1b_2b_3 \\ p_1a_1a_2b_3+p_2b_1b_2a_3 \\ p_1a_1b_2a_3+p_2b_1a_2b_3 \\ p_1a_1b_2b_3+p_2b_1a_2a_3 \\ p_1b_1a_2a_3+p_2a_1b_2b_3 \\ p_1b_1a_2b_3+p_2a_1b_2a_3 \\ p_1b_1b_2a_3+p_2a_1a_2b_3 \\ p_1b_1b_2b_3+p_2a_1a_2a_3 \\ \end{pmatrix}$$</code></p> <p>Implicitization using Macaulay2 is quick and yields a complete intersection: $$\langle et-ry-qu+wo, wt-qy-ru+eo, we-qr-yu+to \rangle \subset k[q,w,e,r,t,y,u,o]$$</p> <p>How to prove that $V$ is not toric?</p>