| Project/Area Number |
05640005
|
|---|
| Research Category |
Grant-in-Aid for General Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Algebra
|
|---|
| Research Institution | Miyagi University of Education |
|---|
Principal Investigator |
高瀬 幸一 宮城教育大学, 教育学部, 助教授 (60197093)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
瓜生 等 宮城教育大学, 教育学部, 助教授 (10139511)
萬 伸介 宮城教育大学, 教育学部, 教授 (40019849)
白井 進 , 教授 (30115175)
武元 英夫 , 教授 (00004408)
板垣 芳雄 , 教授 (30006431)
|
|---|
| Project Period (FY) |
1993
|
| Project Status |
Completed (Fiscal Year 1993)
|
| Budget Amount *help |
¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 1993: ¥700,000 (Direct Cost: ¥700,000)
|
|---|
| Keywords | 保型形式 / 保型表現 / ユニタリ表現 / 数論 |
|---|
| Research Abstract |
Q上の斜交空間(V_0,D)の斜交群Sp(V_0)はHeisenberg群H[V_0]に自然に作用し、半直積Sp(V_0)_J=Sp(V_0)αH[V_0]が定義される。Sp(V_0)_Jをp-進体上(p(〕 SY.ltoreq. 〔)∞)又はadele化して得られる局所コンパクト群Sp_Jのユニタリ表現を詳しく調べることにより、Eichiler-ZagierとIbukiyamaによるJacobi cusp formと半整数weight Siegel cusp formの良い対応の精密化、一般化が得られた。
議論の基礎となる原理は次の事実である;Sp(V_0)をp-進体上、又は、adele化して得られる局所コンパクト群Spの二重被覆群をSp^^〜とする。Sp^^〜のWeil表現をωとすると、Sp^^〜のユニタリ表現πに対してπ(〕 SY.crosprd. 〔)ωはSp_Jのユニタリ表現と見なせる。このとき、π→π(〕 SY.crosprd. 〔)ωはSp^^〜のユニタリ表現からSp_Jのユニタリ表現へのbijectionを与え、既約表現は既約表現に対応する。
R=Q_∞上で上の対応を具体的に書くと、index 1,weight kのJacobi cusp form Fに対してf(σ^^〜)=S_<LAMBDA＼Sp_J> F(σ,h)THETA(σ^^〜,h)dh^^・(σ^^〜 E Sp^^〜 over σ E Sp)はweight k-1/2のSiegel cusp formになり、F→fはindex 1,weight kのJacobi cusp formの空間からweight k-1/2のSiegel cusp formの空間の上への、内積を保つC-線形同型となる。THETA(σ^^〜,h)は、theta級数である。
good prime pに対しては、対応π→π(〕 SY.crosprd. 〔)ωはSp^^〜のclass-1表現とSp_Jのclass-1表現とのbijectionを与えることが示される。これは、Sp^^〜のHecke作用素の環H_pとSp_JのHecke作用素の環H_<p,J>とのC-algebraとしての同型を与えるが、その同型写像をdouble cosetのcharacteristic function(それらがH_pとH_<p,J>のC-baisisを成す)の対応として具体的に書くことができる。
以上のlocal theoryからadele化した群上でのglobal theoryが構成される。結果として、R=Q_∞上で与えた対応F→fがHecke作用素の作用と可換であることがわかる。
表現論的手法を用いることにより、Eichler-Zagier-Ibukiyamaの対応の原理的基礎が明らかになり、他の多くの群の場合への一般化の明かな見通しが得られた。
|
