Problem 1. Let f n (x, y), n Z, be the sequence of rational functions in two variables x and y given by the initial conditions.

Similar documents
Tropicalizations of Positive Parts of Cluster Algebras The conjectures of Fock and Goncharov David Speyer

(Affine) generalized associahedra, root systems, and cluster algebras

Q(x n+1,..., x m ) in n independent variables

Lecture Notes Introduction to Cluster Algebra

Lecture 3: Tropicalizations of Cluster Algebras Examples David Speyer

Edinburgh, December 2009

Quiver mutations. Tensor diagrams and cluster algebras

A SURVEY OF CLUSTER ALGEBRAS

Counting chains in noncrossing partition lattices

Counting matrices over finite fields

2-FRIEZE PATTERNS AND THE CLUSTER STRUCTURE OF THE SPACE OF POLYGONS

Again we return to a row of 1 s! Furthermore, all the entries are positive integers.

Coxeter-Knuth Classes and a Signed Little Bijection

QUANTUM F -POLYNOMIALS IN THE THEORY OF CLUSTER ALGEBRAS. A dissertation presented by Thao Tran to The Department of Mathematics

arxiv: v1 [math.co] 19 Aug 2016

Cluster algebras and derived categories

COMBINATORICS OF KP SOLITONS FROM THE REAL GRASSMANNIAN

Quivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014

arxiv: v1 [math.co] 9 Sep 2015

Bases for Cluster Algebras from Surfaces

Introduction to cluster algebras. Sergey Fomin

Cluster algebras II: Finite type classification

5 Quiver Representations

Weak Separation, Pure Domains and Cluster Distance

Introduction to cluster algebras. Andrei Zelevinsky (Northeastern University) MSRI/Evans Lecture, UC Berkeley, October 1, 2012

Cluster Algebras and Compatible Poisson Structures

Rational Catalan Combinatorics: Intro

Coxeter-Knuth Graphs and a signed Little Bijection

Dimer models and cluster categories of Grassmannians

5. Grassmannians and the Space of Trees In this lecture we shall be interested in a very particular ideal. The ambient polynomial ring C[p] has ( n

Twists for positroid cells

WEAK SEPARATION, PURE DOMAINS AND CLUSTER DISTANCE

Cluster Algebras. Philipp Lampe

Lecture Notes Introduction to Cluster Algebra

q xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.

Skew-symmetric cluster algebras of finite mutation type

The geometry of cluster algebras

NOTES ON THE TOTALLY NONNEGATIVE GRASSMANNIAN

arxiv:math/ v3 [math.rt] 21 Jan 2004

Lecture 2: Cluster complexes and their parametrizations

A Characterization of (3+1)-Free Posets

DOUBLE RIM HOOK CLUSTER ALGEBRAS

Sign variation, the Grassmannian, and total positivity

Finding parking when not commuting. Jon McCammond U.C. Santa Barbara

Finding parking when not commuting. Jon McCammond U.C. Santa Barbara

CLUSTER ALGEBRA ALFREDO NÁJERA CHÁVEZ

Twists for positroid cells

A NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS

Parametrizations of Canonical Bases and Totally Positive Matrices

arxiv: v1 [math.co] 20 Dec 2016

Combinatorics of Theta Bases of Cluster Algebras

The Greedy Basis Equals the Theta Basis A Rank Two Haiku

arxiv: v2 [math.co] 11 Oct 2016

SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO AND SERGE TABACHNIKOV

Quantizations of cluster algebras

ELEMENTARY LINEAR ALGEBRA

Arithmetics of 2-friezes

STABLE CLUSTER VARIABLES

Unless otherwise specified, V denotes an arbitrary finite-dimensional vector space.

Lecture Notes Introduction to Cluster Algebra

Mutations of non-integer quivers: finite mutation type. Anna Felikson

0 Sets and Induction. Sets

arxiv: v1 [math.rt] 4 Dec 2017

BRUHAT INTERVAL POLYTOPES

5-VERTEX MODELS, GELFAND-TSETLIN PATTERNS AND SEMISTANDARD YOUNG TABLEAUX

Involutions of the Symmetric Group and Congruence B-Orbits (Extended Abstract)

CLUSTER AUTOMORPHISMS AND HYPERBOLIC CLUSTER ALGEBRAS IBRAHIM A SALEH

A DETERMINANT PROPERTY OF CATALAN NUMBERS. 1. Introduction

On the Fully Commutative Elements of Coxeter Groups

Cluster algebras: Notes for the CDM-03 conference

arxiv:math/ v4 [math.co] 22 Sep 2005

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

SARA C. BILLEY AND STEPHEN A. MITCHELL

A Survey of Parking Functions

A matrix over a field F is a rectangular array of elements from F. The symbol

COMBINATORIAL CURVE NEIGHBORHOODS FOR THE AFFINE FLAG MANIFOLD OF TYPE A 1 1

ANNALESDEL INSTITUTFOURIER

A Grassmann Algebra for Matroids

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

Combinatorial aspects of derived equivalence

Combinatorics for algebraic geometers

MATH2210 Notebook 2 Spring 2018

Catalan functions and k-schur positivity

SEEDS AND WEIGHTED QUIVERS. 1. Seeds

Subword complexes, cluster complexes, and generalized multi-associahedra

The centers of gravity of the associahedron and of the permutahedron are the same

Cluster Variables and Perfect Matchings of Subgraphs of the dp 3 Lattice

THE OCTAHEDRON RECURRENCE AND RSK-CORRESPONDENCE

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Lecture 7 Cyclic groups and subgroups

Clusters, Coxeter-sortable elements and noncrossing partitions

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

ACO Comprehensive Exam October 14 and 15, 2013

arxiv: v5 [math.ra] 17 Sep 2013

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Maximal Green Sequences via Quiver Semi-Invariants

Combinatorics and geometry of E 7

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

Transcription:

18.217 Problem Set (due Monday, December 03, 2018) Solve as many problems as you want. Turn in your favorite solutions. You can also solve and turn any other claims that were given in class without proofs, as well as any other problems that will be formulated in class after this problem set is posted. Is is enough to turn in 3 problems. Problem 1. Let f n (x, y), n Z, be the sequence of rational functions in two variables x and y given by the initial conditions and the recurrence relation f 0 = x, f 1 = y f n+1 = ((f n ) 2 + 1)/f n 1, for n Z. Prove that f n (x, y) is a Laurent polynomial in x and y with positive integer coefficients. Find a combinatorial interpretation of these Laurent polynomials. Problem 2. (Somos sequences) For a positive integer k, the Somos-k sequence is the sequence (a 0, a 1, a 2,... ) satisfying the recurrence relation a n a n k = a n 1 a n k+1 + a n 2 a n k+2 + + a n k/2 a n k/2, with the initial condition a 0 = = a k 1 = 1. (a) Prove that the entries of the Somos-4 sequence are integers. (b) Prove that the entries of the Somos-5 sequence are integers. Problem 3. (Frieze patterns) A frieze pattern of order n is an array of numbers ( P = (p ij ), ) i, j Z, i < j < i + n, such that pij p det i j+1 = 1; p p i+1 j p i i+1 = p i i+n 1 = 1; p ij > 0. i+1 j+1 For a triangulation T of an n-gon (with vertices corresponding to elements of Z/nZ clockwise), construct the array P (T ) = (p ij ) i<j<i+n as follows: For each i Z, label the vertex i (mod n) of T by 0. Then label by 1 all vertices connected to i (mod n) by an edge or a diagonal of T. Then extend this labelling to all vertices of T using the recursive rule: For any triangle in T with two vertices labelled by a and b and one unlabelled vertex, assign the label a + b to the third vertex. Then, for j [i + 1, i + n 1], let p ij be the label of the vertex j (mod n) in this labelling. Prove that the map T P (T ) is a bijection between triangulations of the n-gon and integer freize patterns of order n. 1

2 Problem 4. Let T 0 be the star triangulation of the n-gon where the vertex 1 is connected by diagonals with all other vertices. Assign algebraically independent variables x e to all edges and diagonals e of the triangulation T 0. (a) Construct a 2 n matrix A (whose entries are rational expressions in the x e ) such that, for any edge or diagonal e = (i, j), 1 i < j n, in the triangulation T 0 (i.e., i = 1 or j = i + 1), x e is equal to the 2 2 minor ij (A) in the columns i and j. (b) Use Plücker relations to deduce that, for any other triangulation T of the n-gon, there exists a matrix with the same property. In other words, show that there exists a 2 n matrix A T such that ij (A T ) = x e, for any edge or diagonal e = (i, j) in T. Here x e are algebraically independent variables assigned to all edges and diagonals in T. (c) Now specialize all x e s to 1. Prove that, for the integer frieze pattern P (T ) = (p ij ) corresponding to the triangulation T (as in previous problem), we have p ij = ij (A T ), for any 1 i < j n. Problem 5. (Diamond Lemma) Let G be a directed graph without infinite directed walks, i.e., any directed walk on G eventually arrives to a sink. Assume that, for any vertex v and two outgoing edges v v and v v in G, there exists a vertex v with two incoming edges v v and v v. Prove that any two directed walks on G that start at the same vertex will eventually arrive to the same sink. Problem 6. (RSK correspondence and the octahedron recurrence) In class, we constructed the map RSK n {nonnegative n n matrices} {n n reverse plane partitions} using the tropical octahedron recurrence and split chessboards. example, for n = 2, ( ) ( ) a b min(b, c) a + b RSK 2 :. c d a + c max(b, c) + a + d For Show that this map RSK n is the same as the one obtained via in the classical RSK insertion algorithm. (Here a pair (P, Q) of semistandard Young tableaux in the image of the classical RSK correspondence is identified (via Gelfand-Tsetlin patterns) with a reverse plane partition of square n n shape.) Problem 7. (Geometric RSK correspondence) Let X = (x ij ) be an n n matrix whose entries are variables x ij. For i, j [n] and k

[min(i, j)], define y i,j,k := a [i],b [j],(a+b k or a+b i+j k+2) x ab 3 ( ) wt(p 1 ) wt(p k ), P 1,...,P k where the sum is over all families of k non-crossing lattice paths P 1,..., P k on Z Z (with steps (1, 0) and (0, 1)) connecting the points (1, k), (2, k 1),..., (k, 1) with the points (i k+1, j), (i k+2, j 1),..., (i, j k+1); and the weight of a lattice path P is the product over its vertices wt(p ) := (a,b) P x ab. Also let y ij := y i,j,n+1 max(i,j), and let z ij = y ij /y i+1,j+1. (Assuming that y ij = 1 if i > n or j > n.) Define the geometric RSK correspondence as the birational map grsk n : (x ij ) i,j n (z ij ) i,j [n]. (a) The tropicalization Trop(gRSK n ) of this birational map is the piecewise-linear map {n n matrices} {n n matrices} obtained from grsk n by replacing the arithmetic operations: +, /, + max. Show that Trop(gRSK n ) is exactly the classical RSK correspondence, i.e., the map RSK n from the previous problem. (b) Let ỹ i,j,k := y i,j,k / a i+k 1,b j+k 1 x ab. Show that the array (ỹ i,j,k ) satisfies the octahedron recurrence: ỹ i,j,k+1 ỹ i,j,k = ỹ i,j 1,k+1 ỹ i,j+1,k + ỹ i 1,j,k+1 ỹ i+1,j,k. Problem 8. (Totally positve and totally nonnegative matrices) Let Mat(m, n) R mn be the set of all real m n matrices. Prove that the closure (in the usual topology on R mn ) of the subset of totally positive matrices in Mat(n, n) is exactly the set of totally nonnegative matrices. In other words, any totally nonnegative matrix can be approximated by a totally positive matrix. Problem 9. (Minors of upper-triangular matrices) Prove that a generic upper-triangular unipotent n n matrix U (i.e., U has 1 s on the main diagonal) has exactly the Catalan number C n := n+1( 1 2n ) n of different ( ) 1 x non-zero minors. For example, the matrix has C 0 1 2 = 2 nonzero minors 1, x; and the matrix 1 x y 0 1 z has C 3 = 5 nonzero minors 0 0 1 1, x, y, z, xz y. Find a bijection between these minors and some of the known combinatorial interpretations of C n.

4 Problem 10. (LDU decomposition for totally positive matrices) Let A be an n n matrix A with the LDU decomposition A = LDU, i.e., L is lower-triangular unipotent, D is diagonal, and U is uppertriangular unipotent. Show that A is a totally positive matrix if and only if each of the factors L, D, and U is a totally positive lowertriangular/diagonal/upper-triangular matrix. Here we say that L and U are totally positive unipotent lower/upper-triangular matrices if all of their C n minors that are not identically zero are strictly positive. Likewise, we say that D is a totally positive diagonal matrix if all its diagonal entries are strictly positive. Problem 11. (Moves of double wiring diagrams) Prove the relations of the form EE = AC +BD for the minors I,J of an n n matrix that correspond to all moves of Fomin-Zelevinsky s double wiring diagrams. More explicitly, prove the following relations for minors. Let I, J [n] such that I = J, let i, i, i [n] \ I, and let j, j, j [n] \ J. (a) {i } I,{j } J {i,i } I,{j,j } J = {i } I,{j } J {i,i } I,{j,j } J + {i,i } I,{j,j } J {i } I,{j } J. (This relation corresponds a Coxeter move of 3 strands of the same color in a double wiring diagram.) (b) Lewis Carrol identity aka Dodgson condensation: {i } I,{j } J {i } I,{j } J = I,J {i,i } I,{j,j } J + {i } I,{j } J {i } I,{j } J. (This relation corresponds to commuting a black crossing through a red crossing in a double wiring diagram.) Problem 12. (Positivity test via solid minors) A minor I,J (A) of an n n matrix A is called solid if I and J are consecutive intervals in [n] and 1 I J. Show that the collection of solid minors I,J is a positivity test, that is, if all solid minors of A are strictly positive then all minors of A are strictly positive. Problem 13. Find an example of a positivity test for n n matrices that does not come from a double wiring diagram. What is the smallest n for which such an example exists? Problem 14. (Bruhat decomposition) Let G = GL n (over some field F), let B G be the Borel subgroup of invertible upper-triangular matrices, and let W = S n G be subgroup of permutation matrices.

Prove that G has the following disjoint decomposition G = BwB. w W Problem 15. (Lusztig s transformations) (a) Find the birational subtraction-free bijection (x, y, z) (x, y, z ) from R 3 >0 to itself such that 1 x 0 0 1 0 1 0 0 0 1 y 1 z 0 0 1 0 = 1 0 0 0 1 x 1 y 0 0 1 0 1 0 0 0 1 z. 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 (b) Find the bijective map (x, y) ( x, ỹ) from R 2 >0 to R 2 >0 such that ( ) ( ) ( ) ( ) ( ) 1 x 1 0 1 0 1 x t1 0 = 0 1 y 1 ỹ 1 0 1 0 t 2 for some t 1, t 2 R >0. (c) For a reduced double wiring diagram D, the corresponding double Bruhat cell in GL T n NN (R) is the subset of matrices that can be factorized as X i1 (t 1 ) X il (t l ) diag(z 1,..., z n ), where t 1,..., t l, z 1,..., z n R >0 and each factor X i (t) has the form I + t E i,i+1 or I + t E i+1,i. (The sequence of these factors is given by black and red crossings in the double wiring diagram D.) Show that this double Bruhat cell depends only on the pair of permutations associated with D (and not on a choice of a double wiring diagram). Problem 16. ( Inverse Lindström Lemma ) Show that, for any totally nonnegative m n matrix A (not necessarily square), one can find a planar directed acyclic graph G with positive weights on the edges, that can be drawn on the plane so that all its sources A 1,..., A m are on the left and all its sinks B 1,..., B n are on the right (both sources and sinks are ordered from bottom to top), such that a ij = weight(p ), for any i, j, P :A i B j where the sum is over directed paths P in G from the source A i to the sink B j, and the weight weight(p ) of a path P is the product of weights of all its edges. Problem 17. Prove that a point (p I ) I ( [n] k ) R([n] n represents a point of the positive Grassmannian Gr >0 (k, n) (i.e., the p I are the Pücker coordinates of a point in Gr >0 (k, n)) if and only if the p I satisfy the 3-term Plücker relations. k ) 5

6 Problem 18. Prove that a matroid M is a positroid if and only if any minor of M of rank 2 on 4 elements is a positroid. Problem 19. (a) Calculate the number of d-dimensional cells in the totally nonnegative Grassmannian Gr 0 (2, n). (b) The same question for Gr 0 (3, 6). Problem 20. (Strong Bruhat order) Prove the equivalence of the 3 definitions of the strong Bruhat order on S n : (1) Covering relations: u < w iff w = u (i, j) and l(w) = l(u) + 1. (2) u w if any reduced decomposition of w has a subword which is a reduced decomposition of u. (3) u w if some reduced decomposition of w has a subword which is a reduced decomposition of u. Problem 21. (Stembridge s formula) Assign the weight (j i) to a covering relation w < w (i, j), where i < j, in the strong Bruhat order on S n. The weight of a saturated chain from the minimal element id to the maximal element w 0 is the product of weights of all covering relations in the chain. Prove that the weighted sum over all saturated chains from id to w 0 equals ( n 2)!. Problem 22. (Circular Bruhat order) In class, we defined the circular Bruhat order on decorated permutations. Show that it is a ranked poset with the corank function given by the number of alignments of a decorated permutation. Problem 23. (Skew-symmetrizable matrices) Prove the equivalence of the following 2 definitions: (1) An n n matrix B is skew-symmetrizable if there exists a diagonal matrix D = diag(d 1,..., d n ) with d i > 0 such that DB is skewsymmetric. (2) An n n matrix B is skew-symmetrizable if there exists a diagonal matrix D = diag(d 1,..., d n ) with d i > 0 such that BD is skewsymmetric. Problem 24. (Cluster algebras of rank ( 2) Show ) that a cluster algebra 0 b of rank 2 with exchange matrix B = is of finite type if and c c only if b c 3. Problem 25. The diagram D(B) of an exchange matrix B is the directed graph with edges i j for b ij > 0 weighted by positive integers b ij b ji. Show that

(a) If D(B) is the cyclically oriented n-cycle with weights 1,..., 1, then B mutation equivalent to an exchange matrix whose Cartan companion is the type D n Cartan matrix. (b) If D(B) is the cylically oriented 3-cycle with edge weights 2, 2, 1, then B is mutation equivalent to an exchange matrix whose Cartan companion is the type B 3 Cartan matrix. (b) If D(B) is the cylically oriented 4-cycle with edge weights 2, 1, 2, 1, then B is mutation equivalent to an exchange matrix whose Cartan companion is the type F 4 Cartan matrix. Problem 26. (a) Show that the quiver given by any orientation of the n-cycle, except the 2 cylic orientations, is not 2-finite. Thus it is of infinite type. (b) More generally, if B is any exchange matrix whose diagram is an n-cycle (with some edge orientations and some weights), then B is of infinite type in all cases except the 3 cases from the previous problem. Problem 27. (Associahedron) Let R = {e i e j i, j [n], i j} V = {x 1 + + x n = 0} R n 1 be a type A n 1 root system. Let R 1 = {e i e j i < j or j = i 1} R be almost positive roots. Describe all functions F : {almost positive roots} R such that the polytope P F := {x V (x, α) F (α) for any α R 1 } is combinatorially equivalent to the associahedron (i.e., P F same normal fan as the associahedron). 7 has the Problem 28. ( Generalized generalized associahedra) The same problem for any root system and the Chapoton-Fomin-Zelevinsky s generalized associahedron. Problem 29. (Cyclohedron) Prove the equivalence of the following 3 descriptions of combinatorial structure of the cyclohedron: (1) (symmetric triangulations) The description in terms of centrallysymmetric triangualations of the (2r + 2)-gon (2) (graph-associahedron) The description as the nested set complex N G for the graph G equal to the (r + 1)-cycle. (3) (CFZ-associahedron) The description in terms of pairwise compatible collections of almost positive roots for a type B r root system. Problem 30. (Type C cluster algebras) In class, we mentioned that type B cluster algebra can be constructed by folding from a type A cluster algebra. Do a similar construction for a type C cluster algebra. Problem 31. (G-Catalan numbers) For a graph G, we defined the G-Catalan number as the number of vertices of the corresponding

8 graph-associahedron P G, i.e., the number of maximal nested sets in the nested set complex N G. Calculate the G-Catalan number when G is the Dynkin diagram of type D r. Problem 32. (Haiman s model for Coxeter-Catalan numbers in type A) Let Q = {(a 1,..., a r+1 ) Z r+1 a 1 + + a r+1 = 0} (the root lattice), and h = r + 1 (the Coxeter number). The Weyl group W = S r+1 acts on Q by permutations of the coordinates. Show that the number of W -orbits in Q/(h + 1)Q equals the Catalan number 1 r+2 ( 2r+2 r+1 ). Problem 33. Show that, for type B r, the number of W -orbits in Q/(h + 1)Q equals the central binomial coefficient ( 2r r ). Problem 34. Calculate γ-vectors for CFZ generalized associahedra.