Thomas McConville

Lattice Properties of Oriented Exchange Graphs and Torsion Classes

The exchange graph of a 2-acyclic quiver is the graph of mutation-equivalent quivers whose edges correspond to mutations. When the quiver admits a nondegenerate Jacobi-finite potential, the exchange graph admits a natural acyclic orientation called the oriented exchange graph, as shown by Brüstle and Yang. The oriented exchange graph is isomorphic to the Hasse diagram of the poset of functorially finite torsion classes of a certain finite dimensional algebra. We prove that lattices of torsion classes are semidistributive lattices, and we use this result to conclude that oriented exchange graphs with finitely many elements are semidistributive lattices. Furthermore, if the quiver is mutation-equivalent to a type A Dynkin quiver or is an oriented cycle, then the oriented exchange graph is a lattice quotient of a lattice of biclosed subcategories of modules over the cluster-tilted algebra, generalizing Reading’s Cambrian lattices in type A. We also apply our results to address a conjecture of Brüstle, Dupont, and Pérotin on the lengths of maximal green sequences.

Crosscut-Simplicial Lattices

We call a finite lattice crosscut-simplicial if the crosscut complex of every nuclear interval is equal to the boundary of a simplex. Every interval of such a lattice is either contractible or homotopy equivalent to a sphere. Recently, Hersh and Mészáros introduced SB-labelings and proved that if a lattice has an SB-labeling then it is crosscut-simplicial. Some known examples of lattices with a natural SB-labeling include the join-distributive lattices, the weak order of a Coxeter group, and the Tamari lattice. Generalizing these three examples, we prove that every meet-semidistributive lattice is crosscut-simplicial, though we do not know whether all such lattices admit an SB-labeling. While not every crosscut-simplicial lattice is meet-semidistributive, we prove that these properties are equivalent for chamber posets of real hyperplane arrangements.

Homotopy Type of Intervals of the Second Higher Bruhat Orders

The higher Bruhat order is a poset generalizing the weak order on permutations. Another special case of this poset is an ordering on simple wiring diagrams. For this case, we prove that every interval is either contractible or homotopy equivalent to a sphere. This partially proves a conjecture due to Reiner. Our proof uses some tools developed by Felsner and Weil to study wiring diagrams.

Oriented flip graphs of polygonal subdivisions and noncrossing tree partitions

Abstract Given a tree embedded in a disk, we introduce a simplicial complex of noncrossing geodesics supported by the tree, which we call the noncrossing complex. The facets of the noncrossing complex have the structure of an oriented flip graph. Special cases of these oriented flip graphs include the Tamari lattice, type A Cambrian lattices, Stokes posets of quadrangulations, and oriented exchange graphs of quivers mutation-equivalent to a type A Dynkin quiver. We prove that the oriented flip graph is a polygonal, congruence-uniform lattice. To do so, we express the oriented flip graph as a lattice quotient of a lattice of biclosed sets. The facets of the noncrossing complex have an alternate ordering known as the shard intersection order. We prove that this shard intersection order is isomorphic to a lattice of noncrossing tree partitions, which generalizes the classical lattice of noncrossing set partitions. The oriented flip graph inherits a cyclic action from its congruence-uniform lattice structure. On noncrossing tree partitions, this cyclic action generalizes the classical Kreweras complementation on noncrossing set partitions.

Minimal length maximal green sequences

Maximal green sequences are important objects in representation theory, cluster algebras, and string theory. It is an open problem to determine what lengths are achieved by the maximal green sequences of a quiver. We combine the combinatorics of surface triangulations and the basics of scattering diagrams to address this problem. Our main result is a formula for the length of minimal length maximal green sequences of quivers defined by triangulations of an annulus or a punctured disk.