Questions tagged [cluster-algebras]

Questions related to cluster algebras, a class of commutative rings introduced around 2000 by Fomin and Zelevinsky, and nearby topics.

Filter by
Sorted by
Tagged with
4 votes
1 answer
381 views

Cluster algebras of type A and X

I will base my question on Fock and Goncharov's paper Dual Teichmüller and lamination spaces. Let $S$ be a surface with boundaries, marked points on such boundaries, punctures and boundaries without ...
2 votes
0 answers
51 views

Finding relations of cluster-tilted algebras

Let $Q$ be a quiver. Then we can use mutation (in the cluster algebra setting) to obtain a new quiver $Q'$ and to each such a quiver $Q'$ there corresponds a unique cluster-tilted algebra, which is a ...
2 votes
1 answer
217 views

Grassmannian $\mathrm{Gr}(k, \pm \infty)$ in infinite dimension

$\DeclareMathOperator\Gr{Gr}$The Grassmnnian variety $\Gr(k,n)$ is the set of $k$-dimensional subspaces of $\mathbb{C}^n$. The coordinate ring $\mathbb{C}[\Gr(k,n)]$ is generated by Plucker ...
1 vote
0 answers
129 views

Number of cluster variables associated to A type quivers

In a seminar/reading course about cluster algebras, we came across the fact that the number of cluster variables for the cluster algebra associated to mutating the quiver $A_n$ is $n(n+3)/2$ (rather, ...
4 votes
0 answers
78 views

Theta functions in acyclic cluster algebras

Setup: Let $B$ be a skew-symmetrisable integer matrix and $\mathcal{A}$ be the cluster algebra with principal coefficients at a seed with mutation matrix $\tilde{B}$ whose principal part is equal to $...
1 vote
0 answers
60 views

When the dg cluster category of a quiver is saturated?

Let $Q$ be a finite quiver without oriented cycles. In https://arxiv.org/abs/0807.1960 , Keller defines the dg cluster category $C_Q$ of $Q$. When is $C_Q$ smooth proper dg-category? If $Q$ is a ...
10 votes
1 answer
633 views

Rigorous proof of the pentagon identity

I briefly recall the statement of the pentagon identity in quantum dilogarithm and cluster algebra. For $b\in\mathbb{C}$ with $\operatorname{Re}(b)>0,\operatorname{Im}(b)\geq0$, Faddeev, Kashaev ...
4 votes
0 answers
232 views

Road map for learning cluster algebras

I'm a PhD student and I would like learn about cluster algebras. I'm wondering what is a good reference (i.e., has detailed explanations, examples, etc) to learn from the basic and what are some of ...
55 votes
1 answer
3k views

Intersecting family of triangulations

Let $\cal T_n$ be the family of all triangulations on an $n$-gon using $(n-3)$ non-intersecting diagonals. The number of triangulations in $\cal T_n$ is $C_{n-2}$ the $(n-2)$th Catalan number. Let $\...
1 vote
0 answers
50 views

Non-vanishing of generalized minors on T-stable unipotent subgroups

Let $G$ be a complex simply connected algebraic group, $T$ a maximal torus of $G$ and $B$, $B^-$ Borel subgroups which are opposite with respect to $T$ and let $U$ (resp. $U^-$) be the unipotent ...
4 votes
0 answers
242 views

A technical question about a paper by Gross-Hacking-Keel

I have a technical question on the commutativity of diagrams (2.11) and (2.12) in the paper "Birational geometry of cluster algebras" by Gross-Hacking-Keel: For the leftmost square in (2.11),...
2 votes
0 answers
109 views

What algebraic varieties arise as intersections of finitely many cluster charts?

A cluster variety $V$ admits, by definition, many charts of the form $(\mathbb{C}^*)^n \hookrightarrow V$. These charts do not always cover the variety of interest, but when they do, one could e.g. ...
11 votes
1 answer
827 views

Which cluster algebras are coordinate rings of double Bruhat cells?

Background A uselessly vague paragraph follows. A cluster algebra is a commutative algebra $A$ with a distinguished set of generators called cluster variables. These cluster variables are grouped ...
8 votes
1 answer
225 views

Grassmannian cluster algebra of infinite type has no trees in its mutation class

The question is why the statement in the title is true (is it?). To elaborate, recall that Grassmannian cluster algebra, according to Scott`s paper Grassmannians and Cluster Algebras, is the cluster ...
5 votes
0 answers
173 views

"Cluster algebra" structure for finite distributive lattices

Let $P$ be an $n$-element poset and $J(P)$ the distributive lattice of its order ideals (i.e., the downwards-closed sets). For each $I\in J(P)$ let $x_I \in \mathbb{R}^{n}$ be the indicator function ...
6 votes
1 answer
274 views

Is this Laurent phenomenon explained by invariance/periodicity?

In Chapter 4 (page 23, subsection "Somos sequence update") of his Tracking the Automatic Ant, David Gale discusses three families of recursively defined sequences of numbers, all due to Dana ...
3 votes
0 answers
149 views

The Grassmann twist-map, an associated semi-group action, and RSK

Let me begin by setting some notation: Let $\mathrm{Mat}_{k,n}(\Bbb{R})$ denote the vector space of all $k \times n$ real-valued matrices. Given $g \in \mathrm{Mat}_{k,n}(\Bbb{R})$ and two (ordered) ...
4 votes
1 answer
100 views

How much is known about the non-degeneracy of Quiver-with-potential associated to closed punctured surfaces?

The potential of the quiver associated to surfaces is the canonical one given by Labardini-Fragoso's 2009 paper, who proved that the the QP associated to surfaces whose boundary is nonempty is rigid ...
0 votes
1 answer
121 views

About cluster variables obtained by (sequentially) mutating at exchangeable variables from an initial cluster

Let $\Sigma=(X,ex,B)$ be a seed, $\mathcal{A}(\Sigma)$ a corresponding geometric cluster algebra and $\mathcal{X}_{\Sigma}$ the set of all cluster variables of $\mathcal{A}(\Sigma)$. We call a ...
12 votes
2 answers
308 views

Easy way to understand theta basis for X-cluster algebras of finite type?

For $\mathcal A$-cluster algebras of finite type, it is very easy to describe the theta-basis: it consists of the cluster monomials. Is there any similarly easy way to describe the theta-basis for $\...
3 votes
0 answers
109 views

Fundamental representation bases and generalized minors

Let $G$ be a simple simpy connected complex algebraic group. I was wondering if there is a clear relationship between the generalized minors (defined by Berenstein, Fomin and Zelevinsky) and bases of ...
4 votes
0 answers
160 views

Positivity conjecture for Somos sequences

Let $\{s_n\}$ be the Somos-$4$ sequence, which is defined by $$s_{n+4}s_n=\alpha s_{n+3}s_{n+1}+\beta s_n^2.$$ It is known that $s_n$ is a Laurent polynomial: $s_n\in\mathbb{Z}[s_1^{\pm1}, \ldots, s_4^...
11 votes
1 answer
975 views

What is a good introduction to cluster algebras from surfaces?

What is a good reference for cluster algebras from surfaces, with a view to their connection to Teichmuller theory? In my view, that means it should start off with unpunctured surfaces (and in fact,...
13 votes
2 answers
382 views

Quiver representations of type $D_n$ mutation class

I was wondering if there is a classification of the indecomposable quiver representations of (not necessarily acyclic) quivers that are mutation equivalent to the $D_n$ Dynkin diagram. Such quivers ...
29 votes
2 answers
1k views

Determining if a rational function has a subtraction-free expression

This question was first asked by Mehtaab Sawhney in Alex Postnikov's combinatorics class. Given a rational function $F=P(x_1,...,x_n)/Q(x_1,...,x_n)$ with (say) integer coefficients, it is often of ...
1 vote
0 answers
81 views

Defining cluster algebras of finite type $\mathrm{A}$ by generators and relations

Consider a cluster algebra of finite type $\mathrm{A}$. The set of all (distinct) cluster variables is of finite cardinality, denote it by $k$, for such algebra. Is it true that, for an arbitrary ...
3 votes
0 answers
96 views

Geometric description of a type $A$ cluster algebra with universal coefficients

In Thm. 12.4 in Fomin and Zelevinsky - Cluster algebras IV: Coefficients we are given a recipe for constructing a cluster algebra with universal coefficients. The recipe is given in terms of (almost ...
2 votes
0 answers
74 views

Berenstein-Fomin-Zelevinsky's Ininital seeds and initial seeds from Postnikov diagrams

In Cluster algebra III by Berenstein-Fomin-Zelevinsky, Theorem 2.10, for any pair of reduced words $(u,v)$, they constructed an initial seed for the cluster algebra $\mathbb{C}[B^{u,v}]$, where $B^{u,...
1 vote
1 answer
266 views

Number of cluster variables

In the paper Hernandez and Leclerc - Cluster algebras and quantum affine algebras, Section 13.5, it is said that when $\mathfrak{g}$ is of type $A_2$ and $\ell=2$, then the corresponding cluster ...
23 votes
0 answers
1k views

Is A276175 integer-only?

The terms of the sequence A276123, defined by $a_0=a_1=a_2=1$ and $$a_n=\dfrac{(a_{n-1}+1)(a_{n-2}+1)}{a_{n-3}}\;,$$ are all integers (it's easy to prove that for all $n\geq2$, $a_n=\frac{9-3(-1)^n}{2}...
4 votes
0 answers
63 views

Why does this cluster tilting object form a local slice?

I am reading the paper "Cluster automrphisms", here is the link: http://prospero.dmat.usherbrooke.ca/ibrahim/publications/Cluster_Automorphisms.pdf In the proof of lemma 3.1 I am stuck: For ...
17 votes
4 answers
2k views

Some interesting and elementary topics with connections to the representation theory?

I'm going to give a talk to talented high school seniors (for nearly 1.25-1.75 hours, maybe a little bit longer). They know some abstract algebra (groups, rings, modules...), linear algebra (...
2 votes
0 answers
60 views

Multiplication formula in Grassmannian cluster categories

Grassmannian cluster categories are studied in A categorification of Grassmannian cluster algebras and Cluster categories from Grassmannians and root combinatorics. The category $CM(B_{k,n})$ of Cohen-...
3 votes
0 answers
218 views

Definition of loop amplituhedrons

In the paper The Amplituhedron , Nima Arkani-Hamed and Jaroslav Trnka introduced the geometric object amplituhedron. It is defined as follows (see also the lecture notes). Let $Z$ be a $(k+m)\times ...
5 votes
2 answers
511 views

Do we have super Plucker relations for a super Grassmannian?

Super Grassmannians are introduced by Manin, see for example. We have Plucker relation for Grassmannian. Are there some references about super Plucker relations for super Grassmannian? Thank you ...
2 votes
1 answer
189 views

Choice of a ground ring for cluster algebras

In order to define cluster algebra one needs to define its ground ring. In most cases, we take a group $P$ (often called a coefficient group) which is taken to be an abelian multiplicative group . ...
1 vote
1 answer
245 views

Cluster algebras and tropical points

Recently, I have been looking at some articles about bases for cluster algebras and came across the idea of tropical points. I should highlight here that unfortunately I have no background on ...
2 votes
0 answers
65 views

Piecewise linear $\sigma_i$ - notation question

In cluster algebra framework, in order to get root clusters, a modified version of a simple reflection is used. Define $\sigma_i:\Phi_{\geq -1} \to \Phi_{\geq -1}$ by setting: $ \sigma_i(\alpha) = \...
19 votes
2 answers
1k views

Is it possible that the GHKK canonical basis for cluster algebras is the Lusztig/Kashiwara dual canonical basis?

Gross-Hacking-Keel-Kontsevich (https://arxiv.org/abs/1411.1394) constructed a canonical basis (the so-called “theta basis”) for a cluster algebra, at least assuming it satisfies a certain ...
11 votes
0 answers
402 views

Scattering diagram for the cluster algebra $ \mathbb C [N]$

Five years ago, Gross-Hacking-Keel-Kontsevich made a major advance in the theory of cluster algebras, by constructing bases of cluster algebras in large generality. A key tool in their construction ...
1 vote
1 answer
199 views

Are there some relations between F-polynomials and theta functions?

F-polynomials are certain polynomials appears in the expansion formula of a cluster variable, see for example the formula (6.5) in cluster algebras IV. Theta functions in the paper correspond to ...
3 votes
0 answers
97 views

Does singularity confinement imply a fixed pattern of irreducible factors?

Consider a rational map $f \colon (x_1,\ldots,x_n) \mapsto (P_1(x_1,\ldots,x_n),\ldots,P_n(x_1,\ldots,x_n))$, where the $P_i$ are rational functions. Via iteration this map defines a discrete ...
13 votes
2 answers
575 views

Integer but not Laurent sequences

Are there any sequence given by a recurrence relation: $x_{n+t}=P(x_t,\cdots,x_{t+n-1})$, where $P$ is a positive Laurent Polynomial, satisfy: if $x_0=\cdots=x_{n-1}=1$, then the sequence is only ...
3 votes
1 answer
160 views

"Solution" of finite cluster algebras

Consider the cluster algebras $A_n$ and $D_n$. Choose any cluster $x$, is there an explicit formula that express all other cluster variables in terms of $x$?
8 votes
0 answers
128 views

"Cross-Ratios" for D_n cluster algebra

Both cluster algebras $A_n$ and $D_n$ admit an interpretation in terms of (tagged) triangulations of Riemann surfaces - respectively a Poincaré disk with n+3 punctures on the boundary and a Poincaré ...
11 votes
0 answers
256 views

Cluster algebra and Fenchel Nielsen coordinates

Certain cluster algebras arise from ideal triangulations of hyperbolic Riemann surfaces. The combinatorics behind their mutations can be understood in terms of "flips" in the triangulation, and the ...
2 votes
0 answers
53 views

Differential (in)dependancies between cluster variables

Let $ \mathcal A$ be the complex cluster algebra obtained from the initial seed $(a,x, B)$ where : $x$ stands for a $n$-tuple $(x_1,\ldots,x_n)$ of complex indeterminates, idem for $a=(a_1,\ldots,...
3 votes
1 answer
158 views

Reference request: coordinate ring of $OSP(2p|n)$

In the paper, the orthosymplectic supergroup $OSP(2p|n)$ is defined as follows. Let $A = A_0 \oplus A_1$ be a supercommutative superalgebra, where elements in $A_0$ are even and elements in $A_1$ are ...
6 votes
0 answers
79 views

Non-rigid indecomposable summands of simple-minded collections in bounded derived category of hereditary algebras

Let $\Lambda$ be a hereditary algebra over an algebraically closed field $k$. Let $S$ be one of the indecomposable summands of one simple-minded collection in $D^b(\Lambda)$. Is it true that $S$ is ...
7 votes
3 answers
634 views

Do Denominator Vectors Determine the Cluster Variable

Given a cluster algebra $A=A(\mathbf{x},Q)$, the Laurent Phenomenon states that all the cluster variables of $A$ are Laurent polynomials in the elements of $\mathbf{x}$. Thus, any cluster variable $y$...