On generic bricks over tame algebras

E. P\'erez; L. Salmer\'on; R. Bautista

arxiv: 2408.16127 · v2 · submitted 2024-08-28 · 🧮 math.RT

On generic bricks over tame algebras

R. Bautista , E. P\'erez , L. Salmer\'on This is my paper

Pith reviewed 2026-05-23 22:04 UTC · model grok-4.3

classification 🧮 math.RT

keywords tame algebrasgeneric modulesbricksrepresentation theoryone-parameter familiesbrick-continuous

0 comments

The pith

For tame algebras over algebraically closed fields, a generic module is a generic brick exactly when it determines a one-parameter family of bricks with the same dimension.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that for a tame finite-dimensional algebra Λ over an algebraically closed field, a generic Λ-module G is a generic brick if and only if it determines a one-parameter family of bricks all having the same dimension as G. This equivalence immediately yields that Λ admits a generic brick if and only if Λ is brick-continuous. A reader would care because the result supplies a concrete test, in terms of observable families, for when generic objects in tame representation theory qualify as bricks rather than more complicated modules.

Core claim

If Λ is a tame finite-dimensional algebra over an algebraically closed field and G is a generic Λ-module, then G is a generic brick if and only if it determines a one-parameter family of bricks with the same dimension. In particular, Λ admits a generic brick if and only if Λ is brick-continuous.

What carries the argument

The one-parameter family of bricks of fixed dimension determined by the generic module.

If this is right

A tame algebra admits generic bricks precisely when it is brick-continuous.
Generic modules that parametrize constant-dimension brick families are exactly the generic bricks.
Brick-continuity of the algebra is the decisive property controlling the existence of generic bricks.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The criterion may let researchers decide brick-continuity for concrete tame algebras by inspecting known one-parameter families.
Analogous links between generic objects and constant-dimension families could be sought in categories of modules over non-tame algebras.
The result isolates brick-continuity as a property worth checking before constructing generic modules in new examples.

Load-bearing premise

The standard definitions of generic module, generic brick, and brick-continuous used in the literature on tame algebras make the stated equivalence hold when the algebra is tame and the field is algebraically closed.

What would settle it

A tame algebra over an algebraically closed field together with a generic module that is a generic brick but does not determine any one-parameter family of bricks of the same dimension.

read the original abstract

We prove that if ${\Lambda}$ is a tame finite-dimensional algebra over an algebraically closed field and $G$ is a generic ${\Lambda}-$module, then $G$ is a generic brick if and only if it determines a one-parameter family of bricks with the same dimension. In particular, we obtain that ${\Lambda}$ admits a generic brick if and only if ${\Lambda}$ is brick-continuous.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper states a clean equivalence linking generic bricks to one-parameter families for tame algebras, but the result reads as a direct consequence of standard definitions rather than a major step forward.

read the letter

The central point here is that for a tame algebra over an algebraically closed field, a generic module G is a generic brick exactly when it gives rise to a one-parameter family of bricks of the same dimension. This leads to the conclusion that the algebra has a generic brick if and only if it is brick-continuous. The statement uses only the usual definitions from the literature on tame algebras and generic modules. The paper does a good job of stating this equivalence clearly and tying it to existing definitions in the area. It organizes the notions of generic bricks and brick-continuity in a useful way for those working on tame algebras. On the soft side, the equivalence looks like it follows from the standard setup once the one-parameter condition is imposed, so the novelty might be limited to this particular formulation. The abstract alone doesn't let us inspect the proof steps, but nothing in the statement suggests a problem with the logic or assumptions. This kind of result is mainly for people deep in representation theory of finite-dimensional algebras, especially those studying generic modules. It could be cited by others in that niche if they need this characterization. I think it should go to peer review because it offers a precise statement that could help organize the literature, even if it doesn't change the broader picture.

Referee Report

1 major / 0 minor

Summary. The paper proves that if Λ is a tame finite-dimensional algebra over an algebraically closed field and G is a generic Λ-module, then G is a generic brick if and only if it determines a one-parameter family of bricks with the same dimension. In particular, Λ admits a generic brick if and only if Λ is brick-continuous.

Significance. If the equivalence holds, the result gives a concrete characterization of generic bricks in terms of one-parameter families for tame algebras, directly tying the existence of generic bricks to the brick-continuity property. This could streamline checks in the representation theory of tame algebras by reducing the generic-brick question to a family-existence condition using only standard notions from the literature (e.g., Crawley-Boevey).

major comments (1)

The manuscript consists solely of the stated theorem in the abstract; no definitions of the key terms (generic module, generic brick, brick-continuous), no derivation of the if-and-only-if equivalence, and no supporting arguments or references to prior results are supplied. Without these, the central claim cannot be verified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. We address the major concern below and will revise the manuscript to incorporate the necessary additions.

read point-by-point responses

Referee: The manuscript consists solely of the stated theorem in the abstract; no definitions of the key terms (generic module, generic brick, brick-continuous), no derivation of the if-and-only-if equivalence, and no supporting arguments or references to prior results are supplied. Without these, the central claim cannot be verified.

Authors: We acknowledge that the submitted manuscript is a concise note consisting only of the theorem statement. In the revised version, we will expand the paper to include precise definitions of generic module, generic brick, and brick-continuous (drawing on standard references such as Crawley-Boevey's work on generic modules), a complete derivation of the stated if-and-only-if equivalence, supporting arguments, and citations to the relevant prior literature on tame algebras and one-parameter families. This will enable full verification of the claim. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper proves an if-and-only-if equivalence for tame algebras over algebraically closed fields: a generic module G is a generic brick precisely when it parametrizes a one-parameter family of same-dimension bricks, with the corollary that generic bricks exist iff the algebra is brick-continuous. The statement invokes only the standard definitions of generic module, generic brick, and brick-continuity already present in the literature (Crawley-Boevey and related works on tame algebras). No equation, definition, or step is shown to reduce to itself by construction, no parameter is fitted and then relabeled a prediction, and no load-bearing premise rests on a self-citation chain. The result is therefore a direct consequence of the external definitions once the one-parameter-family condition is imposed, with no internal circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the statement relies on standard notions whose precise definitions and any hidden assumptions are not visible.

pith-pipeline@v0.9.0 · 5583 in / 1011 out tokens · 40052 ms · 2026-05-23T22:04:37.533017+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.2: G generic brick iff infinitely many M(λ) are bricks; Corollary 1.3: Λ brick-continuous iff admits generic brick. Proof via minimal ditalgebra B, functor F : B-Mod → P¹(Λ), radical factorizations through γt and S(Λet).
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Use of realizations M over Γ = k[x]_h and one-parameter families M(λ) = M ⊗ Γ Γ/(x−λ).

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Assem, S

I. Assem, S. Simson, A. Skowronski. Elements of Representatio n Theory of Associative Algebras 1. London Math. Soc. Student Texts 65, 200 6. 39

work page
[2]

Auslander, I

M. Auslander, I. Reiten, S.O. Smalø. Representation Theory of A rtin Al- gebras. Cambridge Studies in Advanced Math. 36, Cambridge Univer sity Press 1997

work page 1997
[3]

Bautista, L

R. Bautista, L. Salmer´ on, and R. Zuazua. Diﬀerential Tensor A lgebras and their Module Categories. London Math. Soc. Lecture Note Ser ies 362. Cambridge University Press, 2009

work page 2009
[4]

Bodnarchuk and Yu

L. Bodnarchuk and Yu. Drozd, One class of wild but brick-tame matrix problems. Journal of Algebra (2010), 3004–3019

work page 2010
[5]

Crawley-Boevey

W.W. Crawley-Boevey. On tame algebras and bocses. Proc. London Math. Soc. (3) 56 (1988) 451–483

work page 1988
[6]

Crawley-Boevey

W.W. Crawley-Boevey. Tame algebras and generic modules. Proc. London Math. Soc. (3) 63 (1991) 241–265

work page 1991
[7]

Crawley-Boevey

W.W. Crawley-Boevey. Modules of ﬁnite length over their endomorphism rings, in: S. Brenner, H. Tachikawa (Eds.), Representations of Algebra s and Related Topics, in: London Math. Soc. Lect. Notes Series, 168 , 1992, 127–184

work page 1992
[8]

Crawley-Boevey

W.W. Crawley-Boevey. Tameness of biserial algebras. Arch. Math. 65 (1995) 399–407

work page 1995
[9]

Yu. A. Drozd. Tame and wild matrix problems. Representations and quadratic forms. [Institute of Mathematics, Academy of Sciences , Ukra- nian SSR, Kiev (1979) 39–74] Amer. Math. Soc. Transl. 128 (1986) 31–55

work page 1979
[10]

S. Kasjan. Auslander-Reiten Sequences under Base Field Extension . Pro- ceedings of the American Mathematical Society, Vol. 128, No. 10 (2 000) 2885–2896

work page
[11]

H. Krauze. Krull–Schmidt categories and projective covers . Expo. Math. 33 (2015) 535–549

work page 2015
[12]

Mousavand, C

K. Mousavand, C. Paquette. Minimal ( τ -)tilting inﬁnite algebras. Nagoya Mathematical Journal 249 (2023) 221–238

work page 2023
[13]

Mousavand, C

K. Mousavand, C. Paquette. Biserial Algebras and Generic Bricks. arXiv:2209.05696v1[math.RT]13-Sep-2022

work page arXiv 2022
[14]

Mousavand, C

K. Mousavand, C. Paquette. Hom-Orthogonal Modules and Brick-Brauer- Thrall Conjectures. arXiv:2407.20877v1 [math.RT] 30-jul-2024

work page arXiv 2024
[15]

C.M. Ringel. The spectrum of a ﬁnite dimensional algebra. Proceedings of a conference on Ring Theory, Antwerp 1978. Dekker, New York, 1 979

work page 1978
[16]

C.M. Ringel. Tame Algebras and Integral Quadratic Forms. Sprin ger- Verlag, Berlin, Heidelberg, New York, Tokyo, 1984. 40

work page 1984
[17]

Roiter, M.M

A.V. Roiter, M.M. Kleiner. Representations of diﬀerential graded cate- gories. Springer Lect. Notes in Math. 488 (1975) 316–339. R. Bautista Centro de Ciencias Matem´ aticas Universidad Nacional Aut´ onoma de M´ exico Morelia, M´ exico raymundo@matmor.unam.mx E. P´ erez Facultad de Matem´ aticas Universidad Aut´ onoma de Yucat´ an M´ erida, M´ exico jpere...

work page 1975

[1] [1]

Assem, S

I. Assem, S. Simson, A. Skowronski. Elements of Representatio n Theory of Associative Algebras 1. London Math. Soc. Student Texts 65, 200 6. 39

work page

[2] [2]

Auslander, I

M. Auslander, I. Reiten, S.O. Smalø. Representation Theory of A rtin Al- gebras. Cambridge Studies in Advanced Math. 36, Cambridge Univer sity Press 1997

work page 1997

[3] [3]

Bautista, L

R. Bautista, L. Salmer´ on, and R. Zuazua. Diﬀerential Tensor A lgebras and their Module Categories. London Math. Soc. Lecture Note Ser ies 362. Cambridge University Press, 2009

work page 2009

[4] [4]

Bodnarchuk and Yu

L. Bodnarchuk and Yu. Drozd, One class of wild but brick-tame matrix problems. Journal of Algebra (2010), 3004–3019

work page 2010

[5] [5]

Crawley-Boevey

W.W. Crawley-Boevey. On tame algebras and bocses. Proc. London Math. Soc. (3) 56 (1988) 451–483

work page 1988

[6] [6]

Crawley-Boevey

W.W. Crawley-Boevey. Tame algebras and generic modules. Proc. London Math. Soc. (3) 63 (1991) 241–265

work page 1991

[7] [7]

Crawley-Boevey

W.W. Crawley-Boevey. Modules of ﬁnite length over their endomorphism rings, in: S. Brenner, H. Tachikawa (Eds.), Representations of Algebra s and Related Topics, in: London Math. Soc. Lect. Notes Series, 168 , 1992, 127–184

work page 1992

[8] [8]

Crawley-Boevey

W.W. Crawley-Boevey. Tameness of biserial algebras. Arch. Math. 65 (1995) 399–407

work page 1995

[9] [9]

Yu. A. Drozd. Tame and wild matrix problems. Representations and quadratic forms. [Institute of Mathematics, Academy of Sciences , Ukra- nian SSR, Kiev (1979) 39–74] Amer. Math. Soc. Transl. 128 (1986) 31–55

work page 1979

[10] [10]

S. Kasjan. Auslander-Reiten Sequences under Base Field Extension . Pro- ceedings of the American Mathematical Society, Vol. 128, No. 10 (2 000) 2885–2896

work page

[11] [11]

H. Krauze. Krull–Schmidt categories and projective covers . Expo. Math. 33 (2015) 535–549

work page 2015

[12] [12]

Mousavand, C

K. Mousavand, C. Paquette. Minimal ( τ -)tilting inﬁnite algebras. Nagoya Mathematical Journal 249 (2023) 221–238

work page 2023

[13] [13]

Mousavand, C

K. Mousavand, C. Paquette. Biserial Algebras and Generic Bricks. arXiv:2209.05696v1[math.RT]13-Sep-2022

work page arXiv 2022

[14] [14]

Mousavand, C

K. Mousavand, C. Paquette. Hom-Orthogonal Modules and Brick-Brauer- Thrall Conjectures. arXiv:2407.20877v1 [math.RT] 30-jul-2024

work page arXiv 2024

[15] [15]

C.M. Ringel. The spectrum of a ﬁnite dimensional algebra. Proceedings of a conference on Ring Theory, Antwerp 1978. Dekker, New York, 1 979

work page 1978

[16] [16]

C.M. Ringel. Tame Algebras and Integral Quadratic Forms. Sprin ger- Verlag, Berlin, Heidelberg, New York, Tokyo, 1984. 40

work page 1984

[17] [17]

Roiter, M.M

A.V. Roiter, M.M. Kleiner. Representations of diﬀerential graded cate- gories. Springer Lect. Notes in Math. 488 (1975) 316–339. R. Bautista Centro de Ciencias Matem´ aticas Universidad Nacional Aut´ onoma de M´ exico Morelia, M´ exico raymundo@matmor.unam.mx E. P´ erez Facultad de Matem´ aticas Universidad Aut´ onoma de Yucat´ an M´ erida, M´ exico jpere...

work page 1975