Knowledge

Analytic torsion

Source đź“ť

3183: 2610: 3748:. Both approaches focus on the logarithm of torsions and their traces. This is easier for odd-dimensional manifolds than in the even-dimensional case, which involves additional technical difficulties. This Cheeger–Müller theorem (that the two notions of torsion are equivalent), along with 3641: 2287: 2955: 613: 2490: 3852: 889: 2881: 1346: 1247: 3465: 318: 2785: 1554: 1460: 1061: 2081:
J. H. C. Whitehead defined the "torsion" of a homotopy equivalence between finite complexes. This is a direct generalization of the Reidemeister, Franz, and de Rham concept; but is a more delicate invariant.
2164: 1403: 2462: 3178:{\displaystyle \zeta _{q}(s;\rho )=\sum _{\lambda _{j}>0}\lambda _{j}^{-s}={\frac {1}{\Gamma (s)}}\int _{0}^{\infty }t^{s-1}{\text{Tr}}(e^{-t\Delta _{q}}-P_{q})dt,\ \ \ {\text{Re}}(s)>{\frac {n}{2}}} 409: 1935: 3714: 1813: 2093:
In 1960 Milnor discovered the duality relation of torsion invariants of manifolds and show that the (twisted) Alexander polynomial of knots is the Reidemeister torsion of its knot complement in
2361: 439: 1610: 1142: 2086:
provides a key tool for the study of combinatorial or differentiable manifolds with nontrivial fundamental group and is closely related to the concept of "simple homotopy type", see (
3285: 1977: 1878: 3358: 1690: 937: 3386: 690: 3245: 2947: 3457: 2605:{\displaystyle \Lambda ^{0}{\stackrel {d_{0}}{\longrightarrow }}\Lambda ^{1}{\stackrel {d_{1}}{\longrightarrow }}\cdots {\stackrel {d_{n-1}}{\longrightarrow }}\Lambda ^{n}} 2817: 1083: 959: 722: 3312: 2911: 2667: 1737: 1645: 3734: 2694: 2640: 2404: 2156: 2118: 2017: 2037: 762: 3412: 4020: 3206: 2482: 1997: 1833: 1760: 1710: 1267: 979: 742: 641: 2366:
The representation of the fundamental group of knot complement plays a central role in them. It gives the relation between knot theory and torsion invariants.
770: 2825: 1272: 1151: 3636:{\displaystyle T_{M}(\rho ;E)=\exp {\biggl (}{\frac {1}{2}}\sum _{q=0}^{n}(-l)^{q}q{\frac {d}{ds}}\zeta _{q}(s;\rho ){\biggl |}_{s=0}{\biggr )}.} 243: 4365: 3759:
A proof of the Cheeger-MĂĽller theorem for arbitrary representations was later given by J. M. Bismut and Weiping Zhang. Their proof uses the
2282:{\displaystyle P_{o}\colon \operatorname {det} (H_{q}(M)){\overset {\sim }{\,\longrightarrow \,}}(\operatorname {det} (H_{n-q}(M)))^{-1}} 2702: 1471: 1408: 984: 1351: 2409: 4324: 4131: 116: 3773:
Bismut, J. -M.; Zhang, W. (1994-03-01), "Milnor and Ray-Singer metrics on the equivariant determinant of a flat vector bundle",
3749: 345: 1883: 4391: 3949: 56: 4061: 3649: 1765: 608:{\displaystyle T(M,E)=\exp \left(\sum _{k}(-1)^{k}k\zeta _{k}^{\prime }(0)/2\right)=\prod _{k}\Delta _{k}^{-(-1)^{k}k/2}.} 2298: 4056: 1562: 4360:, Proceedings of Symposia in Pure Mathematics, vol. 10, Providence, R.I.: Amer. Math. Soc., pp. 288–307, 1088: 3753: 4401: 4220: 4070: 3250: 1940: 1838: 4118:, de Gruyter Studies in Mathematics, vol. 30, Berlin: Walter de Gruyter & Co., pp. xiv+249, 4051: 3321: 1650: 897: 4154: 3987: 3913: 3811: 3760: 332: 32: 3363: 2819:, the Laplacian is then a symmetric positive semi-positive elliptic operator with pure point spectrum 653: 3211: 2058:) by Reidemeister, and in higher-dimensional spaces by Franz. The classification includes examples of 4396: 4345: 3861: 2916: 124: 3420: 4198:, Proc. Sympos. Pure Math., vol. XXIII, Providence, R.I.: Amer. Math. Soc., pp. 167–181, 3954: 2129: 2059: 162: 135: 80: 2793: 1066: 942: 698: 4270: 4171: 4004: 3971: 3930: 3828: 3798: 3290: 2889: 2645: 1715: 206: 143: 131: 1615: 4356:
Seeley, R. T. (1967), "Complex powers of an elliptic operator", in CalderĂłn, Alberto P. (ed.),
4361: 4320: 4250: 4127: 3897: 3790: 2083: 648: 154: 40: 84: 4312: 4293: 4262: 4229: 4163: 4119: 4079: 4029: 3996: 3963: 3922: 3887: 3869: 3820: 3782: 2067: 4375: 4334: 4243: 4203: 4183: 4141: 4093: 4043: 3942: 3883: 3840: 3719: 2672: 2618: 2377: 2134: 2096: 2002: 4371: 4330: 4304: 4297: 4281: 4239: 4199: 4179: 4137: 4089: 4039: 3938: 3879: 3836: 2022: 747: 693: 64: 3391: 3865: 4211: 4191: 4149: 3736:. This Ray–Singer conjecture was eventually proved, independently, by Cheeger ( 3191: 2467: 1982: 1818: 1745: 1695: 1252: 964: 884:{\displaystyle H_{n}^{\pi }(X;U):=H_{n}(U\otimes _{\mathbf {Z} }C_{*}({\tilde {X}}))=0} 727: 626: 88: 3892: 4385: 4274: 4234: 4084: 3975: 3802: 2075: 414:
which is formally the product of the positive eigenvalues of the laplacian acting on
198: 16:
Topological invariant of manifolds that can distinguish homotopy-equivalent manifolds
4311:, Progress in Mathematics, vol. 208, Basel: Birkhäuser Verlag, pp. x+196, 4034: 3908: 3847: 2876:{\displaystyle 0\leq \lambda _{0}\leq \lambda _{1}\leq \cdots \rightarrow \infty .} 2063: 139: 104: 2886:
As before, we can therefore define a zeta function associated with the Laplacian
1341:{\displaystyle (d_{*}+\gamma _{*})_{\text{odd}}:D_{\text{odd}}\to D_{\text{even}}} 4068:
MĂĽller, Werner (1978), "Analytic torsion and R-torsion of Riemannian manifolds",
4341: 4015: 3982: 3853:
Proceedings of the National Academy of Sciences of the United States of America
3417:
As in the case of an orthogonal representation, we define the analytic torsion
4316: 3967: 2484:
on a real vector space of dimension N. Then we can define the de Rham complex
2051: 2050:
Reidemeister torsion was first used to combinatorially classify 3-dimensional
644: 218: 147: 48: 3794: 1242:{\displaystyle d_{n+1}\circ \gamma _{n}+\gamma _{n-1}\circ d_{n}=id_{D_{n}}} 52: 3901: 3874: 4123: 4101: 3809:
Brody, E. J. (1960), "The topological classification of the lens spaces",
36: 313:{\displaystyle \zeta _{k}(s)=\sum _{\lambda _{j}>0}\lambda _{j}^{-s}} 4284:(1936), "Sur les nouveaux invariants topologiques de M. Reidemeister", 4266: 4175: 4008: 3934: 3832: 3786: 4167: 4000: 3926: 3824: 127:
and analytic torsion are the same for compact Riemannian manifolds.
4358:
Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966)
2780:{\displaystyle \Delta _{p}=\delta _{p+1}d_{p}+d_{p-1}\delta _{p}.} 1549:{\displaystyle \rho (X;U):=|\det(A)|^{-1}\in \mathbf {R} ^{>0}} 1455:{\displaystyle D_{\text{even}}:=\oplus _{n\,{\text{even}}}\,D_{n}} 1056:{\displaystyle D_{*}:=U\otimes _{\mathbf {Z} }C_{*}({\tilde {X}})} 1398:{\displaystyle D_{\text{odd}}:=\oplus _{n\,{\text{odd}}}\,D_{n}} 2457:{\displaystyle \rho \colon \pi (M)\rightarrow \mathop {GL} (E)} 335:. The zeta regularized determinant of the Laplacian acting on 2406:
be an orientable compact Riemann manifold of dimension n and
3257: 517: 384: 2696:. As usual, we also obtain the Hodge Laplacian on p-forms 1612:
with respect to the given bases. The Reidemeister torsion
404:{\displaystyle \Delta _{k}=\exp(-\zeta _{k}^{\prime }(0))} 134:
that could distinguish between closed manifolds which are
1930:{\displaystyle \tau _{M}(\rho :\mu )\in \mathbf {R} ^{+}} 2066:— at the time (1935) the classification was only up to 1835:
has a smooth triangulation. For any choice of a volume
1647:
is independent of the choice of the cellular basis for
4218:-torsion and the Laplacian on Riemannian manifolds.", 3985:(1962), "A duality theorem for Reidemeister torsion", 2074:) showed that this was in fact a classification up to 3850:(1977), "Analytic torsion and Reidemeister torsion", 3722: 3652: 3468: 3423: 3394: 3366: 3324: 3293: 3253: 3214: 3194: 2958: 2919: 2892: 2828: 2796: 2705: 2675: 2648: 2621: 2493: 2470: 2412: 2380: 2301: 2167: 2137: 2099: 2025: 2005: 1985: 1943: 1886: 1841: 1821: 1768: 1748: 1718: 1698: 1653: 1618: 1565: 1474: 1411: 1354: 1275: 1255: 1154: 1091: 1069: 987: 967: 945: 900: 773: 750: 730: 701: 656: 629: 442: 348: 246: 4152:(1973a), "Analytic torsion for complex manifolds.", 3709:{\displaystyle T_{M}(\rho ;E)=\tau _{M}(\rho ;\mu )} 1808:{\displaystyle \rho \colon \pi (M)\rightarrow GL(E)} 100: 96: 103:) as an analytic analogue of Reidemeister torsion. 92: 3911:(1979), "Analytic torsion and the heat equation", 3728: 3708: 3646:In 1971 D.B. Ray and I.M. Singer conjectured that 3635: 3451: 3406: 3380: 3352: 3306: 3279: 3239: 3200: 3177: 2941: 2905: 2875: 2811: 2779: 2688: 2661: 2634: 2604: 2476: 2456: 2398: 2355: 2281: 2150: 2112: 2031: 2011: 1991: 1971: 1929: 1872: 1827: 1807: 1754: 1731: 1704: 1684: 1639: 1604: 1548: 1454: 1397: 1340: 1261: 1241: 1136: 1077: 1055: 973: 953: 931: 883: 756: 736: 716: 684: 635: 607: 403: 312: 169:). For more recent work on torsion see the books ( 161:). It has also given some important motivation to 3625: 3606: 3505: 2356:{\displaystyle \Delta (t)=\pm t^{n}\Delta (1/t).} 3952:(1935), "Ueber die Torsion einer Ueberdeckung", 1848: 1605:{\displaystyle (d_{*}+\gamma _{*})_{\text{odd}}} 1501: 146:as a distinct field. It can be used to classify 130:Reidemeister torsion was the first invariant in 3955:Journal fĂĽr die reine und angewandte Mathematik 4286:Recueil MathĂ©matique (Matematicheskii Sbornik) 4021:Bulletin of the American Mathematical Society 2464:a representation of the fundamental group of 8: 2055: 1137:{\displaystyle \gamma _{*}:D_{*}\to D_{*+1}} 44: 327:large, and this is extended to all complex 153:Reidemeister torsion is closely related to 4253:(1935), "Homotopieringe und Linsenräume", 894:for all n. If we fix a cellular basis for 178: 174: 123:) proved Ray and Singer's conjecture that 4233: 4083: 4033: 3891: 3873: 3721: 3685: 3657: 3651: 3624: 3623: 3611: 3605: 3604: 3582: 3563: 3554: 3535: 3524: 3510: 3504: 3503: 3473: 3467: 3428: 3422: 3393: 3373: 3365: 3329: 3323: 3298: 3292: 3262: 3256: 3255: 3252: 3219: 3213: 3193: 3165: 3148: 3121: 3106: 3095: 3083: 3071: 3061: 3056: 3031: 3019: 3014: 2996: 2991: 2963: 2957: 2924: 2918: 2897: 2891: 2852: 2839: 2827: 2795: 2768: 2752: 2739: 2723: 2710: 2704: 2680: 2674: 2653: 2647: 2626: 2620: 2596: 2576: 2571: 2566: 2564: 2563: 2550: 2545: 2540: 2538: 2537: 2531: 2517: 2512: 2507: 2505: 2504: 2498: 2492: 2469: 2434: 2411: 2379: 2339: 2324: 2300: 2270: 2242: 2219: 2215: 2212: 2194: 2172: 2166: 2142: 2136: 2104: 2098: 2024: 2004: 1984: 1979:the Reidemeister torsion of the manifold 1948: 1942: 1921: 1916: 1891: 1885: 1855: 1840: 1820: 1767: 1747: 1723: 1717: 1697: 1668: 1667: 1658: 1652: 1617: 1596: 1586: 1573: 1564: 1537: 1532: 1519: 1514: 1496: 1473: 1446: 1441: 1434: 1433: 1429: 1416: 1410: 1389: 1384: 1377: 1376: 1372: 1359: 1353: 1332: 1319: 1306: 1296: 1283: 1274: 1254: 1231: 1226: 1210: 1191: 1178: 1159: 1153: 1122: 1109: 1096: 1090: 1070: 1068: 1039: 1038: 1029: 1009: 1008: 992: 986: 966: 946: 944: 915: 914: 905: 899: 858: 857: 848: 828: 827: 811: 783: 778: 772: 749: 729: 703: 702: 700: 667: 655: 628: 592: 583: 566: 561: 551: 531: 516: 511: 498: 479: 441: 383: 378: 353: 347: 301: 296: 278: 273: 251: 245: 1937:. Then we call the positive real number 4116:The Reidemeister torsion of 3-manifolds 3741: 3737: 2046:A short history of Reidemeister torsion 142:, and can thus be seen as the birth of 112: 108: 68: 3745: 3315: 2121: 2087: 2062:3-dimensional manifolds which are not 1762:be a compact smooth manifold, and let 170: 158: 120: 4346:"Remarks on the Alexander polynomial" 3360:extends to a meromorphic function of 3280:{\displaystyle {\mathcal {H}}^{q}(E)} 2071: 1972:{\displaystyle \tau _{M}(\rho :\mu )} 1873:{\displaystyle \mu \in \det H_{*}(M)} 60: 7: 1063:is a contractible finite based free 744:be an orthogonal finite-dimensional 4309:Torsions of 3-dimensional manifolds 3775:Geometric & Functional Analysis 3353:{\displaystyle \zeta _{q}(s;\rho )} 1685:{\displaystyle C_{*}({\tilde {X}})} 932:{\displaystyle C_{*}({\tilde {X}})} 4050:Mishchenko, Aleksandr S. (2001) , 3295: 3225: 3103: 3062: 3037: 2921: 2894: 2867: 2797: 2707: 2593: 2528: 2495: 2330: 2302: 619:Definition of Reidemeister torsion 558: 350: 14: 4103:Notes on the Reidemeister torsion 3381:{\displaystyle s\in \mathbf {C} } 2070:, but later E.J. Brody ( 685:{\displaystyle \pi :=\pi _{1}(X)} 166: 3754:Chern–Simons perturbation theory 3374: 3240:{\displaystyle L^{2}\Lambda (E)} 1917: 1815:be a unimodular representation. 1533: 1071: 1010: 947: 829: 4035:10.1090/S0002-9904-1966-11484-2 3752:, later provided the basis for 3716:for any unitary representation 2942:{\displaystyle \Lambda ^{q}(E)} 4196:Partial differential equations 4194:(1973b), "Analytic torsion.", 3703: 3691: 3675: 3663: 3600: 3588: 3551: 3541: 3491: 3479: 3452:{\displaystyle T_{M}(\rho ;E)} 3446: 3434: 3347: 3335: 3274: 3268: 3234: 3228: 3159: 3153: 3127: 3088: 3046: 3040: 2981: 2969: 2936: 2930: 2864: 2567: 2541: 2508: 2451: 2445: 2431: 2428: 2422: 2393: 2381: 2347: 2333: 2311: 2305: 2267: 2263: 2260: 2254: 2235: 2226: 2216: 2209: 2206: 2200: 2187: 1966: 1954: 1909: 1897: 1867: 1861: 1802: 1796: 1787: 1784: 1778: 1679: 1673: 1664: 1634: 1622: 1593: 1566: 1515: 1510: 1504: 1497: 1490: 1478: 1325: 1303: 1276: 1115: 1050: 1044: 1035: 1020: 1014: 926: 920: 911: 872: 869: 863: 854: 839: 833: 817: 801: 789: 764:-representation. Suppose that 708: 679: 673: 580: 570: 528: 522: 495: 485: 458: 446: 398: 395: 389: 368: 263: 257: 185:Definition of analytic torsion 1: 4255:Abh. Math. Sem. Univ. Hamburg 4114:Nicolaescu, Liviu I. (2003), 4100:Nicolaescu, Liviu I. (2002), 4018:(1966), "Whitehead torsion", 3314:. It was moreover shown by ( 1144:be any chain contraction of D 193:is a Riemannian manifold and 4235:10.1016/0001-8708(71)90045-4 4085:10.1016/0001-8708(78)90116-0 3750:Atiyah–Patodi–Singer theorem 2812:{\displaystyle \partial M=0} 1078:{\displaystyle \mathbf {R} } 954:{\displaystyle \mathbf {R} } 717:{\displaystyle {\tilde {X}}} 4057:Encyclopedia of Mathematics 3307:{\displaystyle \Delta _{q}} 2906:{\displaystyle \Delta _{q}} 2662:{\displaystyle \delta _{p}} 1732:{\displaystyle \gamma _{*}} 1692:, the orthogonal basis for 1269:. We obtain an isomorphism 4418: 1712:and the chain contraction 1640:{\displaystyle \rho (X;U)} 51:and generalized to higher 29:Reidemeister–Franz torsion 4317:10.1007/978-3-0348-7999-6 3968:10.1515/crll.1935.173.245 1559:where A is the matrix of 3388:which is holomorphic at 231:then the zeta function ζ 4221:Advances in Mathematics 4071:Advances in Mathematics 2669:due to the flatness of 2615:and the formal adjoint 173:) and (Nicolaescu  4052:"Reidemeister torsion" 3875:10.1073/pnas.74.7.2651 3730: 3710: 3637: 3540: 3453: 3408: 3382: 3354: 3308: 3281: 3247:onto the kernel space 3241: 3202: 3179: 2943: 2907: 2877: 2813: 2781: 2690: 2663: 2636: 2606: 2478: 2458: 2400: 2370:Cheeger–MĂĽller theorem 2357: 2283: 2152: 2114: 2033: 2013: 1993: 1973: 1931: 1880:, we get an invariant 1874: 1829: 1809: 1756: 1733: 1706: 1686: 1641: 1606: 1550: 1456: 1399: 1342: 1263: 1243: 1138: 1079: 1057: 975: 955: 933: 885: 758: 738: 718: 686: 643:be a finite connected 637: 609: 405: 314: 213:-forms with values in 4392:Differential geometry 4155:Annals of Mathematics 4124:10.1515/9783110198102 3988:Annals of Mathematics 3914:Annals of Mathematics 3812:Annals of Mathematics 3731: 3729:{\displaystyle \rho } 3711: 3638: 3520: 3454: 3409: 3383: 3355: 3309: 3282: 3242: 3208:is the projection of 3203: 3180: 2944: 2908: 2878: 2814: 2782: 2691: 2689:{\displaystyle E_{q}} 2664: 2637: 2635:{\displaystyle d_{p}} 2607: 2479: 2459: 2401: 2399:{\displaystyle (M,g)} 2358: 2284: 2153: 2151:{\displaystyle P_{o}} 2115: 2113:{\displaystyle S^{3}} 2034: 2014: 2012:{\displaystyle \rho } 1994: 1974: 1932: 1875: 1830: 1810: 1757: 1734: 1707: 1687: 1642: 1607: 1551: 1457: 1400: 1343: 1264: 1244: 1139: 1080: 1058: 976: 956: 934: 886: 759: 739: 719: 687: 638: 610: 406: 333:analytic continuation 315: 79:) is an invariant of 33:topological invariant 3720: 3650: 3466: 3421: 3392: 3364: 3322: 3291: 3251: 3212: 3192: 2956: 2917: 2890: 2826: 2794: 2703: 2673: 2646: 2619: 2491: 2468: 2410: 2378: 2299: 2165: 2135: 2097: 2032:{\displaystyle \mu } 2023: 2003: 1983: 1941: 1884: 1839: 1819: 1766: 1746: 1716: 1696: 1651: 1616: 1563: 1472: 1464:Reidemeister torsion 1409: 1352: 1273: 1253: 1152: 1089: 1085:-chain complex. Let 1067: 985: 965: 943: 898: 771: 757:{\displaystyle \pi } 748: 728: 699: 654: 627: 440: 346: 244: 125:Reidemeister torsion 81:Riemannian manifolds 21:Reidemeister torsion 3866:1977PNAS...74.2651C 3407:{\displaystyle s=0} 3066: 3027: 2292:and then we obtain 2060:homotopy equivalent 788: 601: 521: 433:) is defined to be 388: 309: 163:arithmetic topology 136:homotopy equivalent 65:Georges de Rham 4288:, Nouvelle SĂ©rie, 4267:10.1007/BF02940717 4251:Reidemeister, Kurt 4212:Singer, Isadore M. 4192:Singer, Isadore M. 4150:Singer, Isadore M. 3787:10.1007/BF01895837 3761:Witten deformation 3726: 3706: 3633: 3449: 3404: 3378: 3350: 3304: 3277: 3237: 3198: 3175: 3052: 3010: 3009: 2939: 2903: 2873: 2809: 2777: 2686: 2659: 2632: 2602: 2474: 2454: 2396: 2353: 2279: 2148: 2110: 2029: 2009: 1989: 1969: 1927: 1870: 1825: 1805: 1752: 1729: 1702: 1682: 1637: 1602: 1546: 1452: 1395: 1338: 1259: 1239: 1134: 1075: 1053: 971: 951: 939:and an orthogonal 929: 881: 774: 754: 734: 714: 682: 633: 605: 557: 556: 507: 484: 401: 374: 310: 292: 291: 207:Laplacian operator 205:, then there is a 144:geometric topology 132:algebraic topology 77:Ray–Singer torsion 57:Wolfgang Franz 4367:978-0-8218-1410-9 3576: 3518: 3287:of the Laplacian 3201:{\displaystyle P} 3173: 3151: 3147: 3144: 3141: 3086: 3050: 2987: 2589: 2557: 2524: 2477:{\displaystyle M} 2224: 2084:Whitehead torsion 2056:Reidemeister 1935 1992:{\displaystyle M} 1828:{\displaystyle M} 1755:{\displaystyle M} 1705:{\displaystyle U} 1676: 1599: 1437: 1419: 1380: 1362: 1335: 1322: 1309: 1262:{\displaystyle n} 1047: 974:{\displaystyle U} 923: 866: 737:{\displaystyle U} 711: 649:fundamental group 636:{\displaystyle X} 547: 475: 269: 237:is defined to be 155:Whitehead torsion 117:Werner MĂĽller 89:Isadore M. Singer 45:Reidemeister 1935 41:Kurt Reidemeister 4409: 4378: 4352: 4350: 4337: 4305:Turaev, Vladimir 4300: 4282:de Rham, Georges 4277: 4246: 4237: 4210:Ray, Daniel B.; 4206: 4190:Ray, Daniel B.; 4186: 4148:Ray, Daniel B.; 4144: 4109: 4108: 4096: 4087: 4064: 4046: 4037: 4011: 3978: 3962:(173): 245–254, 3945: 3904: 3895: 3877: 3860:(7): 2651–2654, 3843: 3805: 3735: 3733: 3732: 3727: 3715: 3713: 3712: 3707: 3690: 3689: 3662: 3661: 3642: 3640: 3639: 3634: 3629: 3628: 3622: 3621: 3610: 3609: 3587: 3586: 3577: 3575: 3564: 3559: 3558: 3539: 3534: 3519: 3511: 3509: 3508: 3478: 3477: 3458: 3456: 3455: 3450: 3433: 3432: 3413: 3411: 3410: 3405: 3387: 3385: 3384: 3379: 3377: 3359: 3357: 3356: 3351: 3334: 3333: 3313: 3311: 3310: 3305: 3303: 3302: 3286: 3284: 3283: 3278: 3267: 3266: 3261: 3260: 3246: 3244: 3243: 3238: 3224: 3223: 3207: 3205: 3204: 3199: 3184: 3182: 3181: 3176: 3174: 3166: 3152: 3149: 3145: 3142: 3139: 3126: 3125: 3113: 3112: 3111: 3110: 3087: 3084: 3082: 3081: 3065: 3060: 3051: 3049: 3032: 3026: 3018: 3008: 3001: 3000: 2968: 2967: 2948: 2946: 2945: 2940: 2929: 2928: 2912: 2910: 2909: 2904: 2902: 2901: 2882: 2880: 2879: 2874: 2857: 2856: 2844: 2843: 2818: 2816: 2815: 2810: 2786: 2784: 2783: 2778: 2773: 2772: 2763: 2762: 2744: 2743: 2734: 2733: 2715: 2714: 2695: 2693: 2692: 2687: 2685: 2684: 2668: 2666: 2665: 2660: 2658: 2657: 2641: 2639: 2638: 2633: 2631: 2630: 2611: 2609: 2608: 2603: 2601: 2600: 2591: 2590: 2588: 2587: 2586: 2570: 2565: 2559: 2558: 2556: 2555: 2554: 2544: 2539: 2536: 2535: 2526: 2525: 2523: 2522: 2521: 2511: 2506: 2503: 2502: 2483: 2481: 2480: 2475: 2463: 2461: 2460: 2455: 2441: 2405: 2403: 2402: 2397: 2362: 2360: 2359: 2354: 2343: 2329: 2328: 2288: 2286: 2285: 2280: 2278: 2277: 2253: 2252: 2225: 2220: 2213: 2199: 2198: 2177: 2176: 2157: 2155: 2154: 2149: 2147: 2146: 2130:PoincarĂ© duality 2119: 2117: 2116: 2111: 2109: 2108: 2068:PL homeomorphism 2038: 2036: 2035: 2030: 2018: 2016: 2015: 2010: 1999:with respect to 1998: 1996: 1995: 1990: 1978: 1976: 1975: 1970: 1953: 1952: 1936: 1934: 1933: 1928: 1926: 1925: 1920: 1896: 1895: 1879: 1877: 1876: 1871: 1860: 1859: 1834: 1832: 1831: 1826: 1814: 1812: 1811: 1806: 1761: 1759: 1758: 1753: 1738: 1736: 1735: 1730: 1728: 1727: 1711: 1709: 1708: 1703: 1691: 1689: 1688: 1683: 1678: 1677: 1669: 1663: 1662: 1646: 1644: 1643: 1638: 1611: 1609: 1608: 1603: 1601: 1600: 1597: 1591: 1590: 1578: 1577: 1555: 1553: 1552: 1547: 1545: 1544: 1536: 1527: 1526: 1518: 1500: 1462:. We define the 1461: 1459: 1458: 1453: 1451: 1450: 1440: 1439: 1438: 1435: 1421: 1420: 1417: 1404: 1402: 1401: 1396: 1394: 1393: 1383: 1382: 1381: 1378: 1364: 1363: 1360: 1347: 1345: 1344: 1339: 1337: 1336: 1333: 1324: 1323: 1320: 1311: 1310: 1307: 1301: 1300: 1288: 1287: 1268: 1266: 1265: 1260: 1248: 1246: 1245: 1240: 1238: 1237: 1236: 1235: 1215: 1214: 1202: 1201: 1183: 1182: 1170: 1169: 1143: 1141: 1140: 1135: 1133: 1132: 1114: 1113: 1101: 1100: 1084: 1082: 1081: 1076: 1074: 1062: 1060: 1059: 1054: 1049: 1048: 1040: 1034: 1033: 1024: 1023: 1013: 997: 996: 980: 978: 977: 972: 960: 958: 957: 952: 950: 938: 936: 935: 930: 925: 924: 916: 910: 909: 890: 888: 887: 882: 868: 867: 859: 853: 852: 843: 842: 832: 816: 815: 787: 782: 763: 761: 760: 755: 743: 741: 740: 735: 723: 721: 720: 715: 713: 712: 704: 691: 689: 688: 683: 672: 671: 642: 640: 639: 634: 614: 612: 611: 606: 600: 596: 588: 587: 565: 555: 543: 539: 535: 520: 515: 503: 502: 483: 420:analytic torsion 410: 408: 407: 402: 387: 382: 358: 357: 319: 317: 316: 311: 308: 300: 290: 283: 282: 256: 255: 105:Jeff Cheeger 73:Analytic torsion 19:In mathematics, 4417: 4416: 4412: 4411: 4410: 4408: 4407: 4406: 4382: 4381: 4368: 4355: 4348: 4340: 4327: 4303: 4280: 4249: 4209: 4189: 4168:10.2307/1970909 4147: 4134: 4113: 4106: 4099: 4067: 4049: 4014: 4001:10.2307/1970268 3981: 3950:Franz, Wolfgang 3948: 3927:10.2307/1971113 3907: 3846: 3825:10.2307/1969884 3808: 3772: 3769: 3718: 3717: 3681: 3653: 3648: 3647: 3603: 3578: 3568: 3550: 3469: 3464: 3463: 3424: 3419: 3418: 3390: 3389: 3362: 3361: 3325: 3320: 3319: 3294: 3289: 3288: 3254: 3249: 3248: 3215: 3210: 3209: 3190: 3189: 3117: 3102: 3091: 3067: 3036: 2992: 2959: 2954: 2953: 2920: 2915: 2914: 2893: 2888: 2887: 2848: 2835: 2824: 2823: 2792: 2791: 2764: 2748: 2735: 2719: 2706: 2701: 2700: 2676: 2671: 2670: 2649: 2644: 2643: 2622: 2617: 2616: 2592: 2572: 2546: 2527: 2513: 2494: 2489: 2488: 2466: 2465: 2408: 2407: 2376: 2375: 2372: 2320: 2297: 2296: 2266: 2238: 2214: 2190: 2168: 2163: 2162: 2138: 2133: 2132: 2100: 2095: 2094: 2048: 2042: 2021: 2020: 2001: 2000: 1981: 1980: 1944: 1939: 1938: 1915: 1887: 1882: 1881: 1851: 1837: 1836: 1817: 1816: 1764: 1763: 1744: 1743: 1719: 1714: 1713: 1694: 1693: 1654: 1649: 1648: 1614: 1613: 1592: 1582: 1569: 1561: 1560: 1531: 1513: 1470: 1469: 1442: 1425: 1412: 1407: 1406: 1385: 1368: 1355: 1350: 1349: 1328: 1315: 1302: 1292: 1279: 1271: 1270: 1251: 1250: 1227: 1222: 1206: 1187: 1174: 1155: 1150: 1149: 1147: 1118: 1105: 1092: 1087: 1086: 1065: 1064: 1025: 1004: 988: 983: 982: 963: 962: 941: 940: 901: 896: 895: 844: 823: 807: 769: 768: 746: 745: 726: 725: 697: 696: 694:universal cover 663: 652: 651: 625: 624: 621: 579: 494: 474: 470: 438: 437: 349: 344: 343: 274: 247: 242: 241: 236: 230: 187: 17: 12: 11: 5: 4415: 4413: 4405: 4404: 4402:Surgery theory 4399: 4394: 4384: 4383: 4380: 4379: 4366: 4353: 4338: 4325: 4301: 4292:(5): 737–742, 4278: 4247: 4228:(2): 145–210, 4207: 4187: 4162:(1): 154–177, 4145: 4132: 4111: 4097: 4078:(3): 233–305, 4065: 4047: 4028:(3): 358–426, 4012: 3995:(1): 137–138, 3979: 3946: 3921:(2): 259–322, 3905: 3844: 3819:(1): 163–184, 3806: 3781:(2): 136–212, 3768: 3765: 3725: 3705: 3702: 3699: 3696: 3693: 3688: 3684: 3680: 3677: 3674: 3671: 3668: 3665: 3660: 3656: 3644: 3643: 3632: 3627: 3620: 3617: 3614: 3608: 3602: 3599: 3596: 3593: 3590: 3585: 3581: 3574: 3571: 3567: 3562: 3557: 3553: 3549: 3546: 3543: 3538: 3533: 3530: 3527: 3523: 3517: 3514: 3507: 3502: 3499: 3496: 3493: 3490: 3487: 3484: 3481: 3476: 3472: 3448: 3445: 3442: 3439: 3436: 3431: 3427: 3403: 3400: 3397: 3376: 3372: 3369: 3349: 3346: 3343: 3340: 3337: 3332: 3328: 3301: 3297: 3276: 3273: 3270: 3265: 3259: 3236: 3233: 3230: 3227: 3222: 3218: 3197: 3186: 3185: 3172: 3169: 3164: 3161: 3158: 3155: 3138: 3135: 3132: 3129: 3124: 3120: 3116: 3109: 3105: 3101: 3098: 3094: 3090: 3080: 3077: 3074: 3070: 3064: 3059: 3055: 3048: 3045: 3042: 3039: 3035: 3030: 3025: 3022: 3017: 3013: 3007: 3004: 2999: 2995: 2990: 2986: 2983: 2980: 2977: 2974: 2971: 2966: 2962: 2938: 2935: 2932: 2927: 2923: 2900: 2896: 2884: 2883: 2872: 2869: 2866: 2863: 2860: 2855: 2851: 2847: 2842: 2838: 2834: 2831: 2808: 2805: 2802: 2799: 2790:Assuming that 2788: 2787: 2776: 2771: 2767: 2761: 2758: 2755: 2751: 2747: 2742: 2738: 2732: 2729: 2726: 2722: 2718: 2713: 2709: 2683: 2679: 2656: 2652: 2629: 2625: 2613: 2612: 2599: 2595: 2585: 2582: 2579: 2575: 2569: 2562: 2553: 2549: 2543: 2534: 2530: 2520: 2516: 2510: 2501: 2497: 2473: 2453: 2450: 2447: 2444: 2440: 2437: 2433: 2430: 2427: 2424: 2421: 2418: 2415: 2395: 2392: 2389: 2386: 2383: 2371: 2368: 2364: 2363: 2352: 2349: 2346: 2342: 2338: 2335: 2332: 2327: 2323: 2319: 2316: 2313: 2310: 2307: 2304: 2290: 2289: 2276: 2273: 2269: 2265: 2262: 2259: 2256: 2251: 2248: 2245: 2241: 2237: 2234: 2231: 2228: 2223: 2218: 2211: 2208: 2205: 2202: 2197: 2193: 2189: 2186: 2183: 2180: 2175: 2171: 2145: 2141: 2107: 2103: 2047: 2044: 2028: 2008: 1988: 1968: 1965: 1962: 1959: 1956: 1951: 1947: 1924: 1919: 1914: 1911: 1908: 1905: 1902: 1899: 1894: 1890: 1869: 1866: 1863: 1858: 1854: 1850: 1847: 1844: 1824: 1804: 1801: 1798: 1795: 1792: 1789: 1786: 1783: 1780: 1777: 1774: 1771: 1751: 1726: 1722: 1701: 1681: 1675: 1672: 1666: 1661: 1657: 1636: 1633: 1630: 1627: 1624: 1621: 1595: 1589: 1585: 1581: 1576: 1572: 1568: 1557: 1556: 1543: 1540: 1535: 1530: 1525: 1522: 1517: 1512: 1509: 1506: 1503: 1499: 1495: 1492: 1489: 1486: 1483: 1480: 1477: 1449: 1445: 1432: 1428: 1424: 1415: 1392: 1388: 1375: 1371: 1367: 1358: 1331: 1327: 1318: 1314: 1305: 1299: 1295: 1291: 1286: 1282: 1278: 1258: 1234: 1230: 1225: 1221: 1218: 1213: 1209: 1205: 1200: 1197: 1194: 1190: 1186: 1181: 1177: 1173: 1168: 1165: 1162: 1158: 1145: 1131: 1128: 1125: 1121: 1117: 1112: 1108: 1104: 1099: 1095: 1073: 1052: 1046: 1043: 1037: 1032: 1028: 1022: 1019: 1016: 1012: 1007: 1003: 1000: 995: 991: 970: 949: 928: 922: 919: 913: 908: 904: 892: 891: 880: 877: 874: 871: 865: 862: 856: 851: 847: 841: 838: 835: 831: 826: 822: 819: 814: 810: 806: 803: 800: 797: 794: 791: 786: 781: 777: 753: 733: 710: 707: 681: 678: 675: 670: 666: 662: 659: 632: 620: 617: 616: 615: 604: 599: 595: 591: 586: 582: 578: 575: 572: 569: 564: 560: 554: 550: 546: 542: 538: 534: 530: 527: 524: 519: 514: 510: 506: 501: 497: 493: 490: 487: 482: 478: 473: 469: 466: 463: 460: 457: 454: 451: 448: 445: 412: 411: 400: 397: 394: 391: 386: 381: 377: 373: 370: 367: 364: 361: 356: 352: 321: 320: 307: 304: 299: 295: 289: 286: 281: 277: 272: 268: 265: 262: 259: 254: 250: 232: 226: 209:acting on the 186: 183: 39:introduced by 15: 13: 10: 9: 6: 4: 3: 2: 4414: 4403: 4400: 4398: 4395: 4393: 4390: 4389: 4387: 4377: 4373: 4369: 4363: 4359: 4354: 4347: 4343: 4339: 4336: 4332: 4328: 4326:3-7643-6911-6 4322: 4318: 4314: 4310: 4306: 4302: 4299: 4295: 4291: 4287: 4283: 4279: 4276: 4272: 4268: 4264: 4260: 4256: 4252: 4248: 4245: 4241: 4236: 4231: 4227: 4223: 4222: 4217: 4213: 4208: 4205: 4201: 4197: 4193: 4188: 4185: 4181: 4177: 4173: 4169: 4165: 4161: 4157: 4156: 4151: 4146: 4143: 4139: 4135: 4133:3-11-017383-2 4129: 4125: 4121: 4117: 4112: 4105: 4104: 4098: 4095: 4091: 4086: 4081: 4077: 4073: 4072: 4066: 4063: 4059: 4058: 4053: 4048: 4045: 4041: 4036: 4031: 4027: 4023: 4022: 4017: 4013: 4010: 4006: 4002: 3998: 3994: 3990: 3989: 3984: 3980: 3977: 3973: 3969: 3965: 3961: 3957: 3956: 3951: 3947: 3944: 3940: 3936: 3932: 3928: 3924: 3920: 3916: 3915: 3910: 3909:Cheeger, Jeff 3906: 3903: 3899: 3894: 3889: 3885: 3881: 3876: 3871: 3867: 3863: 3859: 3855: 3854: 3849: 3848:Cheeger, Jeff 3845: 3842: 3838: 3834: 3830: 3826: 3822: 3818: 3814: 3813: 3807: 3804: 3800: 3796: 3792: 3788: 3784: 3780: 3776: 3771: 3770: 3766: 3764: 3762: 3757: 3755: 3751: 3747: 3746:MĂĽller (1978) 3743: 3739: 3723: 3700: 3697: 3694: 3686: 3682: 3678: 3672: 3669: 3666: 3658: 3654: 3630: 3618: 3615: 3612: 3597: 3594: 3591: 3583: 3579: 3572: 3569: 3565: 3560: 3555: 3547: 3544: 3536: 3531: 3528: 3525: 3521: 3515: 3512: 3500: 3497: 3494: 3488: 3485: 3482: 3474: 3470: 3462: 3461: 3460: 3443: 3440: 3437: 3429: 3425: 3415: 3401: 3398: 3395: 3370: 3367: 3344: 3341: 3338: 3330: 3326: 3317: 3299: 3271: 3263: 3231: 3220: 3216: 3195: 3170: 3167: 3162: 3156: 3136: 3133: 3130: 3122: 3118: 3114: 3107: 3099: 3096: 3092: 3078: 3075: 3072: 3068: 3057: 3053: 3043: 3033: 3028: 3023: 3020: 3015: 3011: 3005: 3002: 2997: 2993: 2988: 2984: 2978: 2975: 2972: 2964: 2960: 2952: 2951: 2950: 2933: 2925: 2898: 2870: 2861: 2858: 2853: 2849: 2845: 2840: 2836: 2832: 2829: 2822: 2821: 2820: 2806: 2803: 2800: 2774: 2769: 2765: 2759: 2756: 2753: 2749: 2745: 2740: 2736: 2730: 2727: 2724: 2720: 2716: 2711: 2699: 2698: 2697: 2681: 2677: 2654: 2650: 2627: 2623: 2597: 2583: 2580: 2577: 2573: 2560: 2551: 2547: 2532: 2518: 2514: 2499: 2487: 2486: 2485: 2471: 2448: 2442: 2438: 2435: 2425: 2419: 2416: 2413: 2390: 2387: 2384: 2369: 2367: 2350: 2344: 2340: 2336: 2325: 2321: 2317: 2314: 2308: 2295: 2294: 2293: 2274: 2271: 2257: 2249: 2246: 2243: 2239: 2232: 2229: 2221: 2203: 2195: 2191: 2184: 2181: 2178: 2173: 2169: 2161: 2160: 2159: 2143: 2139: 2131: 2127: 2123: 2105: 2101: 2091: 2089: 2085: 2079: 2077: 2076:homeomorphism 2073: 2069: 2065: 2061: 2057: 2053: 2045: 2043: 2040: 2026: 2006: 1986: 1963: 1960: 1957: 1949: 1945: 1922: 1912: 1906: 1903: 1900: 1892: 1888: 1864: 1856: 1852: 1845: 1842: 1822: 1799: 1793: 1790: 1781: 1775: 1772: 1769: 1749: 1740: 1724: 1720: 1699: 1670: 1659: 1655: 1631: 1628: 1625: 1619: 1587: 1583: 1579: 1574: 1570: 1541: 1538: 1528: 1523: 1520: 1507: 1493: 1487: 1484: 1481: 1475: 1468: 1467: 1466: 1465: 1447: 1443: 1430: 1426: 1422: 1413: 1390: 1386: 1373: 1369: 1365: 1356: 1329: 1316: 1312: 1297: 1293: 1289: 1284: 1280: 1256: 1232: 1228: 1223: 1219: 1216: 1211: 1207: 1203: 1198: 1195: 1192: 1188: 1184: 1179: 1175: 1171: 1166: 1163: 1160: 1156: 1129: 1126: 1123: 1119: 1110: 1106: 1102: 1097: 1093: 1041: 1030: 1026: 1017: 1005: 1001: 998: 993: 989: 968: 917: 906: 902: 878: 875: 860: 849: 845: 836: 824: 820: 812: 808: 804: 798: 795: 792: 784: 779: 775: 767: 766: 765: 751: 731: 705: 695: 676: 668: 664: 660: 657: 650: 646: 630: 618: 602: 597: 593: 589: 584: 576: 573: 567: 562: 552: 548: 544: 540: 536: 532: 525: 512: 508: 504: 499: 491: 488: 480: 476: 471: 467: 464: 461: 455: 452: 449: 443: 436: 435: 434: 432: 428: 424: 421: 417: 392: 379: 375: 371: 365: 362: 359: 354: 342: 341: 340: 338: 334: 330: 326: 305: 302: 297: 293: 287: 284: 279: 275: 270: 266: 260: 252: 248: 240: 239: 238: 235: 229: 224: 220: 216: 212: 208: 204: 200: 199:vector bundle 196: 192: 184: 182: 180: 176: 172: 168: 164: 160: 156: 151: 149: 145: 141: 137: 133: 128: 126: 122: 118: 114: 110: 106: 102: 98: 94: 90: 87: and 86: 85:Daniel B. Ray 82: 78: 74: 70: 66: 62: 58: 54: 50: 46: 42: 38: 34: 30: 26: 22: 4357: 4342:Mazur, Barry 4308: 4289: 4285: 4258: 4254: 4225: 4219: 4215: 4195: 4159: 4153: 4115: 4102: 4075: 4069: 4055: 4025: 4019: 4016:Milnor, John 3992: 3986: 3983:Milnor, John 3959: 3953: 3918: 3912: 3857: 3851: 3816: 3810: 3778: 3774: 3758: 3645: 3416: 3187: 2885: 2789: 2614: 2373: 2365: 2291: 2125: 2092: 2080: 2064:homeomorphic 2049: 2041: 1741: 1558: 1463: 893: 622: 430: 426: 422: 419: 418:-forms. The 415: 413: 336: 328: 324: 322: 233: 227: 225:-forms are λ 222: 214: 210: 202: 194: 190: 188: 152: 140:homeomorphic 129: 76: 72: 28: 24: 20: 18: 4397:3-manifolds 4261:: 102–109, 4110:Online book 3316:Seeley 1967 2124:) For each 2122:Milnor 1962 2088:Milnor 1966 2052:lens spaces 961:-basis for 219:eigenvalues 171:Turaev 2002 159:Milnor 1966 148:lens spaces 83:defined by 49:3-manifolds 4386:Categories 4298:0016.04501 3767:References 724:, and let 645:CW-complex 339:-forms is 53:dimensions 4275:124078064 4214:(1971), " 4062:EMS Press 3976:125224119 3803:121327250 3795:1420-8970 3724:ρ 3701:μ 3695:ρ 3683:τ 3667:ρ 3598:ρ 3580:ζ 3545:− 3522:∑ 3501:⁡ 3483:ρ 3438:ρ 3371:∈ 3345:ρ 3327:ζ 3296:Δ 3226:Λ 3115:− 3104:Δ 3097:− 3076:− 3063:∞ 3054:∫ 3038:Γ 3021:− 3012:λ 2994:λ 2989:∑ 2979:ρ 2961:ζ 2922:Λ 2895:Δ 2868:∞ 2865:→ 2862:⋯ 2859:≤ 2850:λ 2846:≤ 2837:λ 2833:≤ 2798:∂ 2766:δ 2757:− 2721:δ 2708:Δ 2651:δ 2594:Λ 2581:− 2568:⟶ 2561:⋯ 2542:⟶ 2529:Λ 2509:⟶ 2496:Λ 2443:⁡ 2432:→ 2420:π 2417:: 2414:ρ 2331:Δ 2318:± 2303:Δ 2272:− 2247:− 2233:⁡ 2222:∼ 2217:⟶ 2185:⁡ 2179:: 2027:μ 2007:ρ 1964:μ 1958:ρ 1946:τ 1913:∈ 1907:μ 1901:ρ 1889:τ 1857:∗ 1846:∈ 1843:μ 1788:→ 1776:π 1773:: 1770:ρ 1725:∗ 1721:γ 1674:~ 1660:∗ 1620:ρ 1588:∗ 1584:γ 1575:∗ 1529:∈ 1521:− 1476:ρ 1427:⊕ 1370:⊕ 1326:→ 1298:∗ 1294:γ 1285:∗ 1204:∘ 1196:− 1189:γ 1176:γ 1172:∘ 1124:∗ 1116:→ 1111:∗ 1098:∗ 1094:γ 1045:~ 1031:∗ 1018:π 1006:⊗ 994:∗ 921:~ 907:∗ 864:~ 850:∗ 837:π 825:⊗ 785:π 752:π 709:~ 665:π 658:π 574:− 568:− 559:Δ 549:∏ 518:′ 509:ζ 489:− 477:∑ 468:⁡ 385:′ 376:ζ 372:− 366:⁡ 351:Δ 303:− 294:λ 276:λ 271:∑ 249:ζ 217:. If the 37:manifolds 25:R-torsion 4307:(2002), 3902:16592411 2158:induces 1249:for all 138:but not 4376:0237943 4335:1958479 4244:0295381 4204:0339293 4184:0383463 4176:1970909 4142:1968575 4094:0498252 4044:0196736 4009:1970268 3943:0528965 3935:1971113 3884:0451312 3862:Bibcode 3841:0116336 3833:1969884 3744:) and 3318:) that 1148:, i.e. 981:, then 165:; see ( 157:; see ( 119: ( 107: ( 91: ( 67: ( 59: ( 31:) is a 4374:  4364:  4333:  4323:  4296:  4273:  4242:  4202:  4182:  4174:  4140:  4130:  4092:  4042:  4007:  3974:  3941:  3933:  3900:  3893:431228 3890:  3882:  3839:  3831:  3801:  3793:  3188:where 3146:  3143:  3140:  115:) and 63:) and 47:) for 4349:(PDF) 4271:S2CID 4172:JSTOR 4158:, 2, 4107:(PDF) 4005:JSTOR 3972:S2CID 3931:JSTOR 3917:, 2, 3829:JSTOR 3815:, 2, 3799:S2CID 1348:with 647:with 201:over 167:Mazur 101:1973b 97:1973a 27:, or 4362:ISBN 4321:ISBN 4128:ISBN 3960:1935 3898:PMID 3791:ISSN 3742:1979 3738:1977 3163:> 3003:> 2642:and 2374:Let 2128:the 2072:1960 2054:in ( 2019:and 1742:Let 1539:> 1436:even 1418:even 1334:even 692:and 623:Let 323:for 285:> 179:2003 175:2002 121:1978 113:1979 109:1977 93:1971 75:(or 69:1936 61:1935 23:(or 4313:doi 4294:Zbl 4263:doi 4230:doi 4164:doi 4120:doi 4080:doi 4030:doi 3997:doi 3964:doi 3923:doi 3919:109 3888:PMC 3870:doi 3821:doi 3783:doi 3498:exp 3459:by 2949:by 2913:on 2230:det 2182:det 2120:. ( 1849:det 1598:odd 1502:det 1379:odd 1361:odd 1321:odd 1308:odd 465:exp 363:exp 331:by 221:on 189:If 181:). 71:). 55:by 35:of 4388:: 4372:MR 4370:, 4344:. 4331:MR 4329:, 4319:, 4269:, 4259:11 4257:, 4240:MR 4238:, 4224:, 4200:MR 4180:MR 4178:, 4170:, 4160:98 4138:MR 4136:, 4126:, 4090:MR 4088:, 4076:28 4074:, 4060:, 4054:, 4040:MR 4038:, 4026:72 4024:, 4003:, 3993:76 3991:, 3970:, 3958:, 3939:MR 3937:, 3929:, 3896:, 3886:, 3880:MR 3878:, 3868:, 3858:74 3856:, 3837:MR 3835:, 3827:, 3817:71 3797:, 3789:, 3777:, 3763:. 3756:. 3740:, 3414:. 3150:Re 3085:Tr 2090:) 2078:. 2039:. 1739:. 1494::= 1423::= 1405:, 1366::= 999::= 805::= 661::= 197:a 177:, 150:. 111:, 99:, 95:, 4351:. 4315:: 4290:1 4265:: 4232:: 4226:7 4216:R 4166:: 4122:: 4082:: 4032:: 3999:: 3966:: 3925:: 3872:: 3864:: 3823:: 3785:: 3779:4 3704:) 3698:; 3692:( 3687:M 3679:= 3676:) 3673:E 3670:; 3664:( 3659:M 3655:T 3631:. 3626:) 3619:0 3616:= 3613:s 3607:| 3601:) 3595:; 3592:s 3589:( 3584:q 3573:s 3570:d 3566:d 3561:q 3556:q 3552:) 3548:l 3542:( 3537:n 3532:0 3529:= 3526:q 3516:2 3513:1 3506:( 3495:= 3492:) 3489:E 3486:; 3480:( 3475:M 3471:T 3447:) 3444:E 3441:; 3435:( 3430:M 3426:T 3402:0 3399:= 3396:s 3375:C 3368:s 3348:) 3342:; 3339:s 3336:( 3331:q 3300:q 3275:) 3272:E 3269:( 3264:q 3258:H 3235:) 3232:E 3229:( 3221:2 3217:L 3196:P 3171:2 3168:n 3160:) 3157:s 3154:( 3137:, 3134:t 3131:d 3128:) 3123:q 3119:P 3108:q 3100:t 3093:e 3089:( 3079:1 3073:s 3069:t 3058:0 3047:) 3044:s 3041:( 3034:1 3029:= 3024:s 3016:j 3006:0 2998:j 2985:= 2982:) 2976:; 2973:s 2970:( 2965:q 2937:) 2934:E 2931:( 2926:q 2899:q 2871:. 2854:1 2841:0 2830:0 2807:0 2804:= 2801:M 2775:. 2770:p 2760:1 2754:p 2750:d 2746:+ 2741:p 2737:d 2731:1 2728:+ 2725:p 2717:= 2712:p 2682:q 2678:E 2655:p 2628:p 2624:d 2598:n 2584:1 2578:n 2574:d 2552:1 2548:d 2533:1 2519:0 2515:d 2500:0 2472:M 2452:) 2449:E 2446:( 2439:L 2436:G 2429:) 2426:M 2423:( 2394:) 2391:g 2388:, 2385:M 2382:( 2351:. 2348:) 2345:t 2341:/ 2337:1 2334:( 2326:n 2322:t 2315:= 2312:) 2309:t 2306:( 2275:1 2268:) 2264:) 2261:) 2258:M 2255:( 2250:q 2244:n 2240:H 2236:( 2227:( 2210:) 2207:) 2204:M 2201:( 2196:q 2192:H 2188:( 2174:o 2170:P 2144:o 2140:P 2126:q 2106:3 2102:S 1987:M 1967:) 1961:: 1955:( 1950:M 1923:+ 1918:R 1910:) 1904:: 1898:( 1893:M 1868:) 1865:M 1862:( 1853:H 1823:M 1803:) 1800:E 1797:( 1794:L 1791:G 1785:) 1782:M 1779:( 1750:M 1700:U 1680:) 1671:X 1665:( 1656:C 1635:) 1632:U 1629:; 1626:X 1623:( 1594:) 1580:+ 1571:d 1567:( 1542:0 1534:R 1524:1 1516:| 1511:) 1508:A 1505:( 1498:| 1491:) 1488:U 1485:; 1482:X 1479:( 1448:n 1444:D 1431:n 1414:D 1391:n 1387:D 1374:n 1357:D 1330:D 1317:D 1313:: 1304:) 1290:+ 1281:d 1277:( 1257:n 1233:n 1229:D 1224:d 1220:i 1217:= 1212:n 1208:d 1199:1 1193:n 1185:+ 1180:n 1167:1 1164:+ 1161:n 1157:d 1146:* 1130:1 1127:+ 1120:D 1107:D 1103:: 1072:R 1051:) 1042:X 1036:( 1027:C 1021:] 1015:[ 1011:Z 1002:U 990:D 969:U 948:R 927:) 918:X 912:( 903:C 879:0 876:= 873:) 870:) 861:X 855:( 846:C 840:] 834:[ 830:Z 821:U 818:( 813:n 809:H 802:) 799:U 796:; 793:X 790:( 780:n 776:H 732:U 706:X 680:) 677:X 674:( 669:1 631:X 603:. 598:2 594:/ 590:k 585:k 581:) 577:1 571:( 563:k 553:k 545:= 541:) 537:2 533:/ 529:) 526:0 523:( 513:k 505:k 500:k 496:) 492:1 486:( 481:k 472:( 462:= 459:) 456:E 453:, 450:M 447:( 444:T 431:E 429:, 427:M 425:( 423:T 416:k 399:) 396:) 393:0 390:( 380:k 369:( 360:= 355:k 337:k 329:s 325:s 306:s 298:j 288:0 280:j 267:= 264:) 261:s 258:( 253:k 234:k 228:j 223:k 215:E 211:k 203:M 195:E 191:M 43:(

Index

topological invariant
manifolds
Kurt Reidemeister
Reidemeister 1935
3-manifolds
dimensions
Wolfgang Franz
1935
Georges de Rham
1936
Riemannian manifolds
Daniel B. Ray
Isadore M. Singer
1971
1973a
1973b
Jeff Cheeger
1977
1979
Werner MĂĽller
1978
Reidemeister torsion
algebraic topology
homotopy equivalent
homeomorphic
geometric topology
lens spaces
Whitehead torsion
Milnor 1966
arithmetic topology

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

↑