Pseudonorms and theorems of Torelli type (Q342694): Difference between revisions

Let \(M\) be a complex projective manifold and \(s\) a section of \(\omega _M^{\otimes m}\), then in local coordinates \(z_1,\ldots , z_m\) we may write \(s=f(z_1,\ldots , z_n)(dz_1\wedge \ldots \wedge dz_n)^{\otimes m}\) and we let \(\langle s\rangle _m=|f(z_1,\ldots , z_n)|^{2/m}dx_1\wedge dy_1\wedge \ldots \wedge dx_n\wedge dy_n\) where \(z_j=x_j+iy_j\). The pseudonorm of \(s\) is given by \[ \langle \langle s\rangle \rangle _m=\int _M\langle s\rangle _m\in \mathbb R _{\geq 0}. \] If \(\psi:M'\to M\) is a birational map of complex projective manifolds, then the induced map \(\psi ^* :H^0(M,mK_M)\to :H^0(M',mK_{M'})\) is a linear isometry (with respect to \(\langle \langle \;\rangle \rangle _m\)) for all \(m>0\). In the paper under review, the author proves that if \(M\) and \(M'\) are canonically polarized complex projective manifolds of dimension \(n\) with isometric (with respect to \(\langle \langle \;\rangle \rangle _m\)) \(m\)-pluricanonical spaces \(H^0(M,mK_M)\) and \(H^0(M',mK_{M'})\) for some (computable) sufficiently big and divisible \(m\), then \(M\) and \(M'\) are isomorphic. Similar, but weaker results are given for projective manifolds with non-negative Kodaira dimension.