arXiv++ Combinatorics

The article is devoted to the representation theory of locally compact infinite-dimensional group $\mathbb{GLB}$ of almost upper-triangular infinite matrices over the finite field with $q$ elements. This group was defined by S.K., A.V., and Andrei Zelevinsky in 1982 as an adequate $n=\infty$ analogue of general linear groups $\mathbb{GL}(n,q)$. It serves as an alternative to $\mathbb{GL}(\infty,q)$, whose representation theory is poor. Our most important results are the description of semi-finite unipotent traces (characters) of the group $\mathbb{ GLB}$ via certain probability measures on the Borel subgroup $\mathbb{B}$ and the construction of the corresponding von Neumann factor representations of type $II_\infty$. As a main tool we use the subalgebra $\mathcal A(\mathbb{ GLB})$ of smooth functions in the group algebra $L_1(\mathbb{GLB})$. This subalgebra is an inductive limit of the finite--dimensional group algebras ${\mathbb C}(\mathbb{GL}(n,q))$ under parabolic embeddings. As in other examples of the asymptotic representation theory we discover remarkable properties of the infinite case which does not take place for finite groups, like multiplicativity of indecomposable characters or connections to probabilistic concepts. The infinite dimensional Iwahori-Hecke algebra $\mathcal H_q(\infty)$ plays a special role in our considerations and allows to understand the deep analogy of the developed theory with the representation theory of infinite symmetric group $S(\infty)$ which had been intensively studied in numerous previous papers.

In the recent paper [arXiv:1109.1412], Borodin and Olshanski have presented a novel proof of the celebrated Edrei-Voiculescu theorem which describes the boundary of the Gelfand-Tsetlin graph as a region in an infinite-dimensional coordinate space. This graph encodes branching of irreducible characters of finite-dimensional unitary groups. Points of the boundary of the Gelfand-Tsetlin graph can be identified with finite indecomposable (= extreme) characters of the infinite-dimensional unitary group. An equivalent description identifies the boundary with the set of doubly infinite totally nonnegative sequences. A principal ingredient of Borodin-Olshanski's proof is a new explicit determinantal formula for the number of semi-standard Young tableaux of a given skew shape (or of Gelfand-Tsetlin schemes of trapezoidal shape). We present a simpler and more direct derivation of that formula using the Cauchy-Binet summation involving the inverse Vandermonde matrix. We also obtain a q-generalization of that formula, namely, a new explicit determinantal formula for arbitrary q-specializations of skew Schur polynomials. Its particular case is related to the q-Gelfand-Tsetlin graph and q-Toeplitz matrices introduced and studied by Gorin [arXiv:1011.1769].

A lot of recent activity in the theory of cluster algebras has been directed towards various constructions of "natural" bases in them. One of the approaches to this problem was developed several years ago by P.Sherman - A.Zelevinsky who have shown that the indecomposable positive elements form an integer basis in any rank 2 cluster algebra of finite or affine type. It is strongly suspected (but not proved) that this property does not extend beyond affine types. Here we go around this difficulty by constructing a new basis in any rank 2 cluster algebra that we call the greedy basis. It consists of a special family of indecomposable positive elements that we call greedy elements. Inspired by a recent work of K.Lee - R.Schiffler and D.Rupel, we give explicit combinatorial expressions for greedy elements using the language of Dyck paths.

Friedland (1981) showed that for a nonnegative square matrix A, the spectral radius r(e^D A) is a log-convex functional over the real diagonal matrices D. He showed that for fully indecomposable A, log r(e^D A) is strictly convex over D_1, D_2 if and only if D_1-D_2 != c I for any c \in R. Here the condition of full indecomposability is shown to be replaceable by the weaker condition that A and A'A be irreducible, which is the sharpest possible replacement condition. Irreducibility of both A and A'A is shown to be equivalent to irreducibility of A^2 and A'A, which is the condition for a number of strict inequalities on the spectral radius found in Cohen, Friedland, Kato, and Kelly (1982). Such `two-fold irreducibility' is equivalent to joint irreducibility of A, A^2, A'A, and AA', or in combinatorial terms, equivalent to the directed graph of A being strongly connected and the simple bipartite graph of A being connected. Additional ancillary results are presented.

We recall a construction of Mackaay, Pan and Tubbenhauer of the algebras $K^ε$ which allow to understand the $sl_3$ homology for links in a local way (i.e. for tangles). Then, by studying the combinatorics of the Kuperberg bracket, we give a large family of non-elliptic webs whose associated projective $K^ε$-modules are indecomposable.

We give an easy diagrammatical description of the parabolic Kazhdan-Lusztig polynomials for the Weyl group $W_n$ of type $D_n$ with parabolic subgroup of type $A_n$ and consequently an explicit counting formula for the dimension of the morphism spaces between indecomposable projective objects in the corresponding category $Ø_0^\p$. As a byproduct we categorify irreducible $W_n$-modules corresponding to pairs of one-line partitions. Finally we indicate the motivation for introducing the combinatorics by connections to Springer theory, the category of perverse sheaves on isotropic Grassmannians and to Brauer algebras which will be treated in \cite{ES}.

Let T = (V,A) be a (finite) tournament and k be a non negative integer. For every subset X of V is associated the subtournament T[X] = (X,A\cap (X \timesX)) of T, induced by X. The dual tournament of T, denoted by T\ast, is the tournament obtained from T by reversing all its arcs. The tournament T is self dual if it is isomorphic to its dual. T is {-k}-self dual if for each set X of k vertices, T[V \ X] is self dual. T is strongly self dual if each of its induced subtournaments is self dual. A subset I of V is an interval of T if for a, b \in I and for x \in V \ I, (a,x) \in A if and only if (b,x) \in A. For instance, \varnothing, V and {x}, where x \in V, are intervals of T called trivial intervals. T is indecomposable if all its intervals are trivial; otherwise, it is decomposable. A tournament T', on the set V, is {-k}-hypomorphic to T if for each set X on k vertices, T[V \ X] and T'[V \ X] are isomorphic. The tournament T is {-k}-reconstructible if each tournament {-k}-hypomorphic to T is isomorphic to it. Suppose that T is decomposable and | V |\geq 9. In this paper, we begin by proving the equivalence between the {-3}-self duality and the strong self duality of T. Then we characterize each tournament {-3}-hypomorphic to T. As a consequence of this characterization, we prove that if there is no interval X of T such that T[X] is indecomposable and | V \ X |\leq 2, then T is {-3}-reconstructible. Finally, we conclude by reducing the {-3}-reconstruction problem to the indecomposable case (between a tournament and its dual). In particular, we find and improve, in a less complicated way, the results of [6] found by Y. Boudabbous and A. Boussairi.

We consider integrable, category O-modules of indecomposable symmetrizable Kac-Moody algebras. We prove that unique factorization of tensor products of irreducible modules holds in this category, upto twisting by one dimensional modules. This generalizes a fundamental theorem of Rajan for finite dimensional simple Lie algebras over C. Our proof is new even for the finite dimensional case, and uses an interplay of representation theory and combinatorics to analyze the Kac-Weyl character formula.

An indecomposable flow $f$ on a signed graph $Σ$ is a nontrivial integral flow that cannot be decomposed into $f=f_1+f_2$, where $f_1,f_2$ are nontrivial integral flows having the same sign (both $\geq 0$ or both $\leq 0$) at each edge of $Σ$. This paper is to classify indecomposable flows into characteristic vectors of circuits and Eulerian cycle-trees --- a class of signed graphs having a kind of tree structure in which all cycles can be viewed as vertices of a tree. Moreover, each indecomposable flow other than circuit characteristic vectors can be further decomposed into a sum of certain half circuit characteristic vectors having the same sign at each edge. The variety of indecomposable flows of signed graphs is much richer than that of ordinary unsigned graphs.

We consider two shellings of the boundary of the hypercube equivalent if one can be transformed into the other by an isometry of the cube. We observe that a class of indecomposable permutations, bijectively equivalent to standard double occurrence words, may be used to encode one representative from each equivalence class of the shellings of the boundary of the hypercube. These permutations thus encode the shelling types of the boundary of the hypercube. We construct an adjacent transposition Gray code for this class of permutations. Our result is a signed variant of King's result showing that there is a transposition Gray code for indecomposable permutations.

We investigate fat Hoffman graphs with smallest eigenvalue at least -3, using their special graphs. We show that the special graph S(H) of an indecomposable fat Hoffman graph H is represented by the standard lattice or an irreducible root lattice. Moreover, we show that if the special graph admits an integral representation, that is, the lattice spanned by it is not an exceptional root lattice, then the special graph S(H) is isomorphic to one of the Dynkin graphs A_n, D_n, or extended Dynkin graphs A_n or D_n.

A matching is indecomposable if it does not contain a nontrivial contiguous segment of vertices whose neighbors are entirely contained in the segment. We prove a Ramsey-like result for indecomposable matchings, showing that every sufficiently long indecomposable matching contains a long indecomposable matching of one of three types: interleavings, broken nestings, and proper pin sequences.

The Gelfand-Tsetlin graph is an infinite graded graph that encodes branching of irreducible characters of the unitary groups. The boundary of the Gelfand-Tsetlin graph has at least three incarnations --- as a discrete potential theory boundary, as the set of finite indecomposable characters of the infinite-dimensional unitary group, and as the set of doubly infinite totally positive sequences. An old deep result due to Albert Edrei and Dan Voiculescu provides an explicit description of the boundary; it can be realized as a region in an infinite-dimensional coordinate space. The paper contains a novel approach to the Edrei-Voiculescu theorem. It is based on a new explicit formula for the number of semi-standard Young tableaux of a given skew shape (or of Gelfand-Tsetlin schemes of trapezoidal shape). The formula is obtained via the theory of symmetric functions, and new Schur-like symmetric functions play a key role in the derivation.

In this paper we classify the the epimorphisms of irreducible spherical Moufang buildings (of rank at least 2) defined over a field. As an application we characterize indecomposable epimorphisms of these buildings as those epimorphisms arising from R-buildings.

We introduce an associative algebra $\M_k(x)$ whose dimension is the $2k$-th Motzkin number. The algebra $\M_k(x)$ has a basis of "Motzkin diagrams," which are analogous to Brauer and Temperley-Lieb diagrams, and it contains the Temperley-Lieb algebra $\TL_k(x)$ as a subalgebra. We prove that for a particular value of $x$, the algebra $\M_k(x)$ is the centralizer algebra of $\uqsl$ acting on the $k$-fold tensor power of the sum of the 1-dimensional and 2-dimensional irreducible $\uqsl$-modules. We show that $\M_k(x)$ is generated by special diagrams $\ell_i, t_i, r_i \ (1 \le i < k)$ and $p_j \ (1 \le j \le k)$, and that it has a factorization into three subalgebras $\M_k(x) = \RP_k \TL_k(x)\, \LP_k$, all of which have dimensions given by Catalan numbers. We define an action of $\M_k(x)$ on Motzkin paths of rank $r$, and in this way, construct a set of indecomposable modules $\C_k^{(r)}$, $0 \le r \le k$. We prove that $\M_k(x)$ is cellular in the sense of Graham and Lehrer and that the $\C_k^{(r)}$ are the left cell representations. We compute the determinant of the Gram matrix of a bilinear form on $\C_k^{(r)}$ for each $r$ and use these determinants to show that $\M_k(x)$ is semisimple exactly when $x$ is not the root of certain Chebyshev polynomials.

Rauzy classes define a partition of the set of irreducible (or indecomposable) permutations. They were defined by G. Rauzy as part of an induction algorithm for interval exchange transformations. In this article we prove an explicit formula for the cardinality of all Rauzy classes.

We provide exact and asymptotic formulae for the number of unrestricted, respectively indecomposable, $d$-dimensional matrices where the sum of all matrix entries with one coordinate fixed equals 2.

We give a complete list of indecomposable characters of the infinite symmetric semigroup. In comparison with the analogous list for the infinite symmetric group, one should introduce only one new parameter, which has a clear combinatorial meaning. The paper relies on the representation theory of the finite symmetric semigroups and the representation theory of the infinite symmetric group.

We prove that octants are cover-decomposable, i.e., any 12-fold covering of any subset of the space with a finite number of translates of a given octant can be decomposed into two coverings. As a corollary, we obtain that any 12-fold covering of any subset of the plane with a finite number of homothetic copies of a given triangle can be decomposed into two coverings. We also show that any 12-fold covering of the whole plane with open triangles can be decomposed into two coverings. However, we exhibit an indecomposable 3-fold covering.

The Hopf algebra of word-quasi-symmetric functions ($\WQSym$), a noncommutative generalization of the Hopf algebra of quasi-symmetric functions, can be endowed with an internal product that has several compatibility properties with the other operations on $\WQSym$. This extends constructions familiar and central in the theory of free Lie algebras, noncommutative symmetric functions and their various applications fields, and allows to interpret $\WQSym$ as a convolution algebra of linear endomorphisms of quasi-shuffle algebras. We then use this interpretation to study the fine structure of quasi-shuffle algebras (MZVs, free Rota-Baxter algebras...). In particular, we compute their Adams operations and prove the existence of generalized Eulerian idempotents, that is, of a canonical left-inverse to the natural surjection map to their indecomposables, allowing for the combinatorial construction of free polynomial generators for these algebras.