MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|cite|improve this question
up vote 1 down vote accepted

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$.

share|cite|improve this answer
thank you very much – Đức Anh Jan 22 '13 at 12:39

[ 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$.

share|cite|improve this answer
thank you very much. So what can we say about the homology of $S$? Do you know any reference? – Đức Anh Jan 22 '13 at 6:40
@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$. – Serge Lvovski Jan 22 '13 at 7:16
@Serge: You are right. I edited. – Gregory Arone Jan 22 '13 at 8:32

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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