Orthogonality of divisorial Zariski decompositions for classes with volume zero (Q2418798)

Consider the following statement: Conjecture: Let \((X, \omega)\) be a compact Kähler manifold, and \(\alpha\) a pseudoeffective \((1,1)\) class. Then \[ \langle \alpha^{n-1} \rangle \cdot \alpha = \mathrm{Vol}(\alpha), \] where \(\textrm{Vol}(\alpha)\) is the volume of the class \(\alpha\) and \(\langle \cdot \rangle\) is the moving intersection product of classes in the sense of Boucksom. The above is known as the orthogonality conjecture for divisorial Zariski decompositions, which was observed by \textit{S. Boucksom} et al. [J. Algebr. Geom. 22, No. 2, 201--248 (2013; Zbl 1267.32017); J. Algebr. Geom. 18, No. 2, 279--308 (2009; Zbl 1162.14003)] and is equivalent to the weak transcendental Morse inequalities, the \(C^1\) differentiability of the volume function on the big cone, and the ``cone duality'' conjecture, i.e., \textit{the dual cone of the pseudoeffective cone is the movable cone}. This was proven for \(X\) projective in [\textit{S. Boucksom} et al., J. Algebr. Geom. 22, No. 2, 201--248 (2013; Zbl 1267.32017); \textit{D. W. Nyström}, J. Am. Math. Soc. 32, No. 3, 675--689 (2019; Zbl 1429.32031)], and formulated as a conjecture on arbitrary compact Kähler manifolds in [\textit{S. Boucksom} et al., J. Algebr. Geom. 22, No. 2, 201--248 (2013; Zbl 1267.32017)]. The main result of this note is a proof of the orthogonality conjecture on arbitrary compact Kähler manifolds for pseudoeffective \((1,1)\) classes that are assumed to have volume zero.