ScalingStacks

\remaname 6.2.5 . [01V9]

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

\remaname 6.2.5.

Soit LL un fibré en droite muni d’une métrique. Pour que cette métrique soit lisse, il faut et il suffit que pour toute section inversible ss sur un ouvert UU de XX, la fonction log⁡∥s∥\log\mathopen{\|}{s}\mathclose{\|} soit lisse sur UU.

La nécessité de la condition est évidente, car ∥s∥\mathopen{\|}{s}\mathclose{\|} est la composition de la norme et de la section U→𝐕⁡(E)U\rightarrow\mathbf{V}(E) déduite de ss, l’image de cette section étant contenue dans le complémentaire de la section nulle. Inversement, la section ss fournit un isomorphisme de 𝐕⁡(E)|U\mathbf{V}(E)|_{U} avec 𝐀1×U\mathbf{A}^{1}\times U ; par cet isomorphisme, la métrique est transformée en l’application (t,x)↦|t|​∥s⁡(x)∥(t,x)\mapsto\mathopen{|}{t}\mathclose{|}\mathopen{\|}{s(x)}\mathclose{\|} ; sa restriction au complémentaire 𝐆m×U\mathbf{G}_{\mathrm{m}}\times U de la section nulle est donc lisse.

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