the e fokko du cloux overview of the atlas project ... · overview of the atlas project overview of...
TRANSCRIPT
![Page 1: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/1.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
The Atlas of Lie Groups and Representationswww.liegroups.org
![Page 2: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/2.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Atlas Project Members
Jeffrey AdamsDan BarbaschBirne BinegarBill CasselmanDan CiubotaruScott CroftsFokko du ClouxAlfred NoelTatiana HowardAlessandra PantanoAnnegret Paul
Patrick PoloSiddhartha SahiSusana SalamancaJohn StembridgePeter TrapaMarc van LeeuwenDavid VoganWai-Ling YeeJiu-Kang YuGregg Zuckerman
red: directly worked on the E8 calculation
![Page 3: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/3.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
E8 was a worldwide media event in March, 2007:
New York Times ScienceSection (March 20)
Science
Nature (online)
Le Monde
London Times
Los Angeles Times
Scientific American(online)
Al Arabiya TV (satellite,Dubai)
Economist
Yahoo news (top 5 news,top emailed news story forseveral days)
Good Morning America
Fox News
NPR
Front page of the NSF site
AP and other wire services
![Page 4: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/4.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
E8 was a worldwide media event in March, 2007:
New York Times ScienceSection (March 20)
Science
Nature (online)
Le Monde
London Times
Los Angeles Times
Scientific American(online)
Al Arabiya TV (satellite,Dubai)
Economist
Yahoo news (top 5 news,top emailed news story forseveral days)
Good Morning America
Fox News
NPR
Front page of the NSF site
AP and other wire services
![Page 5: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/5.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Why did E8 take off in the press?
We don’t knowGreat graphic (PeterMcMullen/JohnStembridge)Catchy title: ACaclulation the Size ofManhattan (onEurekalert)Computationalaspect,huge amount ofdata, analogy with thegenome project
Collaborative nature ofthe projectSymmetry and themysterious 248dimensional object“100 year old problem”
![Page 6: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/6.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Why did E8 take off in the press?
We don’t know
Great graphic (PeterMcMullen/JohnStembridge)Catchy title: ACaclulation the Size ofManhattan (onEurekalert)Computationalaspect,huge amount ofdata, analogy with thegenome project
Collaborative nature ofthe projectSymmetry and themysterious 248dimensional object“100 year old problem”
![Page 7: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/7.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Why did E8 take off in the press?
We don’t knowGreat graphic (PeterMcMullen/JohnStembridge)
Catchy title: ACaclulation the Size ofManhattan (onEurekalert)Computationalaspect,huge amount ofdata, analogy with thegenome project
Collaborative nature ofthe projectSymmetry and themysterious 248dimensional object“100 year old problem”
![Page 8: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/8.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Why did E8 take off in the press?
We don’t knowGreat graphic (PeterMcMullen/JohnStembridge)Catchy title: ACaclulation the Size ofManhattan (onEurekalert)
Computationalaspect,huge amount ofdata, analogy with thegenome project
Collaborative nature ofthe projectSymmetry and themysterious 248dimensional object“100 year old problem”
![Page 9: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/9.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Why did E8 take off in the press?
We don’t knowGreat graphic (PeterMcMullen/JohnStembridge)Catchy title: ACaclulation the Size ofManhattan (onEurekalert)Computationalaspect,huge amount ofdata, analogy with thegenome project
Collaborative nature ofthe projectSymmetry and themysterious 248dimensional object“100 year old problem”
![Page 10: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/10.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Why did E8 take off in the press?
We don’t knowGreat graphic (PeterMcMullen/JohnStembridge)Catchy title: ACaclulation the Size ofManhattan (onEurekalert)Computationalaspect,huge amount ofdata, analogy with thegenome project
Collaborative nature ofthe project
Symmetry and themysterious 248dimensional object“100 year old problem”
![Page 11: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/11.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Why did E8 take off in the press?
We don’t knowGreat graphic (PeterMcMullen/JohnStembridge)Catchy title: ACaclulation the Size ofManhattan (onEurekalert)Computationalaspect,huge amount ofdata, analogy with thegenome project
Collaborative nature ofthe projectSymmetry and themysterious 248dimensional object
“100 year old problem”
![Page 12: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/12.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Why did E8 take off in the press?
We don’t knowGreat graphic (PeterMcMullen/JohnStembridge)Catchy title: ACaclulation the Size ofManhattan (onEurekalert)Computationalaspect,huge amount ofdata, analogy with thegenome project
Collaborative nature ofthe projectSymmetry and themysterious 248dimensional object“100 year old problem”
![Page 13: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/13.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Why did E8 take off in the press?
Great external reviewers (Peter Sarnak, Hermann Nicolai,Gregg Zuckerman)
Groundwork (Brian Conrey and David Farmer of AIM)Connection with string theoryIt was not necessary to overly simplify the material orinvent ties to other branches of mathematics or science
![Page 14: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/14.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Why did E8 take off in the press?
Great external reviewers (Peter Sarnak, Hermann Nicolai,Gregg Zuckerman)Groundwork (Brian Conrey and David Farmer of AIM)
Connection with string theoryIt was not necessary to overly simplify the material orinvent ties to other branches of mathematics or science
![Page 15: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/15.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Why did E8 take off in the press?
Great external reviewers (Peter Sarnak, Hermann Nicolai,Gregg Zuckerman)Groundwork (Brian Conrey and David Farmer of AIM)Connection with string theory
It was not necessary to overly simplify the material orinvent ties to other branches of mathematics or science
![Page 16: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/16.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Why did E8 take off in the press?
Great external reviewers (Peter Sarnak, Hermann Nicolai,Gregg Zuckerman)Groundwork (Brian Conrey and David Farmer of AIM)Connection with string theoryIt was not necessary to overly simplify the material orinvent ties to other branches of mathematics or science
![Page 17: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/17.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
![Page 18: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/18.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
What Fokko did
Abstract Mathematics
Harish-ChandraLanglands
Knapp/Zuckerman/VoganVogan
Adams/Barbasch/Vogan
−→Algorithm
Combinatorial set
![Page 19: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/19.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
What Fokko did
Abstract Mathematics
Harish-ChandraLanglands
Knapp/Zuckerman/VoganVogan
Adams/Barbasch/Vogan
−→Algorithm
Combinatorial set−→
Software
C++ code
![Page 20: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/20.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Fokko du ClouxDecember 20, 1954–November 10, 2006
![Page 21: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/21.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Overview of the Atlas Project
G is a real (reductive) Lie group, such as:
GL(n, R) (n× n invertible matrices)
SO(p, q) (matrices preserving a quadratic form of signature(p, q))
Sp(2n, R) (matrices preserving a skew-symmetric forms)
A representation π of G is a homomorphism π : G → GL(H)(invertible operators on a Hilbert space H). It is unitary if it islength preserving: |π(g)v| = |v| for all v ∈ H. It is irreducible ifthere are no closed invariant subspaces.
![Page 22: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/22.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Overview of the Atlas Project
G is a real (reductive) Lie group, such as:
GL(n, R) (n× n invertible matrices)
SO(p, q) (matrices preserving a quadratic form of signature(p, q))
Sp(2n, R) (matrices preserving a skew-symmetric forms)
A representation π of G is a homomorphism π : G → GL(H)(invertible operators on a Hilbert space H). It is unitary if it islength preserving: |π(g)v| = |v| for all v ∈ H. It is irreducible ifthere are no closed invariant subspaces.
![Page 23: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/23.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Overview of the Atlas Project
G is a real (reductive) Lie group, such as:
GL(n, R) (n× n invertible matrices)
SO(p, q) (matrices preserving a quadratic form of signature(p, q))
Sp(2n, R) (matrices preserving a skew-symmetric forms)
A representation π of G is a homomorphism π : G → GL(H)(invertible operators on a Hilbert space H). It is unitary if it islength preserving: |π(g)v| = |v| for all v ∈ H. It is irreducible ifthere are no closed invariant subspaces.
![Page 24: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/24.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Overview of the Atlas Project
G is a real (reductive) Lie group, such as:
GL(n, R) (n× n invertible matrices)
SO(p, q) (matrices preserving a quadratic form of signature(p, q))
Sp(2n, R) (matrices preserving a skew-symmetric forms)
A representation π of G is a homomorphism π : G → GL(H)(invertible operators on a Hilbert space H). It is unitary if it islength preserving: |π(g)v| = |v| for all v ∈ H. It is irreducible ifthere are no closed invariant subspaces.
![Page 25: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/25.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Overview of the Atlas Project
G is a real (reductive) Lie group, such as:
GL(n, R) (n× n invertible matrices)
SO(p, q) (matrices preserving a quadratic form of signature(p, q))
Sp(2n, R) (matrices preserving a skew-symmetric forms)
A representation π of G is a homomorphism π : G → GL(H)(invertible operators on a Hilbert space H). It is unitary if it islength preserving: |π(g)v| = |v| for all v ∈ H. It is irreducible ifthere are no closed invariant subspaces.
![Page 26: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/26.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Example: H = L2(G), π(g)(f)(x) = f(g−1x) This is theregular representation. It is highly reducible:
L2(G) '∫
Gπdµ(π)
where dµ(π) is a measure on the space G of irreducible unitaryrepresentations of G.More generally if G acts on X, preserving a measure µ, studyaction of G on X by linearizing, i.e. study representation of Gon L2(X).
![Page 27: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/27.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Problem: Compute the set of irreducible unitaryrepresentations of G.
Known:SL(2, R) (Bargmann, 1947)GL(n, R) (Vogan, 1986)real rank 1: SU(n, 1), SO(n, 1), Sp(n, 1)
Complex classical groups: SL(n, C), SO(n, C), Sp(2n, C)(Barbasch, 1989)
A few other small cases, no other infinite families
![Page 28: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/28.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Problem: Compute the set of irreducible unitaryrepresentations of G. Known:
SL(2, R) (Bargmann, 1947)
GL(n, R) (Vogan, 1986)real rank 1: SU(n, 1), SO(n, 1), Sp(n, 1)
Complex classical groups: SL(n, C), SO(n, C), Sp(2n, C)(Barbasch, 1989)
A few other small cases, no other infinite families
![Page 29: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/29.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Problem: Compute the set of irreducible unitaryrepresentations of G. Known:
SL(2, R) (Bargmann, 1947)GL(n, R) (Vogan, 1986)
real rank 1: SU(n, 1), SO(n, 1), Sp(n, 1)
Complex classical groups: SL(n, C), SO(n, C), Sp(2n, C)(Barbasch, 1989)
A few other small cases, no other infinite families
![Page 30: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/30.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Problem: Compute the set of irreducible unitaryrepresentations of G. Known:
SL(2, R) (Bargmann, 1947)GL(n, R) (Vogan, 1986)real rank 1: SU(n, 1), SO(n, 1), Sp(n, 1)
Complex classical groups: SL(n, C), SO(n, C), Sp(2n, C)(Barbasch, 1989)
A few other small cases, no other infinite families
![Page 31: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/31.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Problem: Compute the set of irreducible unitaryrepresentations of G. Known:
SL(2, R) (Bargmann, 1947)GL(n, R) (Vogan, 1986)real rank 1: SU(n, 1), SO(n, 1), Sp(n, 1)
Complex classical groups: SL(n, C), SO(n, C), Sp(2n, C)(Barbasch, 1989)
A few other small cases, no other infinite families
![Page 32: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/32.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Unitary dual of SL(2, R)
Z− 0
![Page 33: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/33.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Spherical unitary dual of G2
![Page 34: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/34.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Theorem [. . . Vogan, 1980s]
Fix G. There is a finite algorithm to compute G.
Note: GL(7, R), not GL(n, R)
Not at all clear this algorithm can be made explicit, not tomention implemented on a computer.
Atlas of Lie Groups and Representations:
Take this idea seriously!
![Page 35: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/35.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Theorem [. . . Vogan, 1980s]
Fix G. There is a finite algorithm to compute G.
Note: GL(7, R), not GL(n, R)
Not at all clear this algorithm can be made explicit, not tomention implemented on a computer.
Atlas of Lie Groups and Representations:
Take this idea seriously!
![Page 36: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/36.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Theorem [. . . Vogan, 1980s]
Fix G. There is a finite algorithm to compute G.
Note: GL(7, R), not GL(n, R)
Not at all clear this algorithm can be made explicit, not tomention implemented on a computer.
Atlas of Lie Groups and Representations:
Take this idea seriously!
![Page 37: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/37.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Theorem [. . . Vogan, 1980s]
Fix G. There is a finite algorithm to compute G.
Note: GL(7, R), not GL(n, R)
Not at all clear this algorithm can be made explicit, not tomention implemented on a computer.
Atlas of Lie Groups and Representations:
Take this idea seriously!
![Page 38: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/38.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Theorem [. . . Vogan, 1980s]
Fix G. There is a finite algorithm to compute G.
Note: GL(7, R), not GL(n, R)
Not at all clear this algorithm can be made explicit, not tomention implemented on a computer.
Atlas of Lie Groups and Representations:
Take this idea seriously!
![Page 39: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/39.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Goals:
1 Theoretical: Compute the unitary dual
2 Educational:1 Provide software to compute with Lie groups and their
representations.2 Provide information and interactive tools on a web site for
non-experts.
![Page 40: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/40.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Goals:
1 Theoretical: Compute the unitary dual2 Educational:
1 Provide software to compute with Lie groups and theirrepresentations.
2 Provide information and interactive tools on a web site fornon-experts.
![Page 41: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/41.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Goals:
1 Theoretical: Compute the unitary dual2 Educational:
1 Provide software to compute with Lie groups and theirrepresentations.
2 Provide information and interactive tools on a web site fornon-experts.
![Page 42: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/42.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Goals:
1 Theoretical: Compute the unitary dual2 Educational:
1 Provide software to compute with Lie groups and theirrepresentations.
2 Provide information and interactive tools on a web site fornon-experts.
![Page 43: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/43.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
The Groups
The following are in bijection:
1 Irreducible root systems
2 Irreducible Dynkin diagrams3 Simple complex Lie algebras4 Simple complex Lie groups5 An, Bn, Cn, Dn, n = 1, 2, 3, . . . (classical) G2, F4, E6, E7, E8
(exceptional)
![Page 44: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/44.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
The Groups
The following are in bijection:
1 Irreducible root systems2 Irreducible Dynkin diagrams
3 Simple complex Lie algebras4 Simple complex Lie groups5 An, Bn, Cn, Dn, n = 1, 2, 3, . . . (classical) G2, F4, E6, E7, E8
(exceptional)
![Page 45: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/45.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
The Groups
The following are in bijection:
1 Irreducible root systems2 Irreducible Dynkin diagrams3 Simple complex Lie algebras
4 Simple complex Lie groups5 An, Bn, Cn, Dn, n = 1, 2, 3, . . . (classical) G2, F4, E6, E7, E8
(exceptional)
![Page 46: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/46.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
The Groups
The following are in bijection:
1 Irreducible root systems2 Irreducible Dynkin diagrams3 Simple complex Lie algebras4 Simple complex Lie groups
5 An, Bn, Cn, Dn, n = 1, 2, 3, . . . (classical) G2, F4, E6, E7, E8
(exceptional)
![Page 47: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/47.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
The Groups
The following are in bijection:
1 Irreducible root systems2 Irreducible Dynkin diagrams3 Simple complex Lie algebras4 Simple complex Lie groups5 An, Bn, Cn, Dn, n = 1, 2, 3, . . . (classical) G2, F4, E6, E7, E8
(exceptional)
![Page 48: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/48.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Dynkin Diagrams
![Page 49: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/49.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Rank Two Root Systems
![Page 50: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/50.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Build all groups out of simple ones (similar to finite groups)
PSL(2, C) = SL(2, C)/± I
SL(2, C)× SL(2, C)/(−I,−I)
GL(n, C) = SL(n, C)× C×/(ζ, ζI)
{(g, h) ∈ GL(n, C)×GL(m, C) | det(g) det(h) = 1}
![Page 51: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/51.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Build all groups out of simple ones (similar to finite groups)
PSL(2, C) = SL(2, C)/± I
SL(2, C)× SL(2, C)/(−I,−I)
GL(n, C) = SL(n, C)× C×/(ζ, ζI)
{(g, h) ∈ GL(n, C)×GL(m, C) | det(g) det(h) = 1}
![Page 52: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/52.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Build all groups out of simple ones (similar to finite groups)
PSL(2, C) = SL(2, C)/± I
SL(2, C)× SL(2, C)/(−I,−I)
GL(n, C) = SL(n, C)× C×/(ζ, ζI)
{(g, h) ∈ GL(n, C)×GL(m, C) | det(g) det(h) = 1}
![Page 53: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/53.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Build all groups out of simple ones (similar to finite groups)
PSL(2, C) = SL(2, C)/± I
SL(2, C)× SL(2, C)/(−I,−I)
GL(n, C) = SL(n, C)× C×/(ζ, ζI)
{(g, h) ∈ GL(n, C)×GL(m, C) | det(g) det(h) = 1}
![Page 54: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/54.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Build all groups out of simple ones (similar to finite groups)
PSL(2, C) = SL(2, C)/± I
SL(2, C)× SL(2, C)/(−I,−I)
GL(n, C) = SL(n, C)× C×/(ζ, ζI)
{(g, h) ∈ GL(n, C)×GL(m, C) | det(g) det(h) = 1}
![Page 55: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/55.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Grothendieck classified complex reductive (algebraic) groups interms of root data:
(X, Φ, X∨,Φ∨)
where X, X∨ ' Zn, Φ and Φ∨ are finite subsets of X, X∨, inbijection (α → α∨), satisfying properties:〈α, α∨〉 ∈ Zsα(Φ∨) = Φ∨, sα∨(Φ) = Φ
Data: two m× n matrices of integers.
Beautifully suited to a computer!
![Page 56: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/56.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Grothendieck classified complex reductive (algebraic) groups interms of root data:
(X, Φ, X∨,Φ∨)
where X, X∨ ' Zn, Φ and Φ∨ are finite subsets of X, X∨, inbijection (α → α∨), satisfying properties:〈α, α∨〉 ∈ Zsα(Φ∨) = Φ∨, sα∨(Φ) = Φ
Data: two m× n matrices of integers.
Beautifully suited to a computer!
![Page 57: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/57.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Each complex group has various real forms:
SL(n, C) → SL(n, R), SU(p, q), SL(n/2, H)
SO(n, C) → SO(p, q), SO∗(n)
There is always a unique compact real form (SU(n), SO(n))
There is always a unique split real form (SL(n, R), SO(n, n))
![Page 58: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/58.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Each complex group has various real forms:
SL(n, C) → SL(n, R), SU(p, q), SL(n/2, H)
SO(n, C) → SO(p, q), SO∗(n)
There is always a unique compact real form (SU(n), SO(n))
There is always a unique split real form (SL(n, R), SO(n, n))
![Page 59: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/59.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Each complex group has various real forms:
SL(n, C) → SL(n, R), SU(p, q), SL(n/2, H)
SO(n, C) → SO(p, q), SO∗(n)
There is always a unique compact real form (SU(n), SO(n))
There is always a unique split real form (SL(n, R), SO(n, n))
![Page 60: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/60.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Each complex group has various real forms:
SL(n, C) → SL(n, R), SU(p, q), SL(n/2, H)
SO(n, C) → SO(p, q), SO∗(n)
There is always a unique compact real form (SU(n), SO(n))
There is always a unique split real form (SL(n, R), SO(n, n))
![Page 61: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/61.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Each complex group has various real forms:
SL(n, C) → SL(n, R), SU(p, q), SL(n/2, H)
SO(n, C) → SO(p, q), SO∗(n)
There is always a unique compact real form (SU(n), SO(n))
There is always a unique split real form (SL(n, R), SO(n, n))
![Page 62: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/62.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
First goal: write software to input an arbitrary real reductivegroup, and compute its structure theory.
![Page 63: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/63.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
The unitary representations occuring in L2(G) are known(Harish-Chandra, 1970s). These are called tempered: Gt ⊂ Gu.
Unitary representations are contained in a larger class, calledadmissible: Gu ⊂ Ga. These are also known (Langlands,Knapp, Zuckerman, Vogan)
Gt ⊂ Gu ⊂ Ga
To compute Gu: take each representation π ∈ Ga, and test if itis unitary. Not obvious this is a finite calculation even for asingle π (not to mention uncountably many π).
![Page 64: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/64.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Finite Calculation
How do we reduce to a finite calculation?
Basic reduction: The number of irreducible representations withfixed “central character” for the Lie algebra is finite. Ourcalculations all take place in one of these fixed sets.
We will always work in the set of representations with the same“central character” as the trivial representation. This is thehardest case, others reduce to this.
![Page 65: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/65.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Finite Calculation
How do we reduce to a finite calculation?
Basic reduction: The number of irreducible representations withfixed “central character” for the Lie algebra is finite. Ourcalculations all take place in one of these fixed sets.
We will always work in the set of representations with the same“central character” as the trivial representation. This is thehardest case, others reduce to this.
![Page 66: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/66.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Finite Calculation
How do we reduce to a finite calculation?
Basic reduction: The number of irreducible representations withfixed “central character” for the Lie algebra is finite. Ourcalculations all take place in one of these fixed sets.
We will always work in the set of representations with the same“central character” as the trivial representation. This is thehardest case, others reduce to this.
![Page 67: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/67.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Second Goal: find an algorithm to compute Ga, and writesoftware to implement it.
More precisely: compute the finite set of irreducible admissiblerepresentations Ga,1 with trivial “central character”.
Although the mathematics is “known”, we greatly deepened ourunderstanding of the mathematics in doing this.For example: figuring out the data structures to adequatelycapture the mathematics required us to rethink themathematics carefully.
![Page 68: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/68.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Second Goal: find an algorithm to compute Ga, and writesoftware to implement it.
More precisely: compute the finite set of irreducible admissiblerepresentations Ga,1 with trivial “central character”.
Although the mathematics is “known”, we greatly deepened ourunderstanding of the mathematics in doing this.For example: figuring out the data structures to adequatelycapture the mathematics required us to rethink themathematics carefully.
![Page 69: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/69.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Second Goal: find an algorithm to compute Ga, and writesoftware to implement it.
More precisely: compute the finite set of irreducible admissiblerepresentations Ga,1 with trivial “central character”.
Although the mathematics is “known”, we greatly deepened ourunderstanding of the mathematics in doing this.For example: figuring out the data structures to adequatelycapture the mathematics required us to rethink themathematics carefully.
![Page 70: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/70.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Old days: representation of G on L2(X) (for example)
Example: G = SL(2, R) on L2(R):
πν(g)f(x) = | − bx + d|νf((ax− c)/(−bx + d))
where g =
(a bc d
)Today: π = ·
We parametrize Ga,1 by a finite set X . Throw away π, and keeponly the parameter space X .
![Page 71: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/71.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Old days: representation of G on L2(X) (for example)
Example: G = SL(2, R) on L2(R):
πν(g)f(x) = | − bx + d|νf((ax− c)/(−bx + d))
where g =
(a bc d
)
Today: π = ·
We parametrize Ga,1 by a finite set X . Throw away π, and keeponly the parameter space X .
![Page 72: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/72.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Old days: representation of G on L2(X) (for example)
Example: G = SL(2, R) on L2(R):
πν(g)f(x) = | − bx + d|νf((ax− c)/(−bx + d))
where g =
(a bc d
)Today: π = ·
We parametrize Ga,1 by a finite set X . Throw away π, and keeponly the parameter space X .
![Page 73: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/73.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Old days: representation of G on L2(X) (for example)
Example: G = SL(2, R) on L2(R):
πν(g)f(x) = | − bx + d|νf((ax− c)/(−bx + d))
where g =
(a bc d
)Today: π = ·
We parametrize Ga,1 by a finite set X . Throw away π, and keeponly the parameter space X .
![Page 74: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/74.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Algorithm to compute Ga,1
The heart of the algorithm is illustrated by this example.
G = GL(n, C)
B = upper triangular matrices
X = G/B is a projective variety, a generalized Grassmannian
Hm = GL(m, C)×GL(n−m, C)
Problem: Compute the orbits of Hm on X. This is a finite set.Compute the closure relations.
![Page 75: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/75.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Algorithm to compute Ga,1
The heart of the algorithm is illustrated by this example.
G = GL(n, C)
B = upper triangular matrices
X = G/B is a projective variety, a generalized Grassmannian
Hm = GL(m, C)×GL(n−m, C)
Problem: Compute the orbits of Hm on X. This is a finite set.Compute the closure relations.
![Page 76: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/76.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Algorithm to compute Ga,1
The heart of the algorithm is illustrated by this example.
G = GL(n, C)
B = upper triangular matrices
X = G/B is a projective variety, a generalized Grassmannian
Hm = GL(m, C)×GL(n−m, C)
Problem: Compute the orbits of Hm on X. This is a finite set.Compute the closure relations.
![Page 77: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/77.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Combinatorial Solution:
W = generalized permutation matrices (one non-zero entry ineach row and column)' Sn o C×n
D = diagonal matricesX = {x ∈ W |x2 = 1}/D
Fact: X is in natural bijection with ∪mX/Hm
Computing X is an explicit combinatorial problem in finitegroup theory, a little harder than computing the elements oforder 2 in Sn.
![Page 78: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/78.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Combinatorial Solution:
W = generalized permutation matrices (one non-zero entry ineach row and column)' Sn o C×n
D = diagonal matricesX = {x ∈ W |x2 = 1}/D
Fact: X is in natural bijection with ∪mX/Hm
Computing X is an explicit combinatorial problem in finitegroup theory, a little harder than computing the elements oforder 2 in Sn.
![Page 79: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/79.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
The software now calculates Ga,1 for any G.
![Page 80: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/80.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Example: SL(2, R):This is the Atlas of Reductive Lie Groups Software Package version 0.2.5.
Build date: Nov 24 2006 at 09:16:16.
Enter "help" if you need assistance.
empty: block
Lie type: A1 sc s
(weak) real forms are:
0: su(2)
1: sl(2,R)
enter your choice: 1
possible (weak) dual real forms are:
0: su(2)
1: sl(2,R)
enter your choice: 1
Name an output file (hit return for stdout):
0(0,1): 1 (2,*) [i1] 0
1(1,1): 0 (2,*) [i1] 0
2(2,0): 2 (*,*) [r1] 1 1
![Page 81: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/81.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Sp(4, R):
0( 0,6): 1 2 ( 6, *) ( 4, *) [i1,i1] 0
1( 1,6): 0 3 ( 6, *) ( 5, *) [i1,i1] 0
2( 2,6): 2 0 ( *, *) ( 4, *) [ic,i1] 0
3( 3,6): 3 1 ( *, *) ( 5, *) [ic,i1] 0
4( 4,4): 8 4 ( *, *) ( *, *) [C+,r1] 1 2
5( 5,4): 9 5 ( *, *) ( *, *) [C+,r1] 1 2
6( 6,5): 6 7 ( *, *) ( *, *) [r1,C+] 1 1
7( 7,2): 7 6 (10,11) ( *, *) [i2,C-] 2 2,1,2
8( 8,3): 4 9 ( *, *) (10, *) [C-,i1] 2 1,2,1
9( 9,3): 5 8 ( *, *) (10, *) [C-,i1] 2 1,2,1
10(10,0): 11 10 ( *, *) ( *, *) [r2,r1] 3 1,2,1,2
11(10,1): 10 11 ( *, *) ( *, *) [r2,rn] 3 1,2,1,2
![Page 82: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/82.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
So far we’ve said the atlas software should (and does) do:
1 Calculate with structure theory of reductive groups2 Calculate the admissible dual Ga,1.
One more ingredient is needed.
![Page 83: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/83.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
So far we’ve said the atlas software should (and does) do:
1 Calculate with structure theory of reductive groups2 Calculate the admissible dual Ga,1.
One more ingredient is needed.
![Page 84: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/84.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Character theory
Let G be a finite group. Then a representationπ : G → GL(n, C) is determined by its characterθπ(g) = Trace(π(g)).The functions θπ are a basis of L2(G)G.So are χO where O is a conjugacy class.
![Page 85: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/85.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
The character table of G contains all information about itsrepresentations:
Character Table of Weyl Group of type D4
-------------------------------------------
Class | 1 2 3 4 5 6 7 8 9 10 11 12 13
Size | 1 1 6 6 6 12 12 32 12 24 24 24 32
Order | 1 2 2 2 2 2 2 3 4 4 4 4 6
-------------------------------------------
p = 2 1 1 1 1 1 1 1 8 2 5 4 3 8
p = 3 1 2 3 4 5 6 7 1 9 10 11 12 2
-------------------------------------------
X.1 + 1 1 1 1 1 1 1 1 1 1 1 1 1
X.2 + 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1
X.3 + 2 2 2 2 2 0 0 -1 2 0 0 0 -1
X.4 + 3 3-1-1 3 -1 -1 0 -1 -1 1 1 0
X.5 + 3 3 3-1-1 -1 -1 0 -1 1 1 -1 0
X.6 + 3 3-1 3-1 -1 -1 0 -1 1 -1 1 0
X.7 + 3 3-1-1 3 1 1 0 -1 1 -1 -1 0
X.8 + 3 3 3-1-1 1 1 0 -1 -1 -1 1 0
X.9 + 3 3-1 3-1 1 1 0 -1 -1 1 -1 0
X.10 + 4-4 0 0 0 -2 2 1 0 0 0 0 -1
X.11 + 4-4 0 0 0 2 -2 1 0 0 0 0 -1
X.12 + 6 6-2-2-2 0 0 0 2 0 0 0 0
X.13 + 8-8 0 0 0 0 0 -1 0 0 0 0 1
![Page 86: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/86.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
We need the character table of G.
X is the parameter space for Ga,1
x → π(x) ∈ Ga,1.
x → I(x) a standard module. This is typically reducible, but issimpler than π(x), and has a known character formula.
I(x) =∑y∈X
m(x, y)π(y) m(x, y) ∈ Z
![Page 87: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/87.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
We need the character table of G.
X is the parameter space for Ga,1
x → π(x) ∈ Ga,1.
x → I(x) a standard module. This is typically reducible, but issimpler than π(x), and has a known character formula.
I(x) =∑y∈X
m(x, y)π(y) m(x, y) ∈ Z
![Page 88: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/88.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
We need the character table of G.
X is the parameter space for Ga,1
x → π(x) ∈ Ga,1.
x → I(x) a standard module. This is typically reducible, but issimpler than π(x), and has a known character formula.
I(x) =∑y∈X
m(x, y)π(y) m(x, y) ∈ Z
![Page 89: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/89.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
We need the character table of G.
X is the parameter space for Ga,1
x → π(x) ∈ Ga,1.
x → I(x) a standard module. This is typically reducible, but issimpler than π(x), and has a known character formula.
I(x) =∑y∈X
m(x, y)π(y) m(x, y) ∈ Z
![Page 90: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/90.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
We need the character table of G.
X is the parameter space for Ga,1
x → π(x) ∈ Ga,1.
x → I(x) a standard module. This is typically reducible, but issimpler than π(x), and has a known character formula.
I(x) =∑y∈X
m(x, y)π(y) m(x, y) ∈ Z
![Page 91: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/91.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Langlands, Zuckerman: this identity is invertible:
π(x) =∑
M(x, y)I(y)
This gives a character formula for π(x).
![Page 92: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/92.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Kazdhan-Lusztig, Vogan:The integers m(x, y),M(x, y) are computed in terms of thegeometry of a complex group K(C) acting on a complexprojective algebraic ariety with finitely many orbits(intersection cohomology).
For x, y ∈ X there is a polynomial Px,y ∈ Z[q], such that
M(x, y) = ±Px,y(1)
These are the famous Kazhdan-Lusztig-Vogan polynomials.
Problem: compute Px,y.
![Page 93: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/93.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Kazdhan-Lusztig, Vogan:The integers m(x, y),M(x, y) are computed in terms of thegeometry of a complex group K(C) acting on a complexprojective algebraic ariety with finitely many orbits(intersection cohomology).
For x, y ∈ X there is a polynomial Px,y ∈ Z[q], such that
M(x, y) = ±Px,y(1)
These are the famous Kazhdan-Lusztig-Vogan polynomials.
Problem: compute Px,y.
![Page 94: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/94.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Kazdhan-Lusztig, Vogan:The integers m(x, y),M(x, y) are computed in terms of thegeometry of a complex group K(C) acting on a complexprojective algebraic ariety with finitely many orbits(intersection cohomology).
For x, y ∈ X there is a polynomial Px,y ∈ Z[q], such that
M(x, y) = ±Px,y(1)
These are the famous Kazhdan-Lusztig-Vogan polynomials.
Problem: compute Px,y.
![Page 95: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/95.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Kazdhan-Lusztig, Vogan:The integers m(x, y),M(x, y) are computed in terms of thegeometry of a complex group K(C) acting on a complexprojective algebraic ariety with finitely many orbits(intersection cohomology).
For x, y ∈ X there is a polynomial Px,y ∈ Z[q], such that
M(x, y) = ±Px,y(1)
These are the famous Kazhdan-Lusztig-Vogan polynomials.
Problem: compute Px,y.
![Page 96: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/96.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Summary of the atlas software
The atlas software now does the following:
1 Input arbitrary reductive complex algebraic group G(C)
2 Input real form G of G(C)
3 Compute structure theory of G
4 Compute the space X parametrizing Ga,1
5 Compute the Kazhdan-Lusztig-Vogan polynomials
We hope this will be enough information to compute theunitary dual of G. It is enough information to list the mostinteresting, conjecturally unitary representations: the unipotentrepresentations of Jim Arthur.
![Page 97: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/97.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
Summary of the atlas software
The atlas software now does the following:
1 Input arbitrary reductive complex algebraic group G(C)
2 Input real form G of G(C)
3 Compute structure theory of G
4 Compute the space X parametrizing Ga,1
5 Compute the Kazhdan-Lusztig-Vogan polynomials
We hope this will be enough information to compute theunitary dual of G. It is enough information to list the mostinteresting, conjecturally unitary representations: the unipotentrepresentations of Jim Arthur.
![Page 98: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/98.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
The hardest part of the calculation is the KLV polyonmials.
Split Group time in secondsSL(2, R) .003G2 .008F4 .13A8 .17A9 .8E6 1.3A10 15E7 107E8 ∞
![Page 99: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/99.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
Unitary dualExamplesGoals of the Atlas ProjectThe GroupsAdmissible Representations
The hardest part of the calculation is the KLV polyonmials.
Split Group time in secondsSL(2, R) .003G2 .008F4 .13A8 .17A9 .8E6 1.3A10 15E7 107E8 ∞
![Page 100: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/100.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Overview of the E8 calculation
Recall E8 is the largest exceptional group. The split real form isa real manifold of dimension 248, and it has 453, 060 irreduciblerepresentation in Ga,1.
Problem: compute Kazhdan-Lusztig-Vogan polynomials for thesplit real form of E8
This is an upper triangular matrix, of size 453, 060, with 1s onthe diagonal, and polynomial entries. Each polynomial hasdegree ≤ 31.
![Page 101: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/101.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Overview of the E8 calculation
Recall E8 is the largest exceptional group. The split real form isa real manifold of dimension 248, and it has 453, 060 irreduciblerepresentation in Ga,1.
Problem: compute Kazhdan-Lusztig-Vogan polynomials for thesplit real form of E8
This is an upper triangular matrix, of size 453, 060, with 1s onthe diagonal, and polynomial entries. Each polynomial hasdegree ≤ 31.
![Page 102: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/102.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Overview of the E8 calculation
Recall E8 is the largest exceptional group. The split real form isa real manifold of dimension 248, and it has 453, 060 irreduciblerepresentation in Ga,1.
Problem: compute Kazhdan-Lusztig-Vogan polynomials for thesplit real form of E8
This is an upper triangular matrix, of size 453, 060, with 1s onthe diagonal, and polynomial entries. Each polynomial hasdegree ≤ 31.
![Page 103: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/103.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Why?
1 Because it was there.2 Because David Vogan couldn’t be stopped3 To test the mathematics.4 To test the technology.5 To force us to improve the technology. We have much
harder calculations to do to compute Gu. We have no hopeof computing the unitary dual of F4 if we can’t computeKLV polynomials for E8. It would not be enough to find abig enough computer.
6 Because E8 is a particularly interesting group, and arises instring theory.
![Page 104: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/104.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Why?
1 Because it was there.
2 Because David Vogan couldn’t be stopped3 To test the mathematics.4 To test the technology.5 To force us to improve the technology. We have much
harder calculations to do to compute Gu. We have no hopeof computing the unitary dual of F4 if we can’t computeKLV polynomials for E8. It would not be enough to find abig enough computer.
6 Because E8 is a particularly interesting group, and arises instring theory.
![Page 105: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/105.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Why?
1 Because it was there.2 Because David Vogan couldn’t be stopped
3 To test the mathematics.4 To test the technology.5 To force us to improve the technology. We have much
harder calculations to do to compute Gu. We have no hopeof computing the unitary dual of F4 if we can’t computeKLV polynomials for E8. It would not be enough to find abig enough computer.
6 Because E8 is a particularly interesting group, and arises instring theory.
![Page 106: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/106.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Why?
1 Because it was there.2 Because David Vogan couldn’t be stopped3 To test the mathematics.
4 To test the technology.5 To force us to improve the technology. We have much
harder calculations to do to compute Gu. We have no hopeof computing the unitary dual of F4 if we can’t computeKLV polynomials for E8. It would not be enough to find abig enough computer.
6 Because E8 is a particularly interesting group, and arises instring theory.
![Page 107: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/107.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Why?
1 Because it was there.2 Because David Vogan couldn’t be stopped3 To test the mathematics.4 To test the technology.
5 To force us to improve the technology. We have muchharder calculations to do to compute Gu. We have no hopeof computing the unitary dual of F4 if we can’t computeKLV polynomials for E8. It would not be enough to find abig enough computer.
6 Because E8 is a particularly interesting group, and arises instring theory.
![Page 108: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/108.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Why?
1 Because it was there.2 Because David Vogan couldn’t be stopped3 To test the mathematics.4 To test the technology.5 To force us to improve the technology. We have much
harder calculations to do to compute Gu. We have no hopeof computing the unitary dual of F4 if we can’t computeKLV polynomials for E8.
It would not be enough to find abig enough computer.
6 Because E8 is a particularly interesting group, and arises instring theory.
![Page 109: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/109.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Why?
1 Because it was there.2 Because David Vogan couldn’t be stopped3 To test the mathematics.4 To test the technology.5 To force us to improve the technology. We have much
harder calculations to do to compute Gu. We have no hopeof computing the unitary dual of F4 if we can’t computeKLV polynomials for E8. It would not be enough to find abig enough computer.
6 Because E8 is a particularly interesting group, and arises instring theory.
![Page 110: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/110.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Recursion Relations
X is the set of parameters.There is a partial order < on X , and a length function. For E8
`(x) ≤ 62.The matrix is upper triangular:Px,x = 1Px,y = 0 unless x ≤ y
Recursion relations: compute Px,y by upward induction on `(y)and downward induction on `(y).(0,0); (1,1), (0,1); (2,2), (1,2), (0,2). . .
Long list of complicated recursion formulas.
![Page 111: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/111.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Recursion Relations
X is the set of parameters.There is a partial order < on X , and a length function. For E8
`(x) ≤ 62.The matrix is upper triangular:Px,x = 1Px,y = 0 unless x ≤ y
Recursion relations: compute Px,y by upward induction on `(y)and downward induction on `(y).(0,0); (1,1), (0,1); (2,2), (1,2), (0,2). . .
Long list of complicated recursion formulas.
![Page 112: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/112.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Recursion Relations
X is the set of parameters.There is a partial order < on X , and a length function. For E8
`(x) ≤ 62.The matrix is upper triangular:Px,x = 1Px,y = 0 unless x ≤ y
Recursion relations: compute Px,y by upward induction on `(y)and downward induction on `(y).(0,0); (1,1), (0,1); (2,2), (1,2), (0,2). . .
Long list of complicated recursion formulas.
![Page 113: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/113.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Recursion Relations
Type I: There exists y′ with `(y′) < `(y) such that
Px,y =∑x′
c(x′)Px′,y′ (≤ 3 terms)
Type II: There is y′, `(y′) = `(y), y′′, `(y′′) = `(y)− 1,
Px,y =∑
`(x′)=`(x)+1
Px′,y′ +∑x′′
Px′′,y′′ (≤ 4 terms)
![Page 114: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/114.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Recursion Relations
Type I: There exists y′ with `(y′) < `(y) such that
Px,y =∑x′
c(x′)Px′,y′ (≤ 3 terms)
Type II: There is y′, `(y′) = `(y), y′′, `(y′′) = `(y)− 1,
Px,y =∑
`(x′)=`(x)+1
Px′,y′ +∑x′′
Px′′,y′′ (≤ 4 terms)
![Page 115: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/115.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
)
![Page 116: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/116.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Recursion Relations
Type III: There is x′, y′ with `(x′) = `(x)− 1, `(y′) = `(y)− 1,
Px,y = Px′,y′ + qPx,y′ −∑
x′≤z<y′
µ(z, y′)q(l(y′)−l(z)−1)/2Px′,z.
Average number of terms for E8 is 150.
Conclusion: In order to compute Px,y you need to use many allPx′,y′ with `(y′) < `(y).
We need to keep all Px,y in RAM!
![Page 117: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/117.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Recursion Relations
Type III: There is x′, y′ with `(x′) = `(x)− 1, `(y′) = `(y)− 1,
Px,y = Px′,y′ + qPx,y′ −∑
x′≤z<y′
µ(z, y′)q(l(y′)−l(z)−1)/2Px′,z.
Average number of terms for E8 is 150.
Conclusion: In order to compute Px,y you need to use many allPx′,y′ with `(y′) < `(y).
We need to keep all Px,y in RAM!
![Page 118: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/118.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Recursion Relations
Type III: There is x′, y′ with `(x′) = `(x)− 1, `(y′) = `(y)− 1,
Px,y = Px′,y′ + qPx,y′ −∑
x′≤z<y′
µ(z, y′)q(l(y′)−l(z)−1)/2Px′,z.
Average number of terms for E8 is 150.
Conclusion: In order to compute Px,y you need to use many allPx′,y′ with `(y′) < `(y).
We need to keep all Px,y in RAM!
![Page 119: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/119.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Rough estimate
Problem: we did not have a good idea of the size of the answerbeforehand.
Recall 1 byte= 8 bits can store 28 = 256 numbers.
We don’t know the sizes of the coefficients. Proabably some are> 65, 535 = 216 = 2 bytes. We hope each coefficient is less than4 bytes, i.e. 4.3 billion.
Each polynomial has ≤ 32 coefficients.
450, 0602 × 32 = 6.5 trillion coefficients =26 trillion bytes
![Page 120: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/120.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Rough estimate
Problem: we did not have a good idea of the size of the answerbeforehand.
Recall 1 byte= 8 bits can store 28 = 256 numbers.
We don’t know the sizes of the coefficients. Proabably some are> 65, 535 = 216 = 2 bytes. We hope each coefficient is less than4 bytes, i.e. 4.3 billion.
Each polynomial has ≤ 32 coefficients.
450, 0602 × 32 = 6.5 trillion coefficients =26 trillion bytes
![Page 121: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/121.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Rough estimate
Problem: we did not have a good idea of the size of the answerbeforehand.
Recall 1 byte= 8 bits can store 28 = 256 numbers.
We don’t know the sizes of the coefficients. Proabably some are> 65, 535 = 216 = 2 bytes. We hope each coefficient is less than4 bytes, i.e. 4.3 billion.
Each polynomial has ≤ 32 coefficients.
450, 0602 × 32 = 6.5 trillion coefficients =26 trillion bytes
![Page 122: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/122.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Rough estimate
Problem: we did not have a good idea of the size of the answerbeforehand.
Recall 1 byte= 8 bits can store 28 = 256 numbers.
We don’t know the sizes of the coefficients. Proabably some are> 65, 535 = 216 = 2 bytes. We hope each coefficient is less than4 bytes, i.e. 4.3 billion.
Each polynomial has ≤ 32 coefficients.
450, 0602 × 32 = 6.5 trillion coefficients =26 trillion bytes
![Page 123: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/123.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Many of the polynomials are equal for obvious reasons. Numberof distinct polynomials ≤ 6 billion.Store only the distinct polynomials.
6× 109 × 32 = 200 billion coefficents, or 800 billion bytesPlus about 100 billion bytes for the pointers = 900 billion bytes
![Page 124: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/124.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Many of the polynomials are equal for obvious reasons. Numberof distinct polynomials ≤ 6 billion.Store only the distinct polynomials.
6× 109 × 32 = 200 billion coefficents, or 800 billion bytesPlus about 100 billion bytes for the pointers = 900 billion bytes
![Page 125: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/125.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Many of the polynomials are 0, and many are equal fornon-obvious reasons.
Hope: number of distinct polynomials is about 200 million300× 106 × 4× 32 = 25 billion bytesPlus 100 billions bytes for index = 125 billion bytes
Marc van Leeuwen: much smarter indexing: 35 billion bytes →35+25=60 billion bytes
Hope: average degree = 20 → 35+8=43 billion bytes
![Page 126: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/126.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Many of the polynomials are 0, and many are equal fornon-obvious reasons.
Hope: number of distinct polynomials is about 200 million300× 106 × 4× 32 = 25 billion bytesPlus 100 billions bytes for index = 125 billion bytes
Marc van Leeuwen: much smarter indexing: 35 billion bytes →35+25=60 billion bytes
Hope: average degree = 20 → 35+8=43 billion bytes
![Page 127: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/127.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Many of the polynomials are 0, and many are equal fornon-obvious reasons.
Hope: number of distinct polynomials is about 200 million300× 106 × 4× 32 = 25 billion bytesPlus 100 billions bytes for index = 125 billion bytes
Marc van Leeuwen: much smarter indexing: 35 billion bytes →35+25=60 billion bytes
Hope: average degree = 20 → 35+8=43 billion bytes
![Page 128: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/128.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Many of the polynomials are 0, and many are equal fornon-obvious reasons.
Hope: number of distinct polynomials is about 200 million300× 106 × 4× 32 = 25 billion bytesPlus 100 billions bytes for index = 125 billion bytes
Marc van Leeuwen: much smarter indexing: 35 billion bytes →35+25=60 billion bytes
Hope: average degree = 20 → 35+8=43 billion bytes
![Page 129: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/129.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Bad news: experiments indicate the number of distinctpolynomials is more like 800 billion → 65 billion bytes
William Stein at Washington lent us sage, with 64 gigabytes ofram (all accessible from one processor)
Marc van Leeuwen and David Vogan spent a lot of time tryingto squeeze down the calculation.Marc reduced the size of the indices to about 15 billion bytes(by using a lot of information about the nature of the data)
David threaded the code to run many calculationssimultaneously (on some platforms this slowed the calculationdown
![Page 130: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/130.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Bad news: experiments indicate the number of distinctpolynomials is more like 800 billion → 65 billion bytes
William Stein at Washington lent us sage, with 64 gigabytes ofram (all accessible from one processor)
Marc van Leeuwen and David Vogan spent a lot of time tryingto squeeze down the calculation.Marc reduced the size of the indices to about 15 billion bytes(by using a lot of information about the nature of the data)
David threaded the code to run many calculationssimultaneously (on some platforms this slowed the calculationdown
![Page 131: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/131.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Bad news: experiments indicate the number of distinctpolynomials is more like 800 billion → 65 billion bytes
William Stein at Washington lent us sage, with 64 gigabytes ofram (all accessible from one processor)
Marc van Leeuwen and David Vogan spent a lot of time tryingto squeeze down the calculation.Marc reduced the size of the indices to about 15 billion bytes(by using a lot of information about the nature of the data)
David threaded the code to run many calculationssimultaneously (on some platforms this slowed the calculationdown
![Page 132: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/132.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Bad news: experiments indicate the number of distinctpolynomials is more like 800 billion → 65 billion bytes
William Stein at Washington lent us sage, with 64 gigabytes ofram (all accessible from one processor)
Marc van Leeuwen and David Vogan spent a lot of time tryingto squeeze down the calculation.Marc reduced the size of the indices to about 15 billion bytes(by using a lot of information about the nature of the data)
David threaded the code to run many calculationssimultaneously (on some platforms this slowed the calculationdown
![Page 133: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/133.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Calculating Modulo n
Noam Elkies: have to think harderIdea:
216 = 65, 536 < Maximum coefficient < 232 = 4.3 billion (?)
31 < 25, so to do the calculation (mod p) for p < 32 requires 5bits for each coefficient instead of 32, reducing storage by afactor of 5/32.
232 < 3× 5× 7× 11× 13× 17× 19× 23× 29× 31 = 100 billionYou then get the answer mod 100,280,245,065 using the ChineseRemainder theorem (cost: running the calculation 9 times)
This gets us down to about 15 + 4 = 19 billion bytes
![Page 134: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/134.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Calculating Modulo n
Noam Elkies: have to think harderIdea:
216 = 65, 536 < Maximum coefficient < 232 = 4.3 billion (?)
31 < 25, so to do the calculation (mod p) for p < 32 requires 5bits for each coefficient instead of 32, reducing storage by afactor of 5/32.
232 < 3× 5× 7× 11× 13× 17× 19× 23× 29× 31 = 100 billionYou then get the answer mod 100,280,245,065 using the ChineseRemainder theorem (cost: running the calculation 9 times)
This gets us down to about 15 + 4 = 19 billion bytes
![Page 135: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/135.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Calculating Modulo n
Noam Elkies: have to think harderIdea:
216 = 65, 536 < Maximum coefficient < 232 = 4.3 billion (?)
31 < 25, so to do the calculation (mod p) for p < 32 requires 5bits for each coefficient instead of 32, reducing storage by afactor of 5/32.
232 < 3× 5× 7× 11× 13× 17× 19× 23× 29× 31 = 100 billionYou then get the answer mod 100,280,245,065 using the ChineseRemainder theorem (cost: running the calculation 9 times)
This gets us down to about 15 + 4 = 19 billion bytes
![Page 136: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/136.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Calculating Modulo n
Noam Elkies: have to think harderIdea:
216 = 65, 536 < Maximum coefficient < 232 = 4.3 billion (?)
31 < 25, so to do the calculation (mod p) for p < 32 requires 5bits for each coefficient instead of 32, reducing storage by afactor of 5/32.
232 < 3× 5× 7× 11× 13× 17× 19× 23× 29× 31 = 100 billionYou then get the answer mod 100,280,245,065 using the ChineseRemainder theorem (cost: running the calculation 9 times)
This gets us down to about 15 + 4 = 19 billion bytes
![Page 137: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/137.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Calculating Modulo n
Noam Elkies: have to think harderIdea:
216 = 65, 536 < Maximum coefficient < 232 = 4.3 billion (?)
31 < 25, so to do the calculation (mod p) for p < 32 requires 5bits for each coefficient instead of 32, reducing storage by afactor of 5/32.
232 < 3× 5× 7× 11× 13× 17× 19× 23× 29× 31 = 100 billionYou then get the answer mod 100,280,245,065 using the ChineseRemainder theorem (cost: running the calculation 9 times)
This gets us down to about 15 + 4 = 19 billion bytes
![Page 138: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/138.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
But can we really reduce the calculation (mod p)?
The recursion relations use +,−× and extraction of coefficientsin specific degrees. This last step looks bad but it is OK(coefficient=0 (mod p), affects the recursion step, but youwould have gotten 0 (mod p) anyway).
In fact we can work (mod n) for any n.
![Page 139: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/139.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
But can we really reduce the calculation (mod p)?
The recursion relations use +,−× and extraction of coefficientsin specific degrees. This last step looks bad but it is OK(coefficient=0 (mod p), affects the recursion step, but youwould have gotten 0 (mod p) anyway).
In fact we can work (mod n) for any n.
![Page 140: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/140.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
But can we really reduce the calculation (mod p)?
The recursion relations use +,−× and extraction of coefficientsin specific degrees. This last step looks bad but it is OK(coefficient=0 (mod p), affects the recursion step, but youwould have gotten 0 (mod p) anyway).
In fact we can work (mod n) for any n.
![Page 141: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/141.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
The final result
In the end:
Run the program 4 times modulo n = 251, 253, 255, 256Least common multiple: 4,145,475,840Combine the answers using the Chinese Remainder Theorem.Answer is correct if the biggest coefficient is less then4,145,475,840Total time (on sage): 77 hours
![Page 142: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/142.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Some Statistics
Number of distinct polynomials: 1,181,642,979
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
Number of coefficients in distinct polynomials: 13,721,641,221(13.9 billion)
![Page 143: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/143.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Some Statistics
Number of distinct polynomials: 1,181,642,979
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
Number of coefficients in distinct polynomials: 13,721,641,221(13.9 billion)
![Page 144: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/144.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Some Statistics
Number of distinct polynomials: 1,181,642,979
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
Number of coefficients in distinct polynomials: 13,721,641,221(13.9 billion)
![Page 145: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/145.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Some Statistics
Number of distinct polynomials: 1,181,642,979
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
Number of coefficients in distinct polynomials: 13,721,641,221(13.9 billion)
![Page 146: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/146.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Some Statistics
Number of distinct polynomials: 1,181,642,979
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
Number of coefficients in distinct polynomials: 13,721,641,221(13.9 billion)
![Page 147: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/147.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
Some Statistics
Number of distinct polynomials: 1,181,642,979
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
Number of coefficients in distinct polynomials: 13,721,641,221(13.9 billion)
![Page 148: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/148.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
What comes next?
Using the results of the KLV calculation, we have a list ofunipotent representations for E8. These are conjecturally thebuilding blocks of all unitary representations.
Serious mathematics to do:
bringing K-types into the picture
Computing signatures of Hermitian forms
Serious programming (Alfred Noel and Marc van Leeuwen)
Big goal: the Unitary Dual
Check back in a few years. . .
![Page 149: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/149.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
What comes next?
Using the results of the KLV calculation, we have a list ofunipotent representations for E8. These are conjecturally thebuilding blocks of all unitary representations.
Serious mathematics to do:
bringing K-types into the picture
Computing signatures of Hermitian forms
Serious programming (Alfred Noel and Marc van Leeuwen)
Big goal: the Unitary Dual
Check back in a few years. . .
![Page 150: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/150.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
What comes next?
Using the results of the KLV calculation, we have a list ofunipotent representations for E8. These are conjecturally thebuilding blocks of all unitary representations.
Serious mathematics to do:
bringing K-types into the picture
Computing signatures of Hermitian forms
Serious programming (Alfred Noel and Marc van Leeuwen)
Big goal: the Unitary Dual
Check back in a few years. . .
![Page 151: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/151.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
What comes next?
Using the results of the KLV calculation, we have a list ofunipotent representations for E8. These are conjecturally thebuilding blocks of all unitary representations.
Serious mathematics to do:
bringing K-types into the picture
Computing signatures of Hermitian forms
Serious programming (Alfred Noel and Marc van Leeuwen)
Big goal: the Unitary Dual
Check back in a few years. . .
![Page 152: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/152.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
What comes next?
Using the results of the KLV calculation, we have a list ofunipotent representations for E8. These are conjecturally thebuilding blocks of all unitary representations.
Serious mathematics to do:
bringing K-types into the picture
Computing signatures of Hermitian forms
Serious programming (Alfred Noel and Marc van Leeuwen)
Big goal: the Unitary Dual
Check back in a few years. . .
![Page 153: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/153.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
What comes next?
Using the results of the KLV calculation, we have a list ofunipotent representations for E8. These are conjecturally thebuilding blocks of all unitary representations.
Serious mathematics to do:
bringing K-types into the picture
Computing signatures of Hermitian forms
Serious programming (Alfred Noel and Marc van Leeuwen)
Big goal: the Unitary Dual
Check back in a few years. . .
![Page 154: The E Fokko du Cloux Overview of the Atlas project ... · Overview of the Atlas project Overview of the E8 calculation Unitary dual Examples Goals of the Atlas Project The Groups](https://reader033.vdocuments.us/reader033/viewer/2022060212/5f04f2e77e708231d41081e6/html5/thumbnails/154.jpg)
The E8 publicityFokko du Cloux
Overview of the Atlas projectOverview of the E8 calculation
KLV for E8Recursion RelationsRough EstimateCalculating Modulo n
What comes next?
Using the results of the KLV calculation, we have a list ofunipotent representations for E8. These are conjecturally thebuilding blocks of all unitary representations.
Serious mathematics to do:
bringing K-types into the picture
Computing signatures of Hermitian forms
Serious programming (Alfred Noel and Marc van Leeuwen)
Big goal: the Unitary Dual
Check back in a few years. . .