ScalingStacks

2.2.2 [01N1]

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

2.2.2

Rappelons que toute fonction analytique inversible sur 𝐆mn\mathbf{G}_{\mathrm{m}}^{n} est algébrique et, plus précisément, est même un monôme, c’est-à-dire de la forme a​T1m1​…​TnmnaT_{1}^{m_{1}}\dots T_{n}^{m_{n}}, où a∈k∗a\in k^{*} et (m1,…,mn)∈𝐙n(m_{1},\dots,m_{n})\in\mathbf{Z}^{n} est un vecteur appelé exposant. (En dimension 1, cet énoncé est le lemme 9.7.1/1 de [14], le cas général en découle par récurrence.)

Le morphisme 𝐆mn→𝐆m\mathbf{G}_{\mathrm{m}}^{n}\to\mathbf{G}_{\mathrm{m}} induit par une telle fonction est un homomorphisme de groupes analytiques si et seulement si a=1a=1.

Soit TT un tore. L’ensemble 𝖷⁡(T)\mathsf{X}(T) des caractères de TT, c’est-à-dire des morphismes de groupes analytiques de TT vers 𝐆m\mathbf{G}_{\mathrm{m}}, est un groupe abélien.

On déduit de ce qui précède que tout isomorphisme de TT avec 𝐆mn\mathbf{G}_{\mathrm{m}}^{n} induit un isomorphisme de 𝖷⁡(T)\mathsf{X}(T) avec 𝐙n\mathbf{Z}^{n}  ; on en déduit aussi que si TT et T′T^{\prime} sont deux tores, tout morphisme d’espace kk-analytique de TT vers T′T^{\prime} est affine, i.e. composé d’un morphisme de groupes analytiques et d’une translation  ; c’est donc un morphisme de groupes si et seulement si il envoie l’origine de TT sur l’origine de T′T^{\prime}. Pour cette raison, lorsque nous évoquerons un morphisme entre tores qui n’est pas nécessairement un morphisme de groupes, nous le qualifierons de morphisme affine.

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