In mathematics , the Langlands dual of a group is important in the context of the Langlands program , a series of far-reaching conjectures that link number theory and group representation theory.
definition
Be a splittable reductive group over a global body . The Langlands dual is the fissile reductive group whose weights and roots the Kogewichte and Kowurzeln of are.
G
{\ displaystyle G}
F.
{\ displaystyle F}
G
^
{\ displaystyle {\ widehat {G}}}
G
{\ displaystyle G}
Langlands dual of semi-simple complex lie groups
Let be a simple complex Lie group with Lie algebra . Be the Langlands dual with Lie algebra .
G
{\ displaystyle G}
G
{\ displaystyle {\ mathfrak {g}}}
G
^
{\ displaystyle {\ widehat {G}}}
G
^
{\ displaystyle {\ hat {\ mathfrak {g}}}}
Then the Dynkin diagram is from dual to the Dynkin diagram from . (The Dynkin diagram of is dual to the Dynkin diagram of and vice versa. All other Dynkin diagrams are dual to themselves.)
G
^
{\ displaystyle {\ hat {\ mathfrak {g}}}}
G
{\ displaystyle {\ mathfrak {g}}}
B.
n
{\ displaystyle B_ {n}}
C.
n
{\ displaystyle C_ {n}}
For semisimple Lie groups , the Lie algebra is isomorphic to .
G
1
,
G
2
{\ displaystyle G_ {1}, G_ {2}}
G
1
×
G
2
^
{\ displaystyle {\ widehat {G_ {1} \ times G_ {2}}}}
G
^
1
⊕
G
^
2
{\ displaystyle {\ hat {\ mathfrak {g}}} _ {1} \ oplus {\ hat {\ mathfrak {g}}} _ {2}}
Furthermore, this is the center of isomorphic to the fundamental group of and vice versa.
G
^
{\ displaystyle {\ widehat {G}}}
G
{\ displaystyle G}
Examples
The Langlands dual of is .
S.
L.
n
{\ displaystyle SL_ {n}}
P
G
L.
n
{\ displaystyle PGL_ {n}}
The Langlands dual of is and vice versa.
S.
O
2
n
+
1
{\ displaystyle SO_ {2n + 1}}
S.
p
2
n
{\ displaystyle Sp_ {2n}}
The Langlands dual of is .
S.
p
i
n
2
n
{\ displaystyle Spin_ {2n}}
S.
O
2
n
/
{
±
1
}
{\ displaystyle SO_ {2n} / \ left \ {\ pm 1 \ right \}}
For is .
G
∈
{
G
L.
n
,
S.
O
2
n
,
E.
6th
,
E.
7th
,
E.
8th
,
F.
4th
,
G
2
}
{\ displaystyle G \ in \ left \ {GL_ {n}, SO_ {2n}, E_ {6}, E_ {7}, E_ {8}, F_ {4}, G_ {2} \ right \}}
G
^
=
G
{\ displaystyle {\ widehat {G}} = G}
motivation
Be the adelering too . The goal of the Langlands program is the presentation of on in by Galois representations for parameterized summands disassemble.
A.
{\ displaystyle A}
F.
{\ displaystyle F}
G
(
A.
)
{\ displaystyle G (A)}
L.
2
(
G
(
F.
)
∖
G
(
A.
)
,
C.
)
{\ displaystyle L ^ {2} (G (F) \ backslash G (A), \ mathbb {C})}
G
^
{\ displaystyle {\ widehat {G}}}
literature
JW Cogdell: Dual groups and Langlands functoriality in An introduction to the Langlands program , Birkhäuser, 2004, ISBN 978-0-8176-8226-2
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">