Knowledge (XXG)

Cone of curves

Source 📝

22: 1702: 1516: 2188: 623: 1378: 2113: 1937: 2044: 2255: 406: 314: 1850: 1570: 930: 252: 869: 1386: 1073: 1539: 51: 1748: 742: 489: 1126: 1014: 363: 1967: 2287: 2071: 1775: 1291: 1185: 1153: 962: 774: 653: 279: 1777:
is nonnegative, we know nothing, but in the complementary half-space, the cone is spanned by some countable collection of curves which are quite special: they are
2228: 2208: 1990: 1870: 1799: 1562: 1311: 1251: 1101: 1038: 989: 889: 833: 813: 673: 516: 449: 429: 338: 203: 175: 147: 119: 706: 2122: 524: 1316: 968: 1199:
The above process of contractions could not proceed without the fundamental result on the structure of the cone of curves known as the
2325: 2311: 73: 2079: 1875: 2345: 409: 34: 2340: 971:
of algebraic varieties. Briefly, the goal of that theory is as follows: given a (mildly singular) projective variety
44: 38: 30: 2002: 1969:
is ample. So the cone theorem shows that the cone of curves of a Fano variety is generated by rational curves.
1188: 55: 2233: 1697:{\displaystyle {\overline {NE(X)}}={\overline {NE(X)}}_{K_{X}+\epsilon H\geq 0}+\sum \mathbf {R} _{\geq 0},} 122: 1992:
is defined over a field of characteristic 0, we have the following assertion, sometimes referred to as the
284: 1804: 894: 1076: 777: 368: 1187:. This process encounters difficulties, however, whose resolution necessitates the introduction of the 211: 1204: 2290: 1511:{\displaystyle {\overline {NE(X)}}={\overline {NE(X)}}_{K_{X}\geq 0}+\sum _{i}\mathbf {R} _{\geq 0}.} 1224: 842: 126: 1254: 206: 1216: 1524: 2321: 2307: 1717: 1711: 1041: 836: 711: 458: 452: 99: 1942: 1778: 1046: 2260: 2049: 1753: 1269: 1158: 1131: 935: 747: 631: 257: 1212: 178: 1106: 994: 343: 2213: 2193: 1975: 1855: 1784: 1547: 1296: 1264: 1261: 1236: 1208: 1086: 1080: 1023: 974: 874: 818: 798: 790: 658: 501: 434: 414: 323: 188: 160: 132: 104: 678: 2334: 1542: 2183:{\displaystyle (\operatorname {cont} _{F})_{*}{\mathcal {O}}_{X}={\mathcal {O}}_{Z}} 1801:. The second assertion then tells us more: it says that, away from the hyperplane 1083:
and others) was to construct (at least morally) the necessary birational map from
967:
A more involved example is the role played by the cone of curves in the theory of
87: 1220: 1017: 932:, the closure of the cone of curves in the usual real topology. (In general, 618:{\displaystyle NE(X)=\left\{\sum a_{i},\ 0\leq a_{i}\in \mathbb {R} \right\}} 1128:
as a sequence of steps, each of which can be thought of as contraction of a
2074: 1373:{\displaystyle 0<-K_{X}\cdot C_{i}\leq \operatorname {dim} X+1} 788:
One useful application of the notion of the cone of curves is the
1781:, and their 'degree' is bounded very tightly by the dimension of 964:
need not be closed, so taking the closure here is important.)
15: 1211:; it was later generalised to a larger class of varieties by 2169: 2152: 1227:, and others. Mori's version of the theorem is as follows: 2108:{\displaystyle \operatorname {cont} _{F}:X\rightarrow Z} 320:
of 1-cycles is defined by intersections: two 1-cycles
2263: 2236: 2216: 2196: 2125: 2082: 2052: 2005: 1978: 1945: 1878: 1858: 1807: 1787: 1756: 1720: 1573: 1550: 1527: 1389: 1319: 1299: 1272: 1239: 1161: 1134: 1109: 1089: 1049: 1026: 997: 977: 938: 897: 877: 845: 821: 801: 750: 714: 681: 661: 634: 527: 504: 461: 437: 417: 371: 346: 326: 287: 260: 214: 191: 163: 135: 107: 1852:, extremal rays of the cone cannot accumulate. When 1079:. The great breakthrough of the early 1980s (due to 2046:be an extremal face of the cone of curves on which 1932:{\displaystyle {\overline {NE(X)}}_{K_{X}\geq 0}=0} 2281: 2249: 2222: 2202: 2182: 2107: 2065: 2038: 1984: 1961: 1931: 1864: 1844: 1793: 1769: 1742: 1696: 1556: 1533: 1510: 1372: 1305: 1285: 1245: 1179: 1147: 1120: 1095: 1067: 1032: 1008: 983: 956: 924: 883: 863: 827: 807: 768: 736: 700: 667: 647: 617: 510: 483: 443: 423: 400: 357: 332: 308: 273: 246: 197: 169: 141: 113: 43:but its sources remain unclear because it lacks 8: 2039:{\displaystyle F\subset {\overline {NE(X)}}} 1839: 1808: 455:of 1-cycles modulo numerical equivalence by 655:are irreducible, reduced, proper curves on 2318:Birational Geometry of Algebraic Varieties 1707:where the sum in the last term is finite. 254:of irreducible, reduced and proper curves 2262: 2250:{\displaystyle \operatorname {cont} _{F}} 2241: 2235: 2215: 2195: 2174: 2168: 2167: 2157: 2151: 2150: 2143: 2133: 2124: 2087: 2081: 2057: 2051: 2012: 2004: 1977: 1953: 1944: 1909: 1904: 1880: 1877: 1857: 1821: 1806: 1786: 1761: 1755: 1725: 1719: 1682: 1666: 1661: 1631: 1626: 1602: 1574: 1572: 1549: 1526: 1496: 1480: 1475: 1468: 1447: 1442: 1418: 1390: 1388: 1346: 1333: 1318: 1298: 1277: 1271: 1238: 1203:. The first version of this theorem, for 1160: 1139: 1133: 1108: 1088: 1054: 1048: 1025: 996: 976: 937: 898: 896: 876: 844: 820: 800: 749: 719: 713: 689: 680: 660: 639: 633: 606: 605: 596: 571: 558: 526: 503: 466: 460: 436: 416: 370: 345: 325: 302: 301: 292: 286: 265: 259: 238: 228: 213: 190: 162: 134: 106: 74:Learn how and when to remove this message 1710:The first assertion says that, in the 795:, which says that a (Cartier) divisor 309:{\displaystyle a_{i}\in \mathbb {R} } 7: 2320:, Cambridge University Press, 1998. 2073:is negative. Then there is a unique 1845:{\displaystyle \{C:K_{X}\cdot C=0\}} 991:, find a (mildly singular) variety 925:{\displaystyle {\overline {NE(X)}}} 2304:Positivity in Algebraic Geometry I 744:. It is not difficult to see that 401:{\displaystyle C\cdot D=C'\cdot D} 14: 780:in the sense of convex geometry. 247:{\displaystyle C=\sum a_{i}C_{i}} 181:variety. By definition, a (real) 1662: 1521:2. For any positive real number 1476: 20: 2270: 2264: 2140: 2126: 2099: 2027: 2021: 1895: 1889: 1737: 1731: 1688: 1675: 1617: 1611: 1589: 1583: 1502: 1489: 1433: 1427: 1405: 1399: 1174: 1168: 951: 945: 913: 907: 763: 757: 731: 725: 695: 682: 577: 564: 540: 534: 478: 472: 365:are numerically equivalent if 1: 864:{\displaystyle D\cdot x>0} 2031: 1899: 1621: 1593: 1437: 1409: 917: 1972:If in addition the variety 2362: 1155:-negative extremal ray of 2316:Kollár, J. and Mori, S., 2306:, Springer-Verlag, 2004. 2190:and an irreducible curve 1534:{\displaystyle \epsilon } 2230:is mapped to a point by 2115:to a projective variety 1750:where intersection with 1743:{\displaystyle N_{1}(X)} 871:for any nonzero element 737:{\displaystyle N_{1}(X)} 484:{\displaystyle N_{1}(X)} 29:This article includes a 123:combinatorial invariant 58:more precise citations. 2283: 2251: 2224: 2204: 2184: 2109: 2067: 2040: 1986: 1963: 1962:{\displaystyle -K_{X}} 1933: 1866: 1846: 1795: 1771: 1744: 1698: 1558: 1535: 1512: 1374: 1307: 1287: 1247: 1181: 1149: 1122: 1097: 1069: 1068:{\displaystyle K_{X'}} 1034: 1010: 985: 958: 926: 885: 865: 829: 815:on a complete variety 809: 770: 738: 702: 669: 649: 619: 512: 485: 445: 425: 402: 359: 334: 310: 275: 248: 199: 171: 143: 115: 2284: 2282:{\displaystyle \in F} 2252: 2225: 2205: 2185: 2110: 2068: 2066:{\displaystyle K_{X}} 2041: 1987: 1964: 1934: 1867: 1847: 1796: 1772: 1770:{\displaystyle K_{X}} 1745: 1699: 1559: 1536: 1513: 1375: 1308: 1288: 1286:{\displaystyle C_{i}} 1248: 1182: 1180:{\displaystyle NE(X)} 1150: 1148:{\displaystyle K_{X}} 1123: 1098: 1070: 1035: 1011: 986: 959: 957:{\displaystyle NE(X)} 927: 886: 866: 830: 810: 771: 769:{\displaystyle NE(X)} 739: 703: 670: 650: 648:{\displaystyle C_{i}} 620: 513: 486: 446: 426: 403: 360: 335: 318:Numerical equivalence 311: 276: 274:{\displaystyle C_{i}} 249: 200: 172: 144: 125:of importance to the 116: 2291:contraction morphism 2261: 2234: 2214: 2194: 2123: 2080: 2050: 2003: 1976: 1943: 1876: 1872:is a Fano variety, 1856: 1805: 1785: 1754: 1718: 1571: 1548: 1525: 1387: 1317: 1297: 1270: 1237: 1159: 1132: 1107: 1087: 1047: 1024: 995: 975: 936: 895: 875: 843: 819: 799: 748: 712: 679: 659: 632: 525: 502: 459: 435: 415: 369: 344: 324: 285: 281:, with coefficients 258: 212: 189: 161: 133: 105: 2346:Birational geometry 1994:Contraction Theorem 1195:A structure theorem 127:birational geometry 2341:Algebraic geometry 2279: 2247: 2220: 2200: 2180: 2105: 2063: 2036: 1982: 1959: 1929: 1862: 1842: 1791: 1767: 1740: 1694: 1554: 1531: 1508: 1473: 1370: 1303: 1283: 1255:projective variety 1243: 1177: 1145: 1121:{\displaystyle X'} 1118: 1093: 1065: 1030: 1009:{\displaystyle X'} 1006: 981: 954: 922: 881: 861: 825: 805: 766: 734: 698: 665: 645: 615: 508: 481: 441: 421: 408:for every Cartier 398: 358:{\displaystyle C'} 355: 330: 306: 271: 244: 207:linear combination 195: 167: 139: 111: 31:list of references 2223:{\displaystyle X} 2203:{\displaystyle C} 2034: 1985:{\displaystyle X} 1902: 1865:{\displaystyle X} 1794:{\displaystyle X} 1712:closed half-space 1624: 1596: 1557:{\displaystyle H} 1464: 1440: 1412: 1306:{\displaystyle X} 1246:{\displaystyle X} 1096:{\displaystyle X} 1042:canonical divisor 1033:{\displaystyle X} 984:{\displaystyle X} 920: 884:{\displaystyle x} 828:{\displaystyle X} 808:{\displaystyle D} 708:their classes in 668:{\displaystyle X} 585: 511:{\displaystyle X} 453:real vector space 444:{\displaystyle X} 424:{\displaystyle D} 333:{\displaystyle C} 198:{\displaystyle X} 170:{\displaystyle X} 142:{\displaystyle X} 114:{\displaystyle X} 100:algebraic variety 84: 83: 76: 2353: 2302:Lazarsfeld, R., 2288: 2286: 2285: 2280: 2256: 2254: 2253: 2248: 2246: 2245: 2229: 2227: 2226: 2221: 2209: 2207: 2206: 2201: 2189: 2187: 2186: 2181: 2179: 2178: 2173: 2172: 2162: 2161: 2156: 2155: 2148: 2147: 2138: 2137: 2114: 2112: 2111: 2106: 2092: 2091: 2072: 2070: 2069: 2064: 2062: 2061: 2045: 2043: 2042: 2037: 2035: 2030: 2013: 1991: 1989: 1988: 1983: 1968: 1966: 1965: 1960: 1958: 1957: 1938: 1936: 1935: 1930: 1922: 1921: 1914: 1913: 1903: 1898: 1881: 1871: 1869: 1868: 1863: 1851: 1849: 1848: 1843: 1826: 1825: 1800: 1798: 1797: 1792: 1776: 1774: 1773: 1768: 1766: 1765: 1749: 1747: 1746: 1741: 1730: 1729: 1703: 1701: 1700: 1695: 1687: 1686: 1674: 1673: 1665: 1653: 1652: 1636: 1635: 1625: 1620: 1603: 1597: 1592: 1575: 1563: 1561: 1560: 1555: 1540: 1538: 1537: 1532: 1517: 1515: 1514: 1509: 1501: 1500: 1488: 1487: 1479: 1472: 1460: 1459: 1452: 1451: 1441: 1436: 1419: 1413: 1408: 1391: 1379: 1377: 1376: 1371: 1351: 1350: 1338: 1337: 1312: 1310: 1309: 1304: 1292: 1290: 1289: 1284: 1282: 1281: 1252: 1250: 1249: 1244: 1205:smooth varieties 1186: 1184: 1183: 1178: 1154: 1152: 1151: 1146: 1144: 1143: 1127: 1125: 1124: 1119: 1117: 1102: 1100: 1099: 1094: 1074: 1072: 1071: 1066: 1064: 1063: 1062: 1039: 1037: 1036: 1031: 1015: 1013: 1012: 1007: 1005: 990: 988: 987: 982: 963: 961: 960: 955: 931: 929: 928: 923: 921: 916: 899: 890: 888: 887: 882: 870: 868: 867: 862: 834: 832: 831: 826: 814: 812: 811: 806: 775: 773: 772: 767: 743: 741: 740: 735: 724: 723: 707: 705: 704: 701:{\displaystyle } 699: 694: 693: 674: 672: 671: 666: 654: 652: 651: 646: 644: 643: 624: 622: 621: 616: 614: 610: 609: 601: 600: 583: 576: 575: 563: 562: 517: 515: 514: 509: 490: 488: 487: 482: 471: 470: 450: 448: 447: 442: 430: 428: 427: 422: 407: 405: 404: 399: 391: 364: 362: 361: 356: 354: 339: 337: 336: 331: 315: 313: 312: 307: 305: 297: 296: 280: 278: 277: 272: 270: 269: 253: 251: 250: 245: 243: 242: 233: 232: 204: 202: 201: 196: 176: 174: 173: 168: 148: 146: 145: 140: 120: 118: 117: 112: 79: 72: 68: 65: 59: 54:this article by 45:inline citations 24: 23: 16: 2361: 2360: 2356: 2355: 2354: 2352: 2351: 2350: 2331: 2330: 2299: 2259: 2258: 2257:if and only if 2237: 2232: 2231: 2212: 2211: 2192: 2191: 2166: 2149: 2139: 2129: 2121: 2120: 2083: 2078: 2077: 2053: 2048: 2047: 2014: 2001: 2000: 1974: 1973: 1949: 1941: 1940: 1905: 1882: 1879: 1874: 1873: 1854: 1853: 1817: 1803: 1802: 1783: 1782: 1757: 1752: 1751: 1721: 1716: 1715: 1678: 1660: 1627: 1604: 1601: 1576: 1569: 1568: 1546: 1545: 1523: 1522: 1492: 1474: 1443: 1420: 1417: 1392: 1385: 1384: 1342: 1329: 1315: 1314: 1295: 1294: 1273: 1268: 1267: 1265:rational curves 1235: 1234: 1197: 1157: 1156: 1135: 1130: 1129: 1110: 1105: 1104: 1085: 1084: 1055: 1050: 1045: 1044: 1022: 1021: 998: 993: 992: 973: 972: 934: 933: 900: 893: 892: 873: 872: 841: 840: 839:if and only if 817: 816: 797: 796: 786: 746: 745: 715: 710: 709: 685: 677: 676: 657: 656: 635: 630: 629: 592: 567: 554: 550: 546: 523: 522: 500: 499: 462: 457: 456: 433: 432: 413: 412: 384: 367: 366: 347: 342: 341: 322: 321: 288: 283: 282: 261: 256: 255: 234: 224: 210: 209: 187: 186: 159: 158: 155: 131: 130: 103: 102: 94:(sometimes the 80: 69: 63: 60: 49: 35:related reading 25: 21: 12: 11: 5: 2359: 2357: 2349: 2348: 2343: 2333: 2332: 2329: 2328: 2314: 2298: 2295: 2278: 2275: 2272: 2269: 2266: 2244: 2240: 2219: 2199: 2177: 2171: 2165: 2160: 2154: 2146: 2142: 2136: 2132: 2128: 2104: 2101: 2098: 2095: 2090: 2086: 2060: 2056: 2033: 2029: 2026: 2023: 2020: 2017: 2011: 2008: 1981: 1956: 1952: 1948: 1928: 1925: 1920: 1917: 1912: 1908: 1901: 1897: 1894: 1891: 1888: 1885: 1861: 1841: 1838: 1835: 1832: 1829: 1824: 1820: 1816: 1813: 1810: 1790: 1764: 1760: 1739: 1736: 1733: 1728: 1724: 1705: 1704: 1693: 1690: 1685: 1681: 1677: 1672: 1669: 1664: 1659: 1656: 1651: 1648: 1645: 1642: 1639: 1634: 1630: 1623: 1619: 1616: 1613: 1610: 1607: 1600: 1595: 1591: 1588: 1585: 1582: 1579: 1553: 1530: 1519: 1518: 1507: 1504: 1499: 1495: 1491: 1486: 1483: 1478: 1471: 1467: 1463: 1458: 1455: 1450: 1446: 1439: 1435: 1432: 1429: 1426: 1423: 1416: 1411: 1407: 1404: 1401: 1398: 1395: 1369: 1366: 1363: 1360: 1357: 1354: 1349: 1345: 1341: 1336: 1332: 1328: 1325: 1322: 1302: 1280: 1276: 1262:countably many 1242: 1196: 1193: 1176: 1173: 1170: 1167: 1164: 1142: 1138: 1116: 1113: 1092: 1061: 1058: 1053: 1029: 1004: 1001: 980: 969:minimal models 953: 950: 947: 944: 941: 919: 915: 912: 909: 906: 903: 880: 860: 857: 854: 851: 848: 824: 804: 785: 782: 765: 762: 759: 756: 753: 733: 730: 727: 722: 718: 697: 692: 688: 684: 664: 642: 638: 626: 625: 613: 608: 604: 599: 595: 591: 588: 582: 579: 574: 570: 566: 561: 557: 553: 549: 545: 542: 539: 536: 533: 530: 507: 496:cone of curves 494:We define the 480: 477: 474: 469: 465: 440: 420: 397: 394: 390: 387: 383: 380: 377: 374: 353: 350: 329: 304: 300: 295: 291: 268: 264: 241: 237: 231: 227: 223: 220: 217: 194: 166: 154: 151: 138: 110: 92:cone of curves 82: 81: 39:external links 28: 26: 19: 13: 10: 9: 6: 4: 3: 2: 2358: 2347: 2344: 2342: 2339: 2338: 2336: 2327: 2326:0-521-63277-3 2323: 2319: 2315: 2313: 2312:3-540-22533-1 2309: 2305: 2301: 2300: 2296: 2294: 2292: 2289:. (See also: 2276: 2273: 2267: 2242: 2238: 2217: 2197: 2175: 2163: 2158: 2144: 2134: 2130: 2118: 2102: 2096: 2093: 2088: 2084: 2076: 2058: 2054: 2024: 2018: 2015: 2009: 2006: 1997: 1995: 1979: 1970: 1954: 1950: 1946: 1926: 1923: 1918: 1915: 1910: 1906: 1892: 1886: 1883: 1859: 1836: 1833: 1830: 1827: 1822: 1818: 1814: 1811: 1788: 1780: 1762: 1758: 1734: 1726: 1722: 1713: 1708: 1691: 1683: 1679: 1670: 1667: 1657: 1654: 1649: 1646: 1643: 1640: 1637: 1632: 1628: 1614: 1608: 1605: 1598: 1586: 1580: 1577: 1567: 1566: 1565: 1551: 1544: 1543:ample divisor 1528: 1505: 1497: 1493: 1484: 1481: 1469: 1465: 1461: 1456: 1453: 1448: 1444: 1430: 1424: 1421: 1414: 1402: 1396: 1393: 1383: 1382: 1381: 1367: 1364: 1361: 1358: 1355: 1352: 1347: 1343: 1339: 1334: 1330: 1326: 1323: 1320: 1313:, satisfying 1300: 1278: 1274: 1266: 1263: 1260:1. There are 1258: 1256: 1240: 1232: 1231:Cone Theorem. 1228: 1226: 1222: 1218: 1214: 1210: 1206: 1202: 1194: 1192: 1190: 1171: 1165: 1162: 1140: 1136: 1114: 1111: 1090: 1082: 1078: 1059: 1056: 1051: 1043: 1027: 1019: 1002: 999: 978: 970: 965: 948: 942: 939: 910: 904: 901: 878: 858: 855: 852: 849: 846: 838: 822: 802: 794: 792: 783: 781: 779: 760: 754: 751: 728: 720: 716: 690: 686: 662: 640: 636: 611: 602: 597: 593: 589: 586: 580: 572: 568: 559: 555: 551: 547: 543: 537: 531: 528: 521: 520: 519: 505: 497: 492: 475: 467: 463: 454: 451:. Denote the 438: 418: 411: 395: 392: 388: 385: 381: 378: 375: 372: 351: 348: 327: 319: 298: 293: 289: 266: 262: 239: 235: 229: 225: 221: 218: 215: 208: 192: 184: 180: 164: 152: 150: 136: 128: 124: 108: 101: 97: 93: 89: 78: 75: 67: 57: 53: 47: 46: 40: 36: 32: 27: 18: 17: 2317: 2303: 2119:, such that 2116: 1998: 1993: 1971: 1709: 1706: 1520: 1259: 1253:be a smooth 1230: 1229: 1207:, is due to 1201:Cone Theorem 1200: 1198: 1040:, and whose 966: 789: 787: 784:Applications 776:is indeed a 627: 495: 493: 317: 205:is a formal 182: 156: 98:cone) of an 96:Kleiman-Mori 95: 91: 85: 70: 61: 50:Please help 42: 778:convex cone 88:mathematics 56:introducing 2335:Categories 2297:References 1018:birational 628:where the 153:Definition 2274:∈ 2145:∗ 2100:→ 2032:¯ 2010:⊂ 1947:− 1916:≥ 1900:¯ 1828:⋅ 1668:≥ 1658:∑ 1647:≥ 1641:ϵ 1622:¯ 1594:¯ 1529:ϵ 1482:≥ 1466:∑ 1454:≥ 1438:¯ 1410:¯ 1359:⁡ 1353:≤ 1340:⋅ 1327:− 1016:which is 918:¯ 850:⋅ 793:condition 603:∈ 590:≤ 552:∑ 393:⋅ 376:⋅ 299:∈ 222:∑ 64:June 2020 2075:morphism 1939:because 1779:rational 1541:and any 1225:Shokurov 1213:Kawamata 1115:′ 1060:′ 1003:′ 389:′ 352:′ 1999:3. Let 1380:, and 1257:. Then 791:Kleiman 410:divisor 183:1-cycle 52:improve 2324:  2310:  1217:Kollár 675:, and 584:  518:to be 179:proper 90:, the 837:ample 177:be a 121:is a 37:, or 2322:ISBN 2308:ISBN 2239:cont 2131:cont 2085:cont 1324:< 1233:Let 1221:Reid 1209:Mori 1189:flip 1081:Mori 856:> 340:and 157:Let 2293:). 2210:in 1714:of 1356:dim 1293:on 1103:to 1077:nef 1075:is 1020:to 891:in 835:is 498:of 431:on 185:on 149:. 129:of 86:In 2337:: 1996:: 1564:, 1223:, 1219:, 1215:, 1191:. 491:. 316:. 41:, 33:, 2277:F 2271:] 2268:C 2265:[ 2243:F 2218:X 2198:C 2176:Z 2170:O 2164:= 2159:X 2153:O 2141:) 2135:F 2127:( 2117:Z 2103:Z 2097:X 2094:: 2089:F 2059:X 2055:K 2028:) 2025:X 2022:( 2019:E 2016:N 2007:F 1980:X 1955:X 1951:K 1927:0 1924:= 1919:0 1911:X 1907:K 1896:) 1893:X 1890:( 1887:E 1884:N 1860:X 1840:} 1837:0 1834:= 1831:C 1823:X 1819:K 1815:: 1812:C 1809:{ 1789:X 1763:X 1759:K 1738:) 1735:X 1732:( 1727:1 1723:N 1692:, 1689:] 1684:i 1680:C 1676:[ 1671:0 1663:R 1655:+ 1650:0 1644:H 1638:+ 1633:X 1629:K 1618:) 1615:X 1612:( 1609:E 1606:N 1599:= 1590:) 1587:X 1584:( 1581:E 1578:N 1552:H 1506:. 1503:] 1498:i 1494:C 1490:[ 1485:0 1477:R 1470:i 1462:+ 1457:0 1449:X 1445:K 1434:) 1431:X 1428:( 1425:E 1422:N 1415:= 1406:) 1403:X 1400:( 1397:E 1394:N 1368:1 1365:+ 1362:X 1348:i 1344:C 1335:X 1331:K 1321:0 1301:X 1279:i 1275:C 1241:X 1175:) 1172:X 1169:( 1166:E 1163:N 1141:X 1137:K 1112:X 1091:X 1057:X 1052:K 1028:X 1000:X 979:X 952:) 949:X 946:( 943:E 940:N 914:) 911:X 908:( 905:E 902:N 879:x 859:0 853:x 847:D 823:X 803:D 764:) 761:X 758:( 755:E 752:N 732:) 729:X 726:( 721:1 717:N 696:] 691:i 687:C 683:[ 663:X 641:i 637:C 612:} 607:R 598:i 594:a 587:0 581:, 578:] 573:i 569:C 565:[ 560:i 556:a 548:{ 544:= 541:) 538:X 535:( 532:E 529:N 506:X 479:) 476:X 473:( 468:1 464:N 439:X 419:D 396:D 386:C 382:= 379:D 373:C 349:C 328:C 303:R 294:i 290:a 267:i 263:C 240:i 236:C 230:i 226:a 219:= 216:C 193:X 165:X 137:X 109:X 77:) 71:( 66:) 62:( 48:.

Index

list of references
related reading
external links
inline citations
improve
introducing
Learn how and when to remove this message
mathematics
algebraic variety
combinatorial invariant
birational geometry
proper
linear combination
divisor
real vector space
convex cone
Kleiman
ample
minimal models
birational
canonical divisor
nef
Mori
flip
smooth varieties
Mori
Kawamata
Kollár
Reid
Shokurov

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.