Knowledge (XXG)

Normal bundle

Source 📝

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

Index

Normal sheaf
normal cone
differential geometry
mathematics
vector bundle
complementary
tangent bundle
embedding
immersion
Riemannian manifold
Riemannian submanifold
normal
orthogonal
tangent bundle
tangent spaces
dual bundle
cotangent bundle
immersion
quotient space
section
short exact sequence
ideal sheaf
definition of the tangent space
Abstract manifolds
canonical
Whitney embedding theorem
regular homotopic
stable normal bundle
K-theory
Grothendieck group

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