Logarithms and deformation quantization (Q730182)

\textit{M. Kontsevich}'s statement/conjecture [Lett. Math. Phys. 48, No. 1, 35--72 (1999; Zbl 0945.18008)] that asserts existence of the logarithmic formality morphism \(\mathcal{U}^{\log}\) is proved. The authors remark that \(\mathcal{U}^{\log}\) have nice number theoretical properties [the first and the third author, Commun. Math. Phys. 300, No. 1, 47--64 (2010; Zbl 1204.17015); the second and the fourth author, ``Etingorf's conjecture about Drinfeld associators'', Preprint, \url{arXiv:1404.2047}]. Kontsevich solved the deformation quantization as a corollary of the existence of an \(L_\infty\)-quasi-isomorphism \[ \mathcal{U}:T_{\mathrm{poly}}M\to D_{\mathrm{poly}}M, \] where \(T_{\mathrm{poly}}M\) and \(D_{\mathrm{poly}}M\) are graded Lie algebras of multivector fields and multi-differential operators on a smooth manifold \(M\). The main part of the argument is an explicit form \[ \mathcal{U}_n(\gamma_1,\ldots,\gamma_n)=\sum_{\Gamma\in\mathrm{Graph}_{n,m}}\bar{\omega}_\Gamma D_\Gamma(\gamma_1,\ldots,\gamma_n), \] of the \(n\)-th component of \(\mathcal{U}\). Here \(\bar{\omega}_\Gamma=\int_{\mathrm{Conf}_{n,m}}\Omega_\Gamma\); \[ \Omega_\Gamma=\prod_{(i,j)\in E\Gamma}\frac{1}{2\pi}d\mathrm{arg}\bigl(\frac{z_i-z_j}{\bar{z}_i-z_j}\bigr). \] [\textit{M. Kontsevich}, Lett. Math. Phys. 66, No. 3, 157--216 (2003; Zbl 1058.53065)]. By Stokes' Theorem, we have \[ 0=\int_{\mathrm{Conf}_{n,m}}d\Omega_\Gamma=\int_{\partial\mathrm{Conf}_{n,m}}\Omega_\Gamma=\sum_i\bar{\omega}_{\Gamma_i'}\bar{\omega}_{\Gamma_i"}. \] This implies \(\mathcal{U}\) to be an \(L^\infty\)-morphism. Kontsevich stated/conjectured that by using \[ \Omega_\Gamma^{\log}=\prod_{(i,j)\in E\Gamma}\frac{1}{2\pi i}d\log\bigl(\frac{z_i-z_j}{\bar{z}_i-z_j}\bigr). \] instead of \(\Omega_\Gamma\), an alternative \(L^\infty\)-morphism can be obtained. In this paper, for \(|E\Gamma|=2n+m-2\), the logarithmic forms \(\Omega_\Gamma^{\log}\) extend to regular forms on compactified configuration spaces \(\mathrm{Cnf}_{n,m}\) (Section 3, Theorem 3). Hence \[ \bar{\omega}_\Gamma^{\log}=\int_{\mathrm{Conf}_{m.n}}\Omega_\Gamma^{\log} \] is defined. On the other hand, using local torus actions on the configuration spaces of points in the upper half-plane, a version of Stokes' Thoerem for differential forms with singularities at the boundary is derived in Section 2 (Theorem 1). Kontsevich's statement/conjecture is proved by using these results (Section 5, Theorem 4).