本文印刷
全画面プリント
Lie群論・表現論セミナー
過去の記録 ～05/21｜次回の予定｜今後の予定 05/22～
| 開催情報 | 火曜日 16:30～18:00 数理科学研究科棟(駒場) 126号室 |
|---|---|
| 担当者 | 小林俊行 |
| セミナーURL | https://www.ms.u-tokyo.ac.jp/~toshi/seminar/ut-seminar.html |
過去の記録
2021年12月21日(火)
17:30-18:30 数理科学研究科棟(駒場) on line号室
トポロジー火曜セミナーと合同。
島倉裕樹 氏 (東北大学)
Classification of holomorphic vertex operator algebras of central charge 24
(Japanese)
トポロジー火曜セミナーと合同。
島倉裕樹 氏 (東北大学)
Classification of holomorphic vertex operator algebras of central charge 24
(Japanese)
[ 講演概要 ]
Holomorphic vertex operator algebras are important in vertex operator algebra theory. For example, the famous moonshine vertex operator algebra is holomorphic.
One of the fundamental problems is to classify holomorphic vertex operator algebras. It is known that holomorphic vertex operator algebras of central charge 8 and 16 are lattice vertex operator algebras.
I will talk about recent progress on the classification of holomorphic vertex operator algebras of central charge 24.
Holomorphic vertex operator algebras are important in vertex operator algebra theory. For example, the famous moonshine vertex operator algebra is holomorphic.
One of the fundamental problems is to classify holomorphic vertex operator algebras. It is known that holomorphic vertex operator algebras of central charge 8 and 16 are lattice vertex operator algebras.
I will talk about recent progress on the classification of holomorphic vertex operator algebras of central charge 24.
2021年12月14日(火)
17:00-18:00 数理科学研究科棟(駒場) on line号室
森田陽介 氏 (京都大学)
Conley 指数の定義について
(Japanese)
森田陽介 氏 (京都大学)
Conley 指数の定義について
(Japanese)
[ 講演概要 ]
Conley 指数は位相力学系の局所的な振る舞いを記述する量である。本講演では Conley 指数理論の新しい枠組みを紹介する。議論は非常に初等的で、位相空間論と、集合の包含関係の計算しか使わない。
Conley 指数は位相力学系の局所的な振る舞いを記述する量である。本講演では Conley 指数理論の新しい枠組みを紹介する。議論は非常に初等的で、位相空間論と、集合の包含関係の計算しか使わない。
2021年12月07日(火)
17:00-18:00 数理科学研究科棟(駒場) on line号室
久保利久 氏 (龍谷大学)
ハイゼンベルグ超双極型微分方程式の解空間における$K$-type構造の分類について
(Japanese)
久保利久 氏 (龍谷大学)
ハイゼンベルグ超双極型微分方程式の解空間における$K$-type構造の分類について
(Japanese)
[ 講演概要 ]
およそ10年程前，Kable氏は$\mathfrak{sl}(n,\mathbb{C})$に対して，複素パラメータ$s\in \mathbb{C}$を一つ持つ微分作用素の族$\square^{(n)}_s$を構成 し，ハイゼンベルグ超双極型作用素と呼んだ．この作用素$\square^{(n)}_s$は 絡作用素の観点からすると，ある放物型誘導表現間の$\widetilde{SL}(n, \mathbb{R})$-絡微分作用素とみなすことが出来る．本講演ではBent {\O}rsted 氏との共同研究に基づき，$\widetilde{SL}(3,\mathbb{R})$の場合に微分方程式 $\square^{(3)}_sf=0$の$K$-有限解のなす解空間の$K$-type構造の分類ならびに 関連する話題についてお話しする．
およそ10年程前，Kable氏は$\mathfrak{sl}(n,\mathbb{C})$に対して，複素パラメータ$s\in \mathbb{C}$を一つ持つ微分作用素の族$\square^{(n)}_s$を構成 し，ハイゼンベルグ超双極型作用素と呼んだ．この作用素$\square^{(n)}_s$は 絡作用素の観点からすると，ある放物型誘導表現間の$\widetilde{SL}(n, \mathbb{R})$-絡微分作用素とみなすことが出来る．本講演ではBent {\O}rsted 氏との共同研究に基づき，$\widetilde{SL}(3,\mathbb{R})$の場合に微分方程式 $\square^{(3)}_sf=0$の$K$-有限解のなす解空間の$K$-type構造の分類ならびに 関連する話題についてお話しする．
2021年11月30日(火)
17:00-18:00 数理科学研究科棟(駒場) on line号室
Quentin Labriet 氏 (Reims University)
Branching problems for conformal Lie groups and orthogonal polynomials
(English)
Quentin Labriet 氏 (Reims University)
Branching problems for conformal Lie groups and orthogonal polynomials
(English)
[ 講演概要 ]
In this talk, I will present some results obtained during my PhD about a link between branching problems for conformal Lie groups and orthogonal polynomials. More precisely, I am going to look at some examples of branching problems for representations in the scalar-valued holomorphic discrete series of some conformal Lie groups. Using the geometry of symmetric cone, I will explain how the theory of orthogonal polynomials can be related to branching problems and to the construction of symmetry breaking and holographic operators.
In this talk, I will present some results obtained during my PhD about a link between branching problems for conformal Lie groups and orthogonal polynomials. More precisely, I am going to look at some examples of branching problems for representations in the scalar-valued holomorphic discrete series of some conformal Lie groups. Using the geometry of symmetric cone, I will explain how the theory of orthogonal polynomials can be related to branching problems and to the construction of symmetry breaking and holographic operators.
2021年11月23日(火)
17:00-18:00 数理科学研究科棟(駒場) on line号室
田中 雄一郎 氏 (東大数理)
簡約型実球部分群に対するカルタン分解について (Japanese)
田中 雄一郎 氏 (東大数理)
簡約型実球部分群に対するカルタン分解について (Japanese)
[ 講演概要 ]
Gを実簡約型リー群とし、Hをその閉部分群とします。Gの極小放物型部分群が等 質空間G/H上に開軌道をもつとき、Hは実球部分群と呼ばれます。1995年に開催さ れた第3回整数論サマースクールにおきまして、小林俊行氏は「Hが簡約型の実球 部分群であればカルタン分解G=KAHが成り立つであろう」という予想を紹介しま した。本講演ではこの予想の証明についてお話させていただきたく思います。
Gを実簡約型リー群とし、Hをその閉部分群とします。Gの極小放物型部分群が等 質空間G/H上に開軌道をもつとき、Hは実球部分群と呼ばれます。1995年に開催さ れた第3回整数論サマースクールにおきまして、小林俊行氏は「Hが簡約型の実球 部分群であればカルタン分解G=KAHが成り立つであろう」という予想を紹介しま した。本講演ではこの予想の証明についてお話させていただきたく思います。
2021年11月16日(火)
17:00-18:00 数理科学研究科棟(駒場) on line号室
中濱 良祐 氏 (九州大学)
有界対称領域内のブロック対角行列上での重み付きベルグマンノルムの計算 (Japanese)
中濱 良祐 氏 (九州大学)
有界対称領域内のブロック対角行列上での重み付きベルグマンノルムの計算 (Japanese)
[ 講演概要 ]
$G/K\simeq D\subset\mathfrak{p}^+$を有界対称領域として実現されたエルミート対称空間とし，その上の重み付きBergman空間$\mathcal{H}_\lambda(D)$を考える．このとき，$\mathcal{H}_\lambda(D)$の各$K$タイプ上でのノルムが Faraut--Kor\'anyi (1990) により具体的に計算された．
本講演では，$\mathfrak{p}^+=\operatorname{Sym}(r,\mathbb{C})$, $M(r,\mathbb{C})$, $\operatorname{Alt}(2r,\mathbb{C})$の場合を考え，$r=r'+r''$を固定し，$\mathfrak{p}^+$を$2\times 2$のブロック行列に分解する．
このとき，ブロック対角行列$\mathfrak{p}^+_{11}\oplus\mathfrak{p}^+_{22}$ 上の多項式の空間内の各$K'$タイプについて，その上で$\mathcal{H}_\lambda(D)$のノルムを具体的に計算した結果について述べる．
またその応用として，対称対 $(Sp(r,\mathbb{R}),U(r',r''))$, $(U(r,r),U(r',r'')\times U(r'',r'))$, $(SO^*(4r),U(2r',2r''))$ の分岐則に関するPlancherel型公式についての結果も述べる．
$G/K\simeq D\subset\mathfrak{p}^+$を有界対称領域として実現されたエルミート対称空間とし，その上の重み付きBergman空間$\mathcal{H}_\lambda(D)$を考える．このとき，$\mathcal{H}_\lambda(D)$の各$K$タイプ上でのノルムが Faraut--Kor\'anyi (1990) により具体的に計算された．
本講演では，$\mathfrak{p}^+=\operatorname{Sym}(r,\mathbb{C})$, $M(r,\mathbb{C})$, $\operatorname{Alt}(2r,\mathbb{C})$の場合を考え，$r=r'+r''$を固定し，$\mathfrak{p}^+$を$2\times 2$のブロック行列に分解する．
このとき，ブロック対角行列$\mathfrak{p}^+_{11}\oplus\mathfrak{p}^+_{22}$ 上の多項式の空間内の各$K'$タイプについて，その上で$\mathcal{H}_\lambda(D)$のノルムを具体的に計算した結果について述べる．
またその応用として，対称対 $(Sp(r,\mathbb{R}),U(r',r''))$, $(U(r,r),U(r',r'')\times U(r'',r'))$, $(SO^*(4r),U(2r',2r''))$ の分岐則に関するPlancherel型公式についての結果も述べる．
2021年11月09日(火)
17:00-18:00 数理科学研究科棟(駒場) on line号室
大島芳樹 氏 (大阪大学)
Plancherel測度の台と運動量写像の像
(Japanese)
大島芳樹 氏 (大阪大学)
Plancherel測度の台と運動量写像の像
(Japanese)
[ 講演概要 ]
Benjamin Harris氏との共同研究をもとに、実簡約Lie群が作用する等質空間の Plancherel測度と、等質空間の余接束の運動量写像の像との関係について述べる．また一般的設定でLie群の表現の誘導や制限について 関連する問題や予想についてお話ししたい．
Benjamin Harris氏との共同研究をもとに、実簡約Lie群が作用する等質空間の Plancherel測度と、等質空間の余接束の運動量写像の像との関係について述べる．また一般的設定でLie群の表現の誘導や制限について 関連する問題や予想についてお話ししたい．
2021年11月02日(火)
17:00-18:00 数理科学研究科棟(駒場) online号室
田内大渡 氏 (九州大学マス・フォア・インダストリ研究所)
不確定特異点を持つホロノミックD加群のシュワルツ超関数解と佐藤超関数解の違いについて (Japanese)
田内大渡 氏 (九州大学マス・フォア・インダストリ研究所)
不確定特異点を持つホロノミックD加群のシュワルツ超関数解と佐藤超関数解の違いについて (Japanese)
[ 講演概要 ]
MをホロノミックD加群とする。このときMが確定特異点型であればそのシュワルツ超関数解と佐藤超関数解は一致するが、Mが不確定特異点を持つときには一般にはこれらは異なる。この現象について特にSL(2,R)の主系列表現のWhittaker汎関数を具体例として取り上げてお話しする。
MをホロノミックD加群とする。このときMが確定特異点型であればそのシュワルツ超関数解と佐藤超関数解は一致するが、Mが不確定特異点を持つときには一般にはこれらは異なる。この現象について特にSL(2,R)の主系列表現のWhittaker汎関数を具体例として取り上げてお話しする。
2021年10月26日(火)
17:00-18:00 数理科学研究科棟(駒場) online号室
北川宜稔 氏 (早稲田大学)
g-加群の一様有界族の分岐則への応用 (Japanese)
北川宜稔 氏 (早稲田大学)
g-加群の一様有界族の分岐則への応用 (Japanese)
[ 講演概要 ]
arXiv:2109.05556 において導入された g-加群の一様有界族を用いることで、いくつかの分岐則や誘導表現の重複度の有限性と一様有界性を示すことができる。
それらの結果を簡単に紹介した後、 arXiv:2109.05555 で与えられた実簡約リー群の分岐則の場合の重複度の一様有界性の必要十分条件がどのように得られるかを解説する。
arXiv:2109.05556 において導入された g-加群の一様有界族を用いることで、いくつかの分岐則や誘導表現の重複度の有限性と一様有界性を示すことができる。
それらの結果を簡単に紹介した後、 arXiv:2109.05555 で与えられた実簡約リー群の分岐則の場合の重複度の一様有界性の必要十分条件がどのように得られるかを解説する。
2021年10月19日(火)
17:00-18:00 数理科学研究科棟(駒場) online号室
田森宥好 氏 (北海道大学)
A型の極小表現の類似の分類
(Japanese)
田森宥好 氏 (北海道大学)
A型の極小表現の類似の分類
(Japanese)
[ 講演概要 ]
A型でない単純Lie環$\mathfrak{g}$の普遍包絡環は，随伴多様体が極小冪零軌道の閉包と一致する完全素イデアル（Josephイデアル）をただ一つ持つ．単純Lie群の既約認容表現が極小表現であるとは，微分表現の零化イデアルがJosephイデアルとなることをいう．
極小表現は簡単なK-type分解を持ち，複素共役を除いて高々２つしか存在しないことが知られている．
以上の一連の事実の，A型の単純Lie群（Lie環）に対する類似をお話しする．
A型でない単純Lie環$\mathfrak{g}$の普遍包絡環は，随伴多様体が極小冪零軌道の閉包と一致する完全素イデアル（Josephイデアル）をただ一つ持つ．単純Lie群の既約認容表現が極小表現であるとは，微分表現の零化イデアルがJosephイデアルとなることをいう．
極小表現は簡単なK-type分解を持ち，複素共役を除いて高々２つしか存在しないことが知られている．
以上の一連の事実の，A型の単純Lie群（Lie環）に対する類似をお話しする．
2021年10月05日(火)
17:00-18:00 数理科学研究科棟(駒場) Online号室
小林俊行 氏 (東大数理)
"小さな”無限次元表現の分岐則における有界重複度定理
(Japanese)
小林俊行 氏 (東大数理)
"小さな”無限次元表現の分岐則における有界重複度定理
(Japanese)
[ 講演概要 ]
実簡約リー群の”小さな”無限次元表現の族に対して、部分群への分岐則の重複度がいつ有界になるか、に関する幾何的な判定条件を説明する。
この幾何的な必要十分条件を G/HとG/G’が共に簡約対称空間の場合に適用し、H-distinguished なGの任意の既約表現が、部分群G’の表現として有界重複性をもつための3つ組 H ⊂ G ⊃ G' を完全に分類することができる
([Adv. Math. 2021, 7節]、arXiv:2109.14424)。
これらの結果について、できるだけわかりやすく解説する予定である。
実簡約リー群の”小さな”無限次元表現の族に対して、部分群への分岐則の重複度がいつ有界になるか、に関する幾何的な判定条件を説明する。
この幾何的な必要十分条件を G/HとG/G’が共に簡約対称空間の場合に適用し、H-distinguished なGの任意の既約表現が、部分群G’の表現として有界重複性をもつための3つ組 H ⊂ G ⊃ G' を完全に分類することができる
([Adv. Math. 2021, 7節]、arXiv:2109.14424)。
これらの結果について、できるだけわかりやすく解説する予定である。
2021年07月28日(水)
17:00-18:00 数理科学研究科棟(駒場) Online号室
大島芳樹 氏 (大阪大学大学院情報科学研究科)
Ricci 平坦計量の崩壊と Monge-Ampere 方程式の解のアプリオリ評価 (Japanese)
大島芳樹 氏 (大阪大学大学院情報科学研究科)
Ricci 平坦計量の崩壊と Monge-Ampere 方程式の解のアプリオリ評価 (Japanese)
[ 講演概要 ]
YauはMonge-Ampere方程式の解のアプリオリ評価を行ってCalabi予想を証明した．近年ファイバー空間の構造を持つCalabi-Yau多様体について，底空間のKahler類に崩壊するようなRicci平坦Kahler計量の振舞がGross-Tosatti-Zhang等により研究されている．尾髙悠志との共同研究(arXiv:1810.07685)で得られたK3曲面の球面へのGromov-Hausdorff収束も，これらのMonge-Ampere方程式の解の評価に基づいている．この講演では，微分方程式の解の評価がどのように自然な計量の存在やGromov-Hausdorff収束を導くかをお話ししたい．
YauはMonge-Ampere方程式の解のアプリオリ評価を行ってCalabi予想を証明した．近年ファイバー空間の構造を持つCalabi-Yau多様体について，底空間のKahler類に崩壊するようなRicci平坦Kahler計量の振舞がGross-Tosatti-Zhang等により研究されている．尾髙悠志との共同研究(arXiv:1810.07685)で得られたK3曲面の球面へのGromov-Hausdorff収束も，これらのMonge-Ampere方程式の解の評価に基づいている．この講演では，微分方程式の解の評価がどのように自然な計量の存在やGromov-Hausdorff収束を導くかをお話ししたい．
2021年07月20日(火)
17:00-18:00 数理科学研究科棟(駒場) Online号室
田森宥好 氏 (北海道大学)
零でない線形周期の存在の必要条件 (Japanese)
田森宥好 氏 (北海道大学)
零でない線形周期の存在の必要条件 (Japanese)
[ 講演概要 ]
$(G,H)$を対称対$(\mathrm{GL}(n,\mathbb{H}),\mathrm{GL}(n,\mathbb{C})),(\mathrm{GL}(2n,\mathbb{R}),\mathrm{GL}(n,\mathbb{C}))$とする．この時，$G$の滑らかで緩増加な既約認容Fr\'{e}chet表現$\pi$の $H$-線形周期の空間の次元は$1$以下であることがBroussous-Matringeにより知られている．$G$の旗多様体の各$H$-軌道が主系列表現のホモロジーに与える影響を考えることで，$\pi$の零でない$H$-線形周期が存在する必要条件を紹介する．これはアルキメデス局所体の場合のPrasadとTakloo-Bighashの予想を与える．鈴木美裕氏（金沢大学）との共同研究に基づく．
$(G,H)$を対称対$(\mathrm{GL}(n,\mathbb{H}),\mathrm{GL}(n,\mathbb{C})),(\mathrm{GL}(2n,\mathbb{R}),\mathrm{GL}(n,\mathbb{C}))$とする．この時，$G$の滑らかで緩増加な既約認容Fr\'{e}chet表現$\pi$の $H$-線形周期の空間の次元は$1$以下であることがBroussous-Matringeにより知られている．$G$の旗多様体の各$H$-軌道が主系列表現のホモロジーに与える影響を考えることで，$\pi$の零でない$H$-線形周期が存在する必要条件を紹介する．これはアルキメデス局所体の場合のPrasadとTakloo-Bighashの予想を与える．鈴木美裕氏（金沢大学）との共同研究に基づく．
2021年07月13日(火)
17:00-18:00 数理科学研究科棟(駒場) Online号室
大島芳樹 氏 (大阪大学大学院情報科学研究科)
局所対称空間のコンパクト化と自然なKahler計量の崩壊 (Japanese)
大島芳樹 氏 (大阪大学大学院情報科学研究科)
局所対称空間のコンパクト化と自然なKahler計量の崩壊 (Japanese)
[ 講演概要 ]
Abel多様体やK3曲面のモジュライは局所対称空間の構造をもつことが知られている．1960年頃に，局所対称空間の複数のコンパクト化が佐武一郎により構成された．この講演では尾髙悠志との共同研究(arXiv:1810.07685)に基づき，ある佐武コンパクト化がAbel多様体やK3曲面に定まる自然な(Ricci平坦な)Kahler計量の極限をパラメトライズするということを紹介する．
Abel多様体やK3曲面のモジュライは局所対称空間の構造をもつことが知られている．1960年頃に，局所対称空間の複数のコンパクト化が佐武一郎により構成された．この講演では尾髙悠志との共同研究(arXiv:1810.07685)に基づき，ある佐武コンパクト化がAbel多様体やK3曲面に定まる自然な(Ricci平坦な)Kahler計量の極限をパラメトライズするということを紹介する．
2021年07月06日(火)
17:00-18:00 数理科学研究科棟(駒場) Online号室
田内大渡 氏 (九州大学マス・フォア・インダストリ研究所)
Casselman の部分表現定理に関するQシリーズ類似の反例について (Japanese)
田内大渡 氏 (九州大学マス・フォア・インダストリ研究所)
Casselman の部分表現定理に関するQシリーズ類似の反例について (Japanese)
[ 講演概要 ]
Gを実簡約群、Qをその放物型部分群とする。Gの既約許容表現のうち、Qから誘導された退化主系列表現の部分商表現として実現できるものを、Qシリーズに属する表現と呼ぶことにする。このときPをGの極小放物型部分群として、Harish-Chandraの部分商表現定理により、Gの任意の既約許容表現はPシリーズに属することがわかる。一方Casselmanの部分表現定理によれば、より強く任意の既約許容表現、つまり任意のPシリーズに属する表現は、Pから誘導された主系列表現の部分表現として実現される。この講演では、この部分表現定理のQシリーズ類似、すなわち「任意のQシリーズに属する表現はQから誘導された退化主系列表現の部分表現として実現できる」という主張の反例についてお話しする。
Gを実簡約群、Qをその放物型部分群とする。Gの既約許容表現のうち、Qから誘導された退化主系列表現の部分商表現として実現できるものを、Qシリーズに属する表現と呼ぶことにする。このときPをGの極小放物型部分群として、Harish-Chandraの部分商表現定理により、Gの任意の既約許容表現はPシリーズに属することがわかる。一方Casselmanの部分表現定理によれば、より強く任意の既約許容表現、つまり任意のPシリーズに属する表現は、Pから誘導された主系列表現の部分表現として実現される。この講演では、この部分表現定理のQシリーズ類似、すなわち「任意のQシリーズに属する表現はQから誘導された退化主系列表現の部分表現として実現できる」という主張の反例についてお話しする。
2021年06月29日(火)
17:00-18:00 数理科学研究科棟(駒場) Online号室
藤原英徳 氏 (近畿大学名誉教授)
冪零リー群に対する多項式予想について (Japanese)
藤原英徳 氏 (近畿大学名誉教授)
冪零リー群に対する多項式予想について (Japanese)
[ 講演概要 ]
G = exp g をリー環 g をもつ連結・単連結な冪零リー群とし、H = exp h をリー環 h をもつ G の解析部分群、χ を H のユニタリ指標とし、G の単項表現 τ = ind_H^G χ を考える。このとき、τ の既約分解における重複度は一様に有界であるかまたは一様に ∞ に等しいことが知られている。前者の場合 τ は有限重複度をもつという。
さて、データ (H,χ) に伴う G/H 上の直線束に作用する G-不変微分作用素の環を D_τ(G/H) で表す。τ が有限重複度をもつことと D_τ(G/H) が可換であることは同値である。1992 年 Corwin-Greenleaf は次の多項式予想を提出した：
τ が有限重複度をもつとき、環 D_τ(G/H) は Γ_τ 上の H-不変多項式環C[Γ_τ]^H と同型であろう。ここでΓ_τ はg の双対ベクトル空間の元で h への制限が -√-1 dχ を満たすものがなすアファイン部分空間である。
群の表現論において２つの操作,誘導と制限,の間にはある種の双対性があることが良く知られている。そこで表現の制限についても多項式予想を考えてみよう。G をこれまで通り連結・単連結な冪零リー群、π をその既約ユニタリ表現とする。K を G の解析部分群とし π の K への制限 π|_K を考える。今回もまた π|_K の既約分解における重複度は一様に有界であるかまたは一様に ∞ に等しいことが知られている。前者の場合 π|_K は有限重複度をもつといい、我々はこれを仮定しよう。G のリー環 g の複素化の包絡環を U(g) とし、不変微分作用素環 (U((g)/ker π)^Kを考える。つまり K-不変な元の全体である。すると、π| Kが有限重複度をもつことと (U((g)/ker π)^K が可換環であることは同値である。このとき環 (U((g)/ker π)^K は Ω(π) 上の K-不変多項式環 C[Ω(π)]^K と同型であろうか？ ここで Ω(π) は π に対応する G の余随伴軌道である。
我々はこれら 2 つの多項式予想を証明したい。
G = exp g をリー環 g をもつ連結・単連結な冪零リー群とし、H = exp h をリー環 h をもつ G の解析部分群、χ を H のユニタリ指標とし、G の単項表現 τ = ind_H^G χ を考える。このとき、τ の既約分解における重複度は一様に有界であるかまたは一様に ∞ に等しいことが知られている。前者の場合 τ は有限重複度をもつという。
さて、データ (H,χ) に伴う G/H 上の直線束に作用する G-不変微分作用素の環を D_τ(G/H) で表す。τ が有限重複度をもつことと D_τ(G/H) が可換であることは同値である。1992 年 Corwin-Greenleaf は次の多項式予想を提出した：
τ が有限重複度をもつとき、環 D_τ(G/H) は Γ_τ 上の H-不変多項式環C[Γ_τ]^H と同型であろう。ここでΓ_τ はg の双対ベクトル空間の元で h への制限が -√-1 dχ を満たすものがなすアファイン部分空間である。
群の表現論において２つの操作,誘導と制限,の間にはある種の双対性があることが良く知られている。そこで表現の制限についても多項式予想を考えてみよう。G をこれまで通り連結・単連結な冪零リー群、π をその既約ユニタリ表現とする。K を G の解析部分群とし π の K への制限 π|_K を考える。今回もまた π|_K の既約分解における重複度は一様に有界であるかまたは一様に ∞ に等しいことが知られている。前者の場合 π|_K は有限重複度をもつといい、我々はこれを仮定しよう。G のリー環 g の複素化の包絡環を U(g) とし、不変微分作用素環 (U((g)/ker π)^Kを考える。つまり K-不変な元の全体である。すると、π| Kが有限重複度をもつことと (U((g)/ker π)^K が可換環であることは同値である。このとき環 (U((g)/ker π)^K は Ω(π) 上の K-不変多項式環 C[Ω(π)]^K と同型であろうか？ ここで Ω(π) は π に対応する G の余随伴軌道である。
我々はこれら 2 つの多項式予想を証明したい。
2021年06月22日(火)
17:00-18:00 数理科学研究科棟(駒場) Online号室
森田陽介 氏 (京都大学大学院理学研究科)
非簡約な部分群の Cartan 射影とコンパクト Clifford-Klein 形の存在問題 (Japanese)
森田陽介 氏 (京都大学大学院理学研究科)
非簡約な部分群の Cartan 射影とコンパクト Clifford-Klein 形の存在問題 (Japanese)
[ 講演概要 ]
G を簡約 Lie 群、H を G の閉部分群、Γ を G の離散部分群とする。小林-Benoistの判定法によれば、Γ の G/H への作用の固有性は、H と Γ の Cartan 射影によって決定される。非簡約な部分群の Cartan 射影は大抵計算が困難だが、中には具体的に計算可能な例もある。そうした部分群を利用して、コンパクトな Clifford-Klein 形を持たない簡約型等質空間の例が得られることを紹介する。
G を簡約 Lie 群、H を G の閉部分群、Γ を G の離散部分群とする。小林-Benoistの判定法によれば、Γ の G/H への作用の固有性は、H と Γ の Cartan 射影によって決定される。非簡約な部分群の Cartan 射影は大抵計算が困難だが、中には具体的に計算可能な例もある。そうした部分群を利用して、コンパクトな Clifford-Klein 形を持たない簡約型等質空間の例が得られることを紹介する。
2021年06月15日(火)
17:00-18:00 数理科学研究科棟(駒場) Online号室
小林俊行 氏 (東大数理)
極限代数と緩増加表現 (Japanese)
小林俊行 氏 (東大数理)
極限代数と緩増加表現 (Japanese)
[ 講演概要 ]
次の4つの（見かけ上は無関係な）4つのトピックについての新しい関係について話す予定です。
1．（解析） 等質空間上のユニタリ表現が緩増加
2．（組合せ論） 凸多面体
3．（トポロジー）極限代数
4．（シンプレクティック幾何学）余随伴軌道の幾何学的量子化
次の4つの（見かけ上は無関係な）4つのトピックについての新しい関係について話す予定です。
1．（解析） 等質空間上のユニタリ表現が緩増加
2．（組合せ論） 凸多面体
3．（トポロジー）極限代数
4．（シンプレクティック幾何学）余随伴軌道の幾何学的量子化
2021年06月08日(火)
17:00-18:00 数理科学研究科棟(駒場) Online号室
甘中 一輝 氏 (理化学研究所 数理創造プログラム)
3次元コンパクト反ド・ジッター多様体の安定固有値の重複度
(Japanese)
甘中 一輝 氏 (理化学研究所 数理創造プログラム)
3次元コンパクト反ド・ジッター多様体の安定固有値の重複度
(Japanese)
[ 講演概要 ]
擬リーマン局所対称空間とは
半単純対称空間$G/H$の不連続群$\Gamma$による商多様体$\Gamma\backslash G/H$の事である。
小林俊行は擬リーマン局所対称空間の（ラプラシアンのような）内在的微分作用素のスペクトル解析の研究を創始した。古典的なリーマン多様体の設定とは異なり、擬リーマン局所対称空間のラプラシアンはもはや楕円型微分作用素ではない。
そのスペクトル解析において、Kassel・小林による先駆的研究に続き、リーマン多様体の設定とは異なる新たな現象が近年発見されつつある。例えば、Kassel・小林は$\Gamma$を変形させた時の$\Gamma\backslash G/H$の内在的微分作用素の固有値の振る舞いを研究した。特別な場合として$3$次元コンパクト反ド・ジッター多様体$\Gamma\backslash \mathrm{SO}(2,2)/\mathrm{SO}(2,1)$
の（双曲型）ラプラシアンの無限個の安定固有値を発見した([Adv.\ Math.\ 2016])。
本講演では、反ド・ジッター多様体の設定で安定固有値の重複度についての最近の結果について説明したい。
擬リーマン局所対称空間とは
半単純対称空間$G/H$の不連続群$\Gamma$による商多様体$\Gamma\backslash G/H$の事である。
小林俊行は擬リーマン局所対称空間の（ラプラシアンのような）内在的微分作用素のスペクトル解析の研究を創始した。古典的なリーマン多様体の設定とは異なり、擬リーマン局所対称空間のラプラシアンはもはや楕円型微分作用素ではない。
そのスペクトル解析において、Kassel・小林による先駆的研究に続き、リーマン多様体の設定とは異なる新たな現象が近年発見されつつある。例えば、Kassel・小林は$\Gamma$を変形させた時の$\Gamma\backslash G/H$の内在的微分作用素の固有値の振る舞いを研究した。特別な場合として$3$次元コンパクト反ド・ジッター多様体$\Gamma\backslash \mathrm{SO}(2,2)/\mathrm{SO}(2,1)$
の（双曲型）ラプラシアンの無限個の安定固有値を発見した([Adv.\ Math.\ 2016])。
本講演では、反ド・ジッター多様体の設定で安定固有値の重複度についての最近の結果について説明したい。
2021年06月01日(火)
17:30-18:30 数理科学研究科棟(駒場) Online号室
トポロジー火曜セミナーと合同。オンライン開催。
北川 宜稔 氏 (早稲田大学)
On the discrete decomposability and invariants of representations of real reductive Lie groups (Japanese)
トポロジー火曜セミナーと合同。オンライン開催。
北川 宜稔 氏 (早稲田大学)
On the discrete decomposability and invariants of representations of real reductive Lie groups (Japanese)
[ 講演概要 ]
群の既約表現を部分群に制限したときにどのように振る舞うかを記述する問題を分岐則の問題という。既約表現の制限は一般には既約ではなくなり、ユニタリな場合には直積分で記述される既約分解が存在する。この分解は、ユニタリ作用素のスペクトル分解の一般化とみなすことができ、一般には連続的なスペクトルと離散的なスペクトルが現れる。連続的なスペクトルが現れない場合、つまりユニタリ表現の離散的な直和になっている場合、その表現は離散分解するという。
離散分解する分岐則は技術的に扱いやすいというだけでなく、大きな群の表現の情報から小さい部分群の表現の情報が取り出しやすい状況になっており、以下のような応用が知られている。保型形式から別の保型形式を作り出す Rankin--Cohen ブラケットという作用素は、離散分解する表現から既約表現への絡作用素として得られることが知られており、近年でも多くの一般化が得られている。
また、等質空間の L^2 関数の空間の離散スペクトルを別の等質空間のものから構成するという結果にも用いられている。(T. Kobayashi, J. Funct. Anal. ('98))
本講演では、実簡約リー群の既約表現の制限の離散分解性について、小林俊行氏が提唱した離散分解性とG'-許容性の一般論と判定条件(Invent. math. '94, Annals of Math. '98, Invent. math. '98)を踏まえつつ、最近得られた結果を紹介したい。
表現の代数的な不変量である随伴多様体、解析的な不変量である wave front set、表現空間の位相、の三つを用いて離散分解性を記述する。
群の既約表現を部分群に制限したときにどのように振る舞うかを記述する問題を分岐則の問題という。既約表現の制限は一般には既約ではなくなり、ユニタリな場合には直積分で記述される既約分解が存在する。この分解は、ユニタリ作用素のスペクトル分解の一般化とみなすことができ、一般には連続的なスペクトルと離散的なスペクトルが現れる。連続的なスペクトルが現れない場合、つまりユニタリ表現の離散的な直和になっている場合、その表現は離散分解するという。
離散分解する分岐則は技術的に扱いやすいというだけでなく、大きな群の表現の情報から小さい部分群の表現の情報が取り出しやすい状況になっており、以下のような応用が知られている。保型形式から別の保型形式を作り出す Rankin--Cohen ブラケットという作用素は、離散分解する表現から既約表現への絡作用素として得られることが知られており、近年でも多くの一般化が得られている。
また、等質空間の L^2 関数の空間の離散スペクトルを別の等質空間のものから構成するという結果にも用いられている。(T. Kobayashi, J. Funct. Anal. ('98))
本講演では、実簡約リー群の既約表現の制限の離散分解性について、小林俊行氏が提唱した離散分解性とG'-許容性の一般論と判定条件(Invent. math. '94, Annals of Math. '98, Invent. math. '98)を踏まえつつ、最近得られた結果を紹介したい。
表現の代数的な不変量である随伴多様体、解析的な不変量である wave front set、表現空間の位相、の三つを用いて離散分解性を記述する。
2021年05月18日(火)
17:00-17:30 数理科学研究科棟(駒場) Online号室
上田衛 氏 (京都大学大学院)
アファインヤンギアンと長方形W代数 (Japanese)
上田衛 氏 (京都大学大学院)
アファインヤンギアンと長方形W代数 (Japanese)
[ 講演概要 ]
Motivated by the generalized AGT conjecture, in this talk I will construct surjective homomorphisms from Guay's affine Yangians to the universal enveloping algebras of rectangular W-algebras of type A.
This result is a super affine analogue of a result of Ragoucy and Sorba, which gave surjective homomorphisms from finite Yangians of type A to rectangular finite W-algebras of type A.
Motivated by the generalized AGT conjecture, in this talk I will construct surjective homomorphisms from Guay's affine Yangians to the universal enveloping algebras of rectangular W-algebras of type A.
This result is a super affine analogue of a result of Ragoucy and Sorba, which gave surjective homomorphisms from finite Yangians of type A to rectangular finite W-algebras of type A.
2021年05月11日(火)
17:00-18:00 数理科学研究科棟(駒場) Online号室
オンライン開催
中濱 良祐 氏 (九州大学マス・フォア・インダストリ研究所)
有界対称領域上の重み付きベルグマン内積の計算と部分群への制限
(Japanese)
オンライン開催
中濱 良祐 氏 (九州大学マス・フォア・インダストリ研究所)
有界対称領域上の重み付きベルグマン内積の計算と部分群への制限
(Japanese)
[ 講演概要 ]
$D¥subset M(r,¥mathbb{C})$を有界対称領域とし，その上の重み付きベルグマン空間$¥mathcal{H}_¥lambda(D)$を考える．すると，ここに$SU(r,r)$がユニタリに作用する．
本セミナーでは，$¥operatorname{Alt}(r,¥mathbb{C})$, $¥operatorname{Sym}(r,¥mathbb{C})¥subset M(r,¥mathbb{C})$上のある多項式について，内積を具体的に計算し，また特にこの多項式が行列式またはパフ式の冪の場合には内積が多変数超幾何多項式で与えられることを示す．
またこの応用として，$SU(r,r)$から$Sp(r,¥mathbb{R})$または$SO^*(2r)$への対称性破れ作用素の構成に関する結果を述べる．
$D¥subset M(r,¥mathbb{C})$を有界対称領域とし，その上の重み付きベルグマン空間$¥mathcal{H}_¥lambda(D)$を考える．すると，ここに$SU(r,r)$がユニタリに作用する．
本セミナーでは，$¥operatorname{Alt}(r,¥mathbb{C})$, $¥operatorname{Sym}(r,¥mathbb{C})¥subset M(r,¥mathbb{C})$上のある多項式について，内積を具体的に計算し，また特にこの多項式が行列式またはパフ式の冪の場合には内積が多変数超幾何多項式で与えられることを示す．
またこの応用として，$SU(r,r)$から$Sp(r,¥mathbb{R})$または$SO^*(2r)$への対称性破れ作用素の構成に関する結果を述べる．
2020年07月14日(火)
17:30-18:30 数理科学研究科棟(駒場) #号室
トポロジー火曜セミナーと合同。オンライン開催。
奥田隆幸 氏 (広島大学 大学院先進理工系科学研究科)
Kobayashi's properness criterion and totally geodesic submanifolds in locally symmetric spaces (Japanese)
トポロジー火曜セミナーと合同。オンライン開催。
奥田隆幸 氏 (広島大学 大学院先進理工系科学研究科)
Kobayashi's properness criterion and totally geodesic submanifolds in locally symmetric spaces (Japanese)
[ 講演概要 ]
G をリー群とし,X を G-等質空間とする.
X のいくつかの開集合を G 移動で貼り合わせて得られる多様体を(G,X)-多様体とよぶ.
X の G 不変局所幾何構造(計量など)は(G,X)-多様体に移植可能であり, (G,X)-多様体はよい幾何構造を持った多様体の例を供給することが期待される.
この意味で, (G,X)-多様体の構成は微分幾何学における重要な研究テーマの一つである.
G の離散部分群が X に固有不連続に作用するとき, その離散群を X の不連続群とよび, その作用による X の商多様体を Clifford--Klein 形と呼ぶ.
Clifford--Klein 形は (G,X)-多様体である.
これより G-等質空間 X 上の不連続群の構成や分類は重要な問題となる.
G-等質空間 X のイソトロピーがコンパクトである場合には, Gの捻じれのない離散部分群はすべて不連続群である.
しかし X のイソトロピーが非コンパクトであるような場合においては, G の捻じれのない離散群であっても, X の不連続群になるとは限らない.
以下, G が線型簡約リー群であり, G-等質空間 X として簡約型かつイソトロピーが非コンパクトであるような場合を考える(この設定では X は G 不変リーマンは許容しないが, G不変擬リーマン計量を許容する).
小林俊行氏は [Math.Ann.(1989)], [J. Lie Theory (1996)] において, 与えられた G の離散部分群が X の不連続群になるための判定条件を与えている.
この判定法は与えられた離散部分群と X におけるイソトロピー部分群の ``固有値の分布''の関係性に着目する画期的なものである.
本講演では 正定値非コンパクトリーマン対称空間の全測地的部分多様体の族として実現されるような G-等質空間 X について, リーマン幾何学の言葉を用いて上記の小林氏の判定定理を翻訳したものを紹介する.
この枠組みにおいては, 与えられた離散部分群の``固有値の分布''の代わりに, その群の定める局所対称空間の``測地ループの分布''に着目する.
G をリー群とし,X を G-等質空間とする.
X のいくつかの開集合を G 移動で貼り合わせて得られる多様体を(G,X)-多様体とよぶ.
X の G 不変局所幾何構造(計量など)は(G,X)-多様体に移植可能であり, (G,X)-多様体はよい幾何構造を持った多様体の例を供給することが期待される.
この意味で, (G,X)-多様体の構成は微分幾何学における重要な研究テーマの一つである.
G の離散部分群が X に固有不連続に作用するとき, その離散群を X の不連続群とよび, その作用による X の商多様体を Clifford--Klein 形と呼ぶ.
Clifford--Klein 形は (G,X)-多様体である.
これより G-等質空間 X 上の不連続群の構成や分類は重要な問題となる.
G-等質空間 X のイソトロピーがコンパクトである場合には, Gの捻じれのない離散部分群はすべて不連続群である.
しかし X のイソトロピーが非コンパクトであるような場合においては, G の捻じれのない離散群であっても, X の不連続群になるとは限らない.
以下, G が線型簡約リー群であり, G-等質空間 X として簡約型かつイソトロピーが非コンパクトであるような場合を考える(この設定では X は G 不変リーマンは許容しないが, G不変擬リーマン計量を許容する).
小林俊行氏は [Math.Ann.(1989)], [J. Lie Theory (1996)] において, 与えられた G の離散部分群が X の不連続群になるための判定条件を与えている.
この判定法は与えられた離散部分群と X におけるイソトロピー部分群の ``固有値の分布''の関係性に着目する画期的なものである.
本講演では 正定値非コンパクトリーマン対称空間の全測地的部分多様体の族として実現されるような G-等質空間 X について, リーマン幾何学の言葉を用いて上記の小林氏の判定定理を翻訳したものを紹介する.
この枠組みにおいては, 与えられた離散部分群の``固有値の分布''の代わりに, その群の定める局所対称空間の``測地ループの分布''に着目する.
2020年02月05日(水)
15:00-16:00 数理科学研究科棟(駒場) 126号室
Simon Gindikin 氏 (Rutgers University)
Direct inversion of the horospherical transform on Riemannian symmetric spaces (English)
Simon Gindikin 氏 (Rutgers University)
Direct inversion of the horospherical transform on Riemannian symmetric spaces (English)
[ 講演概要 ]
It was a problem of Gelfand to find an inversion of the horospherical transform directly and as a result to find directly the Plancherel formula.
I will give such an inversion and it gives a formula different from Harish-Chandra's one.
It was a problem of Gelfand to find an inversion of the horospherical transform directly and as a result to find directly the Plancherel formula.
I will give such an inversion and it gives a formula different from Harish-Chandra's one.
2020年01月28日(火)
10:00-16:40 数理科学研究科棟(駒場) 号室
Kavli IPMU
Taito Tauchi 氏 (The University of Tokyo) 10:00-11:00
Relationship between orbit decomposition on the flag varieties and multiplicities of induced representations (English)
Mikhail Kapranov 氏 (Kavli IPMU) 11:20-12:20
TBA (English)
Michael Pevzner 氏 (University of Reims) 14:00-15:00
From Symmetry breaking toward holographic transform in representation theory (English)
Leticia Barchini 氏 (Oklahoma University) 15:40-16:40
Cells of Harish-Chandra modules
(English)
Kavli IPMU
Taito Tauchi 氏 (The University of Tokyo) 10:00-11:00
Relationship between orbit decomposition on the flag varieties and multiplicities of induced representations (English)
Mikhail Kapranov 氏 (Kavli IPMU) 11:20-12:20
TBA (English)
Michael Pevzner 氏 (University of Reims) 14:00-15:00
From Symmetry breaking toward holographic transform in representation theory (English)
Leticia Barchini 氏 (Oklahoma University) 15:40-16:40
Cells of Harish-Chandra modules
(English)
