atlas project membersatlas.math.umd.edu/talks/fondation.pdf · goals of the atlas project goals...
TRANSCRIPT
![Page 1: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/1.jpg)
![Page 2: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/2.jpg)
E8
![Page 3: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/3.jpg)
Atlas Project MembersJeffrey Adams (Maryland)Dan Barbasch (Cornell)Birne Binegar (Oklahoma)Bill Casselman (British Columbia)Dan Ciubotaru (Utah)Scott Crofts (Utah)Fokko du Cloux (Lyon)Alfred Noel (Boston)Tatiana Howard (Michigan)Alessandra Pantano (Irvine)Annegret Paul (Michigan)
Patrick Polo (Paris)Siddhartha Sahi (Rutgers)Susana Salamanca (New Mexico)John Stembridge (Michigan)Peter Trapa (Utah)Marc van Leeuwen (Poitiers)David Vogan (MIT)Wai-Ling Yee (Alberta)Jiu-Kang Yu (Purdue)Gregg Zuckerman (Yale)
Funded by the National Science FoundationAmerican Institute of Mathematics
![Page 4: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/4.jpg)
Atlas Workshop, July 2007Palo Alto, California
![Page 5: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/5.jpg)
Symmetry Groups 1800s
E8 is a Lie groupLie groups are the mathematics of Symmetry
![Page 6: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/6.jpg)
Symmetry Groups 1800s
E8 is a Lie groupLie groups are the mathematics of Symmetry
Evariste GaloisFrance, 1811-1832Groups
Sophus LieNorway, 1842-1899Lie groups
![Page 7: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/7.jpg)
Symmetry Groups mydate1800s
An object is symmetric if it looks the same from differentdirections.
![Page 8: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/8.jpg)
Symmetry Groups mydate1800s
An object is symmetric if it looks the same from differentdirections.The Symmetry Group of an object is all of the ways you canmove it, and have it look the same.
![Page 9: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/9.jpg)
Symmetry Groups mydate1800s
An object is symmetric if it looks the same from differentdirections.The Symmetry Group of an object is all of the ways you canmove it, and have it look the same.
![Page 10: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/10.jpg)
Symmetry Groups of the Platonic Solids 1800s
Platonic Solid Symmetry group Number of symmetries
A4 (even 4-permutations) 12
S4 (4-permutations) 24
A5 (even 5-permutations) 60
![Page 11: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/11.jpg)
Applications of Symmetry
Symmetry plays an important role in many areas of humanendeavor.
![Page 12: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/12.jpg)
Applications of Symmetry
Symmetry plays an important role in many areas of humanendeavor.
Physics (conservation laws, symmetries of space-time. . . )
![Page 13: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/13.jpg)
Applications of Symmetry
Symmetry plays an important role in many areas of humanendeavor.
Physics (conservation laws, symmetries of space-time. . . )
Crystallography (the 230 crystallographic groups. . . )
![Page 14: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/14.jpg)
Applications of Symmetry
Symmetry plays an important role in many areas of humanendeavor.
Physics (conservation laws, symmetries of space-time. . . )
Crystallography (the 230 crystallographic groups. . . )
Chemistry (atomic orbitals and the periodic table. . . )
![Page 15: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/15.jpg)
Applications of Symmetry
Symmetry plays an important role in many areas of humanendeavor.
Physics (conservation laws, symmetries of space-time. . . )
Crystallography (the 230 crystallographic groups. . . )
Chemistry (atomic orbitals and the periodic table. . . )
Mathematics (geometry, number theory, algebra. . . )
![Page 16: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/16.jpg)
Applications of Symmetry
Symmetry plays an important role in many areas of humanendeavor.
Physics (conservation laws, symmetries of space-time. . . )
Crystallography (the 230 crystallographic groups. . . )
Chemistry (atomic orbitals and the periodic table. . . )
Mathematics (geometry, number theory, algebra. . . )
Architecture, painting, textiles, music. . .
![Page 17: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/17.jpg)
Continuous Symmetry Groups 1890s
Example: Rotations of a sphere
![Page 18: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/18.jpg)
Continuous Symmetry Groups 1890s
Example: Rotations of a sphere
![Page 19: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/19.jpg)
Continuous Symmetry Groups 1890s
Example: Rotations of a sphere
axis of rotation(point on sphere: 2dimensions of choice)
![Page 20: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/20.jpg)
Continuous Symmetry Groups 1890s
Example: Rotations of a sphere
axis of rotation(point on sphere: 2dimensions of choice)
angle of rotation(0◦ − 360◦: 1dimensional choice)
![Page 21: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/21.jpg)
Continuous Symmetry Groups 1890s
Example: Rotations of a sphere
axis of rotation(point on sphere: 2dimensions of choice)
angle of rotation(0◦ − 360◦: 1dimensional choice)
This is the Rotation Group SO(3), a 3 dimensional Lie group
![Page 22: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/22.jpg)
Representations
We also want to understand:What are all the ways a single Lie group G can appear as thesymmetry group of something?
![Page 23: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/23.jpg)
Representations
We also want to understand:What are all the ways a single Lie group G can appear as thesymmetry group of something? These are called representationsof G.
![Page 24: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/24.jpg)
Representations
We also want to understand:What are all the ways a single Lie group G can appear as thesymmetry group of something? These are called representationsof G.
The periodic table is explained by representations of SO(3)
![Page 25: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/25.jpg)
Example: Representation of A5
Here is how one element of A5 (even permutations of 5elements) appears in two different representations:
![Page 26: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/26.jpg)
Example: Representation of A5
Here is how one element of A5 (even permutations of 5elements) appears in two different representations:
Symmetric Object Symmetry operation
cos(2π/5) sin(2π/5) 0− sin(2π/5) cos(2π/5) 0
0 0 1
![Page 27: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/27.jpg)
Example: Representation of A5
Here is how one element of A5 (even permutations of 5elements) appears in two different representations:
Symmetric Object Symmetry operation
cos(2π/5) sin(2π/5) 0− sin(2π/5) cos(2π/5) 0
0 0 1
5-dimensional cube
0 1 0 0 00 0 1 0 00 0 0 1 00 0 0 0 11 0 0 0 0
![Page 28: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/28.jpg)
Example: representations of the circle
The symmetry group of a cone:
![Page 29: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/29.jpg)
Example: representations of the circle
The symmetry group of a cone:
is rotations:
cos(θ) sin(θ) 0− sin(θ) cos(θ)
0 0 1
![Page 30: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/30.jpg)
Example: representations of the circle
The symmetry group of a cone:
is rotations:
cos(θ) sin(θ) 0− sin(θ) cos(θ)
0 0 1
a representation of the Lie group {eiθ | 0 ≤ θ < 2π} (the circle)
![Page 31: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/31.jpg)
Classifying Representations 1920s
What are all of the representations of G?
![Page 32: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/32.jpg)
Classifying Representations 1920s
What are all of the representations of G?Every representation can be built up out of atomic ones, so weonly need to find the atoms:
![Page 33: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/33.jpg)
Classifying Representations 1920s
What are all of the representations of G?Every representation can be built up out of atomic ones, so weonly need to find the atoms: irreducible representations.
![Page 34: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/34.jpg)
Classifying Representations 1920s
What are all of the representations of G?Every representation can be built up out of atomic ones, so weonly need to find the atoms: irreducible representations.
We are particularly interested in unitary representations: thesymmetry operations are all rotations (no stretching allowed).
![Page 35: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/35.jpg)
Classifying Representations 1920s
What are all of the representations of G?Every representation can be built up out of atomic ones, so weonly need to find the atoms: irreducible representations.
We are particularly interested in unitary representations: thesymmetry operations are all rotations (no stretching allowed).
The Unitary Dual of G is the collection of all of its irreducibleunitary representations.
![Page 36: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/36.jpg)
Unitary Dual 1950s
Problem of the Unitary Dual:
Find all the irreducible unitary representations of G.
![Page 37: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/37.jpg)
Unitary Dual 1950s
Problem of the Unitary Dual:
Find all the irreducible unitary representations of G.
This is a major unsolved problem in pure mathematics. Manypeople have worked on this for the past 50 years or so, withonly limited success.
![Page 38: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/38.jpg)
Unitary Dual 1950s
Problem of the Unitary Dual:
Find all the irreducible unitary representations of G.
This is a major unsolved problem in pure mathematics. Manypeople have worked on this for the past 50 years or so, withonly limited success.
This is abstract paper and pencil mathematics: computers havebeen of very little use.
![Page 39: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/39.jpg)
Unitary Dual 1980s
Theorem (... Vogan): There is a finite algorithm to find theunitary dual of G.
![Page 40: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/40.jpg)
Unitary Dual 1980s
Theorem (... Vogan): There is a finite algorithm to find theunitary dual of G.
Until a few years ago we believed:
![Page 41: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/41.jpg)
Unitary Dual 1980s
Theorem (... Vogan): There is a finite algorithm to find theunitary dual of G.
Until a few years ago we believed:
It is impossible to formulate the algorithm in a usable form
![Page 42: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/42.jpg)
Unitary Dual 1980s
Theorem (... Vogan): There is a finite algorithm to find theunitary dual of G.
Until a few years ago we believed:
It is impossible to formulate the algorithm in a usable form
Even if we could, it would be impossible to implement it ona computer
![Page 43: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/43.jpg)
Unitary Dual 1980s
Theorem (... Vogan): There is a finite algorithm to find theunitary dual of G.
Until a few years ago we believed:
It is impossible to formulate the algorithm in a usable form
Even if we could, it would be impossible to implement it ona computer
Computer Science and Mathematics have both seen significantadvances recently. . .
![Page 44: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/44.jpg)
Unitary Dual 1980s
Theorem (... Vogan): There is a finite algorithm to find theunitary dual of G.
Until a few years ago we believed:
It is impossible to formulate the algorithm in a usable form
Even if we could, it would be impossible to implement it ona computer
Computer Science and Mathematics have both seen significantadvances recently. . .
Goal of the Atlas of Lie Groups and Representations:
Use computers to help find the Unitary Dual
![Page 45: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/45.jpg)
Computers and Pure Mathematics 1990s
This is a new kind of pure mathematics, arising in the last 10years:
Applying computers to a very abstract mathematicalproblem
![Page 46: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/46.jpg)
Computers and Pure Mathematics 1990s
This is a new kind of pure mathematics, arising in the last 10years:
Applying computers to a very abstract mathematicalproblem
Collaboration between a large number of mathematiciansand computer programmers
![Page 47: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/47.jpg)
Computers and Pure Mathematics 1990s
This is a new kind of pure mathematics, arising in the last 10years:
Applying computers to a very abstract mathematicalproblem
Collaboration between a large number of mathematiciansand computer programmers
“Computerizing” a whole branch of mathematics (Liegroups), not just a single problem (Four color theorem)
![Page 48: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/48.jpg)
Computers and Pure Mathematics 1990s
This is a new kind of pure mathematics, arising in the last 10years:
Applying computers to a very abstract mathematicalproblem
Collaboration between a large number of mathematiciansand computer programmers
“Computerizing” a whole branch of mathematics (Liegroups), not just a single problem (Four color theorem)
It requires new mathematics (understanding Lie groups innew ways)
![Page 49: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/49.jpg)
Computers and Pure Mathematics 1990s
This is a new kind of pure mathematics, arising in the last 10years:
Applying computers to a very abstract mathematicalproblem
Collaboration between a large number of mathematiciansand computer programmers
“Computerizing” a whole branch of mathematics (Liegroups), not just a single problem (Four color theorem)
It requires new mathematics (understanding Lie groups innew ways)
It requires new methods in computer science(unprecedented problems in algorithms and computation)
![Page 50: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/50.jpg)
Goals of the Atlas Project
Goals
Tools for education: teaching Lie groups to graduatestudents and researchers
![Page 51: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/51.jpg)
Goals of the Atlas Project
Goals
Tools for education: teaching Lie groups to graduatestudents and researchers
Tools for non-specialists who apply Lie groups in otherareas
![Page 52: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/52.jpg)
Goals of the Atlas Project
Goals
Tools for education: teaching Lie groups to graduatestudents and researchers
Tools for non-specialists who apply Lie groups in otherareas
Tools for studying other problems in Lie groups
![Page 53: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/53.jpg)
Goals of the Atlas Project
Goals
Tools for education: teaching Lie groups to graduatestudents and researchers
Tools for non-specialists who apply Lie groups in otherareas
Tools for studying other problems in Lie groups
Deepen our understanding of the mathematics
![Page 54: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/54.jpg)
Goals of the Atlas Project
Goals
Tools for education: teaching Lie groups to graduatestudents and researchers
Tools for non-specialists who apply Lie groups in otherareas
Tools for studying other problems in Lie groups
Deepen our understanding of the mathematics
Compute the unitary dual
![Page 55: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/55.jpg)
Goals of the Atlas Project
Goals
Tools for education: teaching Lie groups to graduatestudents and researchers
Tools for non-specialists who apply Lie groups in otherareas
Tools for studying other problems in Lie groups
Deepen our understanding of the mathematics
Compute the unitary dual
I’ll discuss where we are, with an emphasis on our recentcalulation of E8.
![Page 56: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/56.jpg)
Fokko du Cloux 2002
In 2002 we decided to try attacking the unitary dual bycomputer.
![Page 57: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/57.jpg)
Fokko du Cloux 2002
In 2002 we decided to try attacking the unitary dual bycomputer. I knew right away who we needed:
![Page 58: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/58.jpg)
Fokko du Cloux 2002
In 2002 we decided to try attacking the unitary dual bycomputer. I knew right away who we needed:
Fokko du ClouxUniversite de Lyon(author of Coxeter software)
![Page 59: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/59.jpg)
What Fokko did 2003-2005
Abstract MathematicsLie Groups
Representation Theory
![Page 60: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/60.jpg)
What Fokko did 2003-2005
Abstract Mathematics → AlgorithmLie Groups Combinatorial Set
Representation Theory
![Page 61: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/61.jpg)
What Fokko did 2003-2005
Abstract Mathematics → Algorithm → SoftwareLie Groups Combinatorial Set C++ code
Representation Theory
![Page 62: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/62.jpg)
What Fokko did 2003-2005
Abstract Mathematics → Algorithm → SoftwareLie Groups Combinatorial Set C++ code
Representation Theory
The first arrow requires someone with very high level knowledgeof both the mathematics and computers.
![Page 63: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/63.jpg)
Character Table
The details about the representations of G are contained in itscharacter table.
![Page 64: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/64.jpg)
Character Table
The details about the representations of G are contained in itscharacter table. This is a matrix with one row and one columnfor each irreducible representation.
![Page 65: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/65.jpg)
Character Table
The details about the representations of G are contained in itscharacter table. This is a matrix with one row and one columnfor each irreducible representation.
Character table of A5
1 1 1 1 13 −1 0 τ τ3 −1 0 τ τ4 0 1 −1 −15 1 −1 0 0
τ = Golden Ratio 1+√
5
2
τ = 1−√
5
2
![Page 66: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/66.jpg)
The “Genome” of a Lie group
The character table of G is like the genome of a cell.
![Page 67: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/67.jpg)
The “Genome” of a Lie group
The character table of G is like the genome of a cell.
The genome of a cell encodes all of the information the cellneeds to operate.
. . . CTGTACATGACGTAGCGAGCTAC . . .
![Page 68: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/68.jpg)
The “Genome” of a Lie group
The character table of G is like the genome of a cell.
The genome of a cell encodes all of the information the cellneeds to operate.
. . . CTGTACATGACGTAGCGAGCTAC . . .
The character table of G encodes all of the information about Gand its representations.
![Page 69: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/69.jpg)
The “Genome” of a Lie group
The character table of G is like the genome of a cell.
The genome of a cell encodes all of the information the cellneeds to operate.
. . . CTGTACATGACGTAGCGAGCTAC . . .
The character table of G encodes all of the information about Gand its representations.
Just like for the genome, it can be very hard to extract thisinformation: difficult problems in data mining
![Page 70: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/70.jpg)
Lie groups 1890s
Here are some Lie groups(1) Symmetry group of n-dimensional sphere
x21 + · · ·+ x2
n+1 = 1
![Page 71: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/71.jpg)
Lie groups 1890s
Here are some Lie groups(1) Symmetry group of n-dimensional sphere
x21 + · · ·+ x2
n+1 = 1
(The rotation groups SO(n + 1), n = 1, 2, 3, . . . )
![Page 72: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/72.jpg)
Lie groups 1890s
Here are some Lie groups(1) Symmetry group of n-dimensional sphere
x21 + · · ·+ x2
n+1 = 1
(The rotation groups SO(n + 1), n = 1, 2, 3, . . . )
These are labelled:B1, B2, B3, . . . ,(n odd)D1,D2,D3, . . . (n even)
![Page 73: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/73.jpg)
Lie groups 1890s
Here are some Lie groups(1) Symmetry group of n-dimensional sphere
x21 + · · ·+ x2
n+1 = 1
(The rotation groups SO(n + 1), n = 1, 2, 3, . . . )
These are labelled:B1, B2, B3, . . . ,(n odd)D1,D2,D3, . . . (n even)
(2) Invertible linear transformations in dimension n (GL(n)):A1, A2, A3, . . .
![Page 74: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/74.jpg)
Lie groups 1890s
Here are some Lie groups(1) Symmetry group of n-dimensional sphere
x21 + · · ·+ x2
n+1 = 1
(The rotation groups SO(n + 1), n = 1, 2, 3, . . . )
These are labelled:B1, B2, B3, . . . ,(n odd)D1,D2,D3, . . . (n even)
(2) Invertible linear transformations in dimension n (GL(n)):A1, A2, A3, . . .
(3) The symplectic group Sp(2n) (arising in quantummechanics):
C1, C2, C3, . . .
![Page 75: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/75.jpg)
Classical Groups 1890s
These are the Classical Groups:
![Page 76: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/76.jpg)
Classical Groups 1890s
These are the Classical Groups:
A1, A2, A3, . . .B1, B2, B3, . . .C1, C2, C3, . . .D1,D2,D3, . . .
(well known to Sophus Lie)
![Page 77: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/77.jpg)
Classical Groups 1890s
These are the Classical Groups:
A1, A2, A3, . . .B1, B2, B3, . . .C1, C2, C3, . . .D1,D2,D3, . . .
(well known to Sophus Lie)
Surprise (Wilhelm Killing, 1896):There are exactly 5 more Lie groups:
![Page 78: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/78.jpg)
Classical Groups 1890s
These are the Classical Groups:
A1, A2, A3, . . .B1, B2, B3, . . .C1, C2, C3, . . .D1,D2,D3, . . .
(well known to Sophus Lie)
Surprise (Wilhelm Killing, 1896):There are exactly 5 more Lie groups:
Group DimensionG2 14F4 52E6 78E7 133E8 248
These are the exceptional groups
![Page 79: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/79.jpg)
Exceptional Groups 1896
Some of the most complicated and fascinating objects inmathematics
![Page 80: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/80.jpg)
Exceptional Groups 1896
Some of the most complicated and fascinating objects inmathematics
E8 is 248-dimensional: it can be described by equations with2482 = 61, 504 variables x1, x2, . . . , x61,504.
![Page 81: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/81.jpg)
Exceptional Groups 1896
Some of the most complicated and fascinating objects inmathematics
E8 is 248-dimensional: it can be described by equations with2482 = 61, 504 variables x1, x2, . . . , x61,504. It is the symmetrygroup of a 57-dimensional geometric object.
![Page 82: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/82.jpg)
Exceptional Groups 1896
Some of the most complicated and fascinating objects inmathematics
E8 is 248-dimensional: it can be described by equations with2482 = 61, 504 variables x1, x2, . . . , x61,504. It is the symmetrygroup of a 57-dimensional geometric object.
Mathematicians like to think about things like this, and E8
arises in surprising ways in mathematics (geometry, lattices andcodes, sphere packing, . . . )
![Page 83: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/83.jpg)
Exceptional Groups 1896
Some of the most complicated and fascinating objects inmathematics
E8 is 248-dimensional: it can be described by equations with2482 = 61, 504 variables x1, x2, . . . , x61,504. It is the symmetrygroup of a 57-dimensional geometric object.
Mathematicians like to think about things like this, and E8
arises in surprising ways in mathematics (geometry, lattices andcodes, sphere packing, . . . )
Some physicists think that E8 plays an important role inmathematical physics and string theory: as a symmetry groupof the laws of the universe
![Page 84: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/84.jpg)
E8 Summer 2005
We set as our goal:
![Page 85: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/85.jpg)
E8 Summer 2005
We set as our goal:
Compute the Character Table of E8
![Page 86: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/86.jpg)
E8 Summer 2005
We set as our goal:
Compute the Character Table of E8
This is a matrix of polynomials (coefficients are positive wholenumbers), for example
![Page 87: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/87.jpg)
E8 Summer 2005
We set as our goal:
Compute the Character Table of E8
This is a matrix of polynomials (coefficients are positive wholenumbers), for example
1 + q + 37q7 + 19q22 + 101q31
![Page 88: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/88.jpg)
E8 Summer 2005
We set as our goal:
Compute the Character Table of E8
This is a matrix of polynomials (coefficients are positive wholenumbers), for example
1 + q + 37q7 + 19q22 + 101q31
These are called Kazhdan-Lusztig-Vogan (KLV) polynomials
![Page 89: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/89.jpg)
E8 Summer 2005
We set as our goal:
Compute the Character Table of E8
This is a matrix of polynomials (coefficients are positive wholenumbers), for example
1 + q + 37q7 + 19q22 + 101q31
These are called Kazhdan-Lusztig-Vogan (KLV) polynomials
The KLV matrix has 453,060 rows and columns
![Page 90: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/90.jpg)
du Cloux’s work on the KLV matrix Fall 2005
Fokko du Cloux began writing code to compute the KLV matrixin late 2004. Amazingly, by November 2005 it was working.
![Page 91: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/91.jpg)
du Cloux’s work on the KLV matrix Fall 2005
Fokko du Cloux began writing code to compute the KLV matrixin late 2004. Amazingly, by November 2005 it was working.
In November 2005 Fokko computed the KLV matrix for allexceptional groups except E8.
![Page 92: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/92.jpg)
Marc van Leeuwen November 2005
In November of 2005, Fokko was diagnosed with Charcot’sdisease. He continued to work on the E8 calculation into thespring.
![Page 93: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/93.jpg)
Marc van Leeuwen November 2005
In November of 2005, Fokko was diagnosed with Charcot’sdisease. He continued to work on the E8 calculation into thespring.
Marc van LeeuwenUniversite de Poitiers
![Page 94: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/94.jpg)
Marc van Leeuwen November 2005
In November of 2005, Fokko was diagnosed with Charcot’sdisease. He continued to work on the E8 calculation into thespring.
Marc van LeeuwenUniversite de Poitiers
In June 2006 Marc switched from other atlas tasks to workingon E8
![Page 95: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/95.jpg)
Fokko du Cloux May 2006
By May of 2006, Fokkowas confined to his bedin Lyon. With help fromfriends and his dedicatedlife assistant Ange he con-tinued to work on thesoftware, using a videoprojector pointed at theceiling, operated remotelyby his collaborators.
![Page 96: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/96.jpg)
Computing KLV polynomials June 2006
Input: graph S with 453,060 vertices (one for each irreduciblerepresentation of E8)
![Page 97: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/97.jpg)
Computing KLV polynomials June 2006
Input: graph S with 453,060 vertices (one for each irreduciblerepresentation of E8)
v0v1v2v3 v4v5
v6 v7v8 v9v10 v11v12 v13v14 v15 v16v17
v18 v19v20 v21 v22v23 v24v25 v26v27 v28v29 v30v31 v32v33v34 v35v36
v37v38v39v40 v41 v42v43 v44v45 v46v47 v48v49 v50v51 v52v53v54 v55v56 v57 v58 v59v60 v61v62v63
v64v65v66 v67v68 v69 v70v71 v72 v73v74 v75v76v77 v78 v79v80 v81v82 v83v84 v85 v86v87 v88v89 v90v91 v92 v93v94 v95v96 v97
v98 v99 v100v101 v102v103 v104v105 v106v107 v108v109 v110v111 v112v113 v114v115 v116 v117v118 v119v120v121 v122 v123v124 v125v126v127 v128v129v130 v131
v132v133 v134 v135 v136v137 v138 v139 v140v141 v142 v143 v144v145 v146 v147v148 v149v150 v151v152v153 v154v155v156v157 v158v159 v160 v161v162 v163 v164
v165v166v167 v168v169 v170v171v172 v173v174v175 v176 v177v178 v179v180 v181v182 v183 v184v185 v186v187 v188 v189 v190v191 v192 v193
v194 v195 v196 v197v198 v199v200 v201 v202v203 v204 v205v206 v207v208v209 v210v211 v212v213v214 v215v216
v217v218 v219 v220 v221v222 v223v224 v225v226 v227 v228 v229 v230v231 v232 v233
v234 v235v236 v237v238 v239v240 v241 v242 v243v244
v245 v246v247v248 v249
v250
Graph for SO(5, 5) with 251 vertices
![Page 98: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/98.jpg)
Computing KLV polynomials June 2006
v64v65v66 v67v68 v69 v70v71 v72 v73v78 v85v92v94 v95v97
v98 v99 v100v101 v102v103 v104v105 v106v107 v108v109v116 v117v122 v123
v132v133 v134 v135 v136v137 v138 v139 v140v141 v142 v143 v144v145 v146
v165v166v167 v168v169 v170v171v172 v173v174v175 v176 v177v178 v179v180
v194 v195 v196 v197v198 v199v200 v201 v202v203 v204 v205v206 v207v208v209
Closeup of SO(5, 5) graph
![Page 99: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/99.jpg)
Computing KLV polynomials June 2006
Output: Matrix M = M(x, y) of KLV polynomials, with onerow and column for every x ∈ S
![Page 100: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/100.jpg)
Computing KLV polynomials June 2006
Output: Matrix M = M(x, y) of KLV polynomials, with onerow and column for every x ∈ S
M(x, y) = 1 + q + 37q7 + 19q22 + 101q31
(degree ≤ 31)
![Page 101: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/101.jpg)
Recursion Relations June 2006
M(x, x) = 1
![Page 102: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/102.jpg)
Recursion Relations June 2006
M(x, x) = 1
The matrix is lower triangular: M(x, y) = 0 unless x ≤ y
![Page 103: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/103.jpg)
Recursion Relations June 2006
M(x, x) = 1
The matrix is lower triangular: M(x, y) = 0 unless x ≤ y
Recursion relations: compute M(x,y) like this:
![Page 104: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/104.jpg)
Recursion Relations June 2006
M(x, x) = 1
The matrix is lower triangular: M(x, y) = 0 unless x ≤ y
Recursion relations: compute M(x,y) like this:
M(0,0)M(0,1) ←M(1,1)M(0,2) ←M(1,2) ←M(2,2)M(0,3) ←M(1,3) ←M(2,3) ←M(3,3)M(0,4) ←M(1,4) ←M(2,4) ←M(3,4) ←M(4,4)
. . .
![Page 105: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/105.jpg)
Recursion Relations June 2006
Compute M(x, y) in terms of the previously computedM(x′, y′):
M(x, y) =∑
x′,y′
c(x′, y′)M(x′, y′)
![Page 106: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/106.jpg)
Recursion Relations June 2006
Compute M(x, y) in terms of the previously computedM(x′, y′):
M(x, y) =∑
x′,y′
c(x′, y′)M(x′, y′)
M(0,0)M(0,1) M(1,1)M(0,2) M(1,2) M(2,2)M(0,3) M(1,3) M(2,3) M(3,3)M(0,4) M(1,4) M(2,4) M(3,4) M(4,4)
M(0,5) M(1,5) M(2,5) M(3, 5) M(4,5) M(5,5)
![Page 107: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/107.jpg)
Recursion Relations June 2006
Compute M(x, y) in terms of the previously computedM(x′, y′):
M(x, y) =∑
x′,y′
c(x′, y′)M(x′, y′)
M(0,0)M(0,1) M(1,1)M(0,2) M(1,2) M(2,2)M(0,3) M(1,3) M(2,3) M(3,3)M(0,4) M(1,4) M(2,4) M(3,4) M(4,4)
M(0,5) M(1,5) M(2,5) M(3, 5) M(4,5) M(5,5)
The constants c(x′, y′) are very complicated
![Page 108: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/108.jpg)
Recursion Relations June 2006
Compute M(x, y) in terms of the previously computedM(x′, y′):
M(x, y) =∑
x′,y′
c(x′, y′)M(x′, y′)
M(0,0)M(0,1) M(1,1)M(0,2) M(1,2) M(2,2)M(0,3) M(1,3) M(2,3) M(3,3)M(0,4) M(1,4) M(2,4) M(3,4) M(4,4)
M(0,5) M(1,5) M(2,5) M(3, 5) M(4,5) M(5,5)
The constants c(x′, y′) are very complicated
Average number of non-zero terms: 150
![Page 109: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/109.jpg)
Recursion Relations June 2006
Problem: To compute M(x, y) you need to use (potentially)
all of the previously computed M(x′, y′)
![Page 110: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/110.jpg)
Recursion Relations June 2006
Problem: To compute M(x, y) you need to use (potentially)
all of the previously computed M(x′, y′)
Keep all M(x′, y′) in RAM
![Page 111: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/111.jpg)
Recursion Relations June 2006
Problem: To compute M(x, y) you need to use (potentially)
all of the previously computed M(x′, y′)
Keep all M(x′, y′) in RAM
All accessible from a single processor
![Page 112: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/112.jpg)
Recursion Relations June 2006
Problem: To compute M(x, y) you need to use (potentially)
all of the previously computed M(x′, y′)
Keep all M(x′, y′) in RAM
All accessible from a single processor
NOT parallelizable
![Page 113: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/113.jpg)
Ram required July 2006
How much RAM do we need?
![Page 114: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/114.jpg)
Ram required July 2006
How much RAM do we need?
Big Problem: We don’t know a priori how many non-zero termsthere are. Roughly:
![Page 115: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/115.jpg)
Ram required July 2006
How much RAM do we need?
Big Problem: We don’t know a priori how many non-zero termsthere are. Roughly:
453, 0602 = 205, 263, 363, 600 (205 billion)
![Page 116: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/116.jpg)
Ram required July 2006
How much RAM do we need?
Big Problem: We don’t know a priori how many non-zero termsthere are. Roughly:
453, 0602 = 205, 263, 363, 600 (205 billion)
Hope: the coefficients are ≤ 232 ≃ 4 billion (4 bytes of storage)
![Page 117: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/117.jpg)
Ram required July 2006
How much RAM do we need?
Big Problem: We don’t know a priori how many non-zero termsthere are. Roughly:
453, 0602 = 205, 263, 363, 600 (205 billion)
Hope: the coefficients are ≤ 232 ≃ 4 billion (4 bytes of storage)
With some luck, and hard work, it looks like we’ll need
1,000 gigabytes of RAM
(your PC has about 1 gigabyte of RAM)
![Page 118: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/118.jpg)
SAGE August 2006
Dan Barbasch (Cornell) and Birne Binegar (Oklahoma) didsome experiments:
![Page 119: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/119.jpg)
SAGE August 2006
Dan Barbasch (Cornell) and Birne Binegar (Oklahoma) didsome experiments:
Hope: we can make do with “only” 150 gigabytes
![Page 120: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/120.jpg)
SAGE August 2006
Dan Barbasch (Cornell) and Birne Binegar (Oklahoma) didsome experiments:
Hope: we can make do with “only” 150 gigabytes
SAGE University of Washington (William Stein)
![Page 121: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/121.jpg)
SAGE August 2006
Dan Barbasch (Cornell) and Birne Binegar (Oklahoma) didsome experiments:
Hope: we can make do with “only” 150 gigabytes
SAGE University of Washington (William Stein)
64 gigabytes of RAM/75 GB of swap/16 processors
![Page 122: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/122.jpg)
Looking for a Computer November 2006
We considered our options:
![Page 123: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/123.jpg)
Looking for a Computer November 2006
We considered our options:
Can we squeeze the computation into 64 or 128 gigabytes ofRAM?
![Page 124: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/124.jpg)
Looking for a Computer November 2006
We considered our options:
Can we squeeze the computation into 64 or 128 gigabytes ofRAM?
Can we find a machine with that much RAM (all accessiblefrom one processor)?
![Page 125: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/125.jpg)
Looking for a Computer November 2006
We considered our options:
Can we squeeze the computation into 64 or 128 gigabytes ofRAM?
Can we find a machine with that much RAM (all accessiblefrom one processor)?
Should we buy such a machine, for about $150,000?
![Page 126: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/126.jpg)
Mathematics to the rescue December 2006
Moral: Always think more before buying a bigger computer
![Page 127: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/127.jpg)
Mathematics to the rescue December 2006
Moral: Always think more before buying a bigger computer
Noam Elkies (Harvard):
![Page 128: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/128.jpg)
Mathematics to the rescue December 2006
Moral: Always think more before buying a bigger computer
Noam Elkies (Harvard): 1 byte: integer ≤ 256
![Page 129: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/129.jpg)
Mathematics to the rescue December 2006
Moral: Always think more before buying a bigger computer
Noam Elkies (Harvard): 1 byte: integer ≤ 256
Calculate coefficients mod 256 (divide all numbers by 256, keeponly the remainder)
![Page 130: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/130.jpg)
Mathematics to the rescue December 2006
Moral: Always think more before buying a bigger computer
Noam Elkies (Harvard): 1 byte: integer ≤ 256
Calculate coefficients mod 256 (divide all numbers by 256, keeponly the remainder)
4 bytes/number
![Page 131: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/131.jpg)
Mathematics to the rescue December 2006
Moral: Always think more before buying a bigger computer
Noam Elkies (Harvard): 1 byte: integer ≤ 256
Calculate coefficients mod 256 (divide all numbers by 256, keeponly the remainder)
4 bytes/number → 1 byte/number
![Page 132: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/132.jpg)
Mathematics to the rescue December 2006
Moral: Always think more before buying a bigger computer
Noam Elkies (Harvard): 1 byte: integer ≤ 256
Calculate coefficients mod 256 (divide all numbers by 256, keeponly the remainder)
4 bytes/number → 1 byte/number → 25% as much RAM
![Page 133: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/133.jpg)
Mathematics to the rescue December 2006
Moral: Always think more before buying a bigger computer
Noam Elkies (Harvard): 1 byte: integer ≤ 256
Calculate coefficients mod 256 (divide all numbers by 256, keeponly the remainder)
4 bytes/number → 1 byte/number → 25% as much RAM
Do calculation 4 times: mod 251, mod 253, mod 255, and mod256
![Page 134: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/134.jpg)
Chines Remainder Theorem December 2006
Combine the answer using the Chinese Remainder Theorem:
![Page 135: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/135.jpg)
Chines Remainder Theorem December 2006
Combine the answer using the Chinese Remainder Theorem:
Least Common Multiple(251,253,255,256)= 4,145,475,840
![Page 136: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/136.jpg)
Chines Remainder Theorem December 2006
Combine the answer using the Chinese Remainder Theorem:
Least Common Multiple(251,253,255,256)= 4,145,475,840
mod 251
mod 253
mod 255
mod 256
→ mod 4, 145, 475, 840
![Page 137: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/137.jpg)
Computing mod n Dec. 6 - Jan. 3, 2007
By early December Marc van Leeuwen had converted the codeto run mod n
![Page 138: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/138.jpg)
Computing mod n Dec. 6 - Jan. 3, 2007
By early December Marc van Leeuwen had converted the codeto run mod n
Date mod Status Result
![Page 139: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/139.jpg)
Computing mod n Dec. 6 - Jan. 3, 2007
By early December Marc van Leeuwen had converted the codeto run mod n
Date mod Status ResultDec. 6 251 crash
![Page 140: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/140.jpg)
Computing mod n Dec. 6 - Jan. 3, 2007
By early December Marc van Leeuwen had converted the codeto run mod n
Date mod Status ResultDec. 6 251 crashDec. 19 251 complete 16 hours
![Page 141: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/141.jpg)
Computing mod n Dec. 6 - Jan. 3, 2007
By early December Marc van Leeuwen had converted the codeto run mod n
Date mod Status ResultDec. 6 251 crashDec. 19 251 complete 16 hoursDec. 22 256 crash
![Page 142: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/142.jpg)
Computing mod n Dec. 6 - Jan. 3, 2007
By early December Marc van Leeuwen had converted the codeto run mod n
Date mod Status ResultDec. 6 251 crashDec. 19 251 complete 16 hoursDec. 22 256 crashDec. 22 256 complete 11 hours
![Page 143: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/143.jpg)
Computing mod n Dec. 6 - Jan. 3, 2007
By early December Marc van Leeuwen had converted the codeto run mod n
Date mod Status ResultDec. 6 251 crashDec. 19 251 complete 16 hoursDec. 22 256 crashDec. 22 256 complete 11 hoursDec. 26 255 complete 12 hours
![Page 144: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/144.jpg)
Computing mod n Dec. 6 - Jan. 3, 2007
By early December Marc van Leeuwen had converted the codeto run mod n
Date mod Status ResultDec. 6 251 crashDec. 19 251 complete 16 hoursDec. 22 256 crashDec. 22 256 complete 11 hoursDec. 26 255 complete 12 hoursDec. 27 253 crash
![Page 145: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/145.jpg)
Computing mod n Dec. 6 - Jan. 3, 2007
By early December Marc van Leeuwen had converted the codeto run mod n
Date mod Status ResultDec. 6 251 crashDec. 19 251 complete 16 hoursDec. 22 256 crashDec. 22 256 complete 11 hoursDec. 26 255 complete 12 hoursDec. 27 253 crashJan. 3 253 complete 12 hours
![Page 146: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/146.jpg)
Mod n Data January 3, 2007
We now have 132 gigabytes of data(19 gigabytes data + 14 gigabytes index)×4
-rw-r--r-- 1 root atlas 19G Jan 9 2007 E8coef-mod251
-rw-r--r-- 1 root atlas 19G Jan 8 2007 E8coef-mod253
-rw-r--r-- 1 root atlas 19G Jan 8 2007 E8coef-mod255
-rw-r--r-- 1 root atlas 19G Jan 6 2007 E8coef-mod256
-rw-r--r-- 1 root atlas 14G Jan 8 2007 E8mat-mod251
-rw-r--r-- 1 root atlas 14G Jan 6 2007 E8mat-mod253
-rw-r--r-- 1 root atlas 14G Jan 5 2007 E8mat-mod255
-rw-r--r-- 1 root atlas 14G Jan 6 2007 E8mat-mod256
![Page 147: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/147.jpg)
The Answer January 7, 2007
6 AM, Sunday January 7:Marc van Leeuwen started his Chinese Remainder Theoremprogram
![Page 148: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/148.jpg)
The Answer January 7, 2007
6 AM, Sunday January 7:Marc van Leeuwen started his Chinese Remainder Theoremprogram
25 hours later . . .
![Page 149: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/149.jpg)
The Answer January 7, 2007
6 AM, Sunday January 7:Marc van Leeuwen started his Chinese Remainder Theoremprogram
25 hours later . . .
Monday, January 8 at 9 AMSAGE printed out the answer:
![Page 150: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/150.jpg)
The Answer January 7, 2007
6 AM, Sunday January 7:Marc van Leeuwen started his Chinese Remainder Theoremprogram
25 hours later . . .
Monday, January 8 at 9 AMSAGE printed out the answer:
KLV Matrix M(x,y) of size 453,060×453,060
![Page 151: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/151.jpg)
The Answer January 7, 2007
6 AM, Sunday January 7:Marc van Leeuwen started his Chinese Remainder Theoremprogram
25 hours later . . .
Monday, January 8 at 9 AMSAGE printed out the answer:
KLV Matrix M(x,y) of size 453,060×453,06060 gigabytes of data
![Page 152: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/152.jpg)
The Answer January 7, 2007
6 AM, Sunday January 7:Marc van Leeuwen started his Chinese Remainder Theoremprogram
25 hours later . . .
Monday, January 8 at 9 AMSAGE printed out the answer:
KLV Matrix M(x,y) of size 453,060×453,06060 gigabytes of data
(60 times the size of the human genome)
![Page 153: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/153.jpg)
The Answer January 7, 2007
6 AM, Sunday January 7:Marc van Leeuwen started his Chinese Remainder Theoremprogram
25 hours later . . .
Monday, January 8 at 9 AMSAGE printed out the answer:
KLV Matrix M(x,y) of size 453,060×453,06060 gigabytes of data
(60 times the size of the human genome)
Printed out in standard type, this data would cover Manhattan
![Page 154: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/154.jpg)
The Answer January 7, 2007
6 AM, Sunday January 7:Marc van Leeuwen started his Chinese Remainder Theoremprogram
25 hours later . . .
Monday, January 8 at 9 AMSAGE printed out the answer:
KLV Matrix M(x,y) of size 453,060×453,06060 gigabytes of data
(60 times the size of the human genome)
Printed out in standard type, this data would cover Manhattan
(Avec une impression normale, ces donnees couvriraient Lyon)
![Page 155: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/155.jpg)
Some Statistics
Number of distinct polynomials: 1,181,642,979 (1 billion)
![Page 156: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/156.jpg)
Some Statistics
Number of distinct polynomials: 1,181,642,979 (1 billion)
Maximal coefficient: 11,808,808
![Page 157: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/157.jpg)
Some Statistics
Number of distinct polynomials: 1,181,642,979 (1 billion)
Maximal coefficient: 11,808,808
Polynomial with the maximal coefficient:152q22 + 3, 472q21 + 38, 791q20 + 293, 021q19 + 1, 370, 892q18 +4, 067, 059q17 + 7, 964, 012q16 + 11, 159, 003q15 +11, 808, 808q14 + 9, 859, 915q13 + 6, 778, 956q12 + 3, 964, 369q11 +2, 015, 441q10 + 906, 567q9 + 363, 611q8 + 129, 820q7 +41, 239q6 + 11, 426q5 + 2, 677q4 + 492q3 + 61q2 + 3q
![Page 158: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/158.jpg)
Some Statistics
Number of distinct polynomials: 1,181,642,979 (1 billion)
Maximal coefficient: 11,808,808
Polynomial with the maximal coefficient:152q22 + 3, 472q21 + 38, 791q20 + 293, 021q19 + 1, 370, 892q18 +4, 067, 059q17 + 7, 964, 012q16 + 11, 159, 003q15 +11, 808, 808q14 + 9, 859, 915q13 + 6, 778, 956q12 + 3, 964, 369q11 +2, 015, 441q10 + 906, 567q9 + 363, 611q8 + 129, 820q7 +41, 239q6 + 11, 426q5 + 2, 677q4 + 492q3 + 61q2 + 3q
Value of this polynomial at q=1: 60,779,787
![Page 159: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/159.jpg)
Some KLV polynomials
q^19+q^17+q^16+3q^15+3q^14+q^13+7q^12+5q^11+8q^10+7q^9+12q^8+10q^7+8q^6+10q^5+5q^4+4q^3+2q^2+2q+1
q^19+q^17+q^16+4q^15+2q^14+7q^13+11q^12+10q^11+5q^10+9q^9+8q^8+6q^7+2q^6+6q^5+5q^4+2q^3+q+1
q^19+q^17+q^16+4q^15+4q^14+12q^13+11q^12+13q^11+15q^10+12q^9+10q^8+9q^7+9q^6+7q^5+4q^4+q^3+q^2+q
q^20+2q^19+2q^18+q^17+2q^12+6q^11+10q^10+12q^9+12q^8+12q^7+11q^6+9q^5+7q^4+5q^3+3q^2+q
q^20+2q^19+2q^18+q^17+2q^12+6q^11+10q^10+12q^9+12q^8+13q^7+12q^6+9q^5+7q^4+5q^3+3q^2+q
q^20+2q^19+2q^18+q^17+2q^12+6q^11+10q^10+12q^9+13q^8+14q^7+12q^6+9q^5+7q^4+5q^3+3q^2+q
q^20+2q^19+2q^18+q^17+q^13+2q^12+3q^11+4q^10+4q^9+4q^8+4q^7+4q^6+2q^5+q^4+q^3+q^2+q
q^19+q^17+2q^16+2q^15+2q^14+2q^13+2q^12+4q^11+6q^10+10q^9+12q^8+11q^7+9q^6+7q^5+5q^4+2q^3+q^2+q
q^19+q^17+2q^16+2q^15+2q^14+2q^13+2q^12+4q^11+7q^10+11q^9+13q^8+11q^7+9q^6+7q^5+5q^4+2q^3+q^2+q
q^19+q^17+2q^16+2q^15+2q^14+3q^13+2q^12+2q^11+2q^10+3q^9+6q^8+6q^7+4q^6+6q^5+6q^4+3q^3+3q^2+2q+1
q^18+2q^17+4q^16+6q^15+7q^14+9q^13+11q^12+13q^11+14q^10+16q^9+16q^8+14q^7+10q^6+9q^5+6q^4+3q^3+2q^2+2q+1
q^18+2q^17+4q^16+6q^15+7q^14+9q^13+11q^12+13q^11+15q^10+17q^9+17q^8+14q^7+11q^6+9q^5+6q^4+3q^3+2q^2+2q+1
q^18+2q^17+4q^16+6q^15+7q^14+10q^13+12q^12+18q^11+22q^10+26q^9+26q^8+23q^7+19q^6+13q^5+9q^4+6q^3+3q^2+q
q^20+2q^19+2q^18+q^17+2q^12+6q^11+10q^10+13q^9+14q^8+14q^7+12q^6+9q^5+7q^4+5q^3+3q^2+q
q^19+q^17+2q^16+3q^15+4q^14+3q^13+2q^12+2q^11+q^10+q^9+q^8+3q^7+4q^6+6q^5+4q^4+5q^3+3q^2+q
q^19+q^17+2q^16+3q^15+4q^14+3q^13+8q^12+8q^11+7q^10+6q^9+8q^8+8q^7+2q^6+4q^5+3q^4+2q^3+q^2+1
q^19+q^17+2q^16+3q^15+4q^14+4q^13+10q^12+11q^11+13q^10+17q^9+18q^8+18q^7+15q^6+13q^5+8q^4+5q^3+4q^2+2q+1
q^19+q^17+2q^16+4q^15+2q^14+4q^13+2q^12+3q^11+3q^10+4q^9+4q^8+6q^7+2q^6+6q^5+3q^4+2q^3+q^2+2q+1
q^19+q^17+2q^16+4q^15+2q^14+6q^13+16q^12+13q^11+11q^10+17q^9+22q^8+14q^7+7q^6+13q^5+10q^4+3q^3+q^2+2q+1
q^19+q^17+2q^16+4q^15+4q^14+4q^13+5q^12+5q^11+6q^10+5q^9+7q^8+9q^7+11q^6+11q^5+9q^4+6q^3+3q^2+q
q^19+q^17+2q^16+5q^15+5q^14+6q^13+15q^12+15q^11+15q^10+14q^9+18q^8+11q^7+7q^6+10q^5+6q^4+3q^3+q^2+2q+1
q^25+q^21+q^18+2q^17+q^16+q^14+3q^13+q^12+q^11+3q^10+4q^9+q^8+q^6+q^5+q^2+q
q^25+q^21+q^18+2q^17+q^16+q^14+3q^13+q^12+q^11+4q^10+4q^9+q^8+2q^6+q^5+q^2+q
q^25+2q^21+2q^20+q^18+3q^17+3q^16+q^15+q^14+4q^13+4q^12+q^11+q^10+3q^9+3q^8+q^7+2q^5+2q^4+1
q^25+q^23+q^21+q^20+2q^19+2q^18+3q^17+2q^16+q^15+q^10+2q^9+3q^8+2q^7+2q^6+q^5+q^4+q^2+q
q^19+q^17+q^16+4q^15+2q^14+7q^13+11q^12+10q^11+5q^10+9q^9+8q^8+6q^7+2q^6+6q^5+5q^4+2q^3+q+1
q^18+2q^17+4q^16+6q^15+7q^14+9q^13+11q^12+13q^11+14q^10+15q^9+15q^8+13q^7+10q^6+8q^5+6q^4+3q^3+2q^2+2q+1
q^19+q^17+3q^16+q^15+2q^14+5q^13+6q^12+4q^11+3q^10+7q^9+7q^8+2q^7+2q^6+4q^5+3q^4+q
![Page 160: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/160.jpg)
Fokko du Cloux November 10, 2006
Fokko du ClouxDecember 20, 1954 - November 10, 2006
![Page 161: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/161.jpg)
Where do we go from here?
The E8 calculation is just the beginning of the story. . .We now want to use this data to answer some questions, for anyLie group G:
1 What are the Unipotent Representations of G?
![Page 162: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/162.jpg)
Where do we go from here?
The E8 calculation is just the beginning of the story. . .We now want to use this data to answer some questions, for anyLie group G:
1 What are the Unipotent Representations of G?
2 Are they unitary? (Arthur’s conjecture)
![Page 163: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/163.jpg)
Where do we go from here?
The E8 calculation is just the beginning of the story. . .We now want to use this data to answer some questions, for anyLie group G:
1 What are the Unipotent Representations of G?
2 Are they unitary? (Arthur’s conjecture)
3 What is the unitary dual of G (all unitary representations)?
![Page 164: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/164.jpg)
Where do we go from here?
The E8 calculation is just the beginning of the story. . .We now want to use this data to answer some questions, for anyLie group G:
1 What are the Unipotent Representations of G?
2 Are they unitary? (Arthur’s conjecture)
3 What is the unitary dual of G (all unitary representations)?
4 Can we apply what we’ve learned to other related fields(e.g. p-adic groups)?
![Page 165: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/165.jpg)
Where do we go from here?
The E8 calculation is just the beginning of the story. . .We now want to use this data to answer some questions, for anyLie group G:
1 What are the Unipotent Representations of G?
2 Are they unitary? (Arthur’s conjecture)
3 What is the unitary dual of G (all unitary representations)?
4 Can we apply what we’ve learned to other related fields(e.g. p-adic groups)?
5 What does this tell us about number theory andautomorphic forms?
![Page 166: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/166.jpg)
Where do we go from here?
We would like to learn more about how computers can helpanswer some of the most fundamental questions in puremathematics.
![Page 167: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/167.jpg)
Where do we go from here?
We would like to learn more about how computers can helpanswer some of the most fundamental questions in puremathematics.
We will almost certainly need some new mathematics, somenew computer science (and some bigger computers) to addressthese issues.
![Page 168: Atlas Project Membersatlas.math.umd.edu/talks/fondation.pdf · Goals of the Atlas Project Goals Tools for education: teaching Lie groups to graduate students and researchers Tools](https://reader036.vdocuments.mx/reader036/viewer/2022081402/605f7d65c7cb6b3fe3786c38/html5/thumbnails/168.jpg)
Where do we go from here?
We would like to learn more about how computers can helpanswer some of the most fundamental questions in puremathematics.
We will almost certainly need some new mathematics, somenew computer science (and some bigger computers) to addressthese issues.
www.liegroups.org