This is a block course that will take place twice during the spring semester 2019 at MPI MiS Leipzig. Each block will consist of a single workweek with 4 hours of lectures every day, Monday through Friday. In the afternoons there will be a 2 hour exercise session. The first few lectures can be enjoyed with some knowledge of calculus and rudimentary visualization skills.
Starting from 19th century, elliptic and hyperelliptic integrals captivated the imagination of almost every mathematician. The initial observations provided the intuition for much of the development of modern complex geometry. At our present day, one starts learning the subject from these modern abstractions. However, in this lecture, we will work with concrete examples to see for ourselves what the ancients have seen in order to develop our intuition. This is intended so that we can anticipate what the abstract technical framework must look like, without doing anything technically demanding. We will end the first block by looking ahead and studying projective hypersurfaces, their Hodge decomposition and their periods.
The second block is technically independent from the first, but the first block serves to make the second block much more enjoyable. We will start the second block by laying the ground work for the definition of Hodge decomposition of smooth projective varieties. We will then continue with a brief study of algebraic cycles and of the Hodge conjecture, one of the million-dollar Millennium prize problems. Algebraic cycles appear in even degree of the cohomology and for odd degrees we will mimic the situation with curves and construct a complex torus, the intermediate Jacobian. Finally we will study variation of Hodge structures in earnest, both concrete and abstract.
The first eight lectures assume very little technical knowledge and could in principle be enjoyed with undergraduate level knowledge. An acquaintance with singular homology and de Rahm cohomology would make things smoother, but is not necessary. The lectures nine and ten will demand more mathematical maturity as we will not prove everything, but it should be rewarding.
The second block is essentially a crash course into complex geometry and cohomology theory. Although the only prerequisite is linear algebra, the lectures will be demanding. Attending the first block should alleviate the difficulty.
We will closely follow Chapter 1 of [CMP17] for the first block except for the last lecture which uses a section from Chapter 3. The second block will be based on Chapters 2 and 3 of the same book.
For a historical and intuitive narrative, in the spirit of the first block, we also recommend [Mov]. The books of Voisin [Voi], especially the first volume, complement the second block very well.
Monday, lecture 1: Elliptic curves
Construction of elliptic curves, topologically and algebraically. A hands on Hodge decomposition of cohomology. Periods of elliptic curves and elliptic integrals. Holomorphicity of the period map.
Monday, lecture 2: Degenerating elliptic curves
Asymptotics of periods as an elliptic curve degenerates. Picard–Fuchs equations and periods as values of a hypergeometric function. Moving around a singularity and the resulting Picard–Lefschetz transformation. The monodromy action on periods and the fundamental domain.
Tuesday, lecture 3: Higher genus curves
Topology of higher genus curves and the Hodge decomposition. The period map of genus g curves—this is also known as the Abel–Jacobi map. A degeneration of a genus two curve.
Tuesday, lecture 4: Preparing for higher dimensions
Giving names to our observations in preparation for higher dimensional varieties. The formal definition of a Hodge decomposition on a vector space, both mixed and pure.
Wednesday, lecture 5: Topology of double planes
The topology of two-fold branched coverings of the complex projective plane, i.e., of “double planes”.
Wednesday, lecture 6: Hodge decomposition for double planes
The Hodge decomposition on the cohomology of double planes. Curves in double planes and their cohomology classes. The first brush with Hodge conjecture.
Thursday, lecture 7: Hodge theory of reducible surfaces
Hodge decomposition and periods of reducible surfaces. Explicit computations with surfaces in space with two components.
Thursday, lecture 8: Cubic surfaces
There are many non-isomorphic cubic surfaces but they have no variation of Hodge structure. Nevertheless, human ingenuity has no limits: we will define an injective period map for the cubic surfaces.
Friday, lectures 9 and 10: Hypersurfaces
The cohomology and Hodge decomposition of a hypersurface closely relates to that of the ambient space. We will make this relation explicit. Lefschetz hyperplane theorem, The Hodge diamond, Griffiths residues, computing Hodge numbers using the Jacobian ring, computing periods.
Monday, lecture 1: de Rahm cohomology of differentiable manifolds
Tangent bundles, Riemannian metric and the de Rahm cohomology. Hodge star operator and harmonic forms.
Monday, lecture 2: Kähler manifolds
Decomposition of the complex tangent spaces. Hermitian metrics. The Kähler property. Hodge decomposition.
Tuesday, lecture 3: Lefschetz and Dolbeaux decompositions
Hard Lefschetz theorem and the induced decomposition. An algebraic interpretation of the Hodge decomposition via the Dolbeaux cohomology.
Tuesday, lecture 4: Check cohomology
Sheaves. Computing cohomologies using the Check cohomology of sheaves.
Wednesday, lecture 5: Spectral sequences
Definition of spectral sequences. Basic properties and some examples.
Wednesday, lecture 6: Hypercohomology
Making the Hodge decomposition fully algebraic via the hypercohomology of the Check-de Rahm complex.
Thursday, lecture 7: Hypersurfaces in general
Computing the cohomology of hypersurfaces of a general ambient space.
Thursday, lecture 8: Mixed Hodge structures via log-poles
Interpretation of the results for hypersurfaces via mixed Hodge structures, using the pole order grading of logarithmic differentials.
Friday, lecture 9: Hodge conjecture and intermediate Jacobians
Definition of algebraic cycles. A brief overview of Hodge conjecture. Defining the intermediate Jacobian. The Abel–Jacobi map for higher dimensional varieties.
Friday, lecture 10: Variation of Hodge structures
The variation of Hodge structures as we’ve witnessed them, followed by the abstract definition. Guiding open problems of the field.
[CMP] James Carlson, Stefan Müller-Stach and Chris Peters, Period mappings and period domains, second edition
[Mov] Hossein Movasati, A course in Hodge theory, with emphasis in multiple integrals, http://w3.impa.br/~hossein/myarticles/hodgetheory.pdf
[Voi] Claire Voisin, Hodge theory and complex algebraic geometry I and II