Logarithmic Form¶
A complex meromorphic differential form whose form and exterior derivative have controlled first-order behavior along a specified reduced divisor.
Core Idea¶
A logarithmic form is a differential form allowed to approach a chosen complex-geometric boundary in a controlled way. Let \(X\) be a smooth complex analytic space and \(D\) a reduced divisor, locally given by a reduced equation \(f=0\). A meromorphic \(p\)-form \(\omega\) on \(X\setminus D\) qualifies when both \(f\omega\) and \(f\,d\omega\) extend holomorphically across \(D\). The second check matters: a form's apparent pole order alone may hide a worse pole after differentiation. A form that is already holomorphic can also qualify; an actual pole or residue is optional.[ref-86c589636b57][ref-e381992debc5]
The live Complex Differential Form is the strict parent: on \(X\setminus D\), every such \(\omega\) is a complex-valued differential form. The chosen divisor and paired extension checks narrow that genus. The one proposed DAG edge is child-to-parent strict subsumption; no other direct edge is asserted.
Scope of Application¶
This entry concerns individual forms on smooth complex analytic spaces with reduced divisors. Deligne describes the especially clear normal-crossings setting, with local generators such as \(dz_i/z_i\). Novikov and Yakovenko give the paired extension condition for analytic hypersurfaces and a positive three-line example whose intersection is not normal crossings. Deligne's convenient local basis and holomorphic-residue picture must not be carried over automatically to that singular intersection.[ref-86c589636b57][ref-e381992debc5]
An algebraic logarithmic Kähler differential has separate derivation-module scope. Its suggested redirect to this entry remains held, not an accepted alias. The inspected sources also do not establish arithmetic log-scheme or p-adic variants here.
Clarity¶
To test a proposed member, name four things: the smooth complex ambient space and reduced divisor; the individual meromorphic form; the extension of \(f\omega\); and the extension of \(f\,d\omega\). Use a reduced local equation \(f\) for the divisor. Changing it by a holomorphic unit does not change whether the two products extend.[^ref-e381992debc5]
For example, \(dx/x^2\) along \(x=0\) fails the first check: \(x(dx/x^2)=dx/x\) is still polar. Passing the first check while failing the derivative check also excludes a candidate. Conversely, a regular form need not develop a pole merely to receive the name.[^ref-e381992debc5]
Manages Complexity¶
The two checks give a short test for many possible local formulas. They keep attention on the specified divisor and on what exterior differentiation does to a candidate. In the normal-crossings case, local generators can simplify calculations; at a singular crossing, the general paired test still applies without promising the same basis.[ref-86c589636b57][ref-e381992debc5]
This classification does not by itself compute cohomology, supply a mixed Hodge structure, or make every residue holomorphic. Those are separate constructions or case-dependent results, not membership requirements for one form.[ref-86c589636b57][ref-e381992debc5]
Abstract Reasoning¶
Work locally. Choose a reduced equation for \(D\), write the proposed meromorphic \(p\)-form, multiply it by \(f\), then differentiate and multiply \(d\omega\) by \(f\) too. A positive proof exhibits both holomorphic extensions; a negative result may fail either one. The logarithmic forms are stable under exterior differentiation and wedge in the source's calculus, but these class properties are not extra observed outcomes demanded of each member.[^ref-e381992debc5]
The three-line case below illustrates why the derivative step must be shown rather than inferred from the form's displayed denominators.
Knowledge Transfer¶
The same four-role test works for one smooth branch and for three branches meeting at a singular point. What differs is the local geometry and what further results can be imported. A smooth-branch generator does not prove a free local basis or holomorphic residues at a triple intersection.[ref-86c589636b57][ref-e381992debc5]
The broader analogy of controlling an object and its derivative near a boundary does not make this named entry a substrate-independent Prime. Complex forms, reduced divisors, exterior differentiation, and holomorphic extension are essential to the literal identity. The Complex Differential Form parent supplies the general form structure.
Example¶
Smooth branch on a punctured disc. Let \(X\) be a complex disc with coordinate \(z\), \(D=\{z=0\}\), and \(\omega=dz/z\). Mapped back: ambient/divisor = disc and origin with \(f=z\); individual form = \(dz/z\); form extension = \(f\omega=dz\); derivative extension = \(f\,d\omega=0\). This is a direct specialization of Deligne's normal-crossings local generator, not a separate worked example printed in his article.[^ref-86c589636b57]
Three concurrent lines. In \(\mathbb C^2\), take \(D=\{xy(y-x)=0\}\) and \(\omega=(dx/x-dy/y)/(y-x)\), as in Novikov and Yakovenko's Example 3.6 with an equivalent sign choice for the reduced equation. Mapped back: ambient/divisor = \(\mathbb C^2\) and the three lines, \(f=xy(y-x)\); individual form = the displayed \(\omega\); form extension = \(f\omega=y\,dx-x\,dy\); derivative extension = \(f\,d\omega=dx\wedge dy\). The last two equalities are direct algebraic checks of the published example. The form qualifies even though the three-line intersection is not normal crossings and its residues there are singular.[^ref-e381992debc5]
Relationships to Other Abstractions¶
Current abstraction Logarithmic Form Domain-specific
Parents (1) — more general patterns this builds on
-
Logarithmic Form is a kind of Complex differential form Domain-specific
A logarithmic form is a complex differential form on the complement with added divisor-relative extension conditions.
Hierarchy path (1) — routes to 1 parentless root
- Logarithmic Form → Complex differential form → Decomposition
Neighborhood in Abstraction Space¶
Logarithmic Form sits in a sparse region of the domain-specific corpus (77th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Sheaves & Birational Geometry (22 abstractions)
Nearest neighbors
- Exterior derivative — 0.84
- Divisor (Algebraic Geometry) — 0.83
- Dolbeault Cohomology — 0.83
- Cusp Form — 0.82
- Jacobian variety — 0.82
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
- Any meromorphic form: both extension conditions are required; \(dx/x^2\) fails even the first.[^ref-e381992debc5]
- A normal-crossings local generator: \(dz_i/z_i\) is a special presentation, not a free-basis theorem at every singular divisor.[^ref-86c589636b57]
- The logarithmic de Rham complex: that complex is assembled from sheaves of forms; this entry names one form.[ref-86c589636b57][ref-e381992debc5]
- A guaranteed holomorphic residue: residues may be singular at the triple-line point.[^ref-e381992debc5]
- Logarithmic Kähler differential: the algebraic derivation-module redirect remains held.
References¶
[^ref-86c589636b57]: Pierre Deligne, Théorie de Hodge II, Publications Mathématiques de l'IHÉS 40 (1971), pp. 5–57; §3.1.2–3, printed p. 31/PDF p. 28 (one-based), local normal-crossings generators and form-plus-derivative criterion; §3.1.5, printed p. 32/PDF p. 29, residue structure. Full original scan inspected on the Institute for Advanced Study host.
[^ref-e381992debc5]: Dmitry Novikov and Sergei Yakovenko, Lectures on Meromorphic Flat Connections, author-hosted preprint arXiv:math.CA/0212334 v1 (24 December 2002), §3.2 printed/PDF p. 15, paired \(f\omega\), \(f\,d\omega\) criterion; §3.3 printed/PDF p. 17, differential and wedge closure; Example 3.6 printed/PDF p. 18, three-line form and singular residues; Theorem 3.8 printed pp. 18–19, normal-crossings local representation. Full original preprint inspected.