Cohomology with compact supports for cohomologically \(q\)-convex spaces (Q1411077)

Let \(X\) be a complex space (reduced and with countable topology) of dimension \(n\). We say that \(X\) is cohomologically \(q\)-convex if the cohomology groups \(H^i(X,\mathcal F)\), \(i\geqq q\), are finite dimensional complex vector spaces, for any coherent analytic sheaf \(\mathcal F\) on \(X\). If all these cohomology groups vanish, then \(X\) is said to be cohomologically \(q\)-complete. For each \(p\in\mathbb N\) denote by \(\Omega_X^p\) the sheaf of germs of holomorphic \(p\)-forms on \(X\). The following topological property is known: If \(X\) is cohomologically \(q\)-convex (resp., cohomologically \(q\)-complete), then \(\dim H_{n+i}(X,\mathbb C) < +\infty\) (resp., \(H_{n+i},(X,\mathbb C) = 0\)), for all integers \(i\geqq q\). The author proves the ``dual'' property for cohomology with compact supports: If \(X\) is cohomologically \(q\)-convex (resp., cohomologically \(q\)-complete), then \(\dim H^{i}_c(X,\mathbb C) < +\infty\) (resp., \(H_c^{i}(X,\mathbb C) = 0\)) for integers \(i\leqq\nu_q(X)- q\), where \(\nu_q(X) := \min\{\text{prof} (\Omega_X^0), \text{prof}(\Omega_X^1),\dots, \text{prof}(\Omega_X^{n-q})\}.\) If \(X\) is a complex space, \({\mathcal F}\) a coherent analytic sheaf of \(X\), \(x\in X\), \(\mathbb C^{m(x)}\) the Zariski tangent space of \(X\) at \(x\), \(d\leq m(x)\), then \(\text{prof}({\mathcal F})\) is defined by \(m(x)-d=: \text{prof}({\mathcal F})\). For more explicit definition of the terms see the paper itself.