行列の同時標準化
同時対角化は有名ですが、同時三角化もあります。残念ながら、同時ジョルダン標準化は出来ません(Remark)。しかし、それより少し弱い結果なら成立します(Theorem3+Theorem1).
kは代数閉体とします。
Proof.
の部分空間の列で, 各, 各についてが成り立つようなものが取れれば良い.
このような列の存在をnについての帰納法で示す.
n=1の時は成立
n>1の時
・全てのについてがスカラー倍写像の時, 主張は明らかに成立.
この時, の固有値bを一つとれば, が成立し, とおくときがと可換だったのでが各で成立する.
帰納法の仮定をW,V/Wにそれぞれ適用すれば, Vに対して目的の部分列が作れる. □
Proof.
nについての帰納法で証明する.
n=1の時, 主張は明らか.
n>1の時,
・全てのについてがスカラー倍写像の時, 主張は明らかに成立.
この時, の任意の固有値bに対して, が成立し, とおくときがと可換だったのでが各で成立する.
(cはBの固有値を渡る) と分解するから次のclaimを示せば帰納法の仮定からTheoremも示される.
claim: 各について, は対角化可能である.
は対角化可能だから, の固有値を(重複許さず)とすると, と分解する.
をと書くとき,
(★)
となる. についてが成り立つから (★) から各について が成り立つ.
従って, と分かり, これはが対角化可能であることを意味する.□
(この証明はkが代数閉体であることを使っていません!)
Proof.
n=についての帰納法で証明する.
n=1の時, 主張は明らか.
n>1の時,
とAの固有値aに対し, とおく.
・すべてのとAの固有値aに対し, が成立する時, Aに対する唯一の固有値をとおくとき, が環準同型であることを示す;
Theorem1のCorollaryよりの共通の固有ベクトルvがとれる.
この時, 全てのに対しが成り立つ.
に対してが(o(,)が加法, 減法, 掛け算の時に)成立する.
したがって, fが環準同型と分かる.
・でなるものがあるとする.
(cはBの固有値を渡る) と分解する.
各について, が成り立つから帰納法の仮定よりが成り立つ.
従って が成り立ち, も示せる. □
Remark
一般に同時ジョルダン標準化は出来ない.
例えば
とおく. まず
(☆) AB=BA
である.
Bのジョルダン標準形はB自身もしくは
であり, Aのジョルダン標準形は
であることが計算できる.この時,
(☆☆)BJ≠JB, B'J≠JB'
であることに注意する.
もしAとBが同時ジョルダン標準化可能(つまりがともにジョルダン標準形となる可逆行列Pが存在する)ならば(☆)よりJB=BJもしくはJB'=B'Jが成り立つはずであるが, これは(☆☆)に矛盾する.
Henselの補題の証明とNewton法
Henselの補題の証明とNewton法の類似を解説します. この類似はもう少し重要なことを含んでいて, それはTaylar展開が多項式に対しては代数的に証明出来るため, 一次近似という考え方がp進でも使える(しかもp進の方が良い近似)ということです. これらについて説明します.
まず, 一般的な原理から
証明
□
つぎに, 類似のカギになっているTaylorの定理(の特別な場合)を観察します.これは一次近似の精度を表現しています.
多項式に対しては代数的に微分が定義され, テイラー展開が代数的に直接証明されます.積の微分法, 合成関数の微分などがやはり代数的に証明され抽象代数においても重要な役割を果たします.
定理2は実解析におけるが十分小さいという状況で一次近似の精密さを表している一方で定理3は例えばRが付置環, がが大きい付置を持つように取ったという状況での一次近似の精密さをあらわしています.
それではNewton法, Henselの補題の証明を順次説明していきます.
Newton法
を1階微分可能関数としとします.
点列を次のように定める; を適当にとり,に対しては で帰納的に定めます.これはにおけるfの接線とx軸の交点のx座標を表しています.
もし点列がに収束するなら, 定理1をとして適用することにより, 即ちが得られます.
さて, Talorの定理の立場からの構成を考えてみます.fを2階微分可能と仮定します.
においてにを代入するととなります. (つまり, 点におけるfの接線とx軸の交点のx座標とはfのにおける1次近似が0になるようなもののことです.)
Henselの補題
証明
をなるものとする. でのTaylor展開をとする.
をとなるものとする. この時, でありである.
同様に, に対し, をTalor展開とし, をとなるようにとる.この時, であり, である.
に対し, でを定める.はCauchy列だからあるに収束し, よって定理1を適用して即ちを得る.□
一般化されたヘンゼルの補題というものがありますが、これについては気が向いたら書きます。
Reduced Traceについて
定理3' について、忘備録として書いておきます。
最近、書こうとしたことをキレイに忘れることがよくあって、この記事もそういう感じで書いたり消したりを繰り返し、忘備録だったはずなのに計24時間くらいかけてしまった気がします。
まあ多分、キーボードに必死だというのが決定的なんですが
まず、reduced traceの定義を書いておきます。これは体k上の単純環に対して定義されます。
kを体, Aをk上(環として)有限生成な単純環とする. K=Z(A)をAの中心とする.
証明: をイデアルとする. はAのイデアルだから0かAである.
よって, I=0またはIA=Aである.
IA=Aとするととでとなるもんもがある. するととなるのでI=Kが言える.
よってKは体である. □
以降, K=k とする.
さて, 次の定理が知られている.
このようなLをAの分解体という.
すると, に対して, と見たときのをaのAに関するreduced traceという.
分解体として有限次分離拡大がとれることが知られている.
Lが分解体, M/Lを拡大とするとMも分解体である. 特にKの代数的閉包は分解体になることが分かる.
は分解体Lのとり方によらないこともすぐ分かる.
さて, 次のような場合に, reduced traceと通常のtraceの関係を調べてみます。
kを体, Rをk-algebra, Wを既約R加群とする.(例えば, R=k[G]として表現論へ応用する).
ここでWは有限次kベクトル空間であると仮定する. とする. するとは斜体となる.
K=Z(D)とするとDはK上の中心的単純環である.
をR準同型とする.
次の定理が主定理である.
キーとなる次の命題を示しておく.
証明: 必要ならすることで, Fは代数閉体であると仮定して良い.
とすると, .
すると, . □
証明は簡単である.□
定理3を証明する.
とする.
すると,
※Wは1次元ベクトル空間だから, n=m^2である. よってm/n = 1/m.
※定理3はもう少し拡張できる. として,はK=Z(D)上の中心的単純環である. をR準同型とする.
巡回群
小ネタです。
p進数を使った証明です。
証明:
まず、Henselの補題より、は1のp-1乗根の集合を含む。さらにHenselの補題からはの代表系となることも分かる。が巡回群であるということから, 準同型で合成
が恒等写像となるものがとれる. よって, 次の(Abel群の)完全列
は分裂する. すなわち,
である.
ここでである.
すると2つの(連続)全射準同型 exp:, の合成を考えるとが副巡回群でありNが有限群であることからNは巡回群であることがわかる.
ここで, Nの位数はpベキであり, の位数はp-1であることからは巡回群. □
事実として一応知っていたのですが、証明をしたことないなあ、と思い、気分転換に考えてみました。できたら面白いな、というアイデアがいくつかあって本当はもうちょっと別証明をしたかったのですが、完成したのは今の所これだけです…。
ちなみに, pが3以上であることは, exp:が定義できる(即ち, 級数が収束する)ことに必要です。
Jordan標準形を使ったらできた
以前の記事「体の拡大とトレース」
http://wagomu.hatenablog.com/entry/2015/04/11/175540
で証明できていなかった命題(命題3)が証明できたので紹介します。タイトル通り、Jordan標準形の理論を使ったらできました。小ネタにどうぞ。
Jordan標準形
まず、一般の体上のJordan標準形の理論を、できるだけ大事な点に絞って説明します。
kを体, Vをn次k線形空間, を線型写像とする。また, Vのk基底をとり, に関するfの表現行列がXであるとする.
Vは次の作用によって加群になる;
ここではkの元, はm回の合成を表している.
Jordan標準形に変形するというのはfに適したVの基底をとりなおす、ということを意味しています。ここでは加群という新しい構造をいれて、そこでの代数の力を借りて、「良い」基底を作り出すわけです。
Vは当然加群としてで生成されるから,
という全射準同型がある.さらに, 次の列は完全系列になることが分かる;
.
但し, 一番左の写像はによる準同型, 真ん中の写像は先ほどのである.
ここで単因子論と呼ばれている次の事実を認める;
上の事実のRをとして, をにして適用する.Vが有限生成加群だからである.
次の可換図式が成り立つ.
(☆)
訂正:上の図式のをに, をに訂正します。
この可換図式より, 同型, (特にk同型でもある) が得られる. これが「良い」基底変換を与える. 即ち, をこの同型で に対応するVの部分空間とすれば, この同型が同型であたことからであって, さらにのk基底に対応するの基底に関するの表現行列は
(但し)
となる. (これの直和をとったものを標準形(☆☆)と呼ぶことにする).
大切なのは標準形(☆☆)が単因子論の変形(★)からスタートして図式(☆)で計算できる点であり、今回の主命題もそれを使う。
もうひとつ, この標準形は体kが任意で良い。一般的に言われるJordan標準形は代数的閉体でできる。
ここでの議論の詳細は単因子論は堀田先生の「代数入門」(裳華房) の2章など, ホモロジー代数は適当なホモロジー代数の本を参照してください。
命題の証明
さて、本題へとりかかります。
証明:命題は, 次の主張へ言い換えができる;
が単因子が対角成分に並ぶようなをとってくる. この時, も単因子が対角成分に並んでいる.(両者の単因子が一致している)
したがって標準形(☆☆)が単因子から一意的に定まることより両者の標準形(☆☆)はひとしい. 即ち, あるが存在してが成り立つので主張が示された. □
日記
B4に
なってしまった…。違う、なることが出来ました。卒業研究では楕円曲線を勉強します。宇宙際幾何の講演をちょっとだけ聞きに行ったのですが、楕円曲線は使われているのか、プロトタイプとして出されたのか分かりませんが登場しました。また、都数で楕円曲線に関するお話を聞く機会もあり、勉強するのが非常に楽しみです。ここの研究室は解析数論の学生が多いので、そちらの話題も(予期せず(?))勉強出来そうです。
Riemann-Rochの定理
Liu先生の本(Algebraic Geometry and ArithmeticCurve) Riemann Rochの定理のちょっと前まで進みました。ようやく代数幾何が楽しいと思えてきました。(本当に長い道のりだった)。とはいえ、やはりもう一度復習が必要です…。
都数の新入生イントロ
に(OBとして)行きました。食事会では上級生が割と少なくて4,5人の新入生に僕が話をする、みたいな構図になってしまいましたが、逆に僕の方は好き勝手話せた(ヴェイユ予想の話(「数論と幾何」が実感できる例として)をした)し彼らの話もゆっくり聞けたし結果として良かったと思います。やっぱり新入生の数学に対する熱い姿勢は刺激になりますね。アルコールも無くて(人数比的に)ちょっと心配していた値段も安かったので、ほっとしました。
体の拡大とトレース
昔に考えていたことがふと解決したので書いておきます.
L/kを体のn次分離拡大とする. Lを含む代数的閉体Fを固定する.
(例えば, という状況を考える. この時L/kは必ず分離拡大になる.)
・LからFへのK準同型は全部でn個あることが証明できるので, それをと書く.
・Lの元xに対してはk線形写像である. xのL/kにおけるトレースを で定める.
この時, 次の事実は, (体論をよく使う人には)よく知られている:
今回は次の事実(メイン !)を経由して上の公式を示そう.
証明はの特性多項式が(xの最小多項式)^d (d=[L:k(x)])であることを示せばよく, これはそんなに大変でない.□
しかし, この場合固有値に対応する固有ベクトルがわからない. 次の主張を認めれば, 固有ベクトルを特定する形で証明ができる.
ブログを書いた時は多分成り立つでしょうという感じでしたが、証明しました(証明はここに書きました; http://wagomu.hatenablog.com/entry/2015/05/03/061454)。
定理2の証明にもどります。
まず, L/kの基底をとりに対して命題3の保証するをとる.ここで, (σはLからFへのk準同型)としてさだめる.
するととなる.
「k上の共役」という概念が「同じ最小多項式を有するもの」「k準同型による移り先」以外にも「掛け算作用素の固有値になっているもの」という言い換えが出来るのは少し、面白いと思いました。