Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question

2 Answers 2

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|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|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
1  
@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

 
discard

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.