研究課題/領域番号 |
20K03579
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分11020:幾何学関連
|
研究機関 | 信州大学 |
研究代表者 |
玉木 大 信州大学, 学術研究院理学系, 教授 (10252058)
|
研究期間 (年度) |
2020-04-01 – 2025-03-31
|
研究課題ステータス |
交付 (2022年度)
|
配分額 *注記 |
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2024年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2023年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2022年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2021年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2020年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
キーワード | cotorsion pair / model category / algebraic K-theory / Hopf algebra |
研究開始時の研究の概要 |
本研究は, Khovanov により提案され, Qiらにより近年活発に研究されている「ホプフォロジカル代数」という Hopf 代数を用いたホモロジー代数の一般化について, ホモトピー論の視点から, その基礎付けを与えることを目的とする。 具体的には, 有限次元Hopf代数Hと左H加群代数Aに対し, H同変左A加群の圏に適切なモデル圏の構造を導入する。それにより, 代数的K理論や巡回ホモロジーなどの不変量を定義し, その性質を調べる。
|
研究実績の概要 |
本研究の目的は, 通常のチェイン複体を用いたホモロジー代数を, 有限次元 Hopf 代数 H 上の加群を用いたものに拡張することである。単純ではない Hopf 代数上の加群の圏がチェイン複体の圏と類似していることは, Khovanov による発見であるが, 本研究では, 特に (左) H-加群代数やその多対象化である H-加群圏上の加群の圏の構造を調べることを目的としている。 H-加群圏は, 通常のホモロジー代数での dg category に対応するものであり, dg category の場合, その上の加群の圏を用いて, Hochschild ホモロジー, 巡回ホモロジー, そして代数的K理論などの不変量が定義される。それらの H-加群圏への拡張は, 2020年度, 2021年度の研究により, cotorsion pair と それから構成される Waldhausen category を用いて得られており, 2022年度は, それらの不変量の基本的性質の研究を行なった。 dg category の代数的K理論の基本的性質は, Thomason と Trobaugh による1990年の論文で, チェイン複体の圏の作用を持つ biWaldhausen category の性質として得られているが, そこでは cylinder functor の存在が仮定されており, その手法は本研究に用いることができない。そこで Thomason と Trobaugh の用いたチェイン複体の圏の作用を H-加群の圏の作用に一般化し, 更に cylinder functor を用いない Schlichting の手法と組合せることにより, H-加群圏の代数的K理論の導来同値不変性を証明した。
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
申請時の研究計画調書では, 5つの目標が挙げられ, その中で目標1は4つの項目, 目標2は3つの項目, 目標3は2つの項目, 目標4は2つの項目, そして目標5は1つの項目から成る。 目標1の4つの項目の内, 最初の3つまでは2021年度までに終了している。残る4つ目の項目は, 構成された代数的K理論の性質を調べることであり, 2022年度は導来同値不変性に取り組んだ。しかしながら, 代数的K理論の性質には, 他にも重要なものがあり, それらも調べる必要がある。研究計画調書では, 具体的な内容は設定されていなかったが, 導来同値不変性だけでは目標1の4つ目の項目が達成されたとは言えない。 目標2については, 2021年度までの研究で終了している。目標3はトレース写像に関することであるが, その1つ目の項目であるトレース写像の構成は, 2021年度に終了している。目標3の2つ目の項目は, そのトレース写像の性質を調べることであるが, その具体的な内容については, 研究計画調書には記載されていなかったので, その具体的内容を設定する必要があった。代数的K理論上のトレース写像に関する最も重要な結果の一つは, Dundas-Goodwillie-McCarthy の定理であり, その類似を証明することを目標にすることにしたが, その証明はまだ得られていない。 目標5は, 加群代数を余加群代数に変えた類似を研究することであり, 目標1に対応する内容は, 2021年度に得られている。しかしながら, 論文としてまとめるためには, 具体的例の考察が不足している。 このように, 研究計画書で具体的な目標が設定されていないところに目標を設定したが, その目標がまだ研究途上であることから, やや遅れているとした。
|
今後の研究の推進方策 |
申請時の研究計画書で挙げた目標の内, まだ手を付けていないのが目標4である。2023年度は, まずこの研究を行なう。具体的には, まず2022年度までに得られた H-加群圏の巡回ホモロジーと Kaygun-Khalkhali による Hopf 巡回ホモロジーとの間に写像を構成することを考える。もし直接写像を作るのが難しいようなら, その中間となるホモロジーを定義し, それを介して写像を構成することを試みる。 目標4の4つ目の項目については, 2022年度に導来不変性が得られたが, 2023年度は更に他の主要な代数的K理論の性質が成り立つかどうかを調べる。 目標3の2つ目の項目について, 具体的目標を Dundas-Goodwillie-McCarthy の定理の類似を証明することとしたが, 2023年度は値域が巡回ホモロジーである場合について調べる。それが成功したら, 値域をトポロジカル巡回ホモロジーにした場合について調べる。そのために, H-加群圏のトポロジカル巡回ホモロジーを定義し, その基本的性質を調べる必要もある。 目標5では, 具体例の考察が必要であるが, 2023年度は, Hopf代数が群環の場合に, Thomason の同変K理論とどのような関係にあるのかを調べる。更に, chain complex の一般化である N-complex の場合を調べる。
|