DIFFERENTIAL FORMS AND COHOMOLOGY
|
|
- Simon Harmon
- 5 years ago
- Views:
Transcription
1 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 fundamental theorem of calculus. Develop a various cohomology theories. Remark 1. he standard definition of differential forms is essentially a real variable topic on smooth manifolds. We will follow this usual approach and also define pull-backs, cohomologies, etc. in this setting. hen via a standard trick define it on complex manifolds Alternating forms. Definition 1. An m-linear function f which maps the m-fold cartesian product V m of a vector space V into some other vector space W is called alternating if f(v 1,..., v m ) = 0 whenever v 1,..., v m V and v i = v j for i j. We let (V m, W ) be the vector space of m- linear alternating functions mapping V m into W. We then define m V by the property that if f m (V, W ) then there exists a unique h: m V W with f(v 1,..., v m ) = h(v 1 v m ). hen associating f with h we obtain the linear isomorphism m (V, W ) = Hom( m V, W ). We will usually think of W as R. Proposition 1. A linear map f : V V induces a map m (f, W ): m (V, W ) m (V, W ) defined by h f (m) V m f (m) (V ) m h W where f (m) (v 1,..., v m ) = (f(v 1 ),..., f(v m )) for (v 1,..., v m ) V m. Example 1. Let V = V in the proposition with dim(v ) = n <. hen ( m f)φ = det(f)φ whenever φ n (V, W ) Differential forms. Remark 2. Recall that there is a canonical isomorphism: m p (M) = m ( Hom( p(m), R) ) = Hom ( m p (M), R ) = [ m p(m) ] Date: March 3, 2010.
2 Definition 2. A m-form at p U M is a (continuous) function ω : U m p (M). he tangent bundle is (M) = p M p(m) and the cotangent bundle is (M) = p M p (M). hen m (M) = m p M p (M). Let Hom(M, m (M)) be the space of m-forms, and requiring that the maps be differentiable, i.e. C, gives us the space of differential m-forms ) m Ω m (M) = C (M (M). he space of differential forms on M is Ω(M) = m N Ωm (M), this is a graded something or other. Definition 3 (Helpful Jargon). he set (M) = p M p(m) is a vector bundle over M, that is, to each point p M there is an assigned vector space p(m). For every vector bundle E over M there is (by definition) a canonical projection π : E M. hen a section of E is a continuous map s : U E defined in open sets U M, such that πs = id U. One can say a section is holomorphic, smooth, C r, etc. if the function s is. In this jargon, we define a differential k-form to be a smooth section of k p (M). Definition 4. Let ω Ω k 1 (M) and ν Ω k 2 (M). he exterior product of ω ν Ω k 1+k 2 (M) is defined by (ω ν)(p) := ω(p) ν(p) Pull backs. Definition 5. Let f : M N be a holomorphic map, we define a pull back f : Ω k (N) Ω k (M) by (f η)(p)(v 1 v k ) = η f(p) ( pf v 1 pf v k ), for tangent vectors v 1,..., v k p(m) (or v 1 v k k p(m)). hen f extends in the obvious way to f : Ω k (N) Ω k (M). Proposition 2. Let f : M N and η 1, η 2 Ω(N). hen f (η 1 η 2 ) = f η 1 f η 2. Proposition 3. Let f : M N and g : N P, then (f g) = g f Exterior derivatives. he following heorem can be found [4, heorem 3.1, pp22]. heorem 1. Let M be a smooth manifold of dimension n. here exists a unique R-linear endomorphism d of Ω(M), called the exterior derivative or exterior differential satisfying the following axioms: i. d maps p-forms to (p + 1)-forms. ii. d is the usual differential on functions as elements of Ω 0 (M). iii. (Anti-derivation) If η is a p-form and ω is a q-form, then d(η ω) = dη ω + ( 1) p η ω. iv. d d = 0. v. (Naturality) If ψ : M N is a smooth map and ω is a smooth form, then d(ψ ω) = ψ (dω). 2
3 Proof. As with most canonical definitions/theorems, we just define d is the obvious way and check that the properties are satisfied. Let x 1,... x n be the standard coordinates on R n and take I = {i 1,... i p } with i 1 < < i p we denote dx I = dx i1 dx ip. hen every p-form can be written as as we define dω by ω = I dω = I ω I dx I, dω I dx I. Remark 3. By the usual differential on functions as elements of f Ω 0 (M) := C (M), we mean df = f x i dx i. More formally let (U, φ) be a chart. hen in U f φ 1 : f(u) R n R is analytic (holomorphic, smooth, C r, whatever) and so we interpret f x i := (f φ 1 ) x i 2. Cohomology and the Complexification of Differential forms 2.1. de Rham cohomology. Definition 6. A differential form α is closed if dα = 0, and exact if α = dβ for some form β. Remark 4. Since d d = 0, every exact form is closed. Definition 7. We define the sets Z k (M), B k (M) Ω k (M) as Z k (M) = {closed k-forms} = ker{d: Ω k (M) Ω k+1 (M)} B k (M) = {exact k-forms} = image{d: Ω k 1 (M) Ω k (M)} Remark 5. Observe that the previous remark implies that B k (M) Z k (M). Remark 6. Georges de Rham Definition 8. he k th de Rham cohomology group (vector space even) is given as the quotient group H k DR(M) = Zk (M) B k (M), that is, we look at closed k-forms and identify any whose difference is an exact k-form. Let α Z k (M) Ω k (M) then the equivialence class that contains α is denoted [α] and called the cohomology class of α 3
4 Proposition 4. If f : M N is smooth and [β] H k (N) then the pull back f defines a linear map (group homomorphism, v.s. homom.) by f ([β]) = [f β]. f : H k (N) H k (M) Proof. Suppose [β] H k (N). If β is closed, then f β is closed. herefore [f β] is a cohomology class in H k (M). Now it needs to be seen that [f β] depends only on the cohomology class of β. o see this, let β β dη B k (N), and so f β f β = df η B k (M). Remark 7 (Poincaré s Lemma). On a contractable domain every closed form is exact, that is, dα = 0 if and only if α = dβ for some β. herefore the de Rham cohomology is locally trival. However this is also one of the more interesting properties of this cohomology as it allows one to obtain topological information using purely differential methods. Since at this moment we are primarily interested in complex geometry, I ll have to save this interesting result for coffee time Return to Griffiths and Harris with a change of notation. In [2], they use A p (M, R) := Ω p (M) to denote the set of differential p-forms on M, Z p (M, R) = Z p (M) the closed p-forms, and d(a p 1 (M, R)) := B p (M) the exact p-forms. hen the quotient group H p DR (M, R) = Zp (M, R)/d(A p 1 (M, R)) form the de Rham cohomology groups of M. Let A p (M) := A p (M, C) to denote the set of complex differential p-forms on M, Z p (M) := Z p (M, C) the closed p-forms, and da p 1 (M) := d(a p 1 (M, C)) the exact p-forms. hen the quotient group H p DR (M) := Zp (M)/dA p 1 (M) form the de Rham cohomology groups of M. hen H p DR (M) = Hp DR (M, R) C. Recall that C,p (M) = p(m) p (M). herefore by taking duals C,p(M) = p (M) p (M) m C,p(M) = ( i p (M) i+j=m A m (M) = i+j=m A i,j (M) j p (M) Definition 9. A form φ A p,q (M) is said to be of type or bidegree (p, q). By the way of notation, we denote by π (p,q) the projection maps so that for φ A (M), A (M) A p,q (M), φ = π (p,q) φ; we usually write φ (p,q) for π (p,q) φ. If φ A p,q (M), then dφ A p+1,q (M) A p,q+1 (M). 4 )
5 We can then define two maps: by and so : A p,q (M) A p+1,q (M) : A p,q (M) A p,q+1 (M) = π (p+1,q) d, = π (p,q+1) d, d = +. In local coordinates z = (z 1,..., z n ), a form φ A m (M) is of type (p, q) if we can write φ(z) = φ IJ (z)dz I dz J, I =p, J =q where for each multiindex I = {i 1,..., i p }, he operators and are then given by φ(z) = I,J,j φ(z) = I,J,j dz I = dz i1 dz ip. z j φ IJ (z)dz j dz I dz J, z j φ IJ (z)dz j dz I dz J. In particular, we say that a form φ of type (p, 0) is holomorphic if φ = 0; which is the case if and only if φ(z) = φ I (z)dz I with φ I (z) holomorphic. Proposition 5. Let f : M N be a holomorphic map of complex manifolds, and f = f on A p,q (N). I =p f (A p,q (N)) A p,q (M) Definition 10. Let Z p,q (M) denote the space of -closed forms of the type (p, q). Proposition 6. 2 = 0, 2 = 0 and =. Proof. Let ω A p,q (M). hen 0 = d 2 ω = ( + ) 2 ω = 2 ω + ( + )ω + 2 ω However 2 ω A p+2,q (M), ( + )ω A p+1,q+1 (M) and 2 ω A p,q+2 (M), and are therefore of three distinct types. If they are to sum to zero, then each must be zero. 5
6 Definition 11. he result of the last proposition is that forms a cohomology theory, called the Dolbeault cohomology, that is, the (p, q) th Dolbeault cohomology group is defined as H p,q Zp,q (M) = (M) (A p,q 1 (M)). Corollary 1. If f : M N is a holomorphic map of complex manifolds, then f induces a map f : H p,q (N) Hp,q(M). heorem 2 (-Poincaré Lemma). Let be a polycylinder in C n, that is, = Ω 1 Ω n with each Ω j bounded, open and non-empty in C, then for all q 1. H p,q ( ) = 0 3. Calculus on Manifolds Definition 12. Formally a Riemannian metric on M is a section of the of the vector bundle S 2 (M), that is, the (positive) symmetric bilinear forms on (M). hat is a function p g p (, ) =:, p where g p : p (M) p (M) R. A Hermitian metric metric on M will be a Riemannian metric on M which is compatible with the complex structure of M. So for each p M we have a (positive) definite Hermitian inner product, p : C,p (M) C,p (M) C on C,p (M) = p(m) p (M). he compatibility condition is α, β = iα, iβ, where α, β C,p (M). More generally for any almost complex structure J on M, the compatibility condition is α, β = Jα, Jβ. A compatible Riemann metric on M will be symmetric and satisfy the following three conditions: α, β = α, β ; α, β = 0 α, α > 0 for α, β in p(m); unless α = 0 (if positive). Vice versa, a symmetric complex bilinear form, on C,p (M) satisfying these three conditions is the complex bilinear extension of a compatible (positive) Riemannian metric. hat is to say if h is a Hermitian metric and g is a Riemannian metric we have the condition h(x, y) = g(x, y) + g(jx, Jy), for any almost complex structure J on M. In [2] a Hermitian metric on M is usually denoted ds 2. he real part of a Hermitian metric is a Riemannian metric, i.e. Re ds 2 : R,p (M) R,p (M) R 6
7 and often called the induced Riemannian metric on M. When we speak of distance, area, or volume on a complex manifold with Hermitian metric, we always refer to the induced Riemannian metric. We also may observe that Im ds 2 : R,p (M) R,p (M) R is alternating, and so it represents a real differential form of degree 2; ω = 1 2 Im ds2 is called the associated (1, 1)-form of the metric. When ω is closed, ω is a Kähler form (to be defined later). A real differential (1, 1)-form ω is called a positive (1, 1)-form if for every p M and ν p(m) we have 1 ω(p), ν ν > 0. In local coordinates z on M a form is positive if 1 ω(z) = h i,j (z)dz i dz j, 2 i,j with H(z) = (h i,j (z)) i,j a positive definite Hermitian matrix for every z. A coframe for the Hermitian metric is an n-tuple of (1, 0)-forms (φ 1,..., φ n ) such that ds 2 = i φ i φ i. Proposition 7. Let f : M N be a holomorphic map such that f := p f : p(m) p(n) is injective, then a Hermitian metric on N induces a Hermitian metric on M. Furthermore the pull-back of the associated (1, 1)-form of the metric on N is associated (1, 1)-form of the induced metric on M. Note that [2] denotes p f by f and that the pull-back goes the opposite direction from f, i.e. f : A 1,1 (N) A 1,1 (M) Example 2. he Hermitian metric on C n given by ds 2 = n dz i dz i is called the Euclidean or standard metric on C n = R 2n. i=1 Example 3. Let Z 0,..., Z n be coordinates in C n+1 and denote by π : C n+1 \ {0} P n be the standard projection map. Let U P n be an open set and Z : U C n+1 \ {0} a lifting of U, i.e. a holomorphic map with π Z = id; consider the differential form ω = 1 2π log Z 2. 7
8 If Z : U C n+1 \ {0} is another lifting, then Z = f Z with f a nonzero holomorphic function, so that 1 1 2π log Z 2 = 2π log( Z 2 + log f + log f) 1 = ω + ( log f log f) 2π = ω herefore ω is independent of the lifting chosen; since liftings always exist locally, ω is a globally defined differential form in P n. Clearly ω is of type (1, 1). o see that ω is positive, first note that the unitary group U(n + 1) acts transitively ( ) on P n and leaves the form ω invariant, so that ω is positive everywhere if it is positive at one point. Now let {w i = Z i /Z 0 } be coordinates on the open set U 0 = (Z 0 0) in P n and use the lifting Z = (1, w 1,..., w n ) on U 0 ; we have 1 ω = 2π log(1 + w i w i ) ( ) 1 = 2π wi dw i 1 + w i w i ( 1 dwi dw i = 2π 1 + ( wi dw i ) ( ) w i dw i ) w i w i (1 +. w i w i ) 2 At the point [1, 0,..., 0], 1 ω = dwi dw i > 0. 2π hus ω defines a Hermitian metric on P n, called the Fubini-Study metric. Remark 8. ( ) he unitary group U(n + 1) is the set of all n + 1 n + 1 matrices U such that UU = I n+1. A group G acts transitively on a set X if for any two x, y X there is a g G such that gx = y. heorem 3 (Wirtinger s heorem). vol(s) = 1 d! Proof. he interplay between the real and imaginary parts of a Hermitian metric now gives us the Wirtinger theorem, which expresses another fundamental difference between Riemannian and Hermitian differential geometry. Let M be a complex manifold, z = (z 1,..., z n ) local coordinates on M, and S ω d. ds 2 = φ i φ i a Hermitian metric on M with associated (1, 1)-form ω. Write φ i = α i + 1β i ; then the associated Riemannian metric on M is Re ds 2 = i α i α i + β i β i 8
9 and the volume associated to Re ds 2 is given by On the other hand we have so that the n th exterior power dµ = α 1 β 1 α n β n. ω = α i β i ω n = n! α 1 β 1 α n β n = n! dµ Now let S M be a complex submanifold of dimension d. he (1, 1)-form associated to the metric induced on S by ds 2 is just ω S and apply the above to the induced metric on S. Remark 9. In particular this shows us that ω = 0 E when dim(e) <deg(ω). Furthermore with a slight abuse of notation this can be stated as A p,q (E) = 0 when either p or q is greater than the dimension of E. Here E is any set where the integration is defined, i.e. manifolds, submanifolds, analytic varieties, subvarieties. Remark 10. he fact that the volume of a complex submanifold S of the complex manifold M is expressed as the integral over S of a globally defined differential form on M is quite different from the real case. For a C arc t (x(t), y(t)) in R n the element of arc length is given by x (t) 2 + y (t) 2 dt which is not, in general, the pullback of any differential form in R 2. ( he coefficient of dt is not C. ) We now get the manifold version of the fundamental theorem of calculus b a f(x) dx = F (b) F (a) heorem 4 (Stokes heorem). Let K be a compact subset of M with piecewise C 1 boundary, and u any differential form of class C 1 with degree m 1 on M. We then have u = du. K heorem 5 (Stokes heorem for Analytic Varieties). For M a complex manifold and V M an analytic subvariety of dimension k, and φ a differential form of degree 2k 1 with compact support in M, dφ = 0. K V 9
10 Proof. I m just going to point out the main idea. First observe that if φ has degree 2k 1 then its either p or q is k where (p, q) is the bidegree of φ. We now apply the usual version of Stokes heorem (a little work is needed to make it apply in this case) dφ = φ. V However dim(v ) = k 1, and so by the remark following Wirtinger s heorem, we have that this right integral must be 0. Remark 11. echnically we haven t defined integration over an analytic variety yet. Recall that the smooth part of the variety V = V \ V s is a submanifold. herefore one defines the integration over V by integration over V. V References [1] D ly, J.P., Complex Analytic and Algebraic Geometry, fr/~d ly/books.html [2] Griffiths, P., Harris, J., Principles of Algebraic Geometry, 1994 [3] Lee, J. L., Manifolds and Differential Geometry, 2009 [4] Moroianu, A., Lectures on Kähler Geometry,
Complex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationLECTURE 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 informationTopic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016
Topic: First Chern classes of Kähler manifolds itchell Faulk Last updated: April 23, 2016 We study the first Chern class of various Kähler manifolds. We only consider two sources of examples: Riemann surfaces
More 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 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 informationRIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY
RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY NICK MCCLEEREY 0. Complex Differential Forms Consider a complex manifold X n (of complex dimension n) 1, and consider its complexified tangent bundle T C
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More 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 informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
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 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 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 informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationFormality of Kähler manifolds
Formality of Kähler manifolds Aron Heleodoro February 24, 2015 In this talk of the seminar we like to understand the proof of Deligne, Griffiths, Morgan and Sullivan [DGMS75] of the formality of Kähler
More informationDifferential Forms, Integration on Manifolds, and Stokes Theorem
Differential Forms, Integration on Manifolds, and Stokes Theorem Matthew D. Brown School of Mathematical and Statistical Sciences Arizona State University Tempe, Arizona 85287 matthewdbrown@asu.edu March
More informationLECTURE 2: SYMPLECTIC VECTOR BUNDLES
LECTURE 2: SYMPLECTIC VECTOR BUNDLES WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic Vector Spaces Definition 1.1. A symplectic vector space is a pair (V, ω) where V is a finite dimensional vector space (over
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 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 informationHomogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey
More 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 informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
More information1. Divisors on Riemann surfaces All the Riemann surfaces in this note are assumed to be connected and compact.
1. Divisors on Riemann surfaces All the Riemann surfaces in this note are assumed to be connected and compact. Let X be a Riemann surface of genus g 0 and K(X) be the field of meromorphic functions on
More informationBERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS
BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS SHOO SETO Abstract. These are the notes to an expository talk I plan to give at MGSC on Kähler Geometry aimed for beginning graduate students in hopes to motivate
More informationDifferential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18
Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Required problems (to be handed in): 2bc, 3, 5c, 5d(i). In doing any of these problems, you may assume the results
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 informationAbelian varieties. Chapter Elliptic curves
Chapter 3 Abelian varieties 3.1 Elliptic curves An elliptic curve is a curve of genus one with a distinguished point 0. Topologically it is looks like a torus. A basic example is given as follows. A subgroup
More informationPoincaré Duality Angles on Riemannian Manifolds with Boundary
Poincaré Duality Angles on Riemannian Manifolds with Boundary Clayton Shonkwiler Department of Mathematics University of Pennsylvania June 5, 2009 Realizing cohomology groups as spaces of differential
More informationSection 2. Basic formulas and identities in Riemannian geometry
Section 2. Basic formulas and identities in Riemannian geometry Weimin Sheng and 1. Bianchi identities The first and second Bianchi identities are R ijkl + R iklj + R iljk = 0 R ijkl,m + R ijlm,k + R ijmk,l
More informationMetrics and Holonomy
Metrics and Holonomy Jonathan Herman The goal of this paper is to understand the following definitions of Kähler and Calabi-Yau manifolds: Definition. A Riemannian manifold is Kähler if and only if it
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More 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 information1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3
Compact course notes Riemann surfaces Fall 2011 Professor: S. Lvovski transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Structures 2 2 Framework of Riemann surfaces
More informationHard Lefschetz Theorem for Vaisman manifolds
Hard Lefschetz Theorem for Vaisman manifolds Antonio De Nicola CMUC, University of Coimbra, Portugal joint work with B. Cappelletti-Montano (Univ. Cagliari), J.C. Marrero (Univ. La Laguna) and I. Yudin
More informationLECTURE 4: SYMPLECTIC GROUP ACTIONS
LECTURE 4: SYMPLECTIC GROUP ACTIONS WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic circle actions We set S 1 = R/2πZ throughout. Let (M, ω) be a symplectic manifold. A symplectic S 1 -action on (M, ω) is
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 informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
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 information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationNOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n
NOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n 1. What is a form? Since we re not following the development in Guillemin and Pollack, I d better write up an alternate approach. In this approach, we
More informationCOMPLEX ANALYSIS AND RIEMANN SURFACES
COMPLEX ANALYSIS AND RIEMANN SURFACES KEATON QUINN 1 A review of complex analysis Preliminaries The complex numbers C are a 1-dimensional vector space over themselves and so a 2-dimensional vector space
More informationSome brief notes on the Kodaira Vanishing Theorem
Some brief notes on the Kodaira Vanishing Theorem 1 Divisors and Line Bundles, according to Scott Nollet This is a huge topic, because there is a difference between looking at an abstract variety and local
More informationINTRODUCTION TO HODGE THEORY!
INTRODUCTION TO HODGE THEORY! CALDER SHEAGREN Abstract. We introduce real and complex Hodge theory to study topological invariants using harmonic analysis. To do so, we review Riemannian and complex geometry,
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 informationNon-Relativistic Quantum Mechanics as a Gauge Theory
Non-Relativistic Quantum Mechanics as a Gauge Theory Sungwook Lee Department of Mathematics, University of Southern Mississippi LA/MS Section of MAA Meeting, March 1, 2013 Outline Lifted Quantum Mechanics
More informationHodge Structures. October 8, A few examples of symmetric spaces
Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H
More information1 Hermitian symmetric spaces: examples and basic properties
Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................
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 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 informationIntroduction to Extremal metrics
Introduction to Extremal metrics Preliminary version Gábor Székelyhidi Contents 1 Kähler geometry 2 1.1 Complex manifolds........................ 3 1.2 Almost complex structures.................... 5 1.3
More informationDIFFERENTIAL GEOMETRY. LECTURE 12-13,
DIFFERENTIAL GEOMETRY. LECTURE 12-13, 3.07.08 5. Riemannian metrics. Examples. Connections 5.1. Length of a curve. Let γ : [a, b] R n be a parametried curve. Its length can be calculated as the limit of
More informationMath 230a Final Exam Harvard University, Fall Instructor: Hiro Lee Tanaka
Math 230a Final Exam Harvard University, Fall 2014 Instructor: Hiro Lee Tanaka 0. Read me carefully. 0.1. Due Date. Per university policy, the official due date of this exam is Sunday, December 14th, 11:59
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 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 informationLecture Notes a posteriori for Math 201
Lecture Notes a posteriori for Math 201 Jeremy Kahn September 22, 2011 1 Tuesday, September 13 We defined the tangent space T p M of a manifold at a point p, and the tangent bundle T M. Zev Choroles gave
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 information12 Geometric quantization
12 Geometric quantization 12.1 Remarks on quantization and representation theory Definition 12.1 Let M be a symplectic manifold. A prequantum line bundle with connection on M is a line bundle L M equipped
More informationExercise 1 (Formula for connection 1-forms) Using the first structure equation, show that
1 Stokes s Theorem Let D R 2 be a connected compact smooth domain, so that D is a smooth embedded circle. Given a smooth function f : D R, define fdx dy fdxdy, D where the left-hand side is the integral
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 informationComplex line bundles. Chapter Connections of line bundle. Consider a complex line bundle L M. For any integer k N, let
Chapter 1 Complex line bundles 1.1 Connections of line bundle Consider a complex line bundle L M. For any integer k N, let be the space of k-forms with values in L. Ω k (M, L) = C (M, L k (T M)) Definition
More 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 informationINTRODUCTION TO THE HODGE CONJECTURE
INTRODUCTION TO THE HODGE CONJECTURE JIM BROWN Abstract. These are notes from a talk introducing the Hodge conjecture to undergraduates attending the 2009 Clemson REU. The description given here of the
More informationarxiv:hep-th/ v1 8 Feb 2007 Vincent Bouchard
Lectures on complex geometry, Calabi Yau manifolds and toric geometry arxiv:hep-th/0702063v1 8 Feb 2007 Vincent Bouchard Perimeter Institute 31 Caroline Street North Waterloo, Ontario Canada N2L 2Y5 Abstract
More informationLecture 5 - Lie Algebra Cohomology II
Lecture 5 - Lie Algebra Cohomology II January 28, 2013 1 Motivation: Left-invariant modules over a group Given a vector bundle F ξ G over G where G has a representation on F, a left G- action on ξ is a
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationProgress in Several Complex Variables KIAS 2018
for Progress in Several Complex Variables KIAS 2018 Outline 1 for 2 3 super-potentials for 4 real for Let X be a real manifold of dimension n. Let 0 p n and k R +. D c := { C k (differential) (n p)-forms
More informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
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 informationTHE HODGE THEORY OF PROJECTIVE MAN I FOLDS
THE HODGE THEORY OF PROJECTIVE MAN I FOLDS This page intentionally left blank THE HODGE THEORY OF PRO J ECTIVE MAN I FOLDS MARK ANDREA DE CATALDO Stony Brook University, USA Imperial College Press Published
More informationThe Hodge Decomposition Theorem
The Hodge Decomposition Theorem Lauran Toussaint Universiteit Utrecht A thesis submitted for the degree of Bachelor Mathematics & Physics July 2013 Acknowledgements I would like to thank Gil Cavalcanti
More informationMATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
More informationTHE LOCAL THEORY OF ELLIPTIC OPERATORS AND THE HODGE THEOREM
THE LOCAL THEORY OF ELLIPTIC OPERATORS AND THE HODGE THEOREM BEN LOWE Abstract. In this paper, we develop the local theory of elliptic operators with a mind to proving the Hodge Decomposition Theorem.
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 informationThe Strominger Yau Zaslow conjecture
The Strominger Yau Zaslow conjecture Paul Hacking 10/16/09 1 Background 1.1 Kähler metrics Let X be a complex manifold of dimension n, and M the underlying smooth manifold with (integrable) almost complex
More informationarxiv:math/ v1 [math.ag] 18 Oct 2003
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI
More informationInfinitesimal Einstein Deformations. Kähler Manifolds
on Nearly Kähler Manifolds (joint work with P.-A. Nagy and U. Semmelmann) Gemeinsame Jahrestagung DMV GDM Berlin, March 30, 2007 Nearly Kähler manifolds Definition and first properties Examples of NK manifolds
More informationTopology III Home Assignment 8 Subhadip Chowdhury
Topology Home Assignment 8 Subhadip Chowdhury Problem 1 Suppose {X 1,..., X n } is an orthonormal basis of T x M for some point x M. Then by definition, the volume form Ω is defined to be the n form such
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 informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More 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 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 informationGravitation: Tensor Calculus
An Introduction to General Relativity Center for Relativistic Astrophysics School of Physics Georgia Institute of Technology Notes based on textbook: Spacetime and Geometry by S.M. Carroll Spring 2013
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationHYPERKÄHLER MANIFOLDS
HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly
More 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 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 informationLoos Symmetric Cones. Jimmie Lawson Louisiana State University. July, 2018
Louisiana State University July, 2018 Dedication I would like to dedicate this talk to Joachim Hilgert, whose 60th birthday we celebrate at this conference and with whom I researched and wrote a big blue
More informationCHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents
CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally
More informationLECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More informationPart III- Hodge Theory Lecture Notes
Part III- Hodge Theory Lecture Notes Anne-Sophie KALOGHIROS These lecture notes will aim at presenting and explaining some special structures that exist on the cohomology of Kähler manifolds and to discuss
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 informationHolonomy groups. Thomas Leistner. School of Mathematical Sciences Colloquium University of Adelaide, May 7, /15
Holonomy groups Thomas Leistner School of Mathematical Sciences Colloquium University of Adelaide, May 7, 2010 1/15 The notion of holonomy groups is based on Parallel translation Let γ : [0, 1] R 2 be
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 informationIntegration and Manifolds
Integration and Manifolds Course No. 100 311 Fall 2007 Michael Stoll Contents 1. Manifolds 2 2. Differentiable Maps and Tangent Spaces 8 3. Vector Bundles and the Tangent Bundle 13 4. Orientation and Orientability
More informationTHE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS
THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS AILANA FRASER AND JON WOLFSON Abstract. In this paper we study the topology of compact manifolds of positive isotropic
More informationNOTES ON NEWLANDER-NIRENBERG THEOREM XU WANG
NOTES ON NEWLANDER-NIRENBERG THEOREM XU WANG Abstract. In this short note we shall recall the classical Newler-Nirenberg theorem its vector bundle version. We shall also recall an L 2 -Hörmer-proof given
More informationCohomology of the Mumford Quotient
Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive G-equivariant line bundle over X. We use a Witten
More informationAN ALMOST KÄHLER STRUCTURE ON THE DEFORMATION SPACE OF CONVEX REAL PROJECTIVE STRUCTURES
Trends in Mathematics Information Center for Mathematical ciences Volume 5, Number 1, June 2002, Pages 23 29 AN ALMOT KÄHLER TRUCTURE ON THE DEFORMATION PACE OF CONVEX REAL PROJECTIVE TRUCTURE HONG CHAN
More informationThe Calabi Conjecture
The Calabi Conjecture notes by Aleksander Doan These are notes to the talk given on 9th March 2012 at the Graduate Topology and Geometry Seminar at the University of Warsaw. They are based almost entirely
More informationHomological Algebra and Differential Linear Logic
Homological Algebra and Differential Linear Logic Richard Blute University of Ottawa Ongoing discussions with Robin Cockett, Geoff Cruttwell, Keith O Neill, Christine Tasson, Trevor Wares February 24,
More informationAs always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).
An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted
More information