フロベニウス自己準同型
可換環論や体論では、フロベニウス自己準同型 (フロベニウス写像、) （フェルディナント・ゲオルク・フロベニウスの名前にちなむ）は、有限体を含む重要なクラスである素数の標数 をもつ可換環の特別な自己準同型のことを言う。この自己準同型写像は、各元を 乗する。ある文脈においては、自己同型となるが、一般にこれは正しくない。
を素数、 を標数 の可換環（たとえば、有限体や正標数の整域）とする。フロベニウス自己準同型写像（フロベニウス写像） は、 の任意の元 に対し
により定義される。明らかに、これは の乗法と整合的、つまり
が成り立ち、さらに
となる。一方で、 の加法に関しても興味深いことが言える。式 を二項展開する。 は素数であるので、 を割り切るが、 に対しいかなる も割り切らない。よって であれば、 は二項係数
の分子を割り切るが、分母を割り切らない。
したがって、 と を除くすべての項の係数は標数 で割り切れるので、それらは消える。したがって、
となる。以上からフロベニウス写像 は環準同型である。
が成り立つ。ここで と をそれぞれ と 上のフロベニウス写像とすれば、この式は
と書き換えられる。つまりフロベニウス写像たちは標数 の可換環がなす圏の恒等関手上の自然変換である。
またフロベニウス写像は、 が体であるときでさえ、全射であるとは限らない。たとえば、 を 元体 に超越元 を添加した体とする。同じことだが、 を 係数の一変数有理函数の体とする。このとき、 の像は を含まない。もし を像に含むとすると、有理函数 で、その 乗 が となるものが存在する。しかし、この 乗の次数は ゆえ、 の倍数である。特に、 の次数 1 とは一致しない。これは矛盾。以上から、 は の像ではない。
体 が完全であるとは、標数が 0 であるか、正の標数かつフロベニウス写像が全射であることを言う。たとえば、すべての有限体は完全である。
有限体 を考える。フェルマーの小定理により、 のすべての元 は、 を満たす。同じことだが、多項式 の根である。したがって、 の元は、この多項式の 個の根を決定し、この多項式は次数 なので、どんなに体を拡大しても 個よりも多くの根を持つことはない。特に、 が の代数拡大（代数的閉包、または他の有限体のような）であれば、 のフロベニウス写像に関する不変体は である。
同様の性質を有限体 formula_8 も持つ。formula_8 のすべての元は、多項式 formula_10 の根であるので、 が formula_8 の代数拡大であれば、 を のフロベニウス写像としたとき、 の に関する不変体は formula_8 である。 が formula_8-代数であるような整域であれば、フロベニウス写像の 乗の固定点は formula_8 の像の元である。
フロベニウス写像の繰り返しは、 の元の列
をもたらす。この繰り返しの列は、(Frobenius closure)やイデアルの(tight closure)の定義に使われる。
有限体の拡大のガロア群は、フロベニウス自己同型の繰り返しにより生成される。まず、基礎体が素体の場合を考える。 として を 元体とする。 のフロベニウス写像 は素体 を固定するので、ガロア群 の元である。実際、このガロア群は位数 の巡回群であり、 は生成元である。なぜならば、 は、元 を へ写すことにより作用し、これは 上の恒等写像である。 のすべての自己同型は のべきで、生成元は に互いに素な に対して、べき である。
ここで有限体 を の体の拡大と考える。 のフロベニウス自己同型 は、基礎体 を固定しないが、その -番目の繰り返し を固定する。ガロア群 は位数 の巡回群で、 により生成される。この群は の部分群で、 により生成される。 の生成元は、べき である。ここの は、 と互いに素である。
フロベニウス自己同型は、(absolute Galois group) 
の生成元ではない。何故ならば、このガロア群は、
であり、巡回群ではない。しかしながら、フロベニウス自己同型は の全ての有限拡大のガロア群の生成元ではないので、絶対ガロア群の全ての有限商の生成元である。結局、絶対ガロア群の上の普通のクルル位相でのトポロジカルな生成元である。
スキームのフロベニウス写像の定義方法にはいくつかの異なる方法がある。絶対フロベニウス写像は最も基本的である。しかし、絶対フロベニウス写像は、ベーススキームに注意を払わないので、相対的な状況下ではうまい振る舞いをしない。相対的状況下でフロベニウス写像が適用する方法は、いくつかの異なる方法があり、それぞれ有用である場合が異なっている。
 を標数 のスキームとする。 のアフィン開集合 を選ぶ。環 は -代数であるので、フロベニウス自己準同型を持つ。 を のアフィン開集合とすると、フロベニウスの自然性により、上へ制限したときの 上のフロベニウス写像は 上のフロベニウス写像である。結局、フロベニウス写像を貼り合わせることは、 の自己準同型を与える。この準同型のことを絶対フロベニウス写像と言う。定義により絶対フロベニウス写像は、 から自分自身への準同型である。絶対フロベニウス写像は、 -スキーム上の恒等函手からそれ自身への自然な変換である。
であるから、これは正しくない。前者は の始まる formula_19-代数構造の 作用であり、後者はフロベニウスにより引き起こされた formula_19 上の作用である。結局、 上のフロベニウス写像は formula_19-スキーム上の射ではない。
絶対フロベニウス写像は、次数 の純粋な非分離射である。この微分は 0 である。絶対フロベニウス写像は積を保存し、このことは任意の 2つのスキーム と に対し、 であることを意味する。
 を -スキーム の構造射とする。基本スキーム はフロベニウス写像 F を持っている。F と結合 は、フロベニウスによるスカラーの制限と呼ばれる -スキーム X を結果する。スカラーの制限は、実際、-射 は-射 を惹き起すので函手である。
例えば、標数 の環 A と A 上の有限な代数
を考える。R 上の A の作用は、
により与えられる。ここに α は多重インデックスとする。 とすると、 はアフィンスキーム であるが、構造射 、つまり、R 上の A の作用は異なっている。
何故ならば、フロベニウスによるスカラーの制限は単純な合成で、 の多くの性質はフロベニウス写像に対する適当な前提の下に X により引き継がれるからである。例えば、 と S が両方とも有限型であれば、X も有限型である。
フロベニウスによるスカラーの拡張(extension of scalars by Frobenius)は
と定義される。 要素への射影は、 を -スキームとする。 が脈絡が明らかではない場合、 は と書かれる。スカラーの制限のように、スカラーの拡張は、函手である。-射 は -射 を決定する。
前にのべたように、環 A と A 上の有限生成な代数 R を考え、再び とおくと、
となる。 の大域的切断は、
の形をしている。ここに α は多重インデックスで、全ての a と b は A の元である。この切断上のでの A の元 c の作用は、
である。結局、 は、
と同型である。ここに、
であれば、
である。任意の A-代数 R に対し同様なことが成り立つ。
スカラーの拡張はベースチェンジであるので、スカラーの拡張は極限や余積を保存する。特に、このことは が（群スキームのように）有限の極限を持つことばの代数構造を持っているとすると、 の形となることを意味する。さらにベースチェンジすることで、スカラーの拡大が有限タイプのときのように、有限表示、分離性、アフィン性などの性質を引き継ぐことを意味する。
スカラーの拡大は、ベースチェインジに対して、うまく振る舞う。射 が与えられると、自然な同型:formula_35
が存在する。
-スキーム "X" の相対的フロベニウス写像(relative Frobenius morphism)とは、
により定義される射
である。絶対フロベニウス写像は自然であるので、相対的フロベニウス写像は、-スキームの射である。
例えば、A-代数
を考える。すると、
を得る。相対的フロベニウス写像は、
により定義される準同型写像 である。
相対的フロベニウス写像は、ベースチェインジと整合性を持ち、その意味は、 と との自然な同型の下で、
を得る。
相対的フロベニウス写像は、普遍的な同相写像である。 を開埋め込みとすると、恒等写像となる。 が のイデアル I により決まる閉埋め込みとすると、 はイデアル層 より決定され、相対的フロベニウスは、増強された写像 である。
X が 上に不分岐であることと、F が不分岐であること、F が単射準同型(monomorphism)であることとは同値である。X が 上でエタールであることと、F がエタールであること、F が同型であることとは同値である。
-スキーム の数論的フロベニウス写像(arithmetic Frobenius morphism)は、
により定義される同型
である。すなわち、1 による F のベースチェインジである。
繰り返すと、
であれば、数論的フロベニウスは準同型
である。 を
のように置きなおすと、この準同型は
となる。
 の絶対フロベニウス写像が formula_49 を持ち可逆であるとする。formula_50 を -スキーム formula_51 と書くと、formula_49 により の拡張スカラーが存在する。
もし、
であれば、formula_49 による拡張は
を与える。もし、
であれば
と書くことができ、従って、同型
が存在する。
-スキーム の幾何学的フロベニウス写像(geometric Frobenius morphism)は、射
であり、
で定義される。これは による formula_49 のベースチェインジである。
上の A と R の例につづいて、幾何学的フロベニウスは
であると定義される。formula_64 の項で R を書き換えた後、幾何学的フロベニウスは
となる。
 のフロベニウス写像を同型とすると、フロベニウス写像は の群の自己同型の部分群を生成する。 が有限体のスペクトルとすると、自己同型は素体上の体のガロア群となり、フロベニウス写像とその逆は、双方とも自己同型群を生成する。加えて、 と は と同一視される。従って、数論的フロベニウス写像と幾何学的フロベニウス写像は、 の自己準同型であり、それらは X 上の k のガロア群の作用を導く。
K-点 の集合を考える。この集合はガロア作用を伴う。そのような各々の点 x は、構造素から x での剰余体への準同型 に対応し、x へのフロベニウス作用は剰余体へフロベニウス準同型を適用することである。このガロア作用は、数論的フロベニウスの作用に一致する。合成写像
は、合成写像
と、数論的フロベニウスの定義により、同じものとなる。結局、数論的フロベニウスは、明らかに X の自己準同型として、ガロア群の作用を示している。
局所体の不分岐有限拡大 が与えられると、フロベニウス自己準同型(Frobenius endomorphism)の概念が存在し、剰余体の対応する拡大の中のフロベニウス準同型を誘導する。
となる の自己同型 として定義する。
代数的整数論では、フロベニウス元(Frobenius elements)は、 で不分岐な の素イデアル の有限ガロア拡大である大域体の拡大 の定義である。拡大は不分岐であるので、 の分解群は剰余体の拡大のガロア群である。よって、フロベニウス元は局所的な場合の の整数の環の元に対して次のように定義することができる。
ここに は剰余体 mod の位数である。
フロベニウスの一覧表は(p-derivations)に対応している。
多項式
の判別式は
であるので、素数 3 上で不分岐である。また、mod 3 で既約でもある。従って、-進数 の体への根 の添加は、 の不分岐拡大 を与える。 に最も近い根をとることによりフロベニウス写像の の像を見つけることができ、この方法をニュートン法(Newton's method)と呼ばれることもある。このようにして、整数の環 の元である、-進整数に係数を持つ で次数 4 を持つ多項式である。この多項式は、modulo では、
である。
これは 上の代数的数であり、 の への埋め込みのことばで、大域的フロベニウスの像を正しく表したものである。さらに、係数は代数的であり、結果は代数的に表すことができる。しかし、これらはガロア群の位数である次数は 120 であり、-進の結果が成り立てば、明らかに計算が非常に簡単に遂行できるという結果を示している。
を満たす根 を へ添加することで得られる の拡大 を考える。この拡大は位数 5 の巡回拡大で、整数 に対し根
を持っている。これは、 のチェビシェフ多項式の根を持っている。
は素数 2, 3, 5 に対するフロベニウス写像の結果を与えるので、より大きな素数で 11 ではない素数、もしくは （これは分解する）の形の素数に対しての結果となる。このことは、直ちに、どのようにしてフロベニウス写像が、根 を p-番目のべきに mod で等しいとする結果を与えるかを示している。