Uniqueness of the Fisher Rao metric on the space of smooth densities
|
|
- Calvin Knight
- 5 years ago
- Views:
Transcription
1 Uniqueness of the Fisher Rao metric on the space of smooth densities Peter W. ichor University of Vienna, Austria michor CES-Seminar April 6, 2018, Brno Devoted to the memory of Thomas Friedrich (12. Oktober 1949 in Leipzig 27. Februar 2018 in arburg)
2 Based on: [T.Friedrich: Lecture in Winterschool in Srni, 1990 or 1991] [T.Friedrich. Die Fisher-Information und symplektische Strukturen. ath. Nachr., 153, , 1991] [.Bauer,.Bruveris, P.ichor: Uniqueness of the Fisher Rao metric on the space of smooth densities, Bull. London ath. Soc. 48, 3 (2016), , arxiv: ] [.Bruveris, P.ichor: Geometry of the Fisher-Rao metric on the space of smooth densities, athematische Nachrichten??, arxiv: ] [.Bruveris, P. ichor, A.Parusinski, A. Rainer: oser s Theorem for manifolds with corners, Proc. AS., arxiv: ] The infinite dimensional geometry used here is based on: [Andreas Kriegl, Peter W. ichor: The Convenient Setting of Global Analysis. athematical Surveys and onographs, Volume: 53, Amer. ath. Soc., 1997] Wikipedia [ vector space]
3 Abstract For a smooth compact manifold, any weak Riemannian metric on the space of smooth positive densities which is invariant under the right action of the diffeomorphism group Diff () is of the form G µ (α, β) = C 1 (µ()) α β µ µ µ + C 2(µ()) α for smooth functions C 1, C 2 of the total volume µ() = µ. In this talk the result is extended to compact smooth manifolds with corners (for example, a simplex), and the full proof is given (keeping the (partial) tradition of naturality questions in CES). β
4 The Fisher Rao metric on the space Prob() of probability densities is of importance in the field of information geometry. Restricted to finite-dimensional submanifolds of Prob(), so-called statistical manifolds, it is called Fisher s information metric [Amari: Differential-geometrical methods in statistics, 1985]. The Fisher Rao metric is invariant under the action of the diffeomorphism group. A uniqueness result was established [Čencov: Statistical decision rules and optimal inference, 1982, p. 156] for Fisher s information metric on finite sample spaces and [Ay, Jost, Le, Schwachhöfer, 2014] extended it to infinite sample spaces. See also [Ay, Jost, Le, Schwachhöfer: Information Geometry, 2017]. The Fisher Rao metric on the infinite-dimensional manifold of all positive smooth probability densities was studied in [Friedrich: Die Fisher-Information und symplektische Strukturen, 1991], including the computation of its curvature.
5 anifolds with corners A manifold with corners (recently also called a quadrantic manifold) is a smooth manifold modelled on open subsets of R m 0. Assume it is connected and second countable; then it is paracompact and it admits smooth partitions of unity. Any manifold with corners is a submanifold with corners of an open manifold of the same dim. Restriction C ( ) C () is a surjective continuous linear map which admits a continuous linear section.thus C () is a topological direct summand in C ( ) and the same holds for the dual spaces: The space of distributions D (), which we identity with C (), is a direct summand in D ( ). It consists of all distributions with support in. We do not assume that is oriented, but eventually, that is compact. Diffeomorphisms of map the boundary to itself and map the boundary q of corners of codimension q to itself; q is a submanifold of codimension q in ; in general q has finitely many connected components. We shall consider as stratified into the connected components of all q for q > 0.
6 The space of densities Let m be a smooth manifold, possibly with corners. Let (U α, u α ) be a smooth atlas for it. The volume bundle (Vol(), π, ) of is the 1-dimensional vector bundle (line bundle) which is given by the following cocycle of transition functions: ψ αβ : U αβ = U α U β R \ {0} = GL(1, R), ψ αβ (x) = det d(u β u 1 α )(u α (x)) = 1 det d(u α u 1 β )(u β(x)). Vol() is a trivial line bundle over. But there is no natural trivialization. There is a natural order on each fiber. Since Vol() is a natural bundle of order 1 on, there is a natural action of the group Diff() on Vol(), given by det(t ϕ Vol() 1 ) ϕ Vol(). ϕ
7 If is orientable, then Vol() = Λ m T. If is not orientable, let be the orientable double cover of with its deck-transformation τ :. Then Γ(Vol()) is isomorphic to the space {ω Ω m ( ) : τ ω = ω}. These are the formes impaires of de Rham. See [ 2008, 13.1] for this. Sections of the line bundle Vol() are called densities. The space Γ(Vol()) of all smooth sections is a Fréchet space in its natural topology; see [Kriegl-, 1997]. For each section α of Vol() of compact support the integral α is invariantly defined as follows: Let (U α, u α ) be an atlas on with associated trivialization ψ α : Vol() Uα R, and let f α be a partition of unity with supp(f α ) U α. Then we put µ = f α µ := f α (uα 1 (y)).ψ α (µ(uα 1 (y))) dy. α U α α u α(u α) The integral is independent of the choice of the atlas and the partition of unity.
8 The Fisher Rao metric Let m be a smooth compact manifold without boundary. Let Dens + () be the space of smooth positive densities on, i.e., Dens + () = {µ Γ(Vol()) : µ(x) > 0 x }. Let Prob() be the subspace of positive densities with integral 1. For µ Dens + () we have T µ Dens + () = Γ(Vol()) and for µ Prob() we have T µ Prob() = {α Γ(Vol()) : α = 0}. The Fisher Rao metric on Prob() is defined as: G FR µ (α, β) = α β µ µ µ. It is invariant for the action of Diff() on Prob(): ( (ϕ ) G FR) µ FR (α, β) = Gϕ µ(ϕ α, ϕ β) = = ( α µ ϕ )( β µ ϕ ) ϕ µ = α β µ µ µ.
9 ain Theorem. [BB, 2016] for without boundary Let be a connected smooth compact manifold with corners, of dimension 2. Let G be a smooth (equivalently, bounded) bilinear form on Dens + () which is invariant under the action of Diff(). Then α β G µ (α, β) = C 1 (µ()) µ µ µ + C 2(µ()) α β for smooth functions C 1, C 2 of the total volume µ(). To see that this theorem implies the uniqueness of the Fisher Rao metric, note that if G is a Diff()-invariant Riemannian metric on Prob(), then we can equivariantly extend it to Dens + () via G µ (α, β) = G µ µ() ( ( ) µ ( ) µ α α µ(), β β µ() ).
10 Relations to right-invariant metrics on diffeom. groups Let µ 0 Prob() be a fixed smooth probability density. In [Khesin, Lenells, isiolek, Preston, 2013] it has been shown, that the degenerate, H 1 -metric 1 2 divµ 0 (X ). div µ 0 (X ).µ 0 on X() is invariant under the adjoint action of Diff(, µ 0 ). Thus the induced degenerate right invariant metric on Diff() descends to a metric on Prob() = Diff(, µ 0 )\ Diff() via Diff() ϕ ϕ µ 0 Prob() which is invariant under the right action of Diff(). This is the Fisher Rao metric on Prob(). In [odin, 2014], the H 1 -metric was extended to a non-degenerate metric on Diff(), also descending to the Fisher Rao metric.
11 Corollary. Let dim() 2. If a weak right-invariant (possibly degenerate) Riemannian metric G on Diff() descends to a metric G on Prob() via the right action, i.e., the mapping ϕ ϕ µ 0 from (Diff(), G) to (Prob(), G) is a Riemannian submersion, then G has to be a multiple of the Fisher Rao metric. Note that any right invariant metric G on Diff() descends to a metric on Prob() via ϕ ϕ µ 0 ; but this is not Diff()-invariant in general.
12 Invariant metrics on Dens + (S 1 ). Dens + (S 1 ) = Ω 1 +(S 1 ), and Dens + (S 1 ) is Diff(S 1 )-equivariantly isomorphic to the space of all Riemannian metrics on S 1 via Φ = ( ) 2 : Dens + (S 1 ) et(s 1 ), Φ(fdθ) = f 2 dθ 2. On et(s 1 ) there are many Diff(S 1 )-invariant metrics; see [Bauer, Harms,, 2013]. For example Sobolev-type metrics. Write g et(s 1 ) in the form g = gdθ 2 and h = hdθ 2, k = kdθ 2 with g, h, k C (S 1 ). The following metrics are Diff(S 1 )-invariant: Gg l (h, k) = S 1 h g. (1 + g ) n ( k g ) g dθ ; here g is the Laplacian on S 1 with respect to the metric g. The pullback by Φ yields a Diff(S 1 )-invariant metric on Dens + (): α ( G µ (α, β) = 4 S 1 µ. 1 + Φ(µ)) ( ) n β µ. µ For n = 0 this is 4 times the Fisher Rao metric. For n 1 we get many Diff(S 1 )-invariant metrics on Dens + (S 1 ) and on Prob(S 1 ).
13 oser s theorem for manifolds with corners [BPR18] Let be a compact smooth manifold with corners, possibly non-orientable. Let µ 0 and µ 1 be two smooth positive densities in Dens + () with µ 0 = µ 1. Then there exists a diffeomorphism ϕ : such that µ 1 = ϕ µ 0. If and only if µ 0 (x) = µ 1 (x) for each corner x 2 of codimension 2, then ϕ can be chosen to be the identity on. This result is highly desirable even for a simplex. The proof is essentially contained in [Banyaga1974], who proved it for manifolds with boundary.
14 Aside: Geometry of the Fisher-Rao metric α β G µ (α, β) = C 1 (µ()) µ µ µ + C 2(µ()) α β This metric will be studied in different representations. Dens + () R C (, R >0 ) Φ R >0 S C>0 W Id (W, W + ) S C>0. We fix µ 0 Prob() and consider the mapping R : Dens + () C (, R >0 ), R(µ) = f = µ µ 0. The map R is a diffeomorphism and we will denote the induced metric by G = ( R 1) G; it is given by the formula G f (h, k) = 4C 1 ( f 2 ) h, k + 4C 2 ( f 2 ) f, h f, k, and this formula makes sense for f C (, R) \ {0}. The map R is inspired by [B. Khesin, J. Lenells, G. isiolek, S. C. Preston: Geometry of diffeomorphism groups, complete integrability and geometric statistics. Geom. Funct. Anal., 23(1): , 2013.]
15 Proof of the ain Theorem Let us fix a basic probability density µ 0. By the oser s theorem for manifolds with corners, there exists for each µ Dens + () a diffeomorphism ϕ µ Diff() with ϕ µµ = µ()µ 0 =: c.µ 0 where c = µ() = µ > 0. Then ( (ϕ µ ) G ) µ (α, β) = G ϕ µ µ (ϕ µα, ϕ µβ) = G c.µ0 (ϕ µα, ϕ µβ). Thus it suffices to show that for any c > 0 we have α β G cµ0 (α, β) = C 1 (c). µ 0 + C 2 (c) α β µ 0 µ 0 for some functions C 1, C 2 of the total volume c = µ(). Both bilinear forms are still invariant under the action of the group Diff(, cµ 0 ) = Diff(, µ 0 ) = {ψ Diff() : ψ µ 0 = µ 0 }.
16 The bilinear form ( α T µ0 Dens + () T µ0 () Dens + (α, β) G cµ0 µ 0, β ) µ 0 µ 0 µ 0 can be viewed as a bilinear form C () C () (f, g) G c (f, g). We will consider now the associated bounded linear mapping Ǧ c : C () C () = D (). (1) The Lie algebra X(,, µ 0 ) of Diff(, µ 0 ) consists of vector fields X which are tangent to each boundary component q with 0 = div µ 0 (X ) := L X µ 0 µ 0.
17 On an oriented open subset U, each density is an m-form, m = dim(), and div mu 0 (X ) = di X µ 0. The mapping ˆι µ0 : X(U) Ω m 1 (U) given by X i X µ 0 is an isomorphism, and also ˆι µ0 : X(U, U) Ω m 1 (U, U) = = {α Ω m 1 () : j q α = 0 for all q 1} is an isomorphism onto the space of differential forms that pull back to 0 on each boundary stratum. The Lie subalgebra X(U, U, µ 0 ) of divergence free vector fields corresponds to the space of closed (m 1)-forms. Denote by X exact (,, µ 0 ) the set (not a vector space) of exact divergence free vector fields X = ˆι 1 µ 0 (dω), where ω Ωc m 2 (U, U) for an oriented open subset U.
18 (2) If for f C () and a connected open set U we have (L X f ) U = 0 for all X X exact (,, µ 0 ), then f U is constant. Since we shall need some details later on, we prove this well-known fact. Let x U \ U. For every tangent vector X x T x we can find a vector field X X exact (,, µ 0 ) such that X (x) = X x ; to see this, choose a chart (U x, u) near x such that U x U \ U and µ 0 U x = du 1 du m, and choose g Cc (U x ), such that g = 1 near x. Then X := ˆι 1 µ 0 d(g.u 2.du 3 du m ) X exact (,, µ 0 ) and X = u 1 near x. So we can produce a basis for T x and even a local frame near x. Thus L X f U = 0 for all X X exact (,, µ 0 ) implies df U\ U = 0, thus df = 0 and f is constant on U. (2 ) Similarly, if x q and X x T x ( q ) we can find X X exact (,, µ 0 ) with X (x) = X x.
19 (3) If for a distribution A D () and a connected open set U we have L X A U = 0 for all X X exact (,, µ 0 ), then A U = Cµ 0 U for some constant C, meaning A, f = C f µ 0 for all f Cc (U). Because L X A, f = A, L X f, the invariance L X A U = 0 implies A, L X f = 0 for all f Cc (U). Clearly, (L X f )µ 0 = 0. For each x U let U x U be an open oriented chart which is diffeomorphic to R q 0 Rm q. Let g Cc (U x ) satisfy gµ 0 = 0; we will show that A, g = 0. The integral over gµ 0 is zero, so the compact cohom. class [gµ 0 ] Hc m (U x, U x ) = R vanishes; see [BPR2018, section 8]. Thus there exists α Ωc m 1 (U x, U x ) Ω m 1 (, ) with dα = gµ 0. Since U x is diffeomorphic to R q 0 Rm q, we can write α = j f jdβ j with β j Ω m 2 (U x, U x ) and f j Cc (U x ). Choose h Cc (U x ) with h = 1 on j supp(f j), so that α = j f jd(hβ j ) and hβ j Ω m 2 (, ). Then the vector fields X j = ˆι 1 µ 0 d(hβ j ) lie in X exact (,, µ 0 ) and we have the identity j f j.i Xi µ 0 = α.
20 This means j (L X j f j )µ 0 = j L X j (f j µ 0 ) = j di X j (f j µ 0 ) = ( ) d j f j.i Xj µ 0 = dα = gµ 0 or j L X j f j = g, leading to A, g = j A, L Xj f j = j L Xj A, f j = 0. So A, g = 0 for all g Cc (U x ) with gµ 0 = 0. Finally, choose a function ϕ with support in U x and ϕµ 0 = 1. Then for any f Cc (U x ), the function defined by g = f ( f µ 0).ϕ in C () satisfies gµ 0 = 0 and so A, f = A, g + A, ϕ f µ 0 = C x f µ 0, with C x = A, ϕ. Thus A U x = C x µ 0 U x. Since U is connected, the constants C x are all equal: Choose ϕ Cc (U x U y ) with ϕµ0 = 1. Thus (3) is proved.
21 (4) The operator Ǧc : C () D () has the following property: If for f C () and a connected open U the restriction f U is constant, then we have Ǧ(f ) U = C U (f )µ 0 U for some constant C U (f ). For x U choose g C () with g = 1 near \ U and g = 0 on a neighborhood V of x. Then for any X X exact (,, µ 0 ), that is X = ˆι 1 µ 0 (dω) for some ω Ω m 2 c (W, W ) where W is an oriented open set, let Y = ˆι 1 µ 0 (d(gω)). The vector field Y X exact (,, µ 0 ) equals X near \ U and vanishes on V. Since f is constant on U, L X f = L Y f. For all h C () we have L X Ǧ c (f ), h = Ǧ c (f ), L X h = G c (f, L X h) = G c (L X f, h) = Ǧ c (L X f ), h, since G c is invariant. Thus also L X Ǧ c (f ) = Ǧ c (L X f ) = Ǧ c (L Y f ) = L Y Ǧ c (f ). Now Y vanishes on V and therefore so does L X Ǧ c (f ). By (3) we have Ǧc(f ) V = C V (f )µ 0 V for some C V (f ) R. Since U is connected, all the constants C V (f ) have to agree, giving a constant C U (f ), depending only on U and f. Thus (4) follows.
22 By the Schwartz kernel theorem, Ǧ c has a kernel Ĝ c, which is a distribution (generalized function) in Ĝ c D ( ) = (D() D()) = = (D() D()) = L(D(), D ()) Ǧc where one needs first the completed inductive or ɛ-tensorproduct, and then the projective one. Note the defining relations G c (f, g) = Ǧ c (f ), g = Ĝ c, f g. oreover, Ĝ c is invariant under the diagonal action of Diff(, µ 0 ) on. In view of the tensor product in the defining relations, the infinitesimal version of this invariance is: L X 0+0 X Ĝ c = 0 for all X X(,, µ 0 ).
23 (5) There exists a constant C 2 = C 2 (c) such that the distribution Ĝ c C 2 µ 0 µ 0 is supported on the diagonal of. Namely, if (x, y) is not on the diagonal, then there exist open neighborhoods U x of x and U y of y in such that U x U y is disjoint to the diagonal, or U x U y =. Choose any functions f, g C () with supp(f ) U x and supp(g) U y. Then f ( \ U x ) = 0, so by (4), Ǧ c (f ) ( \ U x ) = C \Ux (f ).µ 0. Therefore, G c (f, g) = Ĝc, f g = Ǧc(f ), g = Ǧ c (f ) ( \ U x ), g ( \ U x ), since supp(g) U y \ U x, = C \Ux (f ) gµ 0 By applying the argument for the transposed bilinear form Gc T (g, f ) = G c (f, g), which is also Diff(, µ 0 )-invariant, we get G c (f, g) = Gc T (g, f ) = C (g) f µ \U y 0.
24 Fix two functions f 0, g 0 with the same properties as f, g and additionally f 0µ 0 = 1 and g 0µ 0 = 1. Then we get C \Ux (f ) = C \U y (g 0 ) f µ 0, and so G c (f, g) = C (g \U y 0 ) = C \Ux (f 0 ) f µ 0 f µ 0 gµ 0 gµ 0. Since dim() 2 and is connected, the complement of the diagonal in is also connected, and thus the constants C \Ux (f 0 ) and C \U y (g 0 ) cannot depend on the functions f 0, g 0 or the open sets U x and U y as long as the latter are disjoint. Thus there exists a constant C 2 (c) such that for all f, g C () with disjoint supports we have G c (f, g) = C 2 (c) f µ 0 gµ 0 Since C c (U x U y ) = C c (U x ) C c (U y ), this implies claim (5).
25 Now we can finish the proof. We may replace Ĝ c D ( ) by Ĝ c C 2 µ 0 µ 0 and thus assume without loss that the constant C 2 in (5) is 0. Let (U, u) be an oriented chart on such that µ 0 U = du 1 du m, and let Ũ be an extension of U to a smooth manifold without boundary with an extension of the chart mapping u. The distribution Ĝ c U U D (U U) D (Ũ Ũ) has support contained in the diagonal and is of finite order k. By [Hörmander I, 1983, Theorem 5.2.3], the corresponding operator Ǧ c : Cc (U) D (U) is of the form Ĝ c (f ) = α k A α. α f for A α D (U), so that G(f, g) = Ǧ c (f ), g = α A α, ( α f ).g. oreover, the A α in this representation are uniquely given, as is seen by a look at [Hörmander I, 1983, Theorem 2.3.5].
26 For x U choose an open set U x with x U x U x U, and choose X X exact (,, µ 0 ) with X U x = u i (tangential to the boundary), as in (2 ). For functions f, g Cc (U x ) we then have, by the invariance of G c, 0 = G c (L X f, g) + G c (f, L X g) = Ĝ c U U, L X f g + f L X g = A α, ( α u i f ).g + ( α f )( u i g) α = α A α, u i (( α f ).g) = α u i A α, ( α f ).g. Since the corresponding operator has again a kernel distribution which is supported on the diagonal, and since the distributions in the representation are unique, we can conclude that u i A α U x = 0 for each α, and each i such that u i is tangential to the boundary.
27 To see that this implies that A α U x = C α µ 0 U x, let f Cc (U x ) with f µ 0 = 0. Then, as in (3), there exists ω Ω m 1 c (U x, U x ) with dω = f µ 0. We have ω = i ω i.du 1 du i du m (only those i with u i tangential to the boundary have ω i 0), and so f = i ( 1)i+1 u i ω i with ω i Cc (U x ). Thus A α, f = i ( 1) i+1 A α, u i ω i = i ( 1) i u i A α, ω i = 0. Hence A α, f = 0 for all f Cc (U x ) with zero integral and as in the proof of (3) we can conclude that A α U x = C α µ 0 U x.
28 But then G c (f, g) = U x (Lf ).gµ 0 for the differential operator L = α k C α α with constant coefficients on U x. Now we choose g Cc (U x ) such that g = 1 on the support of f. By the invariance of G c we have again 0 = G c (L X f, g)+g c (f, L X g) = L(L X f ).gµ 0 + L(f ).L X g.µ 0 U x U x = L(L X f )µ U x for each X X(,, µ 0 ). Thus the distribution f U x L(f )µ 0 vanishes on all functions of the form L X f, and by (3) we conclude that L( ).µ 0 = C x.µ 0 in D (U x ), or L = C x Id. By covering with open sets U x, we see that all the constants C x are the same. This concludes the proof of the ain Theorem.
29 Thank you for listening.
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationsatisfying the following condition: If T : V V is any linear map, then µ(x 1,,X n )= det T µ(x 1,,X n ).
ensities Although differential forms are natural objects to integrate on manifolds, and are essential for use in Stoke s theorem, they have the disadvantage of requiring oriented manifolds in order for
More informationLecture III: Neighbourhoods
Lecture III: Neighbourhoods Jonathan Evans 7th October 2010 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 1 / 18 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 2 / 18 In
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationM4P52 Manifolds, 2016 Problem Sheet 1
Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete
More information274 Microlocal Geometry, Lecture 2. David Nadler Notes by Qiaochu Yuan
274 Microlocal Geometry, Lecture 2 David Nadler Notes by Qiaochu Yuan Fall 2013 2 Whitney stratifications Yesterday we defined an n-step stratified space. Various exercises could have been but weren t
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationGEOMETRY OF THE FISHER RAO METRIC ON THE SPACE OF SMOOTH DENSITIES ON A COMPACT MANIFOLD
GEOMETRY OF THE FISHER RAO METRIC ON THE SPACE OF SMOOTH DENSITIES ON A COMPACT MANIFOLD MARTINS BRUVERIS, PETER W. MICHOR Abstract. It is known that on a closed manifold of dimension greater than one,
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationLet V, W be two finite-dimensional vector spaces over R. We are going to define a new vector space V W with two properties:
5 Tensor products We have so far encountered vector fields and the derivatives of smooth functions as analytical objects on manifolds. These are examples of a general class of objects called tensors which
More informationGeneral Sobolev metrics on the manifold of all Riemannian metrics
General Sobolev metrics on the manifold of all Riemannian metrics Peter W. Michor Universität Wien Workshop: Shape analysis and computational anatomy Isaac Newton Institute, Cambridge, UK Mon 13th Nov
More informationKUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS
KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show
More informationDIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM
DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM ARIEL HAFFTKA 1. Introduction In this paper we approach the topology of smooth manifolds using differential tools, as opposed to algebraic ones such
More informationDIFFERENTIAL GEOMETRY. LECTURE 12-13,
DIFFERENTIAL GEOMETRY. LECTURE 12-13, 3.07.08 5. Riemannian metrics. Examples. Connections 5.1. Length of a curve. Let γ : [a, b] R n be a parametried curve. Its length can be calculated as the limit of
More informationComparison for infinitesimal automorphisms. of parabolic geometries
Comparison techniques for infinitesimal automorphisms of parabolic geometries University of Vienna Faculty of Mathematics Srni, January 2012 This talk reports on joint work in progress with Karin Melnick
More informationTHE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS
THE H-PRINCIPLE, LECTURE 14: HAELIGER S THEOREM CLASSIYING OLIATIONS ON OPEN MANIOLDS J. RANCIS, NOTES BY M. HOYOIS In this lecture we prove the following theorem: Theorem 0.1 (Haefliger). If M is an open
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationCohomology of the Mumford Quotient
Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive G-equivariant line bundle over X. We use a Witten
More informationTransversality. Abhishek Khetan. December 13, Basics 1. 2 The Transversality Theorem 1. 3 Transversality and Homotopy 2
Transversality Abhishek Khetan December 13, 2017 Contents 1 Basics 1 2 The Transversality Theorem 1 3 Transversality and Homotopy 2 4 Intersection Number Mod 2 4 5 Degree Mod 2 4 1 Basics Definition. Let
More informationOBSTRUCTION TO POSITIVE CURVATURE ON HOMOGENEOUS BUNDLES
OBSTRUCTION TO POSITIVE CURVATURE ON HOMOGENEOUS BUNDLES KRISTOPHER TAPP Abstract. Examples of almost-positively and quasi-positively curved spaces of the form M = H\((G, h) F ) were discovered recently
More informationComplex line bundles. Chapter Connections of line bundle. Consider a complex line bundle L M. For any integer k N, let
Chapter 1 Complex line bundles 1.1 Connections of line bundle Consider a complex line bundle L M. For any integer k N, let be the space of k-forms with values in L. Ω k (M, L) = C (M, L k (T M)) Definition
More informationSurvey on exterior algebra and differential forms
Survey on exterior algebra and differential forms Daniel Grieser 16. Mai 2013 Inhaltsverzeichnis 1 Exterior algebra for a vector space 1 1.1 Alternating forms, wedge and interior product.....................
More informationMany of the exercises are taken from the books referred at the end of the document.
Exercises in Geometry I University of Bonn, Winter semester 2014/15 Prof. Christian Blohmann Assistant: Néstor León Delgado The collection of exercises here presented corresponds to the exercises for the
More informationDIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015
DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES MAGGIE MILLER September 25, 2015 1. 09/16/2015 1.1. Textbooks. Textbooks relevant to this class are Riemannian Geometry by do Carmo Riemannian Geometry
More informationA Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations
A Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations Kurt Schlacher, Andreas Kugi and Kurt Zehetleitner kurt.schlacher@jku.at kurt.zehetleitner@jku.at,
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationEXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B
EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B SEBASTIAN GOETTE, KIYOSHI IGUSA, AND BRUCE WILLIAMS Abstract. When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic,
More informationLie algebra cohomology
Lie algebra cohomology Relation to the de Rham cohomology of Lie groups Presented by: Gazmend Mavraj (Master Mathematics and Diploma Physics) Supervisor: J-Prof. Dr. Christoph Wockel (Section Algebra and
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationLECTURE 22: INTEGRATION ON MANIFOLDS. 1. Orientations
LECTURE 22: INTEGRATION ON ANIFOLDS 1. Orientations Let be a smooth manifold of dimension n, and let ω Ω n () be a smooth n-form. We want to define the integral ω. First assume = R n. In calculus we learned
More informationLECTURE 3: SMOOTH FUNCTIONS
LECTURE 3: SMOOTH FUNCTIONS Let M be a smooth manifold. 1. Smooth Functions Definition 1.1. We say a function f : M R is smooth if for any chart {ϕ α, U α, V α } in A that defines the smooth structure
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationNotes on Spivak, Differential Geometry, vol 1.
Notes on Spivak, Differential Geometry, vol 1. Chapter 1. Chapter 1 deals with topological manifolds. There is some discussion about more subtle topological aspects (pp. 2 7) which we can gloss over. A
More informationTopological K-theory, Lecture 2
Topological K-theory, Lecture 2 Matan Prasma March 2, 2015 Again, we assume throughout that our base space B is connected. 1 Direct sums Recall from last time: Given vector bundles p 1 E 1 B and p 2 E
More informationLECTURE 3 Functional spaces on manifolds
LECTURE 3 Functional spaces on manifolds The aim of this section is to introduce Sobolev spaces on manifolds (or on vector bundles over manifolds). These will be the Banach spaces of sections we were after
More informationTopic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016
Topic: First Chern classes of Kähler manifolds itchell Faulk Last updated: April 23, 2016 We study the first Chern class of various Kähler manifolds. We only consider two sources of examples: Riemann surfaces
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationINTRO TO SUBRIEMANNIAN GEOMETRY
INTRO TO SUBRIEMANNIAN GEOMETRY 1. Introduction to subriemannian geometry A lot of this tal is inspired by the paper by Ines Kath and Oliver Ungermann on the arxiv, see [3] as well as [1]. Let M be a smooth
More informationAcceleration bundles on Banach and Fréchet manifolds
Acceleration bundles on Banach and JGP Editorial Board Scientific Meeting In commemoration of André Lichnerowicz 27-29 June 2006, International School for Advanced Studies, Miramare, Trieste Italy C.T.J.
More informationHomogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey
More informationARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES
ASIAN J. MATH. c 2008 International Press Vol. 12, No. 3, pp. 289 298, September 2008 002 ARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES RAUL QUIROGA-BARRANCO Abstract.
More informationSelf-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds
Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: moore@math.ucsb.edu
More informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationLECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More informationGeometry Qualifying Exam Notes
Geometry Qualifying Exam Notes F 1 F 1 x 1 x n Definition: The Jacobian matrix of a map f : N M is.. F m F m x 1 x n square matrix, its determinant is called the Jacobian determinant.. When this is a Definition:
More informationLifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions
Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By
More information(g 1, g 2 ) g 1 g 2. i : G G
1 Lie Groups Definition (4.1 1 A Lie Group G is a set that is a group a differential manifold with the property that and are smooth. µ : G G G (g 1, g 2 g 1 g 2 i : G G g g 1 Definition (4.1 2 A Lie Subgroup
More informationWELL-POSEDNESS OF THE LAPLACIAN ON MANIFOLDS WITH BOUNDARY AND BOUNDED GEOMETRY
WELL-POSEDNESS OF THE LAPLACIAN ON MANIFOLDS WITH BOUNDARY AND BOUNDED GEOMETRY BERND AMMANN, NADINE GROSSE, AND VICTOR NISTOR Abstract. Let M be a Riemannian manifold with a smooth boundary. The main
More informationDiffraction by Edges. András Vasy (with Richard Melrose and Jared Wunsch)
Diffraction by Edges András Vasy (with Richard Melrose and Jared Wunsch) Cambridge, July 2006 Consider the wave equation Pu = 0, Pu = D 2 t u gu, on manifolds with corners M; here g 0 the Laplacian, D
More informationMath 215B: Solutions 3
Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union
More informationNotes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California
Notes for Math 535 Differential Geometry Spring 2016 Francis Bonahon Department of Mathematics, University of Southern California Date of this version: April 27, 2016 c Francis Bonahon 2016 CHAPTER 1 A
More informationINTEGRATION ON MANIFOLDS and GAUSS-GREEN THEOREM
INTEGRATION ON MANIFOLS and GAUSS-GREEN THEOREM 1. Schwarz s paradox. Recall that for curves one defines length via polygonal approximation by line segments: a continuous curve γ : [a, b] R n is rectifiable
More informationALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3
ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 IZZET COSKUN AND ERIC RIEDL Abstract. We prove that a curve of degree dk on a very general surface of degree d 5 in P 3 has geometric
More informationCOHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II
COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II LECTURES BY JOACHIM SCHWERMER, NOTES BY TONY FENG Contents 1. Review 1 2. Lifting differential forms from the boundary 2 3. Eisenstein
More informationCohomology and Vector Bundles
Cohomology and Vector Bundles Corrin Clarkson REU 2008 September 28, 2008 Abstract Vector bundles are a generalization of the cross product of a topological space with a vector space. Characteristic classes
More informationEXERCISES IN POISSON GEOMETRY
EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible
More informationPractice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009.
Practice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009. Solutions (1) Let Γ be a discrete group acting on a manifold M. (a) Define what it means for Γ to act freely. Solution: Γ acts
More informationDE RHAM COHOMOLOGY, CONNECTIONS, AND CHARACTERISTIC CLASSES
DE RHAM COHOMOLOGY, CONNECTIONS, AND CHARACTERISTIC CLASSES PATRICK GREENE Abstract. The de Rham cohomology is a cohomology based on differential forms on a smooth manifold. It uses the exterior derivative
More informationCONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP
CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat
More informationNO SLICES ON THE SPACE OF GENERALIZED CONNECTIONS. Peter W. Michor Hermann Schichl
Acta Math. Univ. Comenianiae 66, 2 (1997), 221 228 NO SLICES ON THE SPACE OF GENERALIZED CONNECTIONS Peter W. Michor Hermann Schichl Institut für Mathematik, Universität Wien, Strudlhofgasse 4, A-1090
More informationA REMARK ON THE GROUP OF AUTOMORPHISMS OF A FOLIATION HAVING A DENSE LEAF
J. DIFFERENTIAL GEOMETRY 7 (1972) 597-601 A REMARK ON THE GROUP OF AUTOMORPHISMS OF A FOLIATION HAVING A DENSE LEAF J. LESLIE Introduction When f is a C foliation of a compact manifold, the connected component
More informationNotes on quotients and group actions
Notes on quotients and group actions Erik van den Ban Fall 2006 1 Quotients Let X be a topological space, and R an equivalence relation on X. The set of equivalence classes for this relation is denoted
More informationOn Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem
On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov
More informationRelation of the covariant and Lie derivatives and its application to Hydrodynamics
Relation of the covariant and Lie derivatives and its application to Hydrodynamics Yang Cao TU Darmstadt March 12, 2010 The Euler hydrodynamic equation on manifolds Let M denote a compact oriented Riemannian
More informationNotes by Maksim Maydanskiy.
SPECTRAL FLOW IN MORSE THEORY. 1 Introduction Notes by Maksim Maydanskiy. Spectral flow is a general formula or computing the Fredholm index of an operator d ds +A(s) : L1,2 (R, H) L 2 (R, H) for a family
More informationi = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)
2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ
More informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationLecture 2: Homotopy invariance
Lecture 2: Homotopy invariance Wegivetwoproofsofthefollowingbasicfact, whichallowsustodotopologywithvectorbundles. The basic input is local triviality of vector bundles (Definition 1.12). Theorem 2.1.
More informationGroup Actions and Cohomology in the Calculus of Variations
Group Actions and Cohomology in the Calculus of Variations JUHA POHJANPELTO Oregon State and Aalto Universities Focused Research Workshop on Exterior Differential Systems and Lie Theory Fields Institute,
More informationOn the Diffeomorphism Group of S 1 S 2. Allen Hatcher
On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main
More informationNOTES ON FIBER BUNDLES
NOTES ON FIBER BUNDLES DANNY CALEGARI Abstract. These are notes on fiber bundles and principal bundles, especially over CW complexes and spaces homotopy equivalent to them. They are meant to supplement
More informationManifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds
MA 755 Fall 05. Notes #1. I. Kogan. Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds Definition 1 An n-dimensional C k -differentiable manifold
More informationNOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS
NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS 1. What is a tensor? Let V be a finite-dimensional vector space. 1 It could be R n, it could be the tangent space to a manifold at a point, or it could just
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationGlobal aspects of Lorentzian manifolds with special holonomy
1/13 Global aspects of Lorentzian manifolds with special holonomy Thomas Leistner International Fall Workshop on Geometry and Physics Évora, September 2 5, 2013 Outline 2/13 1 Lorentzian holonomy Holonomy
More informationclass # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS
class # 34477 MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS [DG] stands for Differential Geometry at https://people.math.osu.edu/derdzinski.1/courses/851-852-notes.pdf [DFT]
More informationLECTURE 26: THE CHERN-WEIL THEORY
LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if
More informationHYPERKÄHLER MANIFOLDS
HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly
More informationThe oblique derivative problem for general elliptic systems in Lipschitz domains
M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T
More informationMath Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:
Math 132 - Topology II: Smooth Manifolds. Spring 2017. Homework 2 Solution Submit solutions to the following problems: 1. Let H = {a + bi + cj + dk (a, b, c, d) R 4 }, where i 2 = j 2 = k 2 = 1, ij = k,
More informationMath 535a Homework 5
Math 535a Homework 5 Due Monday, March 20, 2017 by 5 pm Please remember to write down your name on your assignment. 1. Let (E, π E ) and (F, π F ) be (smooth) vector bundles over a common base M. A vector
More informationIntegration of non linear conservation laws?
Integration of non linear conservation laws? Frédéric Hélein, Institut Mathématique de Jussieu, Paris 7 Advances in Surface Theory, Leicester, June 13, 2013 Harmonic maps Let (M, g) be an oriented Riemannian
More informationLecture Fish 3. Joel W. Fish. July 4, 2015
Lecture Fish 3 Joel W. Fish July 4, 2015 Contents 1 LECTURE 2 1.1 Recap:................................. 2 1.2 M-polyfolds with boundary..................... 2 1.3 An Implicit Function Theorem...................
More information1.4 The Jacobian of a map
1.4 The Jacobian of a map Derivative of a differentiable map Let F : M n N m be a differentiable map between two C 1 manifolds. Given a point p M we define the derivative of F at p by df p df (p) : T p
More informationNOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY
NOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY 1. Closed and exact forms Let X be a n-manifold (not necessarily oriented), and let α be a k-form on X. We say that α is closed if dα = 0 and say
More informationLecture 6: Classifying spaces
Lecture 6: Classifying spaces A vector bundle E M is a family of vector spaces parametrized by a smooth manifold M. We ask: Is there a universal such family? In other words, is there a vector bundle E
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationGEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
More informationNONNEGATIVE CURVATURE AND COBORDISM TYPE. 1. Introduction
NONNEGATIVE CURVATURE AND COBORDISM TYPE ANAND DESSAI AND WILDERICH TUSCHMANN Abstract. We show that in each dimension n = 4k, k 2, there exist infinite sequences of closed simply connected Riemannian
More informationESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES. 1. Introduction
ESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES ANDREAS ČAP AND KARIN MELNICK Abstract. We use the general theory developed in our article [1] in the setting of parabolic
More informationINTERSECTION THEORY. Note that. If we identify the bidual V with V in a canonical fashion, then we deduce (U # ) # = U.
INTERECTION THEORY LIVIU I. NICOLAECU ABTRACT. I provide more details to the intersection theoretic results in [1]. CONTENT 1. Transversality and tubular neighborhoods 1 2. The Poincaré dual of a submanifold
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik Harmonic spinors and local deformations of the metric Bernd Ammann, Mattias Dahl, and Emmanuel Humbert Preprint Nr. 03/2010 HARMONIC SPINORS AND LOCAL DEFORMATIONS OF
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationLECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9
More information