## Seminar information archive

#### Seminar on Geometric Complex Analysis

10:30-12:00   Room #128 (Graduate School of Math. Sci. Bldg.)
Atusi Yamamori (Meiji University)
On the Forelli-Rudin construction and explicit formulas of the Bergman kernels (JAPANESE)

### 2011/05/26

#### Applied Analysis

16:00-17:30   Room #128 (Graduate School of Math. Sci. Bldg.)
Takeshi Fukao (Kyoto University of Education)
Obstacle problem of Navier-Stokes equations in thermohydraulics (JAPANESE)
[ Abstract ]
In this talk, we consider the well-posedness of a variational inequality for the Navier-Stokes equations in 2 or 3 space dimension with time dependent constraints. This problem is motivated by an initial-boundary value problem for a thermohydraulics model. The velocity field is constrained by a prescribed function,
depending on the space and time variables, so this is called the obstacle problem. The abstract theory of nonlinear evolution equations governed by subdifferentials of time dependent convex functionals is quite useful for showing their well-posedness. In their mathematical treatment one of the key is to specify the class of time-dependence of convex functionals. We shall discuss the existence and uniqueness questions for Navier-Stokes variational inequalities, in which a bounded constraint is imposed on the velocity field, in higher space dimensions. Especially, the uniqueness of a solution is due to the advantage of the prescribed constraint to the velocity fields.

### 2011/05/25

#### Number Theory Seminar

17:00-18:00   Room #056 (Graduate School of Math. Sci. Bldg.)
Yuya Matsumoto (University of Tokyo)
On good reduction of some K3 surfaces (JAPANESE)

### 2011/05/24

#### Numerical Analysis Seminar

16:30-18:00   Room #002 (Graduate School of Math. Sci. Bldg.)
Daisuke Murai (Nagoya University)
Error analysis of a solution to topology optimization problem of density type
(JAPANESE)
[ Reference URL ]
http://www.infsup.jp/utnas/

#### Tuesday Seminar on Topology

16:30-18:00   Room #056 (Graduate School of Math. Sci. Bldg.)
Masahiko Yoshinaga (Kyoto University)
Minimal Stratifications for Line Arrangements (JAPANESE)
[ Abstract ]
The homotopy type of complements of complex
hyperplane arrangements have a special property,
so called minimality (Dimca-Papadima and Randell,
around 2000). Since then several approaches based
on (continuous, discrete) Morse theory have appeared.
In this talk, we introduce the "dual" object, which we
call minimal stratification for real two dimensional cases.
A merit is that the minimal stratification can be explicitly
described in terms of semi-algebraic sets.
We also see associated presentation of the fundamental group.

#### Lie Groups and Representation Theory

16:30-18:00   Room #126 (Graduate School of Math. Sci. Bldg.)
Jun-ichi Mukuno (Nagoya University)
Properly discontinuous isometric group actions on inhomogeneous Lorentzian manifolds (JAPANESE)
[ Abstract ]
If a homogeneous space $G/H$ is acted properly discontinuously
upon by a subgroup $\\Gamma$ of $G$ via the left action, the quotient space $\\Gamma \\backslash G/H$ is called a
Clifford--Klein form. In 1962, E. Calabi and L. Markus proved that there is no infinite subgroup of the Lorentz group $O(n+1, 1)$ whose left action on the de Sitter space $O(n+1, 1)/O(n, 1)$ is properly discontinuous.
It follows that a compact Clifford--Klein form of the de Sitter space never exists.
In this talk, we present a new extension of the theorem of E. Calabi and L. Markus to a certain class of Lorentzian manifolds that are not necessarily homogeneous.

#### thesis presentations

13:15-14:30   Room #128 (Graduate School of Math. Sci. Bldg.)
Koichiro TAKAOKA (Graduate School of Mathematical Sciences University of Tokyo)
Martingale theory (JAPANESE)

### 2011/05/23

#### Algebraic Geometry Seminar

17:00-18:30   Room #126 (Graduate School of Math. Sci. Bldg.)
Yuji Sano (Kumamoto University)
Alpha invariant and K-stability of Fano varieties (JAPANESE)
[ Abstract ]
From the results of Tian, it is proved that the lower bounds of alpha invariant implies K-stability of Fano manifolds via the existence of Kähler-Einstein metrics. In this talk, I will give a direct proof of this relation in algebro-geometric way without using Kähler-Einstein metrics. This is joint work with Yuji Odaka (RIMS).

### 2011/05/19

#### Applied Analysis

16:00-17:30   Room #128 (Graduate School of Math. Sci. Bldg.)
Shingo Ito (Tokyo University of Science)
Wave front set defined by wave packet transform and its application (JAPANESE)

### 2011/05/18

#### Seminar on Mathematics for various disciplines

10:30-11:30   Room #056 (Graduate School of Math. Sci. Bldg.)
Yohei Kashima (University of Tokyo)
On the perturbation theory for many-electron systems at positive temperature (JAPANESE)
[ Reference URL ]
http://info.ms.u-tokyo.ac.jp/seminar/mathvar/future.html

#### Number Theory Seminar

16:30-17:30   Room #056 (Graduate School of Math. Sci. Bldg.)
Masaki Nishimoto (University of Tokyo)
On the linear independence of values of some Dirichlet series (JAPANESE)

### 2011/05/17

#### Tuesday Seminar on Topology

16:30-18:00   Room #056 (Graduate School of Math. Sci. Bldg.)
Atsushi Ishii (University of Tsukuba)
Quandle colorings with non-commutative flows (JAPANESE)
[ Abstract ]
This is a joint work with Masahide Iwakiri, Yeonhee Jang and Kanako Oshiro.
We introduce quandle coloring invariants and quandle cocycle invariants
with non-commutative flows for knots, spatial graphs, handlebody-knots,
where a handlebody-knot is a handlebody embedded in the $3$-sphere.
Two handlebody-knots are equivalent if one can be transformed into the
other by an isotopy of $S^3$.
The quandle coloring (resp. cocycle) invariant is a twisted'' quandle
coloring (resp. cocycle) invariant.

### 2011/05/16

#### Seminar on Geometric Complex Analysis

10:30-12:00   Room #128 (Graduate School of Math. Sci. Bldg.)
Chifune Kai (Kanazawa Univeristy)
Linearity of order isomorphisms of regular convex cones (JAPANESE)

#### Algebraic Geometry Seminar

17:00-18:30   Room #126 (Graduate School of Math. Sci. Bldg.)
Shinnosuke Okawa (University of Tokyo)
On images of Mori dream spaces (JAPANESE)
[ Abstract ]
Mori dream space (MDS), introduced by Y. Hu and S. Keel, is a class of varieties whose geometry can be controlled via the VGIT of the Cox ring. It is a generalization of both toric varieties and log Fano varieties.

The purpose of this talk is to study the image of a morphism from a MDS.
Firstly I prove that such an image again is a MDS.
Secondly I introduce a fan structure on the effective cone of a MDS and show that the fan of the image coincides with the restriction of that of the source.

This fan encodes some information of the Zariski decompositions, which turns out to be equivalent to the information of the GIT equivalence. In toric case, this fan coincides with the so called GKZ decomposition.

The point is that these results can be clearly explained via the VGIT description for MDS.

If I have time, I touch on generalizations and an application to the Shokurov polytopes.

### 2011/05/11

#### Number Theory Seminar

17:30-18:30   Room #056 (Graduate School of Math. Sci. Bldg.)
Michel Raynaud (Universite Paris-Sud)
Permanence following Temkin (ENGLISH)
[ Abstract ]
When one proceeds to a specialization, the good properties of algebraic equations may be destroyed. Starting with a bad specialization, one can try to improve it by performing modifications under control. If, at the end of the process, the initial good properties are preserved, one speaks of permanence. I shall give old and new examples of permanence. The new one concerns the relative semi-stable reduction of curves recently proved by Temkin.

### 2011/05/10

#### Numerical Analysis Seminar

16:30-18:00   Room #002 (Graduate School of Math. Sci. Bldg.)
Yukitaka Minesaki (Tokushima Bunri University)
Conservative finite difference method for the three body problem (JAPANESE)
[ Reference URL ]
http://www.infsup.jp/utnas/

#### Tuesday Seminar on Topology

16:30-18:00   Room #056 (Graduate School of Math. Sci. Bldg.)
Tetsuya Ito (The University of Tokyo)
Isotated points in the space of group left orderings (JAPANESE)
[ Abstract ]
The set of all left orderings of a group G admits a natural
topology. In general the space of left orderings is homeomorphic to the
union of Cantor set and finitely many isolated points. In this talk I
will give a new method to construct left orderings corresponding to
isolated points, and will explain how such isolated orderings reflect
the structures of groups.

### 2011/05/09

#### Algebraic Geometry Seminar

16:30-18:00   Room #126 (Graduate School of Math. Sci. Bldg.)
Hokuto Uehara (Tokyo Metropolitan University)
Fourier--Mukai partners of elliptic ruled surfaces (JAPANESE)
[ Abstract ]
Atiyah classifies vector bundles on elliptic curves E over an algebraically closed field of any characteristic. On the other hand, a rank 2 vector bundle on E defines a surface S with P^1-bundle structure on E.
We study when S has an elliptic fibration according to the Atiyah's classification. As its application, we determines the set of Fourier--Mukai partners of elliptic ruled surfaces over the complex number field.

#### Seminar on Geometric Complex Analysis

10:30-12:00   Room #128 (Graduate School of Math. Sci. Bldg.)
Junjiro Noguchi (University of Tokyo)
Order of meromorphic maps and rationality of the image space (JAPANESE)

### 2011/05/02

#### Algebraic Geometry Seminar

16:30-18:00   Room #126 (Graduate School of Math. Sci. Bldg.)
Katsuhisa Furukawa (Waseda University)
Projective varieties admitting an embedding with Gauss map of rank zero (JAPANESE)
[ Abstract ]
I will talk about the study of Gauss map in positivity characteristic which is a joint work with S. Fukasawa and H. Kaji. I will also talk about my resent research of this topic.

We call that a projective variety $X$ satisfies (GMRZ) if there exists an embedding $¥iota: X ¥hookrightarrow ¥mathbb{P}^M$ whose Gauss map $X ¥dashrightarrow G(¥dim(X), ¥mathbb{P}^M)$ is of rank zero at a general point.

We study the case where $X$ has a rational curve $C$. Then, as a fundamental theorem, it follows that the property (GMRZ) makes the splitting type of the normal bundle $N_{C/X}$ very special. We also have a characterization of the Fermat cubic hypersurface in characteristic two in terms of (GMRZ). In this talk, I will also explain the relation of blow-ups and the property (GMRZ).

### 2011/04/27

#### Number Theory Seminar

16:30-17:30   Room #056 (Graduate School of Math. Sci. Bldg.)
Yuuki Takai (University of Tokyo)
An analogue of Sturm's theorem for Hilbert modular forms (JAPANESE)

### 2011/04/26

#### Numerical Analysis Seminar

16:30-18:00   Room #002 (Graduate School of Math. Sci. Bldg.)
Fumio Kikuchi (Hitotsubashi University)
Remarks on the discontinuous Galerkin finite element method (JAPANESE)
[ Reference URL ]
http://www.infsup.jp/utnas/

#### Lie Groups and Representation Theory

16:30-18:00   Room #056 (Graduate School of Math. Sci. Bldg.)
Taro YOSHINO (the University of Tokyo)
Topological Blow-up (JAPANESE)
[ Abstract ]
Suppose that a Lie group $G$ acts on a manifold
$M$. The quotient space $X:=G\\backslash M$ is locally compact,
but not Hausdorff in general. Our aim is to understand
such a non-Hausdorff space $X$.
The space $X$ has the crack $S$. Rougly speaking, $S$ is
the causal subset of non-Hausdorffness of $X$, and especially
$X\\setminus S$ is Hausdorff.

We introduce the concept of topological blow-up' as a repair'
of the crack. The repaired' space $\\tilde{X}$ is
locally compact and Hausdorff space containing $X\\setminus S$
as its open subset. Moreover, the original space $X$ can be
recovered from the pair of $(\\tilde{X}, S)$.

#### Tuesday Seminar on Topology

16:30-18:00   Room #056 (Graduate School of Math. Sci. Bldg.)
Taro Yoshino (The University of Tokyo)
Topological Blow-up (JAPANESE)
[ Abstract ]
Suppose that a Lie group $G$ acts on a manifold
$M$. The quotient space $X:=G\\backslash M$ is locally compact,
but not Hausdorff in general. Our aim is to understand
such a non-Hausdorff space $X$.
The space $X$ has the crack $S$. Roughly speaking, $S$ is
the causal subset of non-Hausdorffness of $X$, and especially
$X\\setminus S$ is Hausdorff.

We introduce the concept of topological blow-up' as a repair'
of the crack. The repaired' space $\\tilde{X}$ is
locally compact and Hausdorff space containing $X\\setminus S$
as its open subset. Moreover, the original space $X$ can be
recovered from the pair of $(\\tilde{X}, S)$.

#### Tuesday Seminar of Analysis

16:30-18:00   Room #128 (Graduate School of Math. Sci. Bldg.)
Kiyoomi KATAOKA (Graduate School of Mathematical Sciences, the University of Tokyo)
On the system of fifth-order differential equations which describes surfaces containing six continuous families of circles (JAPANESE)