English

Torsion table for the Lie algebra $\frak{nil}_n$

Algebraic Topology 2019-08-08 v3

Abstract

We study the Lie ring niln\mathfrak{nil}_n of all strictly upper-triangular n ⁣× ⁣nn\!\times\!n matrices with entries in Z\mathbb{Z}. Its complete homology for n ⁣ ⁣8n\!\leq\!8 is computed. We prove that every pmp^m-torsion appears in H(niln;Z)H_\ast(\mathfrak{nil}_n;\mathbb{Z}) for pm ⁣ ⁣n ⁣ ⁣2p^m\!\leq\!n\!-\!2. For m ⁣= ⁣1m\!=\!1, Dwyer proved that the bound is sharp, i.e. there is no pp-torsion in H(niln;Z)H_\ast(\mathfrak{nil}_n;\mathbb{Z}) when prime p ⁣> ⁣n ⁣ ⁣2p\!>\!n\!-\!2. In general, for m ⁣> ⁣1m\!>\!1 the bound is not sharp, as we show that there is 88-torsion in H(nil8;Z)H_\ast(\mathfrak{nil}_8;\mathbb{Z}). As a sideproduct, we derive the known result, that the ranks of the free part of H(niln;Z)H_\ast(\mathfrak{nil}_n;\mathbb{Z}) are the Mahonian numbers (=number of permutations of [n][n] with kk inversions), using a different approach than Kostant. Furthermore, we determine the algebra structure (cup products) of H(niln;Q)H^\ast(\mathfrak{nil}_n;\mathbb{Q}).

Keywords

Cite

@article{arxiv.1708.02783,
  title  = {Torsion table for the Lie algebra $\frak{nil}_n$},
  author = {Leon Lampret and Aleš Vavpetič},
  journal= {arXiv preprint arXiv:1708.02783},
  year   = {2019}
}

Comments

10 pages, 1 table