Fractional Brauer configuration algebras II: covering theory

Nengqun Li; Yuming Liu

arxiv: 2412.13445 · v4 · submitted 2024-12-18 · 🧮 math.RT

Fractional Brauer configuration algebras II: covering theory

Nengqun Li , Yuming Liu This is my paper

Pith reviewed 2026-05-23 07:32 UTC · model grok-4.3

classification 🧮 math.RT

keywords fractional Brauer configurationscovering theoryuniversal coverfundamental groupquiver with relationsVan Kampen theoremBrauer configuration algebrasGalois covering

0 comments

The pith

The universal cover of any fractional Brauer configuration is simply connected, with an explicit construction for type MS and an isomorphism of fundamental groups for type S with the associated quiver with relations.

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

This paper builds a covering theory for fractional Brauer configurations that connects directly to the covering theory of quivers with relations. It proves the universal cover of every fractional Brauer configuration is simply connected and gives an explicit construction when the configuration is of type MS. For configurations of type S the fundamental group of the configuration equals the fundamental group of its quiver with relations. The theory also produces an analogue of the Van Kampen theorem that computes fundamental groups of connected Brauer configurations and shows that coverings of configurations induce coverings of the associated categories.

Core claim

The authors develop covering theory for fractional Brauer configurations and link it to coverings of the associated quivers with relations in the sense of Martínez-Villa and de la Peña. They show that the universal cover of any fractional Brauer configuration is simply connected, construct the universal cover explicitly for those of type MS, prove that the fundamental group of a type S configuration E is isomorphic to the fundamental group of (Q_E, I_E), establish that a covering of configurations induces a Galois covering of the associated fractional Brauer configuration categories, and formulate a Van Kampen-type theorem that computes the fundamental group of any connected Brauer config.

What carries the argument

Covering maps between fractional Brauer configurations that induce maps on the associated quivers with relations (Q_E, I_E) and on the corresponding categories, carrying the simply-connectedness and fundamental-group isomorphism.

If this is right

A covering of fractional Brauer configurations induces a Galois covering of the associated fractional Brauer configuration categories.
The Van Kampen analogue computes the fundamental group of any connected Brauer configuration.
Explicit universal covers for type MS give a direct method to obtain the topological invariants of those configurations.
The correspondence between configuration coverings and quiver coverings transfers results between the two settings.

Where Pith is reading between the lines

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

The isomorphism of fundamental groups lets one move computations of topological invariants back and forth between configurations and their quivers.
The induced category coverings suggest that module categories of covered configurations are related by Galois actions in a manner parallel to quiver coverings.
The Van Kampen-type theorem opens a route to compute fundamental groups by decomposing configurations into simpler pieces whose groups are already known.

Load-bearing premise

The definitions and properties of fractional Brauer configurations of types S and MS, together with their association to quivers with relations, hold exactly as stated.

What would settle it

An explicit fractional Brauer configuration of type MS whose constructed universal cover has a non-trivial fundamental group, or a type S configuration where the fundamental groups of E and (Q_E, I_E) differ.

read the original abstract

In this paper, we develop a covering theory for the fractional Brauer configurations and connect it with the coverings of the associated quivers with relations in the sense of Mart\'inez-Villa and de la Pe\~na. Among the results, we show the following: (1) The universal cover of any fractional Brauer configuration is simply connected and we construct explicitly the universal cover of fractional Brauer configurations of type MS; (2) The fundamental group of a fractional Brauer configuration $E$ of type S is isomorphic to the fundamental group of the associated quiver with relations $(Q_E,I_E)$; (3) A (regular) covering of fractional Brauer configurations induces a (Galois) covering of the associated fractional Brauer configuration categories; (4) Set up an analogy of Van Kampen theorem for fractional Brauer configurations and apply it to calculate the fundamental group of any connected Brauer configuration.

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

Extends covering theory to fractional Brauer configurations with claims on universal covers, fundamental group isomorphisms, and a Van Kampen analog, but the abstract leaves the actual proofs unexamined.

read the letter

The paper takes the covering theory already available for quivers with relations and applies it to fractional Brauer configurations of types S and MS. The main results are that the universal cover of any such configuration is simply connected, with an explicit construction given for type MS; that the fundamental group of a type S configuration matches the fundamental group of its associated quiver with relations; that coverings of configurations induce coverings of the corresponding categories; and that a Van Kampen-style theorem can be set up to compute fundamental groups for connected cases. These are presented as new in this specific setting and build directly on the authors' earlier work plus the Martínez-Villa–de la Peña framework. That connection and the explicit constructions are the parts that look useful if they hold. The abstract states the theorems cleanly and the stress-test finds no internal contradictions or circularity in the stated claims, which is a plus. The main soft spot is that we only have the abstract here, so there is no way to check the actual derivations, the handling of the fractional parameters, or whether the type S and MS distinctions introduce any extra conditions that might not be fully addressed. If the body contains complete, non-circular proofs, the work is fine; if not, the claims stay at the level of announcements. This is narrow-scope work aimed at people already working on Brauer configurations and their representation-theoretic properties. A reader outside that small circle is unlikely to need it, but inside the circle the tools for computing fundamental groups could save time. It is worth sending to a serious referee who knows the prior papers, so the details can be verified rather than desk-rejected on the abstract alone.

Referee Report

0 major / 2 minor

Summary. The paper develops a covering theory for fractional Brauer configurations and connects it to the theory of coverings for quivers with relations in the sense of Martínez-Villa and de la Peña. The main results are: (1) the universal cover of any fractional Brauer configuration is simply connected, with an explicit construction provided for those of type MS; (2) the fundamental group of a type-S configuration E is isomorphic to the fundamental group of the associated quiver with relations (Q_E, I_E); (3) a (regular) covering of fractional Brauer configurations induces a (Galois) covering of the associated fractional Brauer configuration categories; (4) an analogue of the Van Kampen theorem is established for fractional Brauer configurations and applied to compute the fundamental group of any connected Brauer configuration.

Significance. If the results hold, the work extends covering techniques to fractional Brauer configuration algebras by providing explicit constructions (notably for type MS) and a Van Kampen analogue, which are concrete tools for computation. The linkage to the established Martínez-Villa–de la Peña framework for quiver coverings strengthens the contribution and may facilitate applications to representation theory or homological invariants of these algebras.

minor comments (2)

Abstract: the phrasing of result (3) refers to 'fractional Brauer configuration categories' without a prior definition or reference in the abstract; a brief parenthetical clarification would improve readability.
The transition between results (2) and (3) would benefit from an explicit statement of how the isomorphism in (2) is used to induce the Galois property on categories.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our work and the positive assessment of its significance. The recommendation for minor revision is noted. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central results consist of explicit constructions of universal covers for fractional Brauer configurations (simply connected in general, explicit for type MS), an isomorphism between fundamental groups of type-S configurations and their associated quivers with relations, induced coverings on categories, and an analogue of the Van Kampen theorem. These rest on external definitions of quiver coverings (Martínez-Villa–de la Peña) and the framework of fractional Brauer configurations from prior literature. No load-bearing step reduces by definition, by fitted input renamed as prediction, or by a self-citation chain to its own unverified inputs. The derivations are self-contained constructions and isomorphisms against independent external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on abstract only; relies on standard mathematical structures with no free parameters, invented entities, or ad hoc axioms mentioned.

axioms (1)

domain assumption Properties of quivers with relations and their coverings as in Martínez-Villa and de la Peña
Paper connects its results to these established coverings.

pith-pipeline@v0.9.0 · 5680 in / 1100 out tokens · 28666 ms · 2026-05-23T07:32:29.547022+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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

The universal cover of any fractional Brauer configuration is simply connected... fundamental group of a fractional Brauer configuration E of type S is isomorphic to... (Q_E,I_E)
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

analogy of Van Kampen theorem for fractional Brauer configurations

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.

Forward citations

Cited by 2 Pith papers

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

Invariants of derived equivalences for admissible fractional Brauer graph algebras
math.RT 2026-04 unverdicted novelty 5.0

Admissible fractional Brauer graph algebras admit easily checkable combinatorial invariants for derived equivalences and can be realized as repetitive algebras and r-fold trivial extensions of gentle algebras.
Fractional Brauer configuration algebras III: fractional Brauer graph algebras of type MS
math.RT 2024-12 unverdicted novelty 5.0

The authors define Brauer G-sets, develop covering theory for them, and characterize representation types plus AR-components for fractional Brauer graph algebras of type MS.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages · cited by 2 Pith papers · 2 internal anchors

[1]

Asashiba, A covering technique for derived equivalence

H. Asashiba, A covering technique for derived equivalence. J. Algebra 191 (1997), 382-415

work page 1997
[2]

K.Bongartz and P.Gabriel, Covering spaces in representation theory. Invent. Math. 65 (1982), 331-378

work page 1982
[3]

O.Bretscher and P.Gabriel, The standard form of a representation-finite algebra. Bull. Soc. math. France 111 (1983), 21-40

work page 1983
[4]

Dowbor and A

P. Dowbor and A. Skowro ´nski, Galois coverings of representation-infinite algebras. Comment. Math. Hel- vetici 62 (1987), 311-337

work page 1987
[5]

Tame and Wild Symmetric Special Multiserial Algebras

D.Duffield, Tame and wild symmetric special multiserial algebras. arXiv:1802.06442 (2018), 1-45

work page internal anchor Pith review Pith/arXiv arXiv 2018
[6]

LNM 1428 (Springer, 1990)

K.Erdmann, Blocks of tame representation type and related algebras. LNM 1428 (Springer, 1990)

work page 1990
[7]

LNM 903 (Springer, 1981) 68-105

P.Gabriel, The universal cover of a representation-finite algebra. LNM 903 (Springer, 1981) 68-105

work page 1981
[8]

E.L.Green and S.Schroll, Brauer configuration algebras: A generalization of Brauer graph algebras. Bull. Sci. math. 141 (2017), 539-572

work page 2017
[9]

Glasgow Math

E.L.Green, S.Schroll and N.Snashall, Group actions and coverings of Brauer graph algebras. Glasgow Math. J. 56 (2014), 439-464

work page 2014
[10]

arXiv: 2406.11468v4 (2025), 1-31

N.Q.Li and Y.M.Liu, Fractional Brauer configuration algebras I: definitions and examples. arXiv: 2406.11468v4 (2025), 1-31

work page arXiv 2025
[11]

Fractional Brauer configuration algebras III: fractional Brauer graph algebras of type MS

N.Q.Li and Y.M.Liu, Fractional Brauer configuration algebras III: fractional Brauer graph algebras in type MS. arXiv: 2412.13449v3 (2025), 1-44

work page internal anchor Pith review Pith/arXiv arXiv 2025
[12]

R.Mart´ınez-Villa and J.A.De La Pe ˜na, The universal cover of a quiver with relations. J. Pure Appl. Algebra 30 (1983), 277-292

work page 1983
[13]

GTM 56 (Springer, 1977)

W.S.Massey, Algebraic topology: an introduction . GTM 56 (Springer, 1977)

work page 1977
[14]

Student Mathematical Library 90 (American Mathematical Society, 2019)

N.A.Scoville, Discrete Morse theory . Student Mathematical Library 90 (American Mathematical Society, 2019)

work page 2019
[15]

A.Skowro´nski, Selfinjective algebras of polynomial growth. Math. Ann. 285 (1989), 177-199. Nengqun Li School of Mathematics Liaoning Normal University Dalian 116029 P.R.China Email address: wd0843@163.com Yuming Liu School of Mathematical Sciences Laboratory of Mathematics and Complex Systems Beijing Normal University Beijing 100875 P.R.China Email addre...

work page 1989

[1] [1]

Asashiba, A covering technique for derived equivalence

H. Asashiba, A covering technique for derived equivalence. J. Algebra 191 (1997), 382-415

work page 1997

[2] [2]

K.Bongartz and P.Gabriel, Covering spaces in representation theory. Invent. Math. 65 (1982), 331-378

work page 1982

[3] [3]

O.Bretscher and P.Gabriel, The standard form of a representation-finite algebra. Bull. Soc. math. France 111 (1983), 21-40

work page 1983

[4] [4]

Dowbor and A

P. Dowbor and A. Skowro ´nski, Galois coverings of representation-infinite algebras. Comment. Math. Hel- vetici 62 (1987), 311-337

work page 1987

[5] [5]

Tame and Wild Symmetric Special Multiserial Algebras

D.Duffield, Tame and wild symmetric special multiserial algebras. arXiv:1802.06442 (2018), 1-45

work page internal anchor Pith review Pith/arXiv arXiv 2018

[6] [6]

LNM 1428 (Springer, 1990)

K.Erdmann, Blocks of tame representation type and related algebras. LNM 1428 (Springer, 1990)

work page 1990

[7] [7]

LNM 903 (Springer, 1981) 68-105

P.Gabriel, The universal cover of a representation-finite algebra. LNM 903 (Springer, 1981) 68-105

work page 1981

[8] [8]

E.L.Green and S.Schroll, Brauer configuration algebras: A generalization of Brauer graph algebras. Bull. Sci. math. 141 (2017), 539-572

work page 2017

[9] [9]

Glasgow Math

E.L.Green, S.Schroll and N.Snashall, Group actions and coverings of Brauer graph algebras. Glasgow Math. J. 56 (2014), 439-464

work page 2014

[10] [10]

arXiv: 2406.11468v4 (2025), 1-31

N.Q.Li and Y.M.Liu, Fractional Brauer configuration algebras I: definitions and examples. arXiv: 2406.11468v4 (2025), 1-31

work page arXiv 2025

[11] [11]

Fractional Brauer configuration algebras III: fractional Brauer graph algebras of type MS

N.Q.Li and Y.M.Liu, Fractional Brauer configuration algebras III: fractional Brauer graph algebras in type MS. arXiv: 2412.13449v3 (2025), 1-44

work page internal anchor Pith review Pith/arXiv arXiv 2025

[12] [12]

R.Mart´ınez-Villa and J.A.De La Pe ˜na, The universal cover of a quiver with relations. J. Pure Appl. Algebra 30 (1983), 277-292

work page 1983

[13] [13]

GTM 56 (Springer, 1977)

W.S.Massey, Algebraic topology: an introduction . GTM 56 (Springer, 1977)

work page 1977

[14] [14]

Student Mathematical Library 90 (American Mathematical Society, 2019)

N.A.Scoville, Discrete Morse theory . Student Mathematical Library 90 (American Mathematical Society, 2019)

work page 2019

[15] [15]

A.Skowro´nski, Selfinjective algebras of polynomial growth. Math. Ann. 285 (1989), 177-199. Nengqun Li School of Mathematics Liaoning Normal University Dalian 116029 P.R.China Email address: wd0843@163.com Yuming Liu School of Mathematical Sciences Laboratory of Mathematics and Complex Systems Beijing Normal University Beijing 100875 P.R.China Email addre...

work page 1989