Description:
<p>The notion of an extriangulated category gives a unification of existing theories in exact or abelian categories and in triangulated categories. In this article, we develop Auslander–Reiten theory for extriangulated categories. This unifies Auslander–Reiten theories developed in exact categories and triangulated categories independently. We give two different sets of sufficient conditions on the extriangulated category so that existence of almost split extensions becomes equivalent to that of an Auslander–Reiten–Serre duality. We also show that existence of almost split extensions is preserved under taking relative extriangulated categories, ideal quotients, and extension-closed subcategories. Moreover, we prove that the stable category <inline-formula content-type="math/mathml">
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper C underbar">
<mml:semantics>
<mml:munder>
<mml:mrow class="MJX-TeXAtom-ORD">
<mml:mi mathvariant="script">C</mml:mi>
</mml:mrow>
<mml:mo>_<!-- _ --></mml:mo>
</mml:munder>
<mml:annotation encoding="application/x-tex">\underline {\mathscr {C}}</mml:annotation>
</mml:semantics>
</mml:math>
</inline-formula> of an extriangulated category <inline-formula content-type="math/mathml">
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper C">
<mml:semantics>
<mml:mrow class="MJX-TeXAtom-ORD">
<mml:mi mathvariant="script">C</mml:mi>
</mml:mrow>
<mml:annotation encoding="application/x-tex">\mathscr {C}</mml:annotation>
</mml:semantics>
</mml:math>
</inline-formula> is a <inline-formula content-type="math/mathml">
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="tau">
<mml:semantics>
<mml:mi>τ<!-- τ --></mml:mi>
<mml:annotation encoding="application/x-tex">\tau</mml:annotation>
</mml:semantics>
</mml:math>
</inline-formula>-category (see O. Iyama [Algebr. Represent. Theory 8 (2005), pp. 297–321]) if <inline-formula content-type="math/mathml">
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper C">
<mml:semantics>
<mml:mrow class="MJX-TeXAtom-ORD">
<mml:mi mathvariant="script">C</mml:mi>
</mml:mrow>
<mml:annotation encoding="application/x-tex">\mathscr {C}</mml:annotation>
</mml:semantics>
</mml:math>
</inline-formula> has enough projectives, almost split extensions and source morphisms. This gives various consequences on <inline-formula content-type="math/mathml">
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper C underbar">
<mml:semantics>
<mml:munder>
<mml:mrow class="MJX-TeXAtom-ORD">
<mml:mi mathvariant="script">C</mml:mi>
</mml:mrow>
<mml:mo>_<!-- _ --></mml:mo>
</mml:munder>
<mml:annotation encoding="application/x-tex">\underline {\mathscr {C}}</mml:annotation>
</mml:semantics>
</mml:math>
</inline-formula>, including Igusa–Todorov’s Radical Layers Theorem (see K. Igusa and G. Todorov [J. Algebra 89 (1984), pp. 105–147]), Auslander–Reiten Combinatorics on dimensions of Hom-spaces, and Reconstruction Theorem of the associated completely graded category of <inline-formula content-type="math/mathml">
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper C underbar">
<mml:semantics>
<mml:munder>
<mml:mrow class="MJX-TeXAtom-ORD">
<mml:mi mathvariant="script">C</mml:mi>
</mml:mrow>
<mml:mo>_<!-- _ --></mml:mo>
</mml:munder>
<mml:annotation encoding="application/x-tex">\underline {\mathscr {C}}</mml:annotation>
</mml:semantics>
</mml:math>
</inline-formula> via the complete mesh category of the Auslander–Reiten species of <inline-formula content-type="math/mathml">
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper C underbar">
<mml:semantics>
<mml:munder>
<mml:mrow class="MJX-TeXAtom-ORD">
<mml:mi mathvariant="script">C</mml:mi>
</mml:mrow>
<mml:mo>_<!-- _ --></mml:mo>
</mml:munder>
<mml:annotation encoding="application/x-tex">\underline {\mathscr {C}}</mml:annotation>
</mml:semantics>
</mml:math>
</inline-formula>. Finally we prove that any locally finite symmetrizable <inline-formula content-type="math/mathml">
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="tau">
<mml:semantics>
<mml:mi>τ<!-- τ --></mml:mi>
<mml:annotation encoding="application/x-tex">\tau</mml:annotation>
</mml:semantics>
</mml:math>
</inline-formula>-quiver (=valued translation quiver) is an Auslander–Reiten quiver of some extriangulated category with sink morphisms and source morphisms.</p>