The \(4n^2\)-inequality for complete intersection singularities (Q1707591)

The paper investigates the famous \(4n^2\)-inequality for generic complete intersection singularities. The main result is that, let \((X, o)\) be a germ of a complete intersection singularity of codimension \(l\) and type \((\mu_1,\ldots,\mu_l)\), where \(\dim X\geq l + \mu_1 +\cdots + \mu_l + 3,\) and assume that it is generic, let \(\Sigma\) be a mobile linear system on \(X\) such that for some positive \(n \in \mathbb{Q}\) the pair \((X, \frac{1}{n}\Sigma\)) is not canonical at the point \(o\) but canonical outside this point, then the self-intersection \(Z = (D_1 \circ D_2)\) of the system \(\Sigma\) satisfies the inequality \(\text{mult}_o Z>4n^2 \text{mult}_o X\). When \(\text{mult}_o X = 1\), this is the standard \(4n^2\)-inequality. Such inequality are expected to have applications to birational rigidity problems of singular Fano complete intersections.