Introduction to de Rham cohomology. Pekka Pankka

Size: px
Start display at page:

Download "Introduction to de Rham cohomology. Pekka Pankka"

Transcription

1 Introduction to de Rham cohomology Pekka Pankka December 11, 2013

2 Preface These are lecture notes for the course Johdatus de Rham kohomologiaan lectured fall 2013 at Department of Mathematics and Statistics at the University of Jyväskylä. The main purpose of these lecture notes is to organize the topics discussed on the lectures. They are not meant as a comprehensive material on the topic! These lectures follow closely the book of Madsen and Tornehave From Calculus to Cohomology [7] and the reader is strongly encouraged to consult it for more details. There are also several alternative sources e.g. [1, 9] on differential forms and de Rham theory and [4, 5, 3] on multilinear algebra. 1

3 Bibliography [1] H. Cartan. Differential forms. Translated from the French. Houghton Mifflin Co., Boston, Mass, [2] W. Greub. Linear algebra. Springer-Verlag, New York, fourth edition, Graduate Texts in Mathematics, No. 23. [3] W. Greub. Multilinear algebra. Springer-Verlag, New York, second edition, Universitext. [4] S. Helgason. Differential geometry and symmetric spaces. Pure and Applied Mathematics, Vol. XII. Academic Press, New York, [5] S. Helgason. Differential geometry, Lie groups, and symmetric spaces, volume 80 of Pure and Applied Mathematics. Academic Press Inc. [Harcourt Brace Jovanovich Publishers], New York, [6] M. W. Hirsch. Differential topology, volume 33 of Graduate Texts in Mathematics. Springer-Verlag, New York, Corrected reprint of the 1976 original. [7] I. Madsen and J. Tornehave. From calculus to cohomology. Cambridge University Press, Cambridge, de Rham cohomology and characteristic classes. [8] W. Rudin. Real and complex analysis. McGraw-Hill Book Co., New York, third edition, [9] L. W. Tu. An introduction to manifolds. Universitext. Springer, New York, second edition,

4 Contents 1 Alternating algebra Some linear algebra Multilinear maps Alternating multilinear maps Differential forms Exterior derivative Pull-back of forms De Rham cohomology Poincaré lemma Chain complexes Long exact sequence Homotopy Applications 52 5 Manifolds and bundles Topological manifolds and bundles Smooth manifolds Tangent bundle Cotangent bundle Exterior bundles Exterior derivative de Rham cohomology Orientable manifolds 78 7 Integration Euclidean case Manifold case Integration on domains with smooth boundary

5 8 Poincaré duality Special case Exact sequence for compactly supported cohomology Exact sequence for dual spaces Main steps

6 Chapter 1 Alternating algebra Let v 1,..., v n be vectors in R n. The volume of the parallelepiped P (v 1,..., v n ) = {t 1 v t n v n R n : 0 t i 1, i = 1,..., n} is given by det [v 1 v n ]. Whereas the absolute value of the determinant is independent on the order of vectors, the sign of det [v 1 v n ] depends on the order of (v 1,..., v n ). The quantity det [v 1 v n ] is therefore sometimes called signed volume. The role of the sign is to detect the so-called orientation of vectors (v 1,..., v n ). The notion of volume and signed volume based on the determinant allows us to consider n-dimensional objects in n-dimensional space. In this section, we discuss multilinear algebra which allows us to consider volumes (and signed volumes ) of k-dimensional (linear) objects in n-dimensional space when k < n. We discuss these geometric ideas in later sections and develop first the necessary linear theory. 1.1 Some linear algebra We begin by recalling some facts from linear algebra; see e.g. [2, Chapter I & II] for a detail treatment. Let V be a (real) vector space, that is, we have operations +: V V V, (u, v) u + v, : R V V, (a, v) av, for which the triple (V, +, ) satisfies the axioms of a vector space. 5

7 Linear maps and dual spaces Given vector spaces V and V, a function f : V V is a called a linear map if f(u + av) = f(u) + af(v) for all u, v V and a R. A bijective linear map is called a (linear) isomorphism. Given linear maps f, g : V V and a R, the mapping f + ag : V V, v f(v) + ag(v), is a linear map V V. Thus the set Hom(V, V ) of all linear maps V V is also a vector space under operations +: Hom(V, V ) Hom(V, V ) Hom(V, V ), (f, g) f + g, : R Hom(V, V ) Hom(V, V ), (a, f) af. An important special case is the dual space V = Hom(V, R) of V. Theorem (Dual basis). Let V be a finite dimensional vector space. Then V = V. Furthermore, if (e i ) n i=1 is a basis of V, then (ε i) n i=1, where ε i : V R is the map { 1, i = j ε i (e j ) = δ ij = 0, i j, is a basis of V. Proof. Exercise. The basis (ε i ) i of V in Theorem is called dual basis (of (e i ) i ). Note that bases of V and V do not have the same cardinality (i.e V and V do not have the same dimension ) if V is infinite dimensional! Induced maps Given f Hom(V, W ) and a linear map ϕ: U V, we have a composition f ϕ Hom(U, W ): U ϕ V f ϕ The composition with fixed map ϕ induces a linear map as formalized in the following lemma. W f 6

8 Lemma Let U, V, W be vector spaces. Let ϕ: U V be a linear map. Then ϕ : Hom(V, W ) Hom(U, W ), f f ϕ is a linear map. Moreover, if ϕ is an isomorphism then ϕ is an isomorphism. Similarly, we may also consider f Hom(U, V ) and a fixed linear map ψ : V W : U f V f ψ W ψ Lemma Let U, V, W be vector spaces. Let ψ : V W be a linear map. Then ϕ : Hom(U, V ) Hom(U, W ), f ψ f is a linear map. Moreover, if ψ is an isomorphism then ψ is an isomorphism. The mapping ϕ in Lemma is so-called pull-back (under ϕ). The mapping ψ is called as push-forward. As an immediate corollary of Lemma we have the following observation. Corollary Let U and V be vector spaces and ϕ: U V a linear map. Then ϕ : V U, f f ϕ is a linear map. Moreover, ϕ is an if ϕ is an isomorphism. Subspaces and quotients A subset W V of a vector space V is a subspace of V if u + aw W for all u, v W and a R. A coset of an element v V with respect to W is the subset v + W = {v + w V : w W }. The relation W on V, given by the formula u W v u v W, is an equivalence relation with equivalence classes {v + W : v V }. The set V/W of these equivalence classes has a natural structure of a vector space given by operations +: V/W V/W V/W, ((u + W ), (v + W )) (u + v) + W, : R V/W V/W, (a, v + V/W ) (av) + W, that is, (u + W ) + a(v + W ) = (u + av) + W 7

9 for all u, v W and a R. The space V/W is called the quotient space of V (with respect to W ). Note that the mapping π : V V/W, v v + W, is linear. The mapping p is called quotient (or canonical) map. A fundamental fact of on linear mappings is that the kernel and the image are vector spaces, that is, let f : V V be a linear map between vector spaces, then ker f = f 1 (0) = {v V : f(v) = 0} Imf = f[v ] = {f(v) V : v V } are subspaces of V and V, respectively. Theorem (Isomorphism theorem). Let f : V V be a linear map between vector spaces V and V. Then the mapping ϕ: V/ ker f Imf, v + W f(v) + W, is a linear isomorphism satisfying V p f V/ ker f = ϕ where p: V V/ ker f is the canonical map. The proof is left as a voluntary exercise. Imf Products and sums Given a set I (finite or infinite) and a vector space V i for each i I, the product space i I V i has a natural linear structure given by (v i ) i + a(v i) i = (v i + av i) i where v i, v i V i and a R. For I =, we declare i I V i = {0}. If V i = V j =: V for all i, j I, denote V I = i I V. Note that, V I is, in fact, the space of all functions I V. Note also that, for n N, we have V n = V V = V {1,...,n} = {all functions {1,..., n} V }. The sum of two vector spaces V W has (at least) three different meanings in the literature. Abstractly, V W is the product space V W. More concretely, if V and W are subspaces of a vector space U, then V + W is the subspace of U spanned by V and W, that is, V + W = {v + w U : v V, w W }. If V W = {0}, notation V W for V +W is commonly used. If U, however, is an inner product space, then notation V W is commonly reserved for the case that v w for all v V and w W. (Be warned!) 8

10 1.2 Multilinear maps Definition Let V 1,..., V k, and W be vector spaces. A function f : V 1 V k W is k-linear if, for all v j V j (j = 1,..., k), f(v 1,..., v i 1, v + aw, v i+1, v k ) = f(v 1,, v i 1, v, v i+1, v k ) + af(v 1,, v i 1, w, v i+1, v k ) for all i {1,..., k}, v, w V i, and a R. A mapping is multilinear if it is k-linear for some k 1. Example Let V be a (real) vector space. Then the duality pairing V V R defined by (ϕ, v) ϕ(v) is bilinear. Remark A function f : V 1 V k W is k-linear if and only if for every sequence (v 1,..., v k ) V 1 V k and each 1 i k functions are linear mappings V i W. v f(v 1,..., v i 1, v, v i+1, v k ) Example Let V be a (real) vector space. Then the duality pairing V V R defined by (ϕ, v) ϕ(v) is bilinear (i.e. 2-linear). Example An inner product, : V V R is bilinear. Values of multilinear maps V k R depend only on values on basis elements. This can be formalized as follows. Lemma Let V be an n-dimensional vector space and {e 1,..., e n } a basis of V. Let f : V k R be k-linear, and v i = n j=1 v ije j V for i = 1,..., k. Then f(v 1,..., v k ) = f(e j1,..., e jk )v 1ji v kjk (j 1,...,j k ) {1,...,n} k Proof. Since f is k-linear, f(v 1,..., v k ) = f n v 1j1 e ji,..., j 1 =1 = j 1 n v kjk e jk j k =1 j k f (v 1j1 e ji,..., v kjk e jk ) = j 1 j k (v 1j1 v kjk )f(e ji,..., e jk ) Corollary Let V be an n-dimensional vector space and (e 1,..., e n ) a basis of V. Suppose f, g : V k W satisfy f(e j1,..., e jk ) = g(e j1,... e jk ) for all multi-indices (j 1,..., j k ) {1,... n} k. Then f = g. 9

11 1.2.1 Vector space of multilinear maps Definition Let V 1,..., V k, V, W be vector spaces. We denote by Mult(V 1 V k, W ) the set of all k-linear maps V 1 V k W. We denote Mult k (V, W ) = Mult( k, W ). Lemma Let V 1,..., V k, W be vector spaces. Then Mult(V 1 V k, W ) is a (vector) subspace of Hom(V 1 V k, W ). Proof. Clearly f + ag : V 1 V k W is k-linear if f, g Mult(V 1 V k, W ) and a R. Definition Let U, V and W be vector spaces and ϕ: U V a linear map. Given a k-linear map f : V k W, the map ϕ f : U k W is defined by formula (1.2.1) (ϕ f)(u 1,..., u k ) = f(ϕ(u 1 ),..., ϕ(u k )) for u 1,..., u k U. Lemma Let U, V and W be vector spaces and ϕ: U V a linear map. Then ϕ f Mult k (U, W ) for every f Mult k (V, W ). Furthermore, the map ϕ : Mult k (V, W ) Mult k (U, W ) defined by formula (1.2.1), is linear Tensor product This section is added for completeness. We do not use tensor products in the following sections. Let f : V k R and g : U l R be k- and l-linear maps respectively. Define f g : V k U l R, (f g)(v 1,..., v k, u 1,..., u l ) = f(v 1,..., v k )g(u 1,..., v k ) Lemma Let f : V k R and g : U l R be multilinear. Then f g is multilinear. Moreover, if h: W m R is multilinear, then f (g h) = (f g) h. Proof. Exercise. Lemma Let U, V be vector space, f Mult k (V ), g Mult l (V ), and ϕ: U V a linear map. Then Proof. Exercise. ϕ (f g) = ϕ f ϕ g. 10

12 Lemma Let V be an n-dimensional vector space, (e 1,..., e n ) a basis of V and (ε 1,..., ε n ) the corresponding dual basis. Let f : V k R. Then there exists coefficients a J R, J = (j 1,... j k ) {1,..., n} k, for which f = J=(j 1,...,j k ) {1,...n} k a J ε j1 ε jk Moreover, a J = f(e j1,..., e jk ) for J = (j 1,..., j k ) {1,..., n} k. Proof. Let J = (j 1,... j k ) and v i = k j=1 v ije j for i = 1,..., k. Then ε j1 ε jk (v 1,..., v k ) = Thus, by Lemma 1.2.6, f(v 1,..., v k ) = = (j 1,...,v k ) = (j 1,...,v k ) (ε j1 ε jk )(e i1,..., e ik )v 1ii v kik (i 1,...,i k ) {1,...,n} k (i 1,...,i k ) {1,...,n} k ε j1 (e i1 ) ε jk (e ik )v 1ii v kik = v 1ji v kjk f(e j1,..., e jk )v 1j1 v kjk f(e j1,..., e jk )ε j1 ε jk (v 1j1,..., v kjk ). Lemma Let V be an n-dimensional vector space, (e 1,..., e n ) a basis of V and (ε 1,..., ε n ) the corresponding dual basis. Then is a basis of Mult k (V, R). Proof. Exercise. (ε j1 ε jk ) (j1,...,j k ) {1,...,n} k Remark Multilinear maps are discussed in many sources, see e.g. [4, 5] or [3]. Note, however, that for example in [3], the point of view is more abstract and the tensor product refers to a vector space which linearizes multilinear maps. This more abstarct approach can be viewed as the next step in this theory (which we do not take in these notes). 11

13 1.3 Alternating multilinear maps The material in this section is gathered from [7, Chapter 2]; alternatively see [3]. Throughout this section V and W are (real) vector spaces. Definition A k-linear map f : V V W is alternating if, for 1 i < j k, (1.3.1) f(v 1,..., v i 1, v j, v i+1,..., v j 1, v i, v j+1,..., v k ) = f(v 1,..., v k ) for all v 1,..., v k V. Example Let ϕ: R 2 R 2 R 2 2 be the mapping [ ] u1 v (u, v) 1, u 2 v 2 where u = (u 1, u 2 ) and v = (v 1, v 2 ). Then ϕ is a linear map and the mapping f : R 2 R 2 R, (u, v) det ϕ(u, v), is an alternating 2-linear map. In fact, in this sense, a determinant (R n ) n R is an alternating n-linear map for all n. Lemma A k-linear mapping f : V k W is alternating if and only if, for all (v 1,..., v k ) V k, (1.3.2) f(v 1,..., v k ) = 0 if v i = v j for i j. Example Let f, g V and define ω : V V R by formula ω(v, v ) = f(v)g(v ) f(v )g(v) for v, v V. Then ω is 2-linear and alternating, and hence ω Alt 2 (V ). It will turn out that ω is an alternating product (or wedge) of f and g. Example Let (ε 1, ε 2 ) be the dual basis of the standard basis (e 1, e 2 ) of R 2. If f = ε 1, g = ε 2, and ω are as in the previous example, then [ ] x1 x ω((x 1, y 1 ), (x 2, y 2 )) = x 1 y 2 x 2 y 1 = det 2 y 1 y 2 for all (x 1, y 1 ), (x 2, y 2 ) R 2. 12

14 1.3.1 Space Alt k (V ) Definition Let V be a vector space. We denote Alt k (V ) = {f : V k R: f is an alternating k linear}. Here V 0 = R and we identify Alt 0 (V ) = R = R. Lemma Let V be a vector space. Mult k (V, R), and hence of Hom( k V, R). Then Alt k (V ) is a subspace of Proof. Since Alt k (V ) Mult k (V, R), it suffices to observe that (clearly) f + ag : V k R is alternating for every f, g Alt k (V ) and a R. Remark Alt 1 (V ) = {f : V R: f is k linear} = Hom(V, R) = V. Lemma Let V, W be vector spaces and ϕ: V W a linear map. Then ϕ : Alt k (W ) Alt k (V ) defined by (v 1,..., v k ) ω(ϕ(v 1 ),..., ϕ(v k )) (as in Definition 1.2.1), is well-defined and linear. Proof. Since ϕ : Mult k (W, R) Mult k (V, R) is well-defined and linear, it suffices to observe that (clearly) ϕ ω is alternating for every ω Alt k (V ) Intermission: permutations Let k 1. A bijection {1,..., k} {1,..., k} is called a permutation. We denote by S k the set of all permutations {1,... k} {1,..., k}. A permutation τ S k is a transposition if there exists 1 i < j k for which τ(m) = m for m i, j and τ(i) = j (and τ(j) = i); we denote by τ ij = τ (k) ij the transposition satisfying τ ij (i) = j. A permutation is even if it can be written as an even number of transpositions. Otherwise, a permutation is called odd. A permutation is either even or odd. We formalize this as follows. Proposition A permutation has a sign, that is, there exists a function sign: S k {±1} satisfying { +1, σ is an even permutation, sign(σ) = 1, σ is an odd permutation. Proof. Induction on k. (Exercise.) 13

15 Corollary The sign: S k {±1} satisfies In particular, for transpositions τ 1,..., τ m. sign(σ σ ) = sign(σ)sign(σ ). sign(τ 1 τ m ) = ( 1) m Remark The set S k is a group under composition, that is, the product σσ is the composition σ σ. In Proposition and Corollary we implicitely state that S k is generated by transpostions and the function sign is, in fact, a group homomorphism (S k, ) ({±1}, ). We do not pursue these details here. The main observation on permutions and alternating maps is the following lemma. Lemma Let f : V k W be an alternating k-linear map and σ S k. Then, for (v 1,..., v k ) V k, f(v σ(1),..., v σ(k) ) = sign(σ)f(v 1,..., v k ). Proof. Let σ = τ 1 τ m S k and denote σ = τ 1 1 σ. Then σ = τ 1 σ and, by alternating, Thus, by induction, f(v σ(1),..., v σ(k) ) = f(v τ1 (σ (1)),..., v τ1 (σ (k))) = f(v σ (1),..., v σ (k)). f(v σ(1),..., v σ(k) ) = ( 1) m f(v 1,..., v k ) = sign(σ)f(v 1,..., v k ). Lemma gives an easy proof for an alternative characterization of alternate multilinear maps. Lemma Let V and W be vector spaces and f : V k W be a k- linear map. Then f is alternating if and only if f(v 1,..., v k ) = 0 whenever v i = v i+1 for some 1 i < k. Proof. Exercise. Exercise Let f : V k W be a map and σ S k. Define the map σ # ω : V k W by (σ # f)(v 1,..., v k ) = f(v σ(1),..., v σ(k) ). Show that (σ # f) is an alternating k-linear map if and only if f is an alternating k-linear map. 14

16 1.3.3 Exterior product Definition Let k, l 1. A permutation σ S k+l, is a (k, l)-shuffle if σ(1) < σ(2) < < σ(k) and σ(k + 1) < < σ(k + l). We denote by S(k, l) the set of all (k, l)-shuffles. Definition Let ω Alt k (V ) and τ Alt l (V ). The exterior (or the wedge) product ω τ Alt k+l (V ) is defined by ω τ(v 1,..., v k+l ) = sign(σ)ω(v σ(1),..., v σ(k) )τ(v σ(k+1),..., v σ(k+l) ) for v 1,..., v k+l V. σ S(k,l Lemma Let ω Alt k (V ) and τ Alt l (V ). Then ω τ Alt k+l (V ). Proof. (See also [7, Lemma 2.6].) By Lemma it suffices to show that if v i = v i+1 for some 1 i < k + l. Let ω τ(v 1,..., v k+1 ) = 0 S 0 = {σ S(k, l): {i, i + 1} σ({1,..., k}) or {i, i + 1} σ({k + 1,..., k + l})} S = {σ S(k, l): i σ({1,..., k}) and i + 1 σ({k + 1,..., k + l})} S + = {σ S(k, l): i + 1 σ({1,..., k}) and i σ({k + 1,..., k + l})} Since v i = v i+1, we have, for every σ S 0, either ω(v σ(1),..., v σ(k) ) = 0 or τ(v σ(k+1 ),..., v σ(k+l) ) = 0. Thus ω τ(v 1,..., v k+l ) = sign(σ)ω(v σ(1),..., v σ(k) )τ(v σ(k+1),..., v σ(k+l) ) σ S(k,l) = It suffices to show that σ S + sign(σ)ω(v σ(1),..., v σ(k) )τ(v σ(k+1),..., v σ(k+l) ) + σ S sign(σ)ω(v σ(1),..., v σ(k) )τ(v σ(k+1),..., v σ(k+l) ). σ S + sign(σ)ω(v σ(1),..., v σ(k) )τ(v σ(k+1),..., v σ(k+l) ) = σ S sign(σ)ω(v σ(1),..., v σ(k) )τ(v σ(k+1),..., v σ(k+l) ). 15

17 Let α = τ i,i+1 be the transposition interchanging i and i + 1. Step 1: We show first that S S +, σ α σ, is a well-defined bijection. The inverse of the map is σ α σ, so it a bijection. It suffices to show that the target is S +. Let σ S. Then there exists 1 j k for which σ(j) = i and k + 1 j k + l for which σ(j ) = i + 1. We observe that, for 1 j < k, i + 1 < σ(j + 1) since i + 1 σ({1,..., k}) and σ(j + 1) > σ(j) = i. Similarly, and σ(j 1) < i. Since α is a transposition, we have Thus (α(σ(1)),..., α(σ(k))) = (σ(1),..., σ(j 1), α(σ(j)), σ(j + 1),..., σ(k)) = (σ(1),..., σ(j 1), i + 1, σ(j + 1),..., σ(k)) (α(σ(k + 1)),..., α(σ(k + l))) = ( σ(k + l),..., σ(j 1), α(σ(j )), σ(j + 1),..., σ(k + l) ) = ( σ(k + 1),..., σ(j 1), i, σ(j + 1),..., σ(k + l) ). α(σ(1)) < < α(σ(k)) and α(σ(k + 1)) < < α(σ(k + l)). Hence α σ S(k, l) and α σ S +. This ends Step 1. Step 2: We show now that, for σ S, ω(v α(σ(1)),..., v α(σ(k)) )τ(v α(σ(k+1)),..., v α(σ(k+l)) ) = ω(v σ(1),..., v σ(k) )τ(v σ(k+1),..., v σ(k+l) ). Let 1 j k and k + 1 j k + l be as in the proof of Subclaim 1. Since v i = v i+1, we have ω(v α(σ(1)),..., v α(σ(k)) )τ(v α(σ(k+1)),..., v α(σ(k+l)) ) = ω(v σ(1),..., v σ(j 1), v i+1, v σ(j+1),..., v σ(k) ) τ(v σ(k+1),..., v σ(j 1), v i, v σ(j +1),..., v σ(k+l) ) = ω(v σ(1),..., v σ(j 1), v i, v σ(j+1),..., v σ(k) ) τ(v σ(k+1),..., v σ(j 1), v i+1, v σ(j +1),..., v σ(k+l) ) = ω(v σ(1),..., v σ(k) )τ(v σ(k+1),..., v σ(k+l) ). 16

18 This ends Step 2. Final step: Combining previous steps, we have ω τ(v 1,..., v k+l ) = σ S sign(α σ )ω(v α σ (1),..., v α σ (k))τ(v α σ (k+1),..., v α σ (k+l)) + σ S sign(σ)ω(v σ(1),..., v σ(k) )τ(v σ(k+1),..., v σ(k+l) ) = ( 1) σ S sign(σ )ω(v σ (1),..., v σ (k))τ(v σ (k+1),..., v σ (k+l)) + σ S sign(σ)ω(v σ(1),..., v σ(k) )τ(v σ(k+1),..., v σ(k+l) ) = 0. The exterior product is bilinear in the following sense. Lemma Let ω, ω Alt k (V ), τ, τ Alt l (V ), and a R. Then Proof. Exercise. (ω + aω ) τ = ω τ + aω τ ω (τ + aτ ) = ω τ + aω τ. Lemma Let ω Alt k (V ) and τ Alt l (V ). Then ω τ = ( 1) kl τ ω. The proof of Lemma ([7, Lemma 2.8]) is based on the following observation on shuffles. Lemma Let k, l 1 and α S k+l the permutation { k + i, i l α(i) = i l, i l + 1 Then S(l, k) S(k, l), σ σ α, is a bijection. Furthermore, sign(α) = ( 1) kl. Proof. Let 1 j < l. Then k < α(j) < α(j + 1) k + l. Thus, for α S(l, k), σ(α(j)) < σ(α(j + 1)). Hence σ α S(k, l). Thus σ σ α is well-defined. It is clearly a bijection (the inverse map is given by σ σ α 1 ). 17

19 We show now that sign(α) = ( 1) kl. For 1 i k, let β i S k+l be the permutation β i = τ i,i+1 τ i+1,i+2 τ l+i 1,l+i. Then i, j = l + i β i (j) = j + 1, for i j < l + i j, otherwise. Moreover, sign(β i ) = ( 1) l for every 1 i k. By induction, α = β k β 1. Thus sign(α) = sign(β k β 1 ) = sign(β k ) sign(β 1 ) = ( 1) kl. Proof of Lemma Let α S k+l be the permutation in Lemma Then τ(v σ(α(1)),..., v σ(α(l)) ) = τ(v σ(k+1),..., v σ(k+l) ) and Hence ω(v σ(α(l+1),..., v σ(α(k+l) ) = ω(v σ(1),..., v σ(k) ). τ ω(v 1,..., v k+l ) = sign(σ)τ(v σ(1),..., v σ(l) )ω(v σ(l+1),..., v σ(l+k) ) σ S(l,k) = sign(σ α)τ(v σ (α(1)),..., v σ (α(l))ω(v σ (α(l+1)),..., v σ (α(l+k))) σ S(k,l) = sign(α) sign(σ )τ(v σ (k+1)),..., v σ (l+k))ω(v σ (1),..., v σ (k)) σ S(k,α) = ( 1) kl ω τ(v 1,..., v k+l ). For completeness, we remark that the exterior product is associative. Lemma Let ω Alt k (V ), τ Alt l (V ), and ξ Alt m (V ). Then (ω τ) ξ = ω (τ ξ) Alt k+l+m (V ). Proof. [7, Lemma 2.9]. 18

20 1.3.4 Alternating multilinear maps and determinants Lemma Let V be a vector space and ω 1,..., ω k Alt 1 (V ). Then ω 1 (v 1 ) ω 1 (v k ) ω 1 ω k (v 1,..., v k ) = det..... ω k (v 1 ) ω k (v k ) for all v 1,..., v k V. Proof. The proof is by induction. The claim clearly holds for k = 1. Suppose it holds for k 1. Then, by the definition of the exterior product, we have, for k + 1, ω 1 ω k+1 (v 1,..., v k+1 ) = ω 1 (ω 2 ω k+1 ) (v 1,..., v k+1 ) = sign(σ)ω 1 (v σ(1) )ω 2 ω k+1 (v σ(2),..., v σ(k+1) ) σ S(1,k) k+1 = ( 1) i+1 ω 1 (v i )ω 2 ω k+1 (v 1,..., v i 1, v i+1,..., v k+1 ). i=1 For i = 1,..., k + 1, let A i1 be the matrix ω 2 (v 1 ) ω 2 (v i 1 ) ω 2 (v i+1 ) ω k+1 (v σ(k+1) ) A i1 = ω k+1 (v 1 ) ω k+1 (v i 1 ) ω k+1 (v i+1 ) ω k+1 (v σ(k+1) ) Then, by the induction assumption and the expansion of the determinant along the first row ω 1 ω k+1 (v 1,..., v k+1 ) = k+1 ( 1) i+1 ω 1 (v i ) det A i1 i=1 ω 1 (v 1 ) ω 1 (v k+1 ) = det..... ω k+1 (v 1 ) ω k+1 (v k+1 ) Corollary Let ω 1,..., ω k Alt 1 (V ). Then ω 1 ω k 0 if and only if ω 1,..., ω k are linearly independent in V. 19

21 Proof. Suppose ω 1 ω k 0. Suppose towards contradiction that ω 1,..., ω k are linearly dependent, that is, there exists a 1,..., a k R not all zeroes, so that a 1 ω a k ω k = 0. We may assume that a 1 0 and solve ω 1 to obtain Thus ω 1 = 1 a 1 (a 2 ω a k ω k ). ω 1 ω k = k i=2 a i a 1 ω i ω 2 ω k = 0, since ω i ω 2 ω k = 0 for all i = 1,..., k by Lemma This is a contradiction. Thus linear maps ω 1,..., ω k are linearly independent. Suppose now that ω 1 ω k = 0 and suppose towards contradiction that (ω 1,..., ω k ) is linearly independent. Then there exists vectors e 1,..., e k V for which ω i (e j ) = δ ij. Then ω 1 (e 1 ) ω k (e 1 ) ω 1 (e 1 ) ω 1 (e k ) det..... = det..... ω 1 (e k ) ω k (e k ) ω k (e 1 ) ω k (e k ) = ω 1 ω k (e 1,..., e k ) = 0. Thus columns of the determinant are linearly dependent and there exists coefficients a 1,..., a k R (not all zero) so that a 1 ω 1 (e 1 ). ω 1 (e k ) + + a k We may assume that a 1 0 and we obtain ω 1 (e 1 ). ω k (e k ) = 0. ω 1 (e i ) = 1 a 1 k ω j (e i ) j=1 for all i = 1,..., k. But this is contradiction, since ω 1 (e 1 ) = 1 and 1 a 1 k ω j (e 1 ) = 0. j=1 Thus (ω 1, ω 2,..., ω k ) is linearly dependent. 20

22 1.3.5 Basis of Alt k (V ) Let n k 1. Recall that σ S(k, n k) is a bijection {1,..., n} {1,..., n} satisfying 1 σ(1) < < σ(k) n and σ(k + 1) < < σ(n). Theorem Let V be n-dimensional (real) vector space, (e 1,..., e n ) a basis of V and (ε 1,..., ε n ) the corresponding dual basis. Then (1.3.3) (ε σ(1) ε σ(k) ) σ S(k,n k) is a basis of Alt k (V ). Moreover, for every ω Alt k (V ), (1.3.4) ω = ω(e σ(1),..., e σ(k) )ε σ(1) ε σ(k). σ S(k,n k) Corollary Let V be an n-dimensional vector space. For 0 k n, ( n ) dim Alt k (V ) = #S(k, n k) =. k In particular, Alt n (V ) = R. Moreover, for k > n, Alt k (V ) = {0}. Proof of Theorem We show first the linear independence. Suppose a σ R (σ S(k, n k)) are such coefficients that a σ ε σ(1) ε σ(k) = 0. Let τ S(k, n k). By Lemma , for every σ S(k, n k). Thus σ ε σ(1) ε σ(k) (e τ(1),..., e τ(k) ) = δ σ,τ a τ = a τ ε τ(1) ε τ(k) (e τ(1),..., e τ(k) ) = σ = 0. a σ ε σ(1) ε σ(k) (e τ(1),..., e τ(k) ) for every τ S(k, n k). Hence (1.3.3) is linearly independent. We show now (1.3.4). This proves that the sequence in (1.3.3) spans Alt k (V ). Let v i = k j=1 v ije j V for i = 1,..., k. Then ω(v 1,..., v k ) = v 1j1 v kjk ω(e j1,... e jk ) = = (j 1,...,j k ) σ S(n,k) σ S(n,k) v 1,τ(σ(1)) v k,τ(σ(k)) ω(e τ(σ(1)),... e τ(σ(k)) ) τ S k sign(τ)v 1,τ(σ(1)) v k,τ(σ(k)) ω(e σ(1),... e σ(k) ) τ S k 21

23 On the other hand, ε σ(1) ε σ(k) (e α(1),... e α(k) ) = { 1, α = σ 0, otherwise for all σ, α S(k, n k) (by Lemma or directly from definition). Thus (1.3.5) ε σ(1) ε σ(k) (v 1,..., v k ) = sign(τ)v 1,τ(α(1)) v k,τ(α(k)) ε σ(1) ε σ(k) (e α(1),... e α(k) ) α S(k,n k) τ S k = sign(τ)v 1,τ(σ(1)) v k,τ(σ(k)). τ S k Hence ω(v 1,..., v k ) = = = σ S(k,n k) σ S(k,n k) σ S(k,n k) τ S k sign(τ)v 1,τ(σ(1)) v k,τ(σ(k)) ω(e σ(1),... e σ(k) ) ε σ(1) ε σ(k) (v 1,..., v k )ω(e σ(1),... e σ(k) ) ω(e σ(1),... e σ(k) )ε σ(1) ε σ(k) (v 1,..., v k ). Remark Note that, for n = k and σ = id, we may combine Lemma and (1.3.5) to obtain the formula det [v 1 v n ] = ε 1 ε n (v 1,..., v n ) = τ S n sign(τ)v 1τ(1) v nτ(n). This representation formula is usually taken as a definition of the determinant. Taking the formula for the determinant in Remark and combining it with Lemma , we also get a (useful) formula which could be taken as the definition of exterior product of dual vectors. Lemma Let V be a vector space and let ω 1,..., ω k Alt k (V ). Then ω 1 ω k (v 1,..., v k ) = σ S k sign(σ)ω 1 (v σ(1) ) ω n (v σ(k) ). 22

24 1.3.6 Exterior ring Alt (V ) Let V be an n-dimensional vector space. Having the exterior product at our disposal, we may define the exterior ring Alt (V ) of the vector space V by setting Alt (V ) = k 0 Alt k (V ) = Alt 0 (V ) Alt 1 (V ) Alt n (V ). Thus the elements of Alt (V ) are sequences ω = (ω 0,..., ω n ). Since there is no confusion between k- and l-linear maps, we may also unambiguously write ω = n (0,..., 0, ω k, 0,..., 0) = ω 0 + ω ω n, k=0 where ω k Alt k (V ); note that components in this sum are uniquely determined. The exterior product : Alt k (V ) Alt l (V ) Alt k+l (V ) induces a multiplication : Alt (V ) Alt (V ) Alt (V ) with ( n ) ( n ) n ω k τ k = ω k τ l. k=0 k=0 k,l=0 Definition Vector space Alt (V ) with exterior product is called an exterior ring of V. Given a linear map ϕ: V W, there exists a ring homomorphism ϕ : Alt (W ) Alt (V ) given by the formula ϕ ( n ω k ) = k=0 n ϕ ω k. The map ϕ is clearly linear and, by Lemma (below), it satisfies for all ω, τ Alt (W ). k=0 ϕ (ω τ) = ϕ ω ϕ τ Lemma Let V, W be vector spaces, ω Alt k (W ), τ Alt l (W ), and ϕ: V W a linear map. Then Proof. Exercise. ϕ (ω τ) = ϕ ω ϕ τ. 23

25 Chapter 2 Differential forms Let n, k 0. Let (e 1,..., e n ) be a standard basis of R n and (ε 1,..., ε n ) the corresponding dual basis. By results in the previous section, we have that Alt k (R n ) is a vector space with basis (ε σ ) σ S(k,n k), where Thus we have linear isomorphism ε σ = ε σ(1) ε σ(k). R ( n k ) = R S(k,n k) = Alt k (R n ), where R S(k,n k) is the vector space of all functions S(k, n k) R. We give R S(k,n k) and Alt k (R n ) topologies which are induced by these linear isomorphisms. (A careful reader checks that the given topologies are independent on the chosen linear isomorphisms. We leave this to the careful reader, though.) Let U R n be an open set. Let ω : U Alt k (R n ) be a function. Then ω(x) Alt k (R n ) for every x U. Thus, for every x U, there exists coeffiecients f σ (x) R for which ω(x) = σ S(k,n k) f σ (x)ε σ. In particular, for every σ S(k, n k), we have a function f σ : U R. For every α S(k, n k) and x U, we also have the formula (ω(x)) (e α(1),..., e α(k) ) = f α (x). Based on this observation, we give the following definition for smoothness. (A careful reader again verifies that the smoothness does not depend on chosen basis.) 24

26 Definition Let U R n be an open set. Alt k (R n ) is C -smooth if the function U R, A function ω : U is smooth for every α S(k, n k). x (ω(x)) (e α(1),..., e α(k) ), Convention To avoid unneccessary parenthesis, it is common to write ω x = ω(x) Alt k (R n ) and for x Ω and v 1,..., v k R n. ω x (v 1,..., v k ) = (ω(x)) (v 1,..., v k ) Definition Let U R n be an open set. A differential k-form is a C -smooth function U Alt k (R n ). We denote by Ω k (U) the vector space of all differential k-forms U Alt k (R n ). Remark We also call elements of Ω k (U) differential forms, k- forms, or just forms, for short. Example (1) Let U R n be an open set. Then x ε 1 ε n is a differential form Ω k (U). We call this usually a volume form and denote it by vol U. (2) Let U = R n \ {0}. Then the map ρ: U Alt n 1 (U), ( ) x (ρ x )(v 1,..., v n 1 ) = ε 1 ε n x, v 1,..., v n 1 is an (n 1)-form in Ω n 1 (U) (Exercise). The exterior product Alt (R n ) extends to differential forms as follows. Definition Let U R n be an open set. Let ω Ω k (U) and τ Ω l (U). The map ω τ : U Alt k+l (R n ) defined by (2.0.1) (ω τ) x = ω x τ x for x Ω is the exterior product ω τ Ω k+l (U) of ω and τ. Abstractly, we have have obtained a bilinear operator : Ω k (U) Ω l (U) Ω k+l (U). 25

27 2.1 Exterior derivative Let U be an open set in R n and f : U R a smooth function. Definition The differential df of f is the 1-form df : U Alt 1 (R n ) defined by f(x + tv) f(x) (df) x (v) = lim. t 0 t Remark The differential df of f is nothing but the standard linear map given by the directional derivatives. By the multivariable calculus, df(v) = v, f, where f : U R n is the gradient of f f = f x 1 (x). f x n (x) Example Let x = (x 1,..., x n ): R n R n be the indentity map with coordinate functions x i : R n R (i.e. x i (v 1,..., v n ) = v i ). Then dx i = ε i,. where ε i is the element of the (standard) dual basis.(exercise.) Corollary Let U R n be an open set and ω Ω k (U). Then ω = ω σ dx σ(1) dx σ(k), σ S(k,n k) where ω σ is the function ω σ (x) = ω x (e σ(1),..., e σ(k) ). Proof. Exercise Exterior derivitive of a k-form Observation Let U be an open set and ω Ω k (U). Let v = (v 1,..., v k ) (R n ) k and consider the function ω v : U R defined by ω v (x) = ω x (v 1,..., v k ) = ω σ (x)ε σ(1) ε σ(k) (v 1,..., v k ). Then, for w R n, σ S(k,n k) (dω v ω v (x + tw) ω v (x) ) x (w) = lim t 0 t 1 = lim (ω σ (x + tw) ω σ (x))ε σ (v 1,..., v k ) t 0 t = σ σ (dω σ ) x (w)ε σ (v 1,..., v k ) 26

28 Remark (Alternative approach). Since Alt k (V ) is a vector space, we may also consider ω : U Alt k (U) as a vector valued function (or a map!) and define the differential (Dω) x at x U as a linear map R n Alt k (R n ) by formula 1 (Dω) x (w) = lim t 0 t (ω x+tw ω x ). Note that (Dω) x (w) is an alternating k-linear map and 1 ((Dω) x (w)) (v 1,..., v k ) = lim t 0 t (ω x+tw ω x ) (v 1,..., v k ) 1 = lim t 0 t (ω x+tw(v 1,..., v k ) ω x (v 1,..., v k )) for v 1,..., v k R n. Thus, for v = (v 1,..., v k ) (R n ) k and w R n, ((Dω) x (w)) (v 1,..., v k ) = (dω v ) x (w). Convention Given a k-form ω Ω k (U). In what follows we use the notation ω x (v 1,..., v i,..., v k ) = ω x (v 1,..., v i 1, v i+1,..., v k ) to indicate that we have removed the ith entry. Observation We make now the final observation before the definition of the exterior product. Let ω = fdx i1 dx ik Ω k (U). Then, for v 1,..., v k+1 R n, (2.1.1) df dx i1 dx ik (v 1,..., v k+1 ) = sign(σ)df(v σ(1) )dx i1 dx ik (v σ(2),..., v σ(k+1) ) σ S(1,k) k+1 = ( 1) i 1 df(v i )dx i1 dx ik (v 1,..., v i,..., v k+1 ) i=1 Definition Let ω Ω k (U). The exterior derivative dω Ω k+1 (U) of ω is the (k + 1)-form (dω) x (v 1,..., v k+1 ) = σ S(k,n k) i=1 k+1 ( 1) i 1 (dω σ ) x (v i )ε σ (v 1,..., v i,..., v k ). Remark (1) By (2.1.1), we have that dω = dω σ dx σ(1) dx σ(k). σ S(k,n k) 27

29 (2) Clearly for ω, τ Ω k (U) and a R. d(ω + aτ) = dω + adτ (3) Since dx i1 dx ik has constant coefficients, we have for every i 1,..., i k {1,..., n}. d (dx i1 dx ik ) = 0 The two most important properties of the exterior product are the Leibniz rule and the fact that the composition of exterior derivatives is zero. We begin with the latter. Lemma Let ω Ω k (U). Then d 2 ω = d(dω) = 0. Proof. Let f C (U) and dx I = dx i1 dx ik, where I = (i 1,..., i k ). Then ( n ) d 2 f n n ( 2 ) f (fdx I ) = d dx i dx I = dx j dx i dx I x i x j x i i=1 j=1 i=1 k 2 f = (dx j dx i ) dx I x j,i=1 j x i = ( 2 ) f 2 f (dx j dx i ) dx I = 0. x j<i j x i x i x j The claim now follows by linearity. The Leibniz rule for the exterior product has the following form. Lemma Let ω Ω k (U) and τ Ω l (U). Then d(ω τ) = dω τ + ( 1) k ω dτ. Proof. It suffices to consider cases ω = fdx I and τ = gdx J, where dx I = dx i1 dx ik and dx J = dx j1 dx jl for I = (i 1,..., i k ) and J = (j 1,..., j l ). Since d (ω τ) = d ((fg)dx I dx J ) = d(fg) dx I dx J = (gdf + fdg) dx I dx J = (df dx I ) gdx J + fdg dx I dx J = dω τ + ( 1) k fdx I dg dx J = dω τ + ( 1) k ω dτ 28

30 We record as an observation that the exterior product for functions, Leibniz rule and the composition property uniquely determine the exterior product. Corollary Suppose that, for every k 0, ˆd k : Ω k (U) Ω k+1 (U) is a linear operator satisfying (1) ˆd 0 f = df for every f Ω 0 (U), (2) ˆd k+1 ˆd k = 0, (3) ˆd k+l (ω τ) = d k ω τ + ( 1) k ω ˆd l τ for ω Ω k (U) and τ Ω l (U). Then ˆd k = d for every k 0. Proof. See [7, Theorem 3.7]. 2.2 Pull-back of forms We begin with an observation, which we record as a lemma. Lemma Let f : U U be a C -smooth map. Then f : Ω k (U ) Ω k (U) defined by formula (2.2.1) (f ω) x (v 1,..., v k ) = ω f(x) ((Df)v 1,..., (Df)v k ) is a well-defined linear operator. Remark Note that (2.2.1) is equivalent to for every x U. (f ω) x = ((Df) x ) ω f(x) Definition Let f : U U be a C -smooth map. The mapping f : Ω k (U ) Ω k (U) is the pull-back (of differential forms) defined by f. Having Lemma at our disposal, we immediately obtain the fact that pull-back and the wedge product commute. Lemma Let U R m and U R n be open sets, and let f : U U be a C -smooth map. Then, for ω Ω k (U ) and τ Ω l (U ), we have f (ω τ) = (f ω) (f τ). In particular, for u Ω 0 (U) = C (U), f (u) = u f We also have the following observation. 29

31 Lemma Let U R n and U R m be open sets, and let f = (f 1,..., f n ): U U be a C -smooth map. Then for every i = 1,..., n. Proof. Exercise. f (dx i ) = df i The exterior derivative and the pull-back commute. Lemma Let U R m and U R n be open sets, and let f : U U be a C -smooth map. Then for every ω Ω k (U ). df ω = f dω Proof. By linearity, it suffices to consider ω = udx i1 dx ik. By the chain rule, ( m ) f (du) = f u m ( ) u dx i = f f (dx i ) x i=1 i x i=1 i m ( ) u n = f f i n m ( ) dx j u fi = f dx j x i x j x i x j = i=1 n j=1 j=1 (u f) dx j = d(u f). x j The second observation is that d (df i1 df ik ) = 0 j=1 i=1 for all I = (i 1,..., i k ). Indeed, this follows from the Leibniz rule by indeuction in k as follows: d (df i1 df ik ) = d(df i 1 ) df i2 df ik + ( 1)df i1 d (df i2 df ik ) = 0, where we used the induction assumption on df i2 df ik and the fact that d 2 = 0. Having both of these observation at our disposal, we get df ω = d ((u f)df i1 df ik ) = d(u f) (df i1 df ik ) + (u f) d (df i1 df ik ) = f du f dx i1 f dx ik = f (du dx i1 dx ik ) = f (dω). 30

32 Chapter 3 De Rham cohomology Let U R n be an open set. Since d 2 = d d: Ω k 1 (U) Ω k+1 (U) is zero opeator for every k 1, we have ( ) ( ) (3.0.1) im d: Ω k 1 (U) Ω k (U) ker d: Ω k (U) Ω k+1 (U). Thus Imd is a subspace of ker d for all k 1. For convenience, we set Ω k (U) = {0} for all k < 0 and set d = 0: Ω k (U) Ω k+1 (U) for all k < 0. Then (3.0.1) holds for all k Z. Definition Let U R n be an open set. The quotient vector space H k (U) = ker(d: Ωk (U) Ω k+1 (U)) im(d: Ω k 1 (U) Ω k (U)) = {ω Ωk (U): dω = 0} {dτ : τ Ω k 1 (U)} is the kth de Rham cohomology (group) of U. Recall that elemtents of the quotient space H k (U) are equivalence classes of k-forms. Given ω ker(d: Ω k (U) Ω k+1 (U)), we denote the equivalence class by [ω] = {ω + dτ Ω k (U): τ Ω k 1 (U)}. Definition Let U R n be an open set. A form ω Ω k (U) is closed if dω = 0 and exact if there exists a (k 1)-form τ Ω k 1 (U) for which dτ = ω. Thus H k (U) = {closed k forms in U} {exact k forms in U} and de Rham cohomology H k (U) is a vector space which classifies the closed k-forms in U upto exact forms. The 0th cohomology H 0 (U) counts the number of components of the set U. This is typically formalized as follows. 31

33 Lemma Let U be an open set. Then H 0 (U). is the vector space of maps U R which are locally constant. Proof. By definition H 0 (U) = ker(d: Ω0 (U) Ω 1 (U)) Im(d: Ω 1 (U) Ω 0 (U)). Since d: Ω 1 (U) Ω 0 (U) is the zero map, we have H 0 (U) = ker(d: Ω 0 (U) Ω 1 (U)) On the other hand, given f C (U), df = 0 if and only if f is locally constant. The claim follows. Again there is a natural pull-back. Lemma Let U R n and U R m be open sets, and let f : U U be a smooth mapping. Then the mapping H k (f): H k (U ) H k (U) defined by the formula [ω] [f ω] is well-defined and linear. Proof. To show that the formula is well-defined, we have to show that it is independent on the representative. Let ω, ω Ω k (U ) be closed forms so that [ω] = [ω ]. Then, by definition of the quotient, ω ω = dτ where τ Ω k 1 (U ). Since f ω = f (ω + dτ) = f ω + df τ, we have f ω f ω = df τ. Thus [f ω] = [f ω ] and H k (f) is well-defined. To show the linearity, let again ω, ω Ω k (U ) and a R. Then f (ω + aω ) = f ω + af ω. Since [f ω + af ω ] = [f ω] + a[f ω ] by the definition of operations in the quotient space, linearity of H k (f) follows. Remark It is typical to denote the mapping H k (f) by f. Thus, on the cohomological level, the pull-back is defined by f [ω] = [f ω]. Lemma Let U, V, W be open sets in R n, R m, and R l, respectively, and let f : U V and g : V W be C -smooth maps. Then and f g = (g f) : H k (W ) H k (U) id = id: H k (U) H k (U) for each k. In paricular, f : H k (V ) H k (U) if f is a diffeomorphism (i.e. f is a homeomorphism so that f and f 1 are C -smooth). 32

34 Proof. Given ω Ω k (W ) and x U, we have by the chain rule (f g ) x ω = (f ) x (g ω) = (Df x ) (g ω) f(x) = (Df) x (Dg) f(x) ω g(f(x)) = ((Dg) f(x) (Df) x ) ω (g f)(x) = D(g f) x ω (g f)(x) = (g f) xω. Thus (f g )[ω] = [(f g )ω] = [(g f) (ω)] = (g f) [ω]. Since id ω = ω, the second claim follows immediately. If f is a diffeomorphism, we observe that Thus f is an isomorphism. f (f 1 ) = id = id and (f 1 ) f = id. The exterior product is naturally defined on the cohomological level. Lemma Let U R n be an open set. Then the mapping H k (U) H l (U) H k+l (U) defined by is well-defined and bilinear. [ξ] [ζ] = [ξ ζ] Proof. Let ξ, ξ Ω k (U) and ζ, ζ Ω k (U) be closed forms for which ξ ξ = dα and ζ ζ = dβ for some α Ω k 1 (U) and β Ω k 1 (U). Since ζ is closed, d(α ζ) = dα ζ + ( 1) l 1 α dζ = dα ζ. Similarly, Thus Thus d(ξ β) = dξ β + ( 1) k ξ dβ = ( 1) k ξ dβ. ξ ζ = (ξ + dα) (ζ + dβ) = ξ ζ + ξ dβ + dα ζ + dα dβ = ξ ζ + ( 1) k d(ξ β) + d(α ζ) + d(α dβ) ( ) = ξ ζ + d ( 1) k ξ β + α ζ + α β. [ξ ζ ] = [ξ ζ ] and the mapping is well-defined. Cheking the bilinearity is left to the interested reader. 33

35 3.1 Poincaré lemma A fundamental fact in de Rham theory is that { H k (B n ) R, k = 0 = 0, k > 0. We obtain this fact from slightly more general result. Recall that a set U R n is star-like if there exists x 0 U so that, {(1 t)x 0 + tx R n : 0 t 1} U for every x U. The point x 0 is a center of U. Theorem (Poincaré lemma). Let U R n be an open star-like set. Then { dim H k 1, k = 0 (U) = 0, k > 0. Proof. Every star-like set is connected. Thus every locally constant function on U is constant. Hence H 0 (U) = R by Lemma Let k > 0. We need to show that ker(d: Ω k (U) Ω k+1 (U)) = Im(d: Ω k 1 (U) Ω k (U)). Idea: Suppose we find, for every k > 0, a linear map S k : Ω k (U) Ω k 1 (U) satisfying ω = ds k ω + S k+1 dω for every ω Ω k (U). Then every closed k-form is exact. Indeed, suppose ω is a closed k-form. Then ω = ds k ω + S k+1 dω = ds k ω. (This operator S k is a chain homotopy operator.) Execution of the idea. We abuse the notation and denote by t: U R R the projection (x, s) s. We also denote by x k : U R R the projection x k (y 1,..., y n, s) = y k (as usual). Given ω Ω k (U R), we have (3.1.1) ω = I=(i 1,...,i k ) 1 i 1 < <i k n = I ω I dx I + J ω I dx i1 d ik + ω J dt dx J, J=(j 1,...,j k 1 ) 1 j 1 < <j k 1 n ω J dt dx j1 d jk 1 where functions ω I C (U) and ω J C (U) are uniquely determined. Thus the linear map Ŝk : Ω k (U R) Ω k 1 (U), defined by formula ( 1 ) (Ŝkω) y = ω J (y, s) ds dx J J=(j 1,...,j k 1 ) 1 j 1 < <j k 1 n 34 0

36 for y U, is well-defined; here we use the notation in (3.1.1). Let ω as in (3.1.1). Then ( Ŝ k+1 dω = Ŝk+1 dω I dx I + ) dω J dt dx J I J ( ω I = Ŝk+1 t dt dx I + n ω I dx l dx I + x l I I l=1 J = Ŝk+1 ω I t dt dx I ω J dt dx l dx J x l I J,l n l=1 ω J x l dx l dt dx J ) Thus ( 1 (dŝk + Ŝk+1d)ω = d J 0 = ( 1 J,l 0 + ( 1 I 0 ) ( ω J (, s) ds dx J + Ŝk+1 ω J x l (, s) ds ω I (, s) ds t ) dx l dx J ) dx I ( 1 J,l 0 I dω I dx I + J ) ω J (, s) ds dx l dx J x l dω J dt dx J ) = I (ω I (, 1) ω I (, 0)) dx I Use of star-likeness. Since U is star-like, we may fix a center x 0 U of U. Define F : U R U by (x, t) x 0 + λ(t)(x x 0 ), where λ C (R) is a function so that λ(t) = 0 for t 0, 0 λ(t) 1 for 0 t 1, and λ(t) = 1 for t 1. (Existence: exercise.) Then F is a smooth map satisfying F (x, 0) = x, and F (x, 1) = x 0 for every x U. Note that F : Ω k (U) Ω k (U R). For every ω Ω k (U), we have (Exercise!) (F ω) (,1) = ω and (F ω) (,0) = 0. Let S k = Ŝk F : Ω k (U) Ω k 1 (U). Then d S k + S k+1 d = d Ŝk F + Ŝk+1 F d = d Ŝk F + Ŝk+1 d F = Thus ( (Ŝk+1d + dŝk) F ) ω = (F ω) (,1) (F ω) (,0) = ω. The proof is complete. ( ) d Ŝk + Ŝk+1 d F. 35

37 3.2 Chain complexes Let U R n open. Then ( Ω k (U) ) is a sequence of vector spaces. Exterior k Z derivatives (d: Ω k (U) Ω k+1 (U) give a sequence of linear maps with the property that the composition Ω k (U) d Ω k+1 (U) d Ω k+2 (U) is always a zero map. Thus the sequence of pairs ( (Ω k (U), d) ) is a chain complex. In this section we consider abstract chain complexes and then apply the algebraic observations to de Rham cohomology. Definition (Chain complex). The sequence A = (A k, d k ) k Z vector spaces and linear maps d k : A k A k+1 is a chain complex if d k+1 d k = 0. Remark Note that we have chosen here so-called +1-grading (i.e. d k increases the index by 1). It would be also possible to choose 1-grading, which is used e.g. in singular homology (or in homological algebra in general). Both gradings lead to the same theory. Definition The kth homology the chain complex A = (A k, d k ) is H k (A ) = ker d k Imd k 1. The elements of ker d k are called k-cycles and the elements of Imd k 1 k-boundaries. The elements of H k (A ) are homology classes. Example Let U R n open. Denote by Ω k c (U) the compactly supported k-forms in R n, that is, forms ω Ω k (U) for which the closure of {x U : ω x 0} is compact. Since dω Ω k+1 c (U) for every ω Ω k c (U), we obtain a chain complex Ω c(u) = (Ω k c (U), d) k Z. Its homology H k (Ω c(u)) = ker(d: Ωk c (U) Ω k+1 c (U)) Im(d: Ω k 1 (U) Ω k c (U)) is called the compactly supported cohomology H k c (U) of U Exact sequences of vector spaces Definition Let A, B, C be vector spaces and f : A B and g : B C linear maps. The sequence c is exact if ker g = Imf. A f B g C 36

38 Similarly, a sequence f k 2 A k 1 f k 1 A k f k A k+1 f k+1 of vector spaces and linear maps is exact if A k 1 f k 1 A k f k A k+1 is exact whenever defined. Exactness of a sequence encodes familiar properties of linear maps. Lemma (1) If the sequence B g C 0 is exact, then g is surjective. (2) If the sequence 0 A f B is exact, then f is injective. Proof. Exercise. Definition An exact sequence is called a short exact sequence. 0 A f B g C 0 Example Let f : A B be an injective linear map. Then 0 A f B π B/ ker f 0 is an exact sequence; here π is the (canonical) linear map v v + ker f. A fundamental observation on short exact sequences of vector spaces is the following lemma on splitting. Lemma Let 0 A f B g C 0 be a short exact sequence. Then B = A C. In particularly, if A and C are finite dimensional then so is B. 37

39 Proof. (We give a (slightly) abstract proof which does not refer to a basis. See [7, Lemma 4.1] for another proof.) Since g is surjective, we have the diagram B g C π B/ ker g ĝ where π is the (canonical) quotient map and ĝ a linear isomorphism. Let V B be a subspace so that V ker g = B (i.e V + ker g = B and V ker g = {0}). Since Im(π V ) = B/ ker g and ker(π V ) = {0}, we have that π V : V B/ ker g is an isomorphism. Since f is injective, we have that f : A Imf is an isomorphism. Since Imf = ker g, we conclude that B = ker g V = Imf (B/ ker g) = A C. (Note that first is understood in the sense of subspaces and the latter abstractly.) Exact sequences of chain complexes Definition Let A = (A k, d A k ) and B = (B k, d B k ) be chain complexes. A chain map f : A B is a sequence (f k : A k B k ) of linear maps satisfying for each k. A k d A k A k+1 f k f k+1 d B k B k B k+1 Lemma Let f : A B be a chain map. Then f = H k (f): H k (A ) H k (B ), [c] [f(c)], is well-defined and linear. Proof. To show that f is well-defined, let c and c be k-cycles so that c c = dc for c A k 1, i.e. [c] = [c ]. Then f(c) f(c ) = f(dc ) = d f(c ). Thus [f(c)] = [f(c )] and f is well-defined. Linearity is left to the interested reader. Definition Let A = (A k, d A k ) and B = (B k, d B k ) are chain complexes. Chain maps f : A B and g : A B are chain homotopic if there exists a linear maps s k : A k B k 1 for which f g = d B k 1 s k s k+1 d A k. 38

40 Lemma For chain homotopic maps f, g : A B, f = g : H k (A ) H k (B ). Proof. Exercise. (Compare to the operator S k in the proof of Poincaré lemma.) Exercise Let A = (A k, d A k ) and B = (B k, d B k ) be chain complexes. Define A B = (A k B k, d A k db k ); here da k db k : A k B k A k+1 B k+1 is the map (c, c ) (d A k c, db k c ). Show that H k (A B ) = H k (A ) H k (B ). Terminology introduced for vector spaces can easily be extended to chain complexes. A sequence A f B g C of chain complexes and chain maps is exact if A k f k B k g k C k is exact for each k. Similarly, an exact f g sequence 0 A B C 0 (of chain complexes) is called a short exact sequence (of chain complexes). A non-trivial example Let U 1 and U 2 be open sets in R n. We have four inclusions: U 1 U 2 U 1 j 1 j 2 U 2 i 1 U 1 U 2 i 2 It is clear that I k : Ω k (U 1 U 2 ) Ω k (U 1 ) Ω k (U 2 ), ω (i 1ω, i 2ω), and J k : Ω k (U 1 ) Ω k (U 2 ) Ω k (U 1 U 2 ), (ω 1, ω 2 ) j 1ω 1 j 2ω 2, are chain maps. Theorem The sequence 0 Ω k (U 1 U 2 ) I k Ω k (U 1 ) Ω k (U 2 ) J k Ω k (U 1 U 2 ) 0 is a short exact sequence of chain complexes. 39

41 We use the following version on the partition of unity in the proof. Lemma Let U and V be open sets in R n. Then there exist C - smooth functions λ: U V : [0, 1] and µ: U V [0, 1] for which spt λ U, spt µ V, and λ + µ = 1; here spt f = cl U V {x U V : f(x) 0}. Proof. Exercise. Proof of Theorem We begin with a general remark. Let V W R n be open sets and let ι: V W be the inclusion. Then, for all ω = I ω Idx I Ω k (W ), ι (ω) = I (ω I ι)ι (dx I ) = I (ω I V )dx I. We begin now the actual proof. Let ι: U 1 U 2 U 1 U 2 be the inclusion. Then ι = i 1 j 1 = i 2 j 2. In particular, j 1 i 1 = (i 1 j 1 ) = (i 2 j 2 ) = j 2 i 2. We have to show the exactness at three places. Case I: To show that I k is injective, suppose ω = I ω Idx I Ω k (U 1 U 2 ) is in the kernel of I k. Then i 1 ω = 0 and i 2 ω = 0. Thus ω I U 1 = 0 and ω I U 2 = 0 for each I. Hence ω I = 0 for every I. Hence ω = 0 and I k is injective. Case II: Let ω = I ω Idx I Ω k (U 1 U 2 ). Then J k I k (ω) = J k (i 1ω, i 2ω) = j 1i 1ω j 2i 2ω = 0. Thus ImI k ker J k. To show the converse, let (ω 1, ω 2 ) ker J k, where ω 1 = I ω 1,Idx I and ω 2 = I ω 2,Idx I. Then 0 = j 1ω 1 j 2ω 2 = I (ω 1,I U 1 U 2 ω 2,I U 1 U 2 ) dx I and, in particular, ω 1,I U 1 U 2 = ω 2,I U 1 U 2. We extend ω 1,I and ω 2,I by zero to functions of U 1 U 2. Let (λ 1, λ 2 ) be a smooth partition of unity for (U 1, U 2 ) so that λ 1 U 1 \ U 2 = 1. Then ω 1,I (x), x U 1 \ U 2 (3.2.1) λ 2 (x)ω 1,I (x) + λ 1 (x)ω 2,I (x) = ω 1,I (x) = ω 2,I (x), x U 1 U 2 ω 2,I (x), x U 2 \ U 1 Let ω = I (λ 2 ω 1,I + λ 1 ω 2,I ) dx I Ω k (U 1 U 2 ). 40

NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS

NOTES 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 information

Let V, W be two finite-dimensional vector spaces over R. We are going to define a new vector space V W with two properties:

Let 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 information

Math 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim

Math 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 information

Hungry, Hungry Homology

Hungry, Hungry Homology September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of

More information

Math 530 Lecture Notes. Xi Chen

Math 530 Lecture Notes. Xi Chen Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary

More information

is the desired collar neighbourhood. Corollary Suppose M1 n, M 2 and f : N1 n 1 N2 n 1 is a diffeomorphism between some connected components

is the desired collar neighbourhood. Corollary Suppose M1 n, M 2 and f : N1 n 1 N2 n 1 is a diffeomorphism between some connected components 1. Collar neighbourhood theorem Definition 1.0.1. Let M n be a manifold with boundary. Let p M. A vector v T p M is called inward if for some local chart x: U V where U subsetm is open, V H n is open and

More information

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let

More information

Notes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California

Notes 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 information

Survey on exterior algebra and differential forms

Survey 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 information

Math 225B: Differential Geometry, Final

Math 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 information

CS 468 (Spring 2013) Discrete Differential Geometry

CS 468 (Spring 2013) Discrete Differential Geometry CS 468 (Spring 2013) Discrete Differential Geometry Lecture 13 13 May 2013 Tensors and Exterior Calculus Lecturer: Adrian Butscher Scribe: Cassidy Saenz 1 Vectors, Dual Vectors and Tensors 1.1 Inner Product

More information

Lie algebra cohomology

Lie 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 information

fy (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))

fy (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 information

M4P52 Manifolds, 2016 Problem Sheet 1

M4P52 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 information

W if p = 0; ; W ) if p 1. p times

W if p = 0; ; W ) if p 1. p times Alternating and symmetric multilinear functions. Suppose and W are normed vector spaces. For each integer p we set {0} if p < 0; W if p = 0; ( ; W = L( }... {{... } ; W if p 1. p times We say µ p ( ; W

More information

MULTILINEAR ALGEBRA MCKENZIE LAMB

MULTILINEAR ALGEBRA MCKENZIE LAMB MULTILINEAR ALGEBRA MCKENZIE LAMB 1. Introduction This project consists of a rambling introduction to some basic notions in multilinear algebra. The central purpose will be to show that the div, grad,

More information

Chapter 2 Differential Forms

Chapter 2 Differential Forms Chapter 2 Differential Forms This chapter discusses integration on differentiable manifolds. Because there is no canonical choice of local coordinates, there is no natural notion of volume, and so only

More information

1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces.

1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces. 1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces. The set of n-tuples of real numbers is denoted by R n. Suppose that a is a real number

More information

NOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY

NOTES 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 information

INTRODUCTION TO ALGEBRAIC GEOMETRY

INTRODUCTION TO ALGEBRAIC GEOMETRY INTRODUCTION TO ALGEBRAIC GEOMETRY WEI-PING LI 1 Preliminary of Calculus on Manifolds 11 Tangent Vectors What are tangent vectors we encounter in Calculus? (1) Given a parametrised curve α(t) = ( x(t),

More information

CHAPTER The zero vector. This vector has the property that for every vector, v, v + 0 = 0+v = v and λv = 0 if λ is the real number, zero.

CHAPTER The zero vector. This vector has the property that for every vector, v, v + 0 = 0+v = v and λv = 0 if λ is the real number, zero. This is page 1 Printer: Opaque this CHAPTER 1 MULTILINEAR ALGEBRA 1.1 Background We will list below some definitions and theorems that are part of the curriculum of a standard theory-based sophomore level

More information

STUDENT ARTICLE 2 The Poincaré Lemma and de Rham Cohomology

STUDENT ARTICLE 2 The Poincaré Lemma and de Rham Cohomology STUDENT ARTICLE 2 The Poincaré Lemma and de Rham Cohomology Abstract Daniel Litt Harvard University 10 Cambridge, MA 02138 dalitt@fasharvardedu The Poincaré Lemma is a staple of rigorous multivariate calculus

More information

Derivations and differentials

Derivations and differentials Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,

More information

Math 52H: Multilinear algebra, differential forms and Stokes theorem. Yakov Eliashberg

Math 52H: Multilinear algebra, differential forms and Stokes theorem. Yakov Eliashberg Math 52H: Multilinear algebra, differential forms and Stokes theorem Yakov Eliashberg March 202 2 Contents I Multilinear Algebra 7 Linear and multilinear functions 9. Dual space.........................................

More information

STOKES THEOREM ON MANIFOLDS

STOKES THEOREM ON MANIFOLDS STOKES THEOREM ON MANIFOLDS GIDEON DRESDNER Abstract. The generalization of the Fundamental Theorem of Calculus to higher dimensions requires fairly sophisticated geometric and algebraic machinery. In

More information

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )

Eilenberg-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 information

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define

More information

DIFFERENTIAL FORMS AND COHOMOLOGY

DIFFERENTIAL FORMS AND COHOMOLOGY DIFFERENIAL FORMS AND COHOMOLOGY ONY PERKINS Goals 1. Differential forms We want to be able to integrate (holomorphic functions) on manifolds. Obtain a version of Stokes heorem - a generalization of the

More information

1.4 The Jacobian of a map

1.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 information

CS 468. Differential Geometry for Computer Science. Lecture 13 Tensors and Exterior Calculus

CS 468. Differential Geometry for Computer Science. Lecture 13 Tensors and Exterior Calculus CS 468 Differential Geometry for Computer Science Lecture 13 Tensors and Exterior Calculus Outline Linear and multilinear algebra with an inner product Tensor bundles over a surface Symmetric and alternating

More information

k times l times n times

k times l times n times 1. Tensors on vector spaces Let V be a finite dimensional vector space over R. Definition 1.1. A tensor of type (k, l) on V is a map T : V V R k times l times which is linear in every variable. Example

More information

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS Contents 1. Almost complex manifolds 1. Complex manifolds 5 3. Kähler manifolds 9 4. Dolbeault cohomology 11 1. Almost complex manifolds Almost complex structures.

More information

Affine Connections: Part 2

Affine Connections: Part 2 Affine Connections: Part 2 Manuscript for Machine Learning Reading Group Talk R. Simon Fong Abstract Note for online manuscript: This is the manuscript of a one hour introductory talk on (affine) connections.

More information

Equivalence Relations

Equivalence Relations Equivalence Relations Definition 1. Let X be a non-empty set. A subset E X X is called an equivalence relation on X if it satisfies the following three properties: 1. Reflexive: For all x X, (x, x) E.

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

Geometry Qualifying Exam Notes

Geometry 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 information

DE RHAM COHOMOLOGY, CONNECTIONS, AND CHARACTERISTIC CLASSES

DE 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 information

Math 535a Homework 5

Math 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 information

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

MILNOR 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 information

Tree-adjoined spaces and the Hawaiian earring

Tree-adjoined spaces and the Hawaiian earring Tree-adjoined spaces and the Hawaiian earring W. Hojka (TU Wien) Workshop on Fractals and Tilings 2009 July 6-10, 2009, Strobl (Austria) W. Hojka (TU Wien) () Tree-adjoined spaces and the Hawaiian earring

More information

Reminder on basic differential geometry

Reminder on basic differential geometry Reminder on basic differential geometry for the mastermath course of 2013 Charts Manifolds will be denoted by M, N etc. One should think of a manifold as made out of points (while the elements of a vector

More information

LECTURE 26: THE CHERN-WEIL THEORY

LECTURE 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 information

Patrick Iglesias-Zemmour

Patrick Iglesias-Zemmour Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries

More information

Exterior Algebra Differential Forms

Exterior Algebra Differential Forms Exterior Algebra Differential Forms Faraad M Armwood North Dakota State September 4, 2016 Faraad M Armwood (North Dakota State) Exterior Algebra Differential Forms September 4, 2016 1 / 17 Dual Space Let

More information

3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that

3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at

More information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1) II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the

More information

Homework set 4 - Solutions

Homework set 4 - Solutions Homework set 4 - Solutions Math 407 Renato Feres 1. Exercise 4.1, page 49 of notes. Let W := T0 m V and denote by GLW the general linear group of W, defined as the group of all linear isomorphisms of W

More information

A f = A f (x)dx, 55 M F ds = M F,T ds, 204 M F N dv n 1, 199 !, 197. M M F,N ds = M F ds, 199 (Δ,')! = '(Δ)!, 187

A f = A f (x)dx, 55 M F ds = M F,T ds, 204 M F N dv n 1, 199 !, 197. M M F,N ds = M F ds, 199 (Δ,')! = '(Δ)!, 187 References 1. T.M. Apostol; Mathematical Analysis, 2nd edition, Addison-Wesley Publishing Co., Reading, Mass. London Don Mills, Ont., 1974. 2. T.M. Apostol; Calculus Vol. 2: Multi-variable Calculus and

More information

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)

i = 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 information

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 3: RELATIVE SINGULAR HOMOLOGY LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following

More information

SYMPLECTIC GEOMETRY: LECTURE 1

SYMPLECTIC GEOMETRY: LECTURE 1 SYMPLECTIC GEOMETRY: LECTURE 1 LIAT KESSLER 1. Symplectic Linear Algebra Symplectic vector spaces. Let V be a finite dimensional real vector space and ω 2 V, i.e., ω is a bilinear antisymmetric 2-form:

More information

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical

More information

Direct Limits. Mathematics 683, Fall 2013

Direct Limits. Mathematics 683, Fall 2013 Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry

More information

Math 550 / David Dumas / Fall Problems

Math 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 information

Math 114: Course Summary

Math 114: Course Summary Math 114: Course Summary Rich Schwartz September 25, 2009 General Information: Math 114 is a course in real analysis. It is the second half of the undergraduate series in real analysis, M113-4. In M113,

More information

Chern forms and the Fredholm determinant

Chern forms and the Fredholm determinant CHAPTER 10 Chern forms and the Fredholm determinant Lecture 10: 20 October, 2005 I showed in the lecture before last that the topological group G = G (Y ;E) for any compact manifold of positive dimension,

More information

x i x j x l ωk x j dx i dx j,

x i x j x l ωk x j dx i dx j, Exterior Derivatives In this section we define a natural differential operator on smooth forms, called the exterior derivative. It is a generalization of the diffeential of a function. Motivations: Recall

More information

A REMARK ON DISTRIBUTIONS AND THE DE RHAM THEOREM

A REMARK ON DISTRIBUTIONS AND THE DE RHAM THEOREM A REMARK ON DISTRIBUTIONS AND THE DE RHAM THEOREM RICHARD MELROSE May 11, 2011 Abstract. We show that the de Rham theorem, interpreted as the isomorphism between distributional de Rham cohomology and simplicial

More information

Lecture 13. Differential forms

Lecture 13. Differential forms Lecture 13. Differential forms In the last few lectures we have seen how a connection can be used to differentiate tensors, and how the introduction of a Riemannian metric gives a canonical choice of connection.

More information

Cohomology and Vector Bundles

Cohomology 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 information

1 Categorical Background

1 Categorical Background 1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,

More information

DIFFERENTIAL GEOMETRY. LECTURES 9-10,

DIFFERENTIAL GEOMETRY. LECTURES 9-10, DIFFERENTIAL GEOMETRY. LECTURES 9-10, 23-26.06.08 Let us rovide some more details to the definintion of the de Rham differential. Let V, W be two vector bundles and assume we want to define an oerator

More information

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,

More information

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES

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 information

Fibre Bundles and Chern-Weil Theory. Johan Dupont

Fibre Bundles and Chern-Weil Theory. Johan Dupont Fibre Bundles and Chern-Weil Theory Johan Dupont Aarhus Universitet August 2003 Contents 1 Introduction 3 2 Vector Bundles and Frame Bundles 8 3 Principal G-bundles 18 4 Extension and reduction of principal

More information

THE HODGE DECOMPOSITION

THE HODGE DECOMPOSITION THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional

More information

Topological K-theory

Topological K-theory Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions

More information

Math Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:

Math 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 information

Groups of Prime Power Order with Derived Subgroup of Prime Order

Groups of Prime Power Order with Derived Subgroup of Prime Order Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*

More information

Lecture on Equivariant Cohomology

Lecture on Equivariant Cohomology Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove

More information

(1) Let π Ui : U i R k U i be the natural projection. Then π π 1 (U i ) = π i τ i. In other words, we have the following commutative diagram: U i R k

(1) Let π Ui : U i R k U i be the natural projection. Then π π 1 (U i ) = π i τ i. In other words, we have the following commutative diagram: U i R k 1. Vector Bundles Convention: All manifolds here are Hausdorff and paracompact. To make our life easier, we will assume that all topological spaces are homeomorphic to CW complexes unless stated otherwise.

More information

CHARACTERISTIC CLASSES

CHARACTERISTIC CLASSES 1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact

More information

LECTURE 3 Functional spaces on manifolds

LECTURE 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 information

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it

More information

Geometry 10: De Rham algebra

Geometry 10: De Rham algebra Geometry 10: De Rham algebra Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have

More information

AN INTRODUCTION TO DIFFERENTIAL FORMS, STOKES THEOREM AND GAUSS-BONNET THEOREM

AN INTRODUCTION TO DIFFERENTIAL FORMS, STOKES THEOREM AND GAUSS-BONNET THEOREM AN INTRODUCTION TO DIFFERENTIAL FORS, STOKES THEORE AND GAUSS-BONNET THEORE ANUBHAV NANAVATY Abstract. This paper serves as a brief introduction to differential geometry. It first discusses the language

More information

Math 121 Homework 4: Notes on Selected Problems

Math 121 Homework 4: Notes on Selected Problems Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W

More information

Cup product and intersection

Cup product and intersection Cup product and intersection Michael Hutchings March 28, 2005 Abstract This is a handout for my algebraic topology course. The goal is to explain a geometric interpretation of the cup product. Namely,

More information

Real representations

Real representations Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where

More information

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions

Lifting 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

Math 396. Linear algebra operations on vector bundles

Math 396. Linear algebra operations on vector bundles Math 396. Linear algebra operations on vector bundles 1. Motivation Let (X, O) be a C p premanifold with corners, 0 p. We have developed the notion of a C p vector bundle over X as a certain kind of C

More information

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

LECTURE: 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 information

A First Lecture on Sheaf Cohomology

A First Lecture on Sheaf Cohomology A First Lecture on Sheaf Cohomology Elizabeth Gasparim Departamento de Matemática, Universidade Federal de Pernambuco Cidade Universitária, Recife, PE, BRASIL, 50670-901 gasparim@dmat.ufpe.br I. THE DEFINITION

More information

Some notes on linear algebra

Some notes on linear algebra Some notes on linear algebra Throughout these notes, k denotes a field (often called the scalars in this context). Recall that this means that there are two binary operations on k, denoted + and, that

More information

The geometry of projective space

The geometry of projective space Chapter 1 The geometry of projective space 1.1 Projective spaces Definition. A vector subspace of a vector space V is a non-empty subset U V which is closed under addition and scalar multiplication. In

More information

Algebraic Topology exam

Algebraic Topology exam Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,

More information

EXT, TOR AND THE UCT

EXT, TOR AND THE UCT EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem

More information

Normed Vector Spaces and Double Duals

Normed Vector Spaces and Double Duals Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces

More information

THE JORDAN-BROUWER SEPARATION THEOREM

THE JORDAN-BROUWER SEPARATION THEOREM THE JORDAN-BROUWER SEPARATION THEOREM WOLFGANG SCHMALTZ Abstract. The Classical Jordan Curve Theorem says that every simple closed curve in R 2 divides the plane into two pieces, an inside and an outside

More information

INTRODUCTION TO DE RHAM COHOMOLOGY

INTRODUCTION TO DE RHAM COHOMOLOGY INTRODUTION TO DE RHAM OHOMOLOGY REDMOND MNAMARA Abstract. We briefly review differential forms on manifolds. We prove homotopy invariance of cohomology, the Poincaré lemma and exactness of the Mayer Vietoris

More information

RIEMANN SURFACES. ω = ( f i (γ(t))γ i (t))dt.

RIEMANN SURFACES. ω = ( f i (γ(t))γ i (t))dt. RIEMANN SURFACES 6. Week 7: Differential forms. De Rham complex 6.1. Introduction. The notion of differential form is important for us for various reasons. First of all, one can integrate a k-form along

More information

Remark Grassmann algebra Λ V is clearly supercommutative.

Remark Grassmann algebra Λ V is clearly supercommutative. Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have a perfect score, a student

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Matsumura: Commutative Algebra Part 2

Matsumura: Commutative Algebra Part 2 Matsumura: Commutative Algebra Part 2 Daniel Murfet October 5, 2006 This note closely follows Matsumura s book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more

More information

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Boolean Algebras, Boolean Rings and Stone s Representation Theorem Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to

More information

THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

More information

Lecture 4: Stabilization

Lecture 4: Stabilization Lecture 4: Stabilization There are many stabilization processes in topology, and often matters simplify in a stable limit. As a first example, consider the sequence of inclusions (4.1) S 0 S 1 S 2 S 3

More information

Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität

Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität 1 Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität Corrections for the first printing Page 7 +6: j is already assumed to be an inclusion. But the assertion

More information

Tangent bundles, vector fields

Tangent bundles, vector fields Location Department of Mathematical Sciences,, G5-109. Main Reference: [Lee]: J.M. Lee, Introduction to Smooth Manifolds, Graduate Texts in Mathematics 218, Springer-Verlag, 2002. Homepage for the book,

More information

Math 231b Lecture 16. G. Quick

Math 231b Lecture 16. G. Quick Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector

More information