0
$\begingroup$

Good moring,

Let $\Omega$ be a domain in $\mathbb{C}^n$ and $S\subset\Omega$ an analytic subset of codimension 1. What can we say about the cohomology group $H^1(\Omega\backslash S, \mathbb{Z})$? E.g, when $\Omega$ is a ball?

Any help is appreciated. Thanks in advance.

Duc Anh

$\endgroup$

2 Answers 2

1
$\begingroup$

I am not sure about cohomology with coefficients in $\mathbb Z$, but if we replace $\mathbb Z$ by $\mathbb Q$ and if $\Omega$ is a ball, then Poincar\'e duality implies that $H^1(\Omega\setminus S,\mathbb Q)$ is dual to $H^{2n-1}_c(\Omega\setminus S,\mathbb Q)$ (cohomology with compact support). Now the exact sequence $$ H^{2n-2}_c(\Omega)\to H^{2n-2}_c(S)\to H^{2n-1}_c(\Omega\setminus S)\to H^{2n-1}_c(\Omega) $$ shows that $H^{2n-1}_c(\Omega\setminus S)\cong H^{2n-2}_c(S)$; the latter is isomorphic to $H^{2n-2}_c(S_{\mathrm{smooth}})$, that is, to $\mathbb Q^N$, where $N$ is the number of components of $S$.

$\endgroup$
0
2
$\begingroup$

[ Edited , following Serge Lvovsky's comment]

When $\Omega$ is a ball $H^1(\Omega\setminus S)\cong H_{2n-2}(S^c)$ by Alexander duality. Here $S^c$ is the one-point compactification of $S$.

$\endgroup$
3
  • $\begingroup$ thank you very much. So what can we say about the homology of $S$? Do you know any reference? $\endgroup$
    – Đức Anh
    Jan 22, 2013 at 6:40
  • 1
    $\begingroup$ @Gregory: are you sure? Suppose that $n=2$, $\Omega=\{(z,w)\colon |z|^2+|w|^2<1\}$, $S=\{(z,w)\in\Omega\colon w=0\}$. Then $H^1(\Omega\setminus S,\mathbb Z)=\mathbb Z$ but $H_2(S)=0$. $\endgroup$ Jan 22, 2013 at 7:16
  • $\begingroup$ @Serge: You are right. I edited. $\endgroup$ Jan 22, 2013 at 8:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.