{"id":144,"date":"2010-06-18T13:10:46","date_gmt":"2010-06-18T13:10:46","guid":{"rendered":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/?p=144"},"modified":"2010-06-30T10:47:09","modified_gmt":"2010-06-30T10:47:09","slug":"two-examples-beyond-minkowski-ansatz","status":"publish","type":"post","link":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/?p=144","title":{"rendered":"Beyond Minkowski ansatz"},"content":{"rendered":"

There are two examples of correct polynomials that don’t fit into ansatz stated below.
\nI think I have shown these examples to Alessio in April.<\/p>\n

More info in the notes of my talk (page 2, polynomials w_1 and w_2): pdf<\/a> (or follow the link from here<\/a>).<\/p>\n

Both examples are degenerations of projective space P^3 (grdb[547386]).<\/p>\n

================================================================================
\nPeriod sequence 12
\nFirst 10 period coefficients: [1, 0, 0, 0, 24, 0, 0, 0, 2520, 0]
\nThe PF operator has N=3, r=4
\nThis sequence has a smooth toric Fano representative
\nIt arises from the following polytopes [(PALP id, grdb id, smoothness)]:
\n(0, 547386, ‘smooth’)
\nThe PF operator for this sequence is:
\n256*t^4*D^3 + 1536*t^4*D^2 + 2816*t^4*D + 1536*t^4 – D^3
\n================================================================================<\/p><\/blockquote>\n

So we start from the familiar Laurent polynomial
\n w = x + y + z + \\frac{1}{xyz}<\/p>\n

I. Argument against “lattice” decomposition. <\/strong><\/p>\n

a. make monomial transformation
\n m_1: (x,y,z) \\to (xz,yz,\\frac{1}{z})<\/p>\n

w goes to w_1 = z (x+y) + \\frac{1}{z} (1+ \\frac{1}{xy})<\/p>\n

b. mutate by
\n f_1: (x,y,z) \\to (x,y,\\frac{x+y}{z})<\/p>\n

w_1 goes to \\hat{w_1} = \\frac{1}{z} + z (x+y) (1 + \\frac{1}{xy})<\/p>\n

Since \\hat{w_1} is derived from w by transformation from group SCr_3 it is a mirror for projective space P^3 (“weak Landau-Ginzburg model” in Przyalkowski’s notations).<\/p>\n

Newton polygon of \\hat{w_1} is fan polytope of a Gorenstein toric variety – (grdb[544357]).
\nThis variety is anticanonical cone over smooth quadric P^1 \\times P^1, i.e. a cone over section of \\nu_2(P^3) (P^3 embedded into P^9 by complete linear system of quadrics),
\nand hence it is a geometric degeneration of P^3.<\/p>\n

Consider the quadrangular face, corresponding to a singular point. Restriction of \\hat{w_1} to this face is u = z (x+y) (1 + \\frac{1}{xy}) = z ( x + y + \\frac{1}{x} + \\frac{1}{y} ). It is not friendly to Minkowski ansatz’s condition of lattice<\/i> Minkowski decomposition (this is exactly the example of Minkowski decomposition that is not a lattice Minkowski decomposition given in the definition of the ansatz).<\/p>\n

II. Argument against “admissible triangles” and decomposing polytopes completely. <\/strong><\/p>\n

Example w_2 from the same notes.<\/p>\n

This one is degeneraiton to P(1,1,2,4) (grdb[547363]).<\/p>\n

By monomial transformation<\/p>\n(x,y,z) \\to (x,yx,z)\n

transform w to<\/p>\nw_2 = z + y (x+1) +\\frac{1}{z x y^2}\n

then by mutation<\/p>\n(x,y,z) \\to (x, \\frac{y}{1+x}, z)\n

transform w_2 to<\/p>\n\\hat{w_2} = z + y + \\frac{(1+x)^2}{z x y^2}\n

P(1,1,2,4) is embedded as a quadric in P(1,1,1,1,2) by linear system O(2), so it is a degeneration of a general quadric in this space i.e. P^3.
\nThis variety P(1,1,2,4) is also the anticanonical cone over singular quadratic surface P(1,1,2).<\/p>\n

Restriction to the face equivalent to this surface is equal to
\n\\frac{(x+2+1\/x)}{y} + y, so it is not admissible<\/i>.<\/p>\n

Z. How to tune the ansatz? <\/strong><\/p>\n

Universal fix:
\nallow change of the lattice after creating some of the good polynomials<\/p>\n

less universal:
\na. Allow non-lattice Minkowski decompositions
\n AND\/OR
\nb. Increase the set of admissible figures<\/p>\n

Update on June 22:
\nIII. Examples further beyond <\/strong><\/p>\n

By combining technique from examples in this and previous post we can construct some more sophisticated
\nmirrors for Tom and Jerry. These mirrors should correspond to degenerations of these guys to Gorenstein cones over singular (Gorenstein or not) del Pezzo surfaces of degree 6.
\nI’ll write only numerical details and maybe will provide some geometry later in the comment.<\/p>\n

Start from a honeycomb and
\nu = x+y+\\frac{y}{x}+\\frac{1}{x}+\\frac{1}{y} +\\frac{x}{y}<\/p>\n

Using cluster transformations it can be transformed to mirrors constructed from Gorenstein toric degenerations of del Pezzo surface S = S_6.<\/p>\n

first to pentagon <\/p>\nu_5 = y + x + \\frac{1}{x} + \\frac{(1+x)^2}{xy}\n

then to quadruple<\/p>\nu_4 = \\frac{1}{xy} + \\frac{2}{x} + \\frac{2}{y} + \\frac{x}{y} + \\frac{y}{x} + y\n

then to triangle<\/p>\nu_3 = xy + 2x + \\frac{x}{y} + \\frac{3}{y} + \\frac{3}{xy} + \\frac{1}{x^2y} \n

The triangle is fan polytope of Gorenstein weighted projective plane P(1,2,3).<\/p>\n

We can mutate it further to get non-Gorenstein weighted projective plane P(1,3,8)<\/p>\nu' = y + 3x + 3\\frac{(x+1)^2}{y} +\\frac{(x+1)^4}{y^2}\n

Then we choose G equal to 2 or 3
\nand take<\/p>\nw = z + \\frac{u+G}{z}\n

This will be weak mirror for Jerry or Tom,
\nall underlying toric threefolds are Gorenstein.<\/p>\n

Last two are P(1,2,3,6) (grdb[547331]) and P(1,3,8,12) (grdb[547474]).<\/p>\n

Triangles may be Minkowski decomposable only when they are multiples of smaller triangles, which is not the case in these examples.<\/p>\n

Altmann’s results on relations between Minkowski decompositions and deformations does not apply here since we have non-isolated singularity (it is a cone over already singular space).<\/p>\n","protected":false},"excerpt":{"rendered":"

There are two examples of correct polynomials that don’t fit into ansatz stated below. I think I have shown these examples to Alessio in April. More info in the notes of my talk (page 2, polynomials and ): pdf (or follow the link from here). Both examples are degenerations of projective space (grdb[547386]). ================================================================================ Period […]<\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[11,10,9],"class_list":["post-144","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-cluster","tag-example","tag-geometry"],"_links":{"self":[{"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=\/wp\/v2\/posts\/144","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=144"}],"version-history":[{"count":15,"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=\/wp\/v2\/posts\/144\/revisions"}],"predecessor-version":[{"id":155,"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=\/wp\/v2\/posts\/144\/revisions\/155"}],"wp:attachment":[{"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=144"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=144"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=144"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}