Related papers: Algebraic Reasoning over Relational Structures
The exchange graph of a cluster algebra encodes the combinatorics of mutations of clusters. Through the recent "categorifications" of cluster algebras using representation theory one obtains a whole variety of exchange graphs associated…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
We introduce a notion of a uniform structure on the set of all representations of a given separable, not necessarilly commutative $C^*$-algebra $\mathfrak{A}$ by introducing a suitable family of metrics on the set of representations of…
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
The constraint satisfaction problem, parameterized by a relational structure, provides a general framework for expressing computational decision problems. Already the restriction to the class of all finite structures forms an interesting…
For any cluster algebra whose underlying combinatorial data can be encoded by a bordered surface with marked points, we construct a geometric realization in terms of suitable decorated Teichmueller space of the surface. On the geometric…
We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…
The paper is motivated by an analogy between cluster algebras and Kac-Moody algebras: both theories share the same classification of finite type objects by familiar Cartan-Killing types. However the underlying combinatorics beyond the two…
These notes aim at providing a complete and systematic account of some foundational aspects of algebraic supergeometry, namely, the extension to the geometry of superschemes of many classical notions, techniques and results that make up the…
In the theory of generalized cluster algebras, we build the so-called cluster formula and $D$-matrix pattern. Then as applications, some fundamental conjectures of generalized cluster algebras are solved affirmatively.
The relational complexity, introduced by G. Cherlin, G. Martin, and D. Saracino, is a measure of ultrahomogeneity of a relational structure. It provides an information on minimal arity of additional invariant relations needed to turn given…
Frieze patterns have an interesting combinatorial structure, which has proven very useful in the study of cluster algebras. We introduce $(k,n)$-frieze patterns, a natural generalisation of the classical notion. A generalisation of the…
Let $H$ be a pointed Hopf algebra with abelian coradical. Let $A\supseteq B$ be left (or right) coideal subalgebras of $H$ that contain the coradical of $H$. We show that $A$ has a PBW basis over $B$, provided that $H$ satisfies certain…
It is conjectured by Ibrahim Assem, Ralf Schiffler and Vasilisa Shramchenko in "Cluster Automorphisms and Compatibility of Cluster Variables" that every cluster algebra is unistructural, that is to say, that the set of cluster variables…
Category Theory provides us with a clear notion of what is an internal structure. This will allow us to focus our attention on a certain type of relationship between context and structure.
The alternating and non-alternating harmonic sums and other algebraic objects of the same equivalence class are connected by algebraic relations which are induced by the product of these quantities and which depend on their index class…
Under a minimum of assumptions, we develop in generality the basic theory of universal algebra in a symmetric monoidal closed category $\mathcal{V}$ with respect to a specified system of arities $j:\mathcal{J} \hookrightarrow \mathcal{V}$.…
Let $\FF$ be a finite field and $(Q,\bfd)$ an acyclic valued quiver with associated exchange matrix $\tilde{B}$. We follow Hubery's approach \cite{hub1} to prove our main conjecture of \cite{rupel}: the quantum cluster character gives a…
In this paper, we define a number of closely related isomorphisms. On one side of these isomorphisms sit a number of of algebras generalizing the Hecke and affine Hecke algebras, which we call the "Hecke family"; on the other, we find…
This is an expanded version of the notes of my three lectures at a NATO Advanced Study Institute ``Symmetric functions 2001: surveys of developments and perspectives" (Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; June…