12月22日 (金) 16:00～17:00
URL: Zoomリンク
ミーティングID: 973 0880 1879
パスワード: b6N428
仲里渓 氏（株式会社 Proxima Technology）
「Noetherian perfectoid towers and small tilts」
要旨：The theory of perfectoid rings is a powerful tool for studying algebraic geometry in mixed characteristic, but it heavily relies on delicate nature of non-Noetherian rings. To establish a general framework to apply the perfectoid theory in a Noetherian setting, we introduce a certain class of sequences of ring extensions that provide Noetherian approximation of perfectoid rings. We then discuss their “tilts” and illustrate some application to log-regular rings. This talk is based on a joint work with Shinnosuke Ishiro and Kazuma Shimomoto.
12月8日 (金) 16:00～17:00
竹内 大智 氏 (理化学研究所革新知能統合研究センター)
「On local epsilon factors of the vanishing cycles for tamely ramified sheaves」
要旨：On local epsilon factors of the vanishing cycles for tamely ramified sheaves アブストラクト：$X$を有限体$k$上の滑らかな射影多様体とし、$\ell$を$k$の標数とは異なる素数とする。$X$上の$\ell$進層$\mathcal{F}$に対し、そのコホモロジーは$k$の絶対Galois群の$\ell$進表現となる。このコホモロジーの判別式指標にFrobenius元を代入して得られる$\ell$進数を$\mathcal{F}$の大域イプシロン因子と呼ぶ。この大域イプシロン因子の分解公式として、$X$が曲線の場合にはLaumonの積公式が知られている。Laumonによるイプシロン因子の分解は、$X$の微分形式の取り方によっている。本講演では、$X$が一般次元で$\mathcal{F}$がtamely ramifiedの場合に、大域イプシロン因子が微分形式を用いてどのように分解できるかについて、分かっていることを紹介する。
11月17日 (金) 16:00～17:00
杉山 真吾 氏（金沢大学）
「Hecke体の次数増大度の評価について」
要旨：Hecke固有形式に対して, そのHecke固有値をすべて有理数体に添加してできる体が考えられる. これはHecke体と呼ばれ, コホモロジカルな条件の下で, 有限次代数体になる. 本講演では素数dに対するGL(2d)の保型表現, 正整数nに対するSp(2n)の保型表現を考察し, これらの保型表現から定まるHecke体の有理数体上の拡大次数の増大度を, レベルアスペクトに関して評価する. この証明には跡公式, Hecke固有値の整数性, 保型表現のリフティングを用いる. 本研究は佐久川憲児(信州大学)との共同研究である.
10月6日 (金) 16:30～17:30
吉川 翔 氏（東工大）
「混合標数の極小モデル理論」
要旨：極小モデル理論とは，与えられた多様体に対し，よりよい多様体への双有理変形を与えるプログラムである「極小モデルプログラム」に関する理論である．例えば曲面の場合，(-1)-曲線の収縮を繰り返すことにより，(-1)-曲線の存在しない曲面を得ることができる．これが曲面の場合の極小モデルプログラムである．高次元の場合にはより複雑な操作を考える必要があることが知られている．極小モデル理論における主な問題は「極小モデルでない場合にその操作が続けられること」および「その操作の繰り返しにより極小モデルがえられること」の二つである． 初めは複素数体上の多様体について考察されたが，最近になって正標数や混合標数の場合にも極小モデル理論が研究されている．この講演では，極小モデル理論の発展を簡単に振り返った後，混合標数の場合について詳しく紹介する．特に，Bhattによる混合標数の消滅定理が極小モデル理論にどう使われたかを中心に解説する．
9月8日 (金) 16:00～18:00 東工大本館 2 階 H201
高松 哲平 氏 (京都大学理学研究科/白眉センター)
「GSp における semi-infinite Deligne-Lusztig 多様体と affine Deligne-Lusztig 多様体の比較について」
要旨：Deligne-Lusztig 理論とは、有限簡約群の表現を、 Deligne-Lusztig 多様体 (DLV) という 代数多様体の l 進コホモロジーに実現する理論である。 Lusztig は、同様の構成が p 進体上でも有用であると予想した。 Deligne-Lusztig 多様体の p 進体上の類実物として、 semi-infinite DLV と affine DLV の二つが考えられる。 Chan-Ivanov は GL に対するこれらの類似物の (σ-) 線形代数的な記述を与え、 semi-infinite DLV が affine DLV の ある種の逆極限であることを示し、 更に、affine DLV の詳細な構造の研究を行った。 本講演では、彼らの結果の GSp の場合の類似を説明する。
7月14日（金）
16:00～17:00
Shanta Laishram 氏（Indian Statistical Institute, Delhi）
「On the irreducibility of Truncated Binomial polynomials」
要旨：For positive integers n ≧ m, let
be the truncated binomial expansion of (1+x)n consisting of all
terms of degree ≦ m. These polynomials arose in the
investigation of Schubert calculus of Grassmannians. It is conjectured
that for n > m+1, the polynomial Pn,m(x) is irreducible.
We confirm this conjecture when 2m ≦ n < (m+1)10.
Under explicit abc conjecture, for a fixed m, we give an explicit n0
depending only on m such that ∀ n ≧ n0, the polynomial
Pn,m(x) is irreducible.
This is a joint work with P. Yadav.
7月7日（金）
15:30～16:30, 16:45～17:45 （今回は2枠分の開催となります）
15:30～16:30
宮崎弘安 氏（NTTコミュニケーション科学基礎研究所）
「Motives and Hodge cohomology with a ramification filtration」
要旨：The primary purpose of the theory of motives is to unite different cohomologies. Voevodsky’s highly successful theory unites homotopy invariant cohomologies. On the other hand, there are fundamental cohomologies that are not homotopy invariant, e.g., Hodge cohomology. In this talk, we explain that Hodge cohomology can be represented in the category of motives with modulus constructed in the joint work with Kahn-Saito-Yamazaki as an extension of Voevodsky’s theory. We will also see that, in this category, we can represent a filtration of the Hodge cohomology. As an application, we will construct a Hodge realization functor extending the classical de Rham realization of Voevodsky’s motives. This talk is based on a joint work with Shane Kelly.
16:45～17:45
Pak-Hin Lee 氏（University of Warwick）
「On the p-adic interpolation of Asai L-values」
要旨：One theme of the relative Langlands program is that period integrals of an automorphic representation of G over a subgroup H often detect functorial transfer from some other group G'; moreover, such period integrals often compute special L-values. It is natural to expect p-adic L-functions interpolating these period integrals as the automorphic representation varies in p-adic families, which should encode geometric information about the eigenvariety of G. In this talk, we consider the Flicker-Rallis periods, for which G = GLn(K) and H = GLn(Q) for an imaginary quadratic field K, and outline the construction of a p-adic L-function on the eigenvariety of G interpolating certain non-critical Asai L-values. We discuss the case n=2 in some detail before moving on to general n, which is work in progress with Daniel Barrera Salazar and Chris Williams.
6月21日（水）
16:00～17:00
峰 正博 氏（上智大学）
「Zeros of the Hurwitz zeta-function and the Gonek Conjecture 」
要旨：According to the Riemann Hypothesis, the Riemann zeta-function has no zeros in the right half of the critical strip. The Hurwitz zeta-function is defined by a Dirichlet series with a parameter, which is similar to the Riemann zeta-function. On the other hand, if the parameter is rational or transcendental, it is known that the Hurwitz zeta-function has infinitely many zeros in the right half of the critical strip. Then the question arises whether the same result holds for an algebraic irrational parameter. Although some progress has been made by several mathematicians, this is still an open problem. In this talk, I will present the first result ensuring the existence of the Hurwitz zeta-function with algebraic irrational parameter that has infinitely many zeros in the right half of the critical strip. This result was derived by resolving a weak version of the Gonek Conjecture, which asserts that the Hurwitz zeta-function with algebraic irrational parameter has a universality property.
6月9日（金）
16:00～17:00
Annika Burmester 氏（Bielefeld University）
「A generalization of formal multiple zeta values related to multiple Eisenstein series and multiple q-zeta values」
要旨：I will start with a review of the (formal) multiple zeta values and the extended double shuffle relations. Then, I will introduce the algebra G^f, which should be seen as a simultaneous formalisation of multiple Eisenstein series and q-analogs of multiple zeta values. I will indicate how to obtain a surjective algebra morphism from the algebra G^f onto formal multiple zeta values. This algebra morphism could be seen as a formal version of taking the limit q to 1 or the constant term of q-series. In particular, we can view the algebra G^f as a generalization of formal multiple zeta values.
5月26日（金）
16:00～17:00
Benjamin Collas 氏（RIMS）
「Stack arithmetic of the moduli spaces of curves and universal monodromy representations」
要旨：Moduli spaces of curves of genus g with m points and their étale fundamental group are endowed with a divisorial inertia (at infinity) and a (local) stack inertia (that is, corresponding to the automorphisms of objects.) The former has been successfully exploited for the study of the absolute Galois group of rational numbers, for example, in terms of Galois/Grothendieck-Teichmüller theory, within Ihara's pro-ℓ program, and in terms of Oda's conjecture on the (g,m)-independance of the fixed field of the pro-ℓ universal monodromy representation (Ihara, Nakamura, Matsumoto et al.). This talk will present some arithmetic aspects of the stack inertia of the moduli spaces with, in particular, a formulation, and its proof, of a stack version of Oda's conjecture which is closer in its spirit to Oda's original prediction, and which we show, provides another proof of its original schematic version (jt w/ Philip and Tamagawa).
5月12日（金）
16:00～17:00
山口永悟 氏（東工大）
「An extension of the Grothendieck conjecture on the maximal geometrically m-step solvable quotients of arithmetic fundamental groups」
要旨：The Grothendieck conjecture states that "the information of hyperbolic curves is reconstructed group theoretically from their arithmetic fundamental group". This conjecture is one of the most important problems in Anabelian geometry. It was solved in the 1990s by Hiroaki Nakamura, Akio Tamagawa, Shinichi Mochizuki and others. In this talk, I will discuss the m-step solvable version of the Grothendieck conjecture (i.e. "the information of hyperbolic curves is reconstructed group theoretically from the maximal geometrically m-step solvable quotient of their arithmetic fundamental group") and present the current status of this conjecture.
4月28日（金）
16:00～17:00
谷田川友里 氏（東工大）
「Partially logarithmic ramification theory and characteristic cycle of a rank one sheaf」
要旨：Computation of the characteristic cycle, which is introduced by Beilinson and Saito for a constructible sheaf on a smooth variety over a perfect field, gives a computation of the Euler characteristic of the sheaf by the index formula. In this talk, we construct an algebraic cycle by introducing a general theory combining logarithmic and non-logarithmic ramification theory introduced by Brylinski-Kato and Matsuda, respectively, and compare it with the characteristic cycle for a rank one sheaf.
3月10日（金）
16:00～17:00
陽 煜 氏（京都大学数理解析研究所）
「Arithmetic fundamental groups of curves over local fields」
要旨：In the 1990s, Mochizuki (Invent. Math. 138 (1999), 319–423) solved Grothendieck's anabelian conjecture over sub-p-aidc fields which is one of the most important results in anabelian geometry. Its proof relies heavily on Faltings' approach to p-adic hodge theory, and can be only used in characteristic 0. In this talk, I will explain a new proof of Mochizuki's theorem concerning (Isom-version) Grothendieck's anabelian conjecture over sub-p-adic fields obtained by Y. Hoshi and the speaker. Our method is completely different from Mochizuki's approach (i.e., without using p-adic hodge theory), and depends mainly on the techniques of algebraic geometry in positive characteristic (e.g. local Torelli problem for semi-Prym varieties, Raynaud-Tamagawa theta divisors, degeneration of abelian varieties, Serre-Tate theory, etc.) and fundamental groups in positive characteristic (e.g. Tamagawa's result concerning Grothendieck's anabelian conjecture for curves over finite fields, combinatorial anabelian geometry in positive characteristic, etc.). This talk will be given in Japanese.
1月27日（金）
16:00～17:00
加藤文元 氏（東京工業大学名誉教授・学校法人角川ドワンゴ学園理事）
「Rational points of rigid-analytic sets: a Pila-Wilkie type theorem」
要旨：Joint work with Gal Binyamini (Weizmann). We establish a rigid-analytic analog of the Pila-Wilkie counting theorem, giving sub-polynomial upper bounds for the number of rational points in the transcendental part of a Qp-analytic set, and the number of rational functions in a Fq((t))-analytic set. For Z[[t]]-analytic sets we prove such bounds uniformly for the specialization to every non-archimedean local field.
1月20日（金）
16:00～17:00
Francesco Lemma 氏（Université Paris Cité）
「Algebraic cycles and functorial lifts from G2 to PGSp(6)」
要旨：We will consider the part V of the étale cohomology of the Siegel variety S of dimension 6 corresponding to a cuspidal automorphic representation of PGSp(6) which is a Langlands functorial lift from the exceptional group G2. Gross and Savin conjectured that the Galois invariant line contained in V is generated by the cohomology class of a Hilbert subvariety of S. I will explain how to reduce this global conjecture to a local statement, namely the non-vanishing of an archimedean integral. This is a joint work with Cauchi and Rodrigues Jacinto (arXiv:2202.09394).
11月17日（木）
16:00～17:00
福永健吾 氏（東工大）
「保型形式のp進族に附随するp進三重積L関数」
要旨：Ming-Lun Hsiehは論文“Hida families and p-adic triple product L-functions”の中で, Hida変形族の三つ組み(F,G,H)に付随したp進三重積L関数を構成し, その補間公式を与えた. 私は自身の論文の中でその結果をunbalanced な場合に限り一般化し, Hida変形族Fと特定の条件をみたすより一般的な変形族G,Hに付随したp進三重積L関数を構成した. G,Hの例としては Coleman family や CM family をとることができる. 今回はその結果について話す.
8月9日（火）
16:15～17:15
Ramla Abdellatif（Université de Picardie Jules Verne）
「Restriction of p-modular representations of p-adic groups to minimal parabolic subgroups」
要旨：Given a prime integer p, a non-archimedean local field F of residual characteristic p and a standard Borel subgroup P of GL2(F), Paškūnas proved that the restriction to P of (irreducible) smooth representations of GL2(F) over Fp encodes a lot of information about the full representation of GL2(F) and that it leads to useful statement about p-adic representations of GL2(F). Nevertheless, the methods used at that time by Paškūnas heavily relied on the understanding of the action of certain spherical Hecke operator and on some combinatorics specific to the GL2(F) case. This method can be transposed case by case for some other quasi-split groups of rank 1, but this is not very satisfying as such. This talk will report on a joint work with J. Hauseux. Using Emerton’s ordinary parts functor, we get a more uniform context which sheds new light on Paškūnas’ results and allows us to generalize very naturally these results for arbitrary rank 1 groups. In particular, we prove that for such groups, the restriction of supersingular representations to a minimal parabolic subgroup is always irreducible.
8月2日（火）
16:30～17:30
Aprameyo Pal（Harish-Chandra Research Institute）
「p–adic Galois representations and multivariable (φ, Γ)-modules」
要旨：A main goal of algebraic number theory is to understand continuous Galois representations of GQ = Gal(Q/Q). The study of these “Global” Galois representations is a fundamentally hard problem and an often simpler approach is to first study continuous "local" Galois representations of GQp = Gal(Qp/Qp). There is a very useful classification of p-adic representations of GQp (due to Fontaine) in terms of simpler objects of (semi)linear algebra, the so-called étale (φ, Γ)-modules. The (φ, Γ)-modules have found tremendous applications to the p-adic Langlands correspondence for GL2(Qp). Conjecturally multivariable (φ, Γ)-modules contribute to the p-adic Langlands correspondence for GLn(Qp) with n > 2. In this talk, I will introduce the multivariable (φ, Γ)-modules, explain how these classify Galois representations of direct power of GQp, and compute the Galois cohomology with some possible applications.
7月6日（水）
16:15～17:15
長町 一平 氏（京都大学数理解析研究所）
「離散付値体上の代数曲線の極小対数的正則モデル」
要旨：Deligne と Mumford は, 離散付値環 R 上の固有双曲曲線が安定還元を持つこと と, その曲線のヤコビアンが安定還元を持つことの同値性を, R の剰余体 k が代 数閉体の場合に証明した. その証明では, 極小正則モデルの理論が重要な役割を 果たした. この講演では, この理論の対数的類似として構築した, 極小対数的正則 モデルの理論について説明する. さらに, この理論の応用として, 上で説明した安 定還元の同値性を k が一般の場合に証明する. またこの理論のために導入した, 2 次元局所環に対する対数的正則性の判定法や, 対数的正則なスキームのブローダ ウンについても説明する.
「Minimal log regular models of curves over discrete valuation rings」
Abstract: Deligne and Mumford proved that a proper hyperbolic curve over a discrete valuation ring R has stable reduction if and only if the Jacobian variety of the curve has stable reduction in the case where the residue field k of R is algebraically closed. In the proof, the theory of minimal regular models played an important role. In this talk, we establish a theory of minimal log regular models of curves. As a key tool for this theory, we introduce a notion of “log blow-down” and give a scheme-theoretic characterization of 2-dimensional log regular local log schemes. Moreover, as an application of this theory, we prove the above equivalence without the assumption on k.
6月22日（水）
16:00～17:00
井上 翔太 氏（東工大）
「Dirichlet L関数の同時値分布について」
要旨： SelbergはDirichlet L関数を始めとするL関数が「統計的に独立になる」と言及し た。 その後BombieriとHejhalは、L関数の同時極限分布が多変数の正規分布に従うことを 証明し、 L関数が確率変数として独立になることが明らかになった。 一方で彼らの研究は臨界線上に関するもので、他の領域での独立性はこれまで議論さ れていなかった。 本講演では臨界線から外れたある領域で、Dirichlet L関数の同時分布について議論 する。 この講演で得られる主定理は、臨界線を除く臨界領域でのDirichlet L関数の非独立 性、 L関数の同時極大値に関するMahatab, Pankowski, Vatwaniらによる評価の改善、 などについての結果を導く。本講演の内容はBonn大学のJunxian Li氏との共同研究で ある。
5月27日（金）
16:15～17:15
室谷 岳寛 氏（東工大）
「混標数完備離散付値体の絶対Galois群の間の準同型のある種の幾何性について」
要旨：p進局所体の絶対Galois群の間の（開）準同型が幾何的（すなわち体の準同型から生じるもの）であるためには， （位相的Galois加群としての）代数閉包の完備化及びp進円分指標が保たれれば十分であることが，望月新一氏により知られています． 今回は，一般の剰余完全な混標数完備離散付値体に対して類似の問題を考え，これらの結果のある種の拡張について議論します． これにより，例えば剰余体が有限体上代数的であるような混標数完備離散付値体の絶対Galois群の間の準同型の幾何性について， 上に述べたp進局所体の場合とほぼ同様の主張が成り立つことが従います．
2月8日（火）
15:00～16:00
小松尚夫 氏（浙江理工大学）
「Linear Diophantine problem of Frobenius associated with number of representations」
要旨：与えられた正整数の組(a_1,a_2,...,a_k)に対して、a_1 x_1+a_2 x_2+...+a_k x_k=n という線型方程式の非負整数解(x_1,x_2,...,x_k)を考える。gcd(a_1,a_2,...,a_k)=1であれば、 十分大きい正整数nに対して解は常に存在するから、解が存在しないような最大の整数n (Frobenius数) あるいは解が存在するような最小の非負整数(conductor)に興味がもたれる。 本講演では、Frobenius数 やそれに関連する概念（Sylvester数、Sylvester和、べき和、加重和等）について考察し、既存の結果を基 に新しい結果を与える。また、解がある（１個以上）かない（０個以下）かという元々の問題を拡張して、 解がp個を超えるかp個以下かという問題を考察する。実際、２変数の場合の扱いは容易であり様々な 明示公式が知られているが、３変数以上の場合の扱いは非常に困難になり、特殊な３変数についてわ ずかの結果が知られているに過ぎない。
本講演は3日間にわたって開催される3部構成です。
7月2日（金） 15:00～16:00 （JST）
7月9日（金） 15:00～16:00 （JST）
7月16日（金） 15:00～16:00 （JST）
Johan Commelin 氏（Albert–Ludwigs-Universität Freiburg）
「Liquid Tensor Experiment」
要旨：In December 2020, Peter Scholze posed a challenge to formally verify
the main theorem on liquid $\mathbb{R}$-vector spaces, which is part of his
joint work with Dustin Clausen on condensed mathematics. I took up this challenge
with a team of mathematicians to verify the theorem in the Lean proof assistant.
Half a year later, we have reached a major milestone, and our expectation is that
we are roughly halfway done with the challenge.
The first in this series of three talks will be a colloquium-style talk for a
general audience. In this talk I will give a brief motivation for condensed/liquid mathematics,
a demonstration of the Lean proof assistant, and discuss our experiences formalizing state-of-the-art
research in mathematics.
In the second talk I will give more background on how Lean works. We will see how different components
play together to create an extendable interactive proof assistant.
The third talk will give an overview of the proof that we are
formalizing. The proof consists of an intricate mix of functional analysis and homological algebra.
Instead of getting dragged down in technical inequality estimates, I will try to give a high-level
picture of the techniques involved. In particular, I will discuss a simplification of Breen-Deligne
resolutions that was discovered during this project.
6月10日（水）
16:00～17:00
秋山 浩一郎 氏（株式会社東芝 研究開発センター）
「不定方程式の観点から見た耐量子計算機暗号～量子計算機時代に向けた公開鍵暗号設計の試み～」
要旨：量子超越が証明されるなど量子計算機への期待が高まってきている。その一方 で、大きな数の計算が可能な量子計算機ができるとRSA暗号などの現行の公開 鍵暗号が破れることが知られており、情報セキュリティの大きな問題として認 識されるようになってきた。これを受けて量子計算機でも破れない公開鍵暗号 （耐量子計算機暗号）の研究や標準化の検討が世界規模で行われている。本講 演では格子暗号など現在提案されている耐量子計算機暗号を不定方程式という 観点で概観するとともに我々の研究グループ（東大、産総研、九大他）で取り 組んでいる公開鍵暗号設計の取り組みをご紹介する。
3月13日（金） 16:00～17:00
小貫啓史 氏 （東京大学 大学院 情報理工学系研究科）
「向き付けられた超特異楕円曲線とその暗号への応用」
要旨： 有限体上定義された超特異楕円曲線の自己準同型環は四元数代数の極大整環と同型であり、 その中への虚二次体の整環の埋め込みを複数持つ。向き付けられた超特異楕円曲線とは、 超特異楕円曲線とその自己準同型間への虚二次体の整環の埋め込みのペアのことである。 2019年にCol\'{o}とKohelは、向き付けられた超特異楕円曲線の同型類に対して虚二次体の整環の イデアル類群が単純推移的に作用すると述べ、それを用いた暗号プロトコルを提案した。しかし、彼らはこの 命題の厳密な証明を与えなかった。また、彼らの暗号プロトコルはパラメータ設定の方法が曖昧なものであった。 講演者はCol\'{o}とKohelによるイデアル類群の単純推移作用の命題に若干の修正が必要であることを示し、 修正された命題の証明を与えた。また、それらを用いた暗号プロトコルが正しく動くためのパラメータの条件を 具体的に与えた。本講演では、これらの結果を紹介する。
2月6日（木）
16:00～17:00
（いつもと曜日が異なりますので御注意下さい！）
Jens Niklas Eberhardt 氏 （MPIM Bonn）
「Motives in Geometric Representation Theory」
要旨： Categories of representations arising in Lie theory can often be modeled geometrically in terms of constructible sheaves on certain spaces, as for example on the flag variety, affine Grassmannian or the nilpotent cone. Recent developments in the theory of motives allow to consider so called "motivic sheaves", an algebro-geometric analogue of constructible sheaves. In this talk we will explain how one can practically work with motivic sheaves (using Grothendieck's six functor formalism) and apply them in representation theory. We will show how motivic sheaves can be used to model Category O associated to a reductive complex Lie algebra, modular Category O associated to a split reductive group over a finite field and categories of representations of convolution algebras, such as the graded affine Hecke algebra and KLR-algebras. We also will explain how more "exotic" versions of motivic sheaves provide exciting new opportunities in geometric representation theory.
1月24日（金） 16:00～17:00
Andrew Macpherson 氏 （Kavli IPMU）
「A Tannakian perspective on rigid analytic geometry」
要旨： Raynaud's conception of analytic geometry contends that the category of analytic spaces over a non-Archimedean field is a (suitably "geometric") localisation of the category of formal schemes over the ring of integers at a class of modifications "along the central fibre". Unfortunately, as with all existing presentations of non-Archimedean geometry, this viewpoint is confounded by a proliferation of technical difficulties if one does not impose absolute finiteness conditions on the formal schemes under consideration. I will argue that by combining Raynaud's idea with a Tannakian perspective which prioritises the module category, we can obtain a reasonable framework for rigid analytic geometry with no absolute finiteness hypotheses whatsoever, but which has descent for finitely presented modules.
1月17日（金） 16:00～17:00
平之内 俊郎 氏 （九州工業大学）
「Galois symbol maps for abelian varieties over a p-adic field」
要旨：p 進体上の曲線に対する類体論における「類群」の計算を行う. 今回は主に曲線のヤコビ多様体が良通常還元を持つ場合と, Tate曲線になる場合に分かっていることを具体的な例と共に紹介する. 鍵となるのは「類群」を染川 K 群で表してこちらを計算することにある. （E. Gazaki 氏との共同研究）
12月23日（月）
16:00～17:00
（いつもと曜日が異なりますので御注意下さい！）
Wansu Kim 氏 （KAIST）
「Equivariant BSD conjecture over global function fields」
要旨：Under a certain finiteness assumption of Tate-Shafarevich groups, Kato and Trihan showed the BSD conjecture for abelian varieties over global function fields of positive characteristic. We explain how to generalise this to semi-stable abelian varieties “twisted by Artin character” over global function field (under some additional technical assumptions). This is a joint work with David Burns and Mahesh Kakde. If time permits, I’d like to discuss further speculations for generalisations.
12月13日（金） 16:00～17:00
Somnath Jha 氏 (Indian Institute of Technology, Kanpur)
「A duality for Selmer groups」
要旨：Selmer group is an important object of study in number theory. We will discuss a twisting result in the setting of so called "non-commutative" Iwasawa theory. We will further use this to deduce a duality result for certain Selmer groups. (This talk is based on joint works with T. Ochiai and G. Zabradi.)
11月29日（金）
16:00～17:00
（（場所変更）
東工大本館２階 ２０１セミナー室）
相川勇輔 氏 （三菱電機株式会社 情報技術総合研究所）
「楕円曲線の素因数分解アルゴリズムと耐量子暗号への応用」
要旨：楕円曲線の暗号への応用として、楕円曲線群上の離散対数問題を安全性の根拠と する楕円曲線暗号が（数学の分野でも）よく知られているが、その応用の幅はも っと広い。また逆に、数学とは異なる領域の動機によって対象を調べることで、 新たな数学の問題も生まれている。本講演では楕円曲線と暗号の関わりとして、 趣の異なる以下の二つのトピックを紹介する。 一つは、楕円曲線を用いた素因数分解アルゴリズムである。講演者らは代表的な 素因数分解法の一つである楕円曲線法に特殊な楕円曲線生成法であるCM法を組み 合わせた素因数分解アルゴリズムを構成したので、それを紹介したい。（縫田光 司氏（東京大学）、白勢政明氏（はこだて未来大学）との共同研究） もう一つは、同種写像暗号についてである。同種写像暗号は、楕円曲線間の同種 写像計算問題の困難性に安全性の根拠を置く公開鍵暗号である。この暗号は量子 計算機への耐性を有することが期待されており、耐量子暗号の重要な候補の一つ として近年盛んに研究が行われている。今回は、最近提案されたばかりの同種写 像暗号CSIDH(Commutative Supersingular Isogeny Diffie Hellman)の紹介を 行い、それに関わる講演者らの研究を紹介したい。（小貫啓史氏（東京大学）、 山崎努氏（九州大学）、高木剛氏（東京大学）との共同研究）
11月25日（月）
16:00～17:00
（いつもと曜日が異なりますので御注意下さい！）
Baptiste Morin 氏 (Institut de Mathématiques de Bordeaux)
「Duality and class field theory for curves over p-adic fields」
要旨：We give a preliminary definition of a new cohomology for varieties over p-adic fields, and prove a duality theorem for curves. This gives a new viewpoint on class field theory for curves, which is due to Shuji Saito. This is joint work in progress with Thomas Geisser.
10月4日（金） 16:00～17:00
Gregory Sankaran 氏 (University of Bath)
「Topology of cylindrical algebraic decomposition」
要旨：Cylindrical algebraic decomposition is a method that represents a real algebraic or semi-algebraic set as a cell complex. In general, this cell complex does not have good topological properties and therefore cannot necessarily be used for calculating topological invariants. I will describe joint work with James Davenport and Acyr Locatelli in which we use tools from topology and real algebraic geometry to overcome this problem.
7月12日（金） 16:00～17:00
松本 耕二 氏（名大多元）
「多重ゼータ関数の零点集合の形状について」
要旨：Euler-Zagier 型多重ゼータ関数は、多変数複素関数であるため、 その零点集合の様子を調べることは容易ではない。 講演者はまず二重ゼータ関数の場合に、Euler-Maclaurin の公式に基づく 数値実験を行ない、零点集合についてのいくつかの興味深い性質を見出した。 そのうちのあるものは依然として数値的証拠だけで理論的な証明は得られて いないが、他方、やはり数値実験から予想された零点集合のある種の漸近 挙動については、二重の場合だけでなく一般の多重の場合に拡張した形で、 厳密な証明に成功した。こうした数値的、理論的両面の結果を報告したい。 （なおこの研究は日本女子大学の東海林まゆみ氏との共同研究である。）
5月10日（金） 16:00～17:00
加藤 大輝 氏（東大数理）
「On a weight monodromy conjecture over a higher dimensional base」
要旨：A weight monodromy conjecture over a higher dimensional base is formulated for a "semistable" family parameterized by a regular scheme, that is, a smooth proper family of varieties which degenerates log smoothly along a divisor with simple normal crossings. When the base scheme is a variety over a finite field, the conjecture follows from results of Weil II. In this talk, I will discuss a proof of the conjecture in a case of relative curves, in which we use the weight spectral sequence of Rapoport-Zink to argue by induction on the dimension on the base.
4月19日（金） 16:00～17:00
Francesco Baldassarri 氏 (Padova)
「Closed exact categories of modules over generalized adic rings」
要旨：We give a definition of a category of "quasi-coherent sheaves" (of topological modules) on formal adic schemes without noetherian conditions, on Berkovich spaces, and on certain analytic adic spaces. The main thing is that this additive category is quite big (it includes all completed direct sums) and it is exact in the sense of Quillen. Moreover, it has enough "projectives" (P is projective if Hom(P,-) transforms Cokernels into surjections; completed direct sums are projective). So, quasi-coherent cohomology exists. Another good point is that this category of coefficients has a tensor product and an internal Hom that are adjoint to each other: the category is "closed". Over a trivially valued field it just gives the usual category of quasi-coherent sheaves on schemes. The same category in fact exists for formal adic schemes, without noetherian conditions.
3月28日（木）
16:00～17:00
（いつもと曜日が異なりますので御注意下さい！）
Bo-Hae IM 氏 (KAIST)
「The infinite rank of abelian varieties over some fields with characteristic 0 and finitely generated Galois group」
要旨：I will give some survey on Larsen's conjecture which says that the rank of an abelian variety over a field of characteristic 0 with finitely generated absolute Gaiois group is infinite and present some related result in the sense of the full Haar measure.
3月22日（金） 16:00～17:00
Jinhyun Park 氏 (KAIST)
「On motivic cohomology of singular k-schemes」
要旨：I will talk about recent new joint approaches with Sinan Ünver on motivic cohomology of k-schemes with singularities, and I will give some flavors of what kinds of interesting applications one can deduce from them.
1月28日（月）
16:00～17:00
（いつもと曜日が異なりますので御注意下さい！）
谷本 祥 氏（熊本大学）
「Rational curves on prime Fano 3-folds」
要旨： The moduli space of rational curves is one of important topics in algebraic geometry. In this talk, I will talk about our recent result on classifications of components parametrizing rational curves on prime Fano 3-folds, e.g., quartic 3-folds, using perspective of Manin’s Conjecture. This is joint work with Brian Lehmann.
1月18日（金） 16:00～17:00
伊藤 哲史 氏（京大理）
「GL(3)の自己双対的でない保型表現に伴うモチーフの実例」
要旨：
有理数体上の GL(n) の正則代数的な保型表現に伴う l 進 Galois 表現が
Harris-Lan-Taylor-Thorne と Scholze により構成されている．これらの
Galois 表現はモチーフに伴うと予想されている．しかし，自己双対的な場合を
除くと，この予想が成り立つ例はほとんど知られていない．
今回，van Geemen と Top により 1994 年に構成された階数 3 のモチーフが，
GL(3) の自己双対的でない保型表現に伴うことが証明できたので，この結果に
ついて紹介する．証明には l 進 Galois 表現の同値性を有限個の Frobenius
固有多項式を用いて判定する Grenie の結果を用いる．
また，局所・大域 Langlands 対応の整合性 (l=p の場合も含む) についても
触れる．
(越川皓永氏 (京大数理研)，三枝洋一氏 (東大数理) との共同研究)
12月14日（金） 16:00～17:00
那須 弘和 氏（東海大学）
「Obstructions to deforming curves on an Enriques-Fano 3-fold」
要旨： 非特異エンリケス曲面を超平面切断として持つような3次元射影多様体を エンリケス・ファノ3様体という（以下EF3と表す）。 全てのEF3は孤立特異点を持つが、端末的巡回商特異点のみを持つ場合には Bayleと佐野（武）による分類が知られている。 本講演ではEF3上の曲線の変形障害について考察し、種数が9と13のEF3に対し、 その上の非特異連結曲線のヒルベルトスキームが、生成的に被約でないような 既約成分（generically non-reduced component）を持つことを紹介する。 Mumfordの病例として有名な空間曲線のヒルベルトスキームの非被約成分の例と その一般化が本研究の動機となっている。
11月2日（金） （二講演あります。）
15:00～16:00
辻村 昇太 氏（京大数理研）
「組み合わせ論的Belyiカスプ化とその応用」
要旨： 望月新一氏によって、p進局所体上の（狭義Belyi型と呼ばれる特別な種類の）双曲的 曲線の閉点に付随する分解群を復元する〝Belyiカスプ化"という 技術が開発されました。講演ではこのBelyiカスプ化を復習した後、Belyiカスプ化の ある組み合わせ論版について議論したいと思います。またその応用として、Y.Andre 氏によって定義されたp進Grothendieck-Teichmuller群GT_pから、Q_pの絶対ガロア 群への全射が構築できることを紹介したいと思います。
16:15～17:15
南出 新 氏（京大数理研）
「宇宙際タイヒミューラー理論における明示的評価について（in progress）」
要旨： 今回の講演では、望月新一氏によって創始された、宇宙際タイヒミューラー 理論の最近の進展について報告する。 宇宙際タイヒミューラー理論とは、大雑把に述べると、「一点抜き楕円曲線 付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて 「計算」する理論である。 特に、その応用として、あるディオファントス幾何的不等式が帰結される。 今回の講演では、楕円曲線の6等分点を用いることによって完全に明示的な （＝即ち非明示的な「定数」が一切現れない）不等式を得ることを目的と する最近の共同研究を紹介する。 （京都大学数理解析研究所の星裕一郎氏、望月新一氏、Nottingham大学の Ivan Fesenko氏、Wojciech Porowski氏との共同研究）
10月24日（水）
16:00～17:00
東工大本館2階 234セミナー室
（いつもと曜日と場所が異なりますので御注意下さい！）
Ivan Fesenko 氏（University of Nottingham）
「Two 2d adelic structures on elliptic surfaces and the BSD conjecture」
要旨： Two-dimensional local non-archimedean local fields arising from two-dimensional arithmetic geometry, e.g. formal power series over p-adic numbers, have two distinct integral structures: of rank 1 and of rank 2. Correspondingly, there are two distinct two-dimensional adelic structures on elliptic surfaces. Interestingly, they have a number of similarities with two symmetries of IUT. My talk will explain how an interaction between the two adelic structures on proper models of elliptic curves over global fields helps us to understand the meaning of the classical BSD conjecture and produce its equivalent reformulation in purely adelic terms. Part of this work is joint work with W. Czerniawska and P. Dolce.
10月5日（金） 16:00～17:00
権 寧魯 氏（九州大学 数理学研究院）
「SL(3,Z)の素測地線定理について」
要旨： モジュラー群SL(2,Z)のセルバーグゼータ関数の解析的性質から この群の素な双曲共役類を数える“素測地線定理”が証明される． これから，実２次整環全体に渡る類数和の漸近公式が導かれる． これのSL(3,Z)への一般化を考える．この群の階数１のカルタン 部分群に対応する素測地線定理については既に知られていたが， 階数２のカルタン部分群に対応する“素測地線定理”は知られて いなかった．（他の非ココンパクト階数２以上の群でも，階数２以上 のカルタン部分群に対応する素測地線定理で知られている例はなかった．） 今回，SL(3,Z)に対する跡公式のある種の単純化を用いることで， ある２変数のディリクレ級数の解析的性質を調べることが可能となり， ２次元のカルタン部分群に対応する“素測地線定理”を得た． これから，総実３次整環すべてに渡る類数和の漸近公式を得る． 以上は，A. Deitmar氏，P. Spilioti氏との共同研究である．
9月14日（金） 15:30～17:00
Simon Pepin Lehalleur 氏（Freie Universität Berlin）
「 A formula for the Voevodsky motive of the moduli stack of vector bundles over a curve」
要旨：Following Grothendieck's vision that many cohomological invariants of of an algebraic variety should be captured by a common motive, Voevodsky introduced a triangulated category of mixed motives which partially realises this idea. After describing this category, I will explain how to define the motives of certain algebraic stacks in this context. I will then state and sketch the proof of a formula for the motive with rational coefficients of the stack of vector bundles over a smooth projective curve. This formula is compatible with classical computations of various cohomological invariants of this stack by Harder, Atiyah-Bott, Behrend-Dhillon, etc. The proof uses rigidifications of the stack by certain Quot and Flag-Quot schemes as well as a motivic version of an argument of Laumon and Heinloth on the relative cohomology of small maps. This is joint work with Victoria Hoskins (FU Berlin).
7月31日（火）
16:00～17:00
東工大本館2階 224Bセミナー室
（いつもと曜日と場所が異なりますので御注意下さい！）
SoYoung Choi 氏 (Gyeongsang National University)
「Linear relations among half-integral weight Poincare series and algebraicity of coefficients of mock modular forms」
要旨： We construct an infinite family of half-integral weight Poincare series coming from vector valued harmonic weak Maass forms, and obtain linear relations among the Poincare series. We also relate the algebraicity of Fourier coefficients of half-integral weight mock modular forms to the vanishing of Fourier coefficients of its shadows.
7月13日（金） 16:00～17:00
成田 宏秋 氏（早稲田大学理工学術院）
「Non-tempered cusp forms on orthogonal groups of rank one」
要旨：
１変数保型形式にはない多変数保型形式独特の現象として「Ramanujan予想の反例の存在」
があるでしょう。Ramanujan予想の古典的な定式化は、保型表現論的には「カスプ保型表現
がすべての素点でtemperedであること」と言い換えることができます。
本講演では以下の２つの場合で、「すべての有限素点でnon-temperedな非正則実解析的カスプ形式」
(またはそれが生成するカスプ保型表現)の構成を１変数Maassカスプ形式からのリフティングにより
与えた最近の結果を紹介します。
１．四元数体上の次数２の一般線形群(または５次元実双曲空間)
２．符号(1,8n+1)の直交群(8n+1次元実双曲空間)
１の群は中心を法として符号(1,5)の直交群と本質的に同一視できます.
この場合はBadulescu-Renardによる一般線形群のJacquet-Langlands対応により、
次数４の一般線形群の留数スペクトルと対応しているカスプ形式の構成です。
２の''8n''は定符号偶ユニモジュラー格子の階数を表しておりnは一般です。
(Darmstadt工科大のYingkun Li氏とOklahoma大のAmeya Pitale氏との共同研究)
7月6日（金） 16:00～17:00
長町 一平 氏（東大数理）
「多重双曲的曲線の良還元判定条件について」
要旨： Serre-Tateは, 離散付値体上のアーベル多様体が良還元を持つことと, 係数体の惰性群のl進Tate加群への作用が自明であることが同値であることを示した. この研究の非可換版として, 双曲的曲線が良還元を持つことと, 惰性群の幾何的 エタール基本群への副l外ガロア作用が自明であることの同値性が, 織田・玉川 により示されている. この講演では, 双曲的曲線の高次元版に当たる代数多様体, すなわち多重双曲的 曲線に対して同様の形の良還元判定法を, 種数に関する条件付きで与える.
6月15日（金） 16:00～17:00
石井 将大 氏（東京工業大学 学術国際情報センター）
「超特異楕円曲線の同種写像問題と自己準同型環の計算問題について」
要旨： 与えられた2つのsupersingularな楕円曲線に対して，それらの間に同種写像があればそれを構成・計算することは，現在効率的な(量子)アルゴリズムが見つかっておらず，困難であると考えられ，これを一般的な同種写像問題と呼び，この困難性に基づく暗号方式がいくつか提案されている．同種写像問題の困難性は，楕円曲線の自己準同型環の計算と密接に関わっており，最近それらの計算問題の同値性が示された．本講演では，同種写像問題と関連する計算問題の困難性，帰着関係について紹介し，同種写像を利用した暗号と，関連するその数学的性質について解説する．
6月8日（金） 16:00～17:00
Tapas Chatterjee 氏（インド工科大学）
「Special values of Riemann Zeta function and a conjecture of Milnor」
要旨： We will discuss a conjecture of John Milnor motivated by a conjecture of P. Chowla and S. D. Chowla. Later, we will link this conjecture to the special values of the Riemann Zeta function at odd integers.
5月11日（金） 15:30～17:00
小関 祥康 氏（神奈川大学）
「アーベル多様体のねじれ部分群とLubin-Tate拡大」
要旨： p進局所体上のアーベル多様体で良い還元をもつものを考える。 そのアーベル多様体の、円分Z_p拡大 L に値をとる有理点の成 す群のねじれ部分群が有限になることは1975年の今井秀雄氏の 結果として良く知られている。本講演ではより一般に L が p 進 局所体のLubin-Tate 拡大で記述される場合を考察する。この場合、 問題のねじれ部分群は有限にも無限になり得るが、今回は主に有 限となる場合の結果について紹介する。
4月20日（金） 15:30～17:00
Kirti Joshi 氏（The University of Arizona）
「On Chern class inequalities for surfaces in positive characteristic」
要旨：I will explain my proof of the inequality $c_1^2\leq 5c_2$ for a class of smooth, projective surfaces over algebraically closed fields of characteristic $p>0$. My approach is based on a study of slopes of Frobenius morphism on crystalline cohomology of $X$ and of the de Rham-Witt complex of $X$. In particular my methods do not require any lifting hypothesis.
14:45～15:45
星 裕一郎 氏（京大数理研）
「ある p 進局所体の絶対 Galois 群の外部自己同型群における体論的部分群の非正規性」
要旨： p 進局所体の自己同型は、自然にその絶対 Galois 群の外部自己同型を定める。一方、 よく知られているとおり、一般に、p 進局所体の絶対 Galois 群の外部自己同型であっ て、その p 進局所体の自己同型から生じないものが存在する。つまり、ある p 進局所 体の自己同型全体から定まるその絶対 Galois 群の外部自己同型群の部分群は、真の部 分群となることが知られている。この講演では、p 進局所体に対する様々な単遠アーベ ル復元アルゴリズムを用いることで、ある p 進局所体に対して、その絶対 Galois 群 の外部自己同型群の「体論的部分群」が、（真の部分群であるというだけでなく）正規 部分群ですらないということを証明する。
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
16:00～17:00
澤田 晃一郎 氏（京大数理研）
「与えられた基本群を持つ多重双曲的曲線の同型類の有限性」
要旨： 双曲的曲線の逐次拡大として得られる多様体を多重双曲的曲線と呼ぶ。 双曲的曲線が"遠アーベル多様体"であることから、 その逐次拡大である多重双曲的曲線も遠アーベル多様体であることが期待され、 実際、(適当な体上の)次元4以下の多重双曲的曲線については Grothendieck予想が成り立つ、すなわち、 そのような多重双曲的曲線の同型類は基本群によって完全に決定される ということが星氏によって示されている。だが、 次元が5以上の多重双曲的曲線のGrothendieck予想は現在も未解決である。 この講演では、与えられた基本群を持つような(適当な体上の任意次元の) 多重双曲的曲線の同型類が高々有限個であるという結果を紹介する。
2月 23日（金） 16:00～17:00
於：201セミナー室 （いつもと場所が異なりますので御注意下さい！）
安田 雅哉 氏（九大ＩＭＩ）
「格子上の最短ベクトル問題と格子基底簡約入門」
要旨： 格子理論を利用した格子暗号の安全性は、 格子上の最短ベクトル問題（Shortest Vector Problem, SVP）や 最近ベクトル問題（Closest Vector Problem, CVP） などの格子問題の計算量困難性に基づいている。 本講演では、最短ベクトル問題を効率的に解くための方法である 格子基底簡約（lattice basis reduction）を紹介する。 特に、ドイツ・ダルムシュタット大学が公開している SVP Challenge における問題を解くための格子基底簡約アルゴリズムについて、 実際の計算機上での実演を交えながら紹介する。
2月 9日（金） 16:00～17:00
鈴木 正俊 氏（東工大理）
「ゼータ関数とド・ブランジュ空間」
要旨： ド・ブランジュ空間は整関数の成すヒルベルト空間の一種であり, ハミルトニアンと呼ばれる行列値関数により特徴付けられる. 一方, リーマン予想を仮定すると， リーマン・ゼータ関数からあるド・ブランジュ空間が構成される事が 2005年のラガリアスの仕事により知られていた. この時, リーマン予想はハミルトニアンの性質に反映されるため, その具体的な形に興味が持たれるが, それはこれまで知られていなかった. この講演では, ゼータ関数そのものではなく, それを微小変形したような整関数の族や， 局所ゼータ関数（適当な関数等式を満たす指数多項式）の場合には， ハミルトニアンの形をある程度具体的に求めることができる という結果の概要を説明する．
1月 26日（金） 16:00～17:00
Liang-Chung Hsia 氏 (National Taiwan Normal University)
「On common divisors of sequences over function fields」
要旨：
In this talk,
we'll discuss the common divisors among sequences
arising from cyclic groups generated by rational points
$P_i\in E_i(K)$ of elliptic curves $E_i$ ($i=1, 2$)
defined over the function field $K$ of a smooth projective curve
$C$ over $\bar{\mathbb Q}$. More precisely,
let $\mathcal{E}_i\rightarrow C$ be the elliptic surfaces over
$C$ with generic fiber $E_i$ and
let $\sigma_{P_i}, \sigma_{Q_i}$ be sections
(corresponding to points $P_{i}, Q_{i}$ of the generic fibers) of
$\mathcal{E}_i$ (for $i=1,2$).
The question that we're concerned with is whether or not
there are infinitely many $t \in C(\Qbar)$
such that for some integers $m_{1,t},m_{2,t}$
we have $[m_{i,t}](\sigma_{{P_{i}}}(t))=\sigma_{Q_{i}}(t)$
on $\mathcal{E}_i$ (for $i=1,2$).
We provide an answer to this question.
A special case of our result answers a conjecture made by Silverman.
This is a joint work with Dragos Ghioca and Tom Tucker.
1月 19日（金） 15:30～17:00
Evangelos Routis 氏 (Kavli IPMU)
「Complete complexes and spectral sequences」
要旨： The space of complete collineations is an important and beautiful chapter of Algebraic Geometry, which dates back to the classical works of Chasles, Giambieli, Schubert, Semple and Tyrell in the 19th century and has been studied intensively ever since. By analogy with these classical spaces, in joint work with M. Kapranov, we introduce the variety of complete complexes. Its points can be seen as equivalence classes of spectral sequences of a certain kind. We prove that the set of such equivalence classes has the structure of a smooth projective variety, which provides a desingularization, with normal crossings boundary, of the Buchsbaum-Eisenbud variety of complexes, i.e., a so-called ``wonderful compactification'' of the union of its maximal strata.
11月 24日（金） 16:00～17:00
Gautami Bhowmik 氏（リール第一大）
「Goldbach Representations with Congruences」
要旨： The classical Goldbach problem examines the possibility of expressing even integers as the sum of two primes. The associated generating function gives satisfactory asymptotics under the Riemann Hypothesis and obtaining sufficiently good error terms unconditionally is equivalent to solving the famous hypothesis. In joint work with K. Halupczok, K. Matsumoto and Y. Suzuki, we consider the case where the summands are in arithmetic progression and obtain asymptotics assuming now a conjecture on distinct zeros of Dirichlet L-functions. The existence of good error terms gives information on the the location of zeros of these functions.
11月 10日（金） 16:00～17:00
瀧 真語 氏（東海大）
「K3曲面と対数的有理曲面」
要旨： K3 曲面とその上の有限自己同型を考えます。 このとき商曲面は自然な考察対象ですが， 大きく分けて３種類のクラスの多様体が現れます。 この講演では対数的有理曲面， 特に対数的エンリケス曲面が現れる場合を扱い， その特異点の様子と対応する K3 曲面（と自己同型）について解説します。
10月 27日（金） 16:00～17:00
大橋 久範 氏（東京理科大）
「エンリケス曲面の自己同型とエントロピーについて」
要旨：
ここでのエントロピーというのは
空間 X 上の自己写像 f に対して定義される，
その写像の「複雑さ」を表す量であり，
空間がコンパクトケーラー多様体の場合には
f のコホモロジー作用を経由して計算することができる
(Gromov-Yomdin theorem)．
X が代数曲面の場合には，現れるエントロピーは
Salem 数という非常に特別な代数的整数と密接な関係がある．
この講演では，エンリケス曲面上の自己同型写像についての
一つの一般的な性質を定式化し，
そのエントロピーの分布問題への応用を紹介する．
名古屋大学の松本雄也さんと，
Jagiellonian 大学の S. Rams さんとの共同研究．
10月 13日（金） 15:30～17:00
高島 克幸 氏（三菱電機）
「格子と同種写像に関するアルゴリズムの耐量子暗号への応用」
要旨： 量子計算機の出現に備えて、 量子計算機でも効率的に破れない公開鍵暗号の研究が活発に行われている。 本講演では、その候補である格子暗号と同種写像暗号について紹介する。 Shorの量子アルゴリズムにより、 素因数分解問題や離散対数問題が効率的に解ける。 更に、Shorアルゴリズムにより、より広いクラスである 有限アーベル群に対する隠れ部分群問題が効率的に解けるので、 それを避ける数学構造及びその上の計算量仮定、 そしてその仮定に基づいた（効率的な）暗号構成が必要になる。 本講演では、特に、格子と（楕円曲線間）同種写像という 数学構造を利用する方法について概説する。
7月 21日（金） 15:30～17:00
伊豆 哲也 氏（富士通研究所）
「楕円曲線離散対数問題と類似問題の解読状況について」
要旨： 楕円曲線離散対数問題 (ECDLP) は楕円曲線暗号 (ECC) の安全性の根拠となる数学的問題であり、 どんなサイズの ECDLP が解かれたか/解かれそうかという情報は、 ECC のパラメータ変更や選択に大きな影響を与えるため、 定期的な情報更新は欠かせない。 本講演では、ECDLP のいくつかの解読アルゴリズムを紹介するとともに、 最新の解読状況をまとめ、今後の解読予測を示す。 また、ECDLP の類似問題である付加情報付き楕円曲線離散対数問題 (ECDLP with Auxiliary Input) についても紹介し、 その意義・解読方法・記録・予測・影響についても触れる。
7月 14日（金） 15:30～17:00
鈴木 貴士 氏（東京工業大学）
「Abel 多様体の特殊ファイバーの連結成分についての Grothendieck の双対性予想」
要旨： 剰余完全体の局所体上に Abel 多様体とその双対がありますと， それぞれの Neron モデルの特殊ファイバーの幾何的連結成分の成す有限群が定まります． Grothendieck は SGA 7 で，これら二つの有限群の間に 自然なペアリングを定義し，それが完全である事を予想しました． この予想の講演者による証明を解説致します．鍵となるのは， 剰余体の（超越）拡大体の成す圏上の Grothendieck サイト 「有理エタールサイト」で， 局所体の Abel 多様体係数コホモロジーはこのサイト上の層と見なす事が出来ます．この関手的枠組みにより， Grothendieck 予想が，Galois 降下が効く形で再定式化されます． 予想は半安定の場合は知られている（Werner による）ので， よって一般の場合が従う事となります． 時間が許せば，この双対性理論の大域関数体版にも触れる予定です． これは Cassels-Tate ペアリングを基礎体完全体に一般化するもので， 高さペアリングの非退化性や Artin-Milne の有限平坦双対性もその一部として含みます．
6月 16日（金） （２講演あります）
14:45～15:45
李 正勲 氏（名古屋大学）
「非アルキメデス的力学系におけるジュリア集合上の力学系の安定性について」
要旨： 非アルキメデス的かつ完備なノルム付き代数的閉体の上で力学系を考える. 与えられた有理写像のもつジュリア集合上の力学系に対して, その有理写像を少し変えてもジュリア集合上の力学系は "変わらない"ことの十分条件を紹介する.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
16:00～17:00
Ade Irma Suriajaya 氏（理化学研究所）
「ディリクレ L関数の一階導関数の非零領域
A new zero-free region for the first derivative of Dirichlet
L-functions」
5月 12日（金） 15:30～17:00
新井 啓介 氏（東京電機大学）
「志村曲線の有理点とハッセ原理の反例の無限族」
要旨： 志村曲線の代数体上の有理点が存在しないための十分条件をいくつか与える。 さらに、そこからハッセ原理の反例の無限族が得られることも紹介する。 志村曲線の定義方程式や、Manin obstruction との関連についても触れる 予定である。
4月 14日（金） 15:30～17:00
Gal Binyamini 氏 （Weizmann Institute of Science, Israel）
「Differential equations and algebraic points on transcendental varieties」
要旨： The problem of bounding the number of rational or algebraic points of a given height in a transcendental set has a long history. In 2006 Pila and Wilkie made fundamental progress in this area by establishing a sub-polynomial asymptotic estimate for a very wide class of transcendental sets. This result plays a key role in Pila-Zannier's proof of the Manin-Mumford conjecture, Pila's proof of the Andre-Oort conjecture for modular curves, Masser-Zannier's work on torsion anomalous points in elliptic families, and many more recent developments. I will briefly sketch the Pila-Wilkie theorem and the way it enters into the arithmetic applications. I will then discuss recent work on an effective form of the Pila-Wilkie theorem (for certain sets) which leads to effective versions of many of the applications. I will also discuss a joint work with Dmitry Novikov on sharpening the asymptotic from sub-polynomial to poly-logarithmic for certain structures, leading to a proof of the restricted Wilkie conjecture. The structure of the systems of differential equations satisfied by various transcendental functions plays a key role for both of these directions.
星 裕一郎 氏 （京大数理研）
「巾零許容固有束の超特異因子について」
要旨： 巾零許容固有束とは、 正標数の双曲的な代数曲線上の適当な性質を満たす接続付き射影直線束 のことであり、 古典的な p 進 Teichmuller 理論における重要な対象である。 本講演では、まず最初に、巾零許容固有束という概念の簡単な復習を行う。 その後に、曲線の種数や無限遠因子の次数や基礎体の標数が小さい場合の、 巾零許容固有束、及び、その特別な場合である巾零通常固有束の 超特異因子（つまり、Hasse 不変量が定める因子）の 明示的な表示に関する講演者の結果を説明する。
2月 3日（金） 16:00～17:00
Chieh-Yu Chang 氏 （国立清華大学（台湾））
「Linear relations among double zeta values in positive characteristic」
要旨： In this talk, we will introduce multiple zeta values (MZV's) over function fields in positive characteristic initiated by Thakur 2004. In the first half, we will give a survey on the development of MZV's over the past few years, and give a comparison with the classical counterpart. In the second half, we will present our recent result about an effective criterion for computing the dimension of double zeta values and give an outline of the proof.
1月 20日（金） 16:00～17:00
Chan-Ho Kim 氏 (KIAS)
「On anticyclotomic μ-invariants of modular forms in families」
要旨： We discuss vanishing of anticyclotomic \mu-invariants of modular forms in Hida families. The key ingredient is an integral refinement of quaternionic Hida theory. It is a part of the joint work of F. Castella and M. Longo, and we also discuss its slight generalization.
1月 13日（金）
（二講演あります。いつもと時間が違ひますので御注意下さい！）
15:15～16:15
Yoonbok Lee 氏（Incheon National University）
「Simple zeros of primitive Dirichlet L-functions and the asymptotic large sieve」
要旨：
Assuming the generalized Riemann hypothesis, we show
using the asymptotic large sieve that 91% of the zeros
of primitive Dirichlet L-functions are simple.
This improves on earlier work of Özlük which gives a
proportion of at most 86%. We further compute the q-analogue
of the Pair Correlation Function F(α) averaged over all
primitive Dirichlet L-functions in the range |α| < 2.
Previously such a result was available only when the average
included all the characters χ.
This is a joint work with Chandee, Liu and Radziwill.
「Computing semistable deformation rings for certain 3-dimensional Galois representations」
要旨： Let p be a prime. Let G be the absolute Galois group of Q_p. Let F be an algebraic clousre of a finite field with characteristic p. Let r_1 be a 1-dimensional representation of G over F and r_2 be a 2-dimensional representation of G over F. Let r be an extension of r_1 by r_2 (or an extension of r_2 by r_1). In this talk, under several assumptions (on r and Hodge-Tate weights and so on), I will talk about computing the semistable deformation ring of r with specified Hodge-Tate weights. This is a joint work (in progress) with S. Choi and C. Park.
12月 16日（金） 16:00～17:00
Antoine Ducros 氏 (Institut de mathématiques de Jussieu, Université Paris 6)
「Families of Berkovich spaces」
要旨： I will present various results around relative properties in non-archimedean analytic geometry, including the notion of flatness and of quasi-smoothness in this context, the study of "generic fibers", and the description of the locus of relative validity of some usual properties (like being Cohen-Macaulay, Gorenstein, Complete intersection, regular...).
11月 15日（火） 16:00～17:00 於：東工大本館 201セミナー室
（いつもと曜日と場所が違ひますので御注意下さい！）
Daniel Allcock 氏 (University of Texas in Austin)
「Kac-Moody groups as Amalgams」
要旨： We will present the latest iteration of the following result about Kac-Moody groups: they are amalgams (pushouts) of the Kac-Moody groups coming from the finite-type subdiagrams of their Dynkin diagrams. Namely, this holds except in circumstances like the ground ring not being finitely generated, or the Dynkin diagram being extremely small or having some edges labeled infinity. This is probably close to the best possible theorem along these lines. There are several structural consequences. The easiest to state is that Kac-Moody groups are "usually" finitely presented, except when they obviously aren't (like over the real numbers).
10月 28日（金） 15:30～17:00
權業 善範 氏（東大数理）
「有限体上の Fano 3-fold の有理点について」
要旨： ファノ多様体というのは射影空間みたいな多様体で、 有理曲線がたくさんあります。 そういう多様体の上の有理点の個数が標数を法にして 1 であることが 多様体が非特異の場合、エノーさんによって知られています。 今回その話を特異点を許す場合に拡張する話をします。 こう言う問題はある p進コホモロジーの消滅定理を示せば十分である ことが跡公式によりわかります。 そういうコホモロジーを消すのに代数多様体の極小モデル理論と 有理曲線の幾何を使うという話です。 インペリアルカレッジの田中公さんと東大数理の中村勇哉さんとの共同研究です。
10月 14日（金） 16:00～17:00
吉川 祥 氏（東大数理）
「総実代数体上の楕円曲線の保型性について」
要旨： Taylor-Wiles や Breuil-Conrad-Diamond-Taylor によって証明された 志村-谷山予想は、有理数体上の楕円曲線と保型形式との結びつきを主張 するものである。 これは GL2 の大域 Langlands 対応の特殊な場合とみなされる。 有理数体のかわりに総実代数体を考えることで志村-谷山予想の自然な 一般化を定式化できるが、近年、 Freitas-Le Hung-Siksek が実二次体の場合を完全に解決した。 本講演では、この問題にまつわる最近の進展を説明するとともに、 講演者が最近得た結果 「3,5,7で不分岐かつアーベルな総実代数体 について、その体上の楕円曲線は全て保型的である」 について解説する。
Dinesh Thakur 氏（Rochester 大）
「Function field Multizeta values」
要旨： We will discuss several results and conjectures about relations between multizeta values and related structures in function field arithmetic.
7月 8日（金） 16:30～18:00
Fabien Benoit Trihan 氏（上智大理工）
「Geometric Iwasawa Theory」
要旨： Let K be a function field of characteristic p>0 , let A/K be a semi stable abelian variety. We will consider a finite (resp. profinite) Galois extension of F/K, unramified everywhere and will prove under some assumption the Equivariant Tamagawa Number conjecture (resp. Iwasawa Main Conjecture) for (A/K,F/K).
2016年 6月 30日（木） 16:00～17:00
三原 朋樹 氏（東工大理）
「P点存在定理と p進連続関数」
要旨： P点存在定理は ZFC 公理系では証明も反証も出来ないことが知られている。 P点存在定理が成立するか否かによって位相空間上の C値連続関数のなす C代数の極大イデアルの高さが変化することが知られており、これにより 具体的な C代数であって極大イデアルの高さが ZFC 公理系から定まらない ものが構成される。今回はこの p進類似として、P点存在定理が成立するか 否かによって位相空間上のp進連続関数環のなす p進代数の極大イデアルの 高さが変化することを示し、これにより具体的な p進代数であって極大 イデアルの高さが ZFC 公理系から定まらないものを構成する。
2016年 6月 10日（金） 15:30～17:00
服部 新 氏（九大数理）
「Hilbert eigenvariety の整数重みでの固有性について」
要旨： p を素数とする．様々な代数群 G に対し，G 上の有限傾斜 p進過収束固有形式（正確には，その空間に現れるHecke固有値系） がp進解析的多様体をなすことが知られている．この多様体は 固有値多様体（eigenvariety）と呼ばれ，近年の整数論において 重要な研究対象となってきたが，固有値多様体の幾何学的性質について 多くのことが分かっているわけではない． 固有値多様体が固有（proper）であるとは，原点を除いた単位円盤から 固有値多様体への射が必ず原点に延長されることを言う．これは 代数幾何における固有性の付値判定法の弱い一般化であり， 楕円保型形式に対する固有値多様体であるColeman-Mazur固有値曲線 （eigencurve）の場合は，その固有性がDiao-Liuによって示されている． 一方で，近年大きく発展したAbel多様体の標準部分群（canonical subgroup） の理論は，固有値多様体の構成そのものに用いられるだけでなく， 過収束保型形式の解析接続の研究にも有効である．Fを総実代数体で， pで不分岐かつp上の剰余次数が全て2以下であるものとする． 本講演では，標準部分群の理論を用いて，F上のHilbert保型形式に対する 固有値多様体の整数重みでの固有性を証明する．
2016年 5月 13日（金） 16:00～17:00
谷田川 友里 氏（東大数理）
「Characteristic cycle of a strongly clean sheaf of rank one」
要旨：The characteristic cycle of a constructible complex on a smooth variety is defined by T. Saito using vanishing cycles and the singular support defined by A. Beilinson. We consider the case where the constructible complex is a rank one sheaf satisfying a strongly clean condition on the ramification of the sheaf. We see how the characteristic cycle is constructed in terms of ramification theory in this case.