Atlas of Lie Groups and Representations

The Atlas of Lie Groups and Representations is a project to make available information about representations of reductive Lie groups over real and p-adic fields. Of particular importance is the problem of the unitary dual: classifying all of the irreducible unitary representations of a given Lie group.

The Atlas consists in part of a project to compute the unitary dual, by mathematical and computational methods. We are also planning to make information about Lie groups and representation theory, in particular unitary representations, available to the general mathematical public.

You may have heard about our computation Kazhdan-Lusztig polynomials for the split real group E8. Here are some details of the calculation, and David Vogan has written a narrative of the project. There is an introduction to the calculation at AIM. For more information on the E8 calculation there are some slides of talks available in the talks section. Also see David Vogan's home page, and here are some more technical details on what we really did.

Here are the main parts of the Atlas web site:
Software:   The atlas software comes in linux and Mac versions. We recommend you compile it yourself, but you can try an precompiled binary. There is also a windows version.
Web interface to the atlas software. Development of the interface is running considerably behind the software itself.
Papers:   
Talks: Slides from various public lectures, including David Vogan's lecture announcing the E8 calculation, March 19, 2007
Workshops
2009 Workshop and conference web sites.
2013 Workshop and conference web sites.
Spherical Unitary Explorer: an interactive tool for learning about spherical unitary representations of classical groups
Root Systems: A tool for viewing information about root systems (used with the Spherical Unitary Explorer)
Tables of data computed using the Atlas and associated software:
Structure theory of Lie groups
Representation theory of Lie groups
Spherical unitary representations
Unipotent Orbits
Unipotent Representations
Models of representations of Weyl groups
New: Galois cohomology of real groups.
People who are working on the Atlas project.

This work is supported by the NSF and the American Institute of Mathematics. For more information see the acknowledgements.