Questions tagged [cluster-algebras]
Questions related to cluster algebras, a class of commutative rings introduced around 2000 by Fomin and Zelevinsky, and nearby topics.
104 questions
56
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 $\...
33
votes
2
answers
2k
views
What do cluster algebras tell us about Grassmannians?
One of the first examples of a cluster algebra given in Fomin and Zelevinsky's original paper is the homogeneous coordinate ring $\mathbb{C}[G_{2,n}]$ of the Grassmannian of planes in $\mathbb{C}^n$. ...
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 ...
24
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}...
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 ...
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 (...
17
votes
2
answers
2k
views
Which cluster algebras have been categorified?
In "Tilting Theory and Cluster Combinatorics" Buan, Marsh, Reineke, Reiten, and Todorov constructed cluster categories for mutation finite cluster algebras (without coefficients), and Amiot gives a ...
16
votes
0
answers
558
views
Catalan objects associated to a univariate polynomial
Given a monic degree $n$ polynomial $f(z)$ with no double roots, and a phase $0\leq \theta < \pi$, there are natural constructions which associate to this data:
a noncrossing matching on $2n$ ...
15
votes
2
answers
601
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 ...
15
votes
1
answer
2k
views
Applications of cluster algebras
Why are so many algebraists nowadays interested in cluster algebras?
(This is a rewording of one half of the closed question Cluster algebras and teichmuller theory.)
14
votes
1
answer
568
views
Is there some relation between cluster algebras and crystal graphs?
Cluster algebras are closely related to totally positivity in algebraic groups and canonical bases in quantum groups.
Is there some relation between cluster algebras and crystal graphs? Can the ...
13
votes
2
answers
425
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 ...
12
votes
2
answers
334
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 $\...
12
votes
1
answer
1k
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,...
11
votes
1
answer
840
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 ...
11
votes
0
answers
421
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 ...
11
votes
0
answers
278
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 ...
10
votes
1
answer
3k
views
Cluster algebras and cluster varieties
I have a really basic question about cluster algebras and cluster varieties. According to the definition of Fomin-Zelevinsky a cluster algebra is generated by a bunch of polynomial rings inside the ...
10
votes
1
answer
695
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 ...
10
votes
1
answer
608
views
Are cluster variables prime elements?
Cluster algebras introduction
A cluster algebra is a subalgebra $A$ of $k[x_1^{\pm1},...,x_n^{\pm1}]$ generated by a set of cluster variables, which are elements which can be generated from the set $\{...
9
votes
2
answers
978
views
A question about the quivers with potentials
Let $Q=(Q_0,Q_1,h,t)$ be a quiver consisted of a pair of finite sets $Q_0$(vectors),and $Q_1$ (arrows) supplied with two maps $h : Q_1 → Q_0$ (head) and $t : Q_1 → Q_0$ (tail ). This definition allows ...
8
votes
1
answer
250
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 ...
8
votes
0
answers
130
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é ...
8
votes
0
answers
370
views
When is a $2$-Calabi–Yau triangulated category the cluster category of a QP?
Keller–Reiten's main theorem in Acyclic Calabi–Yau categories implies that if $\mathcal{C}$ is a $2$-Calabi–Yau (algebraic) triangulated category admitting a cluster-tilting object $T$ such that the ...
8
votes
0
answers
224
views
Testing membership in a cluster algebra
Say I have a cluster algebra with principal coefficients and initial cluster $x_1,\ldots,x_n$. I don't want to invert the coefficient variables $y_1,\ldots,y_n$. The Laurent Phenomenon says that ...
7
votes
3
answers
638
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$...
6
votes
1
answer
300
views
What is the status of a problem about cluster categories?
Let $H$ be a hereditary algebra of Dynkin type. There is a cluster category $\mathcal{C}_H$ defined by Aslak Bakke Buan, Robert Marsh, Markus Reineke, Idun Reiten, and Gordana Todorov in Tilting ...
6
votes
1
answer
584
views
Proof of Laurent Phenomenon for Cluster Algebras
I went through the proof of the Laurent phenomenon for Cluster Algebras in Fomin and Zelevinsky's initial paper: Cluster Algebras I: Foundations. I am stuck at their claim that the gcd of two exchange ...
6
votes
1
answer
281
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 ...
6
votes
1
answer
137
views
Decidability and Cluster algebras
Recall the definition of a cluster algebra,
which can be seen as a (possibly infinite) graph, where each vertex is a tuple of a quiver and Laurent expressions at some of the vertices of the quiver. ...
6
votes
0
answers
194
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
0
answers
80
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 ...
6
votes
0
answers
340
views
cluster variables and L-functions
There is something in common between
cluster variables in the theory of cluster algebras,
L-functions in number theory,
namely the fact that both map direct sums to products, just like determinants ...
6
votes
0
answers
329
views
Non-crystallographic cluster algebras
Background
Fomin and Zelevinsky have introduced cluster algebras in an influential article. To define a cluster algebra, Fomin and Zelevinsky have defined a mutation of seeds. Here, a seed $(\mathbf{...
5
votes
2
answers
657
views
How to flip one triangulation on a surface into another
Let $S$ be a compact orientable surface and $p_1,\dots, p_n\in S$ be distinct points. We consider all triangulations on $S$ with vertices $p_1,\dots, p_n$.
Is there an algorithm which takes two ...
5
votes
2
answers
533
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 ...
5
votes
0
answers
372
views
"Natural" Poisson structure on $(\mathbb{P}^1)^N$
Recently there is some interest in the Poisson geometry of "cluster manifolds", which are varieties associated to cluster algebras. See for example the works of Gekhtman, Shapiro and Vainshtein. In ...
4
votes
2
answers
243
views
References about tropical cluster algebras and tropical Laurent phenomenon
Are there some references about tropical cluster algebras and tropical Laurent phenomenon? I searched on Google but only found one paper: Tropical Plucker functions and their bases
.
Thank you very ...
4
votes
1
answer
131
views
Geometric realizations of cluster categories of non-simply-laced types
Geometric realizations of cluster categories of simply-laced types are studied in the following papers.
Philippe Caldero, Frédéric Chapoton, and Ralf. Schiffler, Quivers with relations arising from ...
4
votes
2
answers
373
views
Reference request: Associahedron
I am reading Sergey Fomin's and Nathan Reading's paper Root Systems and Generalized Associahedra.
I need a good reference for associahedron of classical types. Besides, whether there are some ...
4
votes
1
answer
212
views
Cluster algebra structure compatible with Poisson brackets
Let $X$ be a Poisson variety. There is a concept "cluster algebra structure compatible with Poisson structure" introduced in the paper.
Suppose that we construct a maximal independent set of ...
4
votes
3
answers
227
views
Cluster Variables for non-convex n-gons
Most of the lectures and lecture notes on Cluster Algebras (at least from Combinatorial point of view) start with mutations of the diagonals of a convex n-gon (mostly the pentagon) as the illustration ...
4
votes
1
answer
119
views
Rigid regular objects of path algebras of tame quivers
In the paper On Maximal Green Sequences by Brustle, Dupont and Perotin the authors argued that in a path algebra $\Lambda=kQ$ of a tame quiver $Q$ with $n$ vertices each tilting module contains at ...
4
votes
1
answer
108
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 ...
4
votes
0
answers
101
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 $...
4
votes
0
answers
259
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 ...
4
votes
0
answers
259
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),...
4
votes
1
answer
470
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 ...
4
votes
0
answers
171
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^...
4
votes
0
answers
64
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 ...