D型半順序集合の表現を幾何学的に記述
A geometric realization of socle-projective categories for posets of type $\mathbb{D}$
この論文をやさしく読む
ひとことで言うと
D型半順序集合の加群を、穴のある多角形の弧を使う幾何モデルと対応づけた数学研究。
何に役立つ？
抽象的な表現の圏を幾何的に扱うための理論的な対応を与える。具体的な計算手法や応用実験は要旨にない。
この研究の面白いところ
A型より複雑なD型で圏同値を示し、追加の矢印がない場合にはクラスター部分代数が全体と一致することも導いている。
どこまで分かった？
対象は定義されたD型半順序集合と対応する部分圏である。実際の構成や証明の詳細は要旨に示されていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
D型の半順序集合を導入する。これは、型Dₙの許容されるディンキン箙と、それに適合する追加の矢印（alien arrows）の集合によって記述される半順序集合の族である。そして、そのsocle-projective表現の圏が有限表現型であることを示す。 続いて、A型半順序集合について始められた同様の研究を引き継ぎ、A型より幾何学的組合せ構造が複雑なDₙ型のcluster-tilted代数について、既存の幾何モデルを基に構成を行う。主結果は、点を一つ内部に持つ(n+3)角形の弧の圏のうち、特定のsp弧を対象とする充満部分圏 (𝒞/T)₍F₎ と、D型半順序集合𝒫に対する有限生成socle-projective k𝒫加群の圏との間に、k線形な圏同値Θがあることを示す。帰結として、追加の矢印の集合が空の場合には、sp弧が生成するクラスター部分代数がクラスター代数全体と一致すると結論する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We introduce posets of type $\mathbb{D}$, a family of posets described by an admissible Dynkin quiver of type $D_n$ together with a compatible set of extra arrows (alien arrows), and show that their socle-projective representation category is of finite representation type. Continuing, in the same spirit, a program initiated for posets of type $\mathbb{A}$ [R. Schiffler, R-J. Serna, A geometric realization of socle-projective categories for posets of type $\mathbb{A}$, J. Pure Appl. Algebra 224 (2020), no. 12, 106436], we build on an existing geometric model for cluster-tilted algebras of type $D_n$, whose geometric combinatorics is more intricate than that of type $\mathbb{A}$. Our main result establishes a $\Bbbk$-linear categorical equivalence $\Theta$ between a full subcategory $(\mathcal C/T)_F$ of the arc category of a punctured $(n+3)$-gon, whose objects are certain $sp$-arcs, and the category of finitely generated socle-projective $\Bbbk\mathscr{P}$-modules, for $\mathscr{P}$ a poset of type $\mathbb{D}$. As a consequence, when the set of alien arrows is empty, we conclude that the cluster subalgebra generated by the $sp$-arcs coincides with the full cluster algebra.
著者のコメント
40 pages, 11 figures
arXiv ID: 2609.25174 ／ 要約の誤りについて