半アーベル圏で三項半直積を構成する条件
Ternary semi-direct products in semi-abelian categories
この論文をやさしく読む
ひとことで言うと
群やリー代数で知られている3つの対象の半直積を、より一般的な圏の中でどう構成するかを整理した研究です。
何に役立つ？
異なる代数的対象で共通する構造を、作用と同変射という言葉で統一して扱うために役立ちます。
この研究の面白いところ
単に構成を一般化するだけでなく、圏が追加の性質を持つと構造が簡単になることと、既存の群・リー代数の定義との対応を示しています。
どこまで分かった？
半アーベル圏での抽象的な理論結果です。両立条件の具体式や個別の構成例は要旨に記載されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
CarrascoとCegarraが群とリー代数について以前導入した高次半直積の定義に従い、半アーベル圏における三項半直積の構成を研究する。これらの対象が、周囲の圏においてある両立条件を満たす作用と同変射によって決定されること、および半直積による作用がこの構成の特殊な場合となることを示す。 さらに、代数的に整合的な圏、または局所的に代数的デカルト閉な圏では、その構造を一層簡単にできることを示す。また、具体圏における三項半直積の構造を具体的に記述し、必要な構造に対する本研究の圏論的解釈が、CarrascoとCegarraによる群およびリー代数での定式化とどう関係するかを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study the construction of ternary semi-direct products in semi-abelian categories, following a definition of higher semi-direct product previously introduced by Carrasco and Cegarra for groups and Lie algebras. We show that these objects are determined by actions and equivariant morphisms satisfying a certain compatibility condition in the ambient category, and that actions by semi-direct products are a special case of this construction. We also show how their structure can be further simplified in algebraically coherent or locally algebraically cartesian closed categories. We also give a concrete description of the structure of ternary semi-direct products in concrete categories, and how our categorical interpretation of the necessary structure relates to the group and Lie-theoretic versions given by Carrasco and Cegarra.
著者のコメント
35 pages. Comments welcome
arXiv ID: 2610.01671 ／ 要約の誤りについて