ScalingStacks

\remaname 6.2.12 . [01VI]

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.12.

On peut définir des fonctions 𝐐\mathbf{Q}-PL comme les fonctions dont un multiple entier (non nul) est PL, voire les fonctions 𝐑\mathbf{R}-PL comme le sous-espace réel engendré par les fonctions PL.

On pourrait définir de même une métrique 𝐐\mathbf{Q}-PL (resp. 𝐑\mathbf{R}-PL) sur un fibré vectoriel EE comme on l’a fait pour les métriques PL, en remplaçant l’égalité (6.2.9.1) de la définition 6.2.9 par ∥(∑fi​ei)​(x)∥=max⁡ui​(x)​|fi​(x)|\mathopen{\|}{(\sum f_{i}e_{i})(x)}\mathclose{\|}=\max u_{i}(x)\mathopen{|}{f_{i}(x)}\mathclose{|}, où les uiu_{i} sont des fonctions strictement positives telles que log⁡(ui)\log(u_{i}) soit 𝐐\mathbf{Q}-PL (resp. 𝐑\mathbf{R}-PL) pour tout ii.

Une métrique sur un fibré en droites LL est dite 𝐐\mathbf{Q}-formelle s’il existe un entier n≥1n\geq 1 tel que la métrique induite sur la puissance tensorielle L⊗nL^{\otimes n} est formelle. Une métrique 𝐐\mathbf{Q}-formelle est 𝐐\mathbf{Q}-PL.

Ces métriques sont importantes en pratique.

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