過去の記録

過去の記録 ~04/25本日 04/26 | 今後の予定 04/27~

2019年05月14日(火)

トポロジー火曜セミナー

17:00-18:30   数理科学研究科棟(駒場) 056号室
Tea: Common Room 16:30-17:00
J. Scott Carter 氏 (University of South Alabama, 大阪市立大学)
Diagrammatic Algebra (ENGLISH)
[ 講演概要 ]
Three main ideas will be explored. First, a higher dimensional category (a category that has arrows, double arrows, triple arrows, and quadruple arrows) that is based upon the axioms of a Frobenius algebra will be outlined. Then these structures will be promoted into one higher dimension so that braiding can be introduced. Second, relationships between braiding and multiplication will be studied from a homological perspective. Third, the next order relations will be used to formulate a system of abstract tensor equations that are analogous to the Yang-Baxter relation. In this way, a broad outline of the notion of diagrammatic algebra will be presented.

2019年05月13日(月)

複素解析幾何セミナー

10:30-12:00   数理科学研究科棟(駒場) 128号室
只野 誉 氏 (東京理科大学)
Some Bonnet--Myers Type Theorems for Transverse Ricci Solitons on Complete Sasaki Manifolds (Japanese)
[ 講演概要 ]
The aim of this talk is to discuss the compactness of complete Ricci solitons and its generalizations. Ricci solitons were introduced by R. Hamilton in 1982 and are natural generalizations of Einstein manifolds. They correspond to self-similar solutions to the Ricci flow and often arise as singularity models of the flow. The importance of Ricci solitons was demonstrated by G. Perelman, where they played crucial roles in his affirmative resolution of the Poincare conjecture.
In this talk, after we review basic facts on Ricci solitons, I would like to introduce some Bonnet--Myers type theorems for complete Ricci solitons. Our results generalize the previous Bonnet--Myers type theorems due to W. Ambrose (1957), J. Cheeger, M. Gromov, and M. Taylor (1982), M. Fernandez-Lopez and E. Garcia-Rio (2008), M. Limoncu (2010, 2012), Z. Qian (1997), Y. Soylu (2017), and G. Wei and W. Wylie (2009). Moreover, I would also like to extend such Bonnet--Myers type theorems to the case of transverse Ricci solitons on complete Sasaki manifolds. Our results generalize the previous Bonnet--Myers type theorems for complete Sasaki manifolds due to I. Hasegawa and M. Seino (1981) and Y. Nitta (2009).

数値解析セミナー

16:50-18:20   数理科学研究科棟(駒場) 056号室
相島健助 氏 (法政大学情報科学部)
対称固有値問題に対する反復改良法 (Japanese)
[ 講演概要 ]
本講演では,対称行列の固有値問題の数値解法について議論する.具体的には,対称固有値問題のすべての固有値と固有ベクトルの近似値が得られている場合に,さらに精度を上げるための反復改良法を提案しその収束理論を与える.

対称固有値問題のすべての固有値と固有ベクトルを計算する場合,後退誤差解析の意味で数値的に安定な手法が既に確立されており,数値線形代数の標準ライブラリLAPACK或いはMATLABのような汎用ソフトにも実装され広く利用されている.ただし,悪条件問題において固有ベクトルの数値計算は原理的に困難であることには注意を要する.この困難に対し,本研究で提案する適合的に計算精度を変更しながら行う反復改良法は一つの有力な技術になりうる.また主要計算部分が行列積で表現でき,この性質は実装面での長所となる.本講演では,提案手法の着想や導出過程そして数値的な性能と二次収束性の証明について述べる.本研究は荻田武史氏(東京女子大学)との共同研究である.

2019年05月09日(木)

情報数学セミナー

16:50-18:35   数理科学研究科棟(駒場) 128号室
岡本 龍明 氏 (NTT)
暗号理論の発展 (Japanese)
[ 講演概要 ]
前回紹介したゼロ知識証明の発展として、最近(2013年以降に)提案された実用性の高い非対話ゼロ知識証明(ZK-SNARK)は、すでに仮想通貨で用いられており、今後さらにさまざまな分野に応用が広がると思われる。また、1980年代に確立された暗号安全性理論は1990年代を通じて発展を続け2001年にはそれまでのいずれよりも強い安全性概念として汎用的結合可能性(UC)の形で集大成された.今回は、ZK-SNARKおよびUCの紹介を行う。(参考図書:岡本龍明著「現代暗号の誕生と発展」(近代科学社))

2019年05月08日(水)

代数幾何学セミナー

15:30-17:00   数理科学研究科棟(駒場) 118号室
橋詰 健太 氏 (東大数理)
On Minimal model theory for log canonical pairs with big boundary divisors
[ 講演概要 ]
In 2010, Birkar--Cascini--Hacon--McKernan established the minimal model theory for Kawamata log terminal pairs with big boundary divisors, and a lot of theorems in the birational geometry are
proved by applying this result. It is expected that this result can be generalized to log canonical pairs. Currently, it is known that the minimal model theory for log canonical pairs can be reduced to the case of big boundary divisors. In this talk, we introduce a partial generalization of the result by Birkar--Cascini--Hacon--McKernan. Roughly speaking, we generalized their result to lc pairs with big boundary divisors having only small lc centers. We also explain another generalization, which is originally announced by Hu, and we discuss termination of log minimal model program in a spacial case. This is a joint work with Zhengyu Hu, and the work is in progress.

代数学コロキウム

17:00-18:00   数理科学研究科棟(駒場) 056号室
山本祐輝 氏 (東京大学数理科学研究科)
On the types for supercuspidal representations of inner forms of GL_n (Japanese)
[ 講演概要 ]
Aを非アルキメデス的局所体F上の中心的単純環とし,Gをその乗法群とする.
Gのsmooth表現を考察する際に有用な理論の一つとしてtypeの理論が存在する.
type (J, ¥lambda) とはGのコンパクト部分群Jと J の既約部分表現 ¥lambda の組であって,Gの既約表現をある意味で分類することのできるものである.
S¥'echerre-Stevenにより,Gのtypeの族としてsimple typeという概念が構成されている.
本講演ではGのtypeについて説明した後,JをGの極大コンパクト部分群Kとして固定した場合にtypeがどれだけ存在するかについて議論する.
特に,Gのsupercuspidal表現 ¥pi に対し,¥pi がsimple typeとしてある種の不分岐的な条件を満たすようなものを含むときに,Kの表現で ¥pi に対応するtypeがGでの共役を除き一意であることを示す.

作用素環セミナー

16:45-18:15   数理科学研究科棟(駒場) 126号室
磯野優介 氏 (京大数理研)
Unitary conjugacy for type III subfactors and W*-superrigidity

2019年05月02日(木)

情報数学セミナー

16:50-18:35   数理科学研究科棟(駒場) 128号室
岡本龍明 氏 (NTT)
現代暗号の理論 (Japanese)
[ 講演概要 ]
1970年代に誕生した現代暗号は、1980年代にその理論的な基礎づけが確立された.今回は、その中核となる概念として,安全性証明のための標準モデル,証明手法としてのシミュレーションパラダイムおよび識別不可能性などを紹介するとともに,それらの概念に基づく代表的暗号機能として,ゼロ知識証明を紹介する.

2019年04月30日(火)

代数学コロキウム

17:00-18:00   数理科学研究科棟(駒場) 122号室
Jean-Francois Dat 氏 (Sorbonne University)
Moduli space of l-adic Langlands parameters and the stable Bernstein center (English)
[ 講演概要 ]
Motivated by the description of the integral l-adic cohomology of certain Shimura varieties in middle degree, Emerton and Helm have conjectured the existence of a certain local Langlands correspondence for l-adic families of n-dimensional Galois representations. The proof of this conjecture by Helm and Moss relies on a beautiful isomorphism between the ring of functions of the moduli space of l-adic representations and the integral Bernstein center of GL_n(F). We will present a work in progress with Helm, Korinczuk and Moss towards a generalization of this result for arbitrary (tamely ramified) reductive groups.

2019年04月26日(金)

談話会・数理科学講演会

15:30-16:30   数理科学研究科棟(駒場) 056号室
吉田善章 氏 (東京大学新領域創成科学研究科)
Lie-Poisson代数の「変形」とカイラルな場の理論 (日本語)
[ 講演概要 ]
物理の理論は「物」と「時空」の二つを使って記述される.物の特性は「エネルギー」の数学的表現(ハミルトニアン)に還元される.他方,時空の特性はその「幾何学」を特徴づける群の構造として定式化される.物の奇妙な運動(例えば回転方向に好き嫌い=カイラリティーをもつラトルバックというコマ)は,エネルギーが変な形をしているか,あるいは時空が変な法則をもっているかのいずれかに起因すると考えるのだが,ここでは後者の可能性を追求する.カイラリティー(Krein対称性の破れ)をもつPoisson多様体(Hamilton力学系)の構造を,その基底にあるLie代数の変形に帰着して考える理論を紹介する.

2019年04月25日(木)

応用解析セミナー

16:00-18:00   数理科学研究科棟(駒場) 118号室
この日は2つ講演があります.教室と時間にご注意下さい.
Matteo Muratori 氏 (Polytechnic University of Milan) 16:00-17:00
The porous medium equation on noncompact Riemannian manifolds with initial datum a measure
(English)
[ 講演概要 ]
We investigate existence and uniqueness of weak solutions of the Cauchy problem for the porous medium equation on Cartan-Hadamard manifolds. We show existence of solutions that take a finite Radon measure as initial datum, possibly sign-changing. We then prove uniqueness in the class of nonnegative solutions, upon assuming a quadratic lower bound on the Ricci curvature. Our result is "optimal" in the sense that any weak solution necessarily solves a Cauchy problem with initial datum a finite Radon measure. Moreover, as byproducts of the techniques we employ, we obtain some new results in potential analysis on manifolds, concerning the validity of a modified version of the mean-value inequality for superharmonic functions and related properties of potentials of positive Radon measures. Finally, we briefly discuss some work in progress regarding stability of the porous medium equation with respect to the Wasserstein distance, on Riemannian manifolds with Ricci curvature bounded below.
Maurizia Rossi 氏 (University of Pisa) 17:00-18:00
On sharp large deviations for the bridge of a general diffusion
(English)
[ 講演概要 ]
In this talk we provide sharp Large Deviation estimates for the probability of exit from a domain for the bridge of a d-dimensional general diffusion process X, as the conditioning time tends to 0. This kind of results is motivated by applications to numerical simulation. In particular we investigate the influence of the drift b of X. It turns out that the sharp asymptotics for the exit time probability are independent of the drift, provided b enjoyes a simple condition that is always satisfied in dimension 1. On the other hand, we show that the drift can be influential if this assumption is not satisfied. This talk is based on a joint work with P. Baldi and L. Caramellino.

情報数学セミナー

16:50-18:35   数理科学研究科棟(駒場) 128号室
夏学期は暗号理論の講演
岡本 龍明  氏 (NTT)
現代暗号の誕生と発展 (JAPANESE)
[ 講演概要 ]
現代暗号は40年ほど前に誕生したが、現在ではインターネットなどの安全性を保証する基盤技術として広く利用され、さらに応用面においても理論面でもこの10年余りの発展は著しい。
本セミナー(前期)では、このような現代暗号をその誕生から最近の発展まで、基本的暗号理論、ビットコインとブロックチェーン、ポスト量子暗号と格子暗号、完全準同型暗号、関数型暗号などを中心に、前提知識を必要としないで分かりやすく解説することをめざす(7, 8コマ程度)。
以上の講義の後に、高島克幸氏より楕円曲線に基づく暗号理論、とくに最近話題の同種写像暗号などを中心に解説して頂く(数コマ程度)。
まず、第1回(4月25日)では、現代暗号が誕生した経緯とそれらが現在どのような形で利用されているかについて紹介する。

2019年04月24日(水)

代数学コロキウム

17:30-18:30   数理科学研究科棟(駒場) 056号室
Joseph Ayoub 氏 (University of Zurich)
P^1-localisation and a possible definition of arithmetic Kodaira-Spencer classes (English)
[ 講演概要 ]
A^1-localisation is a universal construction which produces "cohomology theories" for which the affine line A^1 is contractible. It plays a central role in the theory of motives à la Morel-Voevodsky. In this talk, I'll discuss the analogous construction where the affine line is replaced by the projective line P^1. This is the P^1-localisation which is arguably an unnatural construction since it produces "cohomology theories" for which the projective line P^1 is contractible. Nevertheless, I'll explain a few positive results and some computations around this construction which naturally lead to a definition of Kodaira-Spencer classes of arithmetic nature. (Unfortunately, it is yet unclear if these classes are really interesting and nontrivial.)

代数幾何学セミナー

15:30-17:00   数理科学研究科棟(駒場) 118号室
今学期は基本水曜日とします。部屋も去年度と異なります。
吉川翔 氏 (東大数理)
Varieties of dense globally F-split type with a non-invertible polarized
endomorphism
[ 講演概要 ]
Broustet and Gongyo conjectured that if a normal projective variety X has a non-invertible polaried endomorphism, then X is of Calabi-Yau type. Furthermore, Schwede and Smith conjectured that a projective variety is of Calabi-Yau type if and only if of dense globally F-split type. Therefore it is a natural question to ask if a normal projective variety X has a non-invertible polaried endomorphism, then X is of dense globally F-split type. In this talk, I will introduce simple points and difficult points of the question. Furthermore I will give the affirmative answer of my question for 2-dimensional case.

2019年04月23日(火)

トポロジー火曜セミナー

17:00-18:30   数理科学研究科棟(駒場) 056号室
Tea: Common Room 16:30-17:00
Christine Vespa 氏 (Université de Strasbourg)
Higher Hochschild homology as a functor (ENGLISH)
[ 講演概要 ]
Higher Hochschild homology generalizes classical Hochschild homology for rings. Recently, Turchin and Willwacher computed higher Hochschild homology of a finite wedge of circles with coefficients in the Loday functor associated to the ring of dual numbers over the rationals. In particular, they obtained linear representations of the groups Out(F_n) which do not factorize through GL(n,Z).

In this talk, I will begin by recalling what is Hochschild homology and higher Hochschild homology. Then I will explain how viewing higher Hochschild homology of a finite wedge of circles as a functor on the category of free groups provides a conceptual framework which allows powerful tools such as exponential functors and polynomial functors to be used. In particular, this allows the generalization of the results of Turchin and Willwacher; this gives rise to new linear representations of Out(F_n) which do not factorize through GL(n,Z).

(This is joint work with Geoffrey Powell.)

2019年04月22日(月)

複素解析幾何セミナー

10:30-12:00   数理科学研究科棟(駒場) 128号室
久本 智之 氏 (名古屋大学)
Optimal destabilizer for a Fano manifold (Japanese)
[ 講演概要 ]
Around 2005, S. Donaldson asked whether the lower bound of the Calabi functional is achieved by a sequence of the normalized Donaldson-Futaki invariants.
For a Fano manifold we construct a sequence of multiplier ideal sheaves from a new geometric flow and answer to Donaldson's question.

数値解析セミナー

16:50-18:20   数理科学研究科棟(駒場) 056号室
及川一誠 氏 (一橋大学大学院経営管理研究科)
HDG法の超収束について (Japanese)
[ 講演概要 ]
近年,hybridizable discontinuous Galerkin (HDG) 法の超収束性に関して研究が進展し,様々な結果が得られている.それらは大きく分けて,数値流束の安定化項に$L^2$射影を施すLehrenfeld-Sch{\" o}berl安定化と,HDG射影を用いるM-decomposition理論との2つに分類される.本講演では両者に関する概要を,講演者の研究結果を交えながら述べる.

離散数理モデリングセミナー

17:15-18:30   数理科学研究科棟(駒場) 118号室
Yuri Suris 氏 (Technische Universität Berlin)
Geometry of the Kahan-Hirota-Kimura discretization
[ 講演概要 ]
We will report on some novel results concerning the bilinear discretization of quadratic vector fields.

2019年04月19日(金)

作用素環セミナー

13:00-14:30   数理科学研究科棟(駒場) 128号室
Sorin Popa 氏 (UCLA・京大スーパーグローバルコース特別招聘教授)
Coarse decomposition of II$_1$ factors (English)

2019年04月17日(水)

代数学コロキウム

17:00-18:00   数理科学研究科棟(駒場) 122号室
高松哲平 氏 (東京大学数理科学研究科)
On the Shafarevich conjecture for minimal surfaces of Kodaira dimension 0 (Japanese)
[ 講演概要 ]
Fを代数体、Sを有限素点の有限集合とする。
Faltings-Zarhinは、固定した正整数gに対して、
Sの外で良還元を持つようなF上のg次元Abel多様体のF上の同型類の有限性を証明した。
(Abel多様体のShafarevich予想)
本講演では、K3曲面、Enriques曲面、超楕円曲面に対するこの定理の類似を議論する。
また、超楕円曲面の還元に関連する話題として、
超楕円曲面のNeronモデルについても紹介したい。

作用素環セミナー

16:45-18:15   数理科学研究科棟(駒場) 126号室
里見貴志 氏 (東大数理)
群上のたたみ込み関数の$L^2$評価とグラフ理論の関係 (日本語)

2019年04月16日(火)

トポロジー火曜セミナー

17:00-18:30   数理科学研究科棟(駒場) 056号室
Tea: Common Room 16:30-17:00
大鹿 健一 氏 (学習院大学)
Thurston’s bounded image theorem (ENGLISH)
[ 講演概要 ]
The bounded image theorem by Thurston constitutes an important step in the proof of his unifomisation theorem for Haken manifolds. Thurston’s original argument was never published and has been unknown up to now. It has turned out a weaker form of this theorem is enough for the proof, and books by Kappovich and by Otal use this weaker version. In this talk, I will show how to prove Thurston’s original version making use of more recent technology. This is joint work with Cyril Lecuire.

2019年04月15日(月)

複素解析幾何セミナー

10:30-12:00   数理科学研究科棟(駒場) 128号室
大沢 健夫 氏 (名古屋大学)
ある種の完備ケーラー多様体上のL2評価とその応用 (Japanese)
[ 講演概要 ]
しばらく前にL2拡張定理の応用として西野の剛性定理の別証を得たが, 最近これがL2消滅定理だけからも導けることが判明した. その結果, 剛性定理がシュタイン族に対してだけでなく完備ケーラー族に対しても成立することが わかった. この議論を用いると, ある種の完備ケーラー多様体が二つの多様体の直積に分解するための一つの条件を書くことができる. また, 同様の方法によりRadoの定理を高次元に一般化することが可能になる.

2019年04月10日(水)

代数学コロキウム

17:30-18:30   数理科学研究科棟(駒場) 056号室
Zongbin Chen 氏 (丘成桐数学科学中心, 清華大学)
The geometry of the affine Springer fibers and Arthur's weighted orbital integrals (English)
[ 講演概要 ]
The affine Springer fibers are geometric objects conceived for the study of orbital integrals. They have complicated geometric structures. We will explain our work on the geometry of affine Springer fibers, with emphasize on the construction of a fundamental domain, and show how the study of the affine Springer fibers can be reduced to that of its fundamental domain. As an application, we will explain how to calculate Arthur's weighted orbital integrals via counting points on the fundamental domain.

(本講演は「東京北京パリ数論幾何セミナー」として, インターネットによる東大数理, Morningside Center of Mathematics と IHES の双方向同時中継で行います.今回は東京からの中継です.)

2019年04月09日(火)

解析学火曜セミナー

16:50-18:20   数理科学研究科棟(駒場) 128号室
Fabio Punzo 氏 (ミラノ工科大学)
The Poisson equation on Riemannian manifolds (English)
[ 講演概要 ]
The talk is concerned with the existence of solutions to the Poisson equation on complete non-compact Riemannian manifolds. In particular, the interplay between the Ricci curvature and the behaviour at infinity of the source function will be discussed. This is a joint work with G. Catino and D.D. Monticelli.

< 前へ 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186 次へ >