研究課題/領域番号 |
19K03442
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分11010:代数学関連
|
研究機関 | 北海道大学 (2021-2022) 信州大学 (2019-2020) |
研究代表者 |
佐々木 洋城 北海道大学, 理学研究院, 研究院研究員 (60142684)
|
研究期間 (年度) |
2019-04-01 – 2024-03-31
|
研究課題ステータス |
交付 (2022年度)
|
配分額 *注記 |
3,510千円 (直接経費: 2,700千円、間接経費: 810千円)
2023年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2022年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2021年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2020年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2019年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
|
キーワード | 有限群 / ブロック・イデアル / デフェクト群 / ソース多元環 / コホモロジー環 / 移送写像 / エクストラ・スペシャル群 / ベキ零ブロック / extraspecial p-群 / 部分対 / ソース多元館 |
研究開始時の研究の概要 |
有限群の表現論においてブロック・イデアルの理論は最も基本的で主要な研究対象である。本研究はコホモロジー理論を用いてブロック・イデアルを考察しようとするものである。しかし、ホモロジー代数の手法が通用せず、目下のところはブロック・イデアルのソース多元環を詳細に調べる必要がある。本研究ではデフェクト群のコホモロジー環からの写像によってブロック・イデアルのコホモロジー環を記述しようとする。また、特性両側群集合も密接に関連する対象であり、これらの理論は、ブロック・イデアルのコホモロジー環の理論の土台部分を構成するものとなる。
|
研究実績の概要 |
有限群のブロック・イデアルのコホモロジー環をソース多元環の定めるブロック・イデアルのデフェクト群のコホモロジー環の移送写像の像としてとらえることができると予想してきた。しかしながら、ソース多元環は扱いが難しく、当面、デフェクト群を指定して具体的にソース多元環加群構造を解析することによって移送写像を記述し、以って、ブロック・イデアルのコホモロジー環が移送写像の像と一致することを確認するという方法で研究してきた。科学研究費補助金課題15K04777で得られたソース多元環の加群としての直既約直和因子の存在についての知見に基づき、デフェクト群がエクストラ・スペシャル群とよばれる群であるブロック・イデアルについての研究に取り組んできた。ソース多元環が定める移送写像の像がブロック・イデアルのコホモロジー環と一致することを確認し、今年度、研究論文を完成(投稿中)させた。非局所的な原始的べき等元から得られるソース多元環の直既約直和因子についての新しい知見を加えた。 デフェクト群上の直既約両側加群がその定めるコホモロジー環の移送写像が0写像でなく、さらに、その加群が定める部分群が完全被中心化という条件を満たせば、その加群はソース多元環の直既約直和因子に同型であるという定理を示していた。コホモロジー環の移送写像が0写像でないとき、その加群はICC条件と名づけた性質をもつ。そこで、直既約両側加群がICC条件を満たすとき、ソース多元環の直和因子に同型であるかという課題設定をした。この設定の下さらに、その加群が定める部分群が完全被中心化であるかまたはその両側加群が定める部分群へのBrauer対応がべき零ブロックならば、ソース多元環の直和因子に同型であることを示した。さらに、このべき零条件下で直和因子としての重複度についての公式が得られた。
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
4: 遅れている
理由
これまでブロック・イデアルのデフェクト群を指定して、そのソース多元環の加群構造とコホモロジー環について研究を続けてきた。この過程で、ソース多元環の両側直既約直和因子の存在定理を発見することができた。今年度は得られた成果を整理することはできたが、一般的理論の構築に向けての前進はできなかった。
|
今後の研究の推進方策 |
引き続き、得られたソース多元環の直和因子の存在定理の適用例を増やし、予想の確からしさを強化したい。続いて、p可解群のブロック・イデアルについても予想が成り立つことを確認し、さらに、一般的解決については、対称多元環のホッホシルト・コホモロジー環における安定元の理論、ブロック・イデアルのコホモロジー環の理論を再検討する必要がある。
|