{"id":5429,"date":"2011-07-07T13:45:28","date_gmt":"2011-07-07T13:45:28","guid":{"rendered":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/?p=5429"},"modified":"2011-07-16T12:34:37","modified_gmt":"2011-07-16T12:34:37","slug":"statistics","status":"publish","type":"post","link":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/?p=5429","title":{"rendered":"Statistics"},"content":{"rendered":"<p>Notations:<br \/>\np.s. &#8211; period sequence<br \/>\nfano p.s. &#8211; one of 105 p.s. of smooth Fano 3-folds<br \/>\ngood p.s. &#8211; p.s. s.t. P_0(D) has integer roots, where L = sum_{i=0}^r t^i P_i(D) is the diff.op. annihilating p.s.<br \/>\nbad p.s. &#8211; not good p.s.<\/p>\n<p>LP &#8211; Laurent polynomial.<br \/>\nfano LP &#8211; Laurent polynomial for which RG coincides with one of 105 fano p.s.<\/p>\n<p>Everywhere below we put a binomial condition (of Coates-Corti-Galkin-Golyshev-Przjyalkowski-Usnich-etc) on the edges.<\/p>\n<p>MP &#8211; Minkowski Laurent polynomial<br \/>\nPP &#8211; (Coates-)Przyjalkowski Laurent polynomial (binomial on edges, zero everywhere else)<\/p>\n<p>This is the statistics of reflexive 3-polytopes.<\/p>\n<p>&#8212;<\/p>\n<p>18 are smooth.<\/p>\n<p>&#8212;<\/p>\n<p>100 (= 18+82) are terminal. They give rise to 100 LP and 62 good p.s.<\/p>\n<p>&#8212;<\/p>\n<p>899 (= 18+82+799) has no integer points in interior of facets.<\/p>\n<p>Each one gives rise to a unique MP (which coincides with PP).<\/p>\n<p>712 of these MPs are fano LP &#8211; they give rise to 92 fano p.s.<br \/>\n187 are bad &#8211; they give rise to 63 bad p.s.<\/p>\n<p>92 = 98-6, where 98 = 105-7.<br \/>\nThe 7 that didn&#8217;t appear among MP p.s.&#8217;s are:<br \/>\nV_2 [bottom degree],<br \/>\nits double cover B_1 [bottom degree in rho=1, r=2],<br \/>\n2.1, 2.2, 2.3 [bottom degree in rho=2],<br \/>\nP^1 x S_2, P^1 x S_1 [top Picard rank].<\/p>\n<p>The extra 6 Fano (p.s.) that didn&#8217;t appear are:<br \/>\nV_4 (15), V_6 (19), V_8 (5), V_{10} (9), V_{12} (7) [next bottom degree in rho=1,r=1);<br \/>\n2.4 (49) [next bottom degree in rho=2].<\/p>\n<p>So they lie at the bottom of the list, just over the non-appearing 5.<\/p>\n<p>&#8212;<\/p>\n<p>1051 polytopes has exactly one integer point in the respective interior of the facets (i.e. not origin, vertex, and not on the edge).<\/p>\n<p>The facet that contains the extra integer point is then on of famous 16 reflexive 2-polytopes,<br \/>\nso 1051 polytopes fall into 16 classes.<\/p>\n<p>Number of polytopes in each class is as follows (total 1051):<br \/>\n[20, 24, 125, 50, 75, 196, 22, 86, 111, 74, 64, 112, 19, 42, 23, 8]<\/p>\n<p>Number of fano LP in each class is as follows (total 1055):<br \/>\n[0, 20, 0, 47, 61, 187, 27, 123, 195, 140, 56, 109, 17, 42, 23, 8]<br \/>\nwhich is<br \/>\n[0,17+3,0,44+3,61,187,16+11,71+52,107+88,70+70,56,109,17,42,23,8]<\/p>\n<p>Our enumeration and &#8220;fano&#8221; values for the extra coefficient are as follows:<\/p>\n<p>number &#8211; associated vertex Laurent polynomial &#8211; class &#8211; #poly &#8211; values [number of appearances]<\/p>\n<p>0 &#8211; x+y+1\/x\/y                   &#8211; P^2   &#8211; 20    &#8211; nothing<br \/>\n1 &#8211; y + x\/y + 1\/x\/y             &#8211; Q     &#8211; 24    &#8211; 0 [17], 4 [3]<br \/>\n2 &#8211; x+y+xy+1\/x\/y                &#8211; S_8   &#8211; 125   &#8211; nothing<br \/>\n3 &#8211; x+y+1\/x+1\/y                 &#8211; Q     &#8211; 50    &#8211; 0 [44], 4 [3]<br \/>\n4 &#8211; y+x+x\/y+1\/x\/y               &#8211; S_7   &#8211; 75    &#8211; 1 [61]<br \/>\n5 &#8211; x+y+1\/x+1\/y+xy              &#8211; S_7   &#8211; 196   &#8211; 1 [187]<br \/>\n6 &#8211; y\/x+1\/x\/y+x^2\/y             &#8211; S_6   &#8211; 22    &#8211; 2 [16], 3 [11]<br \/>\n7 &#8211; y+y\/x+1\/x\/y+x\/y             &#8211; S_6   &#8211; 86    &#8211; 2 [71], 3 [52]<br \/>\n8 &#8211; y+x+1\/x+x\/y+1\/x\/y           &#8211; S_6   &#8211; 111   &#8211; 2 [107], 3 [88]<br \/>\n9 &#8211; x+y+x\/y+1\/x+1\/y+y\/x         &#8211; S_6   &#8211; 74    &#8211; 2 [70], 3 [70]<br \/>\n10- x+y\/x+1\/x\/y+x^2\/y           &#8211; S_5   &#8211; 64    &#8211; 3 [56]<br \/>\n11- x+y+y\/x+x\/y+1\/x+1\/y+1\/x\/y   &#8211; S_5   &#8211; 112   &#8211; 3 [109]<br \/>\n12- y+x+1\/x+x^2\/y+1\/x^2\/y       &#8211; S_4   &#8211; 19    &#8211; 4 [17]<br \/>\n13- y+y\/x+1\/x\/y+x^2\/y           &#8211; S_4   &#8211; 42    &#8211; 4 [42]<br \/>\n14- xy+y\/x+x\/y+1\/x\/y            &#8211; S_4   &#8211; 23    &#8211; 4 [23]<br \/>\n15- 1\/x\/y+x^2\/y+y^2\/x           &#8211; S_3   &#8211; 8     &#8211; 6 [8]<\/p>\n<p>Of course everything is extremal and Hodge-Tate,<br \/>\nbut some are not-Minkowski, and not even SCR-equivalent (using only surface mutations of the respective facet) to any Minkowski<br \/>\n(in particular examples with class Q and coefficient a=4,<br \/>\nalso those in Q with coeff a=0 are not lattice Minkowski, but Minkowski).<br \/>\n<a href='http:\/\/coates.ma.ic.ac.uk\/fanosearch\/wp-content\/uploads\/2011\/07\/puzzles.pdf'>1-puzzles<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Notations: p.s. &#8211; period sequence fano p.s. &#8211; one of 105 p.s. of smooth Fano 3-folds good p.s. &#8211; p.s. s.t. P_0(D) has integer roots, where L = sum_{i=0}^r t^i P_i(D) is the diff.op. annihilating p.s. bad p.s. &#8211; not good p.s. LP &#8211; Laurent polynomial. fano LP &#8211; Laurent polynomial for which RG coincides [&hellip;]<\/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":[],"class_list":["post-5429","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=\/wp\/v2\/posts\/5429","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=5429"}],"version-history":[{"count":1,"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=\/wp\/v2\/posts\/5429\/revisions"}],"predecessor-version":[{"id":5430,"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=\/wp\/v2\/posts\/5429\/revisions\/5430"}],"wp:attachment":[{"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=5429"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=5429"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/coates.ma.ic.ac.uk\/fanosearch\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=5429"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}