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

Let $B_i^p$ be a family of sets, where $p\in \mathbb{N}$ and $i \in I$, $I$ being a directed set, and such that, for every $i$, we have a descending chain of inclusions

$$ \dots \supset B_i^{p-1} \supset B_i^p \supset B_i^{p+1} \supset \dots $$

Question: is the following implication true?

$$ \bigcap_p B_i^p = \emptyset, \ \text{for all} \ i \quad \Longrightarrow \quad \bigcap_p \varinjlim_i B_i^p = \emptyset \ . $$

Since $\bigcap_{}$ is a limit, this seems a problem of an interchange of limits and filtered colimits and indeed there is a universal map

$$ \varphi: \varinjlim_i \bigcap_p B_i^p \ \longrightarrow \ \bigcap_p \varinjlim_i B_i^p $$

If $\varphi$ was a bijection, then my implication would be true with no doubts, but, since the intersection is not finite, I can not say that $\varphi$ is a bijection. Nevertheless, could my implication still be true, without $\varphi$ being a bijection?

The reason behind my question is the following: let $(A_i, F_i)$ be a directed family of filtered sets (or abelian groups, or modules; in fact, in my problem they are cochain complexes). Since filtered colimits (direct limits) are exact, you can define a filtration on the colimit like this:

$$ F^p\varinjlim_i A_i = \varinjlim_iF_i^pA_i \ . $$

Now assume all the filtrations $F_i$ are Hausdorff; that is, $\bigcap_p F_i^pA_i = 0$ for all $i$. Is it then necessarily true that the filtration $F$ on $\varinjlim_iA_i$ is Hausdorff too?

This question is a sequel to my previous question Convergence of right half-plane spectral sequence bounded on the right . Despite Tilman's counterexemple to my guess there, I think I've managed almost to prove it because my spectral sequences are right half-plane and this is the final detail I need.

share|improve this question

1 Answer 1

up vote 2 down vote accepted

Unfortunately, there seems to be a counterexample: Let $B^p_i$ be the interval $(p-i,\infty)$ in the integers $\mathbb{Z}$, for natural numbers $p$ and $i$. In this case, we have $B^{p+1}_i\subset B^p_i$, and for any fixed $i$, we have $\bigcap_p B^p_i=0$, since $p$ runs out to infinty. But for fixed $p$, the limit of $B^p_i$ as $i$ increases is all of $\mathbb{Z}$. Thus, the intersection of these limits is also $\mathbb{Z}$, which is not empty.

A simpler counterexample, using the same idea: let $B^p_i=A$ for some fixed non-empty $A$, if $p\lt i$, otherwise $B^p_i=$ emptyset. In this case, for fixed $i$ we have $\bigcap_p B^p_i=0$, since eventually $p$ exceeds $i$, but for fixed $p$, the $B^p_i$ are eventually equal to $A$ as $i$ increases, and so have limit $A$.

share|improve this answer
    
Ok. I'm afraid you're right: I'll have to look the problem more closely. –  a.r. Aug 10 '10 at 11:33

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.