| 研究課題/領域番号 |
23K20784
|
|---|
| 補助金の研究課題番号 |
21H00971 (2021-2023)
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 基金 (2024)
補助金 (2021-2023) |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分11010:代数学関連
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
馬 昭平 東京工業大学, 理学院, 准教授 (80633255)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2026-03-31
|
| 研究課題ステータス |
交付 (2024年度)
|
| 配分額 *注記 |
15,990千円 (直接経費: 12,300千円、間接経費: 3,690千円)
2025年度: 3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2024年度: 3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2023年度: 3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2022年度: 3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2021年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | 直交型モジュラー多様体 / 直交型モジュラー形式 / トロイダルコンパクト化 / ラング予想 |
|---|
| 研究開始時の研究の概要 |
符号(2,n)の整数係数2次形式から直交型モジュラー多様体と呼ばれるn次元代数多様体が定まる。楕円モジュラー曲線の高次元版であり、ジー ゲルモジュラー多様体のきょうだいである。直交型モジュラー多様体を住み処とするモジュラー形式が直交型モジュラー形式であり、ボーチャ ーズ積がその有名な例である。本研究では直交型モジュラー形式の幾何学的深みを探っていく。
|
| 研究実績の概要 |
直交群O(2,n)に対するベクトル値モジュラー形式の基礎理論を構築した。従来のスカラー値はSO(2)を利用するものでアーベル的と言えるのに対し、ベクトル値の理論はO(n)の部分を利用するもので、非アーベル的なものである。ホッジ構造的には中間のホッジ成分の利用である。
構築した理論ではジーゲル作用素やフーリエヤコビ展開へのトロイダルコンパクトを用いた幾何学的アプローチを確立した。ジーゲル作用素はトローダル境界因子への制限+保型ベクトル束の縮退+カスプへの降下として捉えられる。また、フーリエヤコビ展開はトロイダル境界因子におけるテイラー展開と捉えられる。幾何学的アプローチを採ったことでことでジーゲル作用素やフーリエヤコビ係数の保型性、およびフーリエヤコビ展開の保型性が自動的に従う。また、１次元カスプにおける保型ベクトル束のフィルトレーションを見出し、ベクトル値ヤコビ形式の分解定理を証明した。このフィルトレーションは表現論的にはO(n)の表現のO(2)O(n-2)への制限に関する分規則と対応している。
また、基礎理論の応用として次数の小さいモジュラー形式に対する複数の消滅定理を証明した。一つ目の消滅定理ではフーリエヤコビ展開とヤコビ形式の分解を用いた。2つ目の消滅定理ではユニタリ表現の分類とL2ノルムの漸近評価を用いた。L2なベクトル値モジュラー形式をリー群の上の函数に持ち上げ、そこからユニタリ表現を構成し、ユニタリ表現の分類と照らし合わせる。一方次数が小さい時は常にL2となる。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
幸運にも短期成果主義の弊害から距離をとって、長期的視点を持って自分のペースで数学ができたから。
|
| 今後の研究の推進方策 |
モジュラー形式の具体的構成に進む。
|
