17日（火）の18時から懇親会を行います．参加を希望される方は世話人（chida__at__mail__period__dendai__period__ac__period__jp（__period__ → . __at__ → @ としてください））までご連絡ください．
Beilinsonと斎藤によって特性サイクルが定義されたが，いくつかの特性サイクルの関手性に関しては未だに解決されていない． これらの関手性を構築する取り組みの進展についてお話ししたいと思う． まだ研究が完成していないので，前半で大まかな戦略を話したあと，後半ではひとつの技術的な鍵となる$A^1$ホモトピー論での跡射の枠組みに関してお話ししたい． 全体を通じて（スキーム上の）エタール・コホモロジーを体得している方々にはストレスのない話にする予定で，$A^1$ホモトピー論などの知識は全く仮定しない．
$p$を素数とします． 標数$p$の体上定義された簡約代数群の代数的な表現の理論においては，その背後にアフィンHecke環の組み合わせ論が存在することが知られています． 例えば，既約表現の指標公式はアフィンHecke環を使い定義されるKazhdan-Lusztig多項式により記述されることが予想されていました（Lusztig予想）． この予想自身はWilliamsonにより反例が与えられましたが，その改良としてWilliamsonらは既約表現の指標公式が$p$-Kazhdan-Lusztig多項式を使い記述されることを予想し，多くの$p$に関してこの予想を示しました．
$p$-Kazhdan-Lusztig多項式の定義にはアフィンHecke環のみでは不十分で，その圏化を必要とします． このようなアフィンHecke環の圏化は当初Soergelにより（ここでの文脈とは少し違う設定で）「Soergel両側加群」を使い与えられました． しかし，このSoergelの理論は上記の設定では機能しません． そのために，EliasとWilliamsonは別の圏化を定義して上記の予想を定式化しました． その定義は生成元と関係式によるもののため，一見もともとのSoergelによる定義とはかけ離れたものとなっています． 今回，Soergelの設定を少し変更することでElias-Williamsonにより与えられた圏と圏同値な圏が得られることがわかったので，それについてお話します．
We study (homogeneous) Fourier-Deligne transform of the characteristic function supported on the discriminant locus on the moduli space of cubic curves over finite fields. We propose a conjectural motivic formula which describes the value of the Fourier-Deligne transform explicitly. Rather surprisingly, certain K3 surfaces naturally appear in the formula, and their Hasse-Weil zeta functions conjecturally explain the ``square-root cancellation'' phenomena of the associated exponential sums. We also present some experimental evidences, partial theoretical results, and possible approaches to the complete proof. (Joint work with Yasuhiro Ishitsuka (Kyoto) and Takashi Taniguchi (Kobe).)
偏極Abel多様体やK3曲面のモジュライは局所対称空間の構造をもつことが知られている。1960年頃に、局所対称空間の複数のコンパクト化が佐武一郎により構成され、そのうちのひとつがBaily-Borelコンパクト化とよばれるものである。ここ数年の尾高悠志氏(京都大学)との共同研究で、(Baily-Borelコンパクト化とは異なる)ある佐武コンパクト化が、Abel多様体やK3曲面のRicci平坦計量のGromov-Hausdorff収束の様子を良く表すことがわかってきたのでその報告を行いたい。
Let $L$ be an imaginary quadratic field, and $p$ an odd prime number. Then Rapoport and Zink constructed integral models over the integer ring of a $p$-adic field of Shimura varieties for $\mathrm{GU}(r,s)$ associated to $L/\mathbb{Q}$ with Bruhat-Tits level at $p$. It is defined as a moduli space of abelian varieties with CM by $L$ and additional structures. In this talk, we give a concrete description of the supersingular locus of the geometric special fiber of the integral model for $(r,s)=(2,2)$ when $p$ is ramified in $L$ and the level at $p$ is special maximal parahoric. More precisely, we see that the supersingular locus consists of exactly two components; one is contained in the closure of the generic fiber and has purely $2$-dimensional, and the other does not intersect with the closure of the generic fiber and has purely $1$-dimensional.
Bhatt and Scholze developed the theory of prisms and prismatic cohomology. In particular, they obtained a site-theoretic construction of Breuil-Kisin cohomology in the smooth case. It is natural to consider a logarithmic variant to study the semistable case. I will report on the status of the log prismatic theory.
Lie群・Lie代数の表現論では，表現の指標を求めることが基本的な問題である． 指標によって表現の情報を知るという側面以外にも，指標として現れる函数そのものが興味深い，ということがしばしばある．
代表的な例として，最も基本的な一般線型群・Lie代数の有限次元既約表現を考えると，その指標はSchur多項式である． 複素単純Lie代数の有限次元既約表現の指標は，Schur多項式を一般のルート系に拡張したものと解釈することもできる． 次に，考えるLie代数を無限次元にまで広げて，単純Lie代数と1変数多項式環をテンソルしたLie代数（カレントLie代数）とする． 表現としてWeyl加群をとると，その指標はMacdonald多項式の$t=0$での特殊化に一致することが知られている． ここでMacdonald多項式とは，Schur多項式，あるいは一般に単純Lie代数の有限次元既約指標，を$q,t$変形したもので，可積分系や組合せ論の研究で重要な位置を占める直交多項式である． また，単純Lie代数がADE型のときには，カレントLie代数のWeyl加群は箙多様体のホモロジー群による実現を持つため，その指標は箙多様体のポアンカレ多項式を記述することになる．
この講演では，こうした結果を振り返ったあとで，考えるLie代数の変数をもう1つ増やして2変数にしたもの（トロイダルLie代数）の表現論について説明し，その指標についてわかっていることと期待していることを述べる．
Weil representations for symplectic groups over finite fields are constructed by Howe. Weil representations for unitary groups are constructed by Gerardin. In the following, we consider Weil representations for unitary groups. We give a geometric construction of the Weil representation on the middle cohomology of a certain algebraic variety.
We introduce two applications of the above construction. In characteristic two, Tiep constructs an extension of the Weil representation to a semidirect group of a unitary group with a cyclic group of order two, which is used for Howe correspondence. We give a uniform geometric construction of this by using Frobenius structure on the cohomology not depending on characteristic.
We construct Shintani liftings of Weil representations again by using Frobenius structure, which is a unitary version of Henniart--Wang's result in a symplectic case. This is a joint work with Naoki Imai.
Building on J.-K. Yu's construction of supercuspidal representations, Kaletha recently defined the class of regular supercuspidal representations for tamely ramified $p$-adic groups (of odd residual characteristic) and made a profound study of these representations. In particular, he constructed (a candidate of) the local Langlands correspondence for regular supercuspidal representations and showed a number of desired properties. In this talk we will explain that Kaletha's construction indeed gives the local Langlands correspondence when the group is $\mathrm{GL}(n)$. A key fact is that in this case regular supercuspidal representations are nothing other than essentially tame representations intensively studied by Bushnell-Henniart and later by Tam. This is a joint work with Masao Oi.
$\mathrm{GSp}(4)$ の Rapoport-Zink 空間とは，Siegel threefold の局所版にあたる $p$ 進解析空間である．Siegel threefold の場合と同様，レベル構造を考えることで Rapoport-Zink 空間の射影系が得られるが，それを Rapoport-Zink 塔と呼ぶ．$\mathrm{GSp}(4)$ の Rapoport-Zink 塔のエタールコホモロジーには，$\mathbb{Q}_p$ の Weil 群，$\mathrm{GSp}_4(\mathbb{Q}_p)$ に加え，$\mathrm{GSp}_4(\mathbb{Q}_p)$ の内部形式 $J(\mathbb{Q}_p)$ も作用する．これらの作用によるエタールコホモロジーの分解の様子は局所 Langlands 対応によって記述されると考えられているが，$\mathrm{GL}(n)$ の場合と異なり中間次元以外にも $\mathrm{GSp}(4)$ の超尖点表現が現れるなどの事情もあり，いまだ分かっていないことが多い．
この講演では，齋藤・黒川型と呼ばれる非緩増加な局所 A パラメータおよびそれに伴う L パラメータに対応する $J(\mathbb{Q}_p)$ の局所 A パケットを考える．これらの A パケットが，中心指標が自明である超尖点表現を含むという仮定のもとで，それが Rapoport-Zink 塔のエタールコホモロジーにどのように寄与するかを決定する．また，Rapoport-Zink 塔のエタールコホモロジーを $J(\mathbb{Q}_p)$ のスムーズ表現の導来圏の対象とみなしたものを用いることで，局所 A パケットから局所 A パラメータを自然に復元できるという現象についても説明を行う．
本講演は，伊藤哲史氏との共同研究に基づくものである．
An elliptic curve over a totally real field is said to be modular if its Hasse-Weil L-function is the L-function associated to some Hilbert modular form.
Many elliptic curves over totally real fields are already known to be modular, but it is still hard to prove modularity of all elliptic curves.
I will explain how to obtain modularity of elliptic curves (in a difficult case) by using the theory of Diophantine stability due to Mazur-Rubin.