This question is related to [this one](https://mathoverflow.net/questions/61075/normal-measures-on-p-kappa-lambda-extend-the-club-filter). The setup is as follows:


In $V$, $\kappa$ is supercompact and $\mathbb{P} = \mathrm{Coll}(\kappa, \aleph\_2)$ is the Levy collapse. $G$ is $(V,P)$-generic, and in $V[G]$, $C \subset P\_{\kappa}(\lambda)$ is club. Let $j : V \to M$ be an embedding witnessing $\lambda$-supercompactness of $\kappa$. Lift this embedding to $j^{\ast} : V[G] \to M[G \times H]$ where we may assume $H$ is generic over $V[G]$ for the poset $\mathrm{Coll}^{V[G]}(j(\kappa), \aleph\_2)$ (note $\aleph\_2 ^{V[G]} = \kappa$). Now in $V[G \times H]$ we define $U \subset P\_{\kappa}^{V[G]}(\lambda)$ by:


$x \in U$ iff $j[\lambda] \in j^{\ast}(x)$.


This $U$ belongs to $V[G \times H]$, but $V[G]$ "would" think its a normal measure on $P\_{\kappa}^{V[G]}(\lambda)$, i.e. it's $\kappa$-complete if we restrict to $<\kappa$-sequences in $V[G]$ and it's normal if we restrict to regressive functions $f : P\_{\kappa}^{V[G]}(\lambda) \to \lambda$ where $f \in V[G]$. My question:


**Does $U$ also extend the club filter, if we restrict to clubs in $V[G]$?**



Does a generic normal measure extend the club filter?
With the help of Jason's answer to the question I linked to, I think I might be able to solve this one. The key is to show that $P\_{\kappa}^{V[G]}(\lambda) \in M[G\times H]$. Let's simply denote this set by $X$. An element $x$ of $X$ can be regarded as a function $x : \omega\_1 \to \lambda$, which will be a subset of $\omega\_1 \times \lambda$. A nice name for such a subset is a map, in $V$, from $\omega\_1 \times \lambda$ to the collection of antichains in $\mathbb{P}$. Since $\mathbb{P}$ has the $\kappa$-chain condition and $\mathbb{P} \in M$, $M$ correctly knows the set of antichains of $\mathbb{P}$. Since $M^{\lambda} \subset M$, $M$ correctly knows the set of nice $(V,\mathbb{P})$-names for subsets of $\omega\_1 \times \lambda$, let's call this set $Y$.


Now $\mathbb{P}$ names are $j(\mathbb{P})$ names (since $\mathbb{P} \subset j(\mathbb{P})$), so we get that


$X = \{ \dot{x}^{G\times H}\ |\ \dot{x}^{G\times H} : \omega\_1 \to \lambda, \dot{x} \in Y \} $ 


This is since $\dot{x}^{G \times H} = \dot{x}^G$ for nice $(V,\mathbb{P})$-names. So $X \in M[G \times H]$ as desired.




---


Recall, we want to show that $U$ extends the club filter, so take $C \in V[G]$ club in $X$. Following the hint in the previous question, we want to show that 


* $D = \{j^{\ast}(x)\ |\ x \in C\}$ belongs to $M[G \times H]$
* $D$ has size less than $j(\kappa)$ in $M[G \times H]$, and
* $\bigcup D = j''\lambda$.


Then, since $D$ is a directed subset of $j^{\ast}(C)$, elementarity will give us that $j''\lambda \in j^{\ast}(C)$, as desired.


Since $M^{\lambda} \subset M$, we know that $g := j\upharpoonright \lambda \in M$. So for $x \in X$ (and in particular for $x \in C$), $j^{\ast}(x) = j''x = g''x$. Using this it's not hard to see that $\bigcup D = j''\lambda$. It also implies that


$j^{\ast}$ $''X$ $= \{j^{\ast}(x)\ |\ x \in X\}$ $= \{j''x\ |\ x \in X\} = \{g''x\ |\ x \in X\}$ 


belongs to $M$. Now if $h : X \to C$ is a surjection in $V[G]$, then $j^{\ast}(h)\upharpoonright j^{\ast}$ $''X$ is belongs to $M[G\times H]$ and its range is $D$, so $D \in M[G\times H]$. 


It remains to show $M[G\times H] \vDash |D| < j(\kappa)$. Since $j(\kappa)$ is inaccessible in $M$, there's some bijection $i: \alpha \to Y$ in $M$ for some $\alpha < j(\kappa)$. This gives a surjection $k : \alpha \to X$ in $M[G\times H]$. We can obtain a bijection $l : X \to j^{\ast}$ $''X$ via $l(x) = g''x$. And $j^{\ast}(h)\upharpoonright j^{\ast}$ $''X$ is a surjection onto $D$. So: 


$M[G\times H] \vDash |D| \leq |j^{\ast}$ $''X| = |X| \leq \alpha < j(\kappa)$.


