## 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**

### 2011/12/26

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

Birational unboundedness of Q-Fano varieties and rationally connected strict Mori fiber spaces (JAPANESE)

**Takuzo Okada**(Kyoto University)Birational unboundedness of Q-Fano varieties and rationally connected strict Mori fiber spaces (JAPANESE)

[ Abstract ]

It has been known that suitably restricted classes of Q-Fano varieties are bounded. I will talk about the birational unboundedness of (log terminal) Q-Fano varieties with Picard number one and of rationally connected strict Mori fiber spaces in each dimension $¥geq 3$. I will explain the idea of the proof which will be done after passing to a positive characteristic.

It has been known that suitably restricted classes of Q-Fano varieties are bounded. I will talk about the birational unboundedness of (log terminal) Q-Fano varieties with Picard number one and of rationally connected strict Mori fiber spaces in each dimension $¥geq 3$. I will explain the idea of the proof which will be done after passing to a positive characteristic.

### 2011/12/12

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

A version of Barth's theorem for singular varieties (cancelled) (JAPANESE)

**Robert Laterveer**(CNRS, IRMA, Université de Strasbourg)A version of Barth's theorem for singular varieties (cancelled) (JAPANESE)

### 2011/12/05

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

Obstructions to deforming curves on a uniruled 3-fold (JAPANESE)

**Hirokazu Nasu**(Tokai University)Obstructions to deforming curves on a uniruled 3-fold (JAPANESE)

[ Abstract ]

In this talk, I review some results from a joint work with Mukai:

1. a generalization of Mumford's example of a non-reduced component of the Hilbert scheme, and

2. a sufficient condition for a first order deformation of a curve on a uniruled 3-fold to be obstructed.

As a sequel of the study, we will discuss some obstructed deformations of degenerate curves on a higher dimensional scroll.

In this talk, I review some results from a joint work with Mukai:

1. a generalization of Mumford's example of a non-reduced component of the Hilbert scheme, and

2. a sufficient condition for a first order deformation of a curve on a uniruled 3-fold to be obstructed.

As a sequel of the study, we will discuss some obstructed deformations of degenerate curves on a higher dimensional scroll.

### 2011/12/01

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

Cyclic K-theory (ENGLISH)

**Dmitry Kaledin**(Steklov Mathematics Institute/ KIAS)Cyclic K-theory (ENGLISH)

[ Abstract ]

Cyclic K-theory is a variant of algebraic K-theory introduced by Goodwillie 25 years ago and more-or-less forgotten by now. I will try to convince the audience that cyclic K-theory is actually quite useful -- in particular, it can be effectively computed for varieties over a finite field.

Cyclic K-theory is a variant of algebraic K-theory introduced by Goodwillie 25 years ago and more-or-less forgotten by now. I will try to convince the audience that cyclic K-theory is actually quite useful -- in particular, it can be effectively computed for varieties over a finite field.

### 2011/11/28

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

Comparison with Gieseker stability and slope stability via Bridgeland's stability (JAPANESE)

**Kotaro Kawatani**(Kyoto University)Comparison with Gieseker stability and slope stability via Bridgeland's stability (JAPANESE)

[ Abstract ]

In this talk we compare two classical notions of stability (Gieseker stability and slope stability) for sheaves on K3 surfaces by using stability conditions which was introduced by Bridgeland. As a consequence of this work, we give a classification of 2 dimensional moduli spaces of sheaves on K3 surface depending on the rank of the sheaves.

In this talk we compare two classical notions of stability (Gieseker stability and slope stability) for sheaves on K3 surfaces by using stability conditions which was introduced by Bridgeland. As a consequence of this work, we give a classification of 2 dimensional moduli spaces of sheaves on K3 surface depending on the rank of the sheaves.

### 2011/11/14

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

On projective manifolds swept out by cubic varieties (JAPANESE)

**Kiwamu Watanabe**(University of Tokyo)On projective manifolds swept out by cubic varieties (JAPANESE)

[ Abstract ]

The structures of embedded complex projective manifolds swept out by varieties with preassigned properties have been studied by several authors. In this talk, we study structures of embedded projective manifolds swept out by cubic varieties.

The structures of embedded complex projective manifolds swept out by varieties with preassigned properties have been studied by several authors. In this talk, we study structures of embedded projective manifolds swept out by cubic varieties.

### 2011/11/07

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

Okounkov bodies and Seshadri constants (JAPANESE)

**Atsushi Ito**(University of Tokyo)Okounkov bodies and Seshadri constants (JAPANESE)

[ Abstract ]

Okounkov bodies, which are convex bodies associated to big line bundles, have rich information of the line bundles. On the other hand, Seshadri constants are invariants which measure the positivities of line bundles. In this talk, I will explain a relation between Okounkov bodies and Seshadri constants.

Okounkov bodies, which are convex bodies associated to big line bundles, have rich information of the line bundles. On the other hand, Seshadri constants are invariants which measure the positivities of line bundles. In this talk, I will explain a relation between Okounkov bodies and Seshadri constants.

### 2011/10/31

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

Minimal model theory for log surfaces (JAPANESE)

**Osamu Fujino**(Kyoto University)Minimal model theory for log surfaces (JAPANESE)

[ Abstract ]

We discuss the log minimal model theory for log sur- faces. We show that the log minimal model program, the finite generation of log canonical rings, and the log abundance theorem for log surfaces hold true under assumptions weaker than the usual framework of the log minimal model theory.

We discuss the log minimal model theory for log sur- faces. We show that the log minimal model program, the finite generation of log canonical rings, and the log abundance theorem for log surfaces hold true under assumptions weaker than the usual framework of the log minimal model theory.

### 2011/07/04

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

Birational Geometry of O'Grady's six dimensional example over the Donaldson-Uhlenbeck compactification (JAPANESE)

**Yasunari Nagai**(Waseda University)Birational Geometry of O'Grady's six dimensional example over the Donaldson-Uhlenbeck compactification (JAPANESE)

[ Abstract ]

O'Grady constructed two sporadic examples of compact irreducible symplectic Kaehler manifold, by resolving singular moduli spaces of sheaves on a K3 surface or an abelian surface. We will give a full description of the birational geometry of O'Grady's six dimensional example over the corresponding Donaldson-Uhlenbeck compactification, using an explicit calculation of certain kind of GIT quotients.

If time permits, we will also discuss an involution of the example induced by a Fourier-Mukai transformation.

O'Grady constructed two sporadic examples of compact irreducible symplectic Kaehler manifold, by resolving singular moduli spaces of sheaves on a K3 surface or an abelian surface. We will give a full description of the birational geometry of O'Grady's six dimensional example over the corresponding Donaldson-Uhlenbeck compactification, using an explicit calculation of certain kind of GIT quotients.

If time permits, we will also discuss an involution of the example induced by a Fourier-Mukai transformation.

### 2011/06/27

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

MMP revisited, II (ENGLISH)

**Vladimir Lazić**(Imperial College London)MMP revisited, II (ENGLISH)

[ Abstract ]

I will talk about how finite generation of certain adjoint rings implies everything we currently know about the MMP. This is joint work with A. Corti.

I will talk about how finite generation of certain adjoint rings implies everything we currently know about the MMP. This is joint work with A. Corti.

### 2011/06/07

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

Log canonical closure (ENGLISH)

**Chenyang Xu**(MIT)Log canonical closure (ENGLISH)

[ Abstract ]

(joint with Christopher Hacon) In this talk, we will address the problem on given a log canonical variety, how we compactify it. Our approach is via MMP. The result has a few applications. Especially I will explain the one on the moduli of stable schemes.

If time permits, I will also talk about how a similar approach can be applied to give a proof of the existence of log canonical flips and a conjecture due to Kollár on the geometry of log centers.

(joint with Christopher Hacon) In this talk, we will address the problem on given a log canonical variety, how we compactify it. Our approach is via MMP. The result has a few applications. Especially I will explain the one on the moduli of stable schemes.

If time permits, I will also talk about how a similar approach can be applied to give a proof of the existence of log canonical flips and a conjecture due to Kollár on the geometry of log centers.

### 2011/06/06

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

Multiplier ideals via Mather discrepancies (JAPANESE)

**Shihoko Ishii**(University of Tokyo)Multiplier ideals via Mather discrepancies (JAPANESE)

[ Abstract ]

For an arbitrary variety we define a multiplier ideal by using Mather discrepancy.

This ideal coincides with the usual multiplier ideal if the variety is normal and complete intersection.

In the talk I will show a local vanishing theorem for this ideal and as corollaries we obtain restriction theorem, subadditivity theorem, Skoda type theorem, and Briancon-Skoda type theorem.

For an arbitrary variety we define a multiplier ideal by using Mather discrepancy.

This ideal coincides with the usual multiplier ideal if the variety is normal and complete intersection.

In the talk I will show a local vanishing theorem for this ideal and as corollaries we obtain restriction theorem, subadditivity theorem, Skoda type theorem, and Briancon-Skoda type theorem.

### 2011/05/30

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

Kodaira Dimension of Irregular Varieties (ENGLISH)

**Jungkai Alfred Chen**(National Taiwan University and RIMS)Kodaira Dimension of Irregular Varieties (ENGLISH)

[ Abstract ]

$f:X\\to Y$ be an algebraic fiber space with generic geometric fiber $F$, $\\dim X=n$ and $\\dim Y=m$. Then Iitaka's $C_{n,m}$ conjecture states $$\\kappa (X)\\geq \\kappa (Y)+\\kappa (F).$$ In particular, if $X$ is a variety with $\\kappa(X)=0$ and $f: X \\to Y$ is the Albanese map, then Ueno conjecture that $\\kappa(F)=0$. One can regard Ueno’s conjecture an important test case of Iitaka’s conjecture in general.

These conjectures are of fundamental importance in the classification of higher dimensional complex projective varieties. In a recent joint work with Hacon, we are able to prove Ueno’s conjecture and $C_{n,m}$ conjecture holds when $Y$ is of maximal Albanese dimension. In this talk, we will introduce some relative results and briefly sketch the proof.

$f:X\\to Y$ be an algebraic fiber space with generic geometric fiber $F$, $\\dim X=n$ and $\\dim Y=m$. Then Iitaka's $C_{n,m}$ conjecture states $$\\kappa (X)\\geq \\kappa (Y)+\\kappa (F).$$ In particular, if $X$ is a variety with $\\kappa(X)=0$ and $f: X \\to Y$ is the Albanese map, then Ueno conjecture that $\\kappa(F)=0$. One can regard Ueno’s conjecture an important test case of Iitaka’s conjecture in general.

These conjectures are of fundamental importance in the classification of higher dimensional complex projective varieties. In a recent joint work with Hacon, we are able to prove Ueno’s conjecture and $C_{n,m}$ conjecture holds when $Y$ is of maximal Albanese dimension. In this talk, we will introduce some relative results and briefly sketch the proof.

### 2011/05/23

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

Alpha invariant and K-stability of Fano varieties (JAPANESE)

**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).

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/16

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

On images of Mori dream spaces (JAPANESE)

**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.

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/09

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

Fourier--Mukai partners of elliptic ruled surfaces (JAPANESE)

**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.

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.

### 2011/05/02

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

Projective varieties admitting an embedding with Gauss map of rank zero (JAPANESE)

**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).

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/25

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

Mirror symmetry and projective geometry of Reye congruences (JAPANESE)

**Hiromichi Takagi**(University of Tokyo)Mirror symmetry and projective geometry of Reye congruences (JAPANESE)

[ Abstract ]

This is a joint work with Shinobu Hosono.

It is well-known that the projective dual of the second Veronese variety v_2(P^n) is the symmetric determinantal hypersurface H. However, in the context of homological projective duality after Kuznetsov, it is natural to consider that the Chow^2 P^n and H are dual (note that Chow^2 P^n is the secant variety of v_2(P^n)).

Though we did not yet formulate what this duality exactly means in full generality, we show some results in this context for the values n¥leq 4.

For example, let n=4. We consider Chow^2 P^4 in P(S^2 V) and H in P(S^2 V^*), where V is the vector space such that P^4 =P(V). Take a general 4-plane P in

P(S^2 V^*) and let P' be the orthogonal space to P in P(S^2 V). Then X:=Chow^2 P^4 ¥cap P' is a smooth Calabi-Yau 3-fold, and there exists a natural double cover Y -> H¥cap P with a smooth Calabi-Yau 3-fold Y. It is easy to check

that X and Y are not birational each other.

Our main result asserts the derived equivalence of X and Y. This derived equivalence is given by the Fourier Mukai functor D(X)-> D(Y) whose kernel is the ideal sheaf in X×Y of a flat family of curves on Y parameterized by X.

Curves on Y in this family have degree 5 and arithmetic genus 3, and these have a nice interpretation by a BPS number of Y. The proof of the derived equivalence is slightly involved so I explain a similar result in the case where n=3. In this case, we obtain a fully faithful functor from D(X)-> D(Y), where X is a so called the Reye congruence Enriques surface and Y is the 'big resolution' of the Artin-Mumford quartic double solid.

This is a joint work with Shinobu Hosono.

It is well-known that the projective dual of the second Veronese variety v_2(P^n) is the symmetric determinantal hypersurface H. However, in the context of homological projective duality after Kuznetsov, it is natural to consider that the Chow^2 P^n and H are dual (note that Chow^2 P^n is the secant variety of v_2(P^n)).

Though we did not yet formulate what this duality exactly means in full generality, we show some results in this context for the values n¥leq 4.

For example, let n=4. We consider Chow^2 P^4 in P(S^2 V) and H in P(S^2 V^*), where V is the vector space such that P^4 =P(V). Take a general 4-plane P in

P(S^2 V^*) and let P' be the orthogonal space to P in P(S^2 V). Then X:=Chow^2 P^4 ¥cap P' is a smooth Calabi-Yau 3-fold, and there exists a natural double cover Y -> H¥cap P with a smooth Calabi-Yau 3-fold Y. It is easy to check

that X and Y are not birational each other.

Our main result asserts the derived equivalence of X and Y. This derived equivalence is given by the Fourier Mukai functor D(X)-> D(Y) whose kernel is the ideal sheaf in X×Y of a flat family of curves on Y parameterized by X.

Curves on Y in this family have degree 5 and arithmetic genus 3, and these have a nice interpretation by a BPS number of Y. The proof of the derived equivalence is slightly involved so I explain a similar result in the case where n=3. In this case, we obtain a fully faithful functor from D(X)-> D(Y), where X is a so called the Reye congruence Enriques surface and Y is the 'big resolution' of the Artin-Mumford quartic double solid.

### 2011/04/18

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

Ideal-adic semi-continuity problem for minimal log discrepancies (JAPANESE)

**Masayuki Kawakita**(Research Institute for Mathematical Sciences, Kyoto University)Ideal-adic semi-continuity problem for minimal log discrepancies (JAPANESE)

[ Abstract ]

De Fernex, Ein and Mustaţă, after Kollár, proved the ideal-adic semi-continuity of log canonicity to obtain Shokurov's ACC conjecture for log canonical thresholds on l.c.i. varieties. I discuss its generalisation to minimal log discrepancies, proposed by Mustaţă.

De Fernex, Ein and Mustaţă, after Kollár, proved the ideal-adic semi-continuity of log canonicity to obtain Shokurov's ACC conjecture for log canonical thresholds on l.c.i. varieties. I discuss its generalisation to minimal log discrepancies, proposed by Mustaţă.

### 2011/01/31

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

Restriction maps to the Coble quartic (ENGLISH)

**Sukmoon Huh**(KIAS)Restriction maps to the Coble quartic (ENGLISH)

[ Abstract ]

The Coble sixfold quartic is the moduli space of semi-stable vector bundle of rank 2 on a non-hyperelliptic curve of genus 3 with canonical determinant. Considering the curve as a plane quartic, we investigate the restriction of the semi-stable sheaves over the projective plane to the curve. We suggest a positive side of this trick in the study of the moduli space of vector bundles over curves by showing several examples such as Brill-Noether loci and a few rational subvarieties of the Coble quartic. In a later part of the talk, we introduce the rationality problem of the Coble quartic. If the time permits, we will apply the same idea to the moduli space of bundles over curves of genus 4 to derive some geometric properties of the Brill-Noether loci in the case of genus 4.

The Coble sixfold quartic is the moduli space of semi-stable vector bundle of rank 2 on a non-hyperelliptic curve of genus 3 with canonical determinant. Considering the curve as a plane quartic, we investigate the restriction of the semi-stable sheaves over the projective plane to the curve. We suggest a positive side of this trick in the study of the moduli space of vector bundles over curves by showing several examples such as Brill-Noether loci and a few rational subvarieties of the Coble quartic. In a later part of the talk, we introduce the rationality problem of the Coble quartic. If the time permits, we will apply the same idea to the moduli space of bundles over curves of genus 4 to derive some geometric properties of the Brill-Noether loci in the case of genus 4.

### 2011/01/17

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

L^2 methods and Skoda division theorems (ENGLISH)

**Dano Kim**(KIAS)L^2 methods and Skoda division theorems (ENGLISH)

[ Abstract ]

Extension of Ohsawa-Takegoshi type and division of Skoda type are two important consequences of the L^2 methods of Hormander, Demailly and others. They are analogous to vanishing theorems of Kodaira type and can be viewed as some refinement of the vanishing. The best illustration of their usefulness up to now is Siu’s proof of invariance of plurigenera without general type assumption. In this talk, we will focus on the division theorem / problem and talk about its currently known cases (old and new). One motivation comes from yet another viewpoint on the finite generation of canonical ring.

Extension of Ohsawa-Takegoshi type and division of Skoda type are two important consequences of the L^2 methods of Hormander, Demailly and others. They are analogous to vanishing theorems of Kodaira type and can be viewed as some refinement of the vanishing. The best illustration of their usefulness up to now is Siu’s proof of invariance of plurigenera without general type assumption. In this talk, we will focus on the division theorem / problem and talk about its currently known cases (old and new). One motivation comes from yet another viewpoint on the finite generation of canonical ring.

### 2010/12/20

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

On the minimal model theory from a viewpoint of numerical invariants (JAPANESE)

**Yoshinori Gongyo**(Univ. of Tokyo)On the minimal model theory from a viewpoint of numerical invariants (JAPANESE)

[ Abstract ]

I will introduce the numerical Kodaira dimension for pseudo-effective divisors after N. Nakayama and explain the minimal model theory of numerical Kodaira dimension zero. I also will talk about the applications. ( partially joint work with B. Lehmann.)

I will introduce the numerical Kodaira dimension for pseudo-effective divisors after N. Nakayama and explain the minimal model theory of numerical Kodaira dimension zero. I also will talk about the applications. ( partially joint work with B. Lehmann.)

### 2010/12/13

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

Enumeration of plane curves and labeled floor diagrams (ENGLISH)

**Sergey Fomin**(University of Michigan)Enumeration of plane curves and labeled floor diagrams (ENGLISH)

[ Abstract ]

Floor diagrams are a class of weighted oriented graphs introduced by E. Brugalle and G. Mikhalkin. Tropical geometry arguments yield combinatorial descriptions of (ordinary and relative) Gromov-Witten invariants of projective spaces in terms of floor diagrams and their generalizations. In the case of the projective plane, these descriptions can be used to obtain new formulas for the corresponding enumerative invariants. In particular, we give a proof of Goettsche's polynomiality conjecture for plane curves, and enumerate plane rational curves of given degree passing through given points and having maximal tangency to a given line. On the combinatorial side, we show that labeled floor diagrams of genus 0 are equinumerous to labeled trees, and therefore counted by the celebrated Cayley's formula. The corresponding bijections lead to interpretations of the Kontsevich numbers (the genus-0 Gromov-Witten invariants of the projective plane) in terms of certain statistics on trees.

This is joint work with Grisha Mikhalkin.

Floor diagrams are a class of weighted oriented graphs introduced by E. Brugalle and G. Mikhalkin. Tropical geometry arguments yield combinatorial descriptions of (ordinary and relative) Gromov-Witten invariants of projective spaces in terms of floor diagrams and their generalizations. In the case of the projective plane, these descriptions can be used to obtain new formulas for the corresponding enumerative invariants. In particular, we give a proof of Goettsche's polynomiality conjecture for plane curves, and enumerate plane rational curves of given degree passing through given points and having maximal tangency to a given line. On the combinatorial side, we show that labeled floor diagrams of genus 0 are equinumerous to labeled trees, and therefore counted by the celebrated Cayley's formula. The corresponding bijections lead to interpretations of the Kontsevich numbers (the genus-0 Gromov-Witten invariants of the projective plane) in terms of certain statistics on trees.

This is joint work with Grisha Mikhalkin.

### 2010/11/29

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

K3 surfaces and log del Pezzo surfaces of index three (JAPANESE)

**Hisanori Ohashi**(Nagoya Univ. )K3 surfaces and log del Pezzo surfaces of index three (JAPANESE)

[ Abstract ]

Alexeev and Nikulin have classified log del Pezzo surfaces of index 1 and 2 by using the classification of non-symplectic involutions on K3 surfaces. We want to discuss the generalization of this result to the index 3 cases. In this case we are also able to construct log del Pezzos $Z$ from K3 surfaces $X$, but the converse is not necessarily true. The condition on $Z$ is exactly the "multiple smooth divisor property", which we will define. Our theorem is the classification of log del Pezzo surfaces of index 3 with this property.

The idea of the proof is similar to that of Alexeev and Nikulin, but the methods are different because of the existence of singularities: although the singularity is mild, the description of nef cone by reflection groups cannot be used. Instead

we construct and analyze good elliptic fibrations on K3 surfaces $X$ and use it to obtain the classification. It includes a partial but geometric generalization of the classification of non-symplectic automorphisms of order three, recently done by Artebani, Sarti and Taki.

Alexeev and Nikulin have classified log del Pezzo surfaces of index 1 and 2 by using the classification of non-symplectic involutions on K3 surfaces. We want to discuss the generalization of this result to the index 3 cases. In this case we are also able to construct log del Pezzos $Z$ from K3 surfaces $X$, but the converse is not necessarily true. The condition on $Z$ is exactly the "multiple smooth divisor property", which we will define. Our theorem is the classification of log del Pezzo surfaces of index 3 with this property.

The idea of the proof is similar to that of Alexeev and Nikulin, but the methods are different because of the existence of singularities: although the singularity is mild, the description of nef cone by reflection groups cannot be used. Instead

we construct and analyze good elliptic fibrations on K3 surfaces $X$ and use it to obtain the classification. It includes a partial but geometric generalization of the classification of non-symplectic automorphisms of order three, recently done by Artebani, Sarti and Taki.

### 2010/11/16

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

Self-corresponences of K3 surfaces via moduli of sheaves (ENGLISH)

**Viacheslav Nikulin**(Univ Liverpool and Steklov Moscow)Self-corresponences of K3 surfaces via moduli of sheaves (ENGLISH)

[ Abstract ]

In series of our papers with Carlo Madonna (2002--2008) we described self-correspondences via moduli of sheaves with primitive isotropic Mukai vectors for K3 surfaces with Picard number one or two. Here, we give a natural and functorial answer to the same problem for arbitrary Picard number of K3 surfaces. As an application, we characterize in terms of self-correspondences via moduli of sheaves K3 surfaces with reflective Picard lattices, that is when the automorphism group of the lattice is generated by reflections up to finite index. See some details in arXiv:0810.2945.

In series of our papers with Carlo Madonna (2002--2008) we described self-correspondences via moduli of sheaves with primitive isotropic Mukai vectors for K3 surfaces with Picard number one or two. Here, we give a natural and functorial answer to the same problem for arbitrary Picard number of K3 surfaces. As an application, we characterize in terms of self-correspondences via moduli of sheaves K3 surfaces with reflective Picard lattices, that is when the automorphism group of the lattice is generated by reflections up to finite index. See some details in arXiv:0810.2945.