| Project/Area Number |
21K03228
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 11020:Geometry-related
|
|---|
| Research Institution | Kumamoto University |
|---|
Principal Investigator |
安藤 直也 熊本大学, 大学院先端科学研究部(理), 准教授 (50359965)
|
|---|
| Project Period (FY) |
2021-04-01 – 2026-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2025: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2024: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2023: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2022: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2021: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
|
|---|
| Keywords | 4次元ニュートラル空間形 / 時間的曲面 / ツイスター・リフト / パラ正則4次微分 / 法接続 / 4次元Minkowski空間 / 光錐 / SO(3,1)軌道 / パラ複素構造 / べき零構造 / Walker多様体 / 等方的パラKahler多様体 / Gauss写像 / Ribaucour's reduction / 曲率線 / 孤立臍点 / 4次元ニュートラル多様体 / 光的ツイスター空間 / 概べき零構造 / 光的2次元分布 / 光的曲面 / 共形Gauss写像 / 共変微分 / 複素4次微分 / 臍点 / 等方性 / 過剰決定系 |
|---|
| Outline of Research at the Start |
曲面上の複素4次微分についての体系的な理解を目指す. 孤立臍点の指数は1以下であるという予想の解決を目指す. コンパクトなRiemann面上の計量と正則2次微分の間の関係がRiemann面の3次元球面への極小はめこみをどのように決めるかを調べる. 4次元空間内の平均曲率ベクトルが零とは限らない曲面上の過剰決定系による曲面についての体系的な理解を目指す. 空間の次元が5, 6の場合に, 曲面のツイスター・リフトに相当するものを考案し研究成果を得たい.
|
| Outline of Annual Research Achievements |
4次元ニュートラル空間形内の時間的曲面で平均曲率ベクトルが零のものを考える. 両方の時間的ツイスター・リフトの共変微分が零または光的であることは, 誘導計量の曲率Kが空間の一定断面曲率L_0に等しいことと同値であることがわかった. さらにこの条件は, 曲面上のパラ正則4次微分Qが零またはナルでありかつ法接続が平坦であることと同値であることがわかった. 関連して, 次の二つを示した: (i) Qが零またはナルであることは, ある時間的ツイスター・リフトの共変微分が零または光的であることと同値であり, さらにこれらを満たしかつKがL_0に等しくない曲面が存在する; (ii) 法接続が平坦でありかつKがL_0に等しくない曲面が存在する.
4次元Minkowski空間の2重外積空間の光錐内のSO(3,1)軌道は光錐の超曲面である. SO(3,1)軌道は次の(i), (ii)のいずれかを満たすことがわかった: (i) 誘導計量はニュートラルである; (ii) ある2次元分布が存在し, 誘導計量はその上で退化する. (i)を満たす軌道はある標準的なものと相似であることがわかった. SO(3,1)軌道の1点でのSO(3,1)の固定部分群および光錐のr-sliceとSO(3,1)軌道の共通部分を調べ, これらに(i)を満たす軌道と(ii)を満たす軌道の違いが現れていることがわかった.
2次元トーラス上の階数4の向きづけられた (正定値)計量ベクトル束のツイスター空間の水平性がファイバーのある部分集合を定める. この集合が有限の場合はSO(3)の有限部分群の観点で既に調べられている (Ando-Kihara). 今年度, この集合が無限の場合のうち, 先行結果に由来するものを調べ, この集合はファイバーの可算稠密部分集合であることがわかった (米崎杏莉氏 (熊本大学)との共同研究による).
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
まず4次元ニュートラル空間形内の時間的曲面については, 両方の時間的ツイスター・リフトの共変微分が零または光的であるものについて今回さらに踏み込んで調べることができた. その結果, 法接続の平坦性の観点で, 空間がRiemann, Lorentzまたはニュートラルで曲面が空間的または時間的である場合を相互に比較しながら体系的な理解を目指すという新たな目標を得た. これは少なくとも研究が進展していることを意味し, 当初の計画を超えた展望すら得られているとも言える.
また4次元Minkowski空間の2重外積空間の光錐内のSO(3,1)軌道は以前の研究で現れたが, Lie群の作用という観点を直視し自分の研究に取り込む必要を感じたため, 今年度の研究が行われた. 私の研究においてLie群と関わることはもはや不可避であり, 今後はLie群に関する議論を積極的に行うつもりである. この方面への研究は私にとっては新しいものであり, 当初の計画を超えた状況に遭遇していると言える.
米崎氏との共同研究において調べたツイスター空間のファイバーの部分集合が無限の場合について, それが稠密である可能性を想起することはできても, 実際にそのことを示すのは容易とは思えない. しかし, 米崎氏はある場合についてC言語による数値計算を行うことで, 稠密であることを示すための重要な手掛かりを得た. この手掛かりに基づく稠密性の証明には, あるSO(3)の元が与える回転の角度が円周率の無理数倍であることを示す議論があるが, このような議論をトーラス上のツイスター空間の水平性に関して全く想定していなかった. しかし, こうした議論を経験したことにより, 今までに考えもしなかった論点や展望を得た. 以上により, 明らかに当初の計画以上に進展していると言える.
|
| Strategy for Future Research Activity |
現在までの進捗状況にも記したとおり, 4次元空間形内の曲面については, 空間がRiemann, Lorentzまたはニュートラルで曲面が空間的または時間的である場合を相互に比較しながら体系的な理解を目指す. これは, 今回の研究で法接続の平坦性が論点になったからである. 今までに知られている結果も含む理解を構築したい.
4次元Minkowski空間の2重外積空間の光錐内のSO(3,1)軌道について考えるとき, まずSO(3,1)からSO(3,3)への準同型が定められている. 一般にSO(3,1)からSO(3,3)への準同型を調べ, 今回の準同型についての理解を深めたい. またSO(3,1)をSO(p,q)として議論を一般化することを検討したい.
トーラス上のツイスター空間の水平性については, 主に二つの方向に研究を進めることが考えられる. 一つは今回得られた結果を可能な限り一般化することである. このときSO(3)の二つの元が与える回転軸の間の角度および二つの回転の角度についてより一般のものを考えることになる. あまりにも多くの場合が考えられるが, 実数の代数的性質をより詳しく見る必要があると考えている. もう一つはトーラス上の階数4の向きづけられた計量ベクトル束Eの接続の分類である. ベクトル束Eの接続がツイスター空間の接続を与える. 以上ではツイスター空間を一つだけ考えていたが, もう一つも考え, ベクトル束Eの接続を二つのツイスター空間の接続の組み合わせと捉えることで, Eの接続の分類の可能性を検討したい.
|
