Formality of Kähler manifolds
|
|
- Margery Chandler
- 5 years ago
- Views:
Transcription
1 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 manifolds. Given a compact Kähler manifold, the statement of formality is Theorem 1. The commutative differential graded algebra (Ω (, R), d dr ) of de Rham forms is quasi-isomorphic as algebras to (H (, R), 0). In particular, since the later has zero differential it is actually just a graded commutative algebra, which implies that all higher products of the former 1 vanishes. The proof of the theorem above is very straightforward once we have the crucial technical piece, which is the dd c -lemma. To put it in context we will first recall some concepts about Kähler geometry and the Hodge theory of compact Kähler manifolds. 1 Kähler manifolds Let be a complex Riemannian manifold. If one denotes its metric by g and the almost complex structure by J, we assume the metric is hermitian, i.e. g(u, v) = g(ju, Jv). Then one has that the imaginary part of the metric is proportional to ω(v, u) = g(ju, v). Definition 1. is said to be Kähler if one of the following equivalent conditions hold: (i) ω is closed, i.e. dω = 0; 1 For instance, the Massey products we learned about in Eric s talk. 1
2 (ii) the almost complex structure gives a flat section with respect to the canonical connection 2 on T, i.e. for any v Γ(, T ), v J = 0; (iii) locally on there are holomorphic coordinates which express the metric without linear terms, i.e. for all x there exist (z 1,..., z n ) a coordinate system around x, such that g ij (z, z) = δ ij + O( z 2 ). Remark. It is an exercise to check that these definitions agree. Morally the first condition can be seem as the first indication of the topological nature of the Kähler condition, and the third is interesting because it justifies the following principle. Any identity involving g and only its first derivatives on is true if such identity holds over C n for the flat metric. This can be used to great extent to proof the so-called Kähler identities, about which we will not say anymore here. Example. (i) let D n C n be the unit disk, with Kähler form given by ω(z, z) = i 2 ( 1 z 2). (ii) consider P n with the metric 3 given on each U i (the affine patch where z i 0) by ( n ω(z, z) = i ) 2π z j. (iii) since any complex submanifold of a Kähler manifold has a Kähler structure by simply restricting the metric to it, as can be checked from the first definition above. One obtains that any complex projective algebraic variety has at least one Kähler structure, or more informally is a Kähler manifold. (iv) consider C 2 /(Z Z) with the metric induced by (v, u) = 1 2 vt w, by Riemann s criterion V/Γ for V a complex vector space with an herminitian inner product (, ) and Γ a lattice in V is embeddable in projective space if and only if (, ) Λ has integer-valued imaginary part. j=0 2 The Levi-Civita connection associated to the metric g. 3 This is called the Fubini-Study metric. z i 2
3 (v) by [Siu83], any K3-surface is Kähler. Remark. Notice that example (iv) above is a compact Kähler manifold which is not algebraic. Actually the nice work [Kod54] shows that a Kähler manifold (, ω) can be embedded in P N for some N > 0 if and only if [ω] H 2 (, Z) 4. 2 Hodge theory One can define abstractly what a Hodge structure of weight k is on an abelian group (of finite type) H Z. It is given by a decomposition of H Z Z C = p+q=k H p,q, such that H p,q = H q,p. The main result is the following Theorem 2. For a compact Kähler manifold of dimension n, H k (; Z) has a Hodge structure of weight k, for all 0 k n. We can be more explicitly about how to construct the direct summands of this decomposition. Let Ω p,q be the vector bundle Λp (Ω 1,0 ) Λq (Ω 0,1 ), where Ω 1,0 (resp. Ω0,1 ) is the eigenspace of Ω1 where J 5 has eigenvalue +i (resp. i). Then one obtains that H p,q () is the subset of classes of H p+q (; C) which can be represented by a closed form in Γ(, Ω p,q ). Remark. The above theorem implies that the odd cohomology groups have even dimension. So if one consider C 2 modulo the action of Z given by (z 1, z 2 ) (λ 1 z 1, λ 2 z 2 ), with λ 1, λ 2 of modulus less than 1. Then the manifold obtained 6 has b 1 = 1, hence can not possibly be Kähler. Remark. A conjecture of Kodaira was that the pairity of H 1 was the only obstruction to a complex surface being Kähler. This is actually a theorem and the last case to be verified apparently was that of K3 surfaces, which is example (v) of last section. 4 Notice this gives directly Riemann s criterion mentioned in the example above. 5 We denote by J both the operator on vector fields and on one-forms. 6 These are known as Hopf surfaces. 3
4 To state the lemma we need to prove formality we will reformulate the Hodge decomposition in a more algebraic language. Let s denote by A p,q = Γ(, Ω p,q ). This forms a double complex, whose total complex is the de Rham complex of the manifold, i.e. A = Γ(, Ω ). This implies one has two filtration on A, i.e. F p (A k ) = i p A i,k i, F q (A k ) = i q A k i,i. This naturally induce two spectral sequences for calculating H k (; C), namely E p,q 1 = H q (, Ω p,0 )7 and E p,q 1 = H p (, Ω 0,q ). The statement of Theorem 2 is equivalent to Theorem 3. For a compact Kähler manifold: (1) the above spectral sequences degenerate at E 1, and (2) F and F are complementary filtrations, i.e. A k F p (A k ) F q (A k ) for p + q + 1 = k for all k. Remark. The condition (2) is very important, for example all complex surfaces satisfy condition (1), though the Hopf surface mentioned above can not have a Hodge structure because its first Betti number is 1. Remark. Normally the proofs of the Hodge decomposition in either way stated above involve some analysis of the harmonic forms on a manifold. Essentially one can use the fact that cohomology classes on a Riemannian manifold can be represented by harmonic forms, and then using the Kähler form one obtains that harmonic forms with respect to the de Rham operator are also harmonic with respect to the Laplacian associated to the and operator. There is, however, also a more algebraic way of concluding at least condition (1) of the above theorem, for the class of projective algebraic varieties by using the work [DI87] 8. 3 dd c -lemma Here is a purely algebraic proposition which will be useful to deduce the lemma we need. 7 This is sometimes called the Frölicher spectral seuquence. 8 Though, I do not know if one can obtain the whole Hodge decomposition from it, since as explained in the previous remark one also needs condition (2). 4
5 Proposition ( 1. Let (K,, d, d ) be a double complex, whose total complex we denote by K, d), with d = d + d. Then the following are equivalent: (i) for all n, one has that in H n ( K ). Ker(d ) Ker(d ) Im(d ) = Im(d d ), (1) (ii) the two spectral sequences associated to the filtrations F and F of K degenerate at E 1 and the filtrations are complementary. Proof. The direction (i) (ii) follows from the following. Consider an element x in ( E p,q 1 = H p+q ) F p Kp+q / p 1 F Kp+q, we need to check that d (x) vanishes. Now d (x) belongs to the lefthand side of (1), thus there is y E p 1,q 1 1, such that x = d d (y), so d (x) is zero in E p+1,q 1 because it is d -exact. The argument is completely symmetric, so the same proves that it degenerates for the F filtration. The complementarity follows because i+j=k E i,j 1 = H k ( K ), and for each p, F p H k ( K ) = i+j=k,i p E i,j 1 and F q H k ( K ) = i+j=k,j q E i,j 1. Conversely, consider x K p,q such that d (x) = d (x) = 0 and that there exist y K p 1,q with d y = x. On the (p + q = k)th cohomology of K the class of x is zero, since it is cohomologous to d y, which has degree (p + 1, q 1) which is complementary to (p, q) which is where we assumed x to belong. Hence one can write x = da = db for either a F p (K, ) or b F q (K, ), which gives that in the (k 1)th cohomology, because the filtrations are complementary one can represent the class [a b] as a 1 + b 1 + dc, where a 1 F p ( K k 1 ) and b 1 F q ( K k 1 ), with da 1 = db 1 = 0 and c K k 2. Now apply d to a: d (a) = d b + d a 1 + d b 1 + d dc = x. Firstly, d(a) = x, however since d (x) lives in degree (p + 1, q 1) it vanishes, so actually d a = x. Now d b lives in degree (p 1, q + 1) so has to vanish, the same applies to d b 1, finally da 1 = 0, however since d a 1 is the only term with degree (p, q) it has to vanishes as well. This implies that x = d d c and we are done. 5
6 We now apply the above proposition to the double complex given by A p,q. This implies that on H n (; C) one has that Ker( ) Ker( ) Im( ) = Im( ). Consider d = + and d c = i ( ). Let s rephrase it as follows Lemma 1. Let x A k such that d(x) = dc (x) = 0 and there exist y A k 1 with x = dy. Then there is z A k 2 such that x = dd c (z). 9 4 Formality We are finally in condition to prove the main theorem of this talk. Let s consider the following diagram of cdga s (A, d) i ( A,d c, d) j (H d c(), d H). 10 Here ( A,d c, d) is defined to be the subalgebra of (A, d) formed by the d c -closed forms. I claim that the formality result follows from the claims 1. H d c() H (; C); 2. i and j are isomorphisms 11 ; 3. d H = 0. Item 1. is standard and is just the fact that Ω,0 constant sheaf C. Item 2. has four parts: is a resolution of the a) i is surjective - let x A k with dx = 0, then dc x satisfy the conditions of the lemma, so there exist z A k 1 such that d c d(z) = d c (x). Now [x] = [x dz] in H k (A ), with dc (x dz) = 0. Hence there exist γ H k (A,d c) such that i (γ) = [x dz] = [x]. 9 This lemma is symmetric in changing d by d c. 10 Note that these are maps of commutative differential graded algebras. Indeed, d c (a b) = d c (a) b + a d c (b), so i is a map of algebras, and a d c (b) = d c (a b) d c (a) b, so Im(d c ) is an ideal. 11 These are just the maps induced in cohomology by the natural inclusion i and quotient j. 6
7 b) i is injective - let x A,d k such that c [i (x)] = 0, i.e. x = dy for some y A k 1. Then since d(x) = dc (x) = 0, we have that x = d c d(z) for some z A k 2, i.e. [x] = 0 in Hk 1 (A,d c). c) j is surjective - let α Hd k c(), choose a lift x A,d k c, such that d c (x) = 0. Then dx satisfies the lemma, so there exists a y A k 1 such that dx = dd c (y), this implies that [x d c y] surjects onto α. d) j is injective - let x A,d k c, represent [x] Hk (A,d k c) such that [j (x)] = 0, that is there exist y A k 1,d such that x = d c (y). Since dx = d c x = 0, c there exists z A k 2,d such that x = dd c z, that is [x] = 0 in H k (A c,d c). Item 3. consider α Hd k c(), and let x A,d k be a lift, i.e. c dc x = 0. Then d H α = [dx]. Now by the lemma again any lift of dx is d c -exact hence [dx] = 0 in H k+1 d (). c This concludes the proof of formality for Kähler manifolds. In the last section we will give an application of formality, for that we need a functorial form of the result. Theorem 4. Let f : Y be a holomorphic map between compact Kähler manifolds, then f : AY A is determined (up to homotopy) by f : H (Y ; C) H (; C). The proof is straightforward from the above theorem, we leave it to the reader. 5 Application Let = D 1 D 2 D 3, where each divisor D i (i = 1, 2, 3) is Kähler and the intersections D 1 D 2, D 2 D 3 and D 3 D 1 are transverse and themselves Kähler submanifolds of each divisor and similarly for D 1 D 2 D 3. Recall we denote by A k = Γ(, Ωk ). Consider the complex E k = {(x 1, x 2, x 3 ) x i A kdi, x i Di Dj = x j Di Dj } where i, j = 1, 2, 3. This forms a complex whose differential is just the restriction of the differential on A. Proposition 2. H n (, E ) Hn (; C) 7
8 Proof. One just notes that for all k, E k A k because the data (x 1, x 2, x 3 ) such that x 1 D1 D 2 = x 2 D1 D 2, and so forth, define an element x Ω k by the definition of sheaf. Then one uses the standard fact that Ω C12 are quasi-isomorphic. Now we define the following complex: B = A D1 δ A D2 δ A D3 0. Here one puts D 1 = D 1 D 2 D 3, D2 = D 1 D 2 D 2 D 3 D 3 D 1 and D 3 = D 1 D 2 D 3 ; and the differential δ is defined as δ(x) = ( 1) deg(x) x D1 D 2, for x A D 1, and similarly for the corresponding restrictions on the other terms. One remarks that A D 2 D 1 is defined to be A D 1 D 2 with a minus sign. This is done so that δ δ = 0, and d δ = δ d. Note that since 0 E B 0 is exact, H n (; C) H n (B ). Now we consider the filtration of B by the number of divisors, namely F 1 (B ) = A D1, F 2 (B ) = A D1 The associated spectral sequence has δ A D2,... E p,q 1 = H p (gr q B ) = H p (A Dq) = H p ( I =q A D I ) = I =q H p (A D I ), here D {1,2} = D 1 D 2 and similarly for other I. The final claim is Theorem 5. The above spectral sequence degenerate at E 1. Proof. Consider the above construction with A,d and c H ( ; C) for each respective space. Since they are all levelwise quasi-isomorphic it is equivalent to consider the spectral sequence with E p,q 1 = I =q H p (H d c(di )), since H d c(di ) have zero differentials the spectral sequence collapses. 12 The underline means we are considering the associated constant sheaf on. 8
9 References [DGMS75] Pierre Deligne, Phillip Griffiths, John Morgan, and Dennis Sullivan. Real homotopy theory of kähler manifolds. Inventiones mathematicae, 29(3): , [DI87] Pierre Deligne and Luc Illusie. Relèvements modulop 2 et décomposition du complexe de de rham. Inventiones Mathematicae, 89(2): , [Kod54] [Siu83] Kunihiko Kodaira. On kahler varieties of restricted type an intrinsic characterization of algebraic varieties). Annals of Mathematics, pages 28 48, Y-T Siu. Every k3 surface is kähler. Inventiones mathematicae, 73(1): ,
Kä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 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 informationRIEMANN S INEQUALITY AND RIEMANN-ROCH
RIEMANN S INEQUALITY AND RIEMANN-ROCH DONU ARAPURA Fix a compact connected Riemann surface X of genus g. Riemann s inequality gives a sufficient condition to construct meromorphic functions with prescribed
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 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 informationAlgebraic geometry versus Kähler geometry
Algebraic geometry versus Kähler geometry Claire Voisin CNRS, Institut de mathématiques de Jussieu Contents 0 Introduction 1 1 Hodge theory 2 1.1 The Hodge decomposition............................. 2
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 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 informationTopics in Geometry: Mirror Symmetry
MIT OpenCourseWare http://ocw.mit.edu 8.969 Topics in Geometry: Mirror Symmetry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. MIRROR SYMMETRY:
More informationDeligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities
Deligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities B.F Jones April 13, 2005 Abstract Following the survey article by Griffiths and Schmid, I ll talk about
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 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 informationUseful theorems in complex geometry
Useful theorems in complex geometry Diego Matessi April 30, 2003 Abstract This is a list of main theorems in complex geometry that I will use throughout the course on Calabi-Yau manifolds and Mirror Symmetry.
More information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
More informationOn a question of Pink and Roessler
On a question of Pink and Roessler Hélène Esnault and Arthur Ogus August 12, 2006 1 Questions Let k be a noetherian ring and let X/k be a smooth projective k-scheme. Let L be an invertible sheaf on X For
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 informationMIXED HODGE MODULES PAVEL SAFRONOV
MIED HODGE MODULES PAVEL SAFRONOV 1. Mixed Hodge theory 1.1. Pure Hodge structures. Let be a smooth projective complex variety and Ω the complex of sheaves of holomorphic differential forms with the de
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 informationHomomorphisms between Kähler groups (Jaca)
Homomorphisms between Kähler groups () Purdue University June 2009 Introduction Compact Kähler manifolds (and in particular smooth projective varieties ) are special! Introduction Compact Kähler manifolds
More informationA formality criterion for differential graded Lie algebras
A formality criterion for differential graded Lie algebras Marco Manetti Sapienza University, Roma Padova, February 18, 2014 Deligne s principle (letter to J. Millson, 1986). In characteristic 0, a deformation
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 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 informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationREVISTA DE LA REAL ACADEMIA DE CIENCIAS. Exactas Físicas Químicas y Naturales DE ZARAGOZA. Serie 2.ª Volumen 69
REVISTA DE LA REAL ACADEMIA DE CIENCIAS Exactas Físicas Químicas y Naturales DE ZARAGOZA Serie 2.ª Volumen 69 2014 ÍNDICE DE MATERIAS Special Hermitian metrics, complex nilmanifolds and holomorphic deformations
More informationLecture III: Neighbourhoods
Lecture III: Neighbourhoods Jonathan Evans 7th October 2010 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 1 / 18 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 2 / 18 In
More informationAlgebraic geometry over quaternions
Algebraic geometry over quaternions Misha Verbitsky November 26, 2007 Durham University 1 History of algebraic geometry. 1. XIX centrury: Riemann, Klein, Poincaré. Study of elliptic integrals and elliptic
More informationContributors. Preface
Contents Contributors Preface v xv 1 Kähler Manifolds by E. Cattani 1 1.1 Complex Manifolds........................... 2 1.1.1 Definition and Examples.................... 2 1.1.2 Holomorphic Vector Bundles..................
More informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationRational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley
Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Reference. Halperin-Stasheff Obstructions to homotopy equivalences Question. When can a given
More informationGK-SEMINAR SS2015: SHEAF COHOMOLOGY
GK-SEMINAR SS2015: SHEAF COHOMOLOGY FLORIAN BECK, JENS EBERHARDT, NATALIE PETERNELL Contents 1. Introduction 1 2. Talks 1 2.1. Introduction: Jordan curve theorem 1 2.2. Derived categories 2 2.3. Derived
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More informationDELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES
DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES YIFEI ZHAO Abstract. We present the proofs of Deligne s theorems on degeneration of the Leray spectral sequence, and the algebraic Hodge-de Rham
More informationPeter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms.
p-adic Hodge Theory Peter Scholze Notes by Tony Feng 1 Classical Hodge Theory Let X be a compact complex manifold. We discuss three properties of classical Hodge theory. Hodge decomposition. Hodge s theorem
More informationAn Introduction to Spectral Sequences
An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,
More informationIntermediate Jacobians and Abel-Jacobi Maps
Intermediate Jacobians and Abel-Jacobi Maps Patrick Walls April 28, 2012 Introduction Let X be a smooth projective complex variety. Introduction Let X be a smooth projective complex variety. Intermediate
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 informationLecture 4: Harmonic forms
Lecture 4: Harmonic forms Jonathan Evans 29th September 2010 Jonathan Evans () Lecture 4: Harmonic forms 29th September 2010 1 / 15 Jonathan Evans () Lecture 4: Harmonic forms 29th September 2010 2 / 15
More informationVARIATION OF HODGE STRUCTURES NOTES FOR NUMBER THEORY LEARNING SEMINAR ON SHIMURA VARIETIES
VARIATION OF HODGE STRUCTURES NOTES FOR NUMBER THEORY LEARNING SEMINAR ON SHIMURA VARIETIES DANIEL LITT Contents 1 Introduction: Variation of Hodge Structure for Curves 1 11 Hodge Theory for Curves 1 12
More informationNOTES ON DIVISORS AND RIEMANN-ROCH
NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as
More informationHodge Theory of Maps
Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar
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 informationNodal symplectic spheres in CP 2 with positive self intersection
Nodal symplectic spheres in CP 2 with positive self intersection Jean-François BARRAUD barraud@picard.ups-tlse.fr Abstract 1 : Let ω be the canonical Kähler structure on CP 2 We prove that any ω-symplectic
More informationABEL S THEOREM BEN DRIBUS
ABEL S THEOREM BEN DRIBUS Abstract. Abel s Theorem is a classical result in the theory of Riemann surfaces. Important in its own right, Abel s Theorem and related ideas generalize to shed light on subjects
More informationFAKE PROJECTIVE SPACES AND FAKE TORI
FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to P n is isomorphic to P n.
More informationENOKI S INJECTIVITY THEOREM (PRIVATE NOTE) Contents 1. Preliminaries 1 2. Enoki s injectivity theorem 2 References 5
ENOKI S INJECTIVITY THEOREM (PRIVATE NOTE) OSAMU FUJINO Contents 1. Preliminaries 1 2. Enoki s injectivity theorem 2 References 5 1. Preliminaries Let us recall the basic notion of the complex geometry.
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 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 informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationIdentification of the graded pieces Kęstutis Česnavičius
Identification of the graded pieces Kęstutis Česnavičius 1. TP for quasiregular semiperfect algebras We fix a prime number p, recall that an F p -algebra R is perfect if its absolute Frobenius endomorphism
More informationStable bundles with small c 2 over 2-dimensional complex tori
Stable bundles with small c 2 over 2-dimensional complex tori Matei Toma Universität Osnabrück, Fachbereich Mathematik/Informatik, 49069 Osnabrück, Germany and Institute of Mathematics of the Romanian
More informationA Brief History of Morse Homology
A Brief History of Morse Homology Yanfeng Chen Abstract Morse theory was originally due to Marston Morse [5]. It gives us a method to study the topology of a manifold using the information of the critical
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 informationVanishing theorems and holomorphic forms
Vanishing theorems and holomorphic forms Mihnea Popa Northwestern AMS Meeting, Lansing March 14, 2015 Holomorphic one-forms and geometry X compact complex manifold, dim C X = n. Holomorphic one-forms and
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationTHE FOURIER TRANSFORM FOR CERTAIN HYPERKÄHLER FOURFOLDS. Contents Introduction 2
THE FOURIER TRANSFORM FOR CERTAIN HYPERKÄHLER FOURFOLDS MINGMIN SHEN AND CHARLES VIAL Abstract. Using a codimension-1 algebraic cycle obtained from the Poincaré line bundle, Beauville defined the Fourier
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 informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationarxiv: v3 [math.ag] 21 Nov 2013
THE FRÖLICHER SPECTRAL SEQUENCE CAN BE ARBITRARILY NON DEGENERATE LAURA BIGALKE AND SÖNKE ROLLENSKE arxiv:0709.0481v3 [math.ag] 21 Nov 2013 Abstract. The Frölicher spectral sequence of a compact complex
More information1. Differential Forms Let X be a smooth complete variety over C. Then as a consequence of Hodge theory + GAGA: H i (X an, C) = H i (X, Ω X) =
SOME APPLICATIONS OF POSITIVE CHARACTERISTIC TECHNIQUES TO VANISHING THEOREMS DONU ARAPURA To Joe Lipman These are notes to my talk at Lipman s birthday conference. Some details have appeared in [A1, A2].
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 informationPublished as: J. Geom. Phys. 10 (1993)
HERMITIAN STRUCTURES ON HERMITIAN SYMMETRIC SPACES F. Burstall, O. Muškarov, G. Grantcharov and J. Rawnsley Published as: J. Geom. Phys. 10 (1993) 245-249 Abstract. We show that an inner symmetric space
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 informationTranscendental L 2 -Betti numbers Atiyah s question
Transcendental L 2 -Betti numbers Atiyah s question Thomas Schick Göttingen OA Chennai 2010 Thomas Schick (Göttingen) Transcendental L 2 -Betti numbers Atiyah s question OA Chennai 2010 1 / 24 Analytic
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 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 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 informationApplications to the Beilinson-Bloch Conjecture
Applications to the Beilinson-Bloch Conjecture Green June 30, 2010 1 Green 1 - Applications to the Beilinson-Bloch Conjecture California is like Italy without the art. - Oscar Wilde Let X be a smooth projective
More informationThe Canonical Sheaf. Stefano Filipazzi. September 14, 2015
The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over
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 informationHodge Structures and Shimura Data
Hodge Structures and Shimura Data It is interesting to understand when the example of GL 2 (R) acting on the Hermitian symmetric space C R or Sp 2g (R) acting on H g, or U(p, q) acting on X (from the last
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 informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationOn the Cohomology of Algebraic Varieties
Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 On the Cohomology of Algebraic Varieties Claire Voisin Abstract An algebraic variety is an object which can be defined
More informationA CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction
A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM GAUTAM BHARALI, INDRANIL BISWAS, AND GEORG SCHUMACHER Abstract. Let X and Y be compact connected complex manifolds of the same dimension
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 informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationDeterminant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman
Commun. Math. Phys. 211, 359 363 2000) Communications in Mathematical Physics Springer-Verlag 2000 Determinant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman Hélène snault 1, I-Hsun
More informationarxiv: v1 [math.dg] 11 Feb 2014
ON BOTT-CHERN COHOMOLOGY OF COMPACT COMPLE SURFACES DANIELE ANGELLA, GEORGES DLOUSSKY, AND ADRIANO TOMASSINI Abstract We study Bott-Chern cohomology on compact complex non-kähler surfaces In particular,
More informationUniversità degli Studi di Padova
Università degli Studi di Padova DIPARTIMENTO DI MATEMATICA "TULLIO LEVI-CIVITA" CORSO DI LAUREA MAGISTRALE IN MATEMATICA Generic Vanishing in Geometria Analitica e Algebrica Relatore: Prof. Mistretta
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 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 informationarxiv: v1 [math.ag] 13 Mar 2019
THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show
More informationHermitian vs. Riemannian Geometry
Hermitian vs. Riemannian Geometry Gabe Khan 1 1 Department of Mathematics The Ohio State University GSCAGT, May 2016 Outline of the talk Complex curves Background definitions What happens if the metric
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationPartial cubes: structures, characterizations, and constructions
Partial cubes: structures, characterizations, and constructions Sergei Ovchinnikov San Francisco State University, Mathematics Department, 1600 Holloway Ave., San Francisco, CA 94132 Abstract Partial cubes
More informationA TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY. We also have an isomorphism of holomorphic vector bundles
A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY LIVIU I. NICOLAESCU ABSTRACT. These are notes for a talk at a topology seminar at ND.. GENERAL FACTS In the sequel, for simplicity we denote the complex
More informationV. SRINIVAS. h p,q (X)u p v q
THE HODGE CHARACTERISTIC V. SRINIVAS 1. Introduction The goal of this lecture is to discuss the proof of the following result, used in Kontsevich s proof of the theorem that the Hodge numbers of two birationally
More informationVon Neumann dimension, Hodge index theorem and geometric applications
Von Neumann dimension, Hodge index theorem and geometric applications Francesco Bei Institut Camille Jordan, Université de Lyon1, E-mail addresses: bei@math.univ-lyon1.fr francescobei27@gmail.com arxiv:1711.02571v2
More informationElliptic Regularity. Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n.
Elliptic Regularity Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n. 1 Review of Hodge Theory In this note I outline the proof of the following Fundamental
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 informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
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 informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
More informationPeriod Domains. Carlson. June 24, 2010
Period Domains Carlson June 4, 00 Carlson - Period Domains Period domains are parameter spaces for marked Hodge structures. We call Γ\D the period space, which is a parameter space of isomorphism classes
More informationarxiv:alg-geom/ v1 29 Jul 1993
Hyperkähler embeddings and holomorphic symplectic geometry. Mikhail Verbitsky, verbit@math.harvard.edu arxiv:alg-geom/9307009v1 29 Jul 1993 0. ntroduction. n this paper we are studying complex analytic
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationOn the cohomology ring of compact hyperkähler manifolds
On the cohomology ring of compact hyperkähler manifolds Tom Oldfield 9/09/204 Introduction and Motivation The Chow ring of a smooth algebraic variety V, denoted CH (V ), is an analogue of the cohomology
More informationL6: Almost complex structures
L6: Almost complex structures To study general symplectic manifolds, rather than Kähler manifolds, it is helpful to extract the homotopy-theoretic essence of having a complex structure. An almost complex
More informationGeneralized Tian-Todorov theorems
Generalized Tian-Todorov theorems M.Kontsevich 1 The classical Tian-Todorov theorem Recall the classical Tian-Todorov theorem (see [4],[5]) about the smoothness of the moduli spaces of Calabi-Yau manifolds:
More information