Content deleted Content added
m Open access bot: url-access updated in citation with #oabot. |
Owen Reich (talk | contribs) Link suggestions feature: 3 links added. |
||
Line 1:
In [[algebraic geometry]] and the theory of [[complex manifold]]s, a '''logarithmic''' [[differential form]] is a differential form with [[pole (complex analysis)|poles]] of a certain kind. The concept was introduced by [[Pierre Deligne]].<ref>Deligne (1970), section II.3.</ref> In short, logarithmic differentials have the mildest possible singularities needed in order to give information about an open [[submanifold]] (the complement of the divisor of poles). (This idea is made precise by several versions of [[de Rham's theorem]] discussed below.)
Let ''X'' be a complex manifold, ''D'' ⊂ ''X'' a reduced [[Divisor (algebraic geometry)|divisor]] (a sum of distinct codimension-1 complex subspaces), and ω a holomorphic ''p''-form on ''X''−''D''. If both ω and ''d''ω have a pole of order at most 1 along ''D'', then ω is said to have a logarithmic pole along ''D''. ω is also known as a logarithmic ''p''-form. The ''p''-forms with log poles along ''D'' form a [[Sheaf (mathematics)|subsheaf]] of the meromorphic ''p''-forms on ''X'', denoted
Line 61:
==Mixed Hodge theory for smooth varieties==
Over the complex numbers, Deligne proved a strengthening of [[Alexander Grothendieck]]'s algebraic [[de Rham theorem]], relating [[coherent sheaf cohomology]] with [[singular cohomology]]. Namely, for any smooth scheme ''X'' over '''C''' with a divisor with simple normal crossings ''D'', there is a natural isomorphism
:<math> H^k(X, \Omega^{\bullet}_X(\log D)) \cong H^k(X-D,\mathbf{C})</math>
for each integer ''k'', where the groups on the left are defined using the [[Zariski topology]] and the groups on the right use the classical (Euclidean) topology.<ref>Deligne (1970), Corollaire II.6.10.</ref>
Line 69:
degenerates at <math>E_1</math>.<ref>Deligne (1971), Corollaire 3.2.13.</ref> So the cohomology of <math>X-D</math> with complex coefficients has a decreasing filtration, the '''Hodge filtration''', whose associated graded vector spaces are the algebraically defined groups <math>H^q(X,\Omega^p_X(\log D))</math>.
This is part of the [[mixed Hodge structure]] which Deligne defined on the cohomology of any [[complex algebraic variety]]. In particular, there is also a '''weight filtration''' on the rational cohomology of <math>X-D</math>. The resulting filtration on <math>H^*(X-D,\mathbf{C})</math> can be constructed using the logarithmic de Rham complex. Namely, define an increasing filtration <math>W_{\bullet} \Omega^p_X(\log D) </math> by
:<math>W_{m}\Omega^p_X(\log D) = \begin{cases}
0 & m < 0\\
| |||