Bounded submodules of modules.

DOI10.1016/J.JPAA.2005.02.003MaRDI QIDQ2573481zbMATH OpenOpenAlexFDO

Authors Markus Schmidmeier

Publication date 22 November 2005

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0408181

zbMATH Keywords

Auslander-Reiten quiversAuslander-Reiten sequencesbounded submodulesfinite length modulesfinite representation typeindecomposable modulesKrull-Schmidt categoriesrepresentation typessubmodule categoriestame representation typewild representation type

Mathematics Subject Classification ID

Module categories in associative algebras (16D90) Representation type (finite, tame, wild, etc.) of associative algebras (16G60) Auslander-Reiten sequences (almost split sequences) and Auslander-Reiten quivers (16G70)

Abstract: Let $m$, $n$ be positive integers such that $mleqn$. We consider all pairs $(B,A)$ where $B$ is a finite dimensional $T^n$-bounded $k[T]$-module and $A$ is a submodule of $B$ which is $T^m$-bounded. They form the objects of the submodule category $S_m(k[T]/T^n)$ which is a Krull-Schmidt category with Auslander-Reiten sequences. The case $m=n$ deals with submodules of $k[T]/T^n$-modules and has been studied well. In this manuscript we determine the representation type of the categories $S_m(k[T]/T^n)$ also for the cases where $m<n$: It turns out that there are only finitely many indecomposables in $S_m(k[T]/T^n)$ if either $m<3$, $n<6$, or $(m,n)=(3,6)$; the category is tame if $(m,n)$ is one of the pairs $(3,7)$, $(4,6)$, $(5,6)$, or $(6,6)$; otherwise, $S_m(k[T]/T^n)$ has wild representation type. Moreover, in each of the finite or tame cases we describe the indecomposables and picture the Auslander-Reiten quiver.

Review text

For a ring \(\Lambda\), the submodule category \(\mathcal S(\Lambda)\) is defined as follows: the objects in \(\mathcal S(\Lambda)\) are pairs \((A\subseteq B)\) where \(B\) is a finite length \(\Lambda\)-module and \(A\) is a submodule of \(B\), and the morphisms from \((A\subseteq B)\) to \((A'\subseteq B')\) are given by the \(\Lambda\)-linear maps \(f\colon B\to B'\) which map \(A\) to \(A'\). For a positive integer \(m\), the category \(\mathcal S_m(\Lambda)\) of bounded submodules is the full subcategory of \(\mathcal S(\Lambda)\) consisting of all pairs \((A\subseteq B)\) with \(\text{rad}^mA=0\). In this paper, the author studies the category \(\mathcal S_m(\Lambda)\) in the case \(\Lambda=k[T]/T^n\), where \(k\) is a field and \(m\leq n\). The category \(\mathcal S_m(k[T]/T^n)\) is a Krull-Schmidt category with Auslander-Reiten sequences. As the main result, the author obtains a complete characterization of the representation types of the category \(\mathcal S_m(k [T]/T^n)\), as follows: (a) \(\mathcal S_m(k[T]/T^n)\) has finite representation type if \(n<6\) or if \(m<3\), or if \((m,n)=(3,6)\); (b) \(\mathcal S_m(k[T]/T^n)\) has tame infinite representation type if \((m,n)\) is one of the pairs \((3,7)\), \((4,6)\), \((5,6)\) or \((6,6)\); (c) \(\mathcal S _m(k[T]/T^n)\) has wild representation type in all other cases. Moreover, the author obtains a description of the indecomposable modules and the Auslander-Reiten quivers in the finite and tame cases. The methods of the paper are based on homological algebra, Auslander-Reiten theory and covering theory.

Recommendations

• Submodule categories of wild representation type.
• On the representation type of locally bounded categories
• Brauer-Thrall type theorems for submodule categories
• The Auslander and Ringel-Tachikawa theorem for submodule embeddings.
• Chain categories of modules and subprojective representations of posets over uniserial algebras.

Cites work

• Abelian groups and representations of finite partially ordered sets
• Almost split sequences in subcategories
• Chain categories of modules and subprojective representations of posets over uniserial algebras.
• Combinatorial representation theory history and future.
• Covering spaces in representation-theory
• Galois coverings of representation-infinite algebras
• scientific article; zbMATH DE number 3695413 (Why is no real title available?)
• scientific article; zbMATH DE number 40982 (Why is no real title available?)
• scientific article; zbMATH DE number 44769 (Why is no real title available?)
• scientific article; zbMATH DE number 1361373 (Why is no real title available?)
• scientific article; zbMATH DE number 707210 (Why is no real title available?)
• Subgroups of Abelian Groups
• Tame algebras and integral quadratic forms
• The Auslander-Reiten translation in submodule categories

Cited in

(21)

• The ``0, 1-property of exceptional objects for nilpotent operators of degree 6 with one invariant subspace
• Dimension vectors of indecomposable objects for nilpotent operators of degree 6 with one invariant subspace
• Representations of finite partially ordered sets over commutative Artinian uniserial rings.
• The Fitting submodule.
• On coclosed submodules.
• Abelian groups with a p^2-bounded subgroup, revisited
• A Note on Bruhat Decomposition ofGL(n) over Local Principal Ideal Rings
• A decomposition theorem for tensor products with bimodules
• Hall polynomials via automorphisms of short exact sequences
• Operations on arc diagrams and degenerations for invariant subspaces of linear operators. II
• Operations on arc diagrams and degenerations for invariant subspaces of linear operators
• Representations of posets and indecomposable torsion-free Abelian groups.
• The entries in the LR-tableau
• Invariant subspaces of nilpotent linear operators, I
• Invariant subspaces of nilpotent operators. Level, mean, colevel: the triangle \(\mathbb{T}(n)\)
• Abelian p-groups with a fixed elementary subgroup or with a fixed elementary quotient
• An introduction to monomorphism categories
• A generalization of the Gerstenhaber-Hesselink theorem with an application to semisimple invariant subspaces of nilpotent linear operators
• Submodule categories of wild representation type.
• Geometric representations of \(\text{GL}(n,R)\), cellular Hecke algebras and the embedding problem.
• Representation types of the category of subprojective representations of a finite poset over \(K[t]/(t^m)\) and a solution of a Birkhoff type problem.

This page was built for publication: Bounded submodules of modules.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2573481)