On the averaged Colmez conjecture (Q1698040)

The article under review proves an averaged version of the Colmez conjecture for general CM fields. In the case of CM elliptic curves, it is known as the Chowla-Selberg formula and the method of this article thus gives a different proof of the Chowla-Selberg formula. \textit{F. Andreatta} et al. [Ann. Math. (2) 187, No. 2, 391--531 (2018; Zbl 1464.11059)] prove the averaged Colmez conjecture independently by using integral models of high-dimensional Shimura varieties and the method of \textit{T. Yang} [Am. J. Math. 132, No. 5, 1275--1309 (2010; Zbl 1206.14049); Asian J. Math. 17, No. 2, 335--382 (2013; Zbl 1298.11056)]. On the other hand, the method of the article under review is divided into two parts: the first step is the comparison of the average of Faltings heights and the height by the arithmetic Hodge bundle of the canonical integral model of a Shimura curve and the second step is the comparison of the height by the arithmetic Hodge bundle and the log derivation of the \(L\)-function of the quadratic character for the CM extension. As a result, they deduce an averaged version of the Colmez conjecture which relates the average of Faltings heights and the log derivation of the \(L\)-function of the quadratic character. In particular, the second step is a hard part of this article and their proof of this part heavily depends on the Gross-Zagier formula in [\textit{X. Yuan} et al., The Gross-Zagier formula on Shimura curves. Princeton, NJ: Princeton University Press (2013; Zbl 1272.11082)]. It is needless to say that the article under review proves the notable conjecture and is a fine work.