| 研究課題/領域番号 |
17K05268
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
解析学基礎
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
木田 良才 東京大学, 大学院数理科学研究科, 教授 (90451517)
|
|---|
| 研究期間 (年度) |
2017-04-01 – 2024-03-31
|
| 研究課題ステータス |
交付 (2022年度)
|
| 配分額 *注記 |
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2021年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2020年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2019年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2018年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2017年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | 離散群 / 軌道同型 / 測度同値 / 軌道同値関係 / 測度付き亜群 / 内部従順性 / 中心列 / カズダン性 / 変換亜群 |
|---|
| 研究実績の概要 |
可算群による標準確率空間への保測作用から構成される、測度付き同値関係および測度付き亜群は、保測作用に対する軌道同型の研究において基本的な概念である。実際、二つの作用が軌道同型であることは、それからできる同値関係が同型であることに言い換えられる。本年度は測度付き同値関係の樹系 (treeing) に関する研究を行った。樹系とは、いわば、測度付き同値関係に対する、群の自由生成系の類似物である。測度を使って定義される樹系の大きさ (コストとよばれる) が、測度付き同値関係の同型不変量であることが2000年頃に示されて以来、樹系は軌道同型の研究において重要な役割を果たしている。実際この結果により、異なる階数の自由群の自由保測作用は互いに軌道同型になり得ないことが従う。
過去の研究でバウムスラッグ・ソリター群に対して行った樹系の構成を、次に述べるようなHNN拡大Gに対するものに一般化した。Eを可算群とし、Eの二つの有限指数正規部分群の間の同型写像から構成される、EのHNN拡大をGとする。このような群Gの標準確率空間Xへの保測作用で、Eの作用がある周期的条件を満たすものに対し、Gの作用からできる亜群が、Eの作用からできる亜群を正規部分亜群として含むこと (EがGの正規部分群であるとは限らないにもかかわらず)、そして、その商亜群が樹系をもつことを示した。この構成の応用として、バウムスラッグ・ソリター群のモジュラー準同型の核が無限階数の自由群とZの直積と軌道同型になるという過去の結果を、Z^nの同種のHNN拡大に対するものに一般化した。同様の結果を、一般バウムスラッグ・ソリター群をはじめとするグラフ群に一般化することは今後の課題である。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
上記の結果を論文にまとめ、arXivで公表した。当初の目標であった、バウムスラッグ・ソリター群を軌道同型で分類するという問題に、上記の結果は直接の貢献をもたらすものではないが、可算群の間の非自明な軌道同型を示す、一つの手法を確立できたと考えている。
|
| 今後の研究の推進方策 |
一般バウムスラッグ・ソリター群をはじめとするグラフ群への一般化に関しては、今回適用したinductionとよばれる樹系を扱う手法を、もう一段階適用すれば望む結果を得られるものと考えている。
|
