ガロア作用としての数論的フロベニウスと幾何学的フロベニウス
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/21 01:24 UTC 版)
「フロベニウス自己準同型」の記事における「ガロア作用としての数論的フロベニウスと幾何学的フロベニウス」の解説
S のフロベニウス写像を同型とすると、フロベニウス写像は S の群の自己同型の部分群を生成する。S = Spec k が有限体のスペクトルとすると、自己同型は素体上の体のガロア群となり、フロベニウス写像とその逆は、双方とも自己同型群を生成する。加えて、X(p) と X(1/p) は X と同一視される。従って、数論的フロベニウス写像と幾何学的フロベニウス写像は、X の自己準同型であり、それらは X 上の k のガロア群の作用を導く。 K-点 X(K) の集合を考える。この集合はガロア作用を伴う。そのような各々の点 x は、構造層から x での剰余体への準同型 OX → k(x) ≅ K に対応し、x へのフロベニウス作用は剰余体へフロベニウス準同型を適用することである。このガロア作用は、数論的フロベニウスの作用に一致する。合成写像 O X → k ( x ) → F k ( x ) {\displaystyle {\mathcal {O}}_{X}\to k(x){\xrightarrow {F}}k(x)} は、合成写像 O X → F X / S a O X → k ( x ) {\displaystyle {\mathcal {O}}_{X}{\xrightarrow {F_{X/S}^{a}}}{\mathcal {O}}_{X}\to k(x)} と、数論的フロベニウスの定義により、同じものとなる。結局、数論的フロベニウスは、明らかに X の自己準同型として、ガロア群の作用を示している。
※この「ガロア作用としての数論的フロベニウスと幾何学的フロベニウス」の解説は、「フロベニウス自己準同型」の解説の一部です。
「ガロア作用としての数論的フロベニウスと幾何学的フロベニウス」を含む「フロベニウス自己準同型」の記事については、「フロベニウス自己準同型」の概要を参照ください。
- ガロア作用としての数論的フロベニウスと幾何学的フロベニウスのページへのリンク