{"id":"06cdf0be-4414-4ab3-a7e5-7c79c5c4f524","arxiv_id":"2501.13476","paper_version":3,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"In any maximal finite semibrick for a finite dimensional algebra over an algebraically closed field, every brick is an open brick.","lead":"The paper proves that any maximal finite semibrick over a finite dimensional algebra contains only open bricks, bricks whose orbit closures are irreducible components of the representation scheme. The result connects semibrick combinatorics to the geometry of representation varieties and comes with a new extension theorem.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the central argument is coherent, and the only externally imported step (Lemma 2.4, Bongartz) appears valid.","rationale":"Reader's ACCEPT verdict is supported. I checked the main line: Lemma 2.3 yields the strata; Lemma 2.4 supplies the vector-bundle projection; Proposition 2.5 proves the equivalence between non-density of O_B and density of ⊥B/B^⊥; Proposition 2.6 intersects four open dense subsets to produce B'; Theorem 1.2 applies it with M=N=⊕_{X∈S\\{B}}X; maximality gives Theorem 1.1. The only external input is Bongartz's lemma, and it appears correct in this context, as the Hom-space is a constant-rank kernel over the stratum. No circularity or unsupported step was found. I therefore see no reason to change the verdict; the paper's main claim stands. Agreement with the reader is partial: the reader flagged the same imported lemma as the weakest assumption, but I do not treat it as a defect.","tokens_in":92,"tokens_out":14799,"duration_ms":271255,"concrete_test":"Verify Lemma 2.4 from first principles: for each stratum Z_{M,t}, write Hom(X,M) as the kernel of L_X:f↦(fφ_α^X−φ_α^M f)_α, show L has constant rank on the stratum, construct local trivializations, and confirm the projection is open; then re-run Proposition 2.5. If the projection failed to be open, the image of the isomorphisms V would not be open and the argument would collapse.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After tracing Theorem 1.1 through Theorem 1.2 and Propositions 2.5–2.6, no internal gap is apparent. The genuinely load-bearing input is Lemma 2.4, imported from [B, Lemma 2.1]: it asserts that Y(Z_{M,t},M)→Z_{M,t} is a vector bundle, hence an open map. This is not proved in the text. However, the claim is standard and compatible with the surrounding setup: Hom(X,M) is the kernel of a linear map depending algebraically on X, and on Z_{M,t} its rank is constant, so the kernel forms a locally trivial bundle; the projection of a vector bundle is open. Proposition 2.5 then uses exactly this open-map property, and no hidden assumption appears. Section 3 is optional and does not affect the central theorem.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":9686,"tokens_out":36892,"duration_ms":221240,"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.","major_comments":[],"minor_comments":[{"comment":"'Algebracally' should be 'algebraically' in the abstract and in the statement of Theorem 1.1.","section":"Abstract and Theorem 1.1 (§1)"},{"comment":"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.","section":"Definition 2.1 (§2.1)"},{"comment":"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.","section":"Proposition 2.6 (§2.2)"},{"comment":"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.","section":"Corollary 1.3 (§1)"},{"comment":"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.","section":"Proposition 2.7 (§2.2)"},{"comment":"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.","section":"Lemma 2.4 (§2.2)"},{"comment":"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.","section":"Notation in Lemma 2.3 and Proposition 2.5 (§2.2)"},{"comment":"'Acknowlegments' should be 'Acknowledgments'.","section":"Acknowledgments"}],"recommendation":"minor_revision","confidential_remarks":"To the editor: I agree with the positive assessment of the manuscript's core mathematics. I traced the proof of Theorem 1.1 through Theorem 1.2 and Propositions 2.5–2.6 and found it correct; the only externally imported step, Lemma 2.4 (Bongartz), is standard and is applied under exactly the hypotheses it requires, so the stress-test concern does not land. I recommend minor revision rather than acceptance only because of presentation issues: typos in the statement of Proposition 2.6, the abbreviated proof of Proposition 2.7, and the terse derivation of Corollary 1.3 all deserve small textual fixes. The paper fits the journal well; the self-citations are confined to definitions and the clearly optional Section 3, so there are no attribution concerns."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.","headline":"Short, clean proof of a real structural result: maximal finite semibricks live inside open orbits, and the extension theorem behind it is genuinely new.","tokens_in":10249,"tokens_out":3533,"would_cite":true,"duration_ms":29636,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16G20","14L30"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["semibrick","open brick","brick","representation scheme","irreducible component","orbit closure","finite-dimensional algebra","quiver representations"],"falsifier":"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.","tokens_in":9318,"feed_emoji":"🧱","tokens_out":11508,"duration_ms":87919,"temperature":0.7,"pith_summary":"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.","feed_headline":"Maximal finite semibricks contain only open bricks","feed_subtitle":"A geometric extension theorem forces every brick in a maximal finite semibrick to have a dense orbit in its component.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the vector-bundle lemma over the stratum where dim Hom(X,B)=1; its open projection makes Proposition 2.5 work.","marker":"[B, Lemma 2.1]"},{"why":"Provides the template for proving that Z∩⊥B is dense exactly when OB is not open dense in Z.","marker":"[GLFS, Theorem 1.5]"},{"why":"Gives the definitions and basic properties of representation schemes and their irreducible components used throughout.","marker":"[C3]"},{"why":"Introduces semibricks and maximal semibricks, the objects whose structure the theorem constrains.","marker":"[A]"},{"why":"Records the dichotomy that a brick component either has a unique open brick or infinitely many non-open bricks, used in Proposition 2.7 to interpret the result.","marker":"[MP3, Proposition 3.4]"}],"fun_headline_variants":["Maximal semibricks consist solely of open bricks","Open bricks are the only bricks in maximal semibricks","Non-open bricks can always be extended—maximal ones are open","Geometric theorem: maximal semibricks contain only open bricks"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Maximal semibricks consist solely of open bricks","Open bricks are the only bricks in maximal semibricks","Non-open bricks can always be extended—maximal ones are open","Geometric theorem: maximal semibricks contain only open bricks"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000299,"raw_usage":{"total_tokens":1670,"prompt_tokens":827,"completion_tokens":843,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":443,"completion_tokens_details":{"reasoning_tokens":774}},"tokens_in":443,"tokens_out":843,"duration_ms":8337,"temperature":1.0,"reasoning_tokens":774,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T15:54:54.226494+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}