Knowledge

Bockstein spectral sequence

Source 📝

1819: 1250: 1500: 287: 1092: 142: 1081: 811: 1323: 518: 161: 1245:{\displaystyle 0\longrightarrow \operatorname {Tor} _{1}^{\mathbb {Z} }(D_{n}^{r},\mathbb {Z} /p)\longrightarrow D_{n}^{r}{\overset {p}{\longrightarrow }}D_{n}^{r}\longrightarrow D_{n}^{r}\otimes \mathbb {Z} /p\longrightarrow 0} 66: 1762: 1311: 1018: 720: 602: 884: 1495:{\displaystyle 0\longrightarrow (p^{r-1}H_{n}(C))\otimes \mathbb {Z} /p\longrightarrow E_{n,0}^{r}\longrightarrow \operatorname {Tor} (p^{r-1}H_{n-1}(C),\mathbb {Z} /p)\longrightarrow 0} 964: 367: 712: 1610: 1010: 643: 1672: 1699: 1646: 1573: 1530: 282:{\displaystyle H_{*}(C){\overset {i=p}{\longrightarrow }}H_{*}(C){\overset {j}{\longrightarrow }}H_{*}(C\otimes \mathbb {Z} /p){\overset {k}{\longrightarrow }}.} 372: 137:{\displaystyle 0\longrightarrow C{\overset {p}{\longrightarrow }}C{\overset {{\text{mod}}p}{\longrightarrow }}C\otimes \mathbb {Z} /p\longrightarrow 0.} 1860: 1787: 1704: 1076:{\displaystyle 0\longrightarrow \mathbb {Z} {\overset {p}{\longrightarrow }}\mathbb {Z} \longrightarrow \mathbb {Z} /p\longrightarrow 0,} 1259: 806:{\displaystyle D^{r}{\overset {i=p}{\longrightarrow }}D^{r}{\overset {{}^{r}j}{\longrightarrow }}E^{r}{\overset {k}{\longrightarrow }}} 525: 819: 1533: 1879: 1853: 1779: 49: 889: 295: 1884: 652: 1846: 1578: 977: 607: 1651: 1677: 1783: 1615: 1542: 21: 1804: 1797: 1793: 33: 1509: 513:{\displaystyle H_{*}(C\otimes \mathbb {Z} /p),\deg i=(1,-1),\deg j=(0,0),\deg k=(-1,0).} 1830: 649:
of the above exact couple then gives the second page and so forth. Explicitly, we have
646: 1873: 1575:
is finitely generated; in particular, only finitely many cyclic modules of the form
152: 57: 1818: 1778:, Cambridge Studies in Advanced Mathematics, vol. 58 (2nd ed.), 1826: 1313:. Expanding the exact couple into a long exact sequence, we get: for any 1757:{\displaystyle ({\text{free part of }}H_{*}(C))\otimes \mathbb {Z} /p} 1306:{\displaystyle D_{n}^{r}{\overset {p}{\longrightarrow }}D_{n}^{r}} 597:{\displaystyle E_{s,t}^{1}=H_{s+t}(C\otimes \mathbb {Z} /p)} 522:
This gives the first page of the spectral sequence: we take
879:{\displaystyle {}^{r}j=({\text{mod }}p)\circ p^{-{r+1}}} 1834: 1707: 1680: 1654: 1618: 1581: 1545: 1512: 1326: 1262: 1095: 1021: 980: 892: 822: 723: 655: 610: 528: 375: 298: 164: 69: 1756: 1693: 1666: 1640: 1604: 1567: 1524: 1494: 1305: 1244: 1075: 1004: 958: 878: 805: 706: 637: 596: 512: 361: 281: 136: 28:coefficients and the homology reduced mod  1854: 8: 1861: 1847: 959:{\displaystyle \deg({}^{r}j)=(-(r-1),r-1)} 1746: 1742: 1741: 1720: 1711: 1706: 1685: 1679: 1653: 1623: 1617: 1596: 1587: 1583: 1582: 1580: 1550: 1544: 1511: 1475: 1471: 1470: 1446: 1430: 1408: 1397: 1382: 1378: 1377: 1356: 1340: 1325: 1297: 1292: 1278: 1272: 1267: 1261: 1228: 1224: 1223: 1214: 1209: 1196: 1191: 1177: 1171: 1166: 1148: 1144: 1143: 1134: 1129: 1113: 1112: 1111: 1106: 1094: 1056: 1052: 1051: 1044: 1043: 1033: 1029: 1028: 1020: 990: 985: 979: 905: 903: 891: 863: 859: 841: 826: 824: 821: 793: 787: 771: 769: 762: 756: 734: 728: 722: 689: 673: 660: 654: 614: 612: 609: 583: 579: 578: 557: 544: 533: 527: 400: 396: 395: 380: 374: 362:{\displaystyle H_{*}(C)_{s,t}=H_{s+t}(C)} 338: 319: 303: 297: 266: 255: 251: 250: 235: 221: 206: 184: 169: 163: 120: 116: 115: 98: 92: 79: 68: 1256:This tells the kernel and cokernel of 974:are the same as before). Now, taking 707:{\displaystyle D^{r}=p^{r-1}H_{*}(C)} 7: 1815: 1813: 1776:A User's Guide to Spectral Sequences 24:relating the homology with mod  155:of "doubly graded" abelian groups: 60:. Then we have the exact sequence: 1686: 1661: 1612:can appear as a direct summand of 1605:{\displaystyle \mathbb {Z} /p^{s}} 1005:{\displaystyle D_{n}^{r}\otimes -} 14: 714:that fits into the exact couple: 1817: 1532:, this is the same thing as the 638:{\displaystyle {}^{1}d=j\circ k} 1805:A primer on spectral sequences 1735: 1732: 1726: 1708: 1658: 1635: 1629: 1562: 1556: 1486: 1483: 1464: 1458: 1423: 1414: 1390: 1371: 1368: 1362: 1333: 1330: 1280: 1236: 1202: 1179: 1159: 1156: 1122: 1099: 1064: 1048: 1035: 1025: 953: 938: 926: 920: 914: 899: 849: 838: 795: 764: 736: 701: 695: 591: 569: 504: 489: 471: 459: 441: 426: 408: 386: 356: 350: 316: 309: 268: 263: 241: 223: 218: 212: 186: 181: 175: 128: 94: 81: 73: 1: 1534:universal coefficient theorem 1833:. You can help Knowledge by 1667:{\displaystyle r\to \infty } 1694:{\displaystyle E^{\infty }} 50:torsion-free abelian groups 18:Bockstein spectral sequence 1901: 1812: 1780:Cambridge University Press 1539:Assume the abelian group 147:Taking integral homology 1641:{\displaystyle H_{*}(C)} 1568:{\displaystyle H_{*}(C)} 292:where the grading goes: 1774:McCleary, John (2001), 1758: 1695: 1668: 1642: 1606: 1569: 1526: 1496: 1307: 1246: 1077: 1006: 960: 880: 807: 708: 639: 604:with the differential 598: 514: 363: 283: 138: 48:be a chain complex of 1759: 1696: 1669: 1643: 1607: 1570: 1527: 1497: 1308: 1247: 1078: 1007: 961: 881: 808: 709: 640: 599: 515: 364: 284: 139: 32:. It is named after 1705: 1678: 1652: 1616: 1579: 1543: 1510: 1324: 1260: 1093: 1019: 978: 890: 820: 721: 653: 608: 526: 373: 296: 162: 67: 16:In mathematics, the 1525:{\displaystyle r=1} 1413: 1302: 1277: 1219: 1201: 1176: 1139: 1118: 995: 549: 1880:Spectral sequences 1754: 1713:free part of  1691: 1664: 1638: 1602: 1565: 1522: 1492: 1393: 1303: 1288: 1263: 1242: 1205: 1187: 1162: 1125: 1102: 1073: 1002: 981: 956: 876: 803: 704: 635: 594: 529: 510: 359: 279: 134: 1842: 1841: 1789:978-0-521-56759-6 1714: 1701:is isomorphic to 1286: 1185: 1041: 844: 801: 781: 750: 369:and the same for 274: 229: 200: 107: 101: 87: 22:spectral sequence 1892: 1863: 1856: 1849: 1827:topology-related 1821: 1814: 1800: 1763: 1761: 1760: 1755: 1750: 1745: 1725: 1724: 1715: 1712: 1700: 1698: 1697: 1692: 1690: 1689: 1673: 1671: 1670: 1665: 1647: 1645: 1644: 1639: 1628: 1627: 1611: 1609: 1608: 1603: 1601: 1600: 1591: 1586: 1574: 1572: 1571: 1566: 1555: 1554: 1531: 1529: 1528: 1523: 1501: 1499: 1498: 1493: 1479: 1474: 1457: 1456: 1441: 1440: 1412: 1407: 1386: 1381: 1361: 1360: 1351: 1350: 1312: 1310: 1309: 1304: 1301: 1296: 1287: 1279: 1276: 1271: 1251: 1249: 1248: 1243: 1232: 1227: 1218: 1213: 1200: 1195: 1186: 1178: 1175: 1170: 1152: 1147: 1138: 1133: 1117: 1116: 1110: 1082: 1080: 1079: 1074: 1060: 1055: 1047: 1042: 1034: 1032: 1011: 1009: 1008: 1003: 994: 989: 966:(the degrees of 965: 963: 962: 957: 910: 909: 904: 885: 883: 882: 877: 875: 874: 873: 845: 842: 831: 830: 825: 812: 810: 809: 804: 802: 794: 792: 791: 782: 780: 776: 775: 770: 763: 761: 760: 751: 749: 735: 733: 732: 713: 711: 710: 705: 694: 693: 684: 683: 665: 664: 644: 642: 641: 636: 619: 618: 613: 603: 601: 600: 595: 587: 582: 568: 567: 548: 543: 519: 517: 516: 511: 404: 399: 385: 384: 368: 366: 365: 360: 349: 348: 330: 329: 308: 307: 288: 286: 285: 280: 275: 267: 259: 254: 240: 239: 230: 222: 211: 210: 201: 199: 185: 174: 173: 143: 141: 140: 135: 124: 119: 108: 106: 102: 99: 93: 88: 80: 1900: 1899: 1895: 1894: 1893: 1891: 1890: 1889: 1870: 1869: 1868: 1867: 1810: 1790: 1773: 1770: 1716: 1703: 1702: 1681: 1676: 1675: 1650: 1649: 1619: 1614: 1613: 1592: 1577: 1576: 1546: 1541: 1540: 1508: 1507: 1442: 1426: 1352: 1336: 1322: 1321: 1258: 1257: 1091: 1090: 1017: 1016: 976: 975: 902: 888: 887: 855: 823: 818: 817: 783: 768: 767: 752: 739: 724: 719: 718: 685: 669: 656: 651: 650: 611: 606: 605: 553: 524: 523: 376: 371: 370: 334: 315: 299: 294: 293: 231: 202: 189: 165: 160: 159: 97: 65: 64: 42: 34:Meyer Bockstein 12: 11: 5: 1898: 1896: 1888: 1887: 1885:Topology stubs 1882: 1872: 1871: 1866: 1865: 1858: 1851: 1843: 1840: 1839: 1822: 1808: 1807: 1801: 1788: 1769: 1766: 1753: 1749: 1744: 1740: 1737: 1734: 1731: 1728: 1723: 1719: 1710: 1688: 1684: 1663: 1660: 1657: 1637: 1634: 1631: 1626: 1622: 1599: 1595: 1590: 1585: 1564: 1561: 1558: 1553: 1549: 1536:for homology. 1521: 1518: 1515: 1504: 1503: 1491: 1488: 1485: 1482: 1478: 1473: 1469: 1466: 1463: 1460: 1455: 1452: 1449: 1445: 1439: 1436: 1433: 1429: 1425: 1422: 1419: 1416: 1411: 1406: 1403: 1400: 1396: 1392: 1389: 1385: 1380: 1376: 1373: 1370: 1367: 1364: 1359: 1355: 1349: 1346: 1343: 1339: 1335: 1332: 1329: 1300: 1295: 1291: 1285: 1282: 1275: 1270: 1266: 1254: 1253: 1241: 1238: 1235: 1231: 1226: 1222: 1217: 1212: 1208: 1204: 1199: 1194: 1190: 1184: 1181: 1174: 1169: 1165: 1161: 1158: 1155: 1151: 1146: 1142: 1137: 1132: 1128: 1124: 1121: 1115: 1109: 1105: 1101: 1098: 1084: 1083: 1072: 1069: 1066: 1063: 1059: 1054: 1050: 1046: 1040: 1037: 1031: 1027: 1024: 1001: 998: 993: 988: 984: 955: 952: 949: 946: 943: 940: 937: 934: 931: 928: 925: 922: 919: 916: 913: 908: 901: 898: 895: 872: 869: 866: 862: 858: 854: 851: 848: 840: 837: 834: 829: 814: 813: 800: 797: 790: 786: 779: 774: 766: 759: 755: 748: 745: 742: 738: 731: 727: 703: 700: 697: 692: 688: 682: 679: 676: 672: 668: 663: 659: 647:derived couple 634: 631: 628: 625: 622: 617: 593: 590: 586: 581: 577: 574: 571: 566: 563: 560: 556: 552: 547: 542: 539: 536: 532: 509: 506: 503: 500: 497: 494: 491: 488: 485: 482: 479: 476: 473: 470: 467: 464: 461: 458: 455: 452: 449: 446: 443: 440: 437: 434: 431: 428: 425: 422: 419: 416: 413: 410: 407: 403: 398: 394: 391: 388: 383: 379: 358: 355: 352: 347: 344: 341: 337: 333: 328: 325: 322: 318: 314: 311: 306: 302: 290: 289: 278: 273: 270: 265: 262: 258: 253: 249: 246: 243: 238: 234: 228: 225: 220: 217: 214: 209: 205: 198: 195: 192: 188: 183: 180: 177: 172: 168: 145: 144: 133: 130: 127: 123: 118: 114: 111: 105: 96: 91: 86: 83: 78: 75: 72: 41: 38: 13: 10: 9: 6: 4: 3: 2: 1897: 1886: 1883: 1881: 1878: 1877: 1875: 1864: 1859: 1857: 1852: 1850: 1845: 1844: 1838: 1836: 1832: 1829:article is a 1828: 1823: 1820: 1816: 1811: 1806: 1802: 1799: 1795: 1791: 1785: 1781: 1777: 1772: 1771: 1767: 1765: 1751: 1747: 1738: 1729: 1721: 1717: 1682: 1655: 1632: 1624: 1620: 1597: 1593: 1588: 1559: 1551: 1547: 1537: 1535: 1519: 1516: 1513: 1489: 1480: 1476: 1467: 1461: 1453: 1450: 1447: 1443: 1437: 1434: 1431: 1427: 1420: 1417: 1409: 1404: 1401: 1398: 1394: 1387: 1383: 1374: 1365: 1357: 1353: 1347: 1344: 1341: 1337: 1327: 1320: 1319: 1318: 1316: 1298: 1293: 1289: 1283: 1273: 1268: 1264: 1239: 1233: 1229: 1220: 1215: 1210: 1206: 1197: 1192: 1188: 1182: 1172: 1167: 1163: 1153: 1149: 1140: 1135: 1130: 1126: 1119: 1107: 1103: 1096: 1089: 1088: 1087: 1070: 1067: 1061: 1057: 1038: 1022: 1015: 1014: 1013: 999: 996: 991: 986: 982: 973: 969: 950: 947: 944: 941: 935: 932: 929: 923: 917: 911: 906: 896: 893: 870: 867: 864: 860: 856: 852: 846: 835: 832: 827: 798: 788: 784: 777: 772: 757: 753: 746: 743: 740: 729: 725: 717: 716: 715: 698: 690: 686: 680: 677: 674: 670: 666: 661: 657: 648: 632: 629: 626: 623: 620: 615: 588: 584: 575: 572: 564: 561: 558: 554: 550: 545: 540: 537: 534: 530: 520: 507: 501: 498: 495: 492: 486: 483: 480: 477: 474: 468: 465: 462: 456: 453: 450: 447: 444: 438: 435: 432: 429: 423: 420: 417: 414: 411: 405: 401: 392: 389: 381: 377: 353: 345: 342: 339: 335: 331: 326: 323: 320: 312: 304: 300: 276: 271: 260: 256: 247: 244: 236: 232: 226: 215: 207: 203: 196: 193: 190: 178: 170: 166: 158: 157: 156: 154: 151:, we get the 150: 131: 125: 121: 112: 109: 103: 89: 84: 76: 70: 63: 62: 61: 59: 55: 51: 47: 39: 37: 35: 31: 27: 23: 19: 1835:expanding it 1824: 1809: 1775: 1674:we thus see 1538: 1505: 1314: 1255: 1085: 971: 967: 815: 521: 291: 153:exact couple 148: 146: 58:prime number 53: 45: 43: 29: 25: 17: 15: 1803:J. P. May, 1874:Categories 1768:References 1648:. Letting 40:Definition 1739:⊗ 1722:∗ 1687:∞ 1662:∞ 1659:→ 1625:∗ 1552:∗ 1487:⟶ 1451:− 1435:− 1421:⁡ 1415:⟶ 1391:⟶ 1375:⊗ 1345:− 1331:⟶ 1281:⟶ 1237:⟶ 1221:⊗ 1203:⟶ 1180:⟶ 1160:⟶ 1120:⁡ 1100:⟶ 1065:⟶ 1049:⟶ 1036:⟶ 1026:⟶ 1000:− 997:⊗ 948:− 933:− 924:− 897:⁡ 861:− 853:∘ 843:mod  796:⟶ 765:⟶ 737:⟶ 691:∗ 678:− 630:∘ 576:⊗ 493:− 481:⁡ 451:⁡ 436:− 418:⁡ 393:⊗ 382:∗ 305:∗ 269:⟶ 248:⊗ 237:∗ 224:⟶ 208:∗ 187:⟶ 171:∗ 129:⟶ 113:⊗ 95:⟶ 82:⟶ 74:⟶ 1086:we get: 1798:1793722 1796:  1786:  816:where 645:. The 1825:This 1506:When 20:is a 1831:stub 1784:ISBN 1012:of 886:and 52:and 44:Let 1418:Tor 1104:Tor 894:deg 478:deg 448:deg 415:deg 100:mod 1876:: 1794:MR 1792:, 1782:, 1764:. 1317:, 970:, 132:0. 56:a 36:. 1862:e 1855:t 1848:v 1837:. 1752:p 1748:/ 1743:Z 1736:) 1733:) 1730:C 1727:( 1718:H 1709:( 1683:E 1656:r 1636:) 1633:C 1630:( 1621:H 1598:s 1594:p 1589:/ 1584:Z 1563:) 1560:C 1557:( 1548:H 1520:1 1517:= 1514:r 1502:. 1490:0 1484:) 1481:p 1477:/ 1472:Z 1468:, 1465:) 1462:C 1459:( 1454:1 1448:n 1444:H 1438:1 1432:r 1428:p 1424:( 1410:r 1405:0 1402:, 1399:n 1395:E 1388:p 1384:/ 1379:Z 1372:) 1369:) 1366:C 1363:( 1358:n 1354:H 1348:1 1342:r 1338:p 1334:( 1328:0 1315:r 1299:r 1294:n 1290:D 1284:p 1274:r 1269:n 1265:D 1252:. 1240:0 1234:p 1230:/ 1225:Z 1216:r 1211:n 1207:D 1198:r 1193:n 1189:D 1183:p 1173:r 1168:n 1164:D 1157:) 1154:p 1150:/ 1145:Z 1141:, 1136:r 1131:n 1127:D 1123:( 1114:Z 1108:1 1097:0 1071:, 1068:0 1062:p 1058:/ 1053:Z 1045:Z 1039:p 1030:Z 1023:0 992:r 987:n 983:D 972:k 968:i 954:) 951:1 945:r 942:, 939:) 936:1 930:r 927:( 921:( 918:= 915:) 912:j 907:r 900:( 871:1 868:+ 865:r 857:p 850:) 847:p 839:( 836:= 833:j 828:r 799:k 789:r 785:E 778:j 773:r 758:r 754:D 747:p 744:= 741:i 730:r 726:D 702:) 699:C 696:( 687:H 681:1 675:r 671:p 667:= 662:r 658:D 633:k 627:j 624:= 621:d 616:1 592:) 589:p 585:/ 580:Z 573:C 570:( 565:t 562:+ 559:s 555:H 551:= 546:1 541:t 538:, 535:s 531:E 508:. 505:) 502:0 499:, 496:1 490:( 487:= 484:k 475:, 472:) 469:0 466:, 463:0 460:( 457:= 454:j 445:, 442:) 439:1 433:, 430:1 427:( 424:= 421:i 412:, 409:) 406:p 402:/ 397:Z 390:C 387:( 378:H 357:) 354:C 351:( 346:t 343:+ 340:s 336:H 332:= 327:t 324:, 321:s 317:) 313:C 310:( 301:H 277:. 272:k 264:) 261:p 257:/ 252:Z 245:C 242:( 233:H 227:j 219:) 216:C 213:( 204:H 197:p 194:= 191:i 182:) 179:C 176:( 167:H 149:H 126:p 122:/ 117:Z 110:C 104:p 90:C 85:p 77:C 71:0 54:p 46:C 30:p 26:p

Index

spectral sequence
Meyer Bockstein
torsion-free abelian groups
prime number
exact couple
derived couple
universal coefficient theorem
Cambridge University Press
ISBN
978-0-521-56759-6
MR
1793722
A primer on spectral sequences
Stub icon
topology-related
stub
expanding it
v
t
e
Categories
Spectral sequences
Topology stubs

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