本文印刷
全画面プリント
過去の記録
過去の記録 ～04/18｜本日 04/19 | 今後の予定 04/20～
2019年11月27日(水)
作用素環セミナー
17:15-18:45 数理科学研究科棟(駒場) 126号室
曽我部太郎 氏 (京都大学)
The homotopy groups of the automorphism groups of Cuntz-Toeplitz algebras
曽我部太郎 氏 (京都大学)
The homotopy groups of the automorphism groups of Cuntz-Toeplitz algebras
代数学コロキウム
17:00-18:00 数理科学研究科棟(駒場) 117号室
Ahmed Abbes 氏 (CNRS & IHÉS)
The relative Hodge-Tate spectral sequence (ENGLISH)
Ahmed Abbes 氏 (CNRS & IHÉS)
The relative Hodge-Tate spectral sequence (ENGLISH)
[ 講演概要 ]
It is well known that the p-adic étale cohomology of a smooth and proper variety over a p-adic field admits a Hodge-Tate decomposition and that it is the abutment of a spectral sequence called Hodge-Tate; these two properties are incidentally equivalent. The Hodge-Tate decomposition was generalized in higher dimensions to Hodge-Tate local systems by Hyodo, and was studied by Faltings, Tsuji and others. But the generalization of the Hodge-Tate spectral sequence to a relative situation has not yet been considered (not even conjectured), with the exception of a special case of abelian schemes by Hyodo. This has now been done in a joint work with Michel Gros. The relative Hodge-Tate spectral sequence that we construct takes place in the Faltings topos, but its construction requires the introduction of a relative variant of this topos which is the main novelty of our work. The relative Hodge-Tate spectral sequence sheds new light on the fact that the relative p-adic étale cohomology is Hodge-Tate, but the two properties are not equivalent in general.
It is well known that the p-adic étale cohomology of a smooth and proper variety over a p-adic field admits a Hodge-Tate decomposition and that it is the abutment of a spectral sequence called Hodge-Tate; these two properties are incidentally equivalent. The Hodge-Tate decomposition was generalized in higher dimensions to Hodge-Tate local systems by Hyodo, and was studied by Faltings, Tsuji and others. But the generalization of the Hodge-Tate spectral sequence to a relative situation has not yet been considered (not even conjectured), with the exception of a special case of abelian schemes by Hyodo. This has now been done in a joint work with Michel Gros. The relative Hodge-Tate spectral sequence that we construct takes place in the Faltings topos, but its construction requires the introduction of a relative variant of this topos which is the main novelty of our work. The relative Hodge-Tate spectral sequence sheds new light on the fact that the relative p-adic étale cohomology is Hodge-Tate, but the two properties are not equivalent in general.
作用素環セミナー
15:00-17:00 数理科学研究科棟(駒場) 126号室
戸松玲治 氏 (北海道大学)
Subfactor理論のまとめ III (日本語)
戸松玲治 氏 (北海道大学)
Subfactor理論のまとめ III (日本語)
2019年11月26日(火)
解析学火曜セミナー
16:50-18:20 数理科学研究科棟(駒場) 128号室
蘆田聡平 氏 (学習院大学)
Accurate lower bounds for eigenvalues of electronic Hamiltonians (Japanese)
蘆田聡平 氏 (学習院大学)
Accurate lower bounds for eigenvalues of electronic Hamiltonians (Japanese)
[ 講演概要 ]
Electronic Hamiltonians are differential operators depending on relative positions of nuclei as parameters. When we regard an eigenvalues of an electronic Hamiltonian as a function of relative positions of nuclei, minimum points correspond to shapes of molecules. Upper bounds for eigenvalues are obtained by variational methods. However, since the physical information as minimum points does not change when a reference point of energy changes, physical information can not be obtained by variational methods only. Combining lower and upper bounds physical information is obtained.
In this talk we discuss the Weinstein-Arnszajn intermediate problem methods for lower bounds of eigenvalues based on comparison of operators. A method for lower bounds of one-electronic Hamiltonians is also introduced. Some computations for two kinds of hydrogen molecule-ion are shown.
Electronic Hamiltonians are differential operators depending on relative positions of nuclei as parameters. When we regard an eigenvalues of an electronic Hamiltonian as a function of relative positions of nuclei, minimum points correspond to shapes of molecules. Upper bounds for eigenvalues are obtained by variational methods. However, since the physical information as minimum points does not change when a reference point of energy changes, physical information can not be obtained by variational methods only. Combining lower and upper bounds physical information is obtained.
In this talk we discuss the Weinstein-Arnszajn intermediate problem methods for lower bounds of eigenvalues based on comparison of operators. A method for lower bounds of one-electronic Hamiltonians is also introduced. Some computations for two kinds of hydrogen molecule-ion are shown.
トポロジー火曜セミナー
17:00-18:30 数理科学研究科棟(駒場) 056号室
Tea: Common Room 16:30-17:00
Marco De Renzi 氏 (早稲田大学)
$2+1$-TQFTs from non-semisimple modular categories (ENGLISH)
Tea: Common Room 16:30-17:00
Marco De Renzi 氏 (早稲田大学)
$2+1$-TQFTs from non-semisimple modular categories (ENGLISH)
[ 講演概要 ]
Non-semisimple constructions have substantially generalized the standard approach of Witten, Reshetikhin, and Turaev to quantum topology, producing powerful invariants and TQFTs with unprecedented properties. We will explain how to use the theory of modified traces to renormalize Lyubashenko’s closed 3-manifold invariants coming from finite twist non-degenerate unimodular ribbon categories. Under the additional assumption of factorizability, our renormalized invariants extend to $2+1$-TQFTs, unlike Lyubashenko’s original ones. This general framework encompasses important examples of non-semisimple modular categories which were left out of previous non-semisimple TQFT constructions.
Based on a joint work with Azat Gainutdinov, Nathan Geer, Bertrand Patureau, and Ingo Runkel.
Non-semisimple constructions have substantially generalized the standard approach of Witten, Reshetikhin, and Turaev to quantum topology, producing powerful invariants and TQFTs with unprecedented properties. We will explain how to use the theory of modified traces to renormalize Lyubashenko’s closed 3-manifold invariants coming from finite twist non-degenerate unimodular ribbon categories. Under the additional assumption of factorizability, our renormalized invariants extend to $2+1$-TQFTs, unlike Lyubashenko’s original ones. This general framework encompasses important examples of non-semisimple modular categories which were left out of previous non-semisimple TQFT constructions.
Based on a joint work with Azat Gainutdinov, Nathan Geer, Bertrand Patureau, and Ingo Runkel.
作用素環セミナー
15:00-17:00 数理科学研究科棟(駒場) 126号室
戸松玲治 氏 (北海道大学)
Subfactor理論のまとめ II (日本語)
戸松玲治 氏 (北海道大学)
Subfactor理論のまとめ II (日本語)
PDE実解析研究会
10:30-11:30 数理科学研究科棟(駒場) 056号室
Dan Tiba 氏 (Institute of Mathematics of the Romanian Academy / Academy of Romanian Scientists)
A Hamiltonian approach with penalization in shape and topology optimization (English)
Dan Tiba 氏 (Institute of Mathematics of the Romanian Academy / Academy of Romanian Scientists)
A Hamiltonian approach with penalization in shape and topology optimization (English)
[ 講演概要 ]
General geometric optimization problems involve boundary and topology variations. This research area has already almost fifty years of history and very rich applications in computer aided industrial design. Recently, a new representation of manifolds, using iterated Hamiltonian systems, has been introduced in arbitrary dimension and co-dimension. Combining this technique with a penalization procedure for the boundary conditions, a comprehensive approximation method for optimal design problems associated to elliptic equations, is obtained. It reduces shape and topology optimization problems to optimal control problems, in a general setting. It enters the category of fixed domain methods in variable/unknown domain problems and it has consistent advantages at the computational level. It allows "free" changes of the boundary and/or the topology, during the iterations. This methodology, based on iterated Hamiltonian systems and implicit parametrizations, was also applied to nonlinear programming problems in arbitrary dimension.
General geometric optimization problems involve boundary and topology variations. This research area has already almost fifty years of history and very rich applications in computer aided industrial design. Recently, a new representation of manifolds, using iterated Hamiltonian systems, has been introduced in arbitrary dimension and co-dimension. Combining this technique with a penalization procedure for the boundary conditions, a comprehensive approximation method for optimal design problems associated to elliptic equations, is obtained. It reduces shape and topology optimization problems to optimal control problems, in a general setting. It enters the category of fixed domain methods in variable/unknown domain problems and it has consistent advantages at the computational level. It allows "free" changes of the boundary and/or the topology, during the iterations. This methodology, based on iterated Hamiltonian systems and implicit parametrizations, was also applied to nonlinear programming problems in arbitrary dimension.
2019年11月25日(月)
作用素環セミナー
15:00-17:00 数理科学研究科棟(駒場) 128号室
戸松玲治 氏 (北海道大学)
Subfactor理論のまとめ I (日本語)
戸松玲治 氏 (北海道大学)
Subfactor理論のまとめ I (日本語)
2019年11月22日(金)
離散数理モデリングセミナー
17:00-18:00 数理科学研究科棟(駒場) 056号室
Adam Doliwa 氏 (University of Warmia and Mazury)
The Hopf algebra structure of coloured non-commutative symmetric functions
Adam Doliwa 氏 (University of Warmia and Mazury)
The Hopf algebra structure of coloured non-commutative symmetric functions
[ 講演概要 ]
The Hopf algebra of symmetric functions (Sym), especially its Schur function basis, plays an important role in the theory of KP hierarchy. The Hopf algebra of non-commutative symmetric functions (NSym) was introduced by Gelfand, Krob, Lascoux, Leclerc, Retakh and Thibon. In my talk I would like to present its "A-coloured" version NSym_A and its graded dual - the Hopf algebra QSym_A of coloured quasi-symmetric functions. It turns out that these two algebras are both non-commutative and non-cocommutative (for |A|>1), and their product and coproduct operations allow for simple combinatorial meaning. I will also show how the structure of the poset of sentences over alphabet A (A-coloured compositions) gives rise to a description of the corresponding coloured version of the ribbon Schur basis of NSym_A.
The Hopf algebra of symmetric functions (Sym), especially its Schur function basis, plays an important role in the theory of KP hierarchy. The Hopf algebra of non-commutative symmetric functions (NSym) was introduced by Gelfand, Krob, Lascoux, Leclerc, Retakh and Thibon. In my talk I would like to present its "A-coloured" version NSym_A and its graded dual - the Hopf algebra QSym_A of coloured quasi-symmetric functions. It turns out that these two algebras are both non-commutative and non-cocommutative (for |A|>1), and their product and coproduct operations allow for simple combinatorial meaning. I will also show how the structure of the poset of sentences over alphabet A (A-coloured compositions) gives rise to a description of the corresponding coloured version of the ribbon Schur basis of NSym_A.
2019年11月21日(木)
情報数学セミナー
16:50-18:35 数理科学研究科棟(駒場) 122号室
鈴木泰成 氏 (NTTセキュアプラットフォーム研究所)
量子誤り訂正 (Japanese)
鈴木泰成 氏 (NTTセキュアプラットフォーム研究所)
量子誤り訂正 (Japanese)
[ 講演概要 ]
本講義では2048bitの素因数分解などの大規模な量子計算の実現において必須となる、量子誤り訂正技術について解説する。まず量子計算と通常の計算機の違いから誤り訂正の仕組みにどのような要請の違いが生じるのかを解説し、量子誤り訂正の構造と難しさを概観する。続けて、量子誤り訂正および誤り耐性量子計算の全体像と、その実現に向けた最近の取り組みを紹介する。
本講義では2048bitの素因数分解などの大規模な量子計算の実現において必須となる、量子誤り訂正技術について解説する。まず量子計算と通常の計算機の違いから誤り訂正の仕組みにどのような要請の違いが生じるのかを解説し、量子誤り訂正の構造と難しさを概観する。続けて、量子誤り訂正および誤り耐性量子計算の全体像と、その実現に向けた最近の取り組みを紹介する。
基礎論セミナー
13:30-15:00 数理科学研究科棟(駒場) 156号室
佐藤憲太郎 氏
Self-referential Theorems for Finitist Arithmetic
佐藤憲太郎 氏
Self-referential Theorems for Finitist Arithmetic
[ 講演概要 ]
The finitist logic excludes,on the syntax level, unbounded quantifiers
and accommodates only bounded quantifiers.
The following two self-referential theorems for arithmetic theories
over the finitist logic will be considered:
Tarski's impossibility of naive truth predicate and
Goedel's incompleteness theorem.
Particularly, it will be briefly explained that
(i) the naive truth theory over the finitist arithmetic with summation and multiplication
is consistent and proves its own consistency, and that
(ii) by the use of finitist arithmetic, the hierarchy of consistency strengths,
based on Goedel's second incompleteness theorem,
can be extended downward (to the area not reachable by first order predicate arithmetic).
This is a joint work with Jan Walker, and overlaps significantly with his doctoral dissertation.
The finitist logic excludes,on the syntax level, unbounded quantifiers
and accommodates only bounded quantifiers.
The following two self-referential theorems for arithmetic theories
over the finitist logic will be considered:
Tarski's impossibility of naive truth predicate and
Goedel's incompleteness theorem.
Particularly, it will be briefly explained that
(i) the naive truth theory over the finitist arithmetic with summation and multiplication
is consistent and proves its own consistency, and that
(ii) by the use of finitist arithmetic, the hierarchy of consistency strengths,
based on Goedel's second incompleteness theorem,
can be extended downward (to the area not reachable by first order predicate arithmetic).
This is a joint work with Jan Walker, and overlaps significantly with his doctoral dissertation.
2019年11月20日(水)
代数学コロキウム
18:00-19:00 数理科学研究科棟(駒場) 056号室
Vasudevan Srinivas 氏 (Tata Institute of Fundamental Research)
Algebraic versus topological entropy for surfaces over finite fields (ENGLISH)
Vasudevan Srinivas 氏 (Tata Institute of Fundamental Research)
Algebraic versus topological entropy for surfaces over finite fields (ENGLISH)
[ 講演概要 ]
For an automorphism of an algebraic variety, we consider some properties of eigenvalues of the induced linear transformation on l-adic cohomology, motivated by some results from complex dynamics, related to the notion of entropy. This is a report on joint work with Hélène Esnault, and some subsequent work of K. Shuddhodan.
（本講演は「東京北京パリ数論幾何セミナー」として，インターネットによる東大数理，Morningside Center of Mathematics と IHES の双方向同時中継で行います．今回は東京からの中継です．）
For an automorphism of an algebraic variety, we consider some properties of eigenvalues of the induced linear transformation on l-adic cohomology, motivated by some results from complex dynamics, related to the notion of entropy. This is a report on joint work with Hélène Esnault, and some subsequent work of K. Shuddhodan.
（本講演は「東京北京パリ数論幾何セミナー」として，インターネットによる東大数理，Morningside Center of Mathematics と IHES の双方向同時中継で行います．今回は東京からの中継です．）
作用素環セミナー
16:45-18:15 数理科学研究科棟(駒場) 126号室
Stefan Hollands 氏 (Univ. Leipzig)
Modular theory and entanglement in CFT
Stefan Hollands 氏 (Univ. Leipzig)
Modular theory and entanglement in CFT
2019年11月19日(火)
PDE実解析研究会
10:30-11:30 数理科学研究科棟(駒場) 056号室
Peter Topping 氏 (University of Warwick)
Starting Ricci flow with rough initial data (English)
Peter Topping 氏 (University of Warwick)
Starting Ricci flow with rough initial data (English)
[ 講演概要 ]
Ricci flow is a nonlinear PDE that is traditionally used to deform a manifold we would like to understand into a manifold we already understand. For example, Hamilton showed that a simply connected closed 3-manifold with positive Ricci curvature is deformed into a manifold of constant sectional curvature, thus allowing us to identify it as topologically a sphere.
In this talk we take a look at a different use of Ricci flow. We would like to exploit the regularising effect of parabolic PDE to turn a rough space into a smooth space by running the Ricci flow. In practice, this revolves around proving good a priori estimates on solutions, and taking unorthodox approaches to solving parabolic PDE. We will see some theory, first in 2D, then in higher dimension, and some applications.
Ricci flow is a nonlinear PDE that is traditionally used to deform a manifold we would like to understand into a manifold we already understand. For example, Hamilton showed that a simply connected closed 3-manifold with positive Ricci curvature is deformed into a manifold of constant sectional curvature, thus allowing us to identify it as topologically a sphere.
In this talk we take a look at a different use of Ricci flow. We would like to exploit the regularising effect of parabolic PDE to turn a rough space into a smooth space by running the Ricci flow. In practice, this revolves around proving good a priori estimates on solutions, and taking unorthodox approaches to solving parabolic PDE. We will see some theory, first in 2D, then in higher dimension, and some applications.
トポロジー火曜セミナー
17:00-18:30 数理科学研究科棟(駒場) 056号室
Tea: Common Room 16:30-17:00
Ramón Barral Lijó 氏 (立命館大学)
The smooth Gromov space and the realization problem (ENGLISH)
Tea: Common Room 16:30-17:00
Ramón Barral Lijó 氏 (立命館大学)
The smooth Gromov space and the realization problem (ENGLISH)
[ 講演概要 ]
The n-dimensional smooth Gromov space consists of the pointed isometry classes of complete Riemannian n-manifolds. In this talk we will present the definition and basic properties of this space as well as two different applications: The first addresses the following classical problem in foliation theory.
Realization problem: what kind of manifolds can be leaves of compact foliations?
Our joint work with Álvarez López has produced the following solution in the context of foliated spaces.
Theorem. Every Riemannian manifold of bounded geometry is a leaf in a compact foliated space X endowed with a metric tensor. Moreover, we can assume that X has trivial holonomy and is transversely Cantor.
The second application is the recent research by Abert and Biringer on the subject of unimodular random Riemannian manifolds.
The n-dimensional smooth Gromov space consists of the pointed isometry classes of complete Riemannian n-manifolds. In this talk we will present the definition and basic properties of this space as well as two different applications: The first addresses the following classical problem in foliation theory.
Realization problem: what kind of manifolds can be leaves of compact foliations?
Our joint work with Álvarez López has produced the following solution in the context of foliated spaces.
Theorem. Every Riemannian manifold of bounded geometry is a leaf in a compact foliated space X endowed with a metric tensor. Moreover, we can assume that X has trivial holonomy and is transversely Cantor.
The second application is the recent research by Abert and Biringer on the subject of unimodular random Riemannian manifolds.
解析学火曜セミナー
16:50-18:20 数理科学研究科棟(駒場) 128号室
Wenjia Jing 氏 (清華大学)
Quantitative homogenization for the Dirichlet problem of Stokes system in periodic perforated domain - a unified approach (English)
Wenjia Jing 氏 (清華大学)
Quantitative homogenization for the Dirichlet problem of Stokes system in periodic perforated domain - a unified approach (English)
[ 講演概要 ]
We present a new unified approach for the quantitative homogenization of the Stokes system in periodically perforated domains, that is domains outside a periodic array of holes, with Dirichlet data at the boundary of the holes. The method is based on the (rescaled) cell-problem and is adaptive to the ratio between the typical distance and the typical side length of the holes; in particular, for the critical ratio identified by Cioranescu-Murat, we recover the “strange term from nowhere”termed by them, which, in the context of Stokes system, corresponds to the Brinkman’s law. An advantage of the method is that it can be systematically quantified using the periodic layer potential technique. We will also report some new correctors to the homogenization problem using this approach. The talk is based on joint work with Yong Lu and Christophe Prange.
We present a new unified approach for the quantitative homogenization of the Stokes system in periodically perforated domains, that is domains outside a periodic array of holes, with Dirichlet data at the boundary of the holes. The method is based on the (rescaled) cell-problem and is adaptive to the ratio between the typical distance and the typical side length of the holes; in particular, for the critical ratio identified by Cioranescu-Murat, we recover the “strange term from nowhere”termed by them, which, in the context of Stokes system, corresponds to the Brinkman’s law. An advantage of the method is that it can be systematically quantified using the periodic layer potential technique. We will also report some new correctors to the homogenization problem using this approach. The talk is based on joint work with Yong Lu and Christophe Prange.
2019年11月18日(月)
複素解析幾何セミナー
10:30-12:00 数理科学研究科棟(駒場) 128号室
吉川 謙一 氏 (京都大学)
j-invariant and Borcherds Phi-function (Japanese)
吉川 謙一 氏 (京都大学)
j-invariant and Borcherds Phi-function (Japanese)
[ 講演概要 ]
The j-invariant is a modular function on the complex upper half plane inducing an isomorphism between the moduli space of elliptic curves and the complex plane. Besides the j-invariant itself, the difference of j-invariants has also attracted some mathematicians. In this talk, I will explain a factorization of the difference of j-invariants in terms of Borcherds Phi-function, the automorphic form on the period domain for Enriques surfaces characterizing the discriminant divisor. This is a joint work with Shu Kawaguchi and Shigeru Mukai.
The j-invariant is a modular function on the complex upper half plane inducing an isomorphism between the moduli space of elliptic curves and the complex plane. Besides the j-invariant itself, the difference of j-invariants has also attracted some mathematicians. In this talk, I will explain a factorization of the difference of j-invariants in terms of Borcherds Phi-function, the automorphic form on the period domain for Enriques surfaces characterizing the discriminant divisor. This is a joint work with Shu Kawaguchi and Shigeru Mukai.
2019年11月14日(木)
情報数学セミナー
16:50-18:35 数理科学研究科棟(駒場) 122号室
御手洗 光祐 氏 (大阪大学基礎工学研究科)
量子コンピュータを用いた量子機械学習 (Japanese)
御手洗 光祐 氏 (大阪大学基礎工学研究科)
量子コンピュータを用いた量子機械学習 (Japanese)
[ 講演概要 ]
本講義では、量子コンピュータを使って機械学習を高速化しようとする試みを概観する。まず量子誤り訂正付きの万能量子計算を用いた機械学習アルゴリズムについて、これまで提案されているアイデアの特徴をみる。そののち、今後数年で実現するとされる Noisy Intermidiate-Scale Qunatum (NISQ) デバイスを用いた機械学習アルゴリズムについて述べる。
本講義では、量子コンピュータを使って機械学習を高速化しようとする試みを概観する。まず量子誤り訂正付きの万能量子計算を用いた機械学習アルゴリズムについて、これまで提案されているアイデアの特徴をみる。そののち、今後数年で実現するとされる Noisy Intermidiate-Scale Qunatum (NISQ) デバイスを用いた機械学習アルゴリズムについて述べる。
2019年11月12日(火)
解析学火曜セミナー
16:50-18:20 数理科学研究科棟(駒場) 128号室
神本晋吾 氏 (広島大学)
Mould展開を用いたResurgence構造の解析 (Japanese)
神本晋吾 氏 (広島大学)
Mould展開を用いたResurgence構造の解析 (Japanese)
[ 講演概要 ]
Mould解析はJ. Ecalle氏により考案された解析手法であり, ベクトル場の標準形の構成や多重ゼータ値などに応用されている. Mould 解析では word による展開を用いるが, その後Ecalle氏によりtreeを用いた展開も導入された. 2017年に, F. Fauvet氏とF. Menous氏により, このtreeによる展開のConnes-Kreimer Hopf代数を用いた明確な定式化が与えられた. 本講演では, この定式化に則り, ベクトル場の線形化問題に現れるStokes現象のResurgence構造に関して議論を行う.
Mould解析はJ. Ecalle氏により考案された解析手法であり, ベクトル場の標準形の構成や多重ゼータ値などに応用されている. Mould 解析では word による展開を用いるが, その後Ecalle氏によりtreeを用いた展開も導入された. 2017年に, F. Fauvet氏とF. Menous氏により, このtreeによる展開のConnes-Kreimer Hopf代数を用いた明確な定式化が与えられた. 本講演では, この定式化に則り, ベクトル場の線形化問題に現れるStokes現象のResurgence構造に関して議論を行う.
2019年11月08日(金)
談話会・数理科学講演会
15:30-16:30 数理科学研究科棟(駒場) 056号室
斎藤秀司 氏 (東大数理)
モチーフ理論と分岐理論への応用 (日本語)
斎藤秀司 氏 (東大数理)
モチーフ理論と分岐理論への応用 (日本語)
[ 講演概要 ]
モチーフ理論とは，代数多様体の普遍的コホモロジー理論の構成を目的とする理論である．
すでに1970年代にGrothendieckがさまざまなコホモロジー理論の背後に潜むものとしてその存在を予見し，1980年にBeilinsonがそれを正確に定式化し予想として提出した．
それ以来、モチーフ理論は哲学的指導原理として多くの優れた研究を導びきつつ発展してきた．
最も大きな進展は、今世紀初頭にVoevodskyが構成した特異点を持たない多様体にたいしては望まれた性質を持つモチーフ理論である（彼はその応用としてBloch-加藤予想を解決しフィールズ賞を受賞している）．
しかし一般の場合のモチーフ理論の構成(Beilinson予想)は未解決である．
本講演では、Voevodskyの理論を拡張することによりBeilinson予想の解決に向けた
最近の進展を解説し、その応用として、加藤和也氏と斎藤毅氏たちが牽引する分岐理論を新しい視点から再構成し一般化する試みを紹介したい．
モチーフ理論とは，代数多様体の普遍的コホモロジー理論の構成を目的とする理論である．
すでに1970年代にGrothendieckがさまざまなコホモロジー理論の背後に潜むものとしてその存在を予見し，1980年にBeilinsonがそれを正確に定式化し予想として提出した．
それ以来、モチーフ理論は哲学的指導原理として多くの優れた研究を導びきつつ発展してきた．
最も大きな進展は、今世紀初頭にVoevodskyが構成した特異点を持たない多様体にたいしては望まれた性質を持つモチーフ理論である（彼はその応用としてBloch-加藤予想を解決しフィールズ賞を受賞している）．
しかし一般の場合のモチーフ理論の構成(Beilinson予想)は未解決である．
本講演では、Voevodskyの理論を拡張することによりBeilinson予想の解決に向けた
最近の進展を解説し、その応用として、加藤和也氏と斎藤毅氏たちが牽引する分岐理論を新しい視点から再構成し一般化する試みを紹介したい．
2019年11月07日(木)
情報数学セミナー
16:50-18:35 数理科学研究科棟(駒場) 126号室
中川裕也 氏 (株式会社QunaSys)
量子コンピュータを用いた量子化学計算 (Japanese)
中川裕也 氏 (株式会社QunaSys)
量子コンピュータを用いた量子化学計算 (Japanese)
[ 講演概要 ]
量子計算に関する連続講義（全4回）の第2回目となる本講義では、量子コンピュータの産業応用先として最も注目されている分野の一つである量子化学計算について解説する。特に、Noisy Intermidiate-Scale Qunatum (NISQ) デバイスという、数年以内の実用化が期待されている量子コンピュータを用いた量子化学計算に関する話題を掘り下げていく。
量子計算に関する連続講義（全4回）の第2回目となる本講義では、量子コンピュータの産業応用先として最も注目されている分野の一つである量子化学計算について解説する。特に、Noisy Intermidiate-Scale Qunatum (NISQ) デバイスという、数年以内の実用化が期待されている量子コンピュータを用いた量子化学計算に関する話題を掘り下げていく。
2019年11月06日(水)
作用素環セミナー
16:45-18:15 数理科学研究科棟(駒場) 126号室
森脇湧登 氏 (東大数理)
Deformation of two-dimensional conformal field theory and vertex algebra
森脇湧登 氏 (東大数理)
Deformation of two-dimensional conformal field theory and vertex algebra
2019年11月05日(火)
トポロジー火曜セミナー
17:00-18:30 数理科学研究科棟(駒場) 056号室
Tea: Common Room 16:30-17:00
五味 清紀 氏 (東京工業大学)
Magnitude homology of geodesic space (JAPANESE)
Tea: Common Room 16:30-17:00
五味 清紀 氏 (東京工業大学)
Magnitude homology of geodesic space (JAPANESE)
[ 講演概要 ]
Magnitude is an invariant which counts `effective number of points' on a metric space. Its categorification is magnitude homology. This notion is first formulated for metric spaces associated to simple graphs by Hepworth and Willerton, and then for any metric spaces by Leinster and Shulman. The definition of the magnitude homology is easy, but its calculation is rather difficult. For example, the magnitude homology of the circle with geodesic metric was known partially. In my talk, I will explain my result that fully determines the magnitude homology of any geodesic metric space subject to a certain non-branching assumption. In this result, the magnitude homology is described in terms of geodesics. Complete and connected Riemannian manifolds are examples of the geodesic metric spaces satisfying the assumption.
Magnitude is an invariant which counts `effective number of points' on a metric space. Its categorification is magnitude homology. This notion is first formulated for metric spaces associated to simple graphs by Hepworth and Willerton, and then for any metric spaces by Leinster and Shulman. The definition of the magnitude homology is easy, but its calculation is rather difficult. For example, the magnitude homology of the circle with geodesic metric was known partially. In my talk, I will explain my result that fully determines the magnitude homology of any geodesic metric space subject to a certain non-branching assumption. In this result, the magnitude homology is described in terms of geodesics. Complete and connected Riemannian manifolds are examples of the geodesic metric spaces satisfying the assumption.
解析学火曜セミナー
16:50-18:20 数理科学研究科棟(駒場) 128号室
Ngô Quốc Anh 氏 (ベトナム国家大学ハノイ校 / 東京大学)
Exhaustive existence and non-existence results for some prototype polyharmonic equations in the whole space (English)
Ngô Quốc Anh 氏 (ベトナム国家大学ハノイ校 / 東京大学)
Exhaustive existence and non-existence results for some prototype polyharmonic equations in the whole space (English)
[ 講演概要 ]
This talk concerns entire, non-trivial, non-negative solutions and/or entire, positive solutions to the simplest models of polyharmonic equations with power-type nonlinearity \[\Delta^m u = \pm u^\alpha\] in $\mathbb R^n$ with $n \geqslant 1$, $m \geqslant 1$, and $\alpha \in \mathbb R$. For small $m$, the above equations arise in many physical phenomena and applied mathematics. They also arise from several prescribing geometric curvture problems in conformal geometry such as the Yamabe problem, the scalar curvature problem, and the Q-curvature problem for the Paneitz operator. Higher-order cases also arise from the Q-curvature problem for the GJMS operator. In this talk, I will present a complete picture of the existence and non-existence of solutions to the above equations in the full rage of the parameters $n$, $m$, and $\alpha$. This is joint work with V.H. Nguyen, Q.H. Phan, and D. Ye.
This talk concerns entire, non-trivial, non-negative solutions and/or entire, positive solutions to the simplest models of polyharmonic equations with power-type nonlinearity \[\Delta^m u = \pm u^\alpha\] in $\mathbb R^n$ with $n \geqslant 1$, $m \geqslant 1$, and $\alpha \in \mathbb R$. For small $m$, the above equations arise in many physical phenomena and applied mathematics. They also arise from several prescribing geometric curvture problems in conformal geometry such as the Yamabe problem, the scalar curvature problem, and the Q-curvature problem for the Paneitz operator. Higher-order cases also arise from the Q-curvature problem for the GJMS operator. In this talk, I will present a complete picture of the existence and non-existence of solutions to the above equations in the full rage of the parameters $n$, $m$, and $\alpha$. This is joint work with V.H. Nguyen, Q.H. Phan, and D. Ye.
2019年10月31日(木)
応用解析セミナー
16:00-17:30 数理科学研究科棟(駒場) 128 (TBD)号室
Marius Ghergu 氏 (University College Dublin)
Behaviour around the isolated singularity for solutions of some nonlinear elliptic inequalities and systems (English)
Marius Ghergu 氏 (University College Dublin)
Behaviour around the isolated singularity for solutions of some nonlinear elliptic inequalities and systems (English)
[ 講演概要 ]
We present some results on the behaviour around the isolated singularity for solutions of nonlinear elliptic inequalities driven by the Laplace operator. We derive optimal conditions that imply either a blow-up or the existence of pointwise bounds for solutions. We obtain that whenever a pointwise bound exists, then an optimal bound is given by the fundamental solution of the Laplace operator. This situation changes in case of systems of inequalities where other types of optimal bounds may occur. The approach relies on integral representation of solutions combined with various nonlinear potential estimates. Further extensions to the parabolic case will be presented. This talk is based on joint works with S. Taliaferro (Texas A&M University) and I. Verbitsky (Missouri University).
We present some results on the behaviour around the isolated singularity for solutions of nonlinear elliptic inequalities driven by the Laplace operator. We derive optimal conditions that imply either a blow-up or the existence of pointwise bounds for solutions. We obtain that whenever a pointwise bound exists, then an optimal bound is given by the fundamental solution of the Laplace operator. This situation changes in case of systems of inequalities where other types of optimal bounds may occur. The approach relies on integral representation of solutions combined with various nonlinear potential estimates. Further extensions to the parabolic case will be presented. This talk is based on joint works with S. Taliaferro (Texas A&M University) and I. Verbitsky (Missouri University).
< 前へ 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185 次へ >
