ヒッチン系のソースを表示

{{要改訳}}
数学では、'''ヒッチン可積分系'''（{{lang-en|Hitchin system}}）は、1987年に{{仮リンク|ニージェル・ヒッチン|en|Nigel Hitchin}}が導入し、複素簡約群やコンパクト[[リーマン面]]の選択に依存した[[可積分系]]のことを言う。

ヒッチン系は、[[代数幾何]]と、[[リー代数]]論と、可積分系の理論の交点にあり、[[共形場理論]]とも関係し、[[複素数]]体上の[[幾何学的ラングランズ対応]]<ref>幾何学的ラングランズは1990年代に、数体のラングランズ対応の研究から、函数体のラングランズの研究する過程で発生したラングランズ対応の一部とみなすことができる。</ref>からで重要な役目も果たす。種数ゼロのヒッチン系は、[[クニーズニク・ザモロドチコフ方程式]]のある極限とみなすこともできる。古典力学の可積分系の大半はヒッチン系の特別な場合（もしくは、その有理型の一般化か、もしくは特異点を持つ一般化）の極限として得ることができる。

'''ヒッチンファイバー''' は、{{仮リンク|ヒッチンバンドル|label=ヒッチンバンドルのペア|en|Hitchin bundle}}<ref>ヒッチンバンドルの <math>(F,\Phi)</math> のペアのことを言う。ヒッグスバンドルとも言う。</ref>のモジュライ空間から特性方程式(characteristic polynomial)への写像である。{{harvs|txt|last=Ngô|year1=2006|year2=2010}}では、{{仮リンク|基本補題|en|fundamental lemma (Langlands program)}}(fundamental lemma)の証明に、有限体上のヒッチンファイバーを使った。

==内容==
代数幾何学の言葉では、（力学）系の相空間は、ある簡約群を G としたときに、{{仮リンク|安定 G-バンドル|en|stable bundle}}の[[モジュライ空間]]への[[余接バンドル]]のある代数曲線への部分的なコンパクト化である。この空間は標準的なシンプレクティック形式をもっている。簡単のために G=GL(n)、つまり[[一般線型群]]とすると、ハミルトニアンは次のように記述される：バンドル F での対象空間から G-バンドルへの写像は、

:<math>H^1(End(F)),</math>

であり、ここに[[セール双対性]]により、

:<math>\Phi \in H^0(End(F)\otimes K),</math>

に双対であるので、ヒッチンバンドルのペア

:<math>(F,\Phi)</math>

は、ヒッグスバンドルとも呼ばれ、余接バンドルの中の点を定義する。

:<math>Tr(\Phi^k)\ ,\ \ \ \ k=1,...,rank(G)</math>

ととると、

:<math>H^0( K^{\otimes k} ),</math>

の中の元を得る。これは <math>(F,\Phi)</math> には依存しないベクトル空間である。従って、任意の基底をこのベクトル空間の中でとることで、函数 H<sub>i</sub>を得て、これがヒッチンのハミルトニアンである。一般の簡約群にたいしても構成は同じで、G の[[リー代数]]の不変多項式を使う。

この明らかな理由により、これらの函数は代数的に独立であり、函数の個数が相空間の次元のちょうど半分であることが計算の結果で分かる。これらの函数の{{仮リンク|ポアソン可換性|en|Poisson commutativity}}の部分の証明が、非自明な部分である。

== 脚注 ==
<references/>

==参考文献==

*{{citation|title=Stable bundles and integrable systems
|journal=[[Duke Mathematical Journal]]
|publisher=Duke University Press
|volume= 54| issue = 1 |year= 1987
|doi=10.1215/S0012-7094-87-05408-1
|pages=91&ndash;114
|authorlink=Nigel Hitchin
|first=Nigel |last=Hitchin}}
*{{Citation | last1=Ngô | first1=Bao Châu | title=International Congress of Mathematicians. Vol. II | url=http://mathunion.org/ICM/ICM2006.2/ | publisher=Eur. Math. Soc., Zürich |mr=2275642 | year=2006 | chapter=Fibration de Hitchin et structure endoscopique de la formule des traces | pages=1213–1225}}
*{{Citation | last1=Ngô | first1=Bao Châu | title=Fibration de Hitchin et endoscopie | url=https://doi.org/10.1007/s00222-005-0483-7 | doi=10.1007/s00222-005-0483-7 |mr=2218781 | year=2010 | journal=[[Inventiones Mathematicae]] | issn=0020-9910 | volume=164 | issue=2 | pages=399–453}}

== 外部リンク ==
*http://www.encyclopediaofmath.org/index.php/Hitchin_system

{{DEFAULTSORT:ひつちんけい}}
[[Category:代数幾何学]]
[[Category:力学系]]
[[Category:力学]]
[[Category:リー群論]]
[[Category:微分幾何学]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]