[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
200(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/11/28(木) 23:58:19.75 ID:QdpmOFrx(7/7) AAS
>>198
＞Satake equivalence
下記かな〜？（＾＾；
”The geometric Satake equivalence is a geometric version of the Satake isomorphism, proved by Ivan Mirkovi? and Kari Vilonen (2007).”
”which is a fortiori an equivalence of tannakian categories (Ginzburg 2000).”
https://en.wikipedia.org/wiki/Satake_isomorphism
Satake isomorphism
(抜粋)
Jump to navigationJump to search
In mathematics, the Satake isomorphism, introduced by Ichir? Satake (1963), identifies the Hecke algebra of a reductive group over a local field with a ring of invariants of the Weyl group.
The geometric Satake equivalence is a geometric version of the Satake isomorphism, proved by Ivan Mirkovi? and Kari Vilonen (2007).
Statement
Classical Satake isomorphism Let {\displaystyle G}G be a semisimple algebraic group, {\displaystyle K}K be a non-Archimedean local field and {\displaystyle O}O be its ring of integers. It's easy to see that {\displaystyle Gr=G(K)/G(O)}{\displaystyle Gr=G(K)/G(O)} is grassmannian.
Then, the geometric Satake isomorphism is
{\displaystyle K(Perv(Gr))\otimes _{\mathbb {Z} }\mathbb {C} \quad {\xrightarrow {\sim }}\quad K(Rep({}^{L}G))\otimes _{\mathbb {Z} }\mathbb {C} }{\displaystyle K(Perv(Gr))\otimes _{\mathbb {Z} }\mathbb {C} \quad {\xrightarrow {\sim }}\quad K(Rep({}^{L}G))\otimes _{\mathbb {Z} }\mathbb {C} },
which can be obviously simplified to
{\displaystyle Perv(Gr)\quad {\xrightarrow {\sim }}\quad Rep({}^{L}G)}{\displaystyle Perv(Gr)\quad {\xrightarrow {\sim }}\quad Rep({}^{L}G)},
which is a fortiori an equivalence of tannakian categories (Ginzburg 2000).
201(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/11/29(金) 00:19:47.46 ID:KnsCfpdu(1/4) AAS
>>200
>which is a fortiori an equivalence of tannakian categories (Ginzburg 2000).
淡中先生（＾＾
https://en.wikipedia.org/wiki/Tannakian_formalism
Tannakian formalism
In mathematics, a Tannakian category is a particular kind of monoidal category C, equipped with some extra structure relative to a given field K.
The role of such categories C is to approximate, in some sense, the category of linear representations of an algebraic group G defined over K.
A number of major applications of the theory have been made, or might be made in pursuit of some of the central conjectures of contemporary algebraic geometry and number theory.
The name is taken from Tannaka?Krein duality, a theory about compact groups G and their representation theory.
The theory was developed first in the school of Alexander Grothendieck. It was later reconsidered by Pierre Deligne, and some simplifications made.
The pattern of the theory is that of Grothendieck's Galois theory, which is a theory about finite permutation representations of groups G which are profinite groups.
Contents
1 Formal definition
2 Applications
3 Extensions
つづく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.054s