An intersection formula for CM cycles on Lubin-Tate spaces (Q2148860)

The paper proposed an intersection formula for special cycles on Lubin-Tate towers motivated by the Gross-Zagier formula to certain higher dimensional Shimura varieties. The main idea of this paper seems to be ``pushing things to infinity''. In short the author found the naive definition to carry out the ``thickening comparison'' does not work: \[ 0\rightarrow \mathcal{G}^{h}_{K}[\pi^m \phi \tau] \rightarrow \mathcal{N}_{n+m}\rightarrow \mathcal{M}_{n} \] for sufficiently large \(n\) because \(\mathcal{M}_{n}\) is not a group scheme. Nevertheless the author realize this idea can work by identifying \(\mathcal{G}^{h}_{K}[\pi^{m}\phi]\) with the preimage of the closed point \(\mathrm{Spec}(\mathcal{F}_{q})\) under the map \[ \eta^{n+m}_{n}(\phi, \tau): \mathcal{N}_{m+n}\rightarrow \mathcal{M}_{n} \] The reader should check section 3.2 for more details. The main result in this paper seems to be the following: Theorem. Let \(f=f_{R_n,g_0, R_n, m}\) and \(C_{n}=C_{n}(K,K)\). Suppose \(|\mathrm{nrd}|_{F}^{-1}=|\det(g)|_{F}\) and \(|\mathrm{nrd}(\gamma_0)|_{F}^{-1}=|\det(g_0)|_{F}\). If \(P_{\gamma_0^{-1}\gamma}\) is irreducible and \(P_{\gamma_0^{-1}\gamma}(0)P_{\gamma_0^{-1}\gamma}\not=0\), or if \[ \mathrm{Res}(P_{\gamma_0^{-1}\gamma}, P_{x^{-1}g})\not=0 \] then the following intersection number is finite and given by the formula \[ \chi(Z_{n}(\phi \tau))\otimes^{L}_{\mathcal{M}_{n}}\beta^{m+n}_{n^{*}}\beta^{m+n}_{n}(\gamma_0, g_0)^{*}Z_{n}(\gamma\cdot \phi, g\cdot \tau)=C_{n}|\mathrm{Disc}_{K/F}|^{-h^2}_{F}\int_{GL_{2h}(F)}f(x)|\mathrm{Res}(P_{\gamma_0^{-1}\gamma}, P_{x^{-1}g})|^{-1}_{F}dx \] where \(P_{x^{-1}g}\) is the invariant polynomial of \(x^{-1}g\in \mathrm{GL}_{2h}(F)\) with respect to the \(\textit{embedding}\) \(\mathrm{GL}_{h}(K)\in \mathrm{GL}_{2h}(F)\) induced by \(\tau\). Here the Haar measure \(dx\) is normalized by \(\mathrm{GL}_{2h}(\mathcal{O}_{F})\). Reviewer's remark: The paper uses quite intricate arguments in commutative algebra, which makes it a bit hard to read. I think it would be more interesting if the author would provide some examples beyond the baby case in the introductory section.