scholarly journals Grothendieck Bialgebras, Partition Lattices, and Symmetric Functions in Noncommutative Variables

10.37236/1101 ◽  
2006 ◽  
Vol 13 (1) ◽  
Author(s):  
N. Bergeron ◽  
C. Hohlweg ◽  
M. Rosas ◽  
M. Zabrocki

We show that the Grothendieck bialgebra of the semi-tower of partition lattice algebras is isomorphic to the graded dual of the bialgebra of symmetric functions in noncommutative variables. In particular this isomorphism singles out a canonical new basis of the symmetric functions in noncommutative variables which would be an analogue of the Schur function basis for this bialgebra.

10.37236/1264 ◽  
1995 ◽  
Vol 3 (2) ◽  
Author(s):  
Richard P. Stanley

For every finite graded poset $P$ with $\hat{0}$ and $\hat{1}$ we associate a certain formal power series $F_P(x) = F_P(x_1,x_2,\dots)$ which encodes the flag $f$-vector (or flag $h$-vector) of $P$. A relative version $F_{P/\Gamma}$ is also defined, where $\Gamma$ is a subcomplex of the order complex of $P$. We are interested in the situation where $F_P$ or $F_{P/\Gamma}$ is a symmetric function of $x_1,x_2,\dots$. When $F_P$ or $F_{P/\Gamma}$ is symmetric we consider its expansion in terms of various symmetric function bases, especially the Schur functions. For a class of lattices called $q$-primary lattices the Schur function coefficients are just values of Kostka polynomials at the prime power $q$, thus giving in effect a simple new definition of Kostka polynomials in terms of symmetric functions. We extend the theory of lexicographically shellable posets to the relative case in order to show that some examples $(P,\Gamma)$ are relative Cohen-Macaulay complexes. Some connections with the representation theory of the symmetric group and its Hecke algebra are also discussed.


10.37236/1880 ◽  
2005 ◽  
Vol 11 (2) ◽  
Author(s):  
William Y. C. Chen ◽  
Arthur L. B. Yang

By using cutting strips and transformations on outside decompositions of a skew diagram, we show that the Giambelli-type matrices for a given skew Schur function are stably equivalent to each other over symmetric functions. As a consequence, the Jacobi-Trudi matrix and the transpose of the dual Jacobi-Trudi matrix are stably equivalent over symmetric functions. This leads to an affirmative answer to a question proposed by Kuperberg.


10.37236/137 ◽  
2009 ◽  
Vol 16 (1) ◽  
Author(s):  
Aisling Kenny

For any finite, real reflection group $W$, we construct a geometric basis for the homology of the corresponding non-crossing partition lattice. We relate this to the basis for the homology of the corresponding intersection lattice introduced by Björner and Wachs using a general construction of a generic affine hyperplane for the central hyperplane arrangement defined by $W$.


10.37236/1383 ◽  
1998 ◽  
Vol 5 (1) ◽  
Author(s):  
Mike Zabrocki

The two parameter family of coefficients $K_{\lambda \mu}(q,t)$ introduced by Macdonald are conjectured to $(q,t)$ count the standard tableaux of shape $\lambda $. If this conjecture is correct, then there exist statistics $a_\mu(T)$ and $b_\mu(T)$ such that the family of symmetric functions $H_\mu[X;q,t] = \sum_\lambda K_{\lambda \mu}(q,t) s_\lambda [X]$ are generating functions for the standard tableaux of size $|\mu|$ in the sense that $H_\mu[X;q,t] = \sum_{T} q^{a_\mu(T)} t^{b_\mu(T)} s_{\lambda (T)}[X]$ where the sum is over standard tableau of of size $|\mu|$. We give a formula for a symmetric function operator $H_2^{qt}$ with the property that $H_2^{qt} H_{(2^a1^b)}[X;q,t]= H_{(2^{a+1}1^b)}[X;q,t]$. This operator has a combinatorial action on the Schur function basis. We use this Schur function action to show by induction that $H_{(2^a1^b)}[X;q,t]$ is the generating function for standard tableaux of size $2a+b$ (and hence that $K_{\lambda (2^a1^b)}(q,t)$ is a polynomial with non-negative integer coefficients). The inductive proof gives an algorithm for 'building' the standard tableaux of size $n+2$ from the standard tableaux of size $n$ and divides the standard tableaux into classes that are generalizations of the catabolism type. We show that reversing this construction gives the statistics $a_\mu(T)$ and $b_\mu(T)$ when $\mu$ is of the form $(2^a1^b)$ and that these statistics prove conjectures about the relationship between adjacent rows of the $(q,t)$-Kostka matrix that were suggested by Lynne Butler.


2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Jason Bandlow ◽  
Anne Schilling ◽  
Mike Zabrocki

International audience We prove a Murnaghan–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. Nous prouvons une règle de Murnaghan-Nakayama pour les fonctions de k-Schur de Lapointe et Morse, c'est-à-dire que nous donnons une formule explicite pour le développement du produit d'une fonction symétrique "somme de puissances'' et d'une fonction de k-Schur en termes de fonctions k-Schur. Ceci est prouvé en utilisant les fonctions non commutatives k-Schur en termes d'algèbre nilCoxeter introduite par Lam et l'analogue affine des fonctions symétriques non commutatives de Fomin et Greene.


10.37236/1838 ◽  
2004 ◽  
Vol 11 (1) ◽  
Author(s):  
Klaus Dohmen ◽  
Peter Tittmann

In this paper, we establish a new analogue of the classical Bonferroni inequalities and their improvements by Galambos for sums of type $\sum_{\pi\in {\Bbb P}(U)} (-1)^{|\pi|-1} (|\pi|-1)! f(\pi)$ where $U$ is a finite set, ${\Bbb P}(U)$ is the partition lattice of $U$ and $f:{\Bbb P}(U)\rightarrow{\Bbb R}$ is some suitable non-negative function. Applications of this new analogue are given to counting connected $k$-uniform hypergraphs, network reliability, and cumulants.


10.37236/1860 ◽  
2004 ◽  
Vol 11 (2) ◽  
Author(s):  
Anders Björner ◽  
Michelle L. Wachs

We use the theory of hyperplane arrangements to construct natural bases for the homology of partition lattices of types $A$, $B$ and $D$. This extends and explains the "splitting basis" for the homology of the partition lattice given by M. L. Wachs, thus answering a question asked by R. Stanley. More explicitly, the following general technique is presented and utilized. Let ${\cal A}$ be a central and essential hyperplane arrangement in ${\Bbb{R}}^d$. Let $R_1,\dots,R_k$ be the bounded regions of a generic hyperplane section of ${\cal A}$. We show that there are induced polytopal cycles $\rho_{R_i}$ in the homology of the proper part $\overline{L}_{\cal A}$ of the intersection lattice such that $\{\rho_{R_i}\}_{i=1,\dots,k}$ is a basis for $\widetilde{H}_{d-2} (\overline{L}_{\cal A})$. This geometric method for constructing combinatorial homology bases is applied to the Coxeter arrangements of types $A$, $B$ and $D$, and to some interpolating arrangements.


2010 ◽  
Vol 146 (4) ◽  
pp. 811-852 ◽  
Author(s):  
Thomas Lam ◽  
Anne Schilling ◽  
Mark Shimozono

AbstractWe construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology. For the case where G=SLn, the K-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmetric functions. The Schubert basis is represented by inhomogeneous symmetric functions, calledK-k-Schur functions, whose highest-degree term is a k-Schur function. The dual basis in K-cohomology is given by the affine stable Grothendieck polynomials, verifying a conjecture of Lam. In addition, we give a Pieri rule in K-homology. Many of our constructions have geometric interpretations by means of Kashiwara’s thick affine flag manifold.


10.37236/5741 ◽  
2017 ◽  
Vol 24 (3) ◽  
Author(s):  
Karen Yeats

Using cocommutativity of the Hopf algebra of symmetric functions, certain skew Schur functions are proved to be equal. Some of these skew Schur function identities are new.


Sign in / Sign up

Export Citation Format

Share Document