Abstract:We initiate in this paper the study of analytic properties of the Liouville heat kernel. In particular, we establish regularity estimates on the heat kernel and derive non trivial lower and upper bounds.
What problem does this paper attempt to address?
This paper aims to study the analytic properties of the Liouville heat kernel. Specifically, the authors establish regularity estimates for the heat kernel and derive non - trivial upper and lower bounds. The key of the paper lies in exploring the behavior of the heat kernel in the context of Liouville quantum gravity (LQG), especially within the framework of Liouville Brownian motion (LBM). LQG is a theoretical framework used to describe random geometric structures, which has important applications in physics, especially in understanding the properties of two - dimensional random Riemannian surfaces.
### Problems the paper attempts to solve:
1. **Regularity estimates**: The paper first focuses on the regularity of the Liouville heat kernel. The authors prove that the heat kernel \(p^\gamma_t(x, y)\) is continuous as a function of the variables \((t, x, y)\in\mathbb{R}^*\times T^2\).
2. **Upper and lower bound estimates**: Secondly, the authors give estimates of the upper and lower bounds of the heat kernel. These estimates are crucial for understanding the geometric properties in LQG because they provide a quantitative description of the behavior of the heat kernel on different time scales.
### Specific problems:
- **Upper bound estimate**: The paper gives a uniform upper bound estimate, specifically in the form:
\[
\forall x, y\in T, t > 0,\quad p^\gamma_t(x, y)\leq\left(\frac{c_1}{t^{1 + \delta}}+ 1\right)\exp\left(-c_2\left(\frac{d_T(x, y)}{t^{1/\beta_\delta}}\right)^{\frac{\beta_\delta}{\beta_\delta - 1}}\right)
\]
where \(\delta > 0\), \(\beta_\delta=\beta(\alpha_\delta)+\delta\), and \(\alpha_\delta=\alpha - \delta\).
- **Lower bound estimate**: The paper also gives a main lower bound estimate, specifically in the form:
\[
\text{If }x, y\text{ and }\eta > 0\text{ are fixed, a random time }T_0 > 0\text{ can be found such that for any }t\in(0, T_0],
\]
\[
p^\gamma_t(x, y)\geq\exp\left(-\frac{t^{-1}}{1+\frac{\gamma^2}{4}-\eta}\right)
\]
### Significance:
These results not only provide a strict mathematical basis for the behavior of the heat kernel in LQG, but also help to understand the geometric structure in LQG. In particular, through these estimates, the properties of the distance metric \(d_\gamma\) in LQG and the relationship between the Liouville heat kernel and the classical heat kernel can be further explored.
### Conclusion:
By establishing the regularity and upper and lower bound estimates of the Liouville heat kernel, the paper provides important tools and methods for the study of LQG. These results are not only of great significance in mathematics, but also provide a new perspective for related problems in physics.