arXiv++ Combinatorics

The approach is through a singularity analysis of generating functions for 3- and 4-connected triangulations, asymptotic analysis, properties of the ${{}_3F_2}$ hypergeometric series, and Tutte's enumerative work on planar maps and chromatic polynomials.

We give an account of our work on transitive factorizations of permutations. The work has had impact upon other areas of mathematics such as the enumeration of graph embeddings, random matrices, branched covers, and the moduli spaces of curves. Aspects of these seemingly unrelated areas are seen to be related in a unifying view from the perspective of algebraic combinatorics. At several points this work has intertwined with Richard Stanley's in significant ways.

There is an emerging class of permutation factorization questions that cannot be expressed wholly in terms of the centre of the group algebra of the symmetric group. We shall term these non-central. A notable instance appears in recent work of Constable et al. [1] in perturbative Yang-Mills theory on the determination of a 2-point correlation function of the Berenstein-Maldacena-Nastase operators by means of Feynman diagrams. In combinatorial terms, this question relates to (p, q, n)-dipoles: loopless maps with exactly two vertices and n edges, with two distinguished edges, separated by p edges at one vertex and q edges at the other. By the introduction of join and cut operators, we construct a formal partial differential equation which uniquely determines a generating series from which the (p,q,n)-dipole series may be obtained. Moreover, we exhibit a set of functions with the property that the genus g solution to this equation may be obtained recursively as an explicit finite linear combination of these. These functions have explicit expressions as sums indexed by elementary combinatorial objects, and we demonstrate how the recursion can be used to give series solutions for surfaces of low genera.

The KP hierarchy is a completely integrable system of quadratic, partial differential equations that generalizes the KdV hierarchy. A linear combination of Schur functions is a solution to the KP hierarchy if and only if its coefficients satisfy the Plucker relations from geometry. We give a solution to the Plucker relations involving products of variables marking contents for a partition, and thus give a new proof of a content product solution to the KP hierarchy, previously given by Orlov and Shcherbin. In our main result, we specialize this content product solution to prove that the generating series for a general class of transitive ordered factorizations in the symmetric group satisfies the KP hierarchy. These factorizations appear in geometry as encodings of branched covers, and thus by specializing our transitive factorization result, we are able to prove that the generating series for two classes of branched covers satisfies the KP hierarchy. For the first of these, the double Hurwitz series, this result has been previously given by Okounkov. The second of these, that we call the m-hypermap series, contains the double Hurwitz series polynomially, as the leading coefficient in m. The m-hypermap series also specializes further, first to the series for hypermaps and then to the series for maps, both in an orientable surface. For the latter series, we apply one of the KP equations to obtain a new and remarkably simple recurrence for triangulations in a surface of given genus, with a given number of faces. This recurrence leads to explicit asymptotics for the number of triangulations with given genus and number of faces, in recent work by Bender, Gao and Richmond.

Although powers of the Young-Jucys-Murphya elements X_i = (1 i) + ... +(i-1 i), i = 1, ..., n, in the symmetric group S_n acting on {1, ...,n} do not lie in the centre of the group algebra of S_n, we show that transitive powers, namely the sum of the contributions from elements that act transitively on {1, >...,n}, are central. We determine the coefficients, which we call star factorization numbers, that occur in the resolution of transitive powers with respect to the class basis of the centre of S_n, and show that they have a polynomiality property. These centrality and polynomiality properties have seemingly unrelated consequences. First, they answer a question raised by Pak about reduced decompositions; second, they explain and extend the beautiful symmetry result discovered by Irving and Rattan; and thirdly, we relate the polynomiality to an existing polynomiality result for a class of double Hurwitz numbers associated with branched covers of the sphere, which therefore suggests that there may be an ELSV-type formula associated with the star factorization numbers.

We consider the determination of the number $c_k(α)$ of ordered factorisations of an arbitrary permutation on n symbols, with cycle distribution $α$, into k-cycles such that the factorisations have minimal length and such that the group generated by the factors acts transitively on the n symbols. The case k=2 corresponds to the celebrated result of Hurwitz on the number of topologically distinct holomorphic functions on the 2-sphere that preserve a given number of elementary branch point singularities. In this case the monodromy group is the alternating group, and this is another case that, in principle, is of considerable interest. We conjecture an explicit form, for arbitrary k, for the generating series for $c_k(α)$, and prove that it holds for factorisations of permutations with one, two and three cycles ($α$ is a partition with at most three parts). The generating series is naturally expressed in terms of the symmetric functions dual to those introduced by Macdonald for the ``top'' connection coefficients in the class algebra of the symmetric group. Our approach is to determine a differential equation for the generating series from a combinatorial analysis of the creation and annihilation of cycles in products under the minimality condition.

We obtain an explicit expression for the number of ramified coverings of the sphere by the torus with given ramification type for a small number of ramification points, and conjecture this to be true for an arbitrary number of ramification points. In addition, the conjecture is proved for simple coverings of the sphere by the torus. We obtain corresponding expressions for surfaces of higher genera for a small number of ramification points, and conjecture the general form for this number in terms of a symmetric polynomial that appears to be new. The approach involves the analysis of the action of a transposition to derive a system of linear partial differential equations that give the generating series for the desired numbers.

We show that the virtual Euler characteristics of the moduli spaces of $s$-pointed algebraic curves of genus $g$ can be determined from a polynomial in $1/γ$ where $γ$ permits specialization, through $γ=1,$ to the complex case treated by Harer and Zagier and, through $γ=1/2$, to the real case. This polynomial appears to have geometric significance, and may be the virtual Euler characteristic of some moduli space, as yet unidentified. This is related to a conjecture that the indeterminate $b=γ^1-1$ is associated with a combinatorial invariant of cell-decompositions through matrix models and the Jack symmetric functions. The development uses Strebel differentials to triangulate the moduli spaces, and the identification of $γ$ both as a parameter in a Jack symmetric function and as a parameter in a matrix model through generalized Selberg integrals.

An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the torus, with elementary branch points and prescribed ramification type over infinity. This proves a conjecture of Goulden, Jackson and Vainshtein for the explicit number of such coverings.

An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the double torus, with elementary branch points and prescribed ramification type over infinity. Thus we are able to prove a conjecture of Graber and Pandharipande, giving a linear recurrence equation for the number of these coverings with no ramification over infinity. The general form of the series is conjectured for the number of these coverings by a surface of arbitrary genus that is at least two.