group
10224 papers tagged with this keyword
Factorization of Kazhdan-Lusztig elements for Grassmanians
Published
• View Publication
• BIB
We show that the Kazhdan-Lusztig basis elements $C_w$ of the Hecke algebra of the symmetric group, when $w \in S_n$ corresponds to a Schubert subvariety of a Grassmann variety, can be written as a product of factors of the form $T_i+f_j(v)$, where $f_j$ are rational functions.
Enumeration of Symmetry Classes of Parallelogram Polyominoes
Published in Annales des Sciences mathematiques du Quebec, 25 (2001), 71-90
• Search Publication
Parallelogram polyominoes are a subclass of convex polyominoes in the square lattice that has been studied extensively in the literature. Recently congruence classes of convex polyominoes with respect to rotations and reflections have been enumerated by counting orbits under the action of the dihedral group D4, of symmetries of the square, on (translation-type) convex polyominoes. Asymmetric convex polyominoes were also enumerated using Moebius inversion in the lattice of subgroups of D4. Here we extend these results to the subclass of parallelogram polyominos using a subgroup D2 of D4 which acts of this class.
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.
Regular nilpotent elements and quantum groups
Published
• View Publication
• BIB
We suggest new realizations of quantum groups corresponding to complex simple Lie algebras, and of affine quantum groups. These new realizations are labeled by Coxeter elements of the corresponding Weyl group and have the following key feature: The natural counterparts of the subalgebras U(n), where n is a maximal nilpotent subalgebra in g, possess non--singular characters.
A classification of centrally-symmetric and cyclic 12-vertex triangulations of $S^2 \times S^2$
Published
• View Publication
• BIB
In this paper our main result states that there exist exactly three combinatorially distinct centrally-symmetric 12-vertex-triangulations of the product of two 2-spheres with a cyclic symmetry. We also compute the automorphism groups of the triangulations. These instances suggest that there is a triangulation of $S^2 \times S^2$ with 11 vertices -- the minimum number of vertices required.
Random Unitary Matrices, Permutations and Painleve
Published in Commun. Math. Phys. 207 (1999), 665-685
• View Publication
• BIB
This paper is concerned with certain connections between the ensemble of n x n unitary matrices -- specifically the characteristic function of the random variable tr(U) -- and combinatorics -- specifically Ulam's problem concerning the distribution of the length of the longest increasing subsequence in permutation groups -- and the appearance of Painleve functions in the answers to apparently unrelated questions. Among the results is a representation in terms of a Painleve V function for the characteristic function of tr(U) and (using recent results of Baik, Deift and Johansson) an expression in terms of a Painleve II function for the limiting distribution of the length of the longest increasing subsequence in the hyperoctahedral group.
Capelli elements in the classical universal enveloping algebras
Published in Adv. Studies Pure Math. 28 (2000), 261-285
• View Publication
• BIB
For any complex classical group $G=O_N,Sp_N$ consider the ring $Z(g)$ of $G$-invariants in the corresponding enveloping algebra $U(g)$. Let $u$ be a complex parameter. For each $n=0,1,2,...$ and every partition $ν$ of $n$ into at most $N$ parts we define a certain rational function $Z_ν(u)$ which takes values in $Z(g)$. Our definition is motivated by the works of Cherednik and Sklyanin on the reflection equation, and also by the classical Capelli identity. The degrees in $U(g)$ of the values of $Z_ν(u)$ do not exceed $n$. We describe the images of these values in the $n$-th symmetric power of $g$. Our description involves the plethysm coefficients as studied by Littlewood, see Theorem 3.4 and Corollary 3.6.
Totally nonnegative and oscillatory elements in semisimple groups
Published
• View Publication
• BIB
We generalize the well known characterizations of totally nonnegative and oscillatory matrices, due to F.R.Gantmacher, M.G.Krein, A.Whitney, C.Loewner, M.Gasca, and J.M.Pena to the case of an arbitrary complex semisimple Lie group.
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)$.
Renormalization automated by Hopf algebra
Published in J.Symb.Comput. 27 (1999) 581
• View Publication
• BIB
It was recently shown that the renormalization of quantum field theory is organized by the Hopf algebra of decorated rooted trees, whose coproduct identifies the divergences requiring subtraction and whose antipode achieves this. We automate this process in a few lines of recursive symbolic code, which deliver a finite renormalized expression for any Feynman diagram. We thus verify a representation of the operator product expansion, which generalizes Chen's lemma for iterated integrals. The subset of diagrams whose forest structure entails a unique primitive subdivergence provides a representation of the Hopf algebra ${\cal H}_R$ of undecorated rooted trees. Our undecorated Hopf algebra program is designed to process the 24,213,878 BPHZ contributions to the renormalization of 7,813 diagrams, with up to 12 loops. We consider 10 models, each in 9 renormalization schemes. The two simplest models reveal a notable feature of the subalgebra of Connes and Moscovici, corresponding to the commutative part of the Hopf algebra ${\cal H}_T$ of the diffeomorphism group: it assigns to Feynman diagrams those weights which remove zeta values from the counterterms of the minimal subtraction scheme. We devise a fast algorithm for these weights, whose squares are summed with a permutation factor, to give rational counterterms.
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.
Flag vectors
This paper defines for each object $X$ that can be constructed out of a finite number of vertices and cells a vector $fX$ lying in a finite dimensional vector space. This is the flag vector of $X$. It is hoped that the quantum topological invariants of a manifold $M$ can be expressed as linear functions of the flag vector of the $i$-graph that arises from any suitable triangulation $T$ of $M$. Flag vectors are also defined for finite groups and more generally for $n$-ary relations. Some problems, and suggested connections with other constructions, particularly that of the associahedron and so on, conclude the presentation.
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.
Littlewood-Richardson coefficients and Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
We show that the Littlewood-Richardson coefficients are values at 1 of certain parabolic Kazhdan-Lusztig polynomials for affine symmetric groups. These q-analogues of Littlewood-Richardson multiplicities coincide with those previously introduced in terms of ribbon tableaux.
Identities for classical group characters of nearly rectangular shape
Published in J. Algebra 209 (1998), 1-64
• View Publication
• BIB
We derive several identities that feature irreducible characters of the general linear, the symplectic, the orthogonal, and the special orthogonal groups. All the identities feature characters that are indexed by shapes that are "nearly" rectangular, by which we mean that the shapes are rectangles except for one row or column that might be shorter than the others. As applications we prove new results in plane partitions and tableaux enumeration, including new refinements of the Bender-Knuth and MacMahon (ex-)conjectures.
Stratified simplices and intersection homology
Intersection homology is obtained from ordinary homology by imposing conditions on how the embedded simplices meet the strata of a space $X$. In this way, for the middle perversity, properties such as strong Lefschetz are preserved. This paper defines local-global intersection homology groups, that record global information about the singularities of $X$. They differ from intersection homology in that stratified rather than ordinary simplices are used. An example of such is $σ_j\times Cσ_i$, where $σ_i$ and $σ_j$ are ordinary simplices, and $C$ is the coning operator. The paper concludes with a sketch of the relationship between local-global homology and the geometry of convex polytopes. This paper is a more formal exposition of part of the author's `Local-global intersection homology', alg-geom/9709011.
Gauss Sums, Jacobi Sums, and $p$-ranks of Cyclic Difference Sets
Published in J. Combin. Theory Ser. A 87 (1999), 174-219
• View Publication
• BIB
We study quadratic residue difference sets, GMW difference sets, and difference sets arising from monomial hyperovals, all of which are $(2^d-1, 2^{d-1}-1, 2^{d-2}-1)$ cyclic difference sets in the multiplicative group of the finite field $F_{2^d}$ of $2^d$ elements, with $d \geq 2$. We show that, except for a few cases with small $d$, these difference sets are all pairwise inequivalent. This is accomplished in part by examining their 2-ranks. The 2-ranks of all of these difference sets were previously known, except for those connected with the Segre and Glynn hyperovals. We determine the 2-ranks of the difference sets arising from the Segre and Glynn hyperovals, in the following way. Stickelberger's theorem for Gauss sums is used to reduce the computation of these 2-ranks to a problem of counting certain cyclic binary strings of length $d$. This counting problem is then solved combinatorially, with the aid of the transfer matrix method. We give further applications of the 2-rank formulas, including the determination of the nonzeros of certain binary cyclic codes, and a criterion in terms of the trace function to decide for which $β$ in $F_{2^d}^*$ the polynomial $x^6 + x + β$ has a zero in $F_{2^d}$, when $d$ is odd.
Canonical Basis and Macdonald Polynomials
Published in Advances in Math. 140 (1998), 95-127.
• View Publication
• BIB
In the basic representation of $U_q(\hat{sl}(2))$ realized via the algebra of symmetric functions we compare the canonical basis with the basis of Macdonald polynomials with $q=t^2$. We show that the Macdonald polynomials are invariant with respect to the bar involution defined abstractly on the representations of quantum groups. We also prove that the Macdonald scalar product coincides with the abstract Kashiwara form. This implies, in particular, that the Macdonald polynomials form an intermediate basis between the canonical basis and the dual canonical basis, and the coefficients of the transition matrix are necessarily bar invariant. We also discuss the positivity and integrality of these coefficients. For level $k$, we expect a similar relation between the canonical basis and Macdonald polynomials with $q^2=t^{k}.$
Flag-symmetry of the poset of shuffles and a local action of the symmetric group
Published
• View Publication
• BIB
We show that the poset of shuffles introduced by Greene in 1988 is flag-symmetric, and we describe a "local" permutation action of the symmetric group on the maximal chains which is closely related to the flag symmetric function of the poset. A key tool is provided by a new labeling of the maximal chains of a poset of shuffles, which is also used to give bijective proofs of enumerative properties originally obtained by Greene. In addition we define a monoid of multiplicative functions on all posets of shuffles and describe this monoid in terms of a new operation on power series in two variables.