Hodge type of the exotic cohomology of complete intersections. (Q1871496): Difference between revisions

Let \(X\subset\mathbb{P}^n\) be a complete intersection of multi-degree \(d_1\geq d_2\geq \cdots\geq d_1\geq 1\) over a field of characteristic zero. If \(X\) is smooth, the cohomology \(H^i(X)/H^i(\mathbb{P}^n)\) is concentrated in the middle dimension \(i=\dim X=n-r\). If, however, it is singular, some of the groups \(H^i(X)/H^i (\mathbb{P}^n)\), known to be isomorphic to \(H_c^{i+1} (\mathbb{P}^n/X)\), might not vanish for some \(i\) with \(\dim X<i \leq 2\dim X\). The paper is concerned with the Hodge type \(HT (H_c^{i+1} (\mathbb{P}^n/X))\) of \(H_c^{i+1} (\mathbb{P}^n/X)\), which is defined to be \(\max \{\mu\in\mathbb{Z}_{\geq 0};F^\mu H_c^{i+1} (\mathbb{P}^n/X)= H_c^{i+1} (\mathbb{P}^n/X)\}\). The main theorem (Theorem 2.3) gives a lower bound for the Hodge types to the effect that one has \(HT (H_c^{n+1 -r+i}(\mathbb{P}^n/X))\geq\kappa_\ell+\ell\) for any \(i\geq\ell\), where \(\ell\in[0,n+1-r]\) and \(\kappa_\ell= \max\{0,\lfloor (n-\ell-d_1-\cdots-d_r)/d_1\rfloor\}\). The case \(\ell=0\) is the main result of [\textit{H. Esnault}, Math. Ann. 288, 549--551 (1990; Zbl 0755.14006)].