Is there any description of the set of countably complete filters on the lattice of dense $G\_{\delta}$ subsets of a compact, second countable metric space? [I haven't just dreamt this up: it describes a space of ideals that I am looking at in a C\*-algebra.]



countably complete filters
We shall give a solution in the general lattice theoretic case. In this case, it seems easier
to work with ideals rather than filters. More generally, we shall characterize the collection of all $\sigma$-ideals in any $\sigma$-complete join-semilattice with least element $0$. This is a generalization of the duality between join-semilattices with $0$ and algebraic lattices.


We shall call an element $x$ in a complete lattice $L$ Lindelof if whenever $\mathcal{C}\subseteq L$ and $x\leq\bigvee\mathcal{C}$, there is a countable $\mathcal{D}\subseteq\mathcal{C}$ with $x\leq\bigvee\mathcal{D}$. The join of countably many Lindelof elements is Lindelof. If $(x\_n)\_{n\in\mathcal{N}}$ is a sequence of Lindelof elements and $\bigvee\_{n}x\_{n}\leq\bigvee\mathcal{C}$, then for each $n$, there is a countable $\mathcal{D}\_{n}\subseteq\mathcal{C}$ with $x\_{n}\leq\bigvee\mathcal{D}\_{n}$. Therefore, we have $\bigvee\_{n}x\_{n}\leq\bigvee\bigcup\_{n}\mathcal{D}\_{n}$. Therefore, the Lindelof elements in a complete lattice forms a $\sigma$-complete join-semilattice with $0$. We shall call a complete lattice $\sigma$-algebraic if every element is the join of Lindelof elements.


Theorem: If $A$ is a $\sigma$-complete lattice with $0$, then the lattice of $\sigma$-ideals in
$A$ is up to isomorphism the unique $\sigma$-algebraic lattice $L$ where the join-semilattice of Lindelof elements is isomorphic to $A$.


Proof: Let $L$ denote the lattice of $\sigma$ ideals in $A$. If $a\in A$, then let $\downarrow a=\{b\in A|b\leq a\}$. Then clearly each $\downarrow a$ is a $\sigma$-ideal. We claim that the elements of the form $\downarrow a$ are precisely the Lindelof elements in $L$. Assume that $I\in L$ is a Lindelof element. Then $I=\bigvee\_{a\in I}\downarrow a$, so there is a sequence $(a\_{n})\_{n\in\mathbb{N}}$ of elements in $I$ such that $I\leq\bigvee\_{n}\downarrow a\_{n}$. Then we have $I=\bigvee\_{n}\downarrow a\_{n}=\downarrow(\bigvee\_{n}a\_{n})$. Now if $a\in A$, and $\mathcal{C}\subseteq L$ is a collection of ideals with $\downarrow a\subseteq\bigvee\mathcal{C}$, then we have $a\in\bigvee\mathcal{C}$ and $\bigvee\mathcal{C}$ is the ideal generated by $\bigcup\mathcal{C}$. One can clearly see that $\bigvee\mathcal{C}$ is the collection of all elements $x$ where $x\leq\bigvee y\_{n}$ when $y\_{n}\in\bigcup\mathcal{C}$ for all $n$. Therefore $a\leq\bigvee\_{n} y\_{n}$ where $y\_{n}\in\bigcup\mathcal{C}$ for all $n$, so if $y\_{n}\in I\_{n}$ and $I\_{n}\in\mathcal{C}$, then $a\leq\bigvee\_{n}y\_{n}\in\bigvee\_{n}I\_{n}$, so $\downarrow a\leq\bigvee\_{n}I\_{n}$. Therefore the ideal $\downarrow a$ is Lindelof. We therefore have $\{\downarrow a|a\in A\}$ be precisely the collection of Lindelof elements in $L$. Thus, the join-semilattice of Lindelof elements in $L$ is isomorphic to $A$. Furthermore, if $I\in L$, then $I=\bigvee\_{a\in I}\downarrow a$. Therefore the lattice $L$ is $\sigma$-algebraic.


We now claim that $L$ is the unique such lattice. Assume that $M$ is another $\sigma$-algebraic lattice and assume that $A$ is the join-semilattice of Lindelof elements. Then $A$ is an algebraic lattice. Define a map $f:M\rightarrow L$ by letting $f(m)=\{a\in A|a\leq m\}$, and let $g:L\rightarrow M$ be the mapping where $g(I)=\bigvee^{M}I$. Clearly the mappings $f$ and $g$ are order preserving. Furthermore, if $m\in M$, then $g\circ f(m)=g(\{a\in A|a\leq m\})=\bigvee^{M}\{a\in A|a\leq m\}=m$ since $M$ is $\sigma$-algebraic. Similarly, if $I$ is an ideal, then $f\circ g(I)=f(\bigvee^{M}I)=\{a\in A|a\leq\bigvee^{M}I\}$. Clearly $I\subseteq\{a\in A|a\leq\bigvee^{M}I\}$. Similarly, if $a\in A$ and $a\leq\bigvee^{M}I$, then $a\leq\bigvee^{M}\{a\_{n}|n\in\mathbb{N}\}$ for some sequence $(a\_{n})\_{n}$ of elements in $I$. Therefore since $I$ is a $\sigma$-ideal, we have $a\in I$ as well. Therefore we have $\{a\in A|a\leq\bigvee^{M}I\}$ as well, so $I=\{a\in A|a\leq\bigvee^{M}I\}=f(g(I))$. Therefore the mappings $f$ and $g$ are inverse order preserving maps. Therefore $f$ and $g$ are isomorphisms between the lattices $L$ and $M$.


