ScalingStacks

3.3 Kählerian polarisation [00TI]

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

3.3 Kählerian polarisation

We specify a polarisation class [Δ][\Delta] on the toric manifold ℂ​ℙn+1=ℙΔ\mathbb{CP}^{n+1}=\mathbb{P}_{\Delta}. A standard background Kähler metric is (a suitable multiple of) the Fubini-Study metric:

ωF​S=−1​(n+2)2​∂∂¯​log⁡(|Z0|2+…​|Zn+1|2)=−1​(n+2)2​∂∂¯​log⁡(∑m∈v​e​r​t​e​x​(Δ)e2n+2​⟨m,Log​(z)⟩).\begin{split}\omega_{FS}&=\frac{\sqrt{-1}(n+2)}{2}\partial\bar{\partial}\log(|Z_{0}|^{2}+\ldots|Z_{n+1}|^{2})\\ &=\frac{\sqrt{-1}(n+2)}{2}\partial\bar{\partial}\log(\sum_{m\in vertex(\Delta)}e^{\frac{2}{n+2}\langle m,\text{Log}(z)\rangle}).\end{split}

Our normalisation guarantees that the potential has the asymptotic behaviour

supz|(n+2)2​log⁡(∑m∈v​e​r​t​e​x​(Δ)e2n+2​⟨m,Log​(z)⟩)−maxm∈Δ⁡⟨m,Log​(z)⟩|<+∞.\sup_{z}|\frac{(n+2)}{2}\log(\sum_{m\in vertex(\Delta)}e^{\frac{2}{n+2}\langle m,\text{Log}(z)\rangle})-\max_{m\in\Delta}\langle m,\text{Log}(z)\rangle|<+\infty.

A general (singular) Kähler metric ωu\omega_{u} on (ℙΔ,[Δ])(\mathbb{P}_{\Delta},[\Delta]) is given by a relative potential u∈P​S​H​(X,ωF​S)u\in PSH(X,\omega_{FS}). Alternatively, one thinks of ωu\omega_{u} as a collection of local absolute potentials:

{u0=u+(n+2)2​log⁡(∑m′∈v​e​r​t​e​x​(Δ)e2n+2​⟨m′,Log​(z)⟩),um=u+(n+2)2​log⁡(∑m′∈v​e​r​t​e​x​(Δ)e2n+2​⟨m′,Log​(z)⟩)−⟨m,Log​(z)⟩,\begin{cases}u_{0}=u+\frac{(n+2)}{2}\log(\sum_{m^{\prime}\in vertex(\Delta)}e^{\frac{2}{n+2}\langle m^{\prime},\text{Log}(z)\rangle}),\\ u_{m}=u+\frac{(n+2)}{2}\log(\sum_{m^{\prime}\in vertex(\Delta)}e^{\frac{2}{n+2}\langle m^{\prime},\text{Log}(z)\rangle})-\langle m,\text{Log}(z)\rangle,\end{cases} (17)

where u0u_{0} is a local potential in a compact region, and umu_{m} give the local potentials near the toric boundary.

We call a convex function uu on Nℝ=ℝn+1N_{\mathbb{R}}=\mathbb{R}^{n+1} admissible if it satisfies the asymptotic growth condition

supx|u⁡(x)−maxm∈Δ⁡⟨m,x⟩|<+∞,\sup_{x}|u(x)-\max_{m\in\Delta}\langle m,x\rangle|<+\infty, (18)

which captures the information of the Kähler class.

Proposition 3.16.

A convex function uu is admissible if and only if the Kähler current defined by the psh function u∘Logu\circ\text{Log} on (ℂ∗)n+1(\mathbb{C}^{*})^{n+1} extends to a torus invariant Kähler current on (ℙΔ,[Δ])(\mathbb{P}_{\Delta},[\Delta]) with continuous local potentials.

Proof.

(Sketch) Convex functions on (ℂ∗)n(\mathbb{C}^{*})^{n} correspond to torus invariant psh functions via the log map (cf. Lemma 4.3 below). If uu is admissible, then near the toric boundary the appropriate local potential umu_{m} extends continuously over the boundary piece by the growth asymptote assumption and convexity, and the extension remains psh. Conversely, the asymptotic condition is dictated by the local boundedness of umu_{m} near the toric boundary pieces. ∎

A general (singular) Kähler metric ωφ\omega_{\varphi} on XsX_{s} in the polarisation class s−1​[Δ]s^{-1}[\Delta] is given by a potential φ∈P​S​H​(Xs,s−1​ωF​S)\varphi\in PSH(X_{s},s^{-1}\omega_{FS}). The normalising factor s−1s^{-1} is aimed at extracting nontrivial limits as s→∞s\to\infty. We can completely analogous define the local potentials:

{φ0=φ+(n+2)2​s​log⁡(∑m′∈v​e​r​t​e​x​(Δ)e2n+2​⟨m′,Log​(z)⟩),φm=φ+(n+2)2​s​log⁡(∑m′∈v​e​r​t​e​x​(Δ)e2n+2​⟨m′,Log​(z)⟩)−⟨m,Logs​(z)⟩,\begin{cases}\varphi_{0}=\varphi+\frac{(n+2)}{2s}\log(\sum_{m^{\prime}\in vertex{(\Delta)}}e^{\frac{2}{n+2}\langle m^{\prime},\text{Log}(z)\rangle}),\\ \varphi_{m}=\varphi+\frac{(n+2)}{2s}\log(\sum_{m^{\prime}\in vertex{(\Delta)}}e^{\frac{2}{n+2}\langle m^{\prime},\text{Log}(z)\rangle})-\langle m,\text{Log}_{s}(z)\rangle,\end{cases} (19)

which are by definition psh on respective regions.

In particular, we can represent the Calabi-Yau metric ωC​Y,s\omega_{CY,s} on XsX_{s} by a potential φC​Y,s\varphi_{CY,s}. The Calabi-Yau condition is

ωC​Y,sn=as​s−n​d​μs,\omega_{CY,s}^{n}=a_{s}s^{-n}d\mu_{s}, (20)

where the normalising constant

as=∫Xs[Δ]n∫Xsd​μs→a∞=∫Xs[Δ]nVol​(∂Δλ∨)a_{s}=\frac{\int_{X_{s}}[\Delta]^{n}}{\int_{X_{s}}d\mu_{s}}\to a_{\infty}=\frac{\int_{X_{s}}[\Delta]^{n}}{\text{Vol}(\partial\Delta_{\lambda}^{\vee})} (21)

as s→+∞s\to+\infty (cf. Prop. 3.14).

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