ScalingStacks

Remark 2.5 . [03AU]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Remark 2.5.

If (𝒳,ℒ)({\mathscr{X}},{\mathscr{L}}) is an algebraic K∘{K^{\circ}}-model of (X,L)(X,L) as in 2.1, then we get an associated algebraic metric ∥∥ℒ{\|\hskip 4.30554pt\|}_{\mathscr{L}} on Lan{L^{\rm an}} by using the above construction for the formal K∘{K^{\circ}}-model (𝒳^,ℒ^)(\hat{{\mathscr{X}}},\hat{{\mathscr{L}}}) of (Xan,Lan)({X^{\rm an}},{L^{\rm an}}) from Remark 2.3. By construction, every algebraic metric is a formal metric. The converse is also true as shown in [GK14, Proposition 8.13] (as the argument does not use the assumption that KK is algebraically closed).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.