On the restriction formula

Abstract

Let $\phi$ be a quasi-psh function on a complex manifold $X$ and let $S\subset X$ be a complex submanifold. Then the multiplier ideal sheaves $\mathcal{I}(\phi {|}_S)\subset \mathcal{I}(\phi ){|}_S$ and the complex singularity exponents $c_x\left(\phi {|}_S\right)⩽c_x(\phi )$ by Ohsawa-Takegoshi $L^2$ extension theorem. An interesting question is to know whether it is possible to get equalities in the above formulas. In the present article, we show that the answer is positive when $S$ is chosen outside a measure zero set in a suitable projective space.