Torsion table for the Lie algebra nil_n

Abstract: We study the Lie ring

m a t h f r a k {n i l}_{n}

of all strictly upper-triangular

n! i m e s! n

matrices with entries in

m a t h b b Z

. Its complete homology for

n! l e q! 8

is computed. We prove that every

p^{m}

-torsion appears in

H_{a} s t (m a t h f r a k {n i l}_{n}; m a t h b b Z)

for

p^{m}! l e q! n! -! 2

. For

m! =! 1

, Dwyer proved that the bound is sharp, i.e. there is no

p

-torsion in

H_{a} s t (m a t h f r a k {n i l}_{n}; m a t h b b Z)

when prime

p! >! n! -! 2

. In general, for

m! >! 1

the bound is not sharp, as we show that there is

8

-torsion in

H_{a} s t (m a t h f r a k {n i l}_{8}; m a t h b b Z)

. As a sideproduct, we derive the known result, that the ranks of the free part of

H_{a} s t (m a t h f r a k {n i l}_{n}; m a t h b b Z)

are the Mahonian numbers (=number of permutations of

[n]

with

k

inversions), using a different approach than Kostant. Furthermore, we determine the algebra structure (cup products) of

H^{a} s t (m a t h f r a k {n i l}_{n}; m a t h b b Q)

.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Torsion table for the Lie algebra \(\mathfrak{nil}_n\)