---
title: Logarithmic Comparison Theorem (LCT)
url: https://www.emergentmind.com/topics/logarithmic-comparison-theorem-lct
type: topic
---

# Logarithmic Comparison Theorem (LCT)

The Logarithmic Comparison Theorem (LCT) is a fundamental result characterizing when the hypercohomology of the logarithmic de Rham complex along a divisor in a complex manifold coincides with that of the full meromorphic de Rham complex. The LCT provides crucial bridges between analytic, algebraic, and arithmetic geometry, with implications for D-module theory, singularity theory, Hodge theory, and the theory of motives. It has been generalized to contexts including twisted coefficients, log-structures, prismatic cohomology, and arithmetic comparison theorems.

## 1. Algebraic Formulation and Foundational Results

Given a complex manifold $X$ of dimension $n$ and a divisor $D \subset X$, the natural objects are:
- The sheaf $\Omega_X^p(*D)$ of meromorphic $p$-forms on $X$ with arbitrary order poles along $D$, forming the complex $\Omega_X^{\bullet}(*D)$.
- The subsheaf $\Omega_X^p(\log D) \subset \Omega_X^p(*D)$ of $p$-forms with at most logarithmic poles (i.e., locally, if $D = \{h=0\}$, then $h\omega$ and $h d\omega$ are holomorphic), assembling into the logarithmic de Rham complex $\Omega_X^{\bullet}(\log D)$.

The inclusion $i: \Omega_X^{\bullet}(\log D) \hookrightarrow \Omega_X^{\bullet}(*D)$ is canonical. The divisor $D$ is said to satisfy the Logarithmic Comparison Theorem if $i$ is a quasi-isomorphism, i.e.,
\[
\mathbb{H}^q\left(X,\,\Omega_X^{\bullet}(\log D)\right) \cong \mathbb{H}^q\left(X,\,\Omega_X^{\bullet}(*D)\right),\quad \forall q.
\]
For "free divisors" $D$ (i.e., $\Omega_X^1(\log D)$ is locally free of rank $n$), and in particular for locally quasihomogeneous free divisors, it was proven by Castro-Jiménez, Mond, and Narváez-Macarro that the LCT always holds [2303.05417].

## 2. Key Hypotheses and Characterizations

The theorem’s scope and proofs depend on key properties of $D$:
- **Free divisor (Saito):** The sheaf $\operatorname{Der}_X(-\log D) = \{\xi \in \Theta_X\,|\,\xi(h) \in \langle h\rangle\}$ is locally free. Equivalently, $\Omega_X^1(\log D)$ is locally free.
- **Locally quasihomogeneous (or strongly quasihomogeneous):** For each $p \in D$, local equations can be chosen so the reduced defining equation $h$ is weighted homogeneous with strictly positive weights.
- **Spencer/Koszul-freeness:** Relates to regularity properties of the associated sheaf of logarithmic differential operators $V_X$ and is crucial for the D-module interpretations of LCT.

Significantly, these conditions dictate whether the inclusion of logarithmic forms provides a full cohomological account of the complement $U = X \setminus D$.

## 3. D-Module and Bernstein–Sato Framework

A cornerstone of the theory is the D-module perspective:
- The inclusion of complexes can be realized as the de Rham functor applied to a morphism of $\mathscr{D}_X$-modules. The link between LCT and the behavior of these modules, especially their annihilators and generation by first-order operators, is central.
- For locally quasihomogeneous free $D$, the annihilator of $f^{-1}$ (where $D=\{f=0\}$) is generated by first-order differential operators, specifically logarithmic derivations twisted by suitable constants [2303.05417, 2203.11716].
- The roots of the Bernstein–Sato polynomial $b_f(s)$ play a diagnostic role: order-one generation of the annihilator corresponds to $b_f(s)$ having roots with specific symmetries and locations, e.g., no integer roots less than $-1$. In the case of a homogeneous divisor with isolated singularities, LCT holds if and only if $-1$ is the only integral root of $b_f(s)$ [2203.11716].

## 4. Special Cases: Hyperplane Arrangements and Twisted LCT

Hyperplane arrangements constitute a primary class where the LCT has a complete and highly structured solution:
- For any reduced hyperplane arrangement $D$ in $\mathbb{C}^n$, both the analytic and algebraic untwisted LCT hold; this resolves Terao’s conjecture [2202.01462].
- Twisted LCT: For arbitrary rank one local systems $L$—corresponding to twisted logarithmic complexes—LCT holds provided precise combinatorial arithmetic "nonresonance" conditions are satisfied by the residues (weights) [2202.01462, 2203.11716]. The cohomology can then be computed explicitly and in finite terms via graded components of the logarithmic complex.
- The $D$-module approach extends to the twisted setting, and provides constraints on multivariate Bernstein–Sato ideals.

The regularity of the sheaves $\Omega_X^p(\log D)$ (specifically Castelnuovo–Mumford regularity at most zero) underpins the vanishing theorems and spectral sequence arguments that force the quasi-isomorphism [2202.01462, 2203.11716].

## 5. Geometry: Free Divisors, Euler Homogeneity, and Counterexamples

The relationship between LCT and the geometric property of "strong Euler-homogeneity" is nuanced:
- All known free divisors with LCT are strongly Euler-homogeneous, i.e., locally there exists a vector field $\delta$ such that $\delta(f) = f$.
- Calderón-Moreno, Mond, Narváez, and Castro Jiménez (2002) conjectured that if a free divisor satisfies LCT, then it must be strongly Euler-homogeneous. This is now verified under broad circumstances, including dimensions $\leq 4$, Koszul-freeness, weak Koszul-freeness, or linearity in dimension $5$ [2504.21834].
- Counterexamples exist: explicit free divisors that are Koszul-free but not strongly Euler-homogeneous do not satisfy LCT, disproving conjectures that all linear free divisors satisfy LCT.
- Techniques involved in recent advances exploit Jordan–Chevalley decomposition, trace and Fitting ideal analysis, and formal structure theorems for logarithmic vector fields.

| Setting                              | LCT characterization                | Comments                                |
|---------------------------------------|-------------------------------------|------------------------------------------|
| Plane curves, $n=2$                   | LCT $\Leftrightarrow$ strong EH     | All plane curves are free divisors       |
| Free divisors, $n=3$                  | LCT $\Rightarrow$ strong EH         | Granger–Schulze result                  |
| Koszul-free divisors                  | LCT $\Leftrightarrow$ strong EH     | Narváez Macarro                         |
| Linear free divisors, $n=5$           | Example with LCT failing            | Not all linear free divisors satisfy LCT |

## 6. Arithmetic and Logarithmic Comparison Theorems

Beyond the analytic and algebraic settings, LCT has deep arithmetic interpretations:
- Faltings’ theorem (1989) compared $p$-adic étale cohomology and crystalline cohomology via Fontaine–Faltings modules. This framework extends to the logarithmic setting, where log-structures on a smooth scheme $Y/W$ with a simple normal crossings divisor $Z$ yield canonical isomorphisms
\[
H^i_{\mathrm{log}\acute{e}t}\left(U_{\bar K},\,\mathbb{Q}_p\right) \cong H^i_{\mathrm{log}\mathrm{cris}}\left((Y,Z)/W\right)\left[1/p\right].
\]
- The construction and fully faithfulness of logarithmic Fontaine–Faltings modules and the log-$D$-functor $D_{\log}$ provide the machinery for these comparison isomorphisms [2504.14246].
- Such theorems play a central role in $p$-adic Hodge theory, especially for non-proper or degenerating families, and underpin the compatibility between étale, crystalline, and de Rham cohomologies in arithmetic geometry.

## 7. Log-Prismatic and Prismatic Comparison

Recent advances extend LCT-type results to prismatic cohomology and its logarithmic variants:
- For a log smooth $p$-adic formal fs log scheme $(X, M_X)$ over a log prism $(A, I, M)$, canonical filtered quasi-isomorphisms compare log prismatic cohomology to both derived log de Rham and log crystalline cohomology:
\[
R\Gamma_\Prism((X, M_X)/(A, I, M))\,\widehat\otimes^L_{A}A_{\mathrm{dR}} \xrightarrow{\sim} R\Gamma_{\mathrm{dR}}((X, M_X)/A_{\mathrm{dR}})
\]
\[
R\Gamma_\Prism((X, M_X)/(A, I, M))\,\widehat\otimes^L_{A}W
\xrightarrow{\sim}
R\Gamma_{\mathrm{crys}}((X, M_X)/W)
\]
with explicit control via Nygaard filtrations and functorial spectral sequences [2312.13129].

Gysin maps and blow-up formulas for prismatic cohomology are constructed, and descent techniques ensure that LCTs in this context articulate the deep compatibility between logarithmic and non-logarithmic "motivic" theories.

---

The Logarithmic Comparison Theorem thus acts as a unifying principle: in all its variants, it expresses when the rich but "small" logarithmic complexes suffice to compute invariants (de Rham, étale, crystalline, or prismatic) associated to the open complement of a divisor, imposing surprisingly rigid algebraic and geometric conditions on the underlying singularities. These results connect D-module theory, Hodge and $p$-adic Hodge theory, singularity theory, and the modern theory of log motives and prismatic cohomology [2303.05417, 2504.21834, 2202.01462, 2504.14246, 2312.13129, 2203.11716].

Source: https://www.emergentmind.com/topics/logarithmic-comparison-theorem-lct