Search arXiv⌕ Search

arXiv · 2609.31417

A Proof of the Second brick-Brauer-Thrall Conjecture for $E$-infinite algebras

Abstract

For any finite-dimensional algebra $A$ over an algebraically closed field, we prove that if $A$ is $E$-infinite, then the Second brick-Brauer-Thrall Conjecture holds for $A$. In fact, we show that if there is a rational ray outside the $τ$-tilting fan of $A$, then $A$ admits an infinite family of $θ$-stable bricks of dimension $d$, for some positive integer $d$ and weight $θ$. To show our main result, from any $τ$-regular component of $A$ with no dense orbit, we obtain a brick component that also has no dense orbit and whose points in general position are $θ$-stable modules for a given weight $θ$. As an important consequence, we conclude that $A$ is stably-discrete (also called multiplicity-free) if and only if $A$ is $E$-finite. Moreover, we prove that Demonet's (lattice point) Conjecture implies the stable Second brick-Brauer-Thrall Conjecture. For $E$-infinite algebras, our results settle several open conjectures. Together with our earlier work and recent developments, this leads to important reductions in the study of some challenging open problems.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kaveh Mousavand, Charles Paquette. 2026-09-25. A Proof of the Second brick-Brauer-Thrall Conjecture for $E$-infinite algebras. https://arxiv.org/abs/2609.31417

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Bethe subalgebras in Yangians and Kirillov-Reshetikhin crystals

Let $\mathfrak{g}$ be a simple finite-dimensional Lie algebra and $G$ its adjoint group. For each $C\in G$, we consider the Bethe subalgebra $B(C)\subset Y(\mathfrak{g})$, a commutative subalgebra encoding the integrals of the generalized $XXX$ spin chain. Adapting the construction of arXiv:1708.05105 of $\mathfrak{g}$-crystals on spectra of inhomogeneous Gaudin subalgebras in $U(\mathfrak{g})$, we construct a natural $\hat{\mathfrak{g}}$-crystal structure on the spectra of $B(C)$ in Kirillov--Reshetikhin $Y(\mathfrak{g})$-modules in type $A$. We conjecture that such a construction exists for arbitrary $\mathfrak{g}$ and recovers Kirillov--Reshetikhin crystals. The main technical ingredient is a degeneration of Bethe subalgebras $B(C)$ to commutative subalgebras $\mathcal{A}_χ^{\mathrm{u}} \subset U(\mathfrak{g}[t])$, depending on $χ\in\mathfrak{g}$. We call these subalgebras universal inhomogeneous Gaudin subalgebras and show that they arise from the Feigin--Frenkel center at the critical level. This allows us to identify the affine crystals above with Kirillov--Reshetikhin crystals. We then apply these results to prove the monodromy conjecture of Ilin and the second and third authors for the spectra of the algebras $B(C)$ and for the spectra of quantum cohomology rings of type $A$ quiver varieties.

math.RT↗

Balanced pairs, virtually Gorenstein rings, and cotorsion torsion triples

For any ring $R$, we investigate balanced pairs of classes of modules and their relations to cotorsion triples. We characterize the special balanced pairs that fit into complete hereditary cotorsion triples. As an application, we prove that Gorenstein projective and Gorenstein injective modules form a balanced pair, if and only if $R$ is right virtually Gorenstein. We also characterize the tilting and cotilting cotorsion pairs arising from balanced pairs. In [4], cotorsion torsion triples in abelian categories were employed in the representation theory of rectangular grids occurring in persistent homology theory. For module categories, we use infinite dimensional tilting theory to completely classify all cotorsion torsion triples by means of $1$-resolving subcategories of $\rfmod R$, and to give an explicit 1-1 correspondence between the formally dual notions of cotorsion torsion triples of right $R$-modules and torsion cotorsion triples of left $R$-modules. This correspondence is bijective in case the underlying ring $R$ is left noetherian, but not in general.

math.RT↗

$q$-Oper Structures on a Formal Punctured Disc

Let $G$ be a connected reductive complex algebraic group and let $q\in\mathbb{C}^{\times}$ be not a root of unity. We prove that every $(G,q)$-connection on a formal punctured disc admits a $(G,q)$-oper structure.

math.RT↗