Return to search

Invariant Lie polynomials in two and three variables.

In 1949, Wever observed that the degree d of an invariant Lie polynomial must be a multiple of the number q of generators of the free Lie algebra. He also found that there are no invariant Lie polynomials in the following cases: q = 2, d = 4; q = 3, d = 6; d = q ≥ 3. Wever gave a formula for the number of invariants for q = 2
in the natural representation of sl(2). In 1958, Burrow extended Wevers formula to q > 1 and d = mq where m > 1.
In the present thesis, we concentrate on finding invariant Lie polynomials (simply called Lie invariants) in the natural representations of sl(2) and sl(3), and in the adjoint representation of sl(2). We first review the method to construct the Hall basis of the free Lie algebra and the way to transform arbitrary Lie words into linear combinations of Hall words.
To find the Lie invariants, we need to find the nullspace of an integer matrix, and for this we use the Hermite normal form. After that, we review the generalized Witt dimension formula which can be used to compute the number of primitive Lie invariants of a given degree.
Secondly, we recall the result of Bremner on Lie invariants of degree ≤ 10 in the natural representation of sl(2). We extend these results to compute the Lie invariants of degree 12 and 14. This is the first original contribution in the present thesis.
Thirdly, we compute the Lie invariants in the adjoint representation of sl(2) up to degree 8. This is the second original contribution in the present thesis.
Fourthly, we consider the natural representation of sl(3). This is a 3-dimensional natural representation of an 8-dimensional Lie algebra. Due to the huge number of Hall words in each degree and the limitation of computer hardware, we compute the Lie invariants only up to degree 12.
Finally, we discuss possible directions for extending the results. Because there
are infinitely many different simple finite dimensional Lie algebras and each of them
has infinitely many distinct irreducible representations, it is an open-ended problem.

Identiferoai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:SSU.etd-08192009-110822
Date21 August 2009
CreatorsHu, Jiaxiong
ContributorsChris, Soteros, Martin, John, Murray, Bremner
PublisherUniversity of Saskatchewan
Source SetsLibrary and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
LanguageEnglish
Detected LanguageEnglish
Typetext
Formatapplication/pdf
Sourcehttp://library.usask.ca/theses/available/etd-08192009-110822/
Rightsunrestricted, I hereby certify that, if appropriate, I have obtained and attached hereto a written permission statement from the owner(s) of each third party copyrighted matter to be included in my thesis, dissertation, or project report, allowing distribution as specified below. I certify that the version I submitted is the same as that approved by my advisory committee. I hereby grant to University of Saskatchewan or its agents the non-exclusive license to archive and make accessible, under the conditions specified below, my thesis, dissertation, or project report in whole or in part in all forms of media, now or hereafter known. I retain all other ownership rights to the copyright of the thesis, dissertation or project report. I also retain the right to use in future works (such as articles or books) all or part of this thesis, dissertation, or project report.

Page generated in 0.0024 seconds