2018 Fiscal Year Research-status Report
| Project/Area Number |
18K03305
|
|---|
| Research Institution | Kagoshima University |
|---|
Principal Investigator |
近藤 剛史 鹿児島大学, 理工学域理学系, 准教授 (60467446)
|
|---|
| Project Period (FY) |
2018-04-01 – 2022-03-31
|
| Keywords | 有限コクセター群 / Wirtingerの不等式 / CAT(0)空間 |
|---|
| Outline of Annual Research Achievements |
4次対称群に対するWirtingerの不等式の証明についての検討をし, 一般の有限コクセター群に対するWirtingerの不等式の形の予想を得た. 更に, その証明の方針を立てた. オリジナルのGromovによるWirtingerの不等式はサイクルグラフ上の不等式であり, サイクルを正多角形としてユークリッド空間に埋め込んだ時に最適になるような不等式の族であった. 有限コクセター群の場合には, 予想される不等式は, コクセター群の幾何学的表現(つまり鏡映群としての表現)の表現空間に, コクセター群のケーリーグラフを同変写像で埋め込んだ時に最適となるような不等式の族になるであろうことは容易に想像がつくが, その係数を明示的に決定したというのが具体的な内容である. 証明の大まかな流れは, 我々が以前得たGromovのWirtingerの不等式に対する別証明と同様の方針によりできると考えられる. しかし, サイクルに比べてコクセター群のケーリーグラフはかなり複雑になるために, その中のどの点たちにどのようにCAT(0)不等式を適用すれば良いのかを見出すところが問題になる. これに対して我々が得たアイデアは, コクセター群の全ての元の, 生成元の語としての表示を一つ固定し, この表示から定まるある4つの元に, 幾何学的表現の時に最適となるようなパラメータでCAT(0)不等式を適用し, それらを足し合わせるというものである. 4次対称群においては, このアイデアがきちんと機能することは確認した.
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
漠然と予想していた結果が徐々に具体的な形で見えるようになってきたため.
|
| Strategy for Future Research Activity |
有限コクセター群に対して予想されるWirtingerの不等式の証明を完成させることが今後の研究の中心である. 4次対称群の時の証明を見直すことで, 一般の有限コクセター群にも適用できると考えられる指針を得ているので, これを元に計算を実行する.
|
