| 研究概要 |
本研究は,Liu加群と呼ばれるガロア表現を分類する加群に関しての性質を調べ上げ,ガロア表現の性質を調べることに応用することが狙いの中の一つだった.
今年度の研究では,主にねじれLiu加群の成す圏の,圏としての性質を調べた.まず,ねじれLiu加群の成す圏は,Liu加群の高さを十分小さいものに限った場合にはアーベル圏となるが,十分大きい高さを持つLiu加群まで含めた場合,一般にはアーベル圏にならないことを確認した.更に,異なるLiu加群が同じガロア表現を与える場合があることを確認することができた.これは本研究の課題名にもあるガロア表現の分類という観点からは,単純な意味でのLiu加群を考えるだけでは不十分であることを意味している.そこでこのような事態を省くために,Liu加群の中で「極大なもの」,「極小なもの」という概念を定義し,極大なLiu加群あるいは極小なLiu加群に限れば,異なるLiu加群は異なるガロア表現を与えるということを示すことができた.また,極大なLiu加群,極小な-Liu加群に限ればそれらの成す圏はアーベル圏になることも確認できた.さらに,極大の概念と極小の概念はCartier双対により結びつくことまで確認できた.研究においては,このような極大極小理論を与えるために,エタールLiu加群と呼ばれる新しい概念を定義した.これは多くの数学者たちによって非常によく研究されている,Fontaineによって1970年代に与えられていた理論の,Liu加群側での類似といえるものとなっている.上述の理論は,ねじれLiu加群に付随するガロア表現を線形代数的に考察する際に役に立つことも分かった.
|
