Logarithmic form

In contexts including complex manifolds and algebraic geometry, a logarithmic differential form is a meromorphic differential form with poles of a certain kind. The concept was introduced by Deligne.[1]

Let X be a complex manifold, D ⊂ X a divisor, and ω a holomorphic p-form on X−D. If ω and dω have a pole of order at most one along D, then ω is said to have a logarithmic pole along D. ω is also known as a logarithmic p-form. The logarithmic p-forms make up a subsheaf of the meromorphic p-forms on X with a pole along D, denoted

${\displaystyle \Omega _{X}^{p}(\log D).}$

In the theory of Riemann surfaces, one encounters logarithmic one-forms which have the local expression

${\displaystyle \omega ={\frac {df}{f}}=\left({\frac {m}{z}}+{\frac {g'(z)}{g(z)}}\right)dz}$

for some meromorphic function (resp. rational function) ${\displaystyle f(z)=z^{m}g(z)}$, where g is holomorphic and non-vanishing at 0, and m is the order of f at 0. That is, for some open covering, there are local representations of this differential form as a logarithmic derivative (modified slightly with the exterior derivative d in place of the usual differential operator d/dz). Observe that ω has only simple poles with integer residues. On higher-dimensional complex manifolds, the Poincaré residue is used to describe the distinctive behavior of logarithmic forms along poles.

Holomorphic log complex

By definition of ${\displaystyle \Omega _{X}^{p}(\log D)}$ and the fact that exterior differentiation d satisfies d² = 0, one has

${\displaystyle d\Omega _{X}^{p}(\log D)(U)\subset \Omega _{X}^{p+1}(\log D)(U)}$.

This implies that there is a complex of sheaves ${\displaystyle (\Omega _{X}^{\bullet }(\log D),d)}$, known as the holomorphic log complex corresponding to the divisor D. This is a subcomplex of ${\displaystyle j_{*}\Omega _{X-D}^{\bullet }}$, where ${\displaystyle j:X-D\rightarrow X}$ is the inclusion and ${\displaystyle \Omega _{X-D}^{\bullet }}$ is the complex of sheaves of holomorphic forms on X−D.

Of special interest is the case where D has simple normal crossings. Then if ${\displaystyle \{D_{\nu }\}}$ are the smooth, irreducible components of D, one has ${\displaystyle D=\sum D_{\nu }}$ with the ${\displaystyle D_{\nu }}$ meeting transversely. Locally D is the union of hyperplanes, with local defining equations of the form ${\displaystyle z_{1}\cdots z_{k}=0}$ in some holomorphic coordinates. One can show that the stalk of ${\displaystyle \Omega _{X}^{1}(\log D)}$ at p satisfies[2]

${\displaystyle \Omega _{X}^{1}(\log D)_{p}={\mathcal {O}}_{X,p}{\frac {dz_{1}}{z_{1}}}\oplus \cdots \oplus {\mathcal {O}}_{X,p}{\frac {dz_{k}}{z_{k}}}\oplus {\mathcal {O}}_{X,p}dz_{k+1}\oplus \cdots \oplus {\mathcal {O}}_{X,p}dz_{n}}$

and that

${\displaystyle \Omega _{X}^{k}(\log D)_{p}=\bigwedge _{j=1}^{k}\Omega _{X}^{1}(\log D)_{p}}$.

Some authors, e.g.,[3] use the term log complex to refer to the holomorphic log complex corresponding to a divisor with normal crossings.

Higher-dimensional example

Consider a once-punctured elliptic curve, given as the locus D of complex points (x,y) satisfying ${\displaystyle g(x,y)=y^{2}-f(x)=0,}$ where ${\displaystyle f(x)=x(x-1)(x-\lambda )}$ and ${\displaystyle \lambda \neq 0,1}$ is a complex number. Then D is a smooth irreducible hypersurface in C² and, in particular, a divisor with simple normal crossings. There is a meromorphic two-form on C²

${\displaystyle \omega ={\frac {dx\wedge dy}{g(x,y)}}}$

which has a simple pole along D. The Poincaré residue [3] of ω along D is given by the holomorphic one-form

${\displaystyle {\text{Res}}_{D}(\omega )=\left.{\frac {dy}{\partial g/\partial x}}\right|_{D}=\left.-{\frac {dx}{\partial g/\partial y}}\right|_{D}=\left.-{\frac {1}{2}}{\frac {dx}{y}}\right|_{D}.}$

Vital to the residue theory of logarithmic forms is the Gysin sequence, which is in some sense a generalization of the Residue Theorem for compact Riemann surfaces. This can be used to show, for example, that ${\displaystyle dx/y|_{D}}$ extends to a holomorphic one-form on the projective closure of D in P², a smooth elliptic curve.

Hodge theory

The holomorphic log complex can be brought to bear on the Hodge theory of complex algebraic varieties. Let X be a complex algebraic manifold and ${\displaystyle j:X\hookrightarrow Y}$ a good compactification. This means that Y is a compact algebraic manifold and D = Y−X is a divisor on Y with simple normal crossings. The natural inclusion of complexes of sheaves

${\displaystyle \Omega _{Y}^{\bullet }(\log D)\rightarrow j_{*}\Omega _{X}^{\bullet }}$

turns out to be a quasi-isomorphism. Thus

${\displaystyle H^{k}(X;\mathbf {C} )=\mathbb {H} ^{k}(Y,\Omega _{Y}^{\bullet }(\log D))}$

where ${\displaystyle \mathbb {H} ^{\bullet }}$ denotes hypercohomology of a complex of abelian sheaves. There is[2] a decreasing filtration ${\displaystyle W_{\bullet }\Omega _{Y}^{p}(\log D)}$ given by

${\displaystyle W_{m}\Omega _{Y}^{p}(\log D)={\begin{cases}0&m<0\\\Omega _{Y}^{p}(\log D)&m\geq p\\\Omega _{Y}^{p-m}\wedge \Omega _{Y}^{m}(\log D)&0\leq m\leq p\end{cases}}}$

which, along with the trivial increasing filtration ${\displaystyle F^{\bullet }\Omega _{Y}^{p}(\log D)}$ on logarithmic p-forms, produces filtrations on cohomology

${\displaystyle W_{m}H^{k}(X;\mathbf {C} )={\text{Im}}(\mathbb {H} ^{k}(Y,W_{m-k}\Omega _{Y}^{\bullet }(\log D))\rightarrow H^{k}(X;\mathbf {C} ))}$

${\displaystyle F^{p}H^{k}(X;\mathbf {C} )={\text{Im}}(\mathbb {H} ^{k}(Y,F^{p}\Omega _{Y}^{\bullet }(\log D))\rightarrow H^{k}(X;\mathbf {C} ))}$.

One shows[2] that ${\displaystyle W_{m}H^{k}(X;\mathbf {C} )}$ can actually be defined over Q. Then the filtrations ${\displaystyle W_{\bullet },F^{\bullet }}$ on cohomology give rise to a mixed Hodge structure on ${\displaystyle H^{k}(X;\mathbf {Z} )}$.

Classically, for example in elliptic function theory, the logarithmic differential forms were recognised as complementary to the differentials of the first kind. They were sometimes called differentials of the second kind (and, with an unfortunate inconsistency, also sometimes of the third kind). The classical theory has now been subsumed as an aspect of Hodge theory. For a Riemann surface S, for example, the differentials of the first kind account for the term H^1,0 in H¹(S), when by the Dolbeault isomorphism it is interpreted as the sheaf cohomology group H⁰(S,Ω); this is tautologous considering their definition. The H^1,0 direct summand in H¹(S), as well as being interpreted as H¹(S,O) where O is the sheaf of holomorphic functions on S, can be identified more concretely with a vector space of logarithmic differentials.

Sheaf of logarithmic forms

In algebraic geometry, the sheaf of logarithmic differential p-forms ${\displaystyle \Omega _{X}^{p}(\log D)}$ on a smooth projective variety X along a smooth divisor ${\displaystyle D=\sum D_{j}}$ is defined and fits into the exact sequence of locally free sheaves:

${\displaystyle 0\to \Omega _{X}^{p}\to \Omega _{X}^{p}(\log D){\overset {\beta }{\to }}\oplus _{j}{i_{j}}_{*}\Omega _{D_{j}}^{p-1}\to 0,\,p\geq 1}$

where ${\displaystyle i_{j}:D_{j}\to X}$ are the inclusions of irreducible divisors (and the pushforwards along them are extension by zero), and β is called the residue map when p is 1.

For example,[4] if x is a closed point on ${\displaystyle D_{j},1\leq j\leq k}$ and not on ${\displaystyle D_{j},j>k}$, then

${\displaystyle {du_{1} \over u_{1}},\dots ,{du_{k} \over u_{k}},\,du_{k+1},\dots ,du_{n}}$

form a basis of ${\displaystyle \Omega _{X}^{1}(\log D)}$ at x, where ${\displaystyle u_{j}}$ are local coordinates around x such that ${\displaystyle u_{j},1\leq j\leq k}$ are local parameters for ${\displaystyle D_{j},1\leq j\leq k}$.

See also

• Adjunction formula
• Borel–Moore homology
• Differential of the first kind
• Residue Theorem
• Poincaré residue

References

1. Deligne, Pierre. Equations différentielles à points singuliers réguliers. Lecture Notes in Mathematics. 163. Berlin-Heidelberg-New York: Springer-Verlag.
2. Chris A.M. Peters; Joseph H.M. Steenbrink (2007). Mixed Hodge Structures. Springer. ISBN 978-3-540-77017-6
3. Phillip A. Griffiths; Joseph Harris (1979). Principles of Algebraic Geometry. Wiley-Interscience. ISBN 0-471-05059-8.
4. Deligne, Part II, Lemma 3.2.1. harvnb error: no target: CITEREFDeligne (help)

• Aise Johan de Jong, Algebraic de Rham cohomology.
• Pierre Deligne, Equations Différentielles à Points Singuliers Réguliers. Lecture Notes in Math. 163.