Theorem A.3 . [03AF] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 9 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
Theorem A.3 .
With the previous hypothesis, the skeleton Δ 𝒳 ⊂ X an \Delta_{\mathscr{X}}\subset X^{{\mathrm{an}}} is given by
Δ 𝒳 = ζ K ( Δ Π ) . \Delta_{\mathscr{X}}=\zeta_{K}(\Delta_{\Pi}).
The restriction to 𝕋 an \mathbb{T}^{{\mathrm{an}}} of the retraction p 𝒳 p_{\mathscr{X}} is the
composition
p 𝒳 ∣ 𝕋 an = ζ K ∘ p Π ∘ {val} K . p_{\mathscr{X}}\mid_{\mathbb{T}^{{\mathrm{an}}}}=\zeta_{K}\circ p_{\Pi}\circ\Val_{K}.