Research on Koszul AS-regular algebras from the categorical view of Non-commutative algebraic geometry and Representation theory
Project/Area Number |
21K13781
|
Research Category |
Grant-in-Aid for Early-Career Scientists
|
Allocation Type | Multi-year Fund |
Review Section |
Basic Section 11010:Algebra-related
|
Research Institution | Tokyo University of Science |
Principal Investigator |
板場 綾子 東京理科大学, 教養教育研究院葛飾キャンパス教養部, 講師 (10801178)
|
Project Period (FY) |
2021-04-01 – 2024-03-31
|
Project Status |
Granted (Fiscal Year 2022)
|
Budget Amount *help |
¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
Fiscal Year 2023: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,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 | AS 正則環 / コシュール多元環 / Calabi-Yau 多元環 / Beilinson 多元環 / 非可換射影スキーム / AR クイバー / AS-regular 代数 / 非可換射影平面 / Hochschild コホモロジー環 / Auslander-Reiten クイバー |
Outline of Research at the Start |
本研究課題では、代数学の非可換環論の研究分野である、非可換代数幾何学および多元環の表現論の両分野にまたがる圏論視点での研究を行う。 一つ目の目的は、非可換代数幾何学の考察対象である3次元quadratic AS-regular 代数のBeilinson 多元環上のsimple 2-regular module とよばれる多元環の表現論における研究対象は、幾何的な特徴を持つのだろうかをという問いを解決することである。 二つ目の目的は、次数付き有限次元多元環に対する有限生成条件(Fg)は、圏論的な不変量になっているのだろうかという問いの解決を目指すことである。
|
Outline of Annual Research Achievements |
全ての3次元quadratic AS正 則環Aに対して、本研究の意味での「非可換射影平面(Aに付随する非可換射影スキーム)が中心上有限生成になること」と、幾何の自己同型のノルムという概念が 有限であることが同値であることを示した。Aが中心上有限生成であることと、幾何の自己同型の位数が有限であることが同値であることを、Artin-Tate-Van den Bergh が証明したが、この研究の結果は彼らの結果の圏論的な意味での拡張であるといえる。さらに、幾何の自己同型のノルムが1また は無限大であることと, 非可換射影平面がfat point とよばれるA上の加群を持たないことと, 多元環の表現論の考察対象である、Aに対応するBeilinson algebra 上のsimple regular moduleの同型類が射影平面内のでパラメトライズされることが同値であることを得た。 本年度は本研究課題の1つのテーマの完成に向けた研究に取り掛かかることができた。3次元quadratic AS正則環 Aに対応するBeilinson algebra のAuslander- Reiten 理論での振る舞いを考察し, 多元環の表現論の手法を用いてAR-quiver におけるregular module を考察し,先行研究で射影平面内の3つの直線が1点で交わる幾何と対応する幾何的代数(Type S) のときに regular module たちは AR-quiver の中で幾何でパラメトライズされることが証明されているが,さらにこれらはAに対応するBeilinson algebra 上のsimple regular module がIyama-herschend-Oppermannの意味での2-representation tame 型であることが同値であることを射影平面内の3つの直線が三角形 をなすときに対応する幾何的代数(Type S')の場合に成り立つことを証明することに成功した。これはType S'の幾何的代数の中心の生成元を計算によって具体的に特定し、このことを理論的なことを組み合わせることで証明を得ることができた。
|
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 |
今後の研究の推進方策は、本研究課題のテーマの完成に向けた研究に取り掛かる。3次元quadratic AS正則環 Aに対応するBeilinson algebra のAuslander- Reiten 理論での振る舞いを考察し, 多元環の表現論の手法を用いてAR-quiver におけるregular module を考察し, regular module たちは AR-quiver の中で幾何でパラメトライズされることが証明したが、 さらにこれらはAに対応するBeilinson algebra 上のsimple regular module がIyama-herschend-Oppermannの意味での2-representation tame 型であることが同値であることを予想し、本年度はType S'の場合について解決した。次年度は他の残りのケースでもAの中心の生成元を特定し、さらに上記の予想の解決の完成に向ける。
|
Report
(2 results)
Research Products
(13 results)