Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

A $\lowercase{q}$-deformation of
a trivial symmetric group action


Authors: Phil Hanlon and Richard P. Stanley
Journal: Trans. Amer. Math. Soc. 350 (1998), 4445-4459
MSC (1991): Primary 20C30, 05E10
DOI: https://doi.org/10.1090/S0002-9947-98-01880-7
MathSciNet review: 1407491
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let $\mathcal{A}$ be the arrangement of hyperplanes consisting of the reflecting hyperplanes for the root system $A_{n-1}$. Let $B=B(q)$ be the Varchenko matrix for this arrangement with all hyperplane parameters equal to $q$. We show that $B$ is the matrix with rows and columns indexed by permutations with $\sigma, \tau$ entry equal to $q^{i(\sigma \tau^{-1})}$ where $i(\pi)$ is the number of inversions of $\pi$. Equivalently $B$ is the matrix for left multiplication on $\mathbb{C}\mathfrak{S}_n$ by

\begin{displaymath}\Gamma _n(q)=\sum _{\pi \in \mathfrak{S}_n} q^{i(\pi)} \pi . \end{displaymath}

Clearly $B$ commutes with the right-regular action of $\mathfrak{S}_n$ on $\mathbb{C}\mathfrak{S}_n$. A general theorem of Varchenko applied in this special case shows that $B$ is singular exactly when $q$ is a $j(j-1)^{st}$ root of $1$ for some $j$ between $2$ and $n$. In this paper we prove two results which partially solve the problem (originally posed by Varchenko) of describing the $\mathfrak{S}_n$-module structure of the nullspace of $B$ in the case that $B$ is singular. Our first result is that

\begin{displaymath}\ker(B) = \mathrm{ind}^{\mathfrak{S}_n}_{\mathfrak{S}_{n-1}} (\mathrm{Lie}_{n-1}) /\mathrm{Lie}_n\end{displaymath}

in the case that $q = e^{2\pi i/n(n-1)}$ where Lie$_n$ denotes the multilinear part of the free Lie algebra with $n$ generators. Our second result gives an elegant formula for the determinant of $B$ restricted to the virtual $\mathfrak{S}_n$-module $P^\eta$ with characteristic the power sum symmetric function $p_\eta(x)$.


References [Enhancements On Off] (What's this?)

  • [B] L.C. Biedenharn, J. Phys. A (1989), L873-L878. MR 90k:17027
  • [BV] T. Brylawski and A. Varchenko, ``The determinant formula for a matroid bilinear form", preprint.
  • [DKKT] G. Duchamp, A.A. Klyachko, D. Krob, J.Y. Thibon, ``Noncommutative symmetric functions III: Deformations of Cauchy and convolution algebras", preprint.
  • [F] W. Feit, Characters of Finite Groups, Yale University Press, New Haven, Conn., 1965.
  • [G] A. Garsia, ``Combinatorics of the free Lie algebra and the symmetric group", Analysis etcetera, J. Moser's festschrift, Academic Press, New York (1990). MR 91a:17006
  • [Gr] O.W. Greenberg, ``Example of infinite statistics", Phys. Rev. Lett., 64 (1990), 705-708. MR 90k:81080
  • [M] I.G. Macdonald, Symmetric Functions and Hall Polynomials, Oxford University Press, 1979. MR 84g:05001
  • [O] P. Orlik, Introduction to arrangements, CBMS Regional Series in Mathematics, #72, AMS, Providence, RI (1989). MR 90i:32018
  • [R1] C. Reutenauer, Free Lie Algebras, Oxford University Press, 1993.
  • [R2] C. Reutenauer, ``Theorem of Poincaré-Birkhoff-Witt and symmetric group representations of degrees equal to the Stirling numbers", Lecture Notes in Math., vol. 1234, Springer-Verlag, N.Y. (1986). MR 89i:05029
  • [Ro] A. Robinson, ``The space of fully grown trees", preprint.
  • [Ste] J. Stembridge, ``On the eigenvalues of representations of reflection groups and wreath products", Pacific J. Math., 140, No. 2 (1989), 353-396. MR 91a:20022
  • [SV] V. Schechtman and A. Varchenko, ``Arrangements of hyperplanes and Lie algebra homology" Inventiones Math., 106 (1991), 139-194. MR 93b:17067
  • [V] A. Varchenko, ``Bilinear form of real configuration of hyperplanes'', Adv. in Math. 97 (1993), 110-144. MR 94b:52023
  • [W] S. Whitehouse, ``Gamma homology of commutative algebras and some related representations of the symmetric group", preprint.
  • [Z] D. Zagier, ``Realizability of a model in infinite statistics", Comm. in Math. Phys., 147 (1992), 199-210. MR 93i:81105

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 20C30, 05E10

Retrieve articles in all journals with MSC (1991): 20C30, 05E10


Additional Information

Phil Hanlon
Affiliation: Department of Mathematics, University of Michigan, Ann Arbor, Michigan 48109-1109
Email: phil@math.lda.umich.edu

Richard P. Stanley
Affiliation: Department of Mathematics 2-375, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139
Email: rstan@math.mit.edu

DOI: https://doi.org/10.1090/S0002-9947-98-01880-7
Received by editor(s): June 25, 1996
Additional Notes: The first author was partially supported by the National Science Foundation, Grant No. DMS-9500979
The second author was partially supported by the National Science Foundation, Grant No. DMS-9206374.
Article copyright: © Copyright 1998 American Mathematical Society

American Mathematical Society