ヘッケ環のソースを表示

{{about|岩堀ヘッケ環}}
[[数学]]における'''岩堀ヘッケ環'''あるいは単に'''ヘッケ環'''（へっけかん、{{lang-en|''Hecke algebra''}}; '''ヘッケ代数'''）は[[コクセター群]]の[[群環]]の一径数変形版で、表現論における重要な対象である。
ほかにも局所体上の簡約代数群の表現論や[[保型形式]]論、作用素環論において考察されるような、群とその部分群の対に付随する両側不変関数のなす畳み込み積環によって与えられる一連の系列がある。

''A''-型の岩堀ヘッケ環は[[組み紐群|アルティンの組紐群]]と密接な関係があり、[[ヴォーン・ジョーンズ]]による[[ジョーンズ多項式|新しい結び目不変量]]の構成に応用がある<ref>{{cite book|author=F. M. Goodman|coauthors=P. de la Harpe and V. F. R. Jones|title= Coxeter graphs and towers of algebras |series=MSRI Publications #14|publisher= Springer-Verlag|location= Berlin and New York|year= 1989|id=ISBN 0-387-96979-9}}</ref>。また、ヘッケ環の表現は[[神保道夫]]による[[量子群]]の発見を導いた。さらに、[[マイケル・フリードマン]]はヘッケ環を[[トポロジカル量子コンピュータ]]の基礎付けとして提示した。

== 岩堀ヘッケ環 ==
(''W'', ''S'') をコクセター行列 ''M'' を持つ[[コクセター系]]とし、係数環 ''R'' を固定する（普通は ''R'' として複素数体 '''C''' のような代数閉体や有理整数環 '''Z''' をとる）。''q'' を形式的な不定元として、''R'' 上の[[ローラン多項式]]の環 ''A'' = ''R''[''q'', ''q''<sup>&minus;1</sup>] を考えるとき、これらによって定められる'''ヘッケ環''' ''H'' とは ''T''<sub>''s''</sub> (''s'' &isin; ''S'') によって生成される ''A'' 上の単位的結合多元環で、その基本関係式が
* 組み紐関係式: ''s'' &ne; ''t'' のとき''T''<sub>''s''</sub>''T''<sub>''t''</sub>''T''<sub>''s''</sub> &hellip; = ''T''<sub>''t''</sub>''T''<sub>''s''</sub>''T''<sub>''t''</sub> （両辺はともに ''m''<sub>''st''</sub> &lt; &infin; 個の因子の積）
* 二次の関係式: (''T''<sub>''s''</sub> &minus; ''q'')(''T''<sub>''s''</sub> + 1) = 0 (''s'' &isin; ''S'')
で与えられる。この環を不定元 ''q'' を ''R'' の元に特殊化することで ''H'' から得られる個々の環と区別するために、'''一般ヘッケ環'''とも呼ぶ。

: '''注意''': 最近の本や論文では、ルスティックの用いた変形版の二次関係式 (''T''<sub>''s''</sub> &minus; ''q''<sup>1/2</sup>)(''T''<sub>''s''</sub> + ''q''<sup>&minus;1/2</sup>) = 0 に従っているかもしれない。スカラーを ''q''<sup>&plusmn;1/2</sup> も含むものに拡張すれば、結果として得られるヘッケ環は上の定義で得られるものと同型である。しかし、多くの公式の形が変わってくるので一般論にすることはできない。

=== 性質 ===
# ヘッケ環 ''H'' はコクセター群 ''W'' の元で添字付けられる ''A'' 上の基底 {''T''<sub>''w''</sub>} を持つ。特に ''H'' は自由 ''A''-加群である。各 ''T''<sub>''w''</sub> は、''w'' = ''s''<sub>1</sub>''s''<sub>2</sub> &hellip; ''s''<sub>''n''</sub> を ''w'' &isin; ''W'' の[[簡約表示]]とするとき、''T''<sub>''w''</sub> = ''T''<sub>''s''<sub>1</sub></sub>''T''<sub>''s''<sub>2</sub></sub> &hellip; ''T''<sub>''s''<sub>''n''</sub></sub> で与えられる。

ヘッケ環におけるのこの基底を'''自然基底''' {{lang|en|(''natural basis'')}} と呼ぶ。
''W'' の[[単位元]] ''e'' は ''H'' の単位元 1 に対応する。つまり ''T''<sub>''e''</sub> = 1 が成り立つ。

# 自然基底の元は「乗法的」である。つまり、コクセター群 ''W'' における[[長さ函数]]を ''l'' とし、''l''(''yw'') = ''l''(''y'') + ''l''(''w'') が成り立つとき、''T''<sub>''yw''</sub> = ''T''<sub>''y''</sub>''T''<sub>''w''</sub> が成立する。

# 自然基底の元は可逆である。例えば、''T''<sub>''s''</sub><sup>&minus;1</sup> = ''q''<sup>&minus;1</sup>''T''<sub>''s''</sub> + (''q''<sup>&minus;1</sup> &minus; 1) が満たされる。

# ''W'' が有限群で、係数環が複素数体 '''C''' であるとする。[[ジャック・ティッツ]]は ''q'' を（1 の冪根からなる）明示的に与えられたリストにない任意の複素数に特殊化することで、結果として得られる有限次元の環が半単純であり、かつ（''q'' = 1 の場合に対応する）複素群環 ''W'' に同型であることを示した。

# もっと一般に、''W'' が有限群で係数環 ''R'' が標数 0 の体であるとき、得られるヘッケ環は ''A'' 上の[[半単純環|半単純な結合環]]である。ベンソンとカーチスの初期の結果を拡張して、ルスティックはスカラーを ''R''[''q''<sup>1/2</sup>] の商体まで拡張して、ヘッケ環と群環の間の明示的な同型写像を与えた<ref> Lusztig, George. On a theorem of Benson and Curtis. J. Algebra 71 (1981), no. 2, 490--498.</ref>。

=== 標準基底 ===
{{main|カジュダン-ルスティック多項式}}
カズダンとルスティックによる大きな発見は、ヘッケ環が関連する対象の代数多様体の表現論を制御する別の基底を取ることができる。

上記の4性質を備えるものとして環 ''A'' = '''Z'''[''q''<sup>1/2</sup>, ''q''<sup>&minus;1/2</sup>] 上のヘッケ環 ''H'' を考える。環 ''A'' は ''q''<sup>1/2</sup> を ''q''<sup>&minus;1/2</sup> に写し、'''Z''' 上では自明に作用する[[対合]]を持つから、''H'' は ''A'' における対合に関して反線型かつ ''T''<sub>''s''</sub> を ''T''<sub>''s''</sub><sup>&minus;1</sup> へ写すような唯一つの環自己同型 ''i'' を持つ。さらに、この自己同型 ''i'' は位数 2 を持つという意味で対合的で、任意の ''T''<sub>''w''</sub> を ''T''<sub>''w''<sup>&minus;1</sup></sub><sup>&minus;1</sup> へ写すことが示される。

; 定理（カジュダン-ルスティック）: 各 ''w'' &isin; ''W'' に対し、対合 ''i'' の作用で不変な元 ''C''&prime;<sub>''w''</sub> で、自然基底の元に関して<div style="margin: 2ex 2em 2ex 2em;"><math> C'_w=(q^{-1/2})^{l(w)}\sum_{y\leq w}P_{y,w}T_y </math></div>と展開されるようなものが唯一つ存在する。ここで、''P''<sub>''w'',''w''</sub> = 1, [[ブリュア順序]]に関して ''y'' &lt; ''w'' ならば ''P''<sub>''y'',''w''</sub>(''q'') &isin; '''Z'''[''q''] は (''l''(''w'') &minus; ''l''(''y'') &minus; 1)/2 以下の次数を持ち、それ以外のとき ''P''<sub>''y'',''w''</sub> = 0 を満たすものとする。

元 ''C''&prime;<sub>''w''</sub> は ''w'' が ''W'' の上を亘るとき、ヘッケ環 ''H'' の基底を成す。これをヘッケ環 ''H'' の'''双対標準基底''' {{lang|en|(''dual canonical basis'')}} という。'''標準基底''' {{lang|en|(''canonical basis'')}} {''C''<sub>''w''</sub> | ''w'' &isin; ''W''} は同様の方法で得られる。この定理に現れる多項式 ''P''<sub>''y'',''w''</sub>(''q'') を[[カジュダン-ルスティック多項式]]という。

[[ドミトリー・カジュダン|カジュダン]]-[[ジョージ・ルスティック|ルスティック]]によるコクセター群における左・右・両側セルの概念は ''H'' の作用の元での標準基底の挙動を通して定義される。

== 局所コンパクト群のヘッケ環 ==
{{main|{{ill2|局所コンパクト群のヘッケ環|en|Hecke algebra of a locally compact group}}}}
上に述べた岩堀ヘッケ環ははじめ、群論における非常に一般な構成の重要な特別の場合として現われた。 ('''G''', '''K''') を[[局所コンパクト群]] '''G''' とその閉部分群 '''K''' からなる組とする。このとき、両側 '''K'''-不変[[連続函数]]の空間

: <math>C[\mathbf{K\backslash G/K}]</math>

に[[畳み込み]]で積を入れて結合多元環の構造が導入される。普通、'''G''' が離散群の場合には '''K''' を概正規部分群とすることで、それ以外の場合には '''K''' をコンパクト部分群とすることで、畳み込み積を定義し、それによってこの関数空間が閉じているようにするために何らかの意味での関数の台のコンパクト性が満たされるようにする。こうしてえられる多元環を

: <math>\mathcal{H}(\mathbf{G/\!/K})</math>

で表して、組 ('''G''', '''K''') に関する'''ヘッケ環'''と呼ぶ。この構成を[[ゲルファント対]]から行って得られる多元環は可換環である。それは特に

: '''G''' = ''SL''<sub>''n''</sub>('''Q'''<sub>''p''</sub>), '''K''' = ''SL''<sub>''n''</sub>('''Z'''<sub>''p''</sub>)

についても成立していて、対応する可換環の表現論が[[イアン・マクドナルド (数学者)|イアン・マクドナルド]]によって調べられている。一方、

: '''G''' = ''SL''<sub>2</sub>('''Q'''), '''K''' = ''SL''<sub>2</sub>('''Z''')

の場合を考えれば[[モジュラー形式]]の理論における[[ヘッケ作用素]]の全体を背景とする抽象環に到達する。これが一般の場合のヘッケ環の名の由来となっている。

有限ワイル群のヘッケ環が誘導されるのは、'''G''' が位数 ''p''<sup>''k''</sup> の[[有限体]]上で定義される[[有限シュバレー群]]で '''K''' = ''B'' がその[[ボレル部分群]]であるときである。岩堀はそのヘッケ環

: <math>\mathcal{H}(\mathbf{G/\!/K})</math>

が '''G''' の[[ワイル群]] ''W'' の一般ヘッケ環 ''H''<sub>''q''</sub> の不定元 ''q'' を有限体の濃度 ''p''<sup>''k''</sup> に特殊化したものから得られることを示した。[[ジョージ・ルスティック]]は1984年の『有限体上の簡約群の指標』(''Characters of reductive groups over a finite field'') の xi ページ脚注で
{{cquote|I think it would be most appropriate to call it the Iwahori algebra, but the name Hecke ring (or algebra) given by Iwahori himself has been in use for almost 20 years and it is probably too late to change it now.（私自身はこれを岩堀代数と呼ぶのが最も相応しいと思うが、岩堀自身によって付けられたヘッケ環の名がかれこれ20年ほど使われてきているので、今更変えようにも遅すぎるきらいがある）}}
と記している。

{{harvtxt|Iwahori|Matsumoto|1965}} は '''G''' が[[p進数|''p''-進数体]] '''Q'''<sub>''p''</sub> のような非アルキメデス[[局所体]] ''F'' 上で定義される、[[簡約代数群]]の有理点の群で、'''K''' が '''G''' の今日では[[岩堀部分群]]と呼ばれる部分群の場合を考察した。結果として得られるヘッケ環は '''G''' の[[アフィンワイル群]]のヘッケ環か、不定元 ''q'' が ''F'' の[[剰余体]]の位数であるようなアフィンヘッケ環に同型である。

1970年代に[[ロジャー・ハウ]]は、自身のあるいは ''p''-進的な ''GL''<sub>''n''</sub> の表現論に関する[[アレン・モイ]]との共著において、ヘッケ環を適切に構成することによる局所体上の簡約群の既約許容表現 {{lang|en|(admissible representation)}} の分類の可能性を開いた（重要な貢献は[[ヨゼフ・ベルンシュタイン]]と[[アンドレイ・ゼルビンスキー]]によっても成されている）。この考え方はさらに、[[コリン・ブッシュネル]]と[[フィリップ・クツコー]]の「タイプの理論」に推し進められ、一般線型群 ''GL'' の場合については完全な分類が行われた。ここでの手法の多くは、いまだ活発に研究される部分が残っているほかの簡約群に対しても拡張して用いることができる。絶対に必要とされる任意のヘッケ環は、アフィンヘッケ環の mild な一般化になっていると予想されている。

== ヘッケ環の表現 ==
岩堀の仕事に従えば、有限型のヘッケ環の表現は有限シュバレー群のある種の[[主系列表現]]と密接に関係している。

ルスティックはこの関係をさらに推し進め、ヘッケ環の表現論を用いてリー型の有限群の指標のほとんどを記述することに成功した。この仕事では、幾何的な手法とさまざまな還元を取り混ぜて用い、ヘッケ環を一般化するさまざまな対象の導入と、それらの（1 の冪根でない ''q'' に対する）表現の詳細な理解を導いた。ヘッケ環の[[モジュラー表現]]と 1 の冪根における表現は、[[アフィン量子群]]の標準基底の理論と非常に興味深い組合せ論に関係していることが発見された。

[[アフィンヘッケ環]]の表現論は、ルスティックによって、それを ''p''-進群の表現の記述に応用するという観点から発展した。それは有限の場合とは毛色のまったく異なる多くの方法による。'''二重アフィンヘッケ環''' {{lang|en|(''double affine Hecke algebra'')}} と呼ばれるアフィンヘッケ環の一般化は、{{ill2|イヴァン・チェレドニク|en|Ivan Cherednik}}が[[マクドナルド予想]]の証明に用いた。

== 参考文献 ==
{{Reflist}}
*David Goldschmidt [http://www.ams.org/online_bks/ulect4/ Group Characters, Symmetric Functions, and the Hecke Algebra] ISBN 0-8218-3220-4
* {{citation|last1=Iwahori |first1= Nagayoshi | author1-link= 岩堀長慶 |last2= Matsumoto |first2= Hideya |author2-link= 松本英也 | url=http://www.numdam.org/item?id=PMIHES_1965__25__5_0 |title= On some Bruhat decomposition and the structure of the Hecke rings of p-adic Chevalley groups. | journal= Publications Mathématiques de l'IHÉS | volume= 25 | year= 1965| pages= 5–48|zbl= 0228.20015 | MR= 32:2486|ref=harv}}
* Alexander Kleshchev, ''Linear and projective representations of symmetric groups'', Cambridge tracts in mathematics, vol. 163. Cambridge University Press, 2005. ISBN 0-521-83703-0
* George Lusztig, ''Hecke algebras with unequal parameters'', CRM monograph series, vol.18, American Mathematical Society, 2003. ISBN 0-8218-3356-1
* Andrew Mathas, ''Iwahori-Hecke algebras and Schur algebras of the symmetric group'', University Lecture Series, vol.15, American Mathematical Society, 1999. ISBN 0-8218-1926-7
* Lusztig, George, ''On a theorem of Benson and Curtis'', J. Algebra 71 (1981), no. 2, 490--498. {{DOI|10.1016/0021-8693(81)90188-5}}
* Colin Bushnell and Philip Kutzko, ''The admissible dual of GL(n) via compact open subgroups'', Annals of Mathematics Studies, vol. 129, Princeton University Press, 1993. ISBN 0-691-02114-7

== 外部リンク ==
* {{MathWorld|urlname=HeckeAlgebra|title=Hecke Algebra}}
* {{PlanetMath|urlname=HeckeAlgebra|title=Hecke algebra}}
* {{nlab|urlname=Iwahori–Hecke+algebra|title=Iwahori–Hecke algebra}}
* {{nlab|urlname=Hecke+algebra#generalized_hecke_algebras|title=Hecke algebra, 2. generalized hecke algebras}}

{{DEFAULTSORT:へつけかん}}
[[Category:多元環論]]
[[Category:表現論]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]