>>699
＞同プログラムは整数論とラングランズ予想を中心とした表現論の二つの視点から現在の数理物理学における最重要課題であるミラー対称性予想を研究するというもの。

余談ですが
ミラー対称性か、懐かしいね

https://ja.wikipedia.org/wiki/%E3%83%9E%E3%82%AD%E3%82%B7%E3%83%A0%E3%83%BB%E3%82%B3%E3%83%B3%E3%83%84%E3%82%A7%E3%83%93%E3%83%83%E3%83%81
マキシム・コンツェビッチ
ホモロジカルミラー対称性予想の提起、カラビ-ヤウ多様体に対する平坦構造（フロベニウス構造）の構成、リジッド解析幾何学のミラー対称性への応用。ヤコビヤン予想をディクシマー予想に帰着させた。Cubic K3曲面におけるホモロジー的ミラー対称性予想を解決がある。

関数体上のラングランズ予想の高次元化やヴェイユ予想の高次元化を提唱した。

1998年 - ICM(Berlin, German)よりフィールズ賞

https://ja.wikipedia.org/wiki/%E3%83%9B%E3%83%A2%E3%83%AD%E3%82%B8%E3%82%AB%E3%83%AB%E3%83%9F%E3%83%A9%E3%83%BC%E5%AF%BE%E7%A7%B0%E6%80%A7%E4%BA%88%E6%83%B3
ホモロジカルミラー対称性は、マキシム・コンツェビッチにより予想された数学の予想である。物理学者が弦理論を研究することにより初めて観察された、ミラー対称性と呼ばれる現象の数学的、系統的な説明を求める。

歴史
1994年のチューリッヒでの国際数学者会議の報告で、コンツェビッチは次のような予想をした。

カラビ・ヤウ多様体のペア X と Y のミラー対称性は、代数多様体 X から構成された三角圏（英語版） (X 上の連接層の導来圏)と、もう一つの Y のシンプレクティック多様体から構成される三角圏(深谷圏（英語版）)の同値性として説明されるのではないか。
例
少しの例しかこの予想を数学者は証明できていない。
深谷賢治は、アーベル多様体についてのこの予想を証明する要素のいくつかを確立した。

つづく