Knowledge

Motivic cohomology

Source 📝

2160: 587: 2234:
gave a splitting of algebraic K-theory tensored with the rationals; the summands are now called motivic cohomology (with rational coefficients). Beilinson and Lichtenbaum made influential conjectures predicting the existence and properties of motivic cohomology. Most but not all of their conjectures
380: 596:: motivic cohomology, motivic cohomology with compact support, Borel-Moore motivic homology (as above), and motivic homology with compact support. These theories have many of the formal properties of the corresponding theories in topology. For example, the 2257:
Finally, Voevodsky (building on his work with Suslin) defined the four types of motivic homology and motivic cohomology in 2000, along with the derived category of motives. Related categories were also defined by Hanamura and Levine.
1399: 1588: 213: 1068: 751: 1967: 1819: 1700:
One basic point of the derived category of motives is that the four types of motivic homology and motivic cohomology all arise as sets of morphisms in this category. To describe this, first note that there are
1213: 361: 2134:
at an integer point is equal to the rank of a suitable motivic cohomology group. This is one of the central problems of number theory, incorporating earlier conjectures by Deligne and Beilinson. The
582:{\displaystyle \cdots \rightarrow H_{2i+1}(X-Z,\mathbf {Z} (i))\rightarrow H_{2i}(Z,\mathbf {Z} (i))\rightarrow H_{2i}(X,\mathbf {Z} (i))\rightarrow H_{2i}(X-Z,\mathbf {Z} (i))\rightarrow 0.} 1077:
with the rationals. For arbitrary schemes of finite type over a field (not necessarily smooth), there is an analogous spectral sequence from motivic homology to G-theory (the K-theory of
1439:
A frequent goal in algebraic geometry or number theory is to compute motivic cohomology, whereas Ă©tale cohomology is often easier to understand. For example, if the base field
903:
The four versions of motivic homology and cohomology can be defined with coefficients in any abelian group. The theories with different coefficients are related by the
1243:. Since Milnor K-theory of a field is defined explicitly by generators and relations, this is a useful description of one piece of the motivic cohomology of 1285: 1477: 114: 2238:
Bloch's definition of higher Chow groups (1986) was the first integral (as opposed to rational) definition of motivic homology for schemes over a field
2795: 2261:
The work of Elmanto and Morrow has extended the construction of motivic cohomology to arbitrary quasi-compact, quasi-separated schemes over a field.
954: 646: 2770: 2277:
Bloch, Algebraic cycles and higher K-groups; Voevodsky, Triangulated categories of motives over a field, section 2.2 and Proposition 4.2.9.
2212:
The first clear sign of a possible generalization from Chow groups to a more general motivic cohomology theory for algebraic varieties was
1846: 1730: 2138:
is a special case. More precisely, the conjecture predicts the leading coefficient of the L-function at an integer point in terms of
2043: 374:, there is a long exact localization sequence for motivic homology groups, ending with the localization sequence for Chow groups: 2085:
a subfield of the complex numbers, a candidate for the abelian category of mixed motives has been defined by Nori. If a category
1135: 2750: 282: 2556: 2512: 2139: 2135: 1451:, says that many motivic cohomology groups are in fact isomorphic to Ă©tale cohomology groups. This is a consequence of the 2177: 945: 63: 2589: 2199: 2678: 1452: 2181: 2548: 2504: 2015:
in the category of mixed motives. This is far from known. Concretely, Beilinson's conjecture would imply the
904: 231: 2366:
Nori, Lectures at TIFR; Huber and MĂŒller-Stach, On the relation between Nori motives and Kontsevich periods.
2790: 2785: 2246:
is a natural generalization of the definition of Chow groups, involving algebraic cycles on the product of
2663: 2544: 1662: 35: 2581: 2242:(and hence motivic cohomology, in the case of smooth schemes). The definition of higher Chow groups of 2404: 1455:. Namely, the Beilinson-Lichtenbaum conjecture (Voevodsky's theorem) says that for a smooth scheme 90: 2011:. In particular, the conjecture would imply that motivic cohomology groups can be identified with 2692: 2431: 2170: 2391: 2127: 1630: 2697: 2376:
Elmanto, Elden; Morrow, Matthew (2023). "Motivic cohomology of equicharacteristic schemes".
2725: 2648: 2599: 2566: 2522: 2492: 2462: 893: 27: 2046:
and Murre's conjectures on Chow motives, would imply the existence of an abelian category
8: 1988: 1444: 921: 836: 219: 67: 2737: 2729: 2018: 1276: 2715: 2652: 2626: 2606: 2573: 2538: 2530: 2377: 2221: 2217: 2093:) with the expected properties exists (notably that the Betti realization functor from 937: 847: 613: 593: 43: 2042:
Conversely, a variant of the Beilinson-Soulé conjecture, together with Grothendieck's
1394:{\displaystyle H^{i}(X,\mathbf {Z} /m(j))\rightarrow H_{et}^{i}(X,\mathbf {Z} /m(j)),} 225:
This problem was resolved by generalizing Chow groups to a bigraded family of groups,
2585: 2552: 2508: 2450: 2445: 1583:{\displaystyle H^{i}(X,\mathbf {Z} /m(j))\rightarrow H_{et}^{i}(X,\mathbf {Z} /m(j))} 933: 23: 2756: 2656: 1093:
Motivic cohomology provides a rich invariant already for fields. (Note that a field
2636: 2478: 2440: 2106: 1996: 925: 897: 871: 828: 637: 208:{\displaystyle CH_{i}(Z)\rightarrow CH_{i}(X)\rightarrow CH_{i}(X-Z)\rightarrow 0,} 2644: 2640: 2595: 2562: 2518: 2488: 2458: 2313:
Levine, K-theory and motivic cohomology of schemes I, eq. (2.9) and Theorem 14.7.
2231: 2126:
be a smooth projective variety over a number field. The Bloch-Kato conjecture on
1236: 820: 1447:(with finite coefficients). A powerful result proved by Voevodsky, known as the 1433: 2534: 2213: 2143: 1078: 1074: 102: 2667: 2483: 1063:{\displaystyle E_{2}^{pq}=H^{p}(X,\mathbf {Z} (-q/2))\Rightarrow K_{-p-q}(X).} 93:
in topology, but some things are missing. For example, for a closed subscheme
2779: 2764: 2454: 2422: 2295:
Mazza, Voevodsky, Weibel, Lecture Notes on Motivic Cohomology, Example 13.11.
1690: 1082: 929: 832: 625: 236: 47: 2250:
with affine space which meet a set of hyperplanes (viewed as the faces of a
1724:, such that the motive of projective space is a direct sum of Tate motives: 746:{\displaystyle H^{i}(X,\mathbf {Z} (j))\cong H_{2n-i}(X,\mathbf {Z} (n-j)).} 2322:
Mazza, Voevodsky, Weibel, Lecture Notes on Motivic Cohomology, Theorem 5.1.
2304:
Mazza, Voevodsky, Weibel, Lecture Notes on Motivic Cohomology, Theorem 4.1.
1832:
denotes the shift or "translation functor" in the triangulated category DM(
900:, and the shift means that this sheaf is viewed as a complex in degree 1. 2230:
of vector bundles. In the early 1980s, Beilinson and Soulé observed that
2055: 1101:), for which motivic cohomology is defined.) Although motivic cohomology 2348:
Jannsen, Motivic sheaves and filtrations on Chow groups, Conjecture 4.1.
2286:
Voevodsky, Triangulated categories of motives over a field, section 2.2.
2499:
Jannsen, Uwe (1994), "Motivic sheaves and filtrations on Chow groups",
2184: in this section. Unsourced material may be challenged and removed. 42:
of algebraic cycles as a special case. Some of the deepest problems in
31: 2765:
Comparison of the Categories of Motives defined by Voevodsky and Nori
2012: 74: 39: 2159: 1962:{\displaystyle H^{i}(X,R(j))\cong {\text{Hom}}_{DM(k;R)}(M(X),R(j))} 2469:
Hanamura, Masaki (1999), "Mixed motives and algebraic cycles III",
2382: 1814:{\displaystyle M(\mathbf {P} _{k}^{n})\cong \oplus _{j=0}^{n}R(j),} 850:, but this gives the same motivic cohomology groups.) For example, 2720: 2631: 2251: 592:
In fact, this is one of a family of four theories constructed by
81:, because they give strong information about all subvarieties of 1840:). In these terms, motivic cohomology (for example) is given by 1121:
is far from understood in general, there is a description when
2357:
Hanamura, Mixed motives and algebraic cycles III, Theorem 3.4.
1987:
are the rational numbers, a modern version of a conjecture by
1443:
is the complex numbers, then Ă©tale cohomology coincides with
1436:
from the Chow ring of a smooth variety to Ă©tale cohomology.
16:
Invariant of algebraic varieties and of more general schemes
2712:
On the relation between Nori motives and Kontsevich periods
2576:(2000), "Triangulated categories of motives over a field", 2070:). More would be needed in order to identify Ext groups in 1208:{\displaystyle K_{j}^{M}(k)\cong H^{j}(k,\mathbf {Z} (j)),} 1991:
predicts that the subcategory of compact objects in DM(k;
2130:
predicts that the order of vanishing of an L-function of
910: 356:{\displaystyle CH_{i}(X)\cong H_{2i}(X,\mathbf {Z} (i)).} 1073:
As in topology, the spectral sequence degenerates after
2112: 1995:) is equivalent to the bounded derived category of an 2668:"WATCH: Motivic Cohomology: past, present and future" 1849: 1733: 1480: 1288: 1138: 957: 649: 383: 285: 276:)), with the usual Chow group being the special case 117: 73:. A key goal of algebraic geometry is to compute the 2528: 2109:), then it must be equivalent to Nori's category. 1961: 1813: 1582: 1393: 1207: 1062: 745: 581: 355: 207: 53: 2709: 846:. (Some properties are easier to prove using the 2777: 2578:Cycles, Transfers, and Motivic Homology Theories 50:are attempts to understand motivic cohomology. 1088: 2710:Huber, Annette; MĂŒller-Stach, Stefan (2011), 2375: 1267:be a positive integer which is invertible in 2739:K-theory and motivic cohomology of schemes I 2039:< 0, which is known only in a few cases. 1271:. Then there is a natural homomorphism (the 218:whereas in topology this would be part of a 1250: 2796:Topological methods of algebraic geometry 2719: 2630: 2605: 2572: 2482: 2444: 2381: 2200:Learn how and when to remove this message 2468: 2117: 1661:determines two objects in DM called the 1432:th roots of unity. This generalizes the 2771:p-adic motivic cohomology in arithmetic 2498: 1416:) on the right means the Ă©tale sheaf (ÎŒ 915: 2778: 2662: 2331:Voevodsky, On motivic cohomology with 1612: 911:Relations to other cohomology theories 89:have some of the formal properties of 2425:(1986), "Algebraic cycles and higher 2421: 227:(Borel–Moore) motivic homology groups 2609:(2011), "On motivic cohomology with 2182:adding citations to reliable sources 2153: 2540:Lecture Notes on Motivic Cohomology 2113:Applications to Arithmetic Geometry 946:Atiyah-Hirzebruch spectral sequence 13: 2735: 896:) denotes the sheaf of invertible 620:of finite type over a field. When 14: 2807: 2703: 2216:'s definition and development of 1467:a positive integer invertible in 2748: 2679:International Mathematical Union 2158: 2136:Birch–Swinnerton-Dyer conjecture 1742: 1556: 1501: 1453:norm residue isomorphism theorem 1449:Beilinson-Lichtenbaum conjecture 1364: 1309: 1259:be a smooth scheme over a field 1186: 999: 718: 670: 557: 509: 467: 425: 334: 2369: 2360: 2169:needs additional citations for 944:over a field, analogous to the 831:with coefficients in a certain 54:Motivic homology and cohomology 2351: 2342: 2325: 2316: 2307: 2298: 2289: 2280: 2271: 1956: 1953: 1947: 1944: 1938: 1929: 1923: 1917: 1912: 1900: 1881: 1878: 1872: 1860: 1805: 1796: 1793: 1787: 1757: 1737: 1577: 1574: 1568: 1546: 1525: 1522: 1519: 1513: 1491: 1385: 1382: 1376: 1354: 1333: 1330: 1327: 1321: 1299: 1199: 1196: 1190: 1176: 1160: 1154: 1054: 1048: 1026: 1023: 1020: 1003: 989: 756:In particular, the Chow group 737: 734: 722: 708: 683: 680: 674: 660: 573: 570: 567: 561: 541: 525: 522: 519: 513: 499: 483: 480: 477: 471: 457: 441: 438: 435: 429: 409: 387: 347: 344: 338: 324: 305: 299: 196: 193: 181: 165: 162: 156: 140: 137: 131: 1: 2549:American Mathematical Society 2505:American Mathematical Society 2471:Mathematical Research Letters 2415: 2254:) in the expected dimension. 1685:); the two are isomorphic if 1275:) from motivic cohomology to 905:universal coefficient theorem 2641:10.4007/annals.2011.174.1.11 2446:10.1016/0001-8708(86)90081-2 243:of finite type over a field 239:). Namely, for every scheme 7: 2686: 2545:Clay Mathematics Monographs 2339:coefficients, Theorem 6.17. 2078:) with motivic cohomology. 1635:derived category of motives 1089:Relation to Milnor K-theory 936:from motivic cohomology to 255:, we have an abelian group 10: 2812: 2582:Princeton University Press 2149: 1675:compactly supported motive 1593:is an isomorphism for all 862:(0) is the constant sheaf 2484:10.4310/MRL.1999.v6.n1.a5 2220:(1973), generalizing the 1601:and is injective for all 1097:determines a scheme Spec( 932:, and Levine, there is a 870:(1) is isomorphic in the 229:(which were first called 2264: 940:for every smooth scheme 768:cycles is isomorphic to 2693:Presheaf with transfers 2432:Advances in Mathematics 2146:on motivic cohomology. 1625:, Voevodsky defined an 1251:Map to Ă©tale cohomology 795:The motivic cohomology 366:For a closed subscheme 2399:Cite journal requires 2235:have now been proved. 1983:When the coefficients 1963: 1815: 1584: 1395: 1209: 1064: 811:)) of a smooth scheme 747: 583: 357: 209: 2619:Annals of Mathematics 2128:values of L-functions 2118:Values of L-functions 1964: 1816: 1641:with coefficients in 1631:triangulated category 1621:and commutative ring 1585: 1396: 1210: 1065: 748: 584: 358: 210: 107:localization sequence 85:. The Chow groups of 2584:, pp. 188–238, 2507:, pp. 245–302, 2503:, Providence, R.I.: 2178:improve this article 2054:) as the heart of a 2044:standard conjectures 1976:of finite type over 1847: 1731: 1478: 1286: 1136: 955: 916:Relation to K-theory 894:multiplicative group 647: 381: 283: 115: 105:of Chow groups, the 91:Borel–Moore homology 26:and of more general 2791:Homotopical algebra 2786:Cohomology theories 2730:2011arXiv1105.0865H 2607:Voevodsky, Vladimir 2574:Voevodsky, Vladimir 2531:Voevodsky, Vladimir 2003:), the category of 1783: 1756: 1720:) for all integers 1613:Relation to motives 1545: 1445:singular cohomology 1353: 1153: 975: 612:)) form a bigraded 220:long exact sequence 24:algebraic varieties 22:is an invariant of 2698:AÂč homotopy theory 2222:Grothendieck group 2218:algebraic K-theory 2105:-vector spaces is 1959: 1811: 1763: 1740: 1580: 1528: 1391: 1336: 1205: 1139: 1060: 958: 938:algebraic K-theory 907:, as in topology. 848:Nisnevich topology 743: 598:motivic cohomology 579: 353: 232:higher Chow groups 205: 44:algebraic geometry 30:. It is a type of 20:Motivic cohomology 2769:WiesƂawa NizioƂ, 2666:(July 12, 2022). 2558:978-0-8218-3847-1 2514:978-0-8218-1637-0 2210: 2209: 2202: 1972:for every scheme 1891: 934:spectral sequence 898:regular functions 764:) of codimension- 616:for every scheme 38:and includes the 2803: 2760: 2755:, archived from 2752:Lectures at TIFR 2745: 2744: 2732: 2723: 2682: 2672: 2659: 2634: 2602: 2569: 2525: 2495: 2486: 2465: 2448: 2409: 2408: 2402: 2397: 2395: 2387: 2385: 2373: 2367: 2364: 2358: 2355: 2349: 2346: 2340: 2329: 2323: 2320: 2314: 2311: 2305: 2302: 2296: 2293: 2287: 2284: 2278: 2275: 2232:Adams operations 2205: 2198: 2194: 2191: 2185: 2162: 2154: 1997:abelian category 1968: 1966: 1965: 1960: 1916: 1915: 1892: 1889: 1859: 1858: 1820: 1818: 1817: 1812: 1782: 1777: 1755: 1750: 1745: 1589: 1587: 1586: 1581: 1564: 1559: 1544: 1539: 1509: 1504: 1490: 1489: 1471:, the cycle map 1400: 1398: 1397: 1392: 1372: 1367: 1352: 1347: 1317: 1312: 1298: 1297: 1277:Ă©tale cohomology 1214: 1212: 1211: 1206: 1189: 1175: 1174: 1152: 1147: 1079:coherent sheaves 1069: 1067: 1066: 1061: 1047: 1046: 1016: 1002: 988: 987: 974: 966: 872:derived category 854:(j) is zero for 829:Zariski topology 752: 750: 749: 744: 721: 707: 706: 673: 659: 658: 638:Poincare duality 588: 586: 585: 580: 560: 540: 539: 512: 498: 497: 470: 456: 455: 428: 408: 407: 362: 360: 359: 354: 337: 323: 322: 298: 297: 214: 212: 211: 206: 180: 179: 155: 154: 130: 129: 2811: 2810: 2806: 2805: 2804: 2802: 2801: 2800: 2776: 2775: 2763:Harrer Daniel, 2742: 2706: 2689: 2670: 2617:coefficients", 2592: 2559: 2547:, vol. 2, 2535:Weibel, Charles 2515: 2418: 2413: 2412: 2400: 2398: 2389: 2388: 2374: 2370: 2365: 2361: 2356: 2352: 2347: 2343: 2330: 2326: 2321: 2317: 2312: 2308: 2303: 2299: 2294: 2290: 2285: 2281: 2276: 2272: 2267: 2229: 2206: 2195: 2189: 2186: 2175: 2163: 2152: 2120: 2115: 2035:)) is zero for 1893: 1888: 1887: 1854: 1850: 1848: 1845: 1844: 1778: 1767: 1751: 1746: 1741: 1732: 1729: 1728: 1653:). Each scheme 1615: 1560: 1555: 1540: 1532: 1505: 1500: 1485: 1481: 1479: 1476: 1475: 1427: 1421: 1368: 1363: 1348: 1340: 1313: 1308: 1293: 1289: 1287: 1284: 1283: 1253: 1226: 1185: 1170: 1166: 1148: 1143: 1137: 1134: 1133: 1091: 1033: 1029: 1012: 998: 983: 979: 967: 962: 956: 953: 952: 918: 913: 891: 884: 788:is smooth over 717: 693: 689: 669: 654: 650: 648: 645: 644: 556: 532: 528: 508: 490: 486: 466: 448: 444: 424: 394: 390: 382: 379: 378: 333: 315: 311: 293: 289: 284: 281: 280: 263: 175: 171: 150: 146: 125: 121: 116: 113: 112: 62:be a scheme of 56: 17: 12: 11: 5: 2809: 2799: 2798: 2793: 2788: 2774: 2773: 2767: 2761: 2759:on 22 Sep 2016 2749:Nori, Madhav, 2746: 2736:Levine, Marc, 2733: 2705: 2704:External links 2702: 2701: 2700: 2695: 2688: 2685: 2684: 2683: 2660: 2603: 2590: 2570: 2557: 2529:Mazza, Carlo; 2526: 2513: 2496: 2466: 2439:(3): 267–304, 2423:Bloch, Spencer 2417: 2414: 2411: 2410: 2401:|journal= 2368: 2359: 2350: 2341: 2324: 2315: 2306: 2297: 2288: 2279: 2269: 2268: 2266: 2263: 2227: 2208: 2207: 2166: 2164: 2157: 2151: 2148: 2144:height pairing 2119: 2116: 2114: 2111: 1970: 1969: 1958: 1955: 1952: 1949: 1946: 1943: 1940: 1937: 1934: 1931: 1928: 1925: 1922: 1919: 1914: 1911: 1908: 1905: 1902: 1899: 1896: 1886: 1883: 1880: 1877: 1874: 1871: 1868: 1865: 1862: 1857: 1853: 1822: 1821: 1810: 1807: 1804: 1801: 1798: 1795: 1792: 1789: 1786: 1781: 1776: 1773: 1770: 1766: 1762: 1759: 1754: 1749: 1744: 1739: 1736: 1617:For any field 1614: 1611: 1591: 1590: 1579: 1576: 1573: 1570: 1567: 1563: 1558: 1554: 1551: 1548: 1543: 1538: 1535: 1531: 1527: 1524: 1521: 1518: 1515: 1512: 1508: 1503: 1499: 1496: 1493: 1488: 1484: 1423: 1417: 1402: 1401: 1390: 1387: 1384: 1381: 1378: 1375: 1371: 1366: 1362: 1359: 1356: 1351: 1346: 1343: 1339: 1335: 1332: 1329: 1326: 1323: 1320: 1316: 1311: 1307: 1304: 1301: 1296: 1292: 1252: 1249: 1237:Milnor K-group 1222: 1216: 1215: 1204: 1201: 1198: 1195: 1192: 1188: 1184: 1181: 1178: 1173: 1169: 1165: 1162: 1159: 1156: 1151: 1146: 1142: 1117:)) for fields 1090: 1087: 1083:vector bundles 1081:, rather than 1071: 1070: 1059: 1056: 1053: 1050: 1045: 1042: 1039: 1036: 1032: 1028: 1025: 1022: 1019: 1015: 1011: 1008: 1005: 1001: 997: 994: 991: 986: 982: 978: 973: 970: 965: 961: 917: 914: 912: 909: 889: 882: 754: 753: 742: 739: 736: 733: 730: 727: 724: 720: 716: 713: 710: 705: 702: 699: 696: 692: 688: 685: 682: 679: 676: 672: 668: 665: 662: 657: 653: 590: 589: 578: 575: 572: 569: 566: 563: 559: 555: 552: 549: 546: 543: 538: 535: 531: 527: 524: 521: 518: 515: 511: 507: 504: 501: 496: 493: 489: 485: 482: 479: 476: 473: 469: 465: 462: 459: 454: 451: 447: 443: 440: 437: 434: 431: 427: 423: 420: 417: 414: 411: 406: 403: 400: 397: 393: 389: 386: 364: 363: 352: 349: 346: 343: 340: 336: 332: 329: 326: 321: 318: 314: 310: 307: 304: 301: 296: 292: 288: 259: 216: 215: 204: 201: 198: 195: 192: 189: 186: 183: 178: 174: 170: 167: 164: 161: 158: 153: 149: 145: 142: 139: 136: 133: 128: 124: 120: 103:exact sequence 101:, there is an 55: 52: 15: 9: 6: 4: 3: 2: 2808: 2797: 2794: 2792: 2789: 2787: 2784: 2783: 2781: 2772: 2768: 2766: 2762: 2758: 2754: 2753: 2747: 2741: 2740: 2734: 2731: 2727: 2722: 2717: 2713: 2708: 2707: 2699: 2696: 2694: 2691: 2690: 2680: 2676: 2669: 2665: 2661: 2658: 2654: 2650: 2646: 2642: 2638: 2633: 2628: 2624: 2620: 2616: 2612: 2608: 2604: 2601: 2597: 2593: 2591:9781400837120 2587: 2583: 2579: 2575: 2571: 2568: 2564: 2560: 2554: 2550: 2546: 2542: 2541: 2536: 2532: 2527: 2524: 2520: 2516: 2510: 2506: 2502: 2497: 2494: 2490: 2485: 2480: 2476: 2472: 2467: 2464: 2460: 2456: 2452: 2447: 2442: 2438: 2434: 2433: 2428: 2424: 2420: 2419: 2406: 2393: 2384: 2379: 2372: 2363: 2354: 2345: 2338: 2334: 2328: 2319: 2310: 2301: 2292: 2283: 2274: 2270: 2262: 2259: 2255: 2253: 2249: 2245: 2241: 2236: 2233: 2226: 2223: 2219: 2215: 2204: 2201: 2193: 2183: 2179: 2173: 2172: 2167:This section 2165: 2161: 2156: 2155: 2147: 2145: 2141: 2137: 2133: 2129: 2125: 2110: 2108: 2104: 2100: 2096: 2092: 2088: 2084: 2079: 2077: 2073: 2069: 2065: 2061: 2057: 2053: 2049: 2045: 2040: 2038: 2034: 2030: 2026: 2022: 2020: 2014: 2010: 2006: 2005:mixed motives 2002: 1998: 1994: 1990: 1986: 1981: 1979: 1975: 1950: 1941: 1935: 1932: 1926: 1920: 1909: 1906: 1903: 1897: 1894: 1884: 1875: 1869: 1866: 1863: 1855: 1851: 1843: 1842: 1841: 1839: 1835: 1831: 1827: 1808: 1802: 1799: 1790: 1784: 1779: 1774: 1771: 1768: 1764: 1760: 1752: 1747: 1734: 1727: 1726: 1725: 1723: 1719: 1715: 1711: 1707: 1704: 1698: 1696: 1692: 1688: 1684: 1680: 1676: 1672: 1668: 1664: 1660: 1656: 1652: 1648: 1644: 1640: 1636: 1632: 1628: 1624: 1620: 1610: 1608: 1604: 1600: 1596: 1571: 1565: 1561: 1552: 1549: 1541: 1536: 1533: 1529: 1516: 1510: 1506: 1497: 1494: 1486: 1482: 1474: 1473: 1472: 1470: 1466: 1462: 1459:over a field 1458: 1454: 1450: 1446: 1442: 1437: 1435: 1431: 1426: 1420: 1415: 1411: 1407: 1388: 1379: 1373: 1369: 1360: 1357: 1349: 1344: 1341: 1337: 1324: 1318: 1314: 1305: 1302: 1294: 1290: 1282: 1281: 1280: 1278: 1274: 1270: 1266: 1262: 1258: 1248: 1246: 1242: 1238: 1234: 1230: 1225: 1221: 1202: 1193: 1182: 1179: 1171: 1167: 1163: 1157: 1149: 1144: 1140: 1132: 1131: 1130: 1128: 1124: 1120: 1116: 1112: 1108: 1104: 1100: 1096: 1086: 1084: 1080: 1076: 1057: 1051: 1043: 1040: 1037: 1034: 1030: 1017: 1013: 1009: 1006: 995: 992: 984: 980: 976: 971: 968: 963: 959: 951: 950: 949: 948:in topology: 947: 943: 939: 935: 931: 927: 923: 908: 906: 901: 899: 895: 888: 881: 877: 873: 869: 865: 861: 857: 853: 849: 845: 841: 838: 834: 830: 826: 822: 818: 814: 810: 806: 802: 798: 793: 791: 787: 783: 779: 775: 771: 767: 763: 759: 740: 731: 728: 725: 714: 711: 703: 700: 697: 694: 690: 686: 677: 666: 663: 655: 651: 643: 642: 641: 639: 636:, there is a 635: 631: 628:of dimension 627: 623: 619: 615: 611: 607: 603: 599: 595: 576: 564: 553: 550: 547: 544: 536: 533: 529: 516: 505: 502: 494: 491: 487: 474: 463: 460: 452: 449: 445: 432: 421: 418: 415: 412: 404: 401: 398: 395: 391: 384: 377: 376: 375: 373: 369: 350: 341: 330: 327: 319: 316: 312: 308: 302: 294: 290: 286: 279: 278: 277: 275: 271: 267: 262: 258: 254: 250: 247:and integers 246: 242: 238: 234: 233: 228: 223: 221: 202: 199: 190: 187: 184: 176: 172: 168: 159: 151: 147: 143: 134: 126: 122: 118: 111: 110: 109: 108: 104: 100: 96: 92: 88: 84: 80: 76: 72: 69: 65: 61: 51: 49: 48:number theory 45: 41: 37: 33: 29: 25: 21: 2757:the original 2751: 2738: 2711: 2674: 2664:Levine, Marc 2622: 2618: 2614: 2610: 2577: 2539: 2500: 2474: 2470: 2436: 2430: 2426: 2392:cite journal 2371: 2362: 2353: 2344: 2336: 2332: 2327: 2318: 2309: 2300: 2291: 2282: 2273: 2260: 2256: 2247: 2243: 2239: 2237: 2224: 2211: 2196: 2190:January 2021 2187: 2176:Please help 2171:verification 2168: 2131: 2123: 2121: 2102: 2098: 2094: 2090: 2086: 2082: 2080: 2075: 2071: 2067: 2063: 2059: 2051: 2047: 2041: 2036: 2032: 2028: 2024: 2016: 2008: 2004: 2000: 1992: 1984: 1982: 1977: 1973: 1971: 1837: 1833: 1829: 1825: 1823: 1721: 1717: 1713: 1709: 1705: 1703:Tate motives 1702: 1699: 1694: 1686: 1682: 1678: 1674: 1670: 1666: 1658: 1654: 1650: 1646: 1642: 1638: 1634: 1626: 1622: 1618: 1616: 1606: 1602: 1598: 1594: 1592: 1468: 1464: 1460: 1456: 1448: 1440: 1438: 1429: 1424: 1418: 1413: 1409: 1405: 1403: 1272: 1268: 1264: 1260: 1256: 1254: 1244: 1240: 1232: 1228: 1223: 1219: 1217: 1126: 1122: 1118: 1114: 1110: 1106: 1102: 1098: 1094: 1092: 1072: 941: 919: 902: 886: 879: 875: 867: 863: 859: 855: 851: 843: 839: 824: 816: 812: 808: 804: 800: 796: 794: 789: 785: 781: 777: 773: 769: 765: 761: 757: 755: 640:isomorphism 633: 629: 621: 617: 609: 605: 601: 597: 591: 371: 370:of a scheme 367: 365: 273: 269: 265: 260: 256: 252: 248: 244: 240: 230: 226: 224: 217: 106: 98: 94: 86: 82: 78: 70: 59: 57: 19: 18: 2675:youtube.com 2625:: 401–438, 2056:t-structure 1673:), and the 1633:called the 926:Friedlander 922:Lichtenbaum 75:Chow groups 64:finite type 34:related to 2780:Categories 2429:-theory", 2416:References 2383:2309.08463 2140:regulators 2021:conjecture 2017:Beilinson- 2013:Ext groups 1428:being the 1263:, and let 920:By Bloch, 821:cohomology 32:cohomology 2721:1105.0865 2632:0805.4430 2477:: 61–82, 2455:0001-8708 1989:Beilinson 1885:≅ 1765:⊕ 1761:≅ 1526:→ 1434:cycle map 1422:), with ÎŒ 1334:→ 1273:cycle map 1231:) is the 1164:≅ 1075:tensoring 1041:− 1035:− 1027:⇒ 1007:− 729:− 701:− 687:≅ 594:Voevodsky 574:→ 548:− 526:→ 484:→ 442:→ 416:− 388:→ 385:⋯ 309:≅ 197:→ 188:− 166:→ 141:→ 40:Chow ring 2687:See also 2657:15583705 2537:(2006), 2107:faithful 1712:) in DM( 1629:-linear 858:< 0, 784:)) when 2726:Bibcode 2671:(video) 2649:2811603 2600:1764202 2567:2242284 2523:1265533 2501:Motives 2493:1682709 2463:0852815 2252:simplex 2214:Quillen 2150:History 885:. Here 842:(j) on 837:sheaves 833:complex 827:in the 819:is the 600:groups 66:over a 36:motives 28:schemes 2655:  2647:  2598:  2588:  2565:  2555:  2521:  2511:  2491:  2461:  2453:  2142:and a 1824:where 1691:proper 1663:motive 1404:where 1218:where 930:Suslin 866:, and 626:smooth 2743:(PDF) 2716:arXiv 2653:S2CID 2627:arXiv 2378:arXiv 2265:Notes 2101:) to 2023:that 2019:SoulĂ© 2007:over 1693:over 1657:over 1645:, DM( 1637:over 1609:− 1. 892:(the 815:over 632:over 237:Bloch 68:field 2586:ISBN 2553:ISBN 2509:ISBN 2451:ISSN 2405:help 2122:Let 2081:For 1681:, M( 1669:, M( 1463:and 1255:Let 614:ring 251:and 58:Let 46:and 2637:doi 2623:174 2479:doi 2441:doi 2180:by 2058:on 2027:(X, 1999:MM( 1890:Hom 1689:is 1677:of 1665:of 1239:of 1235:th 1085:). 878:to 874:of 835:of 823:of 624:is 604:(X, 235:by 97:of 77:of 2782:: 2724:, 2714:, 2677:. 2673:. 2651:, 2645:MR 2643:, 2635:, 2621:, 2596:MR 2594:, 2580:, 2563:MR 2561:, 2551:, 2543:, 2533:; 2519:MR 2517:, 2489:MR 2487:, 2473:, 2459:MR 2457:, 2449:, 2437:61 2435:, 2396:: 2394:}} 2390:{{ 2095:MM 2087:MM 2072:MM 2066:; 2060:DM 2048:MM 1980:. 1836:; 1828:↩ 1716:; 1697:. 1649:; 1605:≄ 1597:≄ 1279:: 1247:. 1129:: 1125:= 1109:, 928:, 924:, 803:, 792:. 758:CH 577:0. 222:. 2728:: 2718:: 2681:. 2639:: 2629:: 2615:l 2613:/ 2611:Z 2481:: 2475:6 2443:: 2427:K 2407:) 2403:( 2386:. 2380:: 2337:l 2335:/ 2333:Z 2248:X 2244:X 2240:k 2228:0 2225:K 2203:) 2197:( 2192:) 2188:( 2174:. 2132:X 2124:X 2103:Q 2099:k 2097:( 2091:k 2089:( 2083:k 2076:k 2074:( 2068:Q 2064:k 2062:( 2052:k 2050:( 2037:i 2033:j 2031:( 2029:Q 2025:H 2009:k 2001:k 1993:Q 1985:R 1978:k 1974:X 1957:) 1954:] 1951:i 1948:[ 1945:) 1942:j 1939:( 1936:R 1933:, 1930:) 1927:X 1924:( 1921:M 1918:( 1913:) 1910:R 1907:; 1904:k 1901:( 1898:M 1895:D 1882:) 1879:) 1876:j 1873:( 1870:R 1867:, 1864:X 1861:( 1856:i 1852:H 1838:R 1834:k 1830:M 1826:M 1809:, 1806:] 1803:j 1800:2 1797:[ 1794:) 1791:j 1788:( 1785:R 1780:n 1775:0 1772:= 1769:j 1758:) 1753:n 1748:k 1743:P 1738:( 1735:M 1722:j 1718:R 1714:k 1710:j 1708:( 1706:R 1695:k 1687:X 1683:X 1679:X 1671:X 1667:X 1659:k 1655:X 1651:R 1647:k 1643:R 1639:k 1627:R 1623:R 1619:k 1607:i 1603:j 1599:i 1595:j 1578:) 1575:) 1572:j 1569:( 1566:m 1562:/ 1557:Z 1553:, 1550:X 1547:( 1542:i 1537:t 1534:e 1530:H 1523:) 1520:) 1517:j 1514:( 1511:m 1507:/ 1502:Z 1498:, 1495:X 1492:( 1487:i 1483:H 1469:k 1465:m 1461:k 1457:X 1441:k 1430:m 1425:m 1419:m 1414:j 1412:( 1410:m 1408:/ 1406:Z 1389:, 1386:) 1383:) 1380:j 1377:( 1374:m 1370:/ 1365:Z 1361:, 1358:X 1355:( 1350:i 1345:t 1342:e 1338:H 1331:) 1328:) 1325:j 1322:( 1319:m 1315:/ 1310:Z 1306:, 1303:X 1300:( 1295:i 1291:H 1269:k 1265:m 1261:k 1257:X 1245:k 1241:k 1233:j 1229:k 1227:( 1224:j 1220:K 1203:, 1200:) 1197:) 1194:j 1191:( 1187:Z 1183:, 1180:k 1177:( 1172:j 1168:H 1161:) 1158:k 1155:( 1150:M 1145:j 1141:K 1127:j 1123:i 1119:k 1115:j 1113:( 1111:Z 1107:k 1105:( 1103:H 1099:k 1095:k 1058:. 1055:) 1052:X 1049:( 1044:q 1038:p 1031:K 1024:) 1021:) 1018:2 1014:/ 1010:q 1004:( 1000:Z 996:, 993:X 990:( 985:p 981:H 977:= 972:q 969:p 964:2 960:E 942:X 890:m 887:G 883:m 880:G 876:X 868:Z 864:Z 860:Z 856:j 852:Z 844:X 840:Z 825:X 817:k 813:X 809:j 807:( 805:Z 801:X 799:( 797:H 790:k 786:X 782:i 780:( 778:Z 776:, 774:X 772:( 770:H 766:i 762:X 760:( 741:. 738:) 735:) 732:j 726:n 723:( 719:Z 715:, 712:X 709:( 704:i 698:n 695:2 691:H 684:) 681:) 678:j 675:( 671:Z 667:, 664:X 661:( 656:i 652:H 634:k 630:n 622:X 618:X 610:j 608:( 606:Z 602:H 571:) 568:) 565:i 562:( 558:Z 554:, 551:Z 545:X 542:( 537:i 534:2 530:H 523:) 520:) 517:i 514:( 510:Z 506:, 503:X 500:( 495:i 492:2 488:H 481:) 478:) 475:i 472:( 468:Z 464:, 461:Z 458:( 453:i 450:2 446:H 439:) 436:) 433:i 430:( 426:Z 422:, 419:Z 413:X 410:( 405:1 402:+ 399:i 396:2 392:H 372:X 368:Z 351:. 348:) 345:) 342:i 339:( 335:Z 331:, 328:X 325:( 320:i 317:2 313:H 306:) 303:X 300:( 295:i 291:H 287:C 274:j 272:( 270:Z 268:, 266:X 264:( 261:i 257:H 253:j 249:i 245:k 241:X 203:, 200:0 194:) 191:Z 185:X 182:( 177:i 173:H 169:C 163:) 160:X 157:( 152:i 148:H 144:C 138:) 135:Z 132:( 127:i 123:H 119:C 99:X 95:Z 87:X 83:X 79:X 71:k 60:X

Index

algebraic varieties
schemes
cohomology
motives
Chow ring
algebraic geometry
number theory
finite type
field
Chow groups
Borel–Moore homology
exact sequence
long exact sequence
higher Chow groups
Bloch
Voevodsky
ring
smooth
Poincare duality
cohomology
Zariski topology
complex
sheaves
Nisnevich topology
derived category
multiplicative group
regular functions
universal coefficient theorem
Lichtenbaum
Friedlander

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

↑