過去の談話会・講演会
粗面領域における粘性流体の高次展開と壁法則について
- 講演者:
- 檜垣 充朗 氏(神戸大学大学院理学研究科数学専攻)
- 日時:
- 2019.11.6(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428−30
固体壁が水や空気といった粘性流体の流れに与える影響の理解は、理学・工学の両分野において基本的な問題である。一方で、現実の流体が接する壁面は、巨視的には滑らかなようでも、微視的な粗さを持つ境界としてモデル化されることが多い。本発表では、粗面付近の Navier-Stokes 流に対する境界層補正を用いた高次展開を紹介し、その応用として流体力学における Navier 壁法則に関係した数学的結果をいくつか解説する。
Difference operators arising from Coulomb branches and quantum groups
- 講演者:
- 小寺 諒介氏 (神戸大学大学院理学研究科数学専攻)
- 日時:
- 2018.4.17(火) 16:00-17:00
- 場所:
- 理学部B棟4階 B428−30
物理学で研究されてきたゲージ理論のクーロン枝に対して、近年、Braverman-Finkelberg-中島はその数学的定義を提唱した。クーロン枝はその定義からアフィン代数多様体だが、この構成ではクーロン枝の座標環の非可換変形(量子クーロン枝)と、差分作用素のなす代数への埋め込みが同時に得られる。さらに、クーロン枝が箙に付随して定義される場合には、退化したMacdonald作用素およびその変種が現れる。この講演では、こうした事実について紹介し、箙に付随する量子クーロン枝をCherednik代数(退化ダブルアフィンHecke代数)やある種の量子群と同定する結果について述べる。この講演の内容は中島啓氏、およびBraverman、Finkelberg、Kamnitzer、中島、Webster、Weekes各氏との共同研究に基づくものである。
指標多様体と安定放物接続のモジュライ空間
- 講演者:
- 光明 新氏 (神戸大学大学院理学研究科数学専攻)
- 日時:
- 2017.11.8(水) 16:30-17:30
- 場所:
- 理学部B棟4階 B428−30
点付きRiemann面のモノドロミー表現のモジュライ空間は指標多様体と呼ばれています。Simpsonはこの指標多様体のコンパクト化に関する予想を、Hauselらはそれらの混合Hodge構造に関する予想を提出しています。本講演の前半はこれらの予想が成り立つ例を紹介します。後半は安定放物接続のモジュライ空間について述べます。特に、安定放物接続のモジュライ空間の族はモノドロミー保存変形の方程式の相空間と考えることができますが、その上のHamiltonianについて述べます。
非線形シュレディンガー方程式に対する共鳴現象と解のダイナミクス
- 講演者:
- 高岡 秀夫氏 (神戸大学大学院理学研究科数学専攻)
- 日時:
- 2017.4.26(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428−30
分散型波動現象を記述する非線形シュレディンガー方程式の解のダイナミクスについて幾つか紹介します。可積分構造を伴う特殊な非線形項や初期値の大きさを制限するなどした場合とそうでない場合について触れます。波動エネルギーの定性的性質を共鳴現象によって解説したいと思います。
ホロノミック勾配法による多面体領域の正規確率の数値計算
- 講演者:
- 小山 民雄氏 (神戸大学大学院理学研究科数学専攻)
- 日時:
- 2017.2.15(水) 16:30-17:30
- 場所:
- 理学部B棟4階 B428-30
ホロノミック勾配法は、常微分方程式を利用した数値計算の手法で、主に多次元領域の積分に対して応用されています。本講演では、多面体領域の正規確率(多変量正規分布に従う確率ベクトルが有限個の線形不等式系で定義される領域に落ちる確率)の数値計算へのホロノミック勾配法の応用について、基礎となる理論的な結果とともに紹介します。また、多面体領域が単体の場合における数値実験の結果についても合わせて紹介したいと思います。
Orthogonal Arrays with Circulant Property: Construction, Analysis and Applications to fMRI Experiments
- 講演者:
- Frederick K. H. Phoa 氏 (Institute of Statistical Science, Academia Sinica)
- 日時:
- 2016.11.30(水) 15:00-16:00
- 場所:
- 理学部B棟 4階 B428−30
Orthogonal arrays have been widely used in many experiments, but they do not exist for any size. Recently, orthogonal arrays with circulant property receive great attention and are applied in many elds such as stream cypher cryptanalysis and functional magnetic resonance imaging. Since circulant Hadamard matrices, that can be viewed as orthogonal arrays of symbols two and strength two, have been conjectured nonexistence, circulant almost orthogonal arrays (CAOA) are considered. In this talk, we propose a systematic construction to this new class of designs. Complete difference sets (CDS) are also introduced and applied for the construction of CAOA. We not only prove the equivalence relation of CDS and CAOA, but also construct CAOA of any prime power symbols. We further apply these designs to fMRI experiments, demonstrating that our constructed designs have better properties than the traditional designs in terms of cost-efficiency. This is a joint work with my postdoctoral research fellow Dr. Yuan-Lung Lin of Institute of Statistical Science, Academia Sinica, and Professor Jason Ming-Hung Kao of Arizona State University.
偶数次ユニタリ群の局所逆定理について
- 講演者:
- 森本 和輝氏 (神戸大学大学院理学研究科数学専攻)
- 日時:
- 2016.4.28(木) 17:00-18:00
- 場所:
- 理学部B棟4階 B428−30
Fano 多様体の変形
- 講演者:
- 佐野 太郎氏 (神戸大学理学研究科数学専攻)
- 日時:
- 2015.11.11(水) 16:00-17:00
- 場所:
- 理学部B棟4階 B428−30
Fano多様体はFanoによる分類の試み以来、長年研究されてきた。滑らかなFano多様体は3次元まで分類されている。一方、極小モデル理論によると、端末特異点というmildな特異点を持つQ-Fano多様体と呼ばれるものを考えるのが自然である。本講演ではこれらFano多様体の変形について述べる。
グレブナー基底の実験計画法への応用
- 講演者:
- 青木 敏氏 (神戸大学理学研究科数学専攻)
- 日時:
- 2015.4.22(水) 15:00-16:00
- 場所:
- 理学部B棟4階 B428−30
クラスター代数と標準基底
- 講演者:
- 木村 嘉之氏 (神戸大学理学研究科数学専攻)
- 日時:
- 2015.4.22(水) 16:10-17:10
- 場所:
- 理学部B棟4階 B428−30
Alan Turing and the Riemann hypothesis (アラン・チューリングとリーマン予想)
- 講演者:
- Andrew Booker氏(University of Bristol)
- 日時:
- 2015.4.8(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30
Many mathematicians are familiar with Alan Turing as a logician, pioneer of computer science, and code-breaker during the war. Not so many know that he was also a number theorist. I will describe Turing's interest in the Riemann hypothesis, in a manner accessible to all. (The talk will be in English with slides in Japanese.)
超幾何関数のモノドロミー表現と交点形式
- 講演者:
- 後藤 良彰 氏(神戸大学理学研究科)
- 日時:
- 2014.10.15(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428−30
超幾何関数のモノドロミー表現を調べる方法として、ねじれサイクル(積分域)の変化を追うという手法があります。本講演では、Gauss の超幾何関数を例に、ねじれホモロジー群の交点形式を用いてモノドロミー表現が記述できることを紹介します。また、時間があれば、この手法で Lauricella's FC と呼ばれる多変数超幾何関数のモノドロミー表現が記述できることも紹介したいと思います。
ハシゴとジグザグの違いは何だろうか?
- 講演者:
- 播磨 尚朝 氏 (神戸大学大学院理学研究科)
- 日時:
- 2014.7.25(金) 17:00-18:00
- 場所:
- 理学部B棟4階 B428−30
Absence of B0*-eigenfunctions for the Schrödinger operator on manifold with ends
- 講演者:
- 伊藤 健一 氏(神戸大学大学院理学研究科)
- 日時:
- 2014.4.16(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428−30
極小モデル理論
- 講演者:
- 田中 公 氏(神戸大学大学院理学研究科)
- 日時:
- 2013.12.4(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428−30
多項式の零点で表される図形が代数多様体ですが、極小モデル理論は代数多様体を分類する為の方法の一つです。その起源は1900年代初頭に発展した代数曲面論にありますが、現在でも活発に研究されています。本講演では極小モデル理論がどのように発展してきたかを概説したいと思っています。時間があれば最近の私の結果についても話したいです。
Absolute Mathematics and Zeta Functions(絶対数学とゼータ関数)
- 講演者:
- 黒川 信重 氏(東京工業大学大学院理工学研究科)
- 日時:
- 2013.12.18(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428−30
絶対数学は一元体上の数学である。本講演では絶対数学におけるゼータ関数論について述べる。それは、これまでのオイラー積を用いるゼータ関数の構成法とはだいぶ異なる。一つの方法は標数pの合同ゼータ関数から「pが1に行く極限」を考えることである。これには、極限移行についての難点があるが、ある種の積分に変形すると扱いやすくなる。関数等式や多重ガンマ関数・多重三角関数との関連にも触れる。
Resolution of singularities; past, present, and future.
- 講演者:
- Kenji Matsuki 氏 (Purdue Univeristy / RIMS, Kyoto)
- 日時:
- 2013.07.08(月) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428−30
Abstract: Just imagine you are standing underneath the roller coaster of an amusement park. Even though its rail goes up and down, sometimes spiraling around, it is smooth everywhere without self-intersections or rugged points. Any intersection would cause an accident if there are two or more roller coasters, and a rugged point would cause derailing if the roller coaster goes at a high speed. On the other hand, if you look at its shadow on the ground, it's full of self-intersections and rugged points, i.e., it is singular. Of course in this case, the smooth object, the rail of the roller coaster, comes first and then follows the singular object, its shadow. But in reality, often the situation is reversed: we are given a singular object first, and then required to construct a smooth object over it. A typical example might be that, given a busy crossing, we construct an overpass to eliminate the traffic jam. In mathematics, the solution set of given equations often has complicated singularities, and we are required to construct a smooth object over it. Differently put, we are required to transform algebraically the given complicated set of equations into a simpler one. This is the problem of resolution of singularities. We start with some easy examples to show how we can resolve the singularities of curves, algebraic varieties of dimension 1. This part has been known from the ancient time, the past. Our main tool for resolution is the operation called 'Blow Up'. We will then discuss how to proceed into higher dimensions. It is the celebrated method of Hironaka, which introduces the inductive scheme on dimension into the game of resolution of singularities in characteristic zero. This method has been so refined now that we have a quite simple algorithm, which can be understood by a bright undergraduate student, thanks to the works of Bierstone-Milman, Villamyor and his collaborators, and Wlodarczyk, among others. This is the present. However, the problem remains unsolved in positive characteristic. I will touch upon our approach in positive characteristic, as much as the time allows, toward the future.
自己相似フラクタル上の熱核の漸近挙動:周期的側面と非周期的側面
- 講演者:
- 梶野 直孝 氏(神戸大学大学院理学研究科)
- 日時:
- 2013.02.06(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428−30
Homotopy exact sequences for fibrations with non-reduced geometric fibers
- 講演者:
- 三井 健太郎 氏 (神戸大学大学院理学研究科)
- 日時:
- 2012.11.07(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428−30
ファイバー束の構造を持つ多様体の基本群の計算に、これまでホモトピー完全系列が用いられてきた。しかし、通常のホモトピー完全系列は楕円曲面など特異ファイバーを持つ射に適用できない。そこで、軌道体(orbifold)をスキームの枠組みで定式化し、一般的な射に適用可能なホモトピー完全系列を構成した。さらに、曲線を粗モジュライにもつ単連結Deligne-Mumfordスタックを分類することで、任意標数体上の楕円曲面に単連結性判定法を与えた。複素解析的な場合、分類はFuchs群に関するFenchel予想の解決により与えられ(Fox、Chau)、判定法は微分幾何学的手法を使って与えられていた(Moishezon)。本研究において数論幾何が如何に応用されるか解説しつつ結果を紹介する。
整数論と密度定理
- 講演者:
- 谷口 隆 氏(神戸大学大学院理学研究科)
- 日時:
- 2012.05.23(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428−30
整数論では素数定理(X以下の素数の個数はだいたいX/log(X)という定理)やディリクレの算術級数定理を始めとして、いろいろな密度定理が知られています。3次体を判別式の順に並べて個数を数えると、主要項が2つあることが示されますが、さらに、等差数列中(算術級数中)で個数を数えると、2番めの主要項に偏りがあらわれることがあります。例えば、7で割って1余るような判別式を持つ3次体は、同じく7で割って2余る3次体よりたくさんあります。講演では、整数論における密度定理の例を振り返りつつ、この3次体の定理の証明(Frank Thorne氏との共同研究)を紹介したいと思います。
安定写像の特異点判定法とその応用
- 講演者:
- 佐治 健太郎 氏(神戸大学大学院理学研究科)
- 日時:
- 2012.04.25(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428−30
量子サイン・ゴルドンモデルに関する最近の話題
- 講演者:
- 神保 道夫 氏 (立教大・理)
- 日時:
- 2011.10.19(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428−30
代数曲線束のスロープと局所不変量
- 講演者:
- 今野 一宏 氏 (阪大・理)
- 日時:
- 2010.12.1(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428−30
モノドロミー保存変形のハミルトニアン
- 講演者:
- 山川 大亮 氏 (神戸大・理)
- 日時:
- 2010.10.22(金) 16:00-17:00
- 場所:
- 理学部B棟 4階 B428-30
ホッジ構造の退化と分類空間のコンパクト化
- 講演者:
- 加藤 和也 氏 (シカゴ大学)
- 日時:
- 2010.7.21(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30
On metrization theorems beyond Bin-Nagata-Smirnov
- 講演者:
- 渕野 昌 氏 (神戸大学大学院システム情報学研究科)
- 日時:
- 2010.7.7(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30
本講演では、locally countably compactな位相空間の距離付け可能性に関する最近の結果と、これらに関連する事柄について解説する。ここで述べることになる結果の多くは、Assaf Rinot(テル・アヴィヴ)、酒井拓史(神戸)、Lajos Soukup(ブダペスト)、薄葉季路(ボン)らとの共同研究で得られたものである。より詳細なアブストラクト、及び、講演の題目の由来については、http://kurt.scitec.kobe-u.ac.jp/~fuchino/misc/abst10-07-07.pdf を参照されたい。
相分離界面と極小曲面の正則性理論について
- 講演者:
- 利根川 吉廣 氏 (北海道大学大学院理学研究院)
- 日時:
- 2010.6.16(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30
拡散界面の曲面積を表すギンズブルグ・ランダウ型エネルギーの特異摂動問題を考える。
エネルギー最小解については、その界面領域が面積最小曲面に収束することが知られており、またエネルギー最小とは限らない不安定的なものも含む停留点については、一般化された極小曲面に収束する事が知られている。この特異摂動問題について、Schoen-Simonの安定的極小曲面の正則性理論(1981)を本質的に改良した最近のWickramasekeraによる正則性理論を用いることにより、安定的な停留点の界面領域は滑らかな極小曲面に収束することが示せた。この問題の一連の背景や道具立てについて説明する。
Young グラフ上の調和関数のMartin積分表示に関連する話
- 講演者:
- 洞 彰人 氏 (名古屋大学大学院多元数理科学研究科)
- 日時:
- 2010.6.2(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30
Youngグラフは対称群の既約表現の制限・誘導の既約分解のしかた(分岐則)を記述する。Youngグラフ上の正規化された非負調和関数と無限対称群の有限型の表現の指標が対応し、それらの端点(極小な存在)はしばしばThoma単体と呼ばれる無限次元の単体によってパラメトライズされる。それはYoungグラフのMartin境界にほかならない。そのThomaパラメータの関数とみなせば、Youngグラフ上の極小調和関数は超対称なSchur関数で与えられる。そしてYoungグラフ上の一般の調和関数は、そのような超対称Schur関数を核にもつ積分表示を有する。このあたりのことをなるべく基礎的なところから始めて確率論的な視点に少し重きを置いて解説する。さらに、B型Weyl群や複素鏡映群を含むようなコンパクト群の無限対称群による環積への拡張に触れる。もとになるコンパクト群が非可換な場合は、その既約表現の次元を反映した多重辺を持つようなYoungグラフの一般化が必要になる。
グレブナー基底理論の実験計画法への応用
- 講演者:
- 青木 敏 氏 (鹿児島大学理学部)
- 日時:
- 2009.12.16(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30
実験計画法は、グレブナー基底の理論が統計学に応用された最初の分野である。歴史的には、1996年にPistoneとWynn によって示された、因子の交絡とイデアル所属問題との対応が最初の結果であり、その後、実験点の集合から導かれるイデアルの性質を代数的に調べることによりさまざまな結果が得られている。本講演では、この分野の研究の考え方の要点を説明し、それに関連した青木、竹村の最近の研究を紹介する。
モノドロミー保存変形と4次元パンルヴェ型方程式
- 講演者:
- 坂井 秀隆 氏 (東京大学大学院数理科学研究科)
- 日時:
- 2009.12.2(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30
2階非線形常微分方程式であるパンルヴェ方程式は、20世紀はじめから研究が始められ、すでに特殊函数としての位置を確立しつつある。いっぽうで、ソリトン方程式の簡約から得られた多くの高階非線形微分方程式が、高階のパンルヴェ方程式と呼ばれているが、これらの理論はほとんど整理されずに残っている。最近になって小池さんの結果で、多くの高階パンルヴェ方程式がガルニエ系の退化の制限として位置づけられることがわかった。それでも、そこにまだ帰着できずに残っているものがいくつかあった。
今回話をさせていただきたいのは、これらの高階パンルヴェ方程式を、モノドロミー保存変形の言葉を使って分類する試みである。その中でとくに、正準方程式の相空間が4次元の場合の分類を説明したい。結論を言うと、フックス型方程式の変形理論から4種類の非線形方程式が得られ、それらの退化から他の方程式が得られる。4種とは、2変数ガルニエ系、藤ー鈴木系、笹野系ともうひとつのおそらく知られていない系の4つである。
ルート系のゼータ関数について
- 講演者:
- 松本 耕二 氏 (名大・多元数理)
- 日時:
- 2009.10.28(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30
ルート系のゼータ関数とは、Witten によって導入された半単純 Lie 環のゼータ関数を多変数化したものであって、多重ゼータ関数の一種と見なされる。Euler-Zagier 型の多重ゼータ関数はルート系のゼータ関数の特別な場合である。ルート系のゼータ関数にまで枠組みを拡げて考えることによって、Euler-Zagier 型の多重ゼータ関数についてもいろいろと理解を深めることができることがわかってきた。こうした研究方向の現状についてお話ししたい。(小森靖氏、津村博文氏との共同研究。)
モーデル・ヴェイユ格子とグレブナ基底
- 講演者:
- 塩田 徹治 氏(立教大学・京都大学数理解析研究所)
- 日時:
- 2009.10.21(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30
モーデル・ヴェイユ格子の基本的なアイディアは、モーデル・ヴェイユ群に良い内積を定義して、格子としてみよう、ということである。楕円曲線の"有理点"全体は、(適当な条件の下に)有限生成なアーベル群(モーデル・ヴェイユ群)をなし、その中の"整点”の全体は有限集合となる(ジーゲルの定理の類似)。
関数体上の楕円曲線の場合は、対応する楕円曲面を用いて、自然な内積(ハイト)とモーデル・ヴェイユ格子の構造が定義される。整点の集合の有限性は、ハイト公式から直ちに従う。
関数体が有理関数体 K=k(t) で、楕円曲線が t の多項式を係数として与えられたとき、上の有限集合は、高次元アファイン空間のイデアルの零点として実現される。これより、タイトルの二つの概念が関係付けられ、整点集合が(原理的には)計算できることになる。
有理楕円曲面のときは、例外型ルート格子 E_8 とモーデル・ヴェイユ格子の理論により、整点集合とそのイデアルの構造が、完全に記述できる。その結果を豊富な実例を交えて紹介する。
p-可除群の同種類をその p-核から最も良く評価するアルゴリズムについて
- 講演者:
- 原下 秀士 氏 (神戸大・理)
- 日時:
- 2009.10.14(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30
正標数の体上の p.-可除群に対し2つの主な普遍量が定義される。一つは同種類(Newton polygon)ともう一つは p-核の同型類である。この講演では、p-可除群に対しその p-核の同型類から Newton polygon を最も良く評価するアルゴリズムを与える。
主偏極付の時は、主偏極アーベル多様体のモジュライ空間の階層構造に関する Oort予想に対応している。今回は主偏極アーベル多様体のモジュライ空間のような良いモジュライ空間が無いが、p-可除群の族を上手く扱うことで同様の結果を得ることが出来るというお話をします。
Functions of finite Dirichlet sums andcompactifications of infinite graphs
- 講演者:
- 加須榮 篤 氏(金沢大学理工研究域数物科学系)
- 日時:
- 2009.7.22(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30
無限グラフ上の指数pのディリクレ和が有限な関数のなす空間とそれに付随するグラフのコンパクト化について、擬等長で不変な性質に視点をおいて議論する。 また倉持境界の例を与え、今後の問題にも触れる。 (この講演は、金沢大学協力研究員服部多恵氏との同じタイトルの共同研究の紹介である。)
置換と整数の分解に共通する確率論的構造
- 講演者:
- 半田 賢司 氏 (佐賀大学理工学部数理科学科)
- 日時:
- 2009.7.8(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30
確率論による解析の対象は多岐にわたり、離散的なものはもちろん無限次元の対象物もごく自然に現れる。ここでは、離散的なものの背後に無限次元の構造を見出すことができる例として、置換のサイクル分解や自然数の素因数分解から Poisson-Dirichlet分布と呼ばれる無限次元確率測度が導かれるという事実とその周辺を紹介する。
非コンパクト多様体上の逆散乱問題
- 講演者:
- 磯崎 洋 氏 (筑波大学大学院数理物質科学研究科数学専攻)
- 日時:
- 2009.7.1(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30
任意のコンパクトな多様体に$N$個の非コンパクトなendを接合した多様体 $\Omega$の上での逆問題を考える。各endは$\Omega_{\infty}=M\times(1,\infty)$、または $\Omega_0=M \times (0,1)$ ($M$ はコンパクトな多様体)に微分同相であり、 $\Omega$の計量は$\Omega_{\infty}$においては$y \to \infty$ のとき $(dy)^2 + h_M(x,dx)$、($h_M(x,dx)$ は $M$ の計量)、或いは $y^{-2}((dy)^2 + h_M(x,dx))$ に漸近し、$\Omega_0$ においては $y \to 0$ のとき $y^{-2}((dy)^2 + h_M(x,dx))$ に漸近するものとする。重要な例として、Waveguide や2次元の双曲多様体があげられる。このような多様体上では$S$行列が考えられる。それは $N\times N$ の行列型の作用素であり、各endの無限遠境界を$M_i$とすれば $L^2(M_i)$から$L^2(M_j)$への有界作用素となっている。このような多様体が2つ与えられ、一つの end に対応するS行列の成分が一致し、 かつそのendが等長であるとする。このとき2つの多様体は全体として等長である。
The RBS compactification: a real stratified space in algebraic geometry
- 講演者:
- Steven Zucker 氏 (Johns Hopkins University)
- 日時:
- 2009.6.3(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
The reductive Borel-Serre compactification of a locally symmetric variety has shown up several times in algebro-geometric contexts, despite the fact that it isn't even a complex space. We will explain how this occurs.
Burgers渦の安定性について
- 講演者:
- 前川 泰則 氏 (神戸大学大学院理学研究科)
- 日時:
- 2009.4.22(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
非圧縮性粘性流体の特殊な定常渦度場であるBurgers渦は、外部の流れによる伸張効果と粘性による拡散効果のバランスを典型的に表すものとして知られている。渦管と呼ばれる流体の局所構造との関連が指摘され、また自己相似解との関わりがあるなど、Burgers渦は物理的・数学的に興味深い性質を持つ渦度場である。本講演では、Burgers渦の安定性に関するこれまでの数学的結果と最近の進展について述べたい。
Distribution of eigenvalues of Hecke operators
- 講演者:
- Nicole Raulf (Université Sciences et Technologies de Lille)
- 日時:
- 2009.2.12(木) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30室
In this talk we will determine the asymptotic behaviour for the eigenvalues of Hecke operators. The operators we work with act on $PSL_2(O)$-invariant functions on the hyperbolic 3-space. Here $O$ denotes the ring of integers of an imaginary quadratic number field. Interest in this area has increased following the work of Taylor on the Sato-Tate conjecture. We modify the setting of the Sato-Tate conjecture and determine the distribution of the eigenvalues of the operator $T_p$ with $p$ being fixed. This is joint work with \"Ozlem Imamoglu.
Remark on the paraproduct and the atomic decomposition
- 講演者:
- 堤 誉志雄 氏(京都大学大学院理学研究科)
- 日時:
- 2008.11.12(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
The paraproduct is a product of functions decomposed dyadically with respect to the Fourier frequencies, which is often used for the estimate of nonlinear function. But, in some cases, it is difficult to verify that a sum of all dyadic blocks appearing in the paraproduct is finite, even though an estimate in question is correct. In this talk, we show that the paraproduct based on the atomic decomposition due to Frazier and Jawerth (1985) and Uchiyama (1982) can help to prove a sharper estimate of nonlinear function.
概均質ベクトル空間(PV)のゼータ関数と代数的整数論
- 講演者:
- 谷口 隆 氏(神戸大学大学院理学研究科)
- 日時:
- 2008.11.5(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
整数論の研究では、さまざまな局面において『ゼータ関数』と呼ばれる複素関数が現れ、その性質を解明することは整数論の大事な問題になっている。概均質ベクトル空間(Prehomogeneous Vector space)と呼ばれるものも、そのようなゼータ関数を生み出す一つのもとであり、例えば新谷卓郎氏により導入された2元3次形式のPVから定まるゼータ関数は、解析的性質が通常のゼータとやや異なる。不思議で謎も多いゼータである。今回の講演では、種々のゼータ関数が整数論とどのように関わってきたかという歴史を振り返りながら、PVのゼータ関数や、PVと例外群との関係などについて紹介したい。
ランダム群
- 講演者:
- 近藤 剛史 氏(神戸大学大学院理学研究科)
- 日時:
- 2008.10.22(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30室
ランダム群とは離散群の集合上の確率測度で、離散群全体の中でどのような性質が典型的に現れるのかを調べたり、新しい群の例を構成したりするために用いられてきた。この講演ではどのようにしてランダム群の性質を調べる事ができるのかについて述べたいと思う。
非可換格子上のIsing模型について
- 講演者:
- 斎藤 恭司 氏(東京大学 数物連携宇宙研究機構(IPMU))
- 日時:
- 2008.7.9(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30室
Gibbs による(熱)統計力学は二次元の(可換)格子模型のとき Ising, Onsager, Baxter, 三輪-神保等により大きく成功し、かなりいろいろな事が計算できるようになっているように見えます。わたくし自身は部外者なのですが、幾何学的動機からその出発点を非可換な格子に置き換えたらどの様になるのか興味を抱いてきました。その方面では意外と知られていることはあまりないようです。この講演では、適当な境界条件の下で分配関数の高温展開の理論を作って見ようと思います。組紐群等のよい場合には、それら分配関数はある種の剰余理論により記述できることを示したいと思います。
確率解析の古い話題再考
- 講演者:
- 池田 信行 氏(大阪大学名誉教授)
- 日時:
- 2008.6.25(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
D. Mumfordは1999年の講演で確率解析的な考えの一つの例として、無限分解可能な確率測度のフーリエ変換の標準形とLevy過程の Levy-Ito表現の対応をあげている。ここでは基礎的な解析の本に出て来るような良く知られた話題から出発して同様な試みを行う。例えば完全単調な系列に関するHausdorffの定理や三角関数のL. Eulerの無限積分解表示を取り上げる。前者は{0,1}の値をとる交換可能な無限確率変数列、後者は2次元Brown運動の軌跡が囲む領域の面積が対応する。それらは、それぞれYoung図形を用いるKingmanグラフの話題、 KdV方程式のソリトン解や指数定理に関する話題等現代的な話につながる。
Intersection theory on the moduli spaces of algebraic curves beyond Witten-Kontsevich
- 講演者:
- 村瀬 元彦 氏(University of California, Davis/京大数理研)
- 日時:
- 2008.4.9(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
A generalization of Hodge structures from oscillating integrals
- 講演者:
- Claus Hertling 氏(Universitat Mannheim)
- 日時:
- 2008.1.30(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
Identities between Appell's and hypergeometric functions
- 講演者:
- Raimundas Vidunas 氏 (神戸大学自然科学系先端融合研究環)
- 日時:
- 2008.1.23(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30室
Univariate specializations of the bivariate Appell functions satisfy linear ordinary differential equations of order at most 4. We investigate the cases when these ordinary differential equations are simple (pullback) transformations of Euler's differential equation for Gauss hypergeometric series. Correspondingly, we find various linear identities between Appell's and Gauss hypergeometric functions.
放物型概均質ベクトル空間の整数論
- 講演者:
- 谷口 隆 氏 (愛媛大学大学院理工学研究科)
- 日時:
- 2007.12.28(金) 15:00-16:00
- 場所:
- 理学部B棟 4階 B428-30室
概均質ベクトル空間(PV)とゼータ関数の理論は、1960年代に佐藤幹夫氏と新谷卓郎氏により創始された。近年の研究で、その中でも放物型と呼ばれるクラスのPVが、整数論的な観点からも他分野との関わりからも特に重要であることが明らかになってきている。この講演では、$G_2$型と呼ばれる放物型PVを例にとり、整数論や表現論・保型形式論との関係について説明する。また今後考えられる発展の方向についても触れたい。
Lie 理論的手法による幾何学的変分問題
- 講演者:
- 酒井 高司 氏 (大阪市立大学大学院理学研究科)
- 日時:
- 2007.12.27(木) 15:00-16:00
- 場所:
- 理学部B棟4階 B428-30室
パラメータ表示による確率過程の極限定理
- 講演者:
- 笠原 勇二 氏 (筑波大学大学院数理物質科学研究科)
- 日時:
- 2007.12.5(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
確率論における各種の極限定理は、(1次元)分布の収束を証明してから次のステップとして確率過程としての収束(関数型極限定理)を示すことが多い。しかし実は、初めから確率過程としての極限を考える方が逆に易しくなる場合もある。今回は、確率過程の見本関数をパラメータ表示することによって得られるタイプの極限定理の手法を紹介する。
拡散過程のエクスカーションと極限定理
- 講演者:
- 矢野 孝次 氏 (神戸大学大学院理学研究科)
- 日時:
- 2007.11.28(水) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
一次元ブラウン運動は原点を出発しても原点に何度も帰って来る再帰性を持つ。その標本路を、原点を出発してから再び原点に戻ってくるまでの道の断片に分け、これらをエクスカッションと呼ぶ。ブラウン運動のエクスカッションの確率的振る舞いは、伊藤清の研究によって、道の空間に値をとるポアソン点過程として特徴付けられることが明らかにされた。
本講演では、拡散過程の極限定理の背後に、エクスカッションの極限定理があることを解説する。また、笠原─渡辺によって近年得られた、極限が退化する場合の揺らぎ極限定理のからくりを、エクスカッションの極限定理によって理解する試みを紹介する。
波動方程式の特異性伝播について
- 講演者:
- 加藤 圭一 氏 (東京理科大学理学部)
- 日時:
- 2007.11.12(月) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30室
波動方程式あるいは一般に双曲型方程式には、初期関数の特異性が時間の経過と共に方程式固有の法則で伝わっていくという現象がある。このことを特異性の伝播と呼ぶ。特異性の伝播の問題は、1960 年代から 1980 年代にかけて線形の方程式に関する研究が、1970 年代後半以降に非線形の方程式に関する研究が行われた。ここでは、波動方程式などのごく簡単な形をしている方程式に限って、特異性伝播の問題を線形方程式の場合と非線形方程式の場合に概観する。また、最近の講演者:によるささやかな寄与についても紹介する。
クーロンポテンシャルに対する固有値問題と完全WKB解析
- 講演者:
- 小池 達也 氏 (神戸大学大学院理学研究科)
- 日時:
- 2007.10.31(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30室
ポテンシャルが球対称であるようなシュレーディンガー方程式の固有値問題は変数分離法により常微分方程式のそれに帰着できる。例えばクーロンポテンシャルの場合はこの方法で固有値や固有関数を求めることができる。一般の球対称なポテンシャルの場合はそのような厳密解は期待できないため、近似法を試みることは一つの自然なアプローチであろう。ところが代表的な近似法の一つである WKB 近似法を適用しようとすると困ったことが起きる。変数分離の際に角運動量項が現われ、その角運動量項の持つ特異性のために WKB 法による解の近似が破綻してしまうのである。今回の講演ではクーロンポテンシャルを例に、この問題が新しい WKB 法である完全 WKB 解析(exact WKB analysis)では極めて自然に扱えることを紹介する。
超平面配置と対数的ベクトル場
- 講演者:
- 吉永 正彦 氏 (神戸大学大学院理学研究科)
- 日時:
- 2007.10.17(水) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30室
ベクトル空間、アフィン空間や射影空間の余次元1の部分空間の集まりを超平面配置とよぶ。与えられた超平面配置から得られる様々な構造や不変量の間の相互関係を調べることが、超平面配置を扱う人々の共通のテーマである。今回は超平面配置から決まる対数的ベクトル場の層の構造について話す。特に、0. 与えられた超平面配置に対して、何が重要な情報なのか?1. 対数的ベクトル場とは何か、それから何がわかるのか?2. 特殊な超平面配置に対して、対数的ベクトル場はどのようにふるまうのか?について紹介したい。さらに時間が許せば、Postnikov-Stanley による「リーマン予想」と呼ばれるルート系の組合せ論に関する予想と、それに対する対数的ベクトル場からのアプローチも紹介したい。
(Arithmetic) quantum chaotic and classical systems: one class of examples
- 講演者:
- Tobias Muehlenbruch 氏 (OIST, 沖縄)
- 日時:
- 2007.6.25(月) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30室
After an introduction to (arithmetic) quantum chaos and hyperbolic surfaces with constant negative curvature $-1$, I present as an explicit example the Maass cusp forms for Hecke triangle groups and present a new connection to the associated classical geodesic "billiard" system. The reason why I put the word "arithmetic" in parentheses is that the Hecke triangle groups are not arithmetic in general but exhibit many "arithmetic" features.
保型形式の周期とL関数の特殊値
- 講演者:
- 市野 篤史 氏 (大阪市立大学)
- 日時:
- 2007.5.7(月) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30室
保型形式の周期とは、代数群上の保型形式を部分代数群上で積分して得られる複素数であり、これらはL関数の特殊値と関係があることが多くの場合に知られている。
本講演では、特殊直交群に対して周期に関する予想(Gross-Prasad予想の精密化)を解説し、時間が許せば(保型表現の重複度に関する)Arthur予想との関連についても述べる。
(京都大学の池田保氏との共同研究)
Loop groups and special submanifolds
- 講演者:
- David Brander 氏 (Kobe University, JSPS)
- 日時:
- 2007.1.15(月) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30室
Many problems from geometry are characterized as the solutions of integrable systems of PDE. They can be formulated conveniently as maps into certain loop groups, which are then subject to general techniques for producing solutions. Examples to which this framework has been applied include harmonic maps from a Riemann surface into a symmetric space, constant mean curvature surfaces in space forms, special Lagrangian surfaces in complex projective space and isometric immersions of space forms. In this talk I will try to give an idea how this works with simple examples.
モデル随伴理論について
- 講演者:
- 桔梗 宏孝 氏 (神戸大学工学部 情報知能工学科)
- 日時:
- 2006.12.04(月) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
数理論理学におけるモデル理論を他の分野に応用する場合、モデル完全な公理系のモデルが使われることが多い。定義可能な集合がわかり易いが、表現力もそこそこある場合が重要なようである。このような公理系はその自然な部分公理系のモデル随伴理論(model companion)となっていることが多い。典型例は体の公理系に対する代数的閉体の公理系である。ただし、与えられた公理系に対しモデル随伴理論がいつもあるとは限らない。これまで他の分野に応用された例を紹介し、また、ある状況におけるモデル随伴理論の存在条件について議論する。
一点穴あきトーラスのSL(2,C)表現とそのエンド不変量
- 講演者:
- 作間 誠 氏 (大阪大学大学院理学研究科)
- 日時:
- 2006.11.20(月) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
Gross-Pitaevskii 方程式の解の時間大域挙動
- 講演者:
- 中西 賢次 氏(京都大学大学院理学研究科)
- 日時:
- 2006.11.13(月) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
数学ソフトウエアの今
- 講演者:
- 高山 信毅 氏(神戸大学理学部数学科)
- 日時:
- 2006.7.18(火) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30室
フリーの数学ソフトウエアおよび文書の集積プロジェクトである knoppix-math やその成果物の DVD の紹介、およびこのプロジェクトへの神戸大学からの寄与を紹介します。
GT admissible varieties
- 講演者:
- 寺杣 友秀 氏(東京大学数理科学研究科)
- 日時:
- 2006.7.10(月) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
射影直線から3点をのぞいた空間の基本群からできるモチーフが整数環上の不分岐な mixed Tate モチーフを生成するという Deligne-Ihara 予想へのアプローチとして、基本群のモチーフから構成的に得られるモチーフを研究することが重要になってくる。Grothendieck-Teichmuller群の表現のアーベル圏を用いて統一的に性質のよいものを構成する手段をテクニカルな部分をのぞいてのべる。
数値流体力学シミュレーションにおける分子流体力学法の提案とその応用
- 講演者:
- 松田 卓也 氏(神戸大学名誉教授)
- 日時:
- 2006.6.26(月) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
流体は多数の分子から構成されている。流体の運動を記述する巨視的な方程式であるナビエ・ストークス方程式は、分子の微視的運動を記述するボルツマン方程式から導くことができる。流体力学の数値シミュレーションにおいて、通常はナビエ・ストークス方程式などの巨視的方程式が用いられる。その解法として有限差分法などの格子法、Smoothed Particle Hydrodynamics(SPH)とよばれる粒子法などが多用されている。
分子の微視的運動を計算機で追跡することは、ボルツマン方程式を解くことと、基本的には同等である。そのような手法としてモンテカルロ直接法(Direct Simulation Monte Carlo method=DSMC)がある。DSMCは工学的には希薄気体の運動をシミュレートするのに使われている。
私はDSMCにある修正をほどこし、希薄気体ではなく連続流体を扱うことができるようにした。この手法を私は分子流体力学 (Molecular Hydrodynamics=MH) と呼んでいる。MHを用いて、ナビエ・ストークス方程式を解くことができる。MHが他の既存の差分法などと大きく異なる点は、
1) 陽的時間積分を行うにもかかわらず、時間刻みの長さに制限がない。通常はクーラン条件で規定される時間刻みがあり、これを超えると不安定になる。
2) モンテカルロ法の特徴として、多数回の計算を行い、そのアンサンブル平均をとることにより、解の精度はいくらでも上がる。
ここでは分子流体力学法をさまざまなテスト問題に適用し、それが実際に有用な手法であることを示す。
パンルヴェ方程式と代数幾何
- 講演者:
- 齋藤 政彦 氏 (神戸大理学部)
- 日時:
- 2006.6.19(月) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
代数的微分方程式は、その一般の解の動く特異点が高々極であるときパンルヴェ性をもつと言われる。微分の階数が2までの時、ポアンカレ、フックス、パンルヴェたちはこのパンルヴェ性をもつ常微分方程式の分類を行った。この講演では、このパンルヴェ性についての代数幾何学的な考察を行い、パンルヴェ性が結果として、初期値空間(相空間)のコンパクト化にある種の制限を付ける事、それが森理論等の極小モデルの理論と関係があることを述べたい。時間が許せば、高階の場合の野海・山田系や、笹野系との関係、またモノドロミー保存変形的な観点との関係と問題点を述べたい。
非線形波動方程式の波数間相互作用と解の正則性
- 講演者:
- 高岡 秀夫 氏(神戸大学理学部)
- 日時:
- 2006.5.29(月) 17:00-18:00
- 場所:
- 自然科学棟3号館 620
二次元結び目のシート数とコサイクル不変量
- 講演者:
- 佐藤 進 氏(神戸大学理学部)
- 日時:
- 2006.4.17(月) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
アンダーソンモデルにおける局在中心の反発について
- 講演者:
- 中野 史彦 氏(高知大学理学部)
- 日時:
- 2005.11.17(木) 17:00-18:00
- 場所:
- 理学部B棟 4階 B428-30室
合同数と志村対応
- 講演者:
- 渡邉 清 氏(神戸大学理学部)
- 日時:
- 2005.10.20(木) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
証明論入門一歩前
- 講演者:
- 新井 敏康 氏(神戸大学大学院自然科学研究科)
- 日時:
- 2005.7.14(木) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
Geometric construction of modular functors from conformal field theory
- 講演者:
- 上野 健爾 氏(京都大学理学研究科)
- 日時:
- 2005.6.23(木) 17:00-18:00
- 場所:
- 理学部B棟4階 B428-30室
With Jorgen E. Andersen we constructed modular functors form conformal field theory. The construction depends heavily on the classical theory of compact Riemann surfaces. From the modular functor we can construct topological quantum field theory (TQFT). We conjecture that our modular functor for sl(n,C) gives the Reshetikhin–Turaev TQFT.
Eight-vertex model form factors at reflectionless points
- 講演者:
- 桑野 泰宏 氏(鈴鹿医療科学大学)
- 日時:
- 2005.6.2(木) 17:00-18:30
- 場所:
- 自然科学棟3号館 620
Scaling limit of successive approximations for w'=-w2 and its consequences on the theories of random sequential bisections
- 講演者:
- 服部 哲弥 氏(東北大学理学研究科)
- 日時:
- 2005.5.26(木) 17:00-18:30
- 場所:
- 自然科学棟3号館 620
トロイダルソリトン方程式の離散化
- 講演者:
- 太田 泰広 氏 (神戸大学大学院自然科学研究科)
- 日時:
- 2003.4.25(金) 17:00-18:00
- 場所:
- 自然科学棟3号館 620
非線形分散型方程式の平滑化効果と初期値問題の適切性
- 講演者:
- 高岡 秀夫 氏 (神戸大学理学部)
- 日時:
- 2002.11.1(金) 16:30-17:30
- 場所:
- 自然科学棟3号館 620
群作用の剛性と不変幾何構造
- 講演者:
- 金井 雅彦 氏 (名古屋大学大学院多元数理科学研究科)
- 日時:
- 2002.1.31(木) 17:00-18:00
- 場所:
- 理学部C棟 401
基本群と数論幾何
- 講演者:
- 玉川 安騎男 氏 (京都大学数理解析研究所)
- 日時:
- 2002.1.17(木) 17:00-18:00
- 場所:
- 理学部C棟 501
非線形波動方程式の時間大域的解析
- 講演者:
- 中西 賢次 氏 (神戸大学理学部)
- 日時:
- 2001.5.14(月) 17:15-18:15
- 場所:
- 理学部C棟 501
Hirota の双線形形式と(離散)Painleve 方程式の特殊解
- 講演者:
- 増田 哲 氏 (神戸大学自然科学研究科)
- 日時:
- 2001.5.11(金) 16:30-17:30
- 場所:
- 理学部C棟 501
特異無限次元表現と古典型有界対称領域におけるPenrose 変換の高次元化
- 講演者:
- 関口 英子 氏 (神戸大学理学部)
- 日時:
- 2001.1.9(火) 17:15-18:15
- 場所:
- 理学部 Y 棟 103
Frobenius manifolds and bihamiltonian geometry
- 講演者:
- Prof. Ezra Getzler (京大数理解析研究所, Northwesten Univ.)
- 日時:
- 2000.2.22(火) 15:00-
- 場所:
- 理学部 C 棟 501
Affine Bernstein Problem
- 講演者:
- Prof. An-Min Li (李 安民) (四川大学)
- 日時:
- 2000.2.21.(月) 15:30-
- 場所:
- 理学部C棟 501
凸なグラフで表されるアファイン極小曲面についてのBernstein型予想 (S.S. Chern 1977) が、最近 2次元のときに(Trudinger-X.J. Wang; A.M. Li)、3次元のときに(A.M. Li)解けたのでその解説。懸案の問題の1つで両者の方法は異なり、Li 氏のものは幾何的。
Symplectic Floer homology の進展について
- 講演者:
- 小野 薫 氏(北海道大学大学院・理学研究科)
- 日時:
- 2000.2.1.(火) 17:00-18:00
- 場所:
- 理学部Y棟 103
符号理論と代数幾何学
- 講演者:
- 桂 利行 氏(東京大学大学院・数理科学研究科)
- 日時:
- 1999.9.13.(月) 17:00-18:00
- 場所:
- 理学部Y棟 103