Knowledge

Normal bundle

Source 📝

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

Index

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
parallelizable

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