PomeProposition 20.2.8.45EA06425921 Let $\varphi \in \mathrm{QPSH}(X)$ such that $\nu (\varphi ,Y)=0$. Suppose that $\psi $ and $\psi '$ are trace operators of $\varphi $ along $Y$. Then $\psi $ and $\psi '$ are $\mathcal{I}$-good and $\psi \sim _ P\psi '$.
Proposition 20.2.845EA06425921
Proof. The restrictions of the analytic approximants have analytic singularities on $\widetilde{Y}$, so the claim follows from theorem 18.1.2. The fact that $\psi \sim _ P\psi '$ follows from proposition 20.2.4 and proposition 16.9.6. $\square$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.