Arakelov theory of even orthogonal Grassmannians (Q2466952)

In the article under review, the author continues his study on the arithmetic intersection theory of projective arithmetic schemes whose generic fiber is a compact Hermitian homogeneous space of a compact Lie group. He determines the structure of the Arakelov Chow ring of the even orthogonal Grassmannian \(\text{OG}=\text{OG}(n+1,2n+2)\), which parameterizes isotopic subspaces of dimension \(n+1\) in a \((2n+2)\)-dimensional vector space equipped with a smooth quadratic form. He identifies the Arakelov Chow ring \(\text{CH}(\overline{\text{OG}})\otimes_{\mathbb Z}\mathbb Z[\frac 12]\) with a quotient of \(\mathbb Z[\frac 12][\widehat{x}_1,\dots,\widehat{x}_{n+1}]^{S_{n+1}} \oplus\mathbb R[x_1,\dots,x_n]^{S_n}\), where he gives the relations generating the kernel. In spite of the similarity to the construction for the Lagrangian Grassmannian case established previously by the author in [J. Reine Angew. Math. 516, 207--223 (1999; Zbl 0934.14018)], the situation here is more complicated. Already in the standard presentation of \(\text{CH}(\text{OG})\), an extra relation appears. Moreover, in the relations defining \(\text{CH}(\overline{\text{OG}})\), there is a constant \(r_n\) which the author keeps inexplicit for a moment. The presentation of \(\text{CH}(\overline{\text{OG}})\) given, the author develops an arithmetic Schubert calculus in \(\text{CH}(\overline{\text{OG}})\), by using the technic of \(\widetilde{P}\)-polynomial introduced by \textit{P. Pragacz} and \textit{J. Ratajski} [Compos. Math. 107, No. 1, 11--87 (1997; Zbl 0916.14026)]. As an application, the author calculates the Faltings height of \(\text{OG}\) with respect to its fundamental embedding in projective space. The comparison to the computation effectuated previously by the author in [Mich. Math. J. 48, Spec. Vol., 593--610 (2000; Zbl 1077.14527)] gives the value of \(r_n\), which completes the proof of the structure theorem for \(\text{CH}(\overline{\text{OG}})\).