Introduction to de Rham cohomology. Pekka Pankka
|
|
- Antony Taylor
- 5 years ago
- Views:
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 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 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 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 informationHungry, 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 informationMath 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 informationis 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 informationMATH 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 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 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 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 informationCS 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 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 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 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 informationW 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 informationMULTILINEAR 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 informationChapter 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 information1. 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 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 informationINTRODUCTION 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 informationCHAPTER 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 informationSTUDENT 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 informationDerivations 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 informationMath 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 informationSTOKES 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 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 informationEILENBERG-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 informationDIFFERENTIAL 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 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 informationCS 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 informationk 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 informationLECTURE 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 informationAffine 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 informationEquivalence 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 informationMath 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 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 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 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 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 informationTree-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 informationReminder 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 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 informationPatrick 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 informationExterior 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 information3.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 informationDe 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 informationHomework 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 informationA 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 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 informationLECTURE 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 informationSYMPLECTIC 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 informationON 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 informationDirect 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 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 informationMath 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 informationChern 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 informationx 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 informationA 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 informationLecture 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 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 information1 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 informationDIFFERENTIAL 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 informationVector 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 informationLECTURE 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 informationFibre 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 informationTHE 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 informationTopological 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 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 informationGroups 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 informationLecture 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. 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 informationCHARACTERISTIC 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 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 informationA 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 informationGeometry 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 informationAN 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 informationMath 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 informationCup 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 informationReal 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 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 informationMath 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 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 informationA 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 informationSome 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 informationThe 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 informationAlgebraic 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 informationEXT, 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 informationNormed 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 informationTHE 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 informationINTRODUCTION 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 informationRIEMANN 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 informationRemark 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 informationNOTES 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 informationMatsumura: 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 informationBoolean 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 informationTHE 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 informationLecture 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 informationAlgebraic 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 informationTangent 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 informationMath 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