Isometries for the modulus metric in higher dimensions are conformal mappings (Q2236586)

Let \(D\subset\mathbb{R}^{n}\), \(n\geq 2\), be a domain and let \(x,y\in D\). The modulus metric \(\mu_D(x,y)\) is defined by \[\mu_D(x,y)=\inf_{\gamma\in C_{xy}}\mathrm{cap}(D,\gamma), \] where \(C_{xy}\) is the family of all curves \(\gamma\) joining \(x\) to \(y\) in \(D\) and \(\mathrm{cap}(D,\gamma)\) denotes the conformal capacity of the condenser \((D,\gamma)\). \textit{J. Ferrand} et al. [J. Anal. Math. 56, 187--210 (1991; Zbl 0758.30018)] conjectured that every isometry \[f:(D_{1},\mu_{D_{1}})\mapsto(D_{2},\mu_{D_{2}})\] is a conformal mapping. \textit{D. Betsakos} and the reviewer [Trans. Am. Math. Soc. 372, No. 4, 2735--2752 (2019; Zbl 1441.30034)] proved that the conjecture is true in the case \(n=2\). The author in the paper under review, following the main ideas in [loc. cit.], using a geometric property of the level sets of \(n\)-harmonic measure and an accurate asymptotic behavior of the capacity of the Grötzsch ring, proves that the conjecture is true for all \(n\geq 3\). Independently, the reviewer and \textit{A. Yu. Solynin} [J. Anal. Math. 143, No. 1, 179--205 (2021; Zbl 1476.30106)] proved that the conjecture is true for all \(n\geq 2\), using a different method of proof.