ScalingStacks

1.2. Measures and forms [014V]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

1.2. Measures and forms

Any finite-dimensional real vector space VV comes equipped with a Lebesgue (or Haar) measure λ\lambda, uniquely defined up to a multiplicative constant. Any lattice Λ⊂V\Lambda\subset V allows us to normalize λ\lambda by λ⁡(V/Λ)=1\lambda(V/\Lambda)=1.

To any top-dimensional differential form ω\omega on a C∞C^{\infty} manifold XX is associated a positive measure |ω||\omega| on XX. For example, if Λ⊂V\Lambda\subset V is a lattice as above, m1,…,mnm_{1},\dots,m_{n} is a basis of the dual lattice, then |d​m1∧⋯∧d​mn||dm_{1}\wedge\dots\wedge dm_{n}| is Lebesgue measure on VV normalized by Λ\Lambda.

If XX is a complex manifold of dimension nn, and Ω\Omega is a section of KXK_{X}, that is, a holomorphic nn-form, we define |Ω|2|\Omega|^{2} as the positive measure

|Ω|2:=in22n​|Ω∧Ω¯|.|\Omega|^{2}:=\frac{i^{n^{2}}}{2^{n}}|\Omega\wedge\bar{\Omega}|.

The normalization is chosen so that the measure associated to the form d​z=d​x+i​d​ydz=dx+idy on ℂ{\mathbb{C}} is Lebesgue measure |d​z|2=|d​x∧d​y||dz|^{2}=|dx\wedge dy| on ℂ≃ℝ2{\mathbb{C}}\simeq{\mathbb{R}}^{2}.

This construction induces a natural bijection between smooth metrics on the canonical bundle KXK_{X} and (smooth, positive) volume forms on XX, which associates to a smooth metric ψ\psi on KXK_{X} the volume form e2​ψe^{2\psi} locally defined by

e2​ψ:=in2​|Ω∧Ω¯|2n​|Ω|ψ2=|Ω|2|Ω|2​e−2​ψe^{2\psi}:=\frac{i^{n^{2}}|\Omega\wedge\bar{\Omega}|}{2^{n}|\Omega|^{2}_{\psi}}=\frac{|\Omega|^{2}}{|\Omega|^{2}e^{-2\psi}}

for any local section Ω\Omega of KXK_{X}. If ψ′\psi^{\prime} is another metric on KXK_{X}, then

e2​ψ′=e2​(ψ′−ψ)​e2​ψ,e^{2\psi^{\prime}}=e^{2(\psi^{\prime}-\psi)}e^{2\psi},

where e2​(ψ′−ψ)e^{2(\psi^{\prime}-\psi)} is the usual exponential of the smooth function 2​(ψ′−ψ)∈C∞​(X)2(\psi^{\prime}-\psi)\in C^{\infty}(X). This can be used to make sense of e2​ψe^{2\psi} as a positive measure for any (possibly singular) metric ψ\psi on KXK_{X}. Similarly, e2​ψ/me^{2\psi/m} is a volume form for every metric ψ\psi on m​KXmK_{X}, m∈ℤm\in{\mathbb{Z}}.

Now assume (X,B)(X,B) is a pair in the sense of the Minimal Model Program, i.e. XX is a normal complex space and BB is a (not necessarily effective) ℚ{\mathbb{Q}}-Weil divisor on XX such that

K(X,B):=KX+BK_{(X,B)}:=K_{X}+B

is a ℚ{\mathbb{Q}}-line bundle. Denote by ϕB\phi_{B} the canonical singular metric on B|XregB|_{X_{\mathrm{reg}}}, viewed as a ℚ{\mathbb{Q}}-line bundle. If ψ\psi is smooth metric on the ℚ{\mathbb{Q}}-line bundle K(X,B)K_{(X,B)}, then ψ−ϕB\psi-\phi_{B} is a smooth metric on KXreg∖BK_{X_{\mathrm{reg}}\setminus B}, and e2​(ψ−ϕB)e^{2(\psi-\phi_{B})} is thus a volume form on Xreg∖BX_{\mathrm{reg}}\setminus B.33 3 Here and in what follows, we write X∖DX\setminus D for the complement of the support of a (not necessarily reduced) divisor DD in a complex space XX.

A pair (X,B)(X,B) is subklt if for some (or, equivalently, any) log resolution ρ:X′→X\rho\colon X^{\prime}\to X of (X,B)(X,B), the unique ℚ{\mathbb{Q}}-divisor B′B^{\prime} such that ρ∗​K(X,B)=K(X′,B′)\rho^{*}K_{(X,B)}=K_{(X^{\prime},B^{\prime})} and ρ∗​B′=B\rho_{*}B^{\prime}=B has coefficients <1<1. The pair (X,B)(X,B) is klt if BB is further effective.

Lemma 1.1.

For any smooth metric ψ\psi on K(X,B)K_{(X,B)}, (X,B)(X,B) is subklt if and only if the measure e2​(ψ−ϕB)e^{2(\psi-\phi_{B})} has locally finite mass near each point of XX.

Proof.

With the above notation it is immediate to check that

ρ∗​e2​(ψ−ϕB)=e2​(ρ∗​ψ−ϕB′).\rho^{*}e^{2(\psi-\phi_{B})}=e^{2(\rho^{*}\psi-\phi_{B^{\prime}})}.

We are thus reduced to a log smooth pair (X′,B′)(X^{\prime},B^{\prime}), i.e. X′X^{\prime} is smooth and B′B^{\prime} has snc support, and the proof is then trivial. ∎

When (X,B)(X,B) is subklt, we may thus view e2​(ψ−ϕB)e^{2(\psi-\phi_{B})} as a finite positive (Radon) measure on XX, putting no mass on Zariski closed subsets. Such measures are called adapted in [EGZ09, BBEGZ11].

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.