arXiv++ Combinatorics

Let $W$ be a Coxeter group and let $Φ^+$ be its positive roots. A subset $B$ of $Φ^+$ is called biclosed if, whenever we have roots $α$, $β$ and $γ$ with $γ\in \mathbb{R}_{>0} α+ \mathbb{R}_{>0} β$, if $α$ and $β\in B$ then $γ\in B$ and, if $α$ and $β\not\in B$, then $γ\not\in B$. The finite biclosed sets are the inversion sets of the elements of $W$, and the containment between finite inversion sets is the weak order on $W$. Matthew Dyer suggested studying the poset of all biclosed subsets of $Φ^+$, ordered by containment, and conjectured that it is a complete lattice. As progress towards Dyer's conjecture, we classify all biclosed sets in the affine root systems. We provide both a type uniform description, and concrete models in the classical types $\widetilde{A}$, $\widetilde{B}$, $\widetilde{C}$, $\widetilde{D}$. We use our models to prove that biclosed sets form a complete lattice in types $\widetilde{A}$ and $\widetilde{C}$.

We introduce a class of graphs with coloured edges to encode subsystems of the classical root systems, which in particular classify them up to equivalence. We further use the graphs to describe root-kernel intersections, as well as restrictions of root (sub)systems on such intersections, generalising the regular part of a Cartan subalgebra. We also consider a slight variation to encode the hyperplane arrangements only, showing there is a unique noncrystallographic arrangement that arises. Finally, a variation of the main definition leads to elementary classifications of closed and Levi root subsystems.

In this paper we find monomial bases for the integer cohomology rings of compact wonderful models of toric arrangements. In the description of the monomials various combinatorial objects come into play: building sets, nested sets, and the fan of a suitable toric variety. We provide some examples computed via a SageMath program and then we focus on the case of the toric arrangements associated with root systems of type A. Here the combinatorial description of our basis offers a geometrical point of view on the relation between some Eulerian statistics on the symmetric group.

We introduce balanced shifted tableaux, as an analogue of balanced tableaux of Edelman and Greene, from the perspective of root systems of type B and C. We show that they are equinumerous to standard Young tableaux of the corresponding shifted shape by presenting an explicit bijection.

We consider generalized inversions and descents in finite Weyl groups. We establish Coxeter-theoretic properties of indicator random variables of positive roots such as the covariance of two such indicator random variables. We then compute the variances of generalized inversions and descents in classical types. We finally use the dependency graph method to prove central limit theorems for general antichains in root posets and in particular for generalized descents, and then for generalized inversions.

In this paper, we establish a one-to-one correspondence between the set of biclosed sets in an irreducible root system of type $A_n$ and the set of quasitrivial semigroup structures on a set with $n+1$ elements. Building on this correspondence, we first generalize this bijection to provide a semigroup structural characterization of the biclosed sets in a standard parabolic subset. In particular, this allows us to derive an enumeration result for the elements in a parabolic weak order of type $A$. Secondly, we define an index for an arbitrary subset of the root system of type $A_n$, which quantifies their deviation from from being biclosed, and prove that such an index coincides with the associativity index of the associated quasitrivial magma. Thirdly, we define type $B_n$ quasitrivial semigroups, and prove that they are in bijective with biclosed sets in a type $B_n$ root system. Finally, by identifying certain biclosed sets with total preorders, we present a purely combinatorial proof that a root system of type $A$ possesses an oriented matroid structure.

For the calculation of Springer numbers (of root systems) of type $B_n$ and $D_n$, Arnold introduced a signed analogue of alternating permutations, called $β_n$-snakes, and derived recurrence relations for enumerating the $β_n$-snakes starting with $k$. The results are presented in the form of double triangular arrays ($v_{n,k}$) of integers, $1\le |k|\le n$. An Arnold family is a sequence of sets of such objects as $β_n$-snakes that are counted by $(v_{n,k})$. As a refinement of Arnold's result, we give analogous arrays of polynomials, defined by recurrence, for the calculation of the polynomials associated with successive derivatives of $\tan x$ and $\sec x$, established by Hoffman. Moreover, we provide some new Arnold families of combinatorial objects that realize the polynomial arrays, which are signed variants of André permutations and Simsun permutations.

Let $G$ and $\tilde G$ be connected complex reductive Lie groups, $G$ semisimple. Let $Λ^+$ be the monoid of dominant weights for a positive root system $Δ^+$, and let $l(w)$ be the length of a Weyl group element $w$. Let $V_λ$ denote an irreducible $G$-module of highest weight $λ\inΛ^+$. For any closed embedding $ι:\tilde G\subset G$, we consider Property (A): $\quad\forallλ\inΛ^+,\exists q\in\mathbb{N}$ such that $V_{qλ}^{\tilde G}\ne0$. A necessary condition for (A) is for $G$ to have no simple factors to which $G$ projects surjectively. We show that this condition is sufficient if $\tilde G$ is of type ${\bf A}_1$ or ${\bf E}_8$. We define and study an integral invariant of a root system, $\ell_G=\min\{\ell^λ:λ\inΛ^+\setminus\{0\}\}$, where $\ell^λ=\min\{l(w):wλ\notin{\rm Cone}(Δ^+)\}$. We derive the following sufficient condition for (A), independent of $ι$: $$ \ell_G - \#\tildeΔ^+ > 0 \;\Longrightarrow\; (A). $$ We compute $\ell_G$ and related data for all simple $G$, except ${\bf E}_8$, where we obtain lower and upper bounds. We consider a stronger property (A-$k$) defined in terms of Geometric Invariant Theory, related to extreme values of codimensions of unstable loci, and derive a sufficient condition in the form $\ell_G - \#\tildeΔ^+ > k$. The invariant $\ell_G$ proves too week to handle $G=SL_n$ and we employ a companion $\ell_G^{\rm sd}$ to infer (A-$k$) for a larger class of subgroups. We derive corollaries on Mori-theoretic properties of GIT-quotients.

Polyhedral circle packings are generalizations of the Apollonian packing. We develop the theory of the Apollonian group, Descartes quadratic form, and related objects for all polyhedral packings. We use these tools to determine the domain of absolute convergence of a generating function that can be associated to any polyhedral packing. This domain of convergence is the Tits cone for an infinite root system.

We tackle several problems related to a finite irreducible crystallographic root system $Φ$ in the real vector space $\mathbb E$. In particular, we study the combinatorial structure of the subsets of $Φ$ cut by affine subspaces of $\mathbb E$ and their projections. As byproducts, we obtain easy algebraic combinatorial proofs of refinements of Oshima's Lemma and of a result by Kostant, a partial result towards the resolution of a problem by Hopkins and Postnikov, and new enumerative results on root systems.

Chari and Greenstein [Adv. Math. 2009] introduced combinatorial subsets of the roots of a finite-dimensional simple Lie algebra $\mathfrak{g}$ which were important in studying Kirillov-Reshetikhin modules over $U_q(\widehat{\mathfrak{g}})$ and their specializations. Later, Khare [J. Algebra. 2016] studied these subsets for many highest weight $\mathfrak{g}$-modules (in finite type), under the name of weak-$\mathbb{A}$-faces (for a subgroup $\mathbb{A}$ of $(\mathbb{R},+)$), and more generally, $(\{2\};\{1,2\})$-closed subsets. These notions extend and unify the faces of Weyl polytopes as well as the above combinatorial subsets. In this paper, we consider these 'discrete' notions for all Kac-Moody algebras $\mathfrak{g}$, in four distinguished settings: (a) the weights of an arbitrary highest weight $\mathfrak{g}$-module $V$; (b) the convex hull of the weights of $V$; (c) the weights of the adjoint representation; (d) the roots of $\mathfrak{g}$. For (a) (resp., (b)) for all highest weight $\mathfrak{g}$-modules $V$, we show that the weak-$\mathbb{A}$-faces and $(\{2\};\{1,2\})$-closed subsets agree, and equal the sets of weights on exposed faces (resp., equal the exposed faces) of the convex hull of weights conv$_{\mathbb{R}}$ wt $V$. This completes the partial progress of Khare in finite type, and is novel in infinite type. Our proofs are type-free and self-contained. For (c), (d) involving the root system, we similarly achieve complete classifications. For all Kac-Moody $\mathfrak{g}$ - interestingly, other than $\mathfrak{sl}_3, \widehat{\mathfrak{sl}_3}$ - we show the weak-$\mathbb{A}$-faces and $(\{2\};\{1,2\})$-closed subsets agree, and equal Weyl group translates of the sets of weights in certain 'standard faces' (which also holds for highest weight modules). This was proved by Chari and her coauthors for root systems in finite type, but is novel for other types.

In this paper we study the role of planarity in generalized scattering amplitudes, through several closely interacting structures in combinatorics, algebraic and tropical geometry. The generalized biadjoint scalar amplitude, introduced recently by Cachazo-Early-Guevara-Mizera (CEGM), is a rational function of homogeneous degree $-(k-1)(n-k-1)$ in $\binom{n}{k}-n$ independent variables; its poles can be constructed directly from the rays of the positive tropical Grassmannian. We introduce for each pair of integers $(k,n)$ with $2\le k\le n-2$ a system of generalized positive roots which arises as a specialization of the planar basis of kinematic invariants. We prove that the higher root polytope $\mathcal{R}^{(k)}_{n-k}$ has volume the k-dimensional Catalan number $C^{(k)}_{n-k}$, via a flag unimodular triangulation into simplices, in bijection with noncrossing collections of $k$-element subsets. We also give a bijection between certain positroidal subdivisions, called tripods, of the hypersimplex $Δ_{3,n}$ and noncrossing pairs of 3-element subsets that are not weakly separated. We show that the facets of the Planar Kinematics (PK) polytope, introduced recently by Cachazo and the author, are exactly the $\binom{n}{k}-n$ generalized positive roots. We show that the PK specialization of the generalized biadjoint amplitude evaluates to $C^{(k)}_{n-k}$. Looking forward, we give defining equations and conjecture explicit solutions using $(\mathbb{CP}^{n-k-1})^{\times (k-1)}$ via a notion of compatibility degree for noncrossing collections, for a two parameter family of generalized worldsheet associahedra $\mathcal{W}^+_{k,n}$. These specialize when $k=2$ to a certain dihedrally invariant partial compactification of the configuration space $M_{0,n}$ of $n$ distinct points in $\mathbb{CP}^{1}$. Many detailed examples are given throughout to motivate future work.

Given a root system $Φ$ of type $A_n$, $B_n$, $C_n$, or $D_n$ in Euclidean space $E$, let $W$ be the associated Weyl group. For a point $p \in E$ not orthogonal to any of the roots in $Φ$, we consider the $W$-permutohedron $P_W$, which is the convex hull of the $W$-orbit of $p$. The representation of $W$ on the rational cohomology ring $H^\ast(X_Φ)$ of the toric variety $X_Φ$ associated to (the normal fan to) $P_W$ has been studied by various authors. Let $\{s_1,\ldots,s_n\}$ be a complete set of simple reflections in $W$. For $K \subseteq [n]$, let $W_K$ be the standard parabolic subgroup of $W$ generated by $\{s_k:k \in K\}$. We show that the fixed subring $H^\ast(X_Φ)^{W_K}$ is isomorphic to the cohomology ring of the toric variety $X_Φ(K)$ associated to a polytope obtained by intersecting $P_W$ with half-spaces bounded by reflecting hyperplanes for the given generators of $W_K$. By a result of Balibanu--Crooks, the cohomology rings $H^\ast(X_Φ(K))$ are isomorphic with cohomology rings of certain regular Hessenberg varieties.

The quantum alcove model associated to a dominant weight plays an important role in many branches of mathematics, such as combinatorial representation theory, the theory of Macdonald polynomials, and Schubert calculus. For a dominant weight, it is proved by Lenart-Lubovsky that the quantum alcove model does not depend on the choice of a reduced alcove path, which is a shortest path of alcoves from the fundamental one to its translation by the given dominant weight. This is established through quantum Yang-Baxter moves, which biject the objects of the model associated with two such alcove paths, and can be viewed as a generalization of jeu de taquin slides to arbitrary root systems. The purpose of this paper is to give a generalization of quantum Yang-Baxter moves to the quantum alcove model corresponding to an arbitrary weight, which was used to express a general Chevalley formula in the equivariant $K$-group of semi-infinite flag manifolds. The generalized quantum Yang-Baxter moves give rise to a "sijection" (bijection between signed sets), and are shown to preserve certain important statistics, including weights and heights. As an application, we prove that the generating function of these statistics does not depend on the choice of a reduced alcove path. Also, we obtain an identity for the graded characters of Demazure submodules of level-zero extremal weight modules over a quantum affine algebra, which can be thought of as a representation-theoretic analogue of the mentioned Chevalley formula. Other applications and some open problems involving "signed crystals" are discussed.

Let $Φ$ be a root system. Postnikov introduced and studied the mixed $Φ$-Eulerian numbers. These numbers indicate the mixed volumes of $Φ$-hypersimplices. As specializations of these numbers, one can obtain the usual Eulerian numbers, the Catalan numbers, and the binomial coefficients. Recent work of Berget-Spink-Tseng gave a simple computation for the mixed $Φ$-Eulerian numbers when $Φ$ is of type $A$. In this paper we connect a relation between mixed $Φ$-Eulerian numbers and Peterson Schubert calculus. By using the connection, we provide a combinatorial model for the computation of Berget-Spink-Tseng in terms of left-right diagrams which were introduced by Abe-Horiguchi-Kuwata-Zeng for the purpose of Peterson Schubert calculus. We also derive a simple computation for the mixed $Φ$-Eulerian numbers in arbitrary Lie types from Peterson Schubert calculus.

Let $G$ be a reductive linear algebraic group over an algebraically closed field $\mathbb{K}$ of characteristic $2$. Fix a parabolic subgroup $P$ such that the corresponding parabolic subgroup over $\mathbb{C}$ has abelian unipotent radical and fix a Levi subgroup $L\subseteq P$. We parametrize the orbits of a Borel $B\subseteq P$ over the Hermitian symmetric variety $G/L$ supposing the root system $Φ$ is irreducible. For $Φ$ simply laced we prove a combinatorial characterization of the Bruhat order over these orbits. We also prove a formula to compute the dimension of the orbits from combinatorial characteristics of their representatives.

A directed edge polytope $\mathcal{A}_G$ is a lattice polytope arising from root system $A_n$ and a finite directed graph $G$. If every directed edge of $G$ belongs to a directed cycle in $G$, then $\mathcal{A}_G$ is terminal and reflexive, that is, one can associate this polytope to a Gorenstein toric Fano variety $X_G$ with terminal singularities. It is shown by Totaro that a toric Fano variety which is smooth in codimension $2$ and $\mathbb{Q}$-factorial in codimension $3$ is rigid. In the present paper, we classify all directed graphs $G$ such that $X_G$ is a toric Fano variety which is smooth in codimension $2$ and $\mathbb{Q}$-factorial in codimension $3$.

In this paper, we discuss maximality of Seidel matrices with a fixed largest eigenvalue. We present a classification of maximal Seidel matrices of largest eigenvalue $3$, which gives a classification of maximal equiangular lines in a Euclidean space with angle $\arccos1/3$. Motivated by the maximality of the exceptional root system $E_8$, we define strong maximality of a Seidel matrix, and show that every Seidel matrix achieving the absolute bound is strongly maximal.

Motivated by the recent advances in the categorification of the cluster structure on the coordinate rings of Grassmannians of $k$-subspaces in $n$-space, we investigate a particular construction of root systems of type $\mathsf{T}_{2,p,q}$, including the type $\mathsf{E}_n$. This construction generalizes Manin's ``hyperbolic construction'' of $\mathsf{E}_8$ and reveals a lot of otherwise hidden regularities in this family of root systems.

In Lie theory the partial sum property (PSP) says that for a root system in any Kac-Moody algebra, every positive root is an ordered sum of simple roots whose partial sums are all roots. In this paper, we present two generalizations: 1) "Parabolic generalization": if $I$ is a subset of simple roots, every root with positive $I$-height is an ordered sum of roots of $I$-height 1, whose partial sums are all roots. In fact we show this on the Lie algebra level, by showing that every root space is spanned by the Lie words formed from root vectors of $I$-height 1. As an application, we provide a "minimal" description for the set of weights of every (non-integrable) simple highest weight module over any Kac-Moody algebra. This seems to be novel even in finite type. 2) Generalization to weights of weight modules: the PSP gives a chain of roots between 0 (fixed) and any positive root. We generalize this to the weights of weight modules to get a chain of weights between any two comparable weights. This was shown by S. Kumar for any finite-dimensional simple module over a semisimple Lie algebra. In this paper, we extend this result to (i) a large class of highest weight modules over any Kac-Moody algebra $\mathfrak{g}$, which includes all simple highest weight modules over $\mathfrak{g}$; (ii) more generally, for non-highest weight modules such as $\mathfrak{g}$ itself (adjoint representation) and arbitrary submodules of parabolic Verma modules over $\mathfrak{g}$; (iii) arbitrary integrable modules over semisimple $\mathfrak{g}$. Additionally, we also prove the "parabolic" generalizations of this second generalization to the best possible extent. We also find all the highest weight modules which have their sets of weights same as those of parabolic Verma modules and provide a Minkowski difference formula for weights of arbitrary highest weight modules over Kac-Moody $\mathfrak{g}$.