Extension with log-canonical measures and an improvement to the plt extension of Demailly--Hacon--Paun

TL;DR

This paper introduces lc-measures as a new tool for $L^2$ extension theorems, improving assumptions and simplifying proofs related to the plt extension, with implications for the dlt extension conjecture in algebraic geometry.

Contribution

It develops lc-measures to replace Ohsawa measures in $L^2$ extension theorems, providing improved assumptions and a simplified proof of the plt extension result.

Findings

Lc-measures can replace Ohsawa measures in $L^2$ extension theorems.

Simplified proof of the plt extension removing previous assumptions.

Framework adaptable to the dlt extension conjecture.

Abstract

With a view to proving the conjecture of "dlt extension" related to the abundance conjecture, a sequence of potential candidates for replacing the Ohsawa measure in the Ohsawa-Takegoshi $L^2$ extension theorem, called the "lc-measures", which hopefully could provide the $L^2$ estimate of a holomorphic extension of any suitable holomorphic section on a subvariety with singular locus, are introduced in the first half of the paper. Based on the version of $L^2$ extension theorem proved by Demailly, a proof is provided to show that the lc-measure can replace the Ohsawa measure in the case where the classical Ohsawa-Takegoshi $L^2$ extension works, with some improvements on the assumptions on the metrics involved. The second half of the paper provides a simplified proof of the result of Demailly-Hacon-Paun on the "plt extension" with the superfluous assumption "$\operatorname{supp} D \subset \operatorname{supp}(S+B)$" in their result removed. Most arguments in the proof are readily adopted to the "dlt extension" once the $L^2$ estimates with respect to the lc-measures of holomorphic extensions of sections on subvarieties with singular locus are ready.