arXiv++ Combinatorics

This is a concise introduction to Fomin-Zelevinsky's cluster algebras and their links with the representation theory of quivers in the acyclic case. We review the definition of cluster algebras (geometric, without coefficients), construct the cluster category and present the bijection between cluster variables and rigid indecomposable objects of the cluster category.

Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation, combinatorial construction of simple and indecomposable projective modules, Cartan map) and give several alternative equivalent definitions (as symmetry preserving operator algebra, as poset algebra, as commutant algebra, ...). In type A, the Hecke-group algebra can be described as the algebra generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. It turns out to be closely related to the monoid algebras of respectively nondecreasing functions and nondecreasing parking functions, the representation theory of which we describe as well. This defines three towers of algebras, and we give explicitly the Grothendieck algebras and coalgebras given respectively by their induction products and their restriction coproducts. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.

An upper bound on degrees of elements of a minimal generating system for invariants of quivers of dimension (2,...,2) is established over a field of arbitrary characteristic and its precision is estimated. The proof is based on the reduction to the problem of description of maximal paths satisfying certain condition.

Let ${\mathcal A}$ be a nonempty real central arrangement of hyperplanes and ${\rm \bf Ch}$ be the set of chambers of ${\mathcal A}$. Each hyperplane $H$ defines a half-space $H^{+} $ and the other half-space $H^{-}$. Let $B = \{+, -\}$. For $H\in {\mathcal A}$, define a map $ε_{H}^{+} : {\rm \bf Ch} \to B$ by $ε_{H}^{+} (C)=+ \text{(if} C\subseteq H^{+}) \text{and} ε_{H}^{+} (C)= - \text{(if} C\subseteq H^{-}).$ Define $ε_{H}^{-}=-ε_{H}^{+}.$ Let ${\rm \bf Ch}^{m} = {\rm \bf Ch}\times{\rm \bf Ch}\times...\times{\rm \bf Ch} (m\text{times}).$ Then the maps $ε_{H}^{\pm}$ induce the maps $ε_{H}^{\pm} : {\rm \bf Ch}^{m} \to B^{m} $. We will study the admissible maps $Φ: {\rm \bf Ch}^{m} \to {\rm \bf Ch}$ which are compatible with every $ε_{H}^{\pm}$. Suppose $|{\mathcal A}|\geq 3$ and $m\geq 2$. Then we will show that ${\mathcal A}$ is indecomposable if and only if every admissible map is a projection to a omponent. When ${\mathcal A}$ is a braid arrangement, which is indecomposable, this result is equivalent to Arrow's impossibility theorem in economics. We also determine the set of admissible maps explicitly for every nonempty real central arrangement.

We study the representation theory of three towers of algebras which are related to the symmetric groups and their Hecke algebras. The first one is constructed as the algebras generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. The two others are the monoid algebras of nondecreasing functions and nondecreasing parking functions. For these three towers, we describe the structure of simple and indecomposable projective modules, together with the Cartan map. The Grothendieck algebras and coalgebras given respectively by the induction product and the restriction coproduct are also given explicitly. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.

Given an abelian length category A, the Gabriel-Roiter measure with respect to a length function l is characterized as a universal morphism ind(A)-->P of partially ordered sets. The map is defined on the isomorphism classes of indecomposable objects of A and is a suitable refinement of the length function l.

We present an alternative construction of Soergel's category of bimodules associated to a reflection faithful representation of a Coxeter system. We show that its objects can be viewed as sheaves on the associated moment graph. We introduce an exact structure and show that Soergel's "special" bimodules are the projective objects. Then we construct the indecomposable projectives by both a global and a local method, discuss a version of the Kazhdan-Lusztig conjecture and prove it for universal Coxeter systems.

This article presents a study of an algebra spanned by the faces of a hyperplane arrangement. The quiver with relations of the algebra is computed and the algebra is shown to be a Koszul algebra. It is shown that the algebra depends only on the intersection lattice of the hyperplane arrangement. A complete system of primitive orthogonal idempotents for the algebra is constructed and other algebraic structure is determined including: a description of the projective indecomposable modules; the Cartan invariants; projective resolutions of the simple modules; the Hochschild homology and cohomology; and the Koszul dual algebra. A new cohomology construction on posets is introduced and it is shown that the face semigroup algebra is isomorphic to the cohomology algebra when this construction is applied to the intersection lattice of the hyperplane arrangement.

A Fourier transform technique is introduced for counting the number of solutions of holomorphic moment map equations over a finite field. This in turn gives information on Betti numbers of holomorphic symplectic quotients. As a consequence simple unified proofs are obtained for formulas of Poincare polynomials of toric hyperkahler varieties, Poincare polynomials of Hilbert schemes of points and twisted ADHM spaces of instantons on C^2 and Poincare polynomials of all Nakajima quiver varieties. As an application, a proof of a conjecture of Kac on the number of absolutely indecomposable representations of a quiver is announced.

Each group G of nxn permutation matrices has a corresponding permutation polytope, P(G):=conv(G) in R^{nxn}. We relate the structure of P(G) to the transitivity of G. In particular, we show that if G has t nontrivial orbits, then min{2t,floor(n/2)} is a sharp upper bound on the diameter of the graph of P(G); so if G is transitive, the diameter is at most 2. We also show that P(G) achieves its maximal dimension of (n-1)^2 precisely when G is 2-transitive. We then extend results of I. Pak on mixing times for a random walk on P(G). Our work depends on a new result for permutation groups involving writing permutations as products of indecomposable permutations.

We give a new existence proof for the rank 2^d even lattices usually called the Barnes-Wall lattices, and establish new results on uniqueness, structure and transitivity of the automorphism group on certain kinds of sublattices. Our proofs are relatively free of calculations, matrix work and counting, due to the uniqueness viewpoint. We deduce the labeling of coordinates on which earlier constructions depend. Extending these ideas, we construct in dimensions 2^d, for d>>0, the Ypsilanti lattices, which are families of indecomposable even unimodular lattices which resemble the Barnes-Wall lattices. The number Upsilon (2^d) of isometry types here is large: log_2 (Upsilon (2^d)) has dominant term at least (r/4) d 2^{2d}, for any r in [0, 1/2). The Ypsilanti lattices may be the first explicitly given families whose sizes are asymptotically comparable to the Siegel mass formula estimate (log_2(mass(n)) has dominant term (1/4) log_2(n) n^2). This work continues our general uniqueness program for lattices, begun in Pieces of Eight. See also our new uniquness proof for the E_8-lattice.

The elements of a finite partial order $P$ can be identified with the maximal indecomposable two-sided ideals of its incidence algebra $\A$, and then for two such ideals, $I\prec J \iff IJ \not=0$. This offers one way to recover a poset from its incidence algebra. In the course of proving the above, we classify all of the two-sided ideals of $\A$.

The linear span P_n of the sums of all permutations in the symmetric group S_n with a given set of peaks is a sub-algebra of the symmetric group algebra, due to Nyman. This peak algebra is a left ideal of the descent algebra D_n; and the direct sum P of all P_n is a Hopf sub-algebra of the direct sum D of all D_n, dual to the Stembridge algebra of peak functions. In our self-contained approach, peak counterparts of several results on the descent algebra are established, including a simple combinatorial characterization of the algebra P_n; an algebraic characterization of P_n based on the action on the Poincar'e-Birkhoff-Witt basis of the free associative algebra; the display of peak variants of the classical Lie idempotents; an Eulerian-type sub-algebra of P_n; a description of the Jacobson radical of P_n and its nil-potency index, of the principal indecomposable and irreducible P_n-modules, and of the Cartan matrix of P_n. Furthermore, it is shown that the primitive Lie algebra of P is free, and that P is its enveloping algebra.

The goal of harmonic analysis on a (noncommutative) group is to decompose the most `natural' unitary representations of this group (like the regular representation) on irreducible ones. The infinite-dimensional unitary group U(infinity) is one of the basic examples of `big' groups whose irreducible representations depend on infinitely many parameters. Our aim is to explain what the harmonic analysis on U(infinity) consists of. We deal with unitary representations of a reasonable class, which are in 1-1 correspondence with characters (central, positive definite, normalized functions on U(infinity)). The decomposition of any representation of this class is described by a probability measure (called spectral measure) on the space of indecomposable characters. The indecomposable characters were found by Dan Voiculescu in 1976. The main result of the present paper consists in explicitly constructing a 4-parameter family of `natural' representations and computing their characters. We view these representations as a substitute of the nonexisting regular representation of U(infinity). We state the problem of harmonic analysis on U(infinity) as the problem of computing the spectral measures for these `natural' representations. A solution to this problem is given in the next paper math/0109194, joint with Alexei Borodin. We also prove a few auxiliary general results. In particular, it is proved that the spectral measure of any character of U(infinity) can be approximated by a sequence of (discrete) spectral measures for the restrictions of the character to the compact unitary groups U(N). This fact is a starting point for computing spectral measures.

The infinite-dimensional unitary group U(infinity) is the inductive limit of growing compact unitary groups U(N). In this paper we solve a problem of harmonic analysis on U(infinity) stated in the previous paper math/0109193. The problem consists in computing spectral decomposition for a remarkable 4-parameter family of characters of U(infinity). These characters generate representations which should be viewed as analogs of nonexisting regular representation of U(infinity). The spectral decomposition of a character of U(infinity) is described by the spectral measure which lives on an infinite-dimensional space Omega of indecomposable characters. The key idea which allows us to solve the problem is to embed Omega into the space of point configurations on the real line without 2 points. This turns the spectral measure into a stochastic point process on the real line. The main result of the paper is a complete description of the processes corresponding to our concrete family of characters. We prove that each of the processes is a determinantal point process. That is, its correlation functions have determinantal form with a certain kernel. Our kernels have a special `integrable' form and are expressed through the Gauss hypergeometric function. In simpler situations of harmonic analysis on infinite symmetric group and harmonic analysis of unitarily invariant measures on infinite hermitian matrices similar results were obtained in our papers math/9810015, math/9904010, math-ph/0010015.

A conjecture of Kac states that the polynomial counting the number of absolutely indecomposable representations of a quiver over a finite field with given dimension vector has positive coefficients and furthermore that its constant term is equal to the multiplicity of the corresponding root in the associated Kac-Moody Lie algebra. In this paper we prove these conjectures for indivisible dimension vectors.

This article is devoted to the study of several algebras which are related to symmetric functions, and which admit linear bases labelled by various combinatorial objects: permutations (free quasi-symmetric functions), standard Young tableaux (free symmetric functions) and packed integer matrices (matrix quasi-symmetric functions). Free quasi-symmetric functions provide a kind of noncommutative Frobenius characteristic for a certain category of modules over the 0-Hecke algebras. New examples of indecomposable $H_n(0)$-modules are discussed, and the homological properties of $H_n(0)$ are computed for small $n$. Finally, the algebra of matrix quasi-symmetric functions is interpreted as a convolution algebra.

A square (0,1)-matrix X of order n > 0 is called fully indecomposable if there exists no integer k with 0 < k < n, such that X has a k by n-k zero submatrix. A stable set of a graph G is a subset of pairwise nonadjacent vertices. The stability number of G, denoted by $α(G)$, is the cardinality of a maximum stable set in G. A graph is called $α$-stable if its stability number remains the same upon both the deletion and the addition of any edge. We show that a connected bipartite graph has exactly two maximum stable sets that partition its vertex set if and only if its reduced adjacency matrix is fully indecomposable. We also describe a decomposition structure of $α$-stable bipartite graphs in terms of their reduced adjacency matrices. On the base of these findings we obtain both new proofs for a number of well-known theorems on the structure of matrices due to Brualdi, Marcus and Minc, Dulmage and Mendelsohn, and some generalizations of these statements. Several new results on $α$-stable bipartite graphs and their corresponding reduced adjacency matrices are presented, as well. Two kinds of matrix product are also considered (namely, Boolean product and Kronecker product), and their corresponding graph operations. As a consequence, we obtain a strengthening of one Lewin's theorem claiming that the product of two fully indecomposable matrices is a fully indecomposable matrix.

The fixed point property for finite posets of width 3 and 4 is studied in terms of forbidden retracts. The ranked forbidden retracts for width 3 and 4 are determined explicitly. The ranked forbidden retracts for the width 3 case that are linearly indecomposable are examined to see which are minimal automorphic. Part of a problem of Niederle from 1989 is thus solved.

We find the Martin boundary for the Young-Fibonacci lattice YF. Along with the lattice of Young diagrams, this is the most interesting example of a differential poset. The Martin boundary construction provides an explicit Poisson-type integral representation of non-negative harmonic functions on YF. The latter are in a canonical correspondence with a set of traces on Okada locally semisimple algebra. The set is known to contain all the indecomposable traces. Presumably, all of the traces in the set are indecomposable, though we have no proof of this conjecture. Using a new explicit product formula for Okada characters, we derive precise regularity conditions under which a sequence of characters of finite-dimensional Okada algebras converges to a character of the infinite-dimensional one.