## Algebraic Geometry Seminar

Seminar information archive ～02/07｜Next seminar｜Future seminars 02/08～

Date, time & place | Tuesday 10:30 - 11:30 or 12:00 ハイブリッド開催/002Room #ハイブリッド開催/002 (Graduate School of Math. Sci. Bldg.) |
---|

**Seminar information archive**

### 2017/10/10

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

Classification of Mukai pairs with corank 3 (English or Japanese)

**Akihiro Kanemitsu**(The University of Tokyo)Classification of Mukai pairs with corank 3 (English or Japanese)

[ Abstract ]

A Mukai pair $(X,E)$ is a pair of a Fano manifold $X$ and an ample vector bundle $E$ of rank $r$ on $X$ such that $c_1(X)=c_1(E)$. Study of such pairs was proposed by Mukai. It is known that, for a Mukai pair $(X,E)$, the rank $r$ of the bundle $E$ is at most $\dim X +1$, and Mukai conjectured the explicit

classification with $r \geq \dim X$. The above conjecture was solved independently by Fujita, Peternell and Ye-Zhang. Also the classification of Mukai pairs with $r= \dim X -1$ was given by Peternell-Szurek-Wi\'sniewski. In this talk I will give the classification of Mukai pairs with $r= \dim X -2$ and $\dim X \geq 5$.

A Mukai pair $(X,E)$ is a pair of a Fano manifold $X$ and an ample vector bundle $E$ of rank $r$ on $X$ such that $c_1(X)=c_1(E)$. Study of such pairs was proposed by Mukai. It is known that, for a Mukai pair $(X,E)$, the rank $r$ of the bundle $E$ is at most $\dim X +1$, and Mukai conjectured the explicit

classification with $r \geq \dim X$. The above conjecture was solved independently by Fujita, Peternell and Ye-Zhang. Also the classification of Mukai pairs with $r= \dim X -1$ was given by Peternell-Szurek-Wi\'sniewski. In this talk I will give the classification of Mukai pairs with $r= \dim X -2$ and $\dim X \geq 5$.

### 2017/07/18

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

On a generalization of Frobenius-splitting and a lifting problem of Calabi-Yau varieties (JAPANESE)

**Fuetaro Yobuko**(Tohoku University)On a generalization of Frobenius-splitting and a lifting problem of Calabi-Yau varieties (JAPANESE)

[ Abstract ]

In this talk, we introduce a notion of Frobenius-splitting height which quantifies Frobenius-splitting varieties and show that a Calabi-Yau variety of finite height over an algebraically closed field of positive characteristic admits a flat lifting to the ring of Witt vectors of length two.

In this talk, we introduce a notion of Frobenius-splitting height which quantifies Frobenius-splitting varieties and show that a Calabi-Yau variety of finite height over an algebraically closed field of positive characteristic admits a flat lifting to the ring of Witt vectors of length two.

### 2017/07/11

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

Arithmetic and dynamical degrees of self-maps of algebraic varieties (English or Japanese)

**Yohsuke Matsuzawa**(The University of Tokyo)Arithmetic and dynamical degrees of self-maps of algebraic varieties (English or Japanese)

[ Abstract ]

The first dynamical degree is an important birational invariant which measures the geometric complexity of dominant rational self-maps of algebraic varieties. On the other hand, when the variety is defined over a number field, one can associate to an orbit an invariant using Weil height function, called arithmetic degree, which measures the arithmetic complexity of the orbit. It is conjectured that the arithmetic degree of a Zariski dense orbit is equal to the first dynamical degree (Kawaguchi-Silverman). I will explain several results related to this conjecture. I will also explain applications to proofs of purely geometric statements.

The first dynamical degree is an important birational invariant which measures the geometric complexity of dominant rational self-maps of algebraic varieties. On the other hand, when the variety is defined over a number field, one can associate to an orbit an invariant using Weil height function, called arithmetic degree, which measures the arithmetic complexity of the orbit. It is conjectured that the arithmetic degree of a Zariski dense orbit is equal to the first dynamical degree (Kawaguchi-Silverman). I will explain several results related to this conjecture. I will also explain applications to proofs of purely geometric statements.

### 2017/07/04

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

The space of rational curves and Manin’s conjecture (English)

**Sho Tanimoto**(University of Copenhagen)The space of rational curves and Manin’s conjecture (English)

[ Abstract ]

Manin's conjecture predicts the asymptotic formula for the counting function of rational points on a Fano variety after removing the exceptional thin set. There are many developments on birational geometry of exceptional sets using MMP, due to Lehmann, myself, Tschinkel, Hacon, and Jiang. Recently we found that the study of exceptional sets has applications to questions regarding the space of rational curves, i.e., its dimension and the number of components. I would like to explain these applications. This is joint work with Brian Lehmann.

Manin's conjecture predicts the asymptotic formula for the counting function of rational points on a Fano variety after removing the exceptional thin set. There are many developments on birational geometry of exceptional sets using MMP, due to Lehmann, myself, Tschinkel, Hacon, and Jiang. Recently we found that the study of exceptional sets has applications to questions regarding the space of rational curves, i.e., its dimension and the number of components. I would like to explain these applications. This is joint work with Brian Lehmann.

### 2017/06/27

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

Cylinders in del Pezzo fibrations (English )

**Takashi Kishimoto**(Saitama University)Cylinders in del Pezzo fibrations (English )

[ Abstract ]

The cylinder is, by definition, an algebraic variety of the form Z × A1 . Certainly it is geometrically a very simple object, but it plays often an important role to connect unipotent group actions on special kinds of affine algebraic varieties to projective geometry. From the point of view of birational geometry, it is essential to look into cylinders found on Mori fiber spaces. In this talk, we shall focus mainly on Mori fiber spaces of relative dimension two or three. One of main results asserts that a del Pezzo fibration π : V → W contains a cylinder respecting the structure of π (so-called a vertical cylinder) if and only if the degree deg π of π is greater than or equal to 5 and π admits a rational section. Especially, in case of dim V = 3, the existence of a vertical cylinder is equivalent to saying deg π ≧ 5 in consideration of Tsen’s theorem, nevertheless, it is worthwhile to note that the affine 3-space A3C is embedded into certains del Pezzo fibrations π : V → P1C of deg π ≦ 4 in a twisted way. This is a joint work with Adrien Dubouloz (Universit ́e de Bourgogne).

The cylinder is, by definition, an algebraic variety of the form Z × A1 . Certainly it is geometrically a very simple object, but it plays often an important role to connect unipotent group actions on special kinds of affine algebraic varieties to projective geometry. From the point of view of birational geometry, it is essential to look into cylinders found on Mori fiber spaces. In this talk, we shall focus mainly on Mori fiber spaces of relative dimension two or three. One of main results asserts that a del Pezzo fibration π : V → W contains a cylinder respecting the structure of π (so-called a vertical cylinder) if and only if the degree deg π of π is greater than or equal to 5 and π admits a rational section. Especially, in case of dim V = 3, the existence of a vertical cylinder is equivalent to saying deg π ≧ 5 in consideration of Tsen’s theorem, nevertheless, it is worthwhile to note that the affine 3-space A3C is embedded into certains del Pezzo fibrations π : V → P1C of deg π ≦ 4 in a twisted way. This is a joint work with Adrien Dubouloz (Universit ́e de Bourgogne).

### 2017/06/12

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

Rational and irrational singular quartic threefolds (English)

**Ivan Cheltsov**(The University of Edinburgh)Rational and irrational singular quartic threefolds (English)

[ Abstract ]

Burkhardt and Igusa quartics admit a faithful action of the symmetric group of degree 6.

There are other quartic threefolds with this property. All of them are singular.

Beauville proved that all but four of them are irrational. Burkhardt and Igusa quartics are known to be rational.

Two constructions of Todd imply the rationality of the remaining two quartic threefolds.

In this talk, I will give an alternative proof of both these (irrationality and rationality) results.

This proof is based on explicit small resolutions of the so-called Coble fourfold.

This fourfold is the double cover of the four-dimensional projective space branched over Igusa quartic.

This is a joint work with Sasha Kuznetsov and Costya Shramov.

Burkhardt and Igusa quartics admit a faithful action of the symmetric group of degree 6.

There are other quartic threefolds with this property. All of them are singular.

Beauville proved that all but four of them are irrational. Burkhardt and Igusa quartics are known to be rational.

Two constructions of Todd imply the rationality of the remaining two quartic threefolds.

In this talk, I will give an alternative proof of both these (irrationality and rationality) results.

This proof is based on explicit small resolutions of the so-called Coble fourfold.

This fourfold is the double cover of the four-dimensional projective space branched over Igusa quartic.

This is a joint work with Sasha Kuznetsov and Costya Shramov.

### 2017/06/06

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

Fano varieties: K-stability and boundedness (English)

https://sites.google.com/site/chenjiangmath/

**Chen Jiang**(IPMU)Fano varieties: K-stability and boundedness (English)

[ Abstract ]

There are two interesting problems for Fano varieties, K-stability and boundedness.

Significant progress has been made for both problems recently.

In this talk, I will show the boundedness of K-semistable Fano varieties with anti-canonical degree bounded from below, by using methods from birational geometry.

[ Reference URL ]There are two interesting problems for Fano varieties, K-stability and boundedness.

Significant progress has been made for both problems recently.

In this talk, I will show the boundedness of K-semistable Fano varieties with anti-canonical degree bounded from below, by using methods from birational geometry.

https://sites.google.com/site/chenjiangmath/

### 2017/05/30

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

Contractible affine threefolds in smooth Fano threefolds (English or Japanese)

**Masaru Nagaoka**(The University of Tokyo)Contractible affine threefolds in smooth Fano threefolds (English or Japanese)

[ Abstract ]

By the contribution of M. Furushima, N. Nakayama, Th. Peternell and M.

Schneider, it is completed to classify all projective compactifications

of the affine $3$-space $\mathbb{A}^3$ with Picard number one.

As a similar question, T. Kishimoto raised the problem to classify all

triplets $(V, U, D_1 \cup D_2)$ which consist of smooth Fano threefolds

$V$ of Picard number two, contractible affine threefolds $U$ as open

subsets of $V$, and the complements $D_1 \cup D_2 =V \setminus U$.

He also solved this problem when the log canonical divisors $K_V+D_1+D_2

$ are not nef.

In this talk, I will discuss the triplets $(V, U, D_1 \cup D_2)$ whose

log canonical divisors are linearly equivalent to zero.

I will also explain how to determine all Fano threefolds $V$ which

appear in such triplets.

By the contribution of M. Furushima, N. Nakayama, Th. Peternell and M.

Schneider, it is completed to classify all projective compactifications

of the affine $3$-space $\mathbb{A}^3$ with Picard number one.

As a similar question, T. Kishimoto raised the problem to classify all

triplets $(V, U, D_1 \cup D_2)$ which consist of smooth Fano threefolds

$V$ of Picard number two, contractible affine threefolds $U$ as open

subsets of $V$, and the complements $D_1 \cup D_2 =V \setminus U$.

He also solved this problem when the log canonical divisors $K_V+D_1+D_2

$ are not nef.

In this talk, I will discuss the triplets $(V, U, D_1 \cup D_2)$ whose

log canonical divisors are linearly equivalent to zero.

I will also explain how to determine all Fano threefolds $V$ which

appear in such triplets.

### 2017/05/23

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

Perverse coherent sheaves on blow-ups at codimension two loci (English)

**Naoki Koseki**(The University of Tokyo)Perverse coherent sheaves on blow-ups at codimension two loci (English)

[ Abstract ]

I would like to talk about my recent work in progress.

Let us consider the blow-up X of Y along a subvariety C.

Then the following natural question arises:

What is the relation between moduli space of sheaves on Y

and that of X?

H.Nakajima and K.Yoshioka answered the above question

in the case when Y is a surface and C is a point. They

showed that the moduli spaces are connected by a sequence

of flip-like diagrams. The key ingredient of the proof is

to use perverse coherent sheaves in the sense of T.Bridgeland

and M.Van den Bergh.

In this talk, I will explain how to generalize their theorem

to the case when Y is a smooth projective variety of arbitrary

dimension and C is its codimension two subvariety.

I would like to talk about my recent work in progress.

Let us consider the blow-up X of Y along a subvariety C.

Then the following natural question arises:

What is the relation between moduli space of sheaves on Y

and that of X?

H.Nakajima and K.Yoshioka answered the above question

in the case when Y is a surface and C is a point. They

showed that the moduli spaces are connected by a sequence

of flip-like diagrams. The key ingredient of the proof is

to use perverse coherent sheaves in the sense of T.Bridgeland

and M.Van den Bergh.

In this talk, I will explain how to generalize their theorem

to the case when Y is a smooth projective variety of arbitrary

dimension and C is its codimension two subvariety.

### 2017/05/16

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

On separable higher Gauss maps (English)

**Katsuhisa Furukawa**(The University of Tokyo)On separable higher Gauss maps (English)

[ Abstract ]

We study the $m$-th Gauss map in the sense of F. L. Zak of a projective variety $X ¥subset P^N$ over an algebraically closed field in any characteristic, where $m$ is an integer with $n:= ¥dim(X) ¥leq m < N$. It is known that the contact locus on $X$ of a general tangent $m$-plane can be non-linear in positive characteristic, if the $m$-th Gauss map is inseparable.

In this talk, I will explain that for any $m$, the locus is a linear variety if the $m$-th Gauss map is separable. I will also explain that for smooth $X$ with $n < N-2$, the $(n+1)$-th Gauss

map is birational if it is separable, unless $X$ is the Segre embedding $P^1 ¥times P^n ¥subset P^{2n-1}$. This is related to L. Ein's classification of varieties with small dual varieties in characteristic zero.

This talk is based on a joint work with Atsushi Ito.

We study the $m$-th Gauss map in the sense of F. L. Zak of a projective variety $X ¥subset P^N$ over an algebraically closed field in any characteristic, where $m$ is an integer with $n:= ¥dim(X) ¥leq m < N$. It is known that the contact locus on $X$ of a general tangent $m$-plane can be non-linear in positive characteristic, if the $m$-th Gauss map is inseparable.

In this talk, I will explain that for any $m$, the locus is a linear variety if the $m$-th Gauss map is separable. I will also explain that for smooth $X$ with $n < N-2$, the $(n+1)$-th Gauss

map is birational if it is separable, unless $X$ is the Segre embedding $P^1 ¥times P^n ¥subset P^{2n-1}$. This is related to L. Ein's classification of varieties with small dual varieties in characteristic zero.

This talk is based on a joint work with Atsushi Ito.

### 2017/05/09

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

Upper bound of the multiplicity of locally complete intersection singularities (English)

**Kohsuke Shibata**(The University of Tokyo)Upper bound of the multiplicity of locally complete intersection singularities (English)

[ Abstract ]

The multiplicity of a point on a variety is a fundamental invariant to estimate how the singularity is bad. It is introduced in a purely algebraic context. On the other hand, we can also attach to the singularity the log canonical threshold and the minimal log discrepancy, which are introduced in a birational theoretic context. In this talk, we show bounds of the multiplicity by functions of these birational invariants for a singularity of locally a complete intersection. As an application, we obtain the affirmative answer to Watanabe’s conjecture on the multiplicity of canonical singularity of locally a complete intersection up to dimension 32.

The multiplicity of a point on a variety is a fundamental invariant to estimate how the singularity is bad. It is introduced in a purely algebraic context. On the other hand, we can also attach to the singularity the log canonical threshold and the minimal log discrepancy, which are introduced in a birational theoretic context. In this talk, we show bounds of the multiplicity by functions of these birational invariants for a singularity of locally a complete intersection. As an application, we obtain the affirmative answer to Watanabe’s conjecture on the multiplicity of canonical singularity of locally a complete intersection up to dimension 32.

### 2017/04/25

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

On the Picard number of Fano 6-folds with a non-small contraction (English)

**Taku Suzuki**(Waseda University)On the Picard number of Fano 6-folds with a non-small contraction (English)

[ Abstract ]

A generalization of S. Mukai's conjecture says that $\rho(i-1) \leq n$ holds for any Fano $n$-fold with Picard number $\rho$ and pseudo-index $i$, with equality if and only if it is isomorphic to $(\mathbb{P}^{i-1})^{\rho}$. In this talk, we consider this conjecture for $n=6$, which is an open problem, and give a proof of some special cases.

A generalization of S. Mukai's conjecture says that $\rho(i-1) \leq n$ holds for any Fano $n$-fold with Picard number $\rho$ and pseudo-index $i$, with equality if and only if it is isomorphic to $(\mathbb{P}^{i-1})^{\rho}$. In this talk, we consider this conjecture for $n=6$, which is an open problem, and give a proof of some special cases.

### 2017/04/18

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

On the existence of almost Fano threefolds with del Pezzo fibrations (English)

**Takeru Fukuoka**(The University of Tokyo)On the existence of almost Fano threefolds with del Pezzo fibrations (English)

[ Abstract ]

We say that a smooth projective 3-fold is almost Fano if its anti-canonical divisor is nef and big but not ample. By Jahnke-Peternell-Radloff and Takeuchi, the numerical classification of such 3-folds was given. Among the classification results, there exists precisely 10 cases such that it was yet to be known whether these have an example or not. The main result of this talk shows the existence of examples of each of 10 cases. In 9 cases of the 10 cases, the degree of del Pezzo fibrations are 6. We will discuss one of the reason of difficulty constructing del Pezzo fibrations of degree 6. After that, we will show that every almost Fano del Pezzo fibration of degree 6 with specific anti-canonical volume can be embedded into some higher dimensional del Pezzo fibration as a relative linear section.

We say that a smooth projective 3-fold is almost Fano if its anti-canonical divisor is nef and big but not ample. By Jahnke-Peternell-Radloff and Takeuchi, the numerical classification of such 3-folds was given. Among the classification results, there exists precisely 10 cases such that it was yet to be known whether these have an example or not. The main result of this talk shows the existence of examples of each of 10 cases. In 9 cases of the 10 cases, the degree of del Pezzo fibrations are 6. We will discuss one of the reason of difficulty constructing del Pezzo fibrations of degree 6. After that, we will show that every almost Fano del Pezzo fibration of degree 6 with specific anti-canonical volume can be embedded into some higher dimensional del Pezzo fibration as a relative linear section.

### 2017/02/10

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

Stability theory of a klt singularity II (English)

**Chenyang Xu**(Beijing International Center of Mathematics Research)Stability theory of a klt singularity II (English)

[ Abstract ]

In higher dimensional geometry, it has been known that from many perspectives a log terminal singularity is a local analogue of Fano varieties. Many statements of Fano varieties have a counterpart for log terminal singularities. One central topic on the geometry of a Fano variety is its stability which in particular reflects whether the Fano variety carries a canonical metric. In the talks, we will discuss a series of recent works started by Chi Li, and then by Harold Blum, Yuchen Liu and myself, in which we want to establish an algebro-geometric stability theory of a fixed log terminal singularity. Inspired by the study from differential geometry, (e.g. metric tangent cone, Sasakian-Einstein metric), for any log terminal singularity, we investigate the valuation which has the minimal normalized volume. Our goal is to prove various properties of this valuation which enable us to degenerate the singularity to a K-semistable T-singularity (with a torus action) in the Sasakian-Einstein sense.

In higher dimensional geometry, it has been known that from many perspectives a log terminal singularity is a local analogue of Fano varieties. Many statements of Fano varieties have a counterpart for log terminal singularities. One central topic on the geometry of a Fano variety is its stability which in particular reflects whether the Fano variety carries a canonical metric. In the talks, we will discuss a series of recent works started by Chi Li, and then by Harold Blum, Yuchen Liu and myself, in which we want to establish an algebro-geometric stability theory of a fixed log terminal singularity. Inspired by the study from differential geometry, (e.g. metric tangent cone, Sasakian-Einstein metric), for any log terminal singularity, we investigate the valuation which has the minimal normalized volume. Our goal is to prove various properties of this valuation which enable us to degenerate the singularity to a K-semistable T-singularity (with a torus action) in the Sasakian-Einstein sense.

### 2017/02/07

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

Stability theory of a klt singularity I (English)

**Chenyang Xu**( Beijing International Center of Mathematics Research)Stability theory of a klt singularity I (English)

[ Abstract ]

In higher dimensional geometry, it has been known that from many perspectives a log terminal singularity is a local analogue of Fano varieties. Many statements of Fano varieties have a counterpart for log terminal singularities. One central topic on the geometry of a Fano variety is its stability which in particular reflects whether the Fano variety carries a canonical metric. In the talks, we will discuss a series of recent works started by Chi Li, and then by Harold Blum, Yuchen Liu and myself, in which we want to establish an algebro-geometric stability theory of a fixed log terminal singularity. Inspired by the study from differential geometry, (e.g. metric tangent cone, Sasakian-Einstein metric), for any log terminal singularity, we investigate the valuation which has the minimal normalized volume. Our goal is to prove various properties of this valuation which enable us to degenerate the singularity to a K-semistable T-singularity (with a torus action) in the Sasakian-Einstein sense.

In higher dimensional geometry, it has been known that from many perspectives a log terminal singularity is a local analogue of Fano varieties. Many statements of Fano varieties have a counterpart for log terminal singularities. One central topic on the geometry of a Fano variety is its stability which in particular reflects whether the Fano variety carries a canonical metric. In the talks, we will discuss a series of recent works started by Chi Li, and then by Harold Blum, Yuchen Liu and myself, in which we want to establish an algebro-geometric stability theory of a fixed log terminal singularity. Inspired by the study from differential geometry, (e.g. metric tangent cone, Sasakian-Einstein metric), for any log terminal singularity, we investigate the valuation which has the minimal normalized volume. Our goal is to prove various properties of this valuation which enable us to degenerate the singularity to a K-semistable T-singularity (with a torus action) in the Sasakian-Einstein sense.

### 2017/01/27

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

On the number and boundedness of minimal models of general type (English)

Adjoint dimension of foliations (English)

https://www.dpmms.cam.ac.uk/~rs872/

**Luca Tasin**(Roma Tre University) 14:00-15:30On the number and boundedness of minimal models of general type (English)

[ Abstract ]

In this talk I will explain that the number of minimal models yields a constructible function on the base of any family of varieties of general type. From this it follows that the number of minimal models of a variety of general type can be bounded in terms of its volume. I will also show that in any dimension minimal models of general type and bounded volume form a bounded family. This is based on a joint work with D. Martinelli and S. Schreieder.

In this talk I will explain that the number of minimal models yields a constructible function on the base of any family of varieties of general type. From this it follows that the number of minimal models of a variety of general type can be bounded in terms of its volume. I will also show that in any dimension minimal models of general type and bounded volume form a bounded family. This is based on a joint work with D. Martinelli and S. Schreieder.

**Roberto Svaldi**(University of Cambridge/SISSA) 16:00-17:30Adjoint dimension of foliations (English)

[ Abstract ]

The classification of foliated surfaces by Brunella, McQuillan and Mendes carries many similarities with Enriques-Kodaira classification of surfaces but also many important differences. I will discuss an alternative classification scheme where the role of differential forms along the leaves is replaced by differential forms along the leaves with values in fractional powers of the conormal bundle of the foliation. In this alternative setup one obtains a classification of foliated surfaces closer to the usual Enriques-Kodaira classification. If time permits, I will show how to apply this alternative classification to describe the Zariski closure of the set foliations which admit rational first integral of bounded genus in families of foliated surfaces. Joint work with Jorge Vitorio Pereira.

[ Reference URL ]The classification of foliated surfaces by Brunella, McQuillan and Mendes carries many similarities with Enriques-Kodaira classification of surfaces but also many important differences. I will discuss an alternative classification scheme where the role of differential forms along the leaves is replaced by differential forms along the leaves with values in fractional powers of the conormal bundle of the foliation. In this alternative setup one obtains a classification of foliated surfaces closer to the usual Enriques-Kodaira classification. If time permits, I will show how to apply this alternative classification to describe the Zariski closure of the set foliations which admit rational first integral of bounded genus in families of foliated surfaces. Joint work with Jorge Vitorio Pereira.

https://www.dpmms.cam.ac.uk/~rs872/

### 2016/11/29

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

Etale fundamental groups of F-regular schemes (English)

**Karl Schwede**(University of Utah)Etale fundamental groups of F-regular schemes (English)

[ Abstract ]

I will discuss recent work studying etale fundamental groups of the regular locus of F-regular schemes. I will describe how to use F-signature to bound the size of the fundamental group of an F-regular scheme, similar to a result of Xu. I will then discuss a recent extension showing that every F-regular scheme X has a finite cover Y, etale over the regular lcous of X, so that the etale fundamental groups of Y and the regular locus of Y agree. This is analogous to results of Greb-Kebekus-Peternell.

All the work discussed is joint with Carvajal-Rojas and Tucker or with with Bhatt, Carvajal-Rojas, Graf and Tucker.

I will discuss recent work studying etale fundamental groups of the regular locus of F-regular schemes. I will describe how to use F-signature to bound the size of the fundamental group of an F-regular scheme, similar to a result of Xu. I will then discuss a recent extension showing that every F-regular scheme X has a finite cover Y, etale over the regular lcous of X, so that the etale fundamental groups of Y and the regular locus of Y agree. This is analogous to results of Greb-Kebekus-Peternell.

All the work discussed is joint with Carvajal-Rojas and Tucker or with with Bhatt, Carvajal-Rojas, Graf and Tucker.

### 2016/11/08

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

Minimal model theory for relatively trivial log canonical pairs

**Kenta Hashizume**(Department of Mathematics, Kyoto University)Minimal model theory for relatively trivial log canonical pairs

[ Abstract ]

The good minimal model conjecture is an important open problem in the birational geometry, and inductive arguments on the dimension of varieties are useful when we work on this conjecture. In fibration with a log canoinical pair having some good properties, it is expected that the above conjecture for the log canonical pair on total space can be proved by investigating the general fiber and base variety of the fibration. In this talk, I will explain an inductive argument in fibrations with relatively trivial log canonical pairs and introduce some applications of the inductive argument.

The good minimal model conjecture is an important open problem in the birational geometry, and inductive arguments on the dimension of varieties are useful when we work on this conjecture. In fibration with a log canoinical pair having some good properties, it is expected that the above conjecture for the log canonical pair on total space can be proved by investigating the general fiber and base variety of the fibration. In this talk, I will explain an inductive argument in fibrations with relatively trivial log canonical pairs and introduce some applications of the inductive argument.

### 2016/10/25

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

Q-Gorenstein deformation theory and it applications to algebraic surfaces (English)

**Yongnam Lee**(KAIST/RIMS)Q-Gorenstein deformation theory and it applications to algebraic surfaces (English)

[ Abstract ]

The notion of Q-Gorenstein variety is important for the minimal model theory and the compact moduli theory of algebraic varieties in characteristic 0. Also Q-Gorenstein deformation theory can be applied to construct (simply connected) surfaces of general type with geometric genus 0 over the field of any characteristic. In this talk, some applications of Q-Gorenstein deformation theory to algebraic surfaces and some interesting examples related to Q-Gorenstein morphisms will be presented.

The notion of Q-Gorenstein variety is important for the minimal model theory and the compact moduli theory of algebraic varieties in characteristic 0. Also Q-Gorenstein deformation theory can be applied to construct (simply connected) surfaces of general type with geometric genus 0 over the field of any characteristic. In this talk, some applications of Q-Gorenstein deformation theory to algebraic surfaces and some interesting examples related to Q-Gorenstein morphisms will be presented.

### 2016/10/11

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

On varieties with splittings of relative Frobenius morphisms of Albanese maps

**Sho Ejiri**(University of Tokyo)On varieties with splittings of relative Frobenius morphisms of Albanese maps

[ Abstract ]

Varieties with splittings of Frobenius morphisms are called F-split varieties, which satisfy strong properties such as Kodaira vanishing. However, some important varieties are not F-split. For example, an abelian variety is F-split if and only if its p-rank is maximum. In this talk, we discuss the class of varieties with splittings of relative Frobenius morphisms of Albanese maps, which includes abelian varieties. As a consequence of Sannai and Tanaka's characterization of ordinary abelian varieties, we see that this class also includes F-split varieties. Furthermore, for varieties in this class, we show that the Kodaira vanishing theorem holds, and that Albanese maps are algebraic fiber spaces.

Varieties with splittings of Frobenius morphisms are called F-split varieties, which satisfy strong properties such as Kodaira vanishing. However, some important varieties are not F-split. For example, an abelian variety is F-split if and only if its p-rank is maximum. In this talk, we discuss the class of varieties with splittings of relative Frobenius morphisms of Albanese maps, which includes abelian varieties. As a consequence of Sannai and Tanaka's characterization of ordinary abelian varieties, we see that this class also includes F-split varieties. Furthermore, for varieties in this class, we show that the Kodaira vanishing theorem holds, and that Albanese maps are algebraic fiber spaces.

### 2016/10/04

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

Higher order minimal families of rational curves and Fano manifolds with nef Chern characters (Japanese. Writing in English. )

**Taku Suzuki**(Waseda University)Higher order minimal families of rational curves and Fano manifolds with nef Chern characters (Japanese. Writing in English. )

[ Abstract ]

In this talk, we introduce higher order minimal families $H_i$ of rational curves

associated to Fano manifolds $X$. We prove that $H_i$ is also a Fano manifold

if the Chern characters of $X$ satisfy some positivity conditions. We also provide

a sufficient condition for Fano manifolds to be covered by higher rational manifolds.

In this talk, we introduce higher order minimal families $H_i$ of rational curves

associated to Fano manifolds $X$. We prove that $H_i$ is also a Fano manifold

if the Chern characters of $X$ satisfy some positivity conditions. We also provide

a sufficient condition for Fano manifolds to be covered by higher rational manifolds.

### 2016/07/25

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

Birational rigidity of complete intersections (English)

**Fumiaki Suzuki**(Tokyo)Birational rigidity of complete intersections (English)

[ Abstract ]

A complete intersection defined by s hypersurfaces of degree d_1, ... ,d_s in a projective space P^N is Q-Fano, i.e. normal, Q-factorial, terminal and having an ample anti-canonical divisor, if d_1 + ... + d_s is at most N and it has only mild singularities. Then it is rationally-connected by the results of Kollar-Miyaoka-Mori, Zhang and Hacon-Mckernan. A natural question is to determine its rationality. If its dimension or degree is at most 2, then it is rational. How about the remaining cases?

When d_1 + ... + d_s = N, birational rigidity give one of the most effective ways to tackle this problem. We recall that a Q-Fano variety is birationally superrigid if any birational map to the source of another Mori fiber space is isomorphism. It implies that X is non-rational and Bir(X) = Aut(X). After the works of Iskovskih-Manin, Pukhlikov, Chelt'so and de Fernex-Ein-Mustata, de Fernex proved that every smooth hypersurface of degree N in P^N is birationally superrigid for N at least 4. He also proved birational superrigidity of a large class of singular hypersurfaces of this type.

In this talk, we would like to extend de Fernex's results to complete intersections. As a key step, we generalize Pukhlikov's multiplicity bounds of cycles in hypersurfaces to complete intersections.

A complete intersection defined by s hypersurfaces of degree d_1, ... ,d_s in a projective space P^N is Q-Fano, i.e. normal, Q-factorial, terminal and having an ample anti-canonical divisor, if d_1 + ... + d_s is at most N and it has only mild singularities. Then it is rationally-connected by the results of Kollar-Miyaoka-Mori, Zhang and Hacon-Mckernan. A natural question is to determine its rationality. If its dimension or degree is at most 2, then it is rational. How about the remaining cases?

When d_1 + ... + d_s = N, birational rigidity give one of the most effective ways to tackle this problem. We recall that a Q-Fano variety is birationally superrigid if any birational map to the source of another Mori fiber space is isomorphism. It implies that X is non-rational and Bir(X) = Aut(X). After the works of Iskovskih-Manin, Pukhlikov, Chelt'so and de Fernex-Ein-Mustata, de Fernex proved that every smooth hypersurface of degree N in P^N is birationally superrigid for N at least 4. He also proved birational superrigidity of a large class of singular hypersurfaces of this type.

In this talk, we would like to extend de Fernex's results to complete intersections. As a key step, we generalize Pukhlikov's multiplicity bounds of cycles in hypersurfaces to complete intersections.

### 2016/07/25

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

On the geometry of thin exceptional sets in Manin’s conjecture

**Sho Tanimoto**(University of Copenhagen)On the geometry of thin exceptional sets in Manin’s conjecture

[ Abstract ]

Manin’s conjecture predicts the asymptotic formula for the counting function of rational points on a Fano variety X after removing the exceptional sets. The original conjecture, which removes a proper closed subset, is wrong due to covering families of subvarieties violating the compatibility of Manin’s conjecture, and its refinement, suggested by Emmanuel Peyre, removes a thin set instead of a closed set. In this talk, first I would like to explain that subvarieties which conjecturally have more points than X only form a thin set using the minimal model program and the boundedness of log Fano varieties. After that, I would like to discuss our conjecture on the birational boundedness of covers violating the compatibility of Manin’s conjecture, and present some results in dimension 2 and 3. This is joint work with Brian Lehmann.

Manin’s conjecture predicts the asymptotic formula for the counting function of rational points on a Fano variety X after removing the exceptional sets. The original conjecture, which removes a proper closed subset, is wrong due to covering families of subvarieties violating the compatibility of Manin’s conjecture, and its refinement, suggested by Emmanuel Peyre, removes a thin set instead of a closed set. In this talk, first I would like to explain that subvarieties which conjecturally have more points than X only form a thin set using the minimal model program and the boundedness of log Fano varieties. After that, I would like to discuss our conjecture on the birational boundedness of covers violating the compatibility of Manin’s conjecture, and present some results in dimension 2 and 3. This is joint work with Brian Lehmann.

### 2016/07/12

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

Hypersurfaces of maximal contact and jumping phenomenon in the problem of resolution of singularities in positive characteristic (English)

https://www.math.purdue.edu/people/bio/kmatsuki/home

**Kenji Matsuki**(Purdue/RIMS)Hypersurfaces of maximal contact and jumping phenomenon in the problem of resolution of singularities in positive characteristic (English)

[ Abstract ]

According to our approach for resolution of singularities in positive characteristic (called the Idealistic Filtration Program, alias the I.F.P.) the algorithm is divided into the following two steps:

Step 1. Reduction of the general case to the monomial case.

Step 2. Solution in the monomial case.

While we have established Step 1 in abritrary dimension, Step 2 becomes very subtle and difficult in positive characteristic. This is in clear contrast to the classical setting in characteristic zero, where the solution in the monomial case is quite easy.

The talk consists of the two parts.

・Part I [13:30--15:00]: This part is mainly for the students, who are not familiar with the classical results in characteristic zero. Through Hironaka's reformulation of the problem of resolution of singularities, we will see how the notion of a hypersurface of maximal contact provides an inductive structure on dimension to the problem, and hence leading to a solution. Since our I.F.P. is closely modelled upon the classical algorithm in characteristic zero, this part should also give some background material and motivation for our approach in positive characteristic.

・Part II [15:30--17:00]: This is the main body of my talk. I will proceed according to the following menu.

{\bf Framewrok of the I.F.P.}: First I will explain the framewrok of the I.F.P., which further extends Hironaka's refomulation. The biggest obstacle to establish Step 1 is the fact that, in positive characteristic, a smooth hypersurface of maximal contact does not exist in general. In order to overcome this obstacle, we introduce the notion of the Leading Generator System, which is the collection of multiple singular hypersurfaces of maximal contcat.

{\bf Monomial Case}: As metioned above, then the problem is reduced to the one in the monomial case.

・ {\bf Inductive scheme on the invariant \boldmath$\tau$}: We firstly observe that, by the inductive scheme on the invariant $\tau$, we have only to consider the case with $\tau = 1$, i.e., the case where there is only one single singular hypersurface of maximal contact.

・ {\bf Tight Monomail Case}: We secondly observe that, if we reach the so-called Tight Monomial Case, then we can easily solve the problem.

・ {\bf Introduction of the invariant `` \boldmath$\mathrm{inv}_{\mathrm{MON},real}$''}: Thus our final task is, after arriving at the monimial case with $\tau = 1$, to reach the Tight Monomial Case, which is characterized by $\mathrm{inv}_{\mathrm{MON},real} = 0$.

・ {\bf Moh-Hauser Jumping phenomenon}: The invariant $\mathrm{inv}_{\mathrm{MON},real}$ usually behaves well, i.e., decreases after each blow up. But under some circustances, it strictly increases. I will explain this well-known Moh-Jumping phenomenon by giving a simple example.

・ {\bf Eventual decrease of the jumping peaks}: At last, the problem boils down to analyzing and overcoming the Moh-Hauser Jumping phenomenon. For this purpose, we will present the conjecture of ``Eventual decrease of the jumping peaks'', which is affirmatively solved in dimension 3, and is the current focus of our research in dimension 4.

[ Reference URL ]According to our approach for resolution of singularities in positive characteristic (called the Idealistic Filtration Program, alias the I.F.P.) the algorithm is divided into the following two steps:

Step 1. Reduction of the general case to the monomial case.

Step 2. Solution in the monomial case.

While we have established Step 1 in abritrary dimension, Step 2 becomes very subtle and difficult in positive characteristic. This is in clear contrast to the classical setting in characteristic zero, where the solution in the monomial case is quite easy.

The talk consists of the two parts.

・Part I [13:30--15:00]: This part is mainly for the students, who are not familiar with the classical results in characteristic zero. Through Hironaka's reformulation of the problem of resolution of singularities, we will see how the notion of a hypersurface of maximal contact provides an inductive structure on dimension to the problem, and hence leading to a solution. Since our I.F.P. is closely modelled upon the classical algorithm in characteristic zero, this part should also give some background material and motivation for our approach in positive characteristic.

・Part II [15:30--17:00]: This is the main body of my talk. I will proceed according to the following menu.

{\bf Framewrok of the I.F.P.}: First I will explain the framewrok of the I.F.P., which further extends Hironaka's refomulation. The biggest obstacle to establish Step 1 is the fact that, in positive characteristic, a smooth hypersurface of maximal contact does not exist in general. In order to overcome this obstacle, we introduce the notion of the Leading Generator System, which is the collection of multiple singular hypersurfaces of maximal contcat.

{\bf Monomial Case}: As metioned above, then the problem is reduced to the one in the monomial case.

・ {\bf Inductive scheme on the invariant \boldmath$\tau$}: We firstly observe that, by the inductive scheme on the invariant $\tau$, we have only to consider the case with $\tau = 1$, i.e., the case where there is only one single singular hypersurface of maximal contact.

・ {\bf Tight Monomail Case}: We secondly observe that, if we reach the so-called Tight Monomial Case, then we can easily solve the problem.

・ {\bf Introduction of the invariant `` \boldmath$\mathrm{inv}_{\mathrm{MON},real}$''}: Thus our final task is, after arriving at the monimial case with $\tau = 1$, to reach the Tight Monomial Case, which is characterized by $\mathrm{inv}_{\mathrm{MON},real} = 0$.

・ {\bf Moh-Hauser Jumping phenomenon}: The invariant $\mathrm{inv}_{\mathrm{MON},real}$ usually behaves well, i.e., decreases after each blow up. But under some circustances, it strictly increases. I will explain this well-known Moh-Jumping phenomenon by giving a simple example.

・ {\bf Eventual decrease of the jumping peaks}: At last, the problem boils down to analyzing and overcoming the Moh-Hauser Jumping phenomenon. For this purpose, we will present the conjecture of ``Eventual decrease of the jumping peaks'', which is affirmatively solved in dimension 3, and is the current focus of our research in dimension 4.

https://www.math.purdue.edu/people/bio/kmatsuki/home

### 2016/07/05

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

Generalized Bogomolov-Gieseker type inequality for Fano 3-folds (English)

**Dulip Piyaratne**(IPMU)Generalized Bogomolov-Gieseker type inequality for Fano 3-folds (English)

[ Abstract ]

Construction of Bridgeland stability conditions on a given smooth projective 3-fold is an important problem. A conjectural construction for any 3-fold was introduced by Bayer, Macri and Toda, and the problem is reduced to proving so-called Bogomolov-Gieseker type inequality holds for certain stable objects in the derived category. It has been shown to hold for Fano 3-folds of Picard rank one due to the works of Macri, Schmidt and Li. However, Schmidt gave a counter-example for a Fano 3-fold of higher Picard rank. In this talk, I will explain how to modify the original conjectural inequality for general Fano 3-folds and why it holds.

Construction of Bridgeland stability conditions on a given smooth projective 3-fold is an important problem. A conjectural construction for any 3-fold was introduced by Bayer, Macri and Toda, and the problem is reduced to proving so-called Bogomolov-Gieseker type inequality holds for certain stable objects in the derived category. It has been shown to hold for Fano 3-folds of Picard rank one due to the works of Macri, Schmidt and Li. However, Schmidt gave a counter-example for a Fano 3-fold of higher Picard rank. In this talk, I will explain how to modify the original conjectural inequality for general Fano 3-folds and why it holds.