分岐 (数学)
![]() | 原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳があることが判明しています。情報の利用には注意してください。 |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/44/Schematic_depiction_of_ramification.svg/320px-Schematic_depiction_of_ramification.svg.png)
数学における分岐 (ramification) とは、例えば多価関数としての平方根が零点から符号の異なる二つの枝に分かれているような意味で、「枝分かれ」することをいう。またその逆に、例えばある点で退化しているような被覆写像により複数のファイバーが合流するような場合も(逆の視点から見れば枝分かれしているので)分岐という。
複素解析
[編集]複素解析では、基本モデルとして、z = 0 の回りの複素平面を写像する z zn を取ることができる。これは指数 n の分岐のリーマン面上の標準的な局所描像である。例えば、種数についての写像の有効性についてのリーマン・フルヴィッツの公式で、このようなことが起きる。分岐点 (数学)も参照。
代数トポロジー
[編集]被覆写像で、オイラー・ポアンカレ標数は、シートの枚数をかけねばならなく、従って、分岐はかけることにより、落ちてしまうものを見つけねばならない。z zn 写像は、局所パターンとしてこれを示している。0 を除外し、言わば 0 < |z| < 1 で見てみると、(ホモトピーの観点より、)n-乗写像はオイラー標数が 0 の円を円自身へ写すし、オイラー標数 1 の円板も写すが、z = 0 で互いに合流する n 毎のシートとして n – 1 個の点は失われてしまう。
幾何学的な項では、分岐は余次元 2(結び目理論のように)やモノドロミーを起こす。実余次元 2 は複素余次元 1 であるので、局所的な複素的な例は、高次元の複素多様体のパターンを作り出す。複素解析では、シートを直線(一変数)に沿って、あるいは、一般的には余次元 1 の部分空間に沿って折り曲げて単純化することができない。分岐集合(上のベース上の分岐軌跡、二重点)は、取り囲んでいる多様体というよりも実次元が 2 次元低くなる。従って、2つの側へは分離しなく、局所的には、例の中にあるように分岐軌跡を追跡する系となる。任意の体上の代数幾何学では、この類似により、代数的な余次元 1 となる。
代数的整数論
[編集]Q の代数拡大
[編集]代数的整数論での分岐は、ある素イデアルへの素数の繰り返しの分解を意味する。R を代数体 K の整数環とし、P を R の素イデアルとする。各々の K の体の拡大 L に対し、L の中の T の整閉包 S と S のイデアル PS とを考えることができる。PS は素であるかどうか分からないが、[L:K] を有限とすると、素イデアルの積
- P1e(1) ⋯ Pke(k)
となる。ここに Pi はそれぞれ S の異なる素イデアルである。すると P が L で分岐しているとは、ある i に対して e(i) > 1 であるときとを言う。言い換えると、P が L で分岐するとは、分岐指数 e(i) が 1 より大きな Pi が存在することを言う。全ての i に対して、e(i) = 1 の場合を不分岐と言う。同値な条件としては、S/PS が零でない冪零元を持つことである。べき零元は有限体の積ではない。リーマン面との類似は、19世紀に既にリヒャルト・デーデキント (Richard Dedekind) とハインリッヒ・ウェーバー (Heinrich M. Weber) が指摘していた。
分岐は、相対判別式(relative discriminant)により K にエンコードされ、相対差イデアル(relative different)により L にエンコードされる。相対判別式は K の整数環のイデアルであり、P で割りきれることと、P を割る S のイデアル Pi が存在し分岐することをは同値である。相対差イデアルは L の整数環のイデアルであり、Pi が分岐するとき、S の素イデアル Pi で割り切れる。
分岐指数 e(i) が全て P の標数 p と互いに素であるときを、分岐が順 (tame) と言い、そうでない場合を激 (wild) と言う。この条件はガロア加群の理論に重要である。デデキント整域の有限生成なエタール拡大 B/A が順であることと、トレース Tr: B → A が全射であることとは同値である。
局所体
[編集]数体での分岐のさらに詳しい分析は、局所的な問題であるので、p-進数の拡大を使い進めることができる。局所的な場合には、基本的にはどのくらいガロア群が計量から動くかを問うことで、分岐を測る量がガロア拡大に対して定義される。分岐群 (数学)の列が定義され、とりわけ、暴 (wild) 分岐が具体化される。つまり、幾何学的な類似を超えた意味を持っている。
代数学
[編集]付値論では、付値の分岐理論で、体 K の拡大体への付値の拡大の集合を研究する。このことが代数的数論、局所体、デデキント整域での概念へ一般化される。
代数幾何学
[編集]代数幾何学では以下に定義する不分岐射(unramified morphism)の考え方があり、エタール射を定義するために役立つ。[1]
- スキーム の中の点 に対し、対応する局所環の射
- を考える。 を の極大イデアルとし、
- を の中の の像により生成されたイデアルとする。射 が不分岐とは、局所的に有限型で、かつ、 のすべての に対し、 が の極大イデアルであり、誘導された写像
- が有限次拡大で分離拡大である場合を言う。この考え方は、代数的整数論での不分岐拡大の幾何学バージョン(一般化)である。
をスキームの射とする。準連接層 の台(サポート)を の分岐軌跡(ramification locus)と呼び、分岐軌跡の像 を のブランチ軌跡(branch locus)と呼ぶ。 であれば、 は形式的に不分岐(formally unramified)と言い、 も局所有限表現であれば、 は不分岐であるという[ヴァキル (Vakil) のノートを参照]。
脚注
[編集]- ^ 事実、有限型スキーム X, Y の射 f: X → Y が (i) エタール射であることと、(ii) f が平坦でかつ相対微分 であること、(iii) f が平坦かつ不分岐であることの 3つは同値である。スキームの射が、滑らかでかつ相対次元が 0 であることをエタールと言うのであるが、この同値性により不分岐を定義として使用することができる。
関連項目
[編集]参考文献
[編集]- Neukirch, Jürgen (1999), Algebraic Number Theory, Grundlehren der mathematischen Wissenschaften, 322, Berlin: Springer-Verlag, ISBN 978-3-540-65399-8, Zbl 0956.11021, MR1697859
- Vakil, Ravi, "Foundations of Algebraic Geometry", Lecture Notes, http://math.stanford.edu/~vakil/216blog/