polynomial
11538 papers tagged with this keyword
The number of ramified coverings of the sphere by the torus and surfaces of higher genera
Published
• View Publication
• BIB
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.
Symmetric Polynomials and $U_q(\hat{sl}_2)$
Published in Represent. Theory 4 (2000), 46-63.
• View Publication
• BIB
We study the explicit formula of Lusztig's integral forms of the level one quantum affine algebra $U_q(\hat{sl}_2)$ in the endomorphism ring of symmetric functions in infinitely many variables tensored with the group algebra of $\mathbb Z$. Schur functions are realized as certain orthonormal basis vectors in the vertex representation associated to the standard Heisenberg algebra. In this picture the Littlewood-Richardson rule is expressed by integral formulas, and is used to define the action of Lusztig's $\mathbb Z[q, q]$-form of $U_q(\hat{sl}_2)$ on Schur polynomials.
A Generalization of Polya's Enumeration Theorem or the Secret Life of Certain Index Sets
Polya's fundamental enumeration theorem is generalized in terms of Schur-Macdonald's theory (S-MT) of invariant matrices. Given a permutation group $W\leq S_d$ and a one-dimensional character $χ$ of $W$, the polynomial functor $F_χ$ corresponding via S-MT to the induced monomial representation $U_χ= ind_W^{S_d}(χ)$ of $S_d$, is studied. It turns out that the characteristic $ch(F_χ)$ is the weighted inventory of some set $J(χ)$ of $W$-orbits in the integer-valued hypercube $[0,\infty)^d$. The elements of $J(χ) can be distinguished among all $W$-orbits by a maximum property. The identity $ch(F_χ) = ch(U_χ)$ of both characteristics is a consequence of S-MT. Polya's theorem can be obtained from the above identity by specialization $χ=1_W$, where $1_W$ is the unit character of $W$.
A geometric parametrization for the virtual Euler characteristic for the moduli spaces of real and complex algebriac curves
Published
• View Publication
• BIB
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.
Schur Q-functions and degeneracy locus formulas for morphisms with symmetries
Published
• View Publication
• BIB
We give closed-form formulas for the fundamental classes of degeneracy loci associated with vector bundle maps given locally by (not necessary square) matrices which are symmetric (resp. skew-symmetric) w.r.t. the main diagonal. Our description uses essentially Schur Q-polynomials of a bundle, and is based on a certain push-forward formula for these polynomials in a Grassmann bundle.
Rewriting as a Special Case of Noncommutative Groebner Basis Theory
Published
• View Publication
• BIB
Rewriting for semigroups is a special case of Groebner basis theory for noncommutative polynomial algebras. The fact is a kind of folklore but is not fully recognised. The aim of this paper is to elucidate this relationship, showing that the noncommutative Buchberger algorithm corresponds step-by-step to the Knuth-Bendix completion procedure.
A bijection between Littlewood-Richardson tableaux and rigged configurations
Published in Selecta Mathematica, N.S., 8 (2002) 67-135
• View Publication
• BIB
A bijection is defined from Littlewood-Richardson tableaux to rigged configurations. It is shown that this map preserves the appropriate statistics, thereby proving a quasi-particle expression for the generalized Kostka polynomials, which are q-analogues of multiplicities in tensor products of irreducible general linear group modules indexed by rectangular partitions.
Positivity for special cases of $(q,t)$-Kostka coefficients and standard tableaux statistics
Published in Electron. J. Combinat. 6, R41 (1999), 36pp.
• View Publication
• BIB
We present two symmetric function operators $H_3^{qt}$ and $H_4^{qt}$ that have the property $H_{3}^{qt} H_{(2^a1^b)}[X;q,t] = H_{(32^a1^b)}[X;q,t]$ and $H_4^{qt} H_{(2^a1^b)}[X;q,t] = H_{(42^a1^b)}[X;q,t]$. These operators are generalizations of the analogous operator $H_2^{qt}$ and also have expressions in terms of Hall-Littlewood vertex operators. We also discuss statistics, $a_μ(T)$ and $b_μ(T)$, on standard tableaux such that the $q,t$ Kostka polynomials are given by the sum over standard tableaux of shape $\la$, $K_{\laμ}(q,t) = \sum_T t^{a_μ(T)} q^{b_μ(T)}$ for the case when when $μ$ is two columns or of the form $(32^a1^b)$ or $(42^a1^b)$. This provides proof of the positivity of the $(q,t)$-Kostka coefficients in the previously unknown cases of $K_{\la (32^a1^b)}(q,t)$ and $K_{\la (42^a1^b)}(q,t)$. The vertex operator formulas are used to give formulas for generating functions for classes of standard tableaux that generalize the case when $μ$ is two columns.
Why the characteristic polynomial factors
Published in Bull. Amer. Math. Soc. 36 (1999), 113-134
• View Publication
• BIB
We survey three methods for proving that the characteristic polynomial of a finite lattice factors over the nonnegative integers and indicate how they have evolved recently. The first technique uses geometric ideas and is based on Zaslavsky's theory of signed graphs. The second approach is algebraic and employs results of Saito and Terao about free hyperplane arrangements. Finally, we consider a purely combinatorial theorem of Stanley about semimodular supersolvable lattices and its generalizations.
Bosonic formula for level-restricted paths
Published in Advanced Studies in Pure Mathematics 28 (2000) 305-325
• View Publication
• BIB
We prove a bosonic formula for the generating function of level-restricted paths for the infinite families of affine Kac-Moody algebras. In affine type A this yields an expression for the level-restricted generalized Kostka polynomials.
Tableaux statistics for two part Macdonald polynomials
Published
• View Publication
• BIB
The Macdonald polynomials expanded in terms of a modified Schur function basis have coefficients called the $q,t$-Kostka polynomials. We define operators to build standard tableaux and show that they are equivalent to creation operators that recursively build the Macdonald polynomials indexed by two part partitions. We uncover a new basis for these particular Macdonald polynomials and in doing so are able to give an explicit description of their associated $q,t$-Kostka coefficients by assigning a statistic in $q$ and $t$ to each standard tableau.
Melzer's identities revisited
Published in Recent developments in quantum affine algebras and related topics (Raleigh, NC, 1998), 207--234, Contemp. Math., 248, Amer. Math. Soc., Providence, RI, 1999.
• View Publication
• BIB
We further develop the finite length path generating transforms introduced previously, and use them to obtain constant sign polynomial expressions that reduce, in the limit of infinite path lengths, to parafermion and ABF Virasoro characters. This provides us, in the ABF case, with combinatorial proofs of Melzer's boson-fermion polynomial identities.
Graphical Enumeration: A Species-Theoretic Approach
An operation on species corresponding to the inner plethysm of their associated cycle index series is constructed. This operation, the inner plethysm of species, is generalized to n-sorted species. Polynomial maps on species are studied and used to extend inner plethysm and other operations to virtual species. Finally, inner plethysm and other operations on species are applied to various problems in graph theory.
In particular, regular graphs, and digraphs in which every vertex has outdegree k, are enumerated.
n-Schur Functions and Determinants on an Infinite Grassmannian
A set of functions is defined which is indexed by a positive integer $n$ and partitions of integers. The case $n=1$ reproduces the standard Schur polynomials. These functions are seen to arise naturally as a determinant of an action on the frame bundle of an infinite grassmannian. This fact is well known in the case of the Schur polynomials ($n=1$) and has been used to decompose the $τ$-functions of the KP hierarchy as a sum. In the same way, the new functions introduced here ($n>1$) are used to expand quotients of $τ$-functions as a sum with Plucker coordinates as coefficients.
Semiinvariants of Finite Reflection Groups
Published in J. Algebra 220, 314-326 (1999).
• View Publication
• BIB
Let G be a finite group of complex n by n unitary matrices generated by reflections acting on C^n. Let R be the ring of invariant polynomials, and χbe a multiplicative character of G. Let Ω^χbe the R-module of χ-invariant differential forms. We define a multiplication in Ω^χand show that under this multiplication Ω^χhas an exterior algebra structure. We also show how to extend the results to vector fields, and exhibit a relationship between χ-invariant forms and logarithmic forms.
Combinatorial Identities Related to Representations of $U_q(\tilde{gl_2})$
Recently N.Jing discovered a certain combinatorial identity from validity of the Serre relations in some vertex representations of quantum Kac-Moody algebras.
We generalize this identity, in particular, extending it from polynomials to elliptic functions, and interprete the obtained identities in terms of tensor products of evaluation representations of the quantum loop algebra $U_q(\tilde{gl_2})$ or the elliptic quantum group $E_{ρ,γ}(sl_2)$.
Composition sums related to the hypergeometric function
The present note considers a certain family of sums indexed by the set of fixed length compositions of a given number. The sums in question cannot be realized as weighted compositions. However they can be be related to the hypergeometric function, thereby allowing one to factorize the corresponding generating polynomials. This factorization leads to some interesting identities.
On the volume of a certain polytope
Published
• View Publication
• BIB
Let n >= 2 be an integer and consider the set T_n of n by n permutation matrices pi for which pi_{ij}=0 for j>=i+2. In this paper we study the convex hull of T_n, which we denote by P_n. P_n is a polytope of dimension binom{n}{2}. Our main purpose is to provide evidence for the following conjecture concerning its volume. Let v_n denote the minimum volume of a simplex with vertices in the affine lattice spanned by T_n. Then the volume of P_n is v_n times the product for i varying from 0 to n-2 of frac{1}{i+1} binom{2i}{i}. That is, P_n is the product of v_n and the first n-1 Catalan numbers.
We also give a related result on the Ehrhart polynomial of P_n.
A Pieri-type formula for isotropic flag manifolds
Published in Trans. Amer. Math. Soc., 354 No. 7, (2002), 2659-2705
• View Publication
• BIB
We give the formula for multiplying a Schubert class on an odd orthogonal or symplectic flag manifold by a special Schubert class pulled back from a Grassmannian of maximal isotropic subspaces. This is also the formula for multiplying a type $B$ (respectively, type $C$) Schubert polynomial by the Schur $P$-polynomial $p_m$ (respectively, the Schur $Q$-polynomial $q_m$). Geometric constructions and intermediate results allow us to ultimately deduce this from formulas for the classical flag manifold. These intermediate results are concerned with the Bruhat order of the Coxeter group ${\mathcal B}_\infty$, identities of the structure constants for the Schubert basis of cohomology, and intersections of Schubert varieties. We show these identities follow from the Pieri-type formula, except some `hidden symmetries' of the structure constants. Our analysis leads to a new partial order on the Coxeter group ${\mathcal B}_\infty$ and formulas for many of these structure constants.
Algebras related to matroids represented in characteristic zero
Published
• View Publication
• BIB
Let k be a field of characteristic zero. We consider graded subalgebras A of k[x_1,...,x_m]/(x_1^2,...,x_m^2) generated by d linearly independant linear forms. Representations of matroids over k provide a natural description of the structure of these algebras. In return, the numerical properties of the Hilbert function of A yield some information about the Tutte polynomial of the corresponding matroid. Isomorphism classes of these algebras correspond to equivalence classes of hyperplane arrangements under the action of the general linear group.