The brick chain complexity of an artin algebra
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel 2026-06-29 02:21 UTCgrok-4.3pith:RQF2V72Orecord.jsonopen to challenge →
The pith
Artin algebras exist with arbitrarily large brick chain complexity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We consider the category of finitely generated modules over an Artin algebra A. It is known that any module M has a brick chain filtration. We say that M has brick chain complexity at most t provided M has a brick chain filtration of length at most t. The brick chain complexity of A is by definition the supremum of the brick chain complexity of the indecomposable A-modules. The aim of this note is to calculate the brick chain complexity for some algebras. We will exhibit algebras with arbitrarily large brick chain complexity.
What carries the argument
The brick chain filtration of a module, a chain of submodules whose successive quotients are bricks, whose shortest length defines the module complexity and whose supremum over indecomposables defines the algebra complexity.
Load-bearing premise
Every finitely generated module over an Artin algebra admits a brick chain filtration.
What would settle it
A proof that brick chain complexity is bounded above by some fixed number for every Artin algebra.
read the original abstract
We consider the category of finitely generated modules over an artin algebra $A$. It is known that any module $M$ has a brick chain filtration. We say that M has brick chain complexity at most $t$ provided $M$ has a brick chain filtration of length at most $t$. The brick chain complexity of A is by definition the supremum of the brick chain complexity of the indecomposable $A$-modules. The aim of this note is to calculate the brick chain complexity for some algebras. We will exhibit algebras with arbitrarily large brick chain complexity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines the brick chain complexity of an Artin algebra A as the supremum, over all indecomposable finitely generated A-modules M, of the minimal length of a brick chain filtration of M. It states as background that every such module admits at least one brick chain filtration, and announces the intention to compute the invariant for certain algebras while exhibiting examples where the complexity is arbitrarily large.
Significance. If the announced constructions are carried out correctly, the result would establish that brick chain complexity is an unbounded invariant on the class of Artin algebras. This could furnish a new numerical measure of the complexity of module categories and might be useful for distinguishing representation types or for studying filtrations by bricks.
major comments (1)
- [Abstract] Abstract: the definition of brick chain complexity presupposes that every finitely generated module possesses a brick chain filtration, yet the manuscript states this only as 'it is known' without supplying a reference, a citation, or a self-contained argument. This premise is load-bearing for the entire note, because the supremum is undefined if even one indecomposable module lacks such a filtration; without it the subsequent claim of exhibiting algebras with arbitrarily large complexity cannot be interpreted.
Simulated Author's Rebuttal
We thank the referee for their thorough review and valuable comments on our manuscript. We address the major comment below and will make the necessary revisions to improve the paper.
read point-by-point responses
-
Referee: [Abstract] Abstract: the definition of brick chain complexity presupposes that every finitely generated module possesses a brick chain filtration, yet the manuscript states this only as 'it is known' without supplying a reference, a citation, or a self-contained argument. This premise is load-bearing for the entire note, because the supremum is undefined if even one indecomposable module lacks such a filtration; without it the subsequent claim of exhibiting algebras with arbitrarily large complexity cannot be interpreted.
Authors: We acknowledge that citing or proving the existence of brick chain filtrations for all finitely generated modules is essential for the definition to be rigorous. Upon revision, we will either provide a suitable reference from the literature on Artin algebras and module filtrations or include a brief self-contained argument establishing this fact. This will resolve the concern and ensure the subsequent results are well-defined. revision: yes
Circularity Check
No circularity; definition uses external background fact, constructions are independent
full rationale
The paper states as background that every module admits a brick chain filtration and defines complexity as the sup of minimal filtration lengths over indecomposables. The central result is an explicit construction of algebras realizing arbitrarily large values of this sup. No equation or claim reduces a derived quantity to a fitted input, self-citation, or definitional tautology; the existence premise is external to the paper's derivations and the exhibited examples stand on their own constructions.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Any module M over an Artin algebra has a brick chain filtration.
Reference graph
Works this paper leans on
-
[1]
The brick chain complexity of an artin algebra
Brick chain filtrations. 1.1.We deal with an artin algebraA; the modules to be considered are the left A-modules of finite length. Given a setXof modules, letE(X) be the class of modules which have a filtration with all factors inX. We recall that abrickis a module whose endomorphism ring is a division ring. IfBis a brick, the modules inE(B) will be said to ...
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[2]
foundation bricks
Brick chain complexity. Definition and some examples. 2.1.As we have mentioned, a moduleMis said to havebrick chain complexityat mostt provided there is a brick chain filtration with at mosttfactors. Thebrick chain complexity of an algebraAis the supremum of the brick chain complexity of the indecomposable A-modules (it is a natural number or∞). 2.2. Algebr...
-
[3]
A brickBis said to be afoundation brickfor the moduleMprovided there is a brick chain filtration ofMof type (B 1,B 2,...,B m ) withB 1 =B
Foundation bricks. A brickBis said to be afoundation brickfor the moduleMprovided there is a brick chain filtration ofMof type (B 1,B 2,...,B m ) withB 1 =B. 3.1. Lemma.LetBbe a foundation brick forM. Then the sumt BMof the images B→Mis a direct sum of copies ofB. We recall that the sumt B (M) of the images of the mapsB→Mis called thetrace ofBinM. Proof: S...
-
[4]
4.1.For anyn≥3, there is a directed gentle algebras withnsimple modules, with brick chain complexity equal ton
Some algebras with finite brick chain complexity. 4.1.For anyn≥3, there is a directed gentle algebras withnsimple modules, with brick chain complexity equal ton. Proof. We consider the algebraAwith vertices 1,2,...,nand two arrowsi⇔i+1 for 1≤i<n(always labeledαandβ). As relations, we take all the wordsαβandβα, thus Ais gentle and directed. 1 2 3 ... n−1 n ...
-
[5]
As a preparation for section 6, we include some observations about Ktronecker mod- ules; these are the modules over the Kronecker algebra
The brick chain filtrations of a regular Kronecker module. As a preparation for section 6, we include some observations about Ktronecker mod- ules; these are the modules over the Kronecker algebra. The Kronecker algebraAis the 6 path algebra of the quiver with two vertices 1,2 and two arrows 1⇔2. There is the well- known trisection of the indecomposableA-m...
-
[6]
An algebra with infinite brick chain complexity. 6.1. The algebra.Let us present an algebraAwith brick chain complexity∞. Take the path algebra with two simple modules 1,2, with two arrows 1⇔2, two arrows 2⇔1 and a loop at 1; we assume that 1 is a node (that means: all pathsx←1←yare zero relations; there are five such paths), and that there is no other rela...
-
[7]
References. [R1] C. M. Ringel. Brick chain filtrations. A report. arXiv:2411.18427 [R2] C. M. Ringel. In preparation. Claus Michael Ringel Fakult¨ at f¨ ur Mathematik, Universit¨ at Bielefeld POBox 100131, D-33501 Bielefeld, Germany ringel@math.uni-bielefeld.de 9
work page internal anchor Pith review Pith/arXiv arXiv
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.