Bessel functions, heat kernel and the conical Kähler-Ricci flow (Q2347085): Difference between revisions

Given a smooth divisor \(D\) on a compact complex \(n\)-manifold \(M\) and \(\beta\in (0,1)\), Kähler metrics on \(M\backslash D\) with cone singularities of cone angle \(2\beta \pi\) transverse to \(D\) have been the subject of intense study in the past two decades. The model cone metric is defined on \(\mathbb{C}\times \mathbb{C}^{n-1}\), in polar coordinates \((r,\theta)\in [0, \infty)\times [0, 2\pi)\) by \[ g_{\beta}= dr^2 + \beta^2 r^2 d\theta^2+ g_{{\mathbb{R}^m}}, \] where \(g_{{\mathbb{R}^m} }\) is the canonical metric of \({\mathbb{R}^m}\), \(m=2(n-1)\), and it is singular along the hypersurface \(\{0\}\times \mathbb{C}^{n-1}\). Such singular metric is considered as a closed positive \((1,1)\)-current \(\omega\) on \(M\), and it is said to be a \((\alpha,\beta)\)-conical Kähler form on \((M, (1-\beta)D)\), where \(0<\alpha<\min\{1, \beta^{-1}-1\}\), if for each \(p\in D\), on some holomorphic chart \(\mathcal{U}\) of \(p\), \(K^{-1}\omega_{\beta}\leq \omega\leq K\omega_{\beta}\) on \(\mathcal{U}\backslash D\) for some constant \(K\geq 1\), where \(\omega_{\beta}\) corresponds to \(g_{\beta}\) on the chart \(\mathcal{U}\), and \(\omega=\hat{\omega}+i \partial\bar{\partial}\phi\) for some smooth Kähler form \(\hat{\omega}\) and potential \(\phi\) on a suitable space of functions \(C^{2,\alpha,\beta}(M)\), where \(\alpha\) concerns the exponent of a weighted Schauder norm involving \(\partial\bar{\partial}\phi\), \(\nabla \phi\) and \(\phi\), and \(\beta\) is related to the divisor. The authors study the evolution process of the conical Kähler-Ricci flow as \((1,1)\)-currents on \(M\) given by \[ \frac{\partial \omega_g}{\partial t}=\beta \omega_g-\mathrm{Ric}(g)+2\pi (1-\beta) [D], \] where \(g(t)\) for initial time \(t=0\) is defined by an \((\alpha,\beta)\)-conical Kähler metric \(g(0)\). Restricted to \(M\backslash D\) this is the usual Ricci flow, and the most well known when \(\beta=1\). This flow deforms the metric but preserves the conical singularity structure. Short time existence is shown in Theorem 1.2: Assuming \(g(0)\) is a \((\alpha', \beta)\)-conical Kähler metric in \((M, (1-\beta)D)\), and \(\alpha<\alpha'\), there exists \(T_0>0\) and a solution \(g(t)\) defined for all \(t\in [0,T_0]\) that is an \((\alpha,\beta)\) conical metric on \((M,(1-\beta)D)\), smooth away from \(D\), and satisfies some regularity and uniqueness condition on a certain class of functions. This theorem can be obtained from a short time existence for the corresponding parabolic Monge-Ampère equation on the potential \(\phi\) that is proved by establishing some parabolic Schauder type estimates for flows from parabolic equations \(\partial u/\partial t =\Delta_{a(t)}u+ v\), where \(a(t)\) is a family of \((\alpha, \beta)\)-metrics and \(v\) on a suitable space of functions, inspired on \textit{S. K. Donaldson}'s work for the elliptic case [in: Essays in mathematics and its applications. In honor of Stephen Smale's 80th birthday. Berlin: Springer. 49--79 (2012; Zbl 1326.32039)], by deriving estimates on the heat kernel of the standard cone metric, using Weber's and Carslaw's representation formulas of the heat kernel via Bessel functions of the second kind.