arXiv++ Combinatorics

Given a generic map between flagged vector bundles on a Cohen-Macaulay variety, we construct maximal Cohen-Macaulay modules with linear resolutions supported on the Schubert-type degeneracy loci. The linear resolution is provided by the Schubert complex, which is the main tool introduced and studied in this paper. These complexes extend the Schubert functors of Kraśkiewicz and Pragacz, and were motivated by the fact that Schur complexes resolve maximal Cohen-Macaulay modules supported on determinantal varieties. The resulting formula in K-theory provides a "linear approximation" of the structure sheaf of the degeneracy locus, which can be used to recover a formula due to Fulton.

We make a systematic study of a new combinatorial construction called a dual equivalence graph. We axiomatize these graphs and prove that their generating functions are symmetric and Schur positive. By constructing a graph on ribbon tableaux which we transform into a dual equivalence graph, we give a combinatorial proof of the symmetry and Schur positivity of the ribbon tableaux generating functions introduced by Lascoux, Leclerc and Thibon. Using Haglund's formula for the transformed Macdonald polynomials, this also gives a combinatorial formula for the Schur expansion of Macdonald polynomials.

We prove the Murgnaghan--Nakayama rule for $k$-Schur functions of Lapointe and Morse, that is, we give an explicit formula for the expansion of the product of a power sum symmetric function and a $k$-Schur function in terms of $k$-Schur functions. This is proved using the noncommutative $k$-Schur functions in terms of the nilCoxeter algebra introduced by Lam and the affine analogue of noncommutative symmetric functions of Fomin and Greene.

The paper studies the modular representation theory of the cyclotomic Hecke algebras of type $G(r,p,n)$ with $(\eps,q)$-separated parameters. We show that the decomposition numbers of these algebras are completely determined by the decomposition matrices of related cyclotomic Hecke algebras of type $G(s,1,m)$, where $1\le s\le r$ and $1\le m\le n$. Furthermore, the proof gives an explicit algorithm for computing these decomposition numbers. Consequently, in principle, the decomposition matrices of these algebras are now known in characteristic zero. In proving these results, we develop a Specht module theory for these algebras, explicitly construct their simple modules and introduce and study analogues of the cyclotomic Schur algebras of type $G(r,p,n)$ when the parameters are $(\eps,q)$-separated. The main results of the paper rest upon two Morita equivalences: the first reduces the calculation of all decomposition numbers to the case of the \textit{$l$-splittable decomposition numbers} and the second Morita equivalence allows us to compute these decomposition numbers using an analogue of the cyclotomic Schur algebras for the Hecke algebras of type $G(r,p,n)$.

We present two constructions in this paper: (a) A 10-vertex triangulation $\CC P^{2}_{10}$ of the complex projective plane $\CC P^{2}$ as a subcomplex of the join of the standard sphere ($S^{2}_4$) and the standard real projective plane ($\RR P^{2}_{6}$, the decahedron), its automorphism group is $A_4$; (b) a 12-vertex triangulation $(S^{2} \times S^{2})_{12}$ of $S^{2} \times S^{2}$ with automorphism group $2S_5$, the Schur double cover of the symmetric group $S_5$. It is obtained by generalized bistellar moves from a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$. Both constructions have surprising and intimate relationships with the icosahedron. It is well known that $\CC P^{2}$ has $S^{2} \times S^{2}$ as a two-fold branched cover; we construct the triangulation $\CC P^{2}_{10}$ of $\CC P^{2}$ by presenting a simplicial realization of this covering map $S^{2} \times S^{2} \to \CC P^{2}$. The domain of this simplicial map is a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$, different from the triangulation alluded to in (b). This gives a new proof that Kuehnel's $\CC P^{2}_{9}$ triangulates $\CC P^{2}$. It is also shown that $\CC P^{2}_{10}$ and $(S^{2} \times S^{2})_{12}$ induce the standard piecewise linear structure on $\CC P^{2}$ and $S^{2} \times S^{2}$ respectively.

One of the earliest examples of analytic representations for $π$ is given by an infinite product provided by Wallis in 1655. The modern literature often presents this evaluation based on the integral formula $$ \frac{2}π \int_0^\infty \frac{dx}{(x^2+1)^{n+1}} = \frac{1}{2^{2n}} \binom{2n}{n}. $$ In trying to understand the behavior of this integral when the integrand is replaced by the inverse of a product of distinct quadratic factors, the authors encounter relations to some formulas of Ramanujan, expressions involving Schur functions, and Matsubara sums that have appeared in the context of Feynman diagrams.

We define a fat staircase to be a Ferrers diagram corresponding to a partition of the form $(n^{α_n}, {n-1}^{α_{n-1}},..., 1^{α_1})$, where $α= (α_1,...,α_n)$ is a composition, or the $180^\circ$ rotation of such a diagram. We look at collections of skew diagrams consisting of a fixed fat staircase augmented with all hooks of a given size. Among these diagrams we determine precisely which pairs give a Schur-positive difference. We extend this classification to collections of fat staircases augmented with hook-complements.

We give an explicit subtraction-free formula for the energy function in tensor products of Kirillov-Reshetikhin crystals for symmetric powers of the standard representation of U_q'(\hat sl_n). The energy function is shown to be the tropicalization of a stretched staircase shape loop Schur function. The latter were introduced by the authors in the study of total positivity in loop groups.

Consider the set of vectors over a field having non-zero coefficients only in a fixed sparse set and multiplication defined by convolution, or the set of integers having non-zero digits (in some base $b$) in a fixed sparse set. We show the existence of an optimal (resp. almost-optimal in the latter case) `magic' multiplier constant that provides a perfect hash function which transfers the information from the given sparse coefficients into consecutive digits. Studying the convolution case we also obtain a result of non-degeneracy for Schur functions as polynomials in the elementary symmetric functions in positive characteristic.

We consider the skew diagram $Δ_n$, which is the $180^\circ$ rotation of the staircase diagram $δ_n = (n,n-1,n-2,...,2,1)$. We create a staircase with bad foundation by augmenting $Δ_n$ with another skew diagram, which we call the \textit{foundation}. We consider pairs of staircases with bad foundation whose foundations are transposes of one another. Among these pairs, we show that the difference of the corresponding skew Schur functions is Schur-positive in the case when one of the foundations consists of either a one or two row diagram, or a hook diagram.

We define a fat staircase to be a Ferrers diagram corresponding to a partition of the form $(n^{α_n}, {n-1}^{α_{n-1}},..., 1^{α_1})$, where $α= (α_1,...,α_n)$ is a composition, or the $180^\circ$ rotation of such a diagram. If a diagram's skew Schur function is a linear combination of Schur functions of fat staircases, we call the diagram a sum of fat staircases. We prove a Schur-positivity result that is obtained each time we augment a sum of fat staircases with a skew diagram. We also determine conditions on which diagrams can be sums of fat staircases, including necessary and sufficient conditions in the special case when the diagram is a fat staircase skew a single row or column.

We use the rational tableaux introduced by Stembridge to give a bideterminant basis for a normal reductive monoid and for its variety of noninvertible elements. We also obtain a bideterminant basis for the full coordinate ring of the general linear group and for all its truncations with respect to saturated sets. Finally, we deduce an alternative proof of the double centraliser theorem for the rational Schur algebra and the walled Brauer algebra over an arbitrary infinite base field which was first obtained by Dipper, Doty and Stoll.

We formulate a theory of invariants for the spin symmetric group in some suitable modules which involve the polynomial and exterior algebras. We solve the corresponding graded multiplicity problem in terms of specializations of the Schur Q-functions and a shifted q-hook formula. In addition, we provide a bijective proof for a formula of the principal specialization of the Schur Q-functions.

We construct discrete time Markov chains that preserve the class of Schur processes on partitions and signatures. One application is a simple exact sampling algorithm for q^{volume}-distributed skew plane partitions with an arbitrary back wall. Another application is a construction of Markov chains on infinite Gelfand-Tsetlin schemes that represent deterministic flows on the space of extreme characters of the infinite-dimensional unitary group.

Random skew plane partitions of large size distributed according to an appropriately scaled Schur process develop limit shapes. In the present work we consider the limit of large random skew plane partitions where the inner boundary approaches a piecewise linear curve with non-lattice slopes, describing the limit shape and the local fluctuations in various regions. This analysis is fairly similar to that in [OR2], but we do find some new behavior. For instance, the boundary of the limit shape is now a single smooth (not algebraic) curve, whereas the boundary in [OR2] is singular. We also observe the bead process introduced in [B] appearing in the asymptotics at the top of the limit shape.

The recently developed theory of Schur rings over a finite cyclic group is generalized to Schur rings over a ring R being a product of Galois rings of coprime characteristics. It is proved that if the characteristic of R is odd, then as in the cyclic group case any pure Schur ring over R is the tensor product of a pure cyclotomic ring and Schur rings of rank 2 over non-fields. Moreover, it is shown that in contrast to the cyclic group case there are non-pure Schur rings over R that are not generalized wreath products.

The XXZ Heisenberg chain is considered for two specific limits of the anisotropy parameter: $\Dl\to 0$ and $\Dl\to -\infty$. The corresponding wave functions are expressed by means of the symmetric Schur functions. Certain expectation values and thermal correlation functions of the ferromagnetic string operators are calculated over the base of N-particle Bethe states. The thermal correlator of the ferromagnetic string is expressed through the generating function of the lattice paths of random walks of vicious walkers. A relationship between the expectation values obtained and the generating functions of strict plane partitions in a box is discussed. Asymptotic estimate of the thermal correlator of the ferromagnetic string is obtained in the limit of zero temperature. It is shown that its amplitude is related to the number of plane partitions.

We show that within the six-vertex model there is a parametrized Yang-Baxter equation with nonabelian parameter group GL(2)xGL(1) at the center of the disordered regime. As an application we rederive deformations of the Weyl character formule of Tokuyama and of Hamel and King.

For a particular set of Boltzmann weights and a particular boundary condition for the six vertex model in statistical mechanics, we compute explicitly the partition function and show it to be equal to a factorial Schur function, giving a new proof of a theorem of Lascoux.

We prove that the dimension of the Specht module of a forest $G$ is the same as the normalized volume of the matching polytope of $G$. We also associate to $G$ a symmetric function $s_G$ (analogous to the Schur symmetric function $s_λ$ for a partition $λ$) and investigate its combinatorial and representation-theoretic properties in relation to the Specht module and Schur module of $G$. We then use this to define notions of standard and semistandard tableaux for forests.