arXiv ScienceSearch

arXiv · 2510.02959

Abstract Cluster Structures

Abstract

We describe a framework for encoding cluster combinatorics using categorical methods. We give a definition of an abstract cluster structure, which captures the essence of cluster mutation at a tropical level and show that cluster algebras, cluster varieties, cluster categories and surface models all have associated abstract cluster structures. For the first two classes, we also show that they can be constructed from abstract cluster structures. By defining a suitable notion of morphism of abstract cluster structures, we introduce a category of these and show that it has several desirable properties, such as initial and terminal objects and finite products and coproducts. We also prove that rooted cluster morphisms of cluster algebras give rise to morphisms of the associated abstract cluster structures, so that our framework includes a version of the extant category of cluster algebras. We can do more, however, because we can relate different types of representation of abstract cluster structures (cluster algebra, varieties, categories) directly via morphisms of their associated abstract cluster structures, even though no direct map from e.g. a cluster category to the associated cluster algebra is possible. In fact, we do much of the above in the setting of abstract quantum cluster structures, with some analysis of the difference between the category of these and that of the unquantized version. In order to show the relationship between abstract quantum cluster structures and quantum cluster algebras, we reformulate the usual construction of the latter in a way that is more amenable to our purposes and which we expect will be of independent interest and use.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jan E. Grabowski, Sira Gratz. 2026-06-10. Abstract Cluster Structures. https://doi.org/10.1007/s10485-026-09876-w

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

KEEP EXPLORING

Related papers

On $(n,d)$-Coherence and Its Applications to Algebraic $\mathsf{K}$-Theory

We introduce a unified approach to finiteness conditions in homological algebra and algebraic $\mathsf{K}$-theory by studying the class of $(n,d)$-coherent rings, defined for $n\in\mathbb{N}^*$ and $d\in\mathbb{N}^*\cup \{\infty\}$. This framework simultaneously controls higher finiteness conditions and bounds on the projective dimensions of modules. In the context of algebraic $\mathsf{K}$-theory, we prove that, for a left $(n,d)$-coherent ring, the inclusion $\mathsf{proj}(R)\hookrightarrow\mathsf{FP}_n^{\leq d}(R)$ induces isomorphisms on all nonnegative $\mathsf{K}$-groups. We then introduce the corresponding relative notions of $\mathsf{FP}_n^{\leq d}$-injective, $\mathsf{FP}_n^{\leq d}$-projective, $\mathsf{FP}_n^{\leq d}$-flat, and $\mathsf{FP}_n^{\leq d}$-cotorsion modules, and obtain characterizations of $(n,d)$-coherent rings in terms of these classes. When $d\geq\gD(R)$ or $d=\infty$, our notions recover several previously studied classes and results.

math.RA

Virtually Gorenstein Artin algebras are weakly Gorenstein

We prove that all (possibly infinitely generated) semi-Gorenstein-projective modules over a virtually Gorenstein Artin algebra are Gorenstein projective. We also establish a new criterion for determining the projective (injective) dimensions of modules over virtually Gorenstein Artin algebras. This enables us to show the validities of the Auslander-Gorenstein Conjecture, the (Strong) Nakayama Conjecture and Tachikawa's First Conjecture for virtually Gorenstein Artin algebras. Finally, we prove that the Auslander-Reiten Conjecture holds for virtually Gorenstein Artin algebras of finite CM-type.

math.RA

Invariants of Nilpotent Lie Algebras via Geometry and Algebra with a Focus on Computation

We consider the problem of computing rational invariants of nilpotent Lie algebras. We compare two methods that are commonly used for this task: the method of integral curves and the Dixmier map. Given a derivation of a rational function field with polynomial coefficients, we formulate a condition under which the kernel can be recovered from a family of rational integral curves, and we show that triangular derivations satisfy this hypothesis. This yields an explicit description of the kernel as a purely transcendental extension and produces algebraically independent generators. We also show that, in the triangular case, the resulting generators agree with those obtained from the Dixmier map via a local slice. A careful analysis of the generating set obtained from this method leads to an algorithm for computing generators of the rational invariant field of a nilpotent Lie algebra. An implementation of the methods is available in the SageMath system.

math.RA