Bricks and $\tau$-tilting theory under base field extensions

Eric J. Hanson; Erlend D. B{\o}rve; Maximilian Kaipel

REVIEW 3 major objections 3 minor 1 cited by

Bricks and $\tau$-tilting theory under base field extensions

T0 review · 3 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read The paper establishes that base field extension preserves τ-tilting structure: bricks and τ-rigid objects lift injectively, and the τ-cluster morphism category $\mathfrak{W}(\Lambda)$ embeds faithfully into $\mathfrak{W}(\Lambda_K)$, with…

desk verdict The advertised injective lifting of bricks under base field extension has a concrete counterexample over R→C, so the flagship faithful functor is not secure as stated; the transfer program is still worth pursuing with the right hypotheses. read the letter →

arxiv 2508.01040 v1 pith:5TG5EBW5 submitted 2025-08-01 math.RT

Erlend D. B{o}rve , Eric J. Hanson , Maximilian Kaipel This is my paper · ORCID

classification math.RT MSC 16G1016G70

keywords tau-tiltingtheorybricksbasefieldextensionsupportmodulestau-clustermorphismcategoryfaithfulfunctorfinite-dimensionalalgebrascharacteristiczero

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

This paper asks what happens to τ-tilting theory when the ground field is enlarged, and its answer is that the main structures survive the change. For a finite-dimensional $k$-algebra $\Lambda$ and a field extension $K:k$, bricks, τ-rigid objects, and support τ-tilting modules all lift injectively to the same types of objects over $\Lambda_K = \Lambda \otimes_k K$, and the standard constructions of τ-tilting theory commute with scalar extension. The central application is a faithful functor from the τ-cluster morphism category $\mathfrak{W}(\Lambda)$ to $\mathfrak{W}(\Lambda_K)$. Over a characteristic-zero base field, this functor lands in a group, giving a group-valued faithful representation of $\mathfrak{W}(\Lambda)$; the same conclusion is shown for finite fields in the appendix. If the paper is right, base-field extension never collapses or conflates τ-tilting information, and τ-tilting categories over many natural fields can be studied through group-theoretic data.

What carries the argument

The central mechanism is the base-extension functor $ -\otimes_k K $ from $\mathrm{mod}\,\Lambda$ to $\mathrm{mod}\,\Lambda_K$, together with its restriction to bricks and τ-rigid objects. The load-bearing property is that this functor is faithful on the Hom-spaces between relevant objects and injective on isomorphism classes, so no two distinct bricks or τ-rigid modules of $\Lambda$ become identified after extending scalars. On top of this, the characteristic-zero identification of $\mathfrak{W}(\Lambda_K)$ with a group, where a group is regarded as a one-object category, supplies the target for the faithful embedding; the τ-cluster morphism category $\mathfrak{W}(\Lambda)$ is the category whose objects are support τ-tilting pairs and whose morphisms record how those pairs transform under τ-mutation.

What would settle it

Find one finite-dimensional algebra $\Lambda$ over a field $k$ and one field extension $K$ for which two non-isomorphic bricks of $\Lambda$ become isomorphic as $\Lambda_K$-modules, or for which a nonzero map between bricks is annihilated by $ -\otimes_k K$. The paper's theorem rules such a pair out, so exhibiting even one would settle the central claim false; a natural place to look is the explicit base-extension examples in the paper's final section, by recomputing the brick poset and the support τ-tilting modules over both fields and checking whether any distinct objects coalesce.

Watch

Extended reading notes

Core claim

The paper's central claim is that the scalar-extension functor $ -\otimes_k K $ is well-behaved for τ-tilting theory: it sends bricks to bricks, τ-rigid objects to τ-rigid objects, and support τ-tilting pairs to support τ-tilting pairs, and it is injective on isomorphism classes of each type. Moreover, the morphism-level structure is preserved through a faithful functor $\mathfrak{W}(\Lambda) \to \mathfrak{W}(\Lambda_K)$ between the respective τ-cluster morphism categories. In characteristic zero the target can be taken to be a group, and the appendix proves the analogous group statement when $k$ is a finite field. The accompanying examples show that τ-tilting finiteness can behave nontrivially under base change, so the preservation results are not automatic from the definition of scalar extension. The overall discovery is that the τ-tilting theory of $\Lambda$ persists, injectively and faithfully, inside the τ-tilting theory of any larger field.

Load-bearing premise

The load-bearing premise is that extending the ground field never identifies distinct bricks or τ-rigid objects and never kills nonzero homomorphisms between them; the injectivity and faithfulness of $ -\otimes_k K $ on these objects and morphisms carry the entire construction.

Editorial extensions

If this is right

The scalar-extension map is injective on the isomorphism classes of bricks and of support τ-tilting pairs, so base change never conflates two distinct objects of these classes.
The τ-cluster morphism category $\mathfrak{W}(\Lambda)$ embeds faithfully into $\mathfrak{W}(\Lambda_K)$, preserving the mutation relations as morphisms.
Over a characteristic-zero field, and over a finite field by the appendix, $\mathfrak{W}(\Lambda)$ embeds faithfully into a group, so the category's morphisms admit a group-valued representation.
The accompanying examples show that τ-tilting finiteness of an algebra can be sensitive to the ground field, so finiteness detected over one field need not persist over another.

Reading between the lines

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

If the group embedding is as strong as stated, a natural conjecture is that it holds for every perfect ground field, with non-separable extensions as the only possible obstruction; the paper's separation into characteristic-zero and finite-field cases points exactly there.
The injectivity results imply that numerical invariants counting bricks or support τ-tilting modules are monotone under base extension, and the difference between the two counts could be studied as a measure of how much the algebra splits over the larger field.
One could test the sharpness of the faithful functor by computing, for explicit small quiver algebras, whether the embedding $\mathfrak{W}(\Lambda) \to \mathfrak{W}(\Lambda_K)$ is full or whether the group target has natural automorphism-group structure; fullness is not needed for the paper's stated consequences.

Share X Bluesky LinkedIn Reddit HN

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

Quick take: the transfer principle is exactly what I would want from this paper, but the first advertised ingredient—injective lifting of bricks—is false as stated. For k=R, K=C, Λ=R[x]/(x^2+1)≅C, the simple module S=C is a brick over Λ, but S⊗_R C is the regular module of C×C, whose endomorphism ring is C×C, not a division ring. So S does not lift to a brick over Λ_K. This is the same example from the stress-test note, and it checks out. If the body contains a hypothesis restricting which bricks or which extensions, the abstract must state it; without that restriction, the faithful functor W(Λ)→W(Λ_K) and the characteristic-zero group consequence rest on an object-lifting claim that fails in a basic example.

What is genuinely attractive here: base field extension is a natural operation for τ-tilting theory, and a clean statement about which support τ-tilting pairs or τ-rigid classes behave well under scalar extension would be useful and citable. The abstract also promises nontrivial examples and separates the characteristic-zero case from the finite-field appendix, which suggests real work. The appendix by Hanson is an extra sign of care. On the other hand, I cannot check any of it: the supplied full text is mojibake, and it even contains a line from another arXiv submission. So my caution about soundness comes not from a visible contradiction in the body but from the illegibility of the proofs and from the false abstract-level claim.

The soft spots beyond the counterexample: “many types of objects” is doing a lot of work, and the abstract never enumerates the classes. The “many important consequences” are unnamed, and the finite-field appendix is mentioned but not summarized. These are presentation flaws, minor compared with the missing hypothesis.

Summary: this is a paper for representation theorists working on τ-tilting theory and bricks. If the body proves a valid but narrower theorem—say, for support τ-tilting pairs or for separable/perfect base fields—it deserves refereeing after revision. If the abstract accurately states the theorem, then the central claim needs correction. I would not cite it until I can read a clean version.

Referee Report

3 major / 3 minor

Summary. The paper studies how τ-tilting theory and bricks behave under an extension K:k of the base field for a finite-dimensional k-algebra Λ. It claims that several classes of objects lift injectively from Λ to Λ_K, that common τ-tilting constructions commute with base field extension, and that there is a faithful functor from the τ-cluster morphism category W(Λ) to W(Λ_K). In characteristic zero this is claimed to yield a faithful functor from W(Λ) to a group, with an analogous result for finite fields stated in an appendix by E. J. Hanson. The paper also announces examples concerning τ-tilting finiteness under base change. The supplied full text is severely corrupted, so none of these claims could be checked from the proofs.

Significance. If the results are correct, the paper would provide a useful transfer principle: base field extension would preserve significant parts of τ-tilting theory, and the τ-cluster morphism category would embed faithfully into a more tractable category, with a striking group-valued representation in characteristic zero and for finite fields. The framework is standard, no arbitrary fitting parameters are introduced, and the announced examples are concrete and checkable. However, the current manuscript cannot be verified because the full text is unreadable, and the abstract's unqualified lifting assertion is contradicted by a standard example involving bricks. The claimed significance therefore cannot be credited until the statements are made precise and the proofs are inspectable.

major comments (3)

[Abstract, first paragraph] The assertion that "many types of objects for Λ lift injectively to the same type of object for Λ_K" is false as written if bricks are among the types named. For k=R, K=C, and Λ=R[x]/(x^2+1)≅C, the unique simple module S=C is a brick because End_k(S)=C is a division algebra, but S⊗_R C≅C×C, whose endomorphism ring C×C is not a division ring; hence S does not lift to a brick over Λ_K. Since the abstract explicitly mentions bricks in the preceding sentence, the authors must either state the exact class of objects for which the lifting theorem holds or add the necessary hypotheses on K:k (for example separability or perfectness). The faithful-functor theorem is advertised as a main application, so this qualification is load-bearing unless the faithful functor is shown not to depend on the false brick-lifting claim.
[Full text (entire manuscript)] The submitted full text is garbled mojibake and includes a stray line from arXiv:2508.01033 (quant-ph). As a result, the definitions, numbered theorems, proofs, and the appendix cannot be inspected. I could not verify the faithful-functor construction, the characteristic-zero group statement, the finite-field analogue, or the τ-tilting finiteness examples. A clean, readable version is required before the mathematical claims can be evaluated.
[Abstract, application paragraph] The statement that "this establishes a faithful functor from W(Λ) to a group whenever k is of characteristic zero" is ambiguous and needs a precise target. A group is a one-object category, while W(Λ_K) generally has many objects; the authors should specify the group constructed from W(Λ_K) (for example, the automorphism group of an object in a connected groupoid), or state the functor explicitly. Without such clarification, the advertised consequence cannot be checked, especially because the text preceding it only promises a functor to W(Λ_K), not to a group.

minor comments (3)

[Abstract] The abstract should state explicitly which objects are meant by "many types of objects" and should list the hypotheses on K:k that the main theorems require, so that the unqualified wording is not misleading.
[Examples section] The tables and matrices in the examples section render as garbled symbols in the supplied text; they should be typeset properly so the claimed τ-tilting finiteness phenomena can be checked.
[Full text] The stray line from arXiv:2508.01033 must be removed; it is unrelated to the mathematics of this paper and indicates a compilation error in the source file.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: all claims are theorem-based and no fitted inputs or definitional reductions are exhibited.

full rationale

No circular step can be identified from the supplied text. This is a pure mathematics paper with no fitted parameters, empirical inputs, or data subsets, so the usual circularity failure modes are absent. The abstract states two separate results: that 'many types of objects for Λ lift injectively to the same type of object for Λ_K' and that this is used to construct 'a faithful functor from the τ-cluster morphism category W(Λ) of Λ to the τ-cluster morphism category W(Λ_K)'. Even if faithfulness of the functor depends on injective lifting of objects, that is a proof dependency, not a definitional equivalence: no equation in the supplied text exhibits the conclusion as identical to an input, and no fitted parameter is later relabelled as a prediction. The appendix by E. J. Hanson is a division of labor rather than a load-bearing self-citation, and the paper's use of established τ-tilting theory is external grounding. The skeptic's counterexample about R[x]/(x^2+1) over C is a potential correctness objection to an unqualified lifting claim, not a circularity argument, and per the review rules it should be handled as a correctness risk rather than as evidence of circularity. Accordingly, the honest finding is no significant circularity.

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

The central claims rest on the standard edifice of tau-tilting theory and on the exactness and faithfulness of scalar extension; the ledger contains no free parameters and no invented entities, which is expected for a pure mathematics paper. Because the body is illegible, this ledger can only enumerate the background structures named by the abstract and cannot catch axioms hiding in the proofs.

assumptions (3)

standard math The full framework of tau-tilting theory and tau-cluster morphism categories is taken as background (Adachi-Iyama-Reiten and Asai).
The abstract formulates every claim inside this framework: support tau-tilting pairs, bricks, and the categories W(Λ) and W(Λ_K) are all prior constructs that the paper uses as vocabulary.
domain assumption Scalar extension -⊗_k K is exact and behaves well on Hom spaces and on the Auslander-Reiten translate, so bricks and tau-rigid objects lift injectively.
K is a field extension of k so the functor is exact, but faithfulness on morphisms between bricks and compatibility with the tau-translate are nontrivial facts the paper must establish; they are the structural premise of the lifting results and of the faithful functor.
domain assumption The characteristic-zero hypothesis (and the separate finite-field hypothesis of the appendix) suffices for the group-valued faithful representation of W(Λ).
The abstract routes the finite-field case to a contributed appendix and gives the group conclusion only in characteristic zero, signalling that the group statement is not uniform in the field and depends on these hypotheses.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Bricks and $\tau$-tilting theory under base field extensions." pith.science (2026). https://pith.science/paper/5TG5EBW5

@misc{pith2026250801040,
  author       = {Pith},
  title        = {Pith review of: Bricks and $\tau$-tilting theory under base field extensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5TG5EBW5}},
  note         = {Machine review of arXiv:2508.01040}
}

abstract

Let $K:k$ be a field extension and let $\Lambda$ be a finite-dimensional $k$-algebra. We investigate the relationship between $\Lambda$ and $\Lambda_K = \Lambda \otimes_k K$ with particular emphasis on various aspects of $\tau$-tilting theory and bricks. We show that many types of objects for $\Lambda$ lift injectively to the same type of object for $\Lambda_K$, and many common constructions in $\tau$-tilting theory commute with the process of extending the base field. One of our main applications is the construction of a faithful functor from the $\tau$-cluster morphism category $\mathfrak{W}(\Lambda)$ of $\Lambda$ to the $\tau$-cluster morphism category $\mathfrak{W}(\Lambda_K)$ of $\Lambda_K$. In particular, this establishes a faithful functor from $\mathfrak{W}(\Lambda)$ to a group whenever $k$ is of characteristic zero which has many important consequences. In the appendix, E. J. Hanson shows the analogous result whenever $k$ is a finite field. Moreover, we give some nontrivial examples to illustrate the behaviour of $\tau$-tilting finiteness under base field extension.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Infinitely Many Components in Auslander--Reiten Quivers of Representation-Infinite Algebras over Perfect Fields
math.RT 2026-07 accept novelty 7.0 of 10

Representation-infinite finite-dimensional algebras over perfect fields have Auslander–Reiten quivers with infinitely many connected components.

Reference graph

Works this paper leans on

1 extracted references · 1 linked inside Pith · cited by 1 Pith paper

[1]

�� ...

arXiv 2025

Pith tools

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

[1] [1]

�� ...

arXiv 2025