Source author record

Hugh Thomas

Hugh Thomas appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

31works
10topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

31 published item(s)

preprint2025arXiv

Configuration Spaces of Finite Representation Type Algebras

To every finite-dimensional $\mathbb C$-algebra $Λ$ of finite representation type we associate an affine variety. These varieties are a large generalization of the varieties defined by "$u$ variables" satisfying "$u$-equations", first introduced in the context of open string theory and moduli space of ordered points on the real projective line by Koba and Nielsen, rediscovered by Brown as "dihedral co-ordinates", and recently generalized to any finite type hereditary algebras. We show that each such variety is irreducible and admits a rational parametrization. The assignment is functorial: algebra quotients correspond to monomial maps among the varieties. The non-negative real part of each variety has boundary strata that are controlled by Jasso reduction. These non-negative parts naturally define a generalization of open string integrals in physics, exhibiting factorization and splitting properties that do not come from a worldsheet picture. We further establish a family of Rogers dilogarithm identities extending results of Chapoton beyond the Dynkin case.

preprint2022arXiv

Causal Diamonds, Cluster Polytopes and Scattering Amplitudes

The "amplituhedron" for tree-level scattering amplitudes in the bi-adjoint $ϕ^3$ theory is given by the ABHY associahedron in kinematic space, which has been generalized to give a realization for all finite-type cluster algebra polytopes, labelled by Dynkin diagrams. In this letter we identify a simple physical origin for these polytopes, associated with an interesting (1+1)-dimensional causal structure in kinematic space, along with solutions to the wave equation in this kinematic "spacetime" with a natural positivity property. The notion of time evolution in this kinematic spacetime can be abstracted away to a certain "walk", associated with any acyclic quiver, remarkably yielding a finite cluster polytope for the case of Dynkin quivers. The ${\cal A}_{n{-}3},{\cal B}_{n{-}1}/{\cal C}_{n{-}1}$ and ${\cal D}_n$ polytopes are the amplituhedra for $n$-point tree amplitudes, one-loop tadpole diagrams, and full integrand of one-loop amplitudes. We also introduce a polytope $\bar{\cal D}_n$, which chops the ${\cal D}_n$ polytope in half along a symmetry plane, capturing one-loop amplitudes in a more efficient way.

preprint2022arXiv

Charmed roots and the Kroweras complement

Although both noncrossing partitions and nonnesting partitions are uniformly enumerated for Weyl groups, the exact relationship between these two sets of combinatorial objects remains frustratingly mysterious. In this paper, we give a precise combinatorial answer in the case of the symmetric group: for any standard Coxeter element, we construct an equivariant bijection between noncrossing partitions under the Kreweras complement and nonnesting partitions under a Coxeter-theoretically natural cyclic action we call the Kroweras complement. Our equivariant bijection is the unique bijection that is both equivariant and support-preserving, and is built using local rules depending on a new definition of charmed roots. Charmed roots are determined by the choice of Coxeter element -- in the special case of the linear Coxeter element $(1, 2, \dots, n)$, we recover one of the standard bijections between noncrossing and nonnesting partitions.

preprint2020arXiv

Binary Geometries, Generalized Particles and Strings, and Cluster Algebras

We introduce the notion of "binary" positive and complex geometries, giving a completely rigid geometric realization of the combinatorics of generalized associahedra attached to any Dynkin diagram. We also define open and closed "cluster string integrals" associated with these "cluster configuration spaces". The binary geometry of type ${\cal A}$ gives a gauge-invariant description of the usual open and closed string moduli spaces for tree scattering, making no explicit reference to a worldsheet. The binary geometries and cluster string integrals for other Dynkin types provide a generalization of particle and string scattering amplitudes. Both the binary geometries and cluster string integrals enjoy remarkable factorization properties at finite $α'$, obtained simply by removing nodes of the Dynkin diagram. As $α'\to 0$ these cluster string integrals reduce to the canonical forms of the ABHY generalized associahedron polytopes. For classical Dynkin types these are associated with $n$-particle scattering in the bi-adjoint $ϕ^3$ theory through one-loop order.

preprint2020arXiv

Torsion pairs for quivers and the Weyl groups

We give an interpretation of the map $π^c$ defined by Reading, which is a map from the elements of a Coxeter group to the $c$-sortable elements, in terms of the representation theory of preprojective algebras. Moreover, we study a close relationship between $c$-sortable elements and torsion pairs, and give an explicit description of the cofinite torsion classes in the context of the Coxeter group. As a consequence, we give a proof of some conjectures proposed by Oppermann, Reiten, and the second author.

preprint2018arXiv

Splitting loops and necklaces: Variants of the square peg problem

Toeplitz conjectured that any simple planar loop inscribes a square. Here we prove variants of Toeplitz' square peg problem. We prove Hadwiger's 1971 conjecture that any simple loop in $3$-space inscribes a parallelogram. We show that any simple planar loop inscribes sufficiently many rectangles that their vertices are dense in the loop (independently due to Schwartz). If the loop is rectifiable, there is a rectangle that cuts the loop into four pieces that can be rearranged to form two loops of equal length. A rectifiable loop in $d$-space can be cut into $(r-1)(d+1)+1$ pieces that can be rearranged by translations to form $r$ loops of equal length. We relate our results to fair divisions of necklaces in the sense of Alon and to Tverberg-type results. This provides a new approach and a common framework to obtain variants of Toeplitz' square peg problem for the class of all continuous curves.

preprint2016arXiv

Chains in shard lattices and BHZ posets

For every finite Coxeter group W , we prove that the number of chains in the shard intersection lattice introduced by Reading on the one hand and in the BHZ poset introduced by Bergeron, Zabrocki and the third author on the other hand, are the same. We also show that these two partial orders are related by an equality between generating series for their M{ö}bius numbers, and provide a dimension-preserving bijection between the order complex on the BHZ poset and the pulling triangulation of the permutahedron arising from the right weak order, analogous to the bijection defined by Reading between the order complex of the shard poset and the same triangulation of the permutahedron.

preprint2015arXiv

Semi-stable subcategories for Euclidean quivers

In this paper, we study the semi-stable subcategories of the category of representations of a Euclidean quiver, and the possible intersections of these subcategories. Contrary to the Dynkin case, we find out that the intersection of semi-stable subcategories may not be semi-stable. However, only a finite number of exceptions occur, and we give a description of these subcategories. Moreover, one can attach a simplicial fan in $\mathbb{Q}^n$ to any acyclic quiver $Q$, and this simplicial fan allows one to completely determine the canonical presentation of any element in $\mathbb{Z}^n$. This fan has a nice description in the Dynkin and Euclidean cases: it is described using an arrangement of convex codimension-one subsets of $\mathbb{Q}^n$, each such subset being indexed by a real Schur root or a set of quasi-simple objects. This fan also characterizes when two different stability conditions give rise to the same semi-stable subcategory.

preprint2012arXiv

Acyclic cluster algebras revisited

We describe a new way to relate an acyclic, skew-symmetrizable cluster algebra to the representation theory of a finite dimensional hereditary algebra. This approach is designed to explain the c-vectors of the cluster algebra. We obtain a necessary and sufficient combinatorial criterion for a collection of vectors to be the c-vectors of some cluster in the cluster algebra associated to a given skew-symmetrizable matrix. Our approach also yields a simple proof of the known result that the c-vectors of an acyclic cluster algebra are sign-coherent, from which Nakanishi and Zelevinsky have showed that it is possible to deduce in an elementary way several important facts about cluster algebras (specifically: Conjectures 1.1-1.4 of [Derksen-Weyman-Zelevinsky]).

preprint2011arXiv

A uniform bijection between nonnesting and noncrossing partitions

In 2007, D.I. Panyushev defined a remarkable map on the set of nonnesting partitions (antichains in the root poset of a finite Weyl group). In this paper we identify Panyushev's map with the Kreweras complement on the set of noncrossing partitions, and hence construct the first uniform bijection between nonnesting and noncrossing partitions. Unfortunately, the proof that our construction is well-defined is case-by-case, using a computer in the exceptional types. Fortunately, the proof involves new and interesting combinatorics in the classical types. As consequences, we prove several conjectural properties of the Panyushev map, and we prove two cyclic sieving phenomena conjectured by D. Bessis and V. Reiner.

preprint2011arXiv

Embedding a pair of graphs in a surface, and the width of 4-dimensional prismatoids

A prismatoid is a polytope with all its vertices contained in two parallel facets, called its bases. Its width is the number of steps needed to go from one base to the other in the dual graph. The first author recently showed that the existence of counter-examples to the Hirsch conjecture is equivalent to that of $d$-prismatoids of width larger than $d$, and constructed such prismatoids in dimension five. Here we show that the same is impossible in dimension four. This is proved by looking at the pair of graph embeddings on a 2-sphere that arise from the normal fans of the two bases.

preprint2011arXiv

From m-clusters to m-noncrossing partitions via exceptional sequences

Let W be a finite crystallographic reflection group. The generalized Catalan number of W coincides both with the number of clusters in the cluster algebra associated to W, and with the number of noncrossing partitions for W. Natural bijections between these two sets are known. For any positive integer m, both m-clusters and m-noncrossing partitions have been defined, and the cardinality of both these sets is the Fuss-Catalan number. We give a natural bijection between these two sets by first establishing a bijection between two particular sets of exceptional sequences in the bounded derived category for any finite-dimensional hereditary algebra.

preprint2011arXiv

Higher dimensional cluster combinatorics and representation theory

Higher Auslander algebras were introduced by Iyama generalizing classical concepts from representation theory of finite dimensional algebras. Recently these higher analogues of classical representation theory have been increasingly studied. Cyclic polytopes are classical objects of study in convex geometry. In particular, their triangulations have been studied with a view towards generalizing the rich combinatorial structure of triangulations of polygons. In this paper, we demonstrate a connection between these two seemingly unrelated subjects. We study triangulations of even-dimensional cyclic polytopes and tilting modules for higher Auslander algebras of linearly oriented type A which are summands of the cluster tilting module. We show that such tilting modules correspond bijectively to triangulations. Moreover mutations of tilting modules correspond to bistellar flips of triangulations. For any d-representation finite algebra we introduce a certain d-dimensional cluster category and study its cluster tilting objects. For higher Auslander algebras of linearly oriented type A we obtain a similar correspondence between cluster tilting objects and triangulations of a certain cyclic polytope. Finally we study certain functions on generalized laminations in cyclic polytopes, and show that they satisfy analogues of tropical cluster exchange relations. Moreover we observe that the terms of these exchange relations are closely related to the terms occuring in the mutation of cluster tilting objects.

preprint2010arXiv

The direct sum map on Grassmannians and jeu de taquin for increasing tableaux

The direct sum map Gr(a,n) x Gr(b,m) -> Gr(a+b,m+n) on Grassmannians induces a K-theory pullback that defines the splitting coefficients. We geometrically explain an identity from [Buch '02] between the splitting coefficients and the Schubert structure constants for products of Schubert structure sheaves. This is related to the topic of product and splitting coefficients for Schubert boundary ideal sheaves. Our main results extend jeu de taquin for increasing tableaux [Thomas-Yong '09] by proving transparent analogues of [Schützenberger '77]'s fundamental theorems on well-definedness of rectification. We then establish that jeu de taquin gives rules for each of these four kinds of coefficients.

preprint2010arXiv

Three kinds of mutation

For a finite dimensional hereditary algebra, we consider: exceptional sequences in the category of finite dimensional modules, silting objects in the bounded derived category, and m-cluster tilting objects in the m-cluster category. There are mutation operations on both the set of m-cluster tilting objects and the set of exceptional sequences. It is also possible to define a mutation operation for silting objects. We compare these three different notions of mutation.

preprint2008arXiv

Isometry classes of generalized associahedra

Let $(W,S)$ be a finite Coxeter system acting by reflections on an $\mathbb R$-Euclidean space with simple roots $Δ=\{\a_s | s\in S\}$ of the same length and fundamental weights $Δ^*=\{v_s | s\in S\}$. We set $M(e)=\sum_{s\in S}κ_s v_s$, $κ_s>0$, and for $w\in W$ we set $M(w)=w(M(e))$. The permutahedron $Perm(W)$ is the convex hull of the set $\{M(w) | w\in W\}$. Given a Coxeter element $c\in W$, we have defined in a previous work a generalized associahedron $Asso_c(W)$ whose normal fan is the corresponding $c$-Cambrian fan $F_c$ defined by N. Reading. By construction, $Asso_c(W)$ is obtained from $Perm(W)$ by removing some halfspaces according to a rule prescribed by $c$. In this work, we classify the isometry classes of these realizations. More precisely, for $(W,S)$ an irreducible finite Coxeter system and $c,c'$ two Coxeter elements in $W$, we have that $Asso_{c}(W)$ and $Asso_{c'}(W)$ are isometric if and only if $μ(c') = c$ or $μ(c')=w_0c^{-1}w_0$ for $μ$ an automorphism of the Coxeter graph of $W$ such that $κ_s=κ_{μ(s)}$ for all $s\in S$. As a byproduct, we classify the isometric Cambrian fans of $W$.

preprint2008arXiv

Longest increasing subsequences, Plancherel-type measure and the Hecke insertion algorithm

We define and study the Plancherel-Hecke probability measure on Young diagrams; the Hecke algorithm of [Buch-Kresch-Shimozono-Tamvakis-Yong '06] is interpreted as a polynomial-time exact sampling algorithm for this measure. Using the results of [Thomas-Yong '07] on jeu de taquin for increasing tableaux, a symmetry property of the Hecke algorithm is proved, in terms of longest strictly increasing/decreasing subsequences of words. This parallels classical theorems of [Schensted '61] and of [Knuth '70], respectively, on the Schensted and Robinson-Schensted-Knuth algorithms. We investigate, and conjecture about, the limit typical shape of the measure, in analogy with work of [Vershik-Kerov '77], [Logan-Shepp '77] and others on the ``longest increasing subsequence problem'' for permutations. We also include a related extension of [Aldous-Diaconis '99] on patience sorting. Together, these results provide a new rationale for the study of increasing tableau combinatorics, distinct from the original algebraic-geometric ones concerning K-theoretic Schubert calculus.

preprint2008arXiv

Noncrossing partitions and representations of quivers

We situate the noncrossing partitions associated to a finite Coxeter group within the context of the representation theory of quivers. We describe Reading's bijection between noncrossing partitions and clusters in this context, and show that it extends to the extended Dynkin case. Our setup also yields a new proof that the noncrossing partitions associated to a finite Coxeter group form a lattice. We also prove some new results within the theory of quiver representations. We show that the finitely generated, exact abelian, and extension-closed subcategories of the representations of a quiver $Q$ without oriented cycles are in natural bijection with the cluster-tilting objects in the associated cluster category. We also show these subcategories are exactly the finitely generated categories that can be obtained as the semistable objects with respect to some stability condition.

preprint2008arXiv

Permutahedra and generalized associahedra

Given a finite Coxeter system $(W,S)$ and a Coxeter element $c$, we construct a simple polytope whose outer normal fan is N. Reading's Cambrian fan $F_c$, settling a conjecture of Reading that this is possible. We call this polytope the $c$-generalized associahedron. Our approach generalizes Loday's realization of the associahedron (a type $A$ $c$-generalized associahedron whose outer normal fan is not the cluster fan but a coarsening of the Coxeter fan arising from the Tamari lattice) to any finite Coxeter group. A crucial role in the construction is played by the $c$-singleton cones, the cones in the $c$-Cambrian fan which consist of a single maximal cone from the Coxeter fan. Moreover, if $W$ is a Weyl group and the vertices of the permutahedron are chosen in a lattice associated to $W$, then we show that our realizations have integer coordinates in this lattice.

preprint2007arXiv

A jeu de taquin theory for increasing tableaux, with applications to K-theoretic Schubert calculus

We introduce a theory of jeu de taquin for increasing tableaux, extending fundamental work of [Schützenberger '77] for standard Young tableaux. We apply this to give a new combinatorial rule for the K-theory Schubert calculus of Grassmannians via K-theoretic jeu de taquin, providing an alternative to the rules of [Buch '02] and others. This rule naturally generalizes to give a conjectural root-system uniform rule for any minuscule flag variety G/P, extending [Thomas-Yong '06]. We also present analogues of results of Fomin, Haiman, Schensted and Schützenberger.

preprint2006arXiv

A combinatorial rule for (co)minuscule Schubert calculus

We prove a root system uniform, concise combinatorial rule for Schubert calculus of_minuscule_ and_cominuscule_ flag manifolds G/P (the latter are also known as "compact Hermitian symmetric spaces"). We connect this geometry to the poset combinatorics of [Proctor '04], thereby giving a generalization of the [Schützenberger `77]_jeu de taquin_ formulation of the Littlewood-Richardson rule that computes the intersection numbers of Grassmannian Schubert varieties. Our proof introduces_cominuscule recursions_, a general technique to relate the numbers for different Lie types. A discussion about connections of our rule to (geometric) representation theory is also briefly entertained.