Conjecture 9 [03VH] 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 4 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Conjecture 9
1) The image Γ ρ X \Gamma_{\rho_{X}} of A u t ( X ) Aut(X) in A u t ( Λ X , ρ X ) Aut(\Lambda_{X},\rho_{X})
is a subgroup of Γ v X \Gamma_{v_{X}} where
v X := v a l K ∘ ρ X : Λ X → 𝐑 v_{X}:=val_{K}\circ\rho_{X}:\Lambda_{X}\to{{\bf R}} .
2) The homomorphism A u t ( X ) → A u t 𝐙 P L , v X ( S 2 ) Aut(X)\to Aut_{{{\bf Z}}PL,v_{X}}(S^{2}) is conjugate to the
restriction to Γ ρ X \Gamma_{\rho_{X}} of the homomorphism ϕ v X \phi_{v_{X}}
defined in the previous subsection.