Maximal finite semibricks consist only of open bricks

Sota Asai

Maximal finite semibricks consist only of open bricks

T0 review · 0 major / 8 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that every maximal finite semibrick over a finite-dimensional algebra consists only of open bricks—modules whose orbit is dense in an irreducible component of the representation scheme.

desk verdict Short, clean proof of a real structural result: maximal finite semibricks live inside open orbits, and the extension theorem behind it is genuinely new. read the letter →

arxiv 2501.13476 v3 pith:26M37R3Y submitted 2025-01-23 math.RT

Sota Asai This is my paper · ORCID

classification math.RT MSC 16G2014L30

keywords semibrickopenbrickrepresentationschemeirreduciblecomponentorbitclosurefinite-dimensionalalgebraquiverrepresentations

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves a structural constraint on maximal finite semibricks: sets of pairwise Hom-orthogonal bricks that cannot be enlarged. Over any finite-dimensional algebra over an algebraically closed field, if such a semibrick is finite, every brick in it must be an open brick, meaning its orbit is dense in some irreducible component of the representation scheme. The engine is an extension theorem: whenever a brick B of a finite semibrick S fails to be dense in an irreducible component Z, there is another brick in Z that can be appended to S. Iterating this produces infinite semibricks when any member is non-open. The result matters because it ties a purely algebraic notion—maximality of semibricks—to the geometry of orbit closures.

What carries the argument

The central mechanism is the equivalence in Proposition 2.5. For a brick $B$ lying in an irreducible component $Z$ of a representation scheme, the sets $Z \cap {}^{\perp}B$ and $Z \cap B^{\perp}$ (modules in $Z$ with zero Hom to $B$ in the appropriate direction) are open dense in $Z$ exactly when $\mathcal{O}_B$ is not open dense in $Z$. This is proved using the lemma from [B] (Lemma 2.4): over the locally closed stratum where $\dim_K \mathrm{Hom}_\Lambda(X,B)=1$, the total space of homomorphisms $Y(Z_{B,1},B)$ is a vector bundle over $Z_{B,1}$, so its projection is an open map. That openness lets the proof locate an isomorphism $f \colon X \to B$ inside the bundle, showing $\mathcal{O}_B$ is open dense. Proposition 2.6 then transplants the same reasoning to produce a brick $B'$ that is Hom-orthogonal to both a given semibrick and a chosen component.

What would settle it

A direct counterexample: a finite-dimensional algebra $\Lambda$ with a maximal finite semibrick $S$ containing a brick $B$ whose orbit $\mathcal{O}_B$ is not dense in any irreducible component of $\mathrm{rep}(\Lambda, \dim B)$. Because maximality of a finite $S$ and orbit closures are checkable by computer for small quivers with relations, searching for such an algebra would settle the claim; Theorem 1.1 predicts none exists.

Watch

Extended reading notes

Core claim

Theorem 1.1 states that if $S$ is a maximal finite semibrick of modules over a finite-dimensional algebra $\Lambda$ over an algebraically closed field, then every $B \in S$ is an open brick: the orbit $\mathcal{O}_B$ is open and dense in some irreducible component $Z$ of the representation scheme $\mathrm{rep}(\Lambda, \dim B)$. This follows from Theorem 1.2, which says that a finite semibrick $S$ with $B \in S$ and $\mathcal{O}_B$ properly contained in a component $Z$ can be extended by a brick $B' \in Z$ with $S \sqcup \{B'\}$ still a semibrick. Thus a non-open brick is never maximal: it always leaves room for another brick in any component that properly contains its orbit closure. Corollary 1.3 turns this into a growth statement—if several components contain non-open bricks of $S$, then $S$ can be extended by infinite semibricks living inside each such component.

Load-bearing premise

The argument relies on the imported lemma from [B] that on the stratum of an irreducible component where $\dim_K \mathrm{Hom}_\Lambda(X,B)=1$, the homomorphism space forms a vector bundle whose projection to the stratum is an open map; if that open-map property fails for some algebra and component, the extension theorem and Theorem 1.1 collapse.

Editorial extensions

If this is right

Any finite semibrick with a member whose orbit is not dense in an irreducible component can be extended by a brick inside that component, so such a semibrick is never maximal (Theorem 1.2).
If a finite semibrick has non-open bricks in several distinct components, then it extends to infinite semibricks, one supported in each of those components (Corollary 1.3).
In any brick component, either there is a unique open brick up to isomorphism whose orbit is the whole brick part, or the brick part is an infinite union of non-open bricks (Proposition 2.7).
For a path algebra of a finite acyclic quiver, a non-exceptional brick extends by a brick whose dimension vector is a positive multiple of the original, giving an independent proof of the main theorem for quivers (Section 3).
Every maximal finite semibrick consists only of open bricks, so a maximal finite semibrick is a finite Hom-orthogonal set whose members all have the largest possible orbits.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The theorem leaves open the converse: whether every finite semibrick consisting only of open bricks is maximal; checking this on tame and wild algebras would delimit the result.
The geometric mechanism suggests a testable generalization: replace 'finite' by 'bounded cardinality' and see whether the growth conclusion of Corollary 1.3 still forces infinitely many bricks, since the proof only uses finiteness to form direct sums.
The semi-invariant proof for path algebras points to non-exceptionality as the operative obstruction; an analogue of Theorem 3.14 for arbitrary algebras, with exceptionality replaced by vanishing of Ext^1, would extend the dimension-vector multiplicity growth beyond quiver algebras.
One can test the theorem computationally: for a small algebra, list all bricks, compute orbit closures in its representation schemes, and verify that every maximal finite semibrick avoids the non-open bricks.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper does what it says on the tin, and the main theorem is real. For any finite dimensional algebra over an algebraically closed field, a maximal finite semibrick consists only of open bricks. That is a sharp geometric characterization, and I do not see a gap in the argument. The engine is Theorem 1.2, an extension theorem: given a finite semibrick S and a brick B in S whose orbit closure is properly contained in an irreducible component Z, you can find another brick B' in Z that is Hom-orthogonal to everything in S. Applying this repeatedly forces maximality to imply openness. The proof of Theorem 1.2 is short and coherent. Proposition 2.5 is the key step, and it works, though the notation in the published text slips between left and right perpendiculars at one point (Z_{B,≤1} should be Z^{B,≤1} or the like). That is a typo, not a substantive flaw. The only external black box is Bongartz's Lemma 2.1, imported as Lemma 2.4, which gives a vector bundle structure over a Hom-stratum; it is standard and fits the setup, so I am comfortable with it, but a brief proof or reference to a more accessible source would make the paper easier to trust. Section 3 is a separate path-algebra proof using semi-invariants; it is optional, clearly marked as a record of the first proof, and not needed for the main theorem. It is fine to keep, though a referee might suggest trimming it. The citation pattern looks honest: the author's own earlier work is used for definitions and in the optional section, not as a prop for the main result. This is a good paper for people working in brick theory, tau-tilting theory, or geometric representation theory. It is not a survey or a repackaging; it proves a new statement with a short, transparent argument. I would send it to a serious referee.

Referee Report

0 major / 8 minor

Summary. The paper proves Theorem 1.1: if Λ is a finite-dimensional algebra over an algebraically closed field and S is a maximal finite semibrick, then every brick in S is an open brick, i.e., its orbit closure is an irreducible component of a representation scheme. The proof goes through Theorem 1.2, an extension theorem: if a finite semibrick S contains a brick B whose orbit closure is properly contained in an irreducible component Z, then there is a brick B′ ∈ Z that is Hom-orthogonal to all of S. The technical core is Proposition 2.5, which combines upper semicontinuity of Hom-dimensions (Lemma 2.3) with Bongartz's lemma (Lemma 2.4) — the incidence variety Y(Z_{M,t},M) is a vector bundle over the stratum Z_{M,t} of constant Hom-dimension t, and its projection is an open map — to show that for a brick B ∈ Z the orbit O_B is not open dense in Z iff the perpendicular loci Z ∩ ⊥B and Z ∩ B^⊥ are open dense in Z. Proposition 2.6 then produces a brick in Z ∩ brickΛ ∩ ⊥(M⊕B) ∩ (N⊕B)^⊥ under the hypotheses B ∈ ⊥M ∩ N^⊥ and O_B ⊊ Z; Theorem 1.2 follows with M = N = ⨁_{X∈S∖{B}} X. Theorem 1.1 and Corollary 1.3 are direct consequences. Section 3 records an optional first proof for path algebras via semi-invariants and presentation spaces.

Significance. The main theorem is a clean structural statement: maximality of a finite semibrick forces every member to be geometrically open, tying the inclusion order on semibricks to orbit density in representation schemes. The extension theorem (Theorem 1.2) is the paper's key contribution and is likely to be useful beyond this application, since it plants new bricks in prescribed irreducible components while preserving Hom-orthogonality to a given finite semibrick. The central derivation is transparent and checkable: I verified that Proposition 2.6 follows from Proposition 2.5 and Lemma 2.3, that Theorem 1.2 follows by the stated choice of M and N, and that Theorem 1.1 follows by applying Theorem 1.2 to a non-open brick. The only geometric input imported without proof is Lemma 2.4 (Bongartz), which is standard, correctly cited, and applied under exactly the hypotheses it requires; the stress-test concern about it does not land. The paper is also honest about provenance: Section 3 is explicitly labelled optional, and the previously known Proposition 2.7 is quoted from [MP3] with a new but only partial proof. No free parameters or hidden hypotheses appear in the main argument.

minor comments (8)

[Abstract and Theorem 1.1 (§1)] 'Algebracally' should be 'algebraically' in the abstract and in the statement of Theorem 1.1.
[Definition 2.1 (§2.1)] In Definition 2.1, Irr(Λ) is mistakenly defined as the disjoint union of the schemes rep(Λ,d); it should be the disjoint union of the sets of irreducible components Irr(Λ,d), exactly as it is correctly phrased in Section 1.
[Proposition 2.6 (§2.2)] The hypothesis should read 'Z ∈ Irr(Λ)' rather than 'Z ⊂ Irr(Λ)', and the first sentence of the proof should refer to O_B ⊊ Z rather than O_M ⊊ Z; as printed, the statement is not grammatical.
[Corollary 1.3 (§1)] The one-line proof sketch ('Applying Theorem 1.2 repeatedly') can be made precise by noting that each new brick produced by Theorem 1.2 is Hom-orthogonal to the entire current semibrick, hence automatically not isomorphic to any brick already chosen, so the iteration never terminates and yields infinitely many bricks in each Z_i.
[Proposition 2.7 (§2.2)] The proof given establishes only that an open brick in Z, if it exists, is the unique brick of Z; the exclusion of the alternative in which Z∩brickΛ is a finite union of non-open bricks (part (b)) is not argued, so the sentence 'It suffices to show...' is not quite justified as a complete proof — a one-line argument (a finite union of orbits in Z that is open would contain an open orbit) or an explicit citation to [MP3, Proposition 3.4] for the remaining half would complete the proof.
[Lemma 2.4 (§2.2)] Since Lemma 2.4 is the only geometric statement imported without proof, a parenthetical explanation would help: on the stratum Z_{M,t} the Hom-space is the kernel of a family of linear maps depending algebraically on X, so the incidence variety is a locally trivial vector bundle and its projection is open.
[Notation in Lemma 2.3 and Proposition 2.5 (§2.2)] The two families Z_{M,≤t} (for dim Hom(X,M) ≤ t) and Z^{M,≤t} (for dim Hom(M,X) ≤ t) differ only in the position of the index M and are visually confusable in the current typesetting; a more prominent subscript/superscript distinction or a rename would prevent misreading.
[Acknowledgments] 'Acknowlegments' should be 'Acknowledgments'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 1.1 follows from Theorem 1.2, whose proof uses standard geometric lemmas and an external lemma of Bongartz; the target statement is not assumed.

full rationale

The central claim Theorem 1.1 is derived from the extension theorem Theorem 1.2, not assumed in any premise. Theorem 1.2 is proved by constructing a brick B' in an irreducible component Z via Proposition 2.6: for B in the perpendicular categories and OB strictly contained in Z, the sets Z∩⊥B and Z∩B⊥ are open dense by Proposition 2.5, so an intersection with Z∩brickΛ and the relevant perpendicular categories is nonempty. Proposition 2.5's only geometric input is Lemma 2.4, cited from Bongartz [B, Lemma 2.1], which asserts that Y(Z_{M,t},M)→Z_{M,t} is a vector bundle and hence an open map; this is an external published result, not a restatement of the target, and the text verifies that the cited proof applies to the present representation-scheme setting. The paper's own prior work [A] and [AI] appears only for definitions and in the optional Section 3 record; it is not load-bearing for the main theorem. There are no fitted parameters, normalizations, or definitions that secretly encode the conclusion. The optional path-algebra section uses semi-invariant results including [AI], but it is explicitly recorded as an independent first proof and does not affect the main derivation. Thus the derivation chain is self-contained apart from standard external citations, and no circular step is present.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central proof has no fitted parameters and no ad hoc objects. It rests on standard structure theory of finite dimensional algebras, algebraic geometry of representation schemes, and one cited lemma of Bongartz. 'Open brick' is terminology for an existing geometric property, not a new entity.

assumptions (5)

domain assumption A finite dimensional algebra over an algebraically closed field is Morita equivalent to KQ/I for a finite quiver Q and admissible ideal I.
Used in Section 2.1 to describe modules via representation schemes rep(Λ,d). This is a standard structure theorem, not proved in the paper.
standard math GL(d) is connected, so every irreducible component of rep(Λ,d) is a union of GL(d)-orbits.
Used in Section 2.1 to ensure O_B is contained in Z whenever B ∈ Z for an irreducible component Z. Standard algebraic geometry.
standard math Upper semicontinuity of dim_K Hom_Λ(X,M) and dim_K Hom_Λ(M,X) on representation schemes.
Lemma 2.3 relies on this to show that Hom-vanishing and dimension strata such as Z_{M,≤t} are open. This is a standard geometric fact.
standard math Bongartz's Lemma 2.1: Y(Z_{M,t},M) is locally closed in Z × Hom_K(K^d,K^c) and the projection to Z_{M,t} is a vector bundle, hence an open map.
This is cited as [B, Lemma 2.1] and is the key tool in Proposition 2.5. The paper does not prove it.
standard math In an irreducible topological space, a nonempty open subset is dense.
Used throughout Proposition 2.5 and Proposition 2.6 to convert nonempty open strata into open dense strata and to conclude intersections are nonempty.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Maximal finite semibricks consist only of open bricks." pith.science (2026). https://pith.science/paper/26M37R3Y

@misc{pith2026250113476,
  author       = {Pith},
  title        = {Pith review of: Maximal finite semibricks consist only of open bricks},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/26M37R3Y}},
  note         = {Machine review of arXiv:2501.13476}
}

abstract

A semibrick is a set of modules satisfying Schur's Lemma, and it is said to be maximal if it is not properly contained in another semibrick. For any finite dimensional algebra $\varLambda$ over an algebracally closed field $K$, we prove that any maximal finite semibrick $\mathcal{S}$ consists only of open bricks $B$, that is, bricks whose orbit closures $\overline{\mathcal{O}_B}$ are irreducible components in the representation schemes.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 17 canonical work pages

[1]

Asai, Semibricks, Int

S. Asai, Semibricks, Int. Math. Res. Not. IMRN 2020, Issue 16, 4993--5054

work page 2020
[2]

S. Asai, O. Iyama, Semistable torsion classes and canonical decompositions in Grothendieck groups, Proc. London Math. Soc. (3), 129, Issue 5 (2024), e12639

work page 2024
[3]

Baumann, J

P. Baumann, J. Kamnitzer, P. Tingley, Affine Mirkovi\' c -Vilonen polytopes , Publ. Math. Inst. Hautes \' E tudes Sci., 120 (2014), 113--205

2014
[4]

Bongartz, On degenerations and extensions of finite-dimensional modules, Adv

K. Bongartz, On degenerations and extensions of finite-dimensional modules, Adv. Math. 121, no. 2 (1996), 245--287

work page 1996
[5]

Crawley-Boevey, Exceptional Sequences of Representations of Quivers, in ``Representations of algebras'' (Ottawa, ON, 1992), Canadian Math

W. Crawley-Boevey, Exceptional Sequences of Representations of Quivers, in ``Representations of algebras'' (Ottawa, ON, 1992), Canadian Math. Soc. Conf. Proc., 14 (1993), 117--124

work page 1993
[6]

Crawley-Boevey, Subrepresentations of General Representations of Quivers, Bull

W. Crawley-Boevey, Subrepresentations of General Representations of Quivers, Bull. Lond. Math. Soc., 28, Issue 4 (1996), 363--366

work page 1996
[7]

Crawley-Boevey, Noncommutative Algebra 3: Geometric methods for representations of algebras, Lecture notes in Bielefeld University, 2020

W. Crawley-Boevey, Noncommutative Algebra 3: Geometric methods for representations of algebras, Lecture notes in Bielefeld University, 2020. Available at https://www.math.uni-bielefeld.de/ wcrawley/20noncommalg3/NA3-12.pdf

2020
[8]

Derksen, J

H. Derksen, J. Fei, General presentations of algebras, Adv. Math., 278 (2015), 210--237

2015

Show all 23 references

[9]

Derksen, J

H. Derksen, J. Weyman, An Introduction to Quiver Representations, Graduate Studies in Mathematics, 184, American Mathematical Society, 2017

2017
[10]

Fei, Tropical F-polynomials and general presentations, J

J. Fei, Tropical F-polynomials and general presentations, J. London Math. Soc. (2), 107, Issue 6 (2023), 2079--2120

2023
[11]

Gabriel, Finite representation type is open, Representations of Algebras, Lecture Notes in Mathematics, 488, Springer, Berlin, Heidelberg, 1975

P. Gabriel, Finite representation type is open, Representations of Algebras, Lecture Notes in Mathematics, 488, Springer, Berlin, Heidelberg, 1975

1975
[12]

Garcia, On thick subcategories of the category of projective presentations, arXiv:2303.05226v3

M. Garcia, On thick subcategories of the category of projective presentations, arXiv:2303.05226v3

arXiv
[13]

oer, Semicontinuous maps on module varieties, Journal f\

C. Gei , D. Labardini-Fragoso, J. Schr\"oer, Semicontinuous maps on module varieties, Journal f\"ur die reine und angewandte Mathematik (Crelles Journal), 2024, no. 816 (2024), 1--17

2024
[14]

Hirano, M

Y. Hirano, M. Kalck, G. Ouchi, Length of triangulated categories, arXiv:2404.07583v4
[15]

V. G. Kac, Infinite root systems, representations of graphs and invariant theory, Invent. Math., 56 (1980), 57--92

1980
[16]

V. G. Kac, Infinite root systems, representations of graphs and invariant theory, II, J. Algebra, 78, Issue 1 (1982), 141--162

1982
[17]

A. D. King, Moduli of representations of finite dimensional algebras, Quart. J. Math. Oxford Ser. (2), 45, Issue 4 (1994), 515--530

1994
[18]

Mousavand, C

K. Mousavand, C. Paquette, Minimal ( -)tilting infinite algebras, Nagoya Math. Journal, 249 (2023), 231--238

2023
[19]

Mousavand, C

K. Mousavand, C. Paquette, Hom-orthogonal modules and brick-Brauer-Thrall conjectures, arXiv:2407.20877v2

arXiv
[20]

Mousavand, C

K. Mousavand, C. Paquette, On the bricks (Schur representations) of finite dimensional algebras, arXiv:2508.11789v1

arXiv
[21]

Schofield, General representations of quivers, Proc

A. Schofield, General representations of quivers, Proc. London Math. Soc. (3), 65, no. 1 (1992), 46--64

1992
[22]

Schofield, M

A. Schofield, M. van den Bergh, Semi-invariants of quivers for arbitrary dimension vectors, Indag. Math., 12, Issue 1 (2001), 125--138

2001
[23]

Voigt, Induzierte Darstellungen in der Theorie der endlichen, algebraischen Gruppen, Lecture Notes in Mathematics, 592, Springer, Berlin, Heidelberg, 1977

D. Voigt, Induzierte Darstellungen in der Theorie der endlichen, algebraischen Gruppen, Lecture Notes in Mathematics, 592, Springer, Berlin, Heidelberg, 1977

1977

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [1]

Asai, Semibricks, Int

S. Asai, Semibricks, Int. Math. Res. Not. IMRN 2020, Issue 16, 4993--5054

work page 2020

[2] [2]

S. Asai, O. Iyama, Semistable torsion classes and canonical decompositions in Grothendieck groups, Proc. London Math. Soc. (3), 129, Issue 5 (2024), e12639

work page 2024

[3] [3]

Baumann, J

P. Baumann, J. Kamnitzer, P. Tingley, Affine Mirkovi\' c -Vilonen polytopes , Publ. Math. Inst. Hautes \' E tudes Sci., 120 (2014), 113--205

2014

[4] [4]

Bongartz, On degenerations and extensions of finite-dimensional modules, Adv

K. Bongartz, On degenerations and extensions of finite-dimensional modules, Adv. Math. 121, no. 2 (1996), 245--287

work page 1996

[5] [5]

Crawley-Boevey, Exceptional Sequences of Representations of Quivers, in ``Representations of algebras'' (Ottawa, ON, 1992), Canadian Math

W. Crawley-Boevey, Exceptional Sequences of Representations of Quivers, in ``Representations of algebras'' (Ottawa, ON, 1992), Canadian Math. Soc. Conf. Proc., 14 (1993), 117--124

work page 1993

[6] [6]

Crawley-Boevey, Subrepresentations of General Representations of Quivers, Bull

W. Crawley-Boevey, Subrepresentations of General Representations of Quivers, Bull. Lond. Math. Soc., 28, Issue 4 (1996), 363--366

work page 1996

[7] [7]

Crawley-Boevey, Noncommutative Algebra 3: Geometric methods for representations of algebras, Lecture notes in Bielefeld University, 2020

W. Crawley-Boevey, Noncommutative Algebra 3: Geometric methods for representations of algebras, Lecture notes in Bielefeld University, 2020. Available at https://www.math.uni-bielefeld.de/ wcrawley/20noncommalg3/NA3-12.pdf

2020

[8] [8]

Derksen, J

H. Derksen, J. Fei, General presentations of algebras, Adv. Math., 278 (2015), 210--237

2015