## Seminar information archive

Seminar information archive ～05/28｜Today's seminar 05/29 | Future seminars 05/30～

### 2009/03/24

#### GCOE lecture series

16:00-17:30 Room #128 (Graduate School of Math. Sci. Bldg.)

The Strominger-Yau-Zaslow conjecture and mirror symmetry via degenerations I

**Mark Gross**(University of California, San Diego)The Strominger-Yau-Zaslow conjecture and mirror symmetry via degenerations I

[ Abstract ]

I will discuss the SYZ conjecture which attempts to explain mirror symmetry via the existence of dual torus fibrations on mirror pairs of Calabi-Yau manifolds. After reviewing some older work on this subject, I will explain how it leads to an algebro-geometric version of this conjecture and will discuss recent work with Bernd Siebert. This recent work gives a mirror construction along with far more detailed information about the B-model side of mirror symmetry, leading to new mirror symmetry predictions.

I will discuss the SYZ conjecture which attempts to explain mirror symmetry via the existence of dual torus fibrations on mirror pairs of Calabi-Yau manifolds. After reviewing some older work on this subject, I will explain how it leads to an algebro-geometric version of this conjecture and will discuss recent work with Bernd Siebert. This recent work gives a mirror construction along with far more detailed information about the B-model side of mirror symmetry, leading to new mirror symmetry predictions.

### 2009/03/21

#### Infinite Analysis Seminar Tokyo

11:00-14:30 Room #117 (Graduate School of Math. Sci. Bldg.)

On classes of transformations for bilinear sum of

(basic) hypergeometric series and multivariate generalizations.

On explicit formulas for Whittaker functions on real semisimple Lie groups

**梶原 康史**(神戸理) 11:00-12:00On classes of transformations for bilinear sum of

(basic) hypergeometric series and multivariate generalizations.

[ Abstract ]

In this talk, I will present classes of bilinear transformation

formulas for basic hypergeometric series and Milne's multivariate

basic hypergeometric series associated with the root system of

type $A$. Our construction is similar to one of elementary

proof of Sears-Whipple transformation formula for terminating

balanced ${}_4 \\phi_3$ series while we use multiple Euler

transformation formula with different dimensions which has

obtained in our previous work.

In this talk, I will present classes of bilinear transformation

formulas for basic hypergeometric series and Milne's multivariate

basic hypergeometric series associated with the root system of

type $A$. Our construction is similar to one of elementary

proof of Sears-Whipple transformation formula for terminating

balanced ${}_4 \\phi_3$ series while we use multiple Euler

transformation formula with different dimensions which has

obtained in our previous work.

**石井 卓**(成蹊大理工) 13:30-14:30On explicit formulas for Whittaker functions on real semisimple Lie groups

[ Abstract ]

will report explicit formulas

for Whittaker functions related to principal series

reprensetations on real semisimple Lie groups $G$ of

classical type.

Our explicit formulas are recursive formulas with

respect to the real rank of $G$, and in some lower rank

cases they are related to generalized

hypergeometric series $ {}_3F_2(1) $ and $ {}_4F_3(1) $.

will report explicit formulas

for Whittaker functions related to principal series

reprensetations on real semisimple Lie groups $G$ of

classical type.

Our explicit formulas are recursive formulas with

respect to the real rank of $G$, and in some lower rank

cases they are related to generalized

hypergeometric series $ {}_3F_2(1) $ and $ {}_4F_3(1) $.

### 2009/03/17

#### GCOE lecture series

10:00-17:30 Room #123 (Graduate School of Math. Sci. Bldg.)

Dirac Cohomology

Enright-Varadarajan modules and harmonic spinors

Harish-Chandra modules

Special unipotent representations of real reductive groups

**Roger Zierau**(Oklahoma State University) 11:00-12:00Dirac Cohomology

**Salah Mehdi**(Metz University) 13:30-14:30Enright-Varadarajan modules and harmonic spinors

**Bernhard Krötz**

(Max Planck Institute) 15:00-16:00Harish-Chandra modules

**Peter Trapa**(Utah) 16:30-17:30Special unipotent representations of real reductive groups

### 2009/03/16

#### GCOE lecture series

10:00-16:20 Room #123 (Graduate School of Math. Sci. Bldg.)

Harish-Chandra modules

https://www.ms.u-tokyo.ac.jp/~toshi/index.files/springschooltokyo200903.html#kroetz

Special unipotent representations of real reductive groups

https://www.ms.u-tokyo.ac.jp/~toshi/index.files/springschooltokyo200903.html#trapa

Dirac Cohomology

https://www.ms.u-tokyo.ac.jp/~toshi/index.files/springschooltokyo200903.html#zierau

Enright-Varadarajan modules and harmonic spinors

https://www.ms.u-tokyo.ac.jp/~toshi/index.files/springschooltokyo200903.html#mehdi

**Bernhard Krötz**

(Max Planck Institute) 10:00-11:00Harish-Chandra modules

[ Abstract ]

We plan to give a course on the various types of topological globalizations of Harish-Chandra modules. It is intended to cover the following topics:

1.Topological representation theory on various types of locally convex vector spaces.

2.Basic algebraic theory of Harish-Chandra modules

3. Unique globalization versus lower bounds for matrix coefficients

4. Dirac type sequences for representations

5. Deformation theory of Harish-Chandra modules

The new material presented was obtained in collaboration with Joseph Bernstein and Henrik Schlichtkrull. A first reference is the recent preprint "Smooth Frechet Globalizations of Harish-Chandra Modules" by J. Bernstein and myself, downloadable at arXiv:0812.1684v1.

[ Reference URL ]We plan to give a course on the various types of topological globalizations of Harish-Chandra modules. It is intended to cover the following topics:

1.Topological representation theory on various types of locally convex vector spaces.

2.Basic algebraic theory of Harish-Chandra modules

3. Unique globalization versus lower bounds for matrix coefficients

4. Dirac type sequences for representations

5. Deformation theory of Harish-Chandra modules

The new material presented was obtained in collaboration with Joseph Bernstein and Henrik Schlichtkrull. A first reference is the recent preprint "Smooth Frechet Globalizations of Harish-Chandra Modules" by J. Bernstein and myself, downloadable at arXiv:0812.1684v1.

https://www.ms.u-tokyo.ac.jp/~toshi/index.files/springschooltokyo200903.html#kroetz

**Peter Trapa**(Utah) 11:15-12:15Special unipotent representations of real reductive groups

[ Abstract ]

These lectures are aimed at beginning graduate students interested in the representation theory of real Lie groups. A familiarity with the theory of compact Lie groups and the basics of Harish-Chandra modules will be assumed. The goal of the lecture series is to give an exposition (with many examples) of the algebraic and geometric theory of special unipotent representations. These representations are of considerable interest; in particular, they are predicted to be the building blocks of all representation which can contribute to spaces of automorphic forms. They admit many beautiful characterizations, but their construction and unitarizability still remain mysterious.

The following topics are planned:

1.Algebraic definition of special unipotent representations and examples.

2.Localization and duality for Harish-Chandra modules.

3. Geometric definition of special unipotent representations.

[ Reference URL ]These lectures are aimed at beginning graduate students interested in the representation theory of real Lie groups. A familiarity with the theory of compact Lie groups and the basics of Harish-Chandra modules will be assumed. The goal of the lecture series is to give an exposition (with many examples) of the algebraic and geometric theory of special unipotent representations. These representations are of considerable interest; in particular, they are predicted to be the building blocks of all representation which can contribute to spaces of automorphic forms. They admit many beautiful characterizations, but their construction and unitarizability still remain mysterious.

The following topics are planned:

1.Algebraic definition of special unipotent representations and examples.

2.Localization and duality for Harish-Chandra modules.

3. Geometric definition of special unipotent representations.

https://www.ms.u-tokyo.ac.jp/~toshi/index.files/springschooltokyo200903.html#trapa

**Roger Zierau**(Oklahoma State University) 13:30-14:30Dirac Cohomology

[ Abstract ]

Dirac operators have played an important role in representation theory. An early example is the construction of discrete series representations as spaces of L2 harmonic spinors on symmetric spaces G/K. More recently a very natural Dirac operator has been discovered by Kostant; it is referred to as the cubic Dirac operator. There are algebraic and geometric versions. Suppose G/H is a reductive homogeneous space and $\\mathfrak g = \\mathfrak h + \\mathfrak q$. Let S\\mathfrak q be the restriction of the spin representation of SO(\\mathfrak q) to H ⊂ SO(\\mathfrak q). The algebraic cubic Dirac operator is an H-homomorphism \\mathcal D: V \\otimes S\\mathfrak q → V \\otimes S\\mathfrak q, where V is an $\\mathfrak g$-module. The geometric geometric version is a differential operator acting on smooth sections of vector bundles of spinors on G/H. The algebraic cubic Dirac operator leads to a notion of Dirac cohomology, generalizing $\\mathfrak n$-cohomology. The lectures will roughly contain the following.

1.Construction of the spin representations of \\widetilde{SO}(n).

2.The algebraic cubic Dirac operator \\mathcal D: V \\otimes S\\mathfrak q → V \\otimes S\\mathfrak q will be defined and some properties, including a formula for the square, will be given.

3. Of special interest is the case when H=K, a maximal compact subgroup of G and V is a unitarizable $(\\mathfrak g,K)$-module. This case will be discussed.

4.The Dirac cohomology of a finite dimensional representation will be computed. We will see how this is related to $\\mathfrak n$-cohomology of V.

5. The relationship between the algebraic and geometric cubic Dirac operators will be described. A couple of open questions will then be discussed.

The lectures will be fairly elementary.

[ Reference URL ]Dirac operators have played an important role in representation theory. An early example is the construction of discrete series representations as spaces of L2 harmonic spinors on symmetric spaces G/K. More recently a very natural Dirac operator has been discovered by Kostant; it is referred to as the cubic Dirac operator. There are algebraic and geometric versions. Suppose G/H is a reductive homogeneous space and $\\mathfrak g = \\mathfrak h + \\mathfrak q$. Let S\\mathfrak q be the restriction of the spin representation of SO(\\mathfrak q) to H ⊂ SO(\\mathfrak q). The algebraic cubic Dirac operator is an H-homomorphism \\mathcal D: V \\otimes S\\mathfrak q → V \\otimes S\\mathfrak q, where V is an $\\mathfrak g$-module. The geometric geometric version is a differential operator acting on smooth sections of vector bundles of spinors on G/H. The algebraic cubic Dirac operator leads to a notion of Dirac cohomology, generalizing $\\mathfrak n$-cohomology. The lectures will roughly contain the following.

1.Construction of the spin representations of \\widetilde{SO}(n).

2.The algebraic cubic Dirac operator \\mathcal D: V \\otimes S\\mathfrak q → V \\otimes S\\mathfrak q will be defined and some properties, including a formula for the square, will be given.

3. Of special interest is the case when H=K, a maximal compact subgroup of G and V is a unitarizable $(\\mathfrak g,K)$-module. This case will be discussed.

4.The Dirac cohomology of a finite dimensional representation will be computed. We will see how this is related to $\\mathfrak n$-cohomology of V.

5. The relationship between the algebraic and geometric cubic Dirac operators will be described. A couple of open questions will then be discussed.

The lectures will be fairly elementary.

https://www.ms.u-tokyo.ac.jp/~toshi/index.files/springschooltokyo200903.html#zierau

**Salah Mehdi**(Metz University) 15:20-16:20Enright-Varadarajan modules and harmonic spinors

[ Abstract ]

The aim of these lectures is twofold. First we would like to describe the construction of the Enright-Varadarajan modules which provide a nice algebraic characterization of discrete series representations. This construction uses several important tools of representations theory.

Then we shall use the Enright-Varadarajan modules to define a product for harmonic spinors on homogeneous spaces.

[ Reference URL ]The aim of these lectures is twofold. First we would like to describe the construction of the Enright-Varadarajan modules which provide a nice algebraic characterization of discrete series representations. This construction uses several important tools of representations theory.

Then we shall use the Enright-Varadarajan modules to define a product for harmonic spinors on homogeneous spaces.

https://www.ms.u-tokyo.ac.jp/~toshi/index.files/springschooltokyo200903.html#mehdi

### 2009/03/14

#### GCOE lecture series

09:00-14:00 Room #123 (Graduate School of Math. Sci. Bldg.)

Dirac cohomology

Enright-Varadarajan modules and harmonic spinors

Harish-Chandra modules

Special unipotent representations of real reductive groups

**Roger Zierau**(Oklahoma State University) 09:00-10:00Dirac cohomology

**Salah Mehdi**(Metz University) 10:15-11:15Enright-Varadarajan modules and harmonic spinors

**Bernhard Krötz**(Max Planck Institute) 11:45-12:45Harish-Chandra modules

**Peter Trapa**(Utah University) 13:00-14:00Special unipotent representations of real reductive groups

### 2009/03/13

#### GCOE lecture series

09:30-16:30 Room #123 (Graduate School of Math. Sci. Bldg.)

Enright-Varadarajan modules and harmonic spinors

Special unipotent representations of real reductive groups

Harish-Chandra modules

Dirac Cohomology

**Salah Mehdi**(Metz) 09:30-10:30Enright-Varadarajan modules and harmonic spinors

[ Abstract ]

The aim of these lectures is twofold. First we would like to describe the construction of the Enright-Varadarajan modules which provide a nice algebraic characterization of discrete series representations. This construction uses several important tools of representations theory. Then we shall use the Enright-Varadarajan modules to define a product for harmonic spinors on homogeneous spaces.

The aim of these lectures is twofold. First we would like to describe the construction of the Enright-Varadarajan modules which provide a nice algebraic characterization of discrete series representations. This construction uses several important tools of representations theory. Then we shall use the Enright-Varadarajan modules to define a product for harmonic spinors on homogeneous spaces.

**Peter Trapa**(Utah) 11:00-12:00Special unipotent representations of real reductive groups

**Bernhard Krötz**

(Max Planck Institute) 13:30-14:30Harish-Chandra modules

**Roger Zierau**(Oklahoma State University) 15:00-16:00Dirac Cohomology

### 2009/03/12

#### Colloquium

15:00-17:30 Room #050 (Graduate School of Math. Sci. Bldg.)

数値解析:得られた成果と残された課題

正標数の世界に40年

**菊地文雄**(東京大学大学院数理科学研究科) 15:00-16:00数値解析:得られた成果と残された課題

[ Abstract ]

有限要素法を中心とする偏微分方程式の数値計算と数値解析に従事して長い歳月を経た。その間に偏微分方程式としては、Poisson方程式、弾性論のCauchy-Navierの方程式、非圧縮流体のStokes方程式、平板の曲げに対する重調和方程式やReissner-Mindlinの方程式、電磁気学のMaxwell方程式、プラズマ平衡のGrad-Shafranov方程式などを扱ってきたが、得られた成果もかなりある反面、残された課題も多いと思う。定年退職にあたり、少々整理と総括をしておきたい。

有限要素法を中心とする偏微分方程式の数値計算と数値解析に従事して長い歳月を経た。その間に偏微分方程式としては、Poisson方程式、弾性論のCauchy-Navierの方程式、非圧縮流体のStokes方程式、平板の曲げに対する重調和方程式やReissner-Mindlinの方程式、電磁気学のMaxwell方程式、プラズマ平衡のGrad-Shafranov方程式などを扱ってきたが、得られた成果もかなりある反面、残された課題も多いと思う。定年退職にあたり、少々整理と総括をしておきたい。

**桂 利行**(東京大学大学院数理科学研究科) 16:30-17:30正標数の世界に40年

[ Abstract ]

正標数における代数幾何学には、標数0の場合とは異なる特有の現象がある。1950年代には、これらは病理的現象として捉えられ、研究している人の数も少なかった。現在では、特有の現象を扱うための手段がかなり整備され、正標数の様々な対象に対して興味ある現象が解析されている。代数多様体の単有理性、野性的ファイバーの問題、正標数特有のサイクルの構造等、これまで正標数の世界で行ってきた研究を中心に思い出を交えてお話ししたい。

正標数における代数幾何学には、標数0の場合とは異なる特有の現象がある。1950年代には、これらは病理的現象として捉えられ、研究している人の数も少なかった。現在では、特有の現象を扱うための手段がかなり整備され、正標数の様々な対象に対して興味ある現象が解析されている。代数多様体の単有理性、野性的ファイバーの問題、正標数特有のサイクルの構造等、これまで正標数の世界で行ってきた研究を中心に思い出を交えてお話ししたい。

#### GCOE lecture series

09:30-14:30 Room #123 (Graduate School of Math. Sci. Bldg.)

Dirac Cohomology

https://www.ms.u-tokyo.ac.jp/~toshi/seminar/ut-seminar.html

Harish-Chandra modules

Special unipotent representations of real reductive groups

**Roger Zierau**(Oklahoma State University) 09:30-10:30Dirac Cohomology

[ Abstract ]

Dirac operators have played an important role in representation theory. An early example is the construction of discrete series representations as spaces of L2 harmonic spinors on symmetric spaces G/K. More recently a very natural Dirac operator has been discovered by Kostant; it is referred to as the cubic Dirac operator. There are algebraic and geometric versions. Suppose G/H is a reductive homogeneous space and $\\mathfrak g = \\mathfrak h + \\mathfrak q$. Let S\\mathfrak q be the restriction of the spin representation of SO(\\mathfrak q) to H ⊂ SO(\\mathfrak q). The algebraic cubic Dirac operator is an H-homomorphism \\mathcal D: V \\otimes S\\mathfrak q → V \\otimes S\\mathfrak q, where V is an $\\mathfrak g$-module. The geometric geometric version is a differential operator acting on smooth sections of vector bundles of spinors on G/H. The algebraic cubic Dirac operator leads to a notion of Dirac cohomology, generalizing $\\mathfrak n$-cohomology. The lectures will roughly contain the following.

1.Construction of the spin representations of \\widetilde{SO}(n).

2.The algebraic cubic Dirac operator \\mathcal D: V \\otimes S\\mathfrak q → V \\otimes S\\mathfrak q will be defined and some properties, including a formula for the square, will be given.

3. Of special interest is the case when H=K, a maximal compact subgroup of G and V is a unitarizable $(\\mathfrak g,K)$-module. This case will be discussed.

4.The Dirac cohomology of a finite dimensional representation will be computed. We will see how this is related to $\\mathfrak n$-cohomology of V.

5. The relationship between the algebraic and geometric cubic Dirac operators will be described. A couple of open questions will then be discussed.

The lectures will be fairly elementary.

[ Reference URL ]Dirac operators have played an important role in representation theory. An early example is the construction of discrete series representations as spaces of L2 harmonic spinors on symmetric spaces G/K. More recently a very natural Dirac operator has been discovered by Kostant; it is referred to as the cubic Dirac operator. There are algebraic and geometric versions. Suppose G/H is a reductive homogeneous space and $\\mathfrak g = \\mathfrak h + \\mathfrak q$. Let S\\mathfrak q be the restriction of the spin representation of SO(\\mathfrak q) to H ⊂ SO(\\mathfrak q). The algebraic cubic Dirac operator is an H-homomorphism \\mathcal D: V \\otimes S\\mathfrak q → V \\otimes S\\mathfrak q, where V is an $\\mathfrak g$-module. The geometric geometric version is a differential operator acting on smooth sections of vector bundles of spinors on G/H. The algebraic cubic Dirac operator leads to a notion of Dirac cohomology, generalizing $\\mathfrak n$-cohomology. The lectures will roughly contain the following.

1.Construction of the spin representations of \\widetilde{SO}(n).

2.The algebraic cubic Dirac operator \\mathcal D: V \\otimes S\\mathfrak q → V \\otimes S\\mathfrak q will be defined and some properties, including a formula for the square, will be given.

3. Of special interest is the case when H=K, a maximal compact subgroup of G and V is a unitarizable $(\\mathfrak g,K)$-module. This case will be discussed.

4.The Dirac cohomology of a finite dimensional representation will be computed. We will see how this is related to $\\mathfrak n$-cohomology of V.

5. The relationship between the algebraic and geometric cubic Dirac operators will be described. A couple of open questions will then be discussed.

The lectures will be fairly elementary.

https://www.ms.u-tokyo.ac.jp/~toshi/seminar/ut-seminar.html

**Bernhard Krötz**(Max Planck) 11:00-12:00Harish-Chandra modules

[ Abstract ]

We plan to give a course on the various types of topological globalizations of Harish-Chandra modules. It is intended to cover the following topics:

1.Topological representation theory on various types of locally convex vector spaces.

2.Basic algebraic theory of Harish-Chandra modules

3. Unique globalization versus lower bounds for matrix coefficients

4. Dirac type sequences for representations

5. Deformation theory of Harish-Chandra modules

The new material presented was obtained in collaboration with Joseph Bernstein and Henrik Schlichtkrull. A first reference is the recent preprint "Smooth Frechet Globalizations of Harish-Chandra Modules" by J. Bernstein and myself, downloadable at arXiv:0812.1684v1.

We plan to give a course on the various types of topological globalizations of Harish-Chandra modules. It is intended to cover the following topics:

1.Topological representation theory on various types of locally convex vector spaces.

2.Basic algebraic theory of Harish-Chandra modules

3. Unique globalization versus lower bounds for matrix coefficients

4. Dirac type sequences for representations

5. Deformation theory of Harish-Chandra modules

The new material presented was obtained in collaboration with Joseph Bernstein and Henrik Schlichtkrull. A first reference is the recent preprint "Smooth Frechet Globalizations of Harish-Chandra Modules" by J. Bernstein and myself, downloadable at arXiv:0812.1684v1.

**Peter Trapa**(Utah大学) 13:30-14:30Special unipotent representations of real reductive groups

[ Abstract ]

These lectures are aimed at beginning graduate students interested in the representation theory of real Lie groups. A familiarity with the theory of compact Lie groups and the basics of Harish-Chandra modules will be assumed. The goal of the lecture series is to give an exposition (with many examples) of the algebraic and geometric theory of special unipotent representations. These representations are of considerable interest; in particular, they are predicted to be the building blocks of all representation which can contribute to spaces of automorphic forms. They admit many beautiful characterizations, but their construction and unitarizability still remain mysterious.

The following topics are planned:

1.Algebraic definition of special unipotent representations and examples.

2.Localization and duality for Harish-Chandra modules.

3. Geometric definition of special unipotent representations.

These lectures are aimed at beginning graduate students interested in the representation theory of real Lie groups. A familiarity with the theory of compact Lie groups and the basics of Harish-Chandra modules will be assumed. The goal of the lecture series is to give an exposition (with many examples) of the algebraic and geometric theory of special unipotent representations. These representations are of considerable interest; in particular, they are predicted to be the building blocks of all representation which can contribute to spaces of automorphic forms. They admit many beautiful characterizations, but their construction and unitarizability still remain mysterious.

The following topics are planned:

1.Algebraic definition of special unipotent representations and examples.

2.Localization and duality for Harish-Chandra modules.

3. Geometric definition of special unipotent representations.

### 2009/03/05

#### Tuesday Seminar on Topology

16:30-18:00 Room #056 (Graduate School of Math. Sci. Bldg.)

Extending surface automorphisms over 4-space

**Shicheng Wang**(Peking University)Extending surface automorphisms over 4-space

[ Abstract ]

Let $e: M^p\\to R^{p+2}$ be a co-dimensional 2 smooth embedding

from a closed orientable manifold to the Euclidean space and $E_e$ be the subgroup of ${\\cal M}_M$, the mapping class group

of $M$, whose elements extend over $R^{p+2}$ as self-diffeomorphisms. Then there is a spin structure

on $M$ derived from the embedding which is preserved by each $\\tau \\in E_e$.

Some applications: (1) the index $[{\\cal M}_{F_g}:E_e]\\geq 2^{2g-1}+2^{g-1}$ for any embedding $e:F_g\\to R^4$, where $F_g$

is the surface of genus $g$. (2) $[{\\cal M}_{T^p}:E_e]\\geq 2^p-1$ for any unknotted embedding

$e:T^p\\to R^{p+2}$, where $T^p$ is the $p$-dimensional torus. Those two lower bounds are known to be sharp.

This is a joint work of Ding-Liu-Wang-Yao.

Let $e: M^p\\to R^{p+2}$ be a co-dimensional 2 smooth embedding

from a closed orientable manifold to the Euclidean space and $E_e$ be the subgroup of ${\\cal M}_M$, the mapping class group

of $M$, whose elements extend over $R^{p+2}$ as self-diffeomorphisms. Then there is a spin structure

on $M$ derived from the embedding which is preserved by each $\\tau \\in E_e$.

Some applications: (1) the index $[{\\cal M}_{F_g}:E_e]\\geq 2^{2g-1}+2^{g-1}$ for any embedding $e:F_g\\to R^4$, where $F_g$

is the surface of genus $g$. (2) $[{\\cal M}_{T^p}:E_e]\\geq 2^p-1$ for any unknotted embedding

$e:T^p\\to R^{p+2}$, where $T^p$ is the $p$-dimensional torus. Those two lower bounds are known to be sharp.

This is a joint work of Ding-Liu-Wang-Yao.

#### GCOE Seminars

10:15-11:15 Room #270 (Graduate School of Math. Sci. Bldg.)

Carleman type estimates with two large parameters and applications to elasticity theory woth residual stress

**V. Isakov**(Wichita State Univ.)Carleman type estimates with two large parameters and applications to elasticity theory woth residual stress

[ Abstract ]

We give Carleman estimates with two large parameters for general second order partial differential operators with real-valued coefficients.

We outline proofs based on differential quadratic forms and Fourier analysis. As an application, we give Carleman estimates for (anisotropic)elasticity system with residual stress and discuss applications to control theory and inverse problems.

We give Carleman estimates with two large parameters for general second order partial differential operators with real-valued coefficients.

We outline proofs based on differential quadratic forms and Fourier analysis. As an application, we give Carleman estimates for (anisotropic)elasticity system with residual stress and discuss applications to control theory and inverse problems.

#### GCOE Seminars

11:15-12:15 Room #270 (Graduate School of Math. Sci. Bldg.)

Determining moving boundaries from Cauchy data on remote surfaces

**J. Ralston**(UCLA)Determining moving boundaries from Cauchy data on remote surfaces

[ Abstract ]

We consider wave equations in domains with time-dependent boundaries (moving obstacles) contained in a fixed cylinder for all time. We give sufficient conditions for the determination of the moving boundary from the Cauchy data on part of the boundary of the cylinder. We also study the related problem of reachability of the moving boundary by time-like curves from the boundary of the cylinder.

We consider wave equations in domains with time-dependent boundaries (moving obstacles) contained in a fixed cylinder for all time. We give sufficient conditions for the determination of the moving boundary from the Cauchy data on part of the boundary of the cylinder. We also study the related problem of reachability of the moving boundary by time-like curves from the boundary of the cylinder.

### 2009/03/04

#### GCOE Seminars

15:00-16:00 Room #270 (Graduate School of Math. Sci. Bldg.)

Probing for inclusions for the heat equation with complex

spherical waves

**P. Gaitan (with H. Isozaki and O. Poisson)**(Univ. Marseille)Probing for inclusions for the heat equation with complex

spherical waves

#### GCOE Seminars

16:15-17:15 Room #270 (Graduate School of Math. Sci. Bldg.)

Coefficient reconstruction from partial measurements in a heterogeneous

equation of FKPP type

[ Reference URL ]

https://www.ms.u-tokyo.ac.jp/gcoe/activity/documents/abstractTokyo.pdf

**M. Cristofol**(Univ. Marseille)Coefficient reconstruction from partial measurements in a heterogeneous

equation of FKPP type

[ Reference URL ]

https://www.ms.u-tokyo.ac.jp/gcoe/activity/documents/abstractTokyo.pdf

### 2009/03/03

#### GCOE Seminars

16:15-17:15 Room #270 (Graduate School of Math. Sci. Bldg.)

Carleman estimates for the heat equation with discontinuous diffusion coefficients and applications

**O. Poisson**(Univ. Marseille)Carleman estimates for the heat equation with discontinuous diffusion coefficients and applications

[ Abstract ]

We consider a heat equation in a bounded domain. We assume that the coefficient depends on the spatial variable and admits a discontinuity across an interface. We prove a Carleman estimate for the solution of the above heat equation without assumptions on signs of the jump of the coefficient.

We consider a heat equation in a bounded domain. We assume that the coefficient depends on the spatial variable and admits a discontinuity across an interface. We prove a Carleman estimate for the solution of the above heat equation without assumptions on signs of the jump of the coefficient.

#### GCOE Seminars

15:00-16:00 Room #270 (Graduate School of Math. Sci. Bldg.)

Controllability of the heat equation in a stratified media : a consequence of its spectral structure.

[ Reference URL ]

https://www.ms.u-tokyo.ac.jp/gcoe/activity/documents/DermenjianTokyo2009.pdf

**Y. Dermenjian**(Univ. Marseille)Controllability of the heat equation in a stratified media : a consequence of its spectral structure.

[ Reference URL ]

https://www.ms.u-tokyo.ac.jp/gcoe/activity/documents/DermenjianTokyo2009.pdf

### 2009/03/02

#### GCOE Seminars

15:00-16:00 Room #270 (Graduate School of Math. Sci. Bldg.)

Convergence rates for nonlinear ill-posed problems based on variational inequalities expressing source conditions

https://www.ms.u-tokyo.ac.jp/gcoe/activity/documents/hofmann.pdf

**Bernd Hofmann**(Chemnitz University of Technology)Convergence rates for nonlinear ill-posed problems based on variational inequalities expressing source conditions

[ Abstract ]

Twenty years ago Engl, Kunisch and Neubauer presented the fundamentals of a systematic theory for convergence rates in Tikhonov regularization

[ Reference URL ]Twenty years ago Engl, Kunisch and Neubauer presented the fundamentals of a systematic theory for convergence rates in Tikhonov regularization

https://www.ms.u-tokyo.ac.jp/gcoe/activity/documents/hofmann.pdf

### 2009/02/26

#### Lectures

17:00-18:30 Room #270 (Graduate School of Math. Sci. Bldg.)

Introduction to Coherent Risk Measure

**Freddy DELBAEN**(チューリッヒ工科大学名誉教授)Introduction to Coherent Risk Measure

#### GCOE Seminars

15:00-16:00 Room #470 (Graduate School of Math. Sci. Bldg.)

Reconstruction of biological tissue conductivity by MREIT technique

**Jijun Liu**(Southeast University, P.R.China)Reconstruction of biological tissue conductivity by MREIT technique

[ Abstract ]

Magnetic resonance electrical impedance tomography (MREIT) is a new technique in medical imaging, which aims to provide electrical conductivity images of biological tissue. Compared with the traditional electrical impedance tomography (EIT)model, MREIT reconstructs the interior conductivity from the deduced magnetic field information inside the tissue. Since the late 1990s, MREIT imaging techniques have made significant progress experimentally and numerically. However, the theoretical analysis on the MREIT algorithms is still at the initial stage. In this talk, we will give a state of the art of the MREIT technique and to concern the convergence property as well as the numerical implementation of harmonic B_z algorithm and nonlinear integral equation algorithm. We present some late advances in the convergence issues of MREIT algorithm. Some open problems related to the noisy effects and the numerical implementations are also given.

Magnetic resonance electrical impedance tomography (MREIT) is a new technique in medical imaging, which aims to provide electrical conductivity images of biological tissue. Compared with the traditional electrical impedance tomography (EIT)model, MREIT reconstructs the interior conductivity from the deduced magnetic field information inside the tissue. Since the late 1990s, MREIT imaging techniques have made significant progress experimentally and numerically. However, the theoretical analysis on the MREIT algorithms is still at the initial stage. In this talk, we will give a state of the art of the MREIT technique and to concern the convergence property as well as the numerical implementation of harmonic B_z algorithm and nonlinear integral equation algorithm. We present some late advances in the convergence issues of MREIT algorithm. Some open problems related to the noisy effects and the numerical implementations are also given.

### 2009/02/24

#### Colloquium

16:00-17:00 Room #002 (Graduate School of Math. Sci. Bldg.)

相関関数の構成要素

**神保道夫**(東京大学大学院数理科学研究科)相関関数の構成要素

[ Abstract ]

2次元の可積分な格子模型や、それと等価な1次元量子スピンチェインは、ベーテ、オンサーガー以来多くの研究が重ねられ、詳細に調べられている。ハミルトニアンのスペクトルと並ぶ重要な物理量に相関関数がある。イジング模型や共形場理論では相関関数自身が微分方程式で特徴づけられるがこのような簡明な結果はそれ以外の場合には知られていない。イジング模型を超える代表的な例として1次元のXXZ模型がある。相関関数は多重積分であらわされ、その長距離漸近挙動の研究が近年フランスのグループにより大きく進展している。

講演の前半では、相関関数に焦点をあててこれまでの研究の歴史を概観する。結合定数や温度などのパラメータの関数として見た場合、相関関数は2つの要素的超越関数から原理的には有理的に決まっていることがわかる。後半ではこの話題を紹介したい。

2次元の可積分な格子模型や、それと等価な1次元量子スピンチェインは、ベーテ、オンサーガー以来多くの研究が重ねられ、詳細に調べられている。ハミルトニアンのスペクトルと並ぶ重要な物理量に相関関数がある。イジング模型や共形場理論では相関関数自身が微分方程式で特徴づけられるがこのような簡明な結果はそれ以外の場合には知られていない。イジング模型を超える代表的な例として1次元のXXZ模型がある。相関関数は多重積分であらわされ、その長距離漸近挙動の研究が近年フランスのグループにより大きく進展している。

講演の前半では、相関関数に焦点をあててこれまでの研究の歴史を概観する。結合定数や温度などのパラメータの関数として見た場合、相関関数は2つの要素的超越関数から原理的には有理的に決まっていることがわかる。後半ではこの話題を紹介したい。

### 2009/02/23

#### Lectures

13:30-14:30 Room #123 (Graduate School of Math. Sci. Bldg.)

TBA

**長田 博文**(九大数理)TBA

#### Lectures

14:40-16:10 Room #123 (Graduate School of Math. Sci. Bldg.)

Some problems from Statistical Mechanics linked to matrix-valued

Brownian motion

**Herbert Spohn**(ミュンヘン工科大学)Some problems from Statistical Mechanics linked to matrix-valued

Brownian motion

#### Lectures

16:20-17:50 Room #123 (Graduate School of Math. Sci. Bldg.)

Macroscopic energy transport: a weak coupling approach

**Stefano Olla**(パリ第9大学)Macroscopic energy transport: a weak coupling approach

### 2009/02/19

#### Lectures

17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)

Introduction to Coherent Risk Measure

**Freddy DELBAEN**(チューリッヒ工科大学名誉教授)Introduction to Coherent Risk Measure

#### Algebraic Geometry Seminar

15:50-18:00 Room #128 (Graduate School of Math. Sci. Bldg.)

・Linear Systems on Rational Surfaces; Applications (15:50--16: 50)

・Some Applications of Model Theory in Algebraic Geometry (17:00 --18:00)

**O. F. Pasarescu**(Romanian Academy)・Linear Systems on Rational Surfaces; Applications (15:50--16: 50)

・Some Applications of Model Theory in Algebraic Geometry (17:00 --18:00)

### 2009/02/18

#### Seminar on Mathematics for various disciplines

10:30-11:30 Room #056 (Graduate School of Math. Sci. Bldg.)

Non-existence theorem of periodic solutions except out-of-phase

and in-phase solutions in the coupled van der Pol equation system

**野原勉**(武蔵工業大学)Non-existence theorem of periodic solutions except out-of-phase

and in-phase solutions in the coupled van der Pol equation system

[ Abstract ]

We consider the periodic solutions of the coupled van der Pol equation system $\\Sigma$, which is quite different from the ordinary van der Pol equation. We show the necessary and sufficient condition for the periodic solutions of $\\Sigma$. Non-existence theorem of periodic solutions except out-of-phase and in-phase solutions in $\\Sigma$ is presented.

We consider the periodic solutions of the coupled van der Pol equation system $\\Sigma$, which is quite different from the ordinary van der Pol equation. We show the necessary and sufficient condition for the periodic solutions of $\\Sigma$. Non-existence theorem of periodic solutions except out-of-phase and in-phase solutions in $\\Sigma$ is presented.

< Previous 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187 Next >