Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 18 5 d Solution Created 2026-10-03 Updated 2026-10-06
Choose a positive Hermitian metric on . Its curvature form is a Kähler form on the compact complex manifold of dimension one. Part (c) gives a threshold with for every . We use this to prescribe a finite principal part of a meromorphic section.
Fix a smooth cutoff supported inside the given coordinate chart and equal to one near . Let . On the punctured manifold define inside the chart, extended by zero outside. Its Dolbeault operatoris smooth globally: it vanishes near the pole and near the boundary of the chart. It is -closed, either by the square-zero identity or because there are no -forms in complex dimension one. The vanishing of , together with the Dolbeault theorem, therefore gives a global smooth section with .
The section is holomorphic on . Near , , so with holomorphic through zero. Its Taylor series then giveswhere the second series converges near zero and its coefficients are those of . The threshold is determined by the fixed bundle and , and is independent of the prescribed coefficients. In fact the same threshold works for every finite pole order , since the Dolbeault cohomology obstruction is the same for every such cutoff construction.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 118 2 d Solution Created 2026-10-03 Updated 2026-10-06
Choose a constant positive Hermitian form on . Its underlying flat Kähler metric is translation-invariant and descends through the Euclidean lattice to the compact complex torus . The Dolbeault Hodge decomposition gives a unique Dolbeault Laplacian-harmonic representative of every Dolbeault cohomology class. By the Kähler Laplacian identity, these are also Hodge Laplacian-harmonic.
Choose a constant coframe on . A lifted harmonic form is a sum of constant wedge basis forms with smooth periodic coefficients. For the flat metric, the Hodge Laplacian acts coefficientwise by the scalar constant-coefficient Laplacian. Each coefficient is a harmonic function on a compact flat real torus, hence is constant: integration by parts gives . Conversely every constant-coefficient form is harmonic. Thus the harmonic representatives are exactly the translation-invariant differential forms of type (p, q).
The constant covectors form ; the constant covectors form the space of antilinear maps . Sending a constant wedge form to its cohomology class givesThe map is intrinsic and does not depend on the auxiliary flat metric: that metric proves every class has exactly one constant representative, while the inclusion of constant forms is defined directly by the quotient. The Dolbeault cohomology of a complex torus consists of constant forms, and in particularFor indices outside , both the exterior-power expression and the cohomology group vanish.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 118 1 d Solution Created 2026-10-03 Updated 2026-10-05
The natural map between Bott-Chern cohomology and Dolbeault cohomology isIt is well-defined: a -closed pure-type form is -closed, and is -exact.
For surjectivity, choose the unique harmonic differential form representing a Dolbeault cohomology class using Dolbeault Hodge decomposition. The Kähler Laplacian identity makes a harmonic differential form for , hence -closed. Sending the Dolbeault class to consequently gives a right inverse.
For injectivity, the ddbar lemma says directly that a -closed, -exact pure-type form is -exact. One can also exhibit its primitive. Let be the Green operator of the Hodge Laplacian, and put . If is -closed and -exact, its harmonic projection vanishes and the Kähler identities giveHere because the Green operator commutes with these differentials, and . Thus represents zero in Bott-Chern cohomology. We have constructed the canonical isomorphism and its harmonic inverse:
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 118 2 c Solution 2026-10-03
Let be the sheaf of holomorphic -forms and the sheaf of smooth -forms. The Dolbeault-Poincaré lemma makesan exact resolution by fine sheaves, which are acyclic for global sections. Its global cochain complex computes Dolbeault cohomology, proving the Dolbeault theorem
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 118 4 a Solution Created 2026-09-24 Updated 2026-09-25
The Dolbeault cohomology group isThe complex orientation of the codimension- submanifold gives an integral Poincaré-dual class . Integration over defines a closed current of type , so under the Dolbeault identification its complexification belongs to .
Polydisc 2026-10-05
A polydisc is a product of open discs in . It is a contractible complex manifold, with vanishing positive-degree de Rham cohomology and vanishing Dolbeault cohomology in positive antiholomorphic degree.
Serre duality for compact complex manifolds Created 2026-10-05 Updated 2026-10-06
For a compact complex -manifold and a holomorphic vector bundle , analytic Serre duality givesThe pairing integrates the wedge product of bundle-valued Dolbeault cohomology representatives, contracting with its dual.