In Feng, Magidor, and Woodin "Universally Baire Sets of Reals", they show that if $A$ is a $\mathbf{\Pi}\_2^1$ set and $U$ and $V$ are any pair of trees witnessing the universal baireness of $A$, then in all generic extension, one continues to have $A = p[U]$, where $A$ as defined by the $\mathbf{\Pi}\_2^1$. 


Is this true for $\mathbf{\Pi\_3^1}$ (or more generally any higher projective sets)? Rather than any pair of trees as in the $\mathbf{\Pi}\_2^1$ case, if one assumes all $\mathbf{\Pi}\_3^1$ sets are universally baire, does there exists some pair of trees $T$ and $U$ such that $T$ continues to represent a given $\mathbf{\Pi}\_3^1$ set $A$ in all generic extensions? What about, if one fix a particular forcing $\mathbb{P}$, can one find pairs of trees $T$ and $U$ that continue to represent a particular $\mathbb{\Pi}\_3^1$ set in $\mathbb{P}$ extensions. 




---


To be a bit more precise. Suppose $\varphi$ is a $\Pi\_3^1$ formula possible using some reals as parameters. With appropriate large cardinals, all $\mathbf{\Pi}\_3^1$ sets are universally Baire. Hence there are trees $T$ and $U$ such that


$V \models (\forall x)(\varphi(x) \Leftrightarrow x \in p[T])$ and $V \models (\forall x)(\neg \varphi(x) \Leftrightarrow x \in p[U])$ 


If $\mathbb{Q}$ is a forcing, then $1\_\mathbb{Q} \Vdash\_{\mathbb{Q}} ...$ the same two statements.


The question is for any $\mathbf{\Pi}\_3^1$ formula $\varphi$ can one find trees $T$ and $U$ witnessing universally Baireness with the additional property that:


For all forcings $\mathbb{Q}$, $1\_\mathbb{Q} \Vdash (\forall x)(\varphi(x) \Leftrightarrow x \in p[\check T])$. 


This is what I mean by a $\mathbf{\Pi}\_3^1$ sets being represented by the same tree in all generic extensions. 




---


Thanks for any information that can be provided. 



Universally Baire Tree Representation of Projective Sets
If we assume the existence of large cardinals (as in the latest version of the question) then such trees for $\Pi^1\_3$ formulas exist. First let's get a local version, meaning a tree for a given $\Pi^1\_3$ formula that works for all posets below a certain cardinality. At the end I will mention how to get trees that work for posets of arbitrary cardinality.




---


Let $S\_1$ be a tree on $\omega \times \omega \times \omega \times \omega$ for a given $\Sigma^1\_1$ formula.
Let $\kappa$ be a cardinal. Then $S\_1$ has a $\mathord{<}\kappa$-absolute complement $T\_1$, which is a tree on $\omega \times \omega \times \omega \times \kappa$, namely the tree of attempts to build a real $x \in p[S\_1]$ and a rank function on the tree $(S\_1)\_x$ with values in $\kappa$.


The tree $T\_1$ is a tree for the corresponding $\Pi^1\_1$ formula, and it works in every generic extension by a poset of size less than $\kappa$.
From $T\_1$ we obtain in a natural way a tree $S\_2$ on $\omega \times \omega \times \kappa$ for the corresponding $\Sigma^1\_2$ formula. (This tree $S\_2$ is just the Shoenfield tree, but we need to pay attention to how it was constructed.)
The tree $S\_2$ also works in every generic extension by a poset of cardinality less than $\kappa$.


Now assume that $\kappa$ is measurable. Then by Martin's proof of $\Sigma^1\_1$ determinacy, the tree $T\_1$ is $\kappa$-homogeneous, which implies that the Shoenfield tree $S\_2$ is $\kappa$-weakly homogeneous. Then by Martin and Solovay ("A basis theorem for $\Sigma^1\_3$ sets of reals") the tree $S\_2$ has a $\mathord{<}\kappa$-absolute complement $T\_2$. (This tree $T\_2$ is a tree on $\omega \times \omega \times \gamma$ for an ordinal $\gamma$ that is a little bit larger than $\kappa$; its exact value is not very important.)


The Martin–Solovay tree $T\_2$ is a tree for the corresponding $\Pi^1\_2$ formula, and it works in every generic extension by a poset of cardinality less than $\kappa$.
From $T\_2$ we obtain in a natural way a tree $S\_3$ on $\omega \times \gamma$ for the corresponding $\Sigma^1\_3$ formula. The tree $S\_3$ also works in every generic extension by a poset of cardinality less than $\kappa$.


Now assume also that there is a Woodin cardinal $\delta < \kappa$.
Then by Martin and Steel ("A proof of projective determinacy") the fact that $T\_1$ is $\kappa$-homogeneous, and therefore $\delta^+$-homogeneous, implies that the tree $T\_2$ is $\mathord{<}\delta$-homogeneous. So the tree $S\_3$ is $\mathord{<}\delta$-weakly homogeneous, and applying the Martin–Solovay construction again we get a tree $T\_3$ for the corresponding $\Pi^1\_3$ formula that works in every generic extension by a poset of size less than $\delta$, as desired.




---


If we want trees for $\Pi^1\_3$ formulas that work in generic extensions by posets of arbitrary size, we can assume that there is a proper class of Woodin cardinals, but this is overkill in terms of consistency strength. It suffices to assume that $M\_1^\sharp(X)$ exists for every set $X$. This $M\_1^\sharp(X)$ is a mouse over $X$ with a Woodin cardinal and a partial measure on top.


If you only want to show that the existence of such trees for $\Pi^1\_3$ formulas is *consistent*, rather than showing that it holds in $V$, you can weaken the hypothesis further: given a strong cardinal $\kappa$, it follows from a theorem of Woodin that forcing with $\text{Col}(\omega,2^{2^\kappa})$ creates trees for $\Pi^1\_3$ formulas that work in all further generic extensions.


Some references for this material are Steel's paper "The derived model theorem" (as Yizheng mentioned,) Larson's book "The Stationary Tower", and Kanomori's book "The Higher Infinite" (Section 32 in particular.)


