A remark on Barth's connectivity theorem (Q2428559)

Let \(X\subset {\mathbb{P}}^{n+r}\) be a smooth projective variety of dimension \(n\). \textit{W. Barth} [Am. J. Math. 92, 951--967 (1970; Zbl 0206.50001)] proved that the restriction induces an isomorphism \(H^i( {\mathbb{P}}^{n+r}, \mathbb{Q})\cong H^i(X, \mathbb{Q})\) for all \(i\leq n-r\). Fulton observed that Barth's theorem holds if \(X\) has lci singularities and if \(X\) has any singularities, then \(H^1( {\mathbb{P}}^{n+r}, \mathbb{Q})\cong H^1(X, \mathbb{Q})\). Lyubeznik and Okonek also showed that Barth's theorem holds for some varieties with special singularities. Different from Barth's topological proof, \textit{R. Hartshorne} [Bull. Am. Math. Soc. 80, 1017--1032 (1974; Zbl 0304.14005)] gave an algebraic approach. Let \(P\) be a smooth projective variety of dimension \(n+r\) such that for all \(i\leq t\), \(t\) is an integer, \[ H^i(P, \mathbb{Q})=\begin{cases} 0 &\text{if \(i\) is odd}\\ \mathbb{Q} &\text{if \(i\) is even.}\end{cases} \] Let \(X\subset P\) be a smooth projective variety of dimension \(n\). Then for all \(i\leq t-2r\), Hartshorne proved that \[ H^i(P, \mathbb{Q})\cong H^i(X, \mathbb{Q}). \] By modifying Hartshorne's proof, the author generalizes Hartshorne's theorem to singular variety \(X\subset P\) (where \(P\) is the same smooth projective variety as above): if \(X\) has dimension \(n\) and \(X\setminus S\) is smooth, where \(S\) is a closed subvariety of \(X\) with dimension \(s\) and \(3s\leq n-r\), then for all \(i\leq t-2r\), \[ Gr^W_iH^i(X, \mathbb{Q})=\begin{cases} 0&\text{if \(i\) is odd}\\ \mathbb{Q}&\text{if \(i\) is even.}\end{cases} \] Here \(W\) denotes Deligne's weight filtration.