Does a generic normal measure extend the club filter? This question is related to this one.  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]$?
 A: 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)$.
