## Algebraic Geometry Seminar

Seminar information archive ～12/05｜Next seminar｜Future seminars 12/06～

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

**Seminar information archive**

### 2022/11/29

10:30-11:30 Room #ハイブリッド開催/002 (Graduate School of Math. Sci. Bldg.)

The behaviour of Kahler-Einstein polygons under combinatorial mutation

(English)

**Thomas Hall**(University of Nottingham)The behaviour of Kahler-Einstein polygons under combinatorial mutation

(English)

[ Abstract ]

Combinatorial mutations play an important role in the mirror symmetry approach to the classification of Fano varieties. Another important notion for Fano varieties is that of K-polystability, which turns out to have a nice combinatorial characterisation in the toric case. In this talk, I will give an overview of how mutations work and sketch the key ideas used to explore its interaction with Kahler-Einstein polygons (i.e. the Fano polygons whose associated toric variety is K-polystable).

Combinatorial mutations play an important role in the mirror symmetry approach to the classification of Fano varieties. Another important notion for Fano varieties is that of K-polystability, which turns out to have a nice combinatorial characterisation in the toric case. In this talk, I will give an overview of how mutations work and sketch the key ideas used to explore its interaction with Kahler-Einstein polygons (i.e. the Fano polygons whose associated toric variety is K-polystable).

### 2022/11/22

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

Non-free sections of Fano fibrations (日本語)

**Sho Tanimoto**(Nagoya)Non-free sections of Fano fibrations (日本語)

[ Abstract ]

Manin’s Conjecture predicts the asymptotic formula for the counting function of rational points over number fields or global function fields. In the late 80’s, Batyrev developed a heuristic argument for Manin’s Conjecture over global function fields, and the assumptions underlying Batyrev’s heuristics are refined and formulated as Geometric Manin’s Conjecture. Geometric Manin’s Conjecture is a set of conjectures regarding properties of the space of sections of Fano fibrations, and it consists of three conjectures: (i) Pathological components are controlled by Fujita invariants; (ii) For each nef algebraic class, a non-pathological component which should be counted in Manin’s Conjecture is unique (This component is called as Manin components); (iii) Manin components exhibit homological or motivic stability. In this talk we discuss our proofs of GMC (i) over complex numbers using theory of foliations and the minimal model program. Using this result, we prove that these pathological components are coming from a bounded family of accumulating maps. This is joint work in progress with Brian Lehmann and Eric Riedl.

Manin’s Conjecture predicts the asymptotic formula for the counting function of rational points over number fields or global function fields. In the late 80’s, Batyrev developed a heuristic argument for Manin’s Conjecture over global function fields, and the assumptions underlying Batyrev’s heuristics are refined and formulated as Geometric Manin’s Conjecture. Geometric Manin’s Conjecture is a set of conjectures regarding properties of the space of sections of Fano fibrations, and it consists of three conjectures: (i) Pathological components are controlled by Fujita invariants; (ii) For each nef algebraic class, a non-pathological component which should be counted in Manin’s Conjecture is unique (This component is called as Manin components); (iii) Manin components exhibit homological or motivic stability. In this talk we discuss our proofs of GMC (i) over complex numbers using theory of foliations and the minimal model program. Using this result, we prove that these pathological components are coming from a bounded family of accumulating maps. This is joint work in progress with Brian Lehmann and Eric Riedl.

### 2022/11/15

10:30-12:00 Room #ハイブリッド開催/002 (Graduate School of Math. Sci. Bldg.)

Positivity of anticanonical divisors in algebraic fibre spaces (日本語)

**Chi-Kang Chang**(NTU/Tokyo)Positivity of anticanonical divisors in algebraic fibre spaces (日本語)

[ Abstract ]

It is known that the positivity of the anti-canonical divisor is an important property that is closely related to the geometric structure of a variety. Given an algebraic fibre space f : X → Y between normal projective varieties with mild singularities, and let F be a general fibre of f. In this talk, we will introduce results relating the positivity of −KX and −KY under some conditions on the asymptotic base loci of −KX. In particular, we will obtain an inequality between the anti-canonical Iitaka dimensions κ(X, −KX) ≤ κ(F, −KF ) + κ(Y, −KY ) under the assumption that the stable base locus B(−KX) does not dominant over Y .

It is known that the positivity of the anti-canonical divisor is an important property that is closely related to the geometric structure of a variety. Given an algebraic fibre space f : X → Y between normal projective varieties with mild singularities, and let F be a general fibre of f. In this talk, we will introduce results relating the positivity of −KX and −KY under some conditions on the asymptotic base loci of −KX. In particular, we will obtain an inequality between the anti-canonical Iitaka dimensions κ(X, −KX) ≤ κ(F, −KF ) + κ(Y, −KY ) under the assumption that the stable base locus B(−KX) does not dominant over Y .

### 2022/11/01

10:30-12:00 Room #ハイブリッド開催/002 (Graduate School of Math. Sci. Bldg.)

Extendability of differential forms via Cartier operators (Japanese)

**Tatsuro Kawakami**(Kyoto)Extendability of differential forms via Cartier operators (Japanese)

[ Abstract ]

For a normal variety X, we say X satisfies the extension theorem if, for every proper birational morphism from Y, every differential form on the regular locus of X extends to Y. This is a basic property relating differential forms and singularities, and many results are known over the field of complex numbers.

In this talk, we discuss the extension theorem in positive characteristic. Existing studies depend on geometric tools such as log resolutions, (mixed) Hodge theory, the minimal model program, and vanishing theorems, which are not expected to be true or are not known for higher-dimensional varieties in positive characteristic.

For this reason, I introduce a new algebraic approach to the extension theorem using Cartier operators. I also talk about an application of the theory of quasi-F-splitting, which is studied in joint work with Takamatsu-Tanaka-Witaszek-Yobuko-Yoshikawa, to the extension problem.

For a normal variety X, we say X satisfies the extension theorem if, for every proper birational morphism from Y, every differential form on the regular locus of X extends to Y. This is a basic property relating differential forms and singularities, and many results are known over the field of complex numbers.

In this talk, we discuss the extension theorem in positive characteristic. Existing studies depend on geometric tools such as log resolutions, (mixed) Hodge theory, the minimal model program, and vanishing theorems, which are not expected to be true or are not known for higher-dimensional varieties in positive characteristic.

For this reason, I introduce a new algebraic approach to the extension theorem using Cartier operators. I also talk about an application of the theory of quasi-F-splitting, which is studied in joint work with Takamatsu-Tanaka-Witaszek-Yobuko-Yoshikawa, to the extension problem.

### 2022/10/25

10:30-11:45 Room #ハイブリッド開催/002 (Graduate School of Math. Sci. Bldg.)

Projective normality of general polarized abelian varieties (Japanese)

**Atsushi Ito**(Okayama)Projective normality of general polarized abelian varieties (Japanese)

[ Abstract ]

Projective normality is an important property of polarized varieties. Hwang and To prove that a general polarized abelian variety $(X,L)$ of dimension $g$ is projectively normal if $\chi(X,L) \geq (8g)^g/2g!$. In this talk, I will explain that their bound can be weaken as $\chi(X,L) > 2^{2g-1}$, which is sharp. A key tool in the proof is an invariant introduced by Jiang and Pareschi, which measures the basepoint freeness of $\mathbb{Q}$-divisors on abelian varieties.

Projective normality is an important property of polarized varieties. Hwang and To prove that a general polarized abelian variety $(X,L)$ of dimension $g$ is projectively normal if $\chi(X,L) \geq (8g)^g/2g!$. In this talk, I will explain that their bound can be weaken as $\chi(X,L) > 2^{2g-1}$, which is sharp. A key tool in the proof is an invariant introduced by Jiang and Pareschi, which measures the basepoint freeness of $\mathbb{Q}$-divisors on abelian varieties.

### 2022/10/05

13:00-14:00 Room #056 (Graduate School of Math. Sci. Bldg.)

Equivariant birational geometry (joint with A. Kresch) (English)

**Yuri Tschinkel**(Mathematics and Physical Sciences Division, Simons Foundation/ Courant Institute, New York University)Equivariant birational geometry (joint with A. Kresch) (English)

[ Abstract ]

Ideas from motivic integration led to the introduction of new invariants in equivariant birational geometry, the study of actions of finite groups on algebraic varieties, up to equivariant birational transformations.

These invariants allow us to distinguish actions in many new cases, shedding light on the structure of the Cremona group. The structure of the invariants themselves is also interesting: there are unexpected connections to modular curves and cohomology of arithmetic groups.

Ideas from motivic integration led to the introduction of new invariants in equivariant birational geometry, the study of actions of finite groups on algebraic varieties, up to equivariant birational transformations.

These invariants allow us to distinguish actions in many new cases, shedding light on the structure of the Cremona group. The structure of the invariants themselves is also interesting: there are unexpected connections to modular curves and cohomology of arithmetic groups.

### 2021/07/21

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

Cancelled

TBA (日本語)

Cancelled

**Keisuke Miyamoto**(Osaka)TBA (日本語)

[ Abstract ]

TBA

TBA

### 2021/07/05

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

Birational geometry of foliations (English)

**Paolo Cascini**(Imperial College London)Birational geometry of foliations (English)

[ Abstract ]

I will survey about some recent progress towards the Minimal Model Program for foliations on complex varieties, focusing mainly on the case of threefolds and the case of algebraically integrable foliations.

I will survey about some recent progress towards the Minimal Model Program for foliations on complex varieties, focusing mainly on the case of threefolds and the case of algebraically integrable foliations.

### 2021/07/01

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

An O-acyclic variety of even index

**Fumiaki Suzuki**(UCLA)An O-acyclic variety of even index

[ Abstract ]

I will construct a family of Enriques surfaces parametrized by P^1 such that any multi-section has even degree over the base P^1. Over the function field of a complex curve, this gives the first example of an O-acyclic variety (H^i(X,O)=0 for i>0) whose index is not equal to one, and an affirmative answer to a question of Colliot-Thélène and Voisin. I will also discuss applications to related problems, including the integral Hodge conjecture and Murre’s question on universality of the Abel-Jacobi maps. This is joint work with John Christian Ottem.

I will construct a family of Enriques surfaces parametrized by P^1 such that any multi-section has even degree over the base P^1. Over the function field of a complex curve, this gives the first example of an O-acyclic variety (H^i(X,O)=0 for i>0) whose index is not equal to one, and an affirmative answer to a question of Colliot-Thélène and Voisin. I will also discuss applications to related problems, including the integral Hodge conjecture and Murre’s question on universality of the Abel-Jacobi maps. This is joint work with John Christian Ottem.

### 2021/06/14

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

Rank two weak Fano bundles on del Pezzo threefolds of degree 5 (日本語)

Zoom

**Wahei Hara**(University of Glasgow)Rank two weak Fano bundles on del Pezzo threefolds of degree 5 (日本語)

[ Abstract ]

None

[ Reference URL ]None

Zoom

### 2021/06/09

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

Rational simple connectedness and Fano threefolds (English)

Zoom

**Andrea Fanelli**(Bordeaux)Rational simple connectedness and Fano threefolds (English)

[ Abstract ]

The notion of rational simple connectedness can be seen as an algebro-geometric analogue of simple connectedness in topology. The work of de Jong, He and Starr has already produced several recent studies to understand this notion.

In this talk I will discuss the joint project with Laurent Gruson and Nicolas Perrin to study rational simple connectedness for Fano threefolds via explicit methods from birational geometry.

[ Reference URL ]The notion of rational simple connectedness can be seen as an algebro-geometric analogue of simple connectedness in topology. The work of de Jong, He and Starr has already produced several recent studies to understand this notion.

In this talk I will discuss the joint project with Laurent Gruson and Nicolas Perrin to study rational simple connectedness for Fano threefolds via explicit methods from birational geometry.

Zoom

### 2021/06/02

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

Quasiexcellence implies strong generation (日本語)

Zoom

**Ko Aoki**(Tokyo)Quasiexcellence implies strong generation (日本語)

[ Abstract ]

BondalとVan den Berghは（小さい）三角圏からの反変関手がいつ表現可能かという問題の考察の中で、対象が三角圏を強生成(strongly generate)することの定義を導入した。強生成する対象が存在するときは良い表現可能性定理が成立する。

どのような有限次元Noetherスキームに対してその連接層の導来圏が強生成であるかについてはBondal–Van den Bergh以降Rouquier, Keller–Van den Bergh, Aihara–Takahashi, Iyengar–Takahashiなどにより多くの結果が得られていたが、最近Neemanは別の手法を用いてそれをalterationが適用できる分離Noetherスキームに対して示した。それを講演者はGabberのweak local uniformizationを用いることでさらに分離的準優秀スキームにまで拡張した。講演ではこの結果およびその証明の手法を紹介する。

[ Reference URL ]BondalとVan den Berghは（小さい）三角圏からの反変関手がいつ表現可能かという問題の考察の中で、対象が三角圏を強生成(strongly generate)することの定義を導入した。強生成する対象が存在するときは良い表現可能性定理が成立する。

どのような有限次元Noetherスキームに対してその連接層の導来圏が強生成であるかについてはBondal–Van den Bergh以降Rouquier, Keller–Van den Bergh, Aihara–Takahashi, Iyengar–Takahashiなどにより多くの結果が得られていたが、最近Neemanは別の手法を用いてそれをalterationが適用できる分離Noetherスキームに対して示した。それを講演者はGabberのweak local uniformizationを用いることでさらに分離的準優秀スキームにまで拡張した。講演ではこの結果およびその証明の手法を紹介する。

Zoom

### 2021/05/26

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

Multiplier ideals via ultraproducts (日本語)

**Itsuki Yamaguchi**(Tokyo)Multiplier ideals via ultraproducts (日本語)

[ Abstract ]

正標数の可換環と複素数体上の可換環の性質を比較する方法の一つにultraproductを用いた手法がある. このultraproductは超準解析において超実数の構成などに用いられているものである. これを可換環論へ応用する研究としてSchoutensによるnon-standard hullがある. この手法は等標数0の局所環に対するbig Cohen-Macaulay 代数の構成などにも応用がある. 彼の研究の一つに川又対数端末特異点のultraproductを用いた特徴付けがある. 本講演では, この結果の一般化として乗数イデアルがultraproductを用いて記述できることを説明する.

正標数の可換環と複素数体上の可換環の性質を比較する方法の一つにultraproductを用いた手法がある. このultraproductは超準解析において超実数の構成などに用いられているものである. これを可換環論へ応用する研究としてSchoutensによるnon-standard hullがある. この手法は等標数0の局所環に対するbig Cohen-Macaulay 代数の構成などにも応用がある. 彼の研究の一つに川又対数端末特異点のultraproductを用いた特徴付けがある. 本講演では, この結果の一般化として乗数イデアルがultraproductを用いて記述できることを説明する.

### 2021/05/17

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

Calabi problem for smooth Fano threefolds (English)

**Ivan Cheltsov**(Edinburgh)Calabi problem for smooth Fano threefolds (English)

[ Abstract ]

In this talk I will explain which three-dimensional complex Fano manifolds admit Kahler-Einstein metrics.

In this talk I will explain which three-dimensional complex Fano manifolds admit Kahler-Einstein metrics.

### 2021/05/13

9:00-10:00 Room #zoom (Graduate School of Math. Sci. Bldg.)

いつもと日時が異なります。京大と共催

Relative vanishing theorems for schemes of equal characteristic zero (Englishg)

いつもと日時が異なります。京大と共催

**Takumi Murayama**(Princeton)Relative vanishing theorems for schemes of equal characteristic zero (Englishg)

[ Abstract ]

In 1953, Kodaira proved the Kodaira vanishing theorem, which states that if L is an ample divisor on a complex projective manifold X, then H^i(X,-L) = 0 for all i < dim(X). Since then, Kodaira's theorem and its generalizations have become indispensable tools in algebraic geometry over fields of characteristic zero. Even in this context, however, it is often necessary to work with schemes of finite type over power series rings, and a fundamental problem has been the lack of vanishing theorems in this setting.

We prove the analogue of the Kawamata-Viehweg vanishing theorem for proper morphisms of schemes of equal characteristic zero, which implies Kodaira's vanishing theorem in this context. This result resolves conjectures of Boutot and Kawakita, and is an important ingredient toward establishing the minimal model program for excellent schemes of equal characteristic zero.

In 1953, Kodaira proved the Kodaira vanishing theorem, which states that if L is an ample divisor on a complex projective manifold X, then H^i(X,-L) = 0 for all i < dim(X). Since then, Kodaira's theorem and its generalizations have become indispensable tools in algebraic geometry over fields of characteristic zero. Even in this context, however, it is often necessary to work with schemes of finite type over power series rings, and a fundamental problem has been the lack of vanishing theorems in this setting.

We prove the analogue of the Kawamata-Viehweg vanishing theorem for proper morphisms of schemes of equal characteristic zero, which implies Kodaira's vanishing theorem in this context. This result resolves conjectures of Boutot and Kawakita, and is an important ingredient toward establishing the minimal model program for excellent schemes of equal characteristic zero.

### 2021/04/28

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

Dimensional reduction in cohomological Donaldson-Thomas theory (日本語)

**Tasuki Kinjo**(Tokyo/IPMU)Dimensional reduction in cohomological Donaldson-Thomas theory (日本語)

[ Abstract ]

None

None

### 2021/04/21

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

A decomposition formula for J-stability and its applications (日本語)

**Masafumi Hattori**(Kyoto)A decomposition formula for J-stability and its applications (日本語)

[ Abstract ]

J-stability is an analog of K-stability and plays an important role in K-stability for general polarized varieties (not only for Kahler-Einstein metrics). Strikingly, G.Chen proved uniform J-stability and slope uniform J-stability are equivalent, analogous to Ross-Thomas slope theory and Mumford-Takemoto slope theory for vector bundles, by differential geometric arguments recently. However, this fact has not been proved in algebro-geometric way before. In this talk, I would like to explain a decomposition formula of non-Archimedean J-functional, the (n+1)-dimensional intersection number into n-dimensional intersection numbers and its applications to prove the fact for surfaces and to construct a K-stable but not uniformly K-stable lc pair. Based on arXiv:2103.04603

J-stability is an analog of K-stability and plays an important role in K-stability for general polarized varieties (not only for Kahler-Einstein metrics). Strikingly, G.Chen proved uniform J-stability and slope uniform J-stability are equivalent, analogous to Ross-Thomas slope theory and Mumford-Takemoto slope theory for vector bundles, by differential geometric arguments recently. However, this fact has not been proved in algebro-geometric way before. In this talk, I would like to explain a decomposition formula of non-Archimedean J-functional, the (n+1)-dimensional intersection number into n-dimensional intersection numbers and its applications to prove the fact for surfaces and to construct a K-stable but not uniformly K-stable lc pair. Based on arXiv:2103.04603

### 2021/04/14

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

Arithmetic deformation of F-singularities (日本語)

**Kenta Sato**(Kyushu)Arithmetic deformation of F-singularities (日本語)

[ Abstract ]

None

None

### 2020/03/02

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

Semiorthogonal decompositions for singular varieties (English)

**Evgeny Shinder**(The University of Sheffield)Semiorthogonal decompositions for singular varieties (English)

[ Abstract ]

I will define the semiorthogonal decomposition for derived categories of singular projective varieties due to Professor Kawamata, into finite-dimensional algebras, generalizing the concept of an exceptional collection in the smooth case. I will present known constructions of these for nodal curves (Burban), torsion-free toric surfaces (Karmazyn-Kuznetsov-Shinder) and two nodal threefolds (Kawamata). I will also explain obstructions coming from the K_{-1} group, and how it translates to maximal nonfactoriality in the nodal threefold case. This is joint work with M.Kalck and N.Pavic.

I will define the semiorthogonal decomposition for derived categories of singular projective varieties due to Professor Kawamata, into finite-dimensional algebras, generalizing the concept of an exceptional collection in the smooth case. I will present known constructions of these for nodal curves (Burban), torsion-free toric surfaces (Karmazyn-Kuznetsov-Shinder) and two nodal threefolds (Kawamata). I will also explain obstructions coming from the K_{-1} group, and how it translates to maximal nonfactoriality in the nodal threefold case. This is joint work with M.Kalck and N.Pavic.

### 2020/02/21

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

Keel's theorem and quotients in mixed characteristic (English)

http://www-personal.umich.edu/~jakubw/

**Jakub Witaszek**(Michigan)Keel's theorem and quotients in mixed characteristic (English)

[ Abstract ]

In trying to understand characteristic zero varieties one can apply a wide range of techniques coming from analytic methods such as vanishing theorems. More complicated though they are, positive characteristic varieties come naturally with Frobenius action which sometimes allows for imitating analytic proofs or even showing results which are false over complex numbers. Of all the three classes, the mixed characteristic varieties are the most difficult to understand as they represent the worst of both worlds: one lacks the analytic methods as well the Frobenius action.

What is key for many applications of Frobenius in positive characteristic (to birational geometry, moduli theory, constructing quotients, etc.) is the fact that every universal homeomorphism of algebraic varieties factors through a power of Frobenius. In this talk I will discuss an analogue of this fact (and applications thereof) in mixed characteristic.

[ Reference URL ]In trying to understand characteristic zero varieties one can apply a wide range of techniques coming from analytic methods such as vanishing theorems. More complicated though they are, positive characteristic varieties come naturally with Frobenius action which sometimes allows for imitating analytic proofs or even showing results which are false over complex numbers. Of all the three classes, the mixed characteristic varieties are the most difficult to understand as they represent the worst of both worlds: one lacks the analytic methods as well the Frobenius action.

What is key for many applications of Frobenius in positive characteristic (to birational geometry, moduli theory, constructing quotients, etc.) is the fact that every universal homeomorphism of algebraic varieties factors through a power of Frobenius. In this talk I will discuss an analogue of this fact (and applications thereof) in mixed characteristic.

http://www-personal.umich.edu/~jakubw/

### 2020/01/21

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

(Few) rational curves on K3 surfaces (English)

**Matthias Schütt**(Universität Hannover)(Few) rational curves on K3 surfaces (English)

[ Abstract ]

Rational curves play a fundamental role for the structure of a K3 surface. I will first review the general theory before focussing on the case of low degree curves where joint work with S. Rams (Krakow) extends bounds of Miyaoka and Degtyarev. Time permitting, I will also discuss the special case of smooth rational curves as well as applications to Enriques surfaces.

Rational curves play a fundamental role for the structure of a K3 surface. I will first review the general theory before focussing on the case of low degree curves where joint work with S. Rams (Krakow) extends bounds of Miyaoka and Degtyarev. Time permitting, I will also discuss the special case of smooth rational curves as well as applications to Enriques surfaces.

### 2019/12/03

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

Moduli of K3 surfaces via cubic 4-folds (English)

**Gavril Farkas**(Humboldt Univ. Berlin)Moduli of K3 surfaces via cubic 4-folds (English)

[ Abstract ]

In a celebrated series of papers, Mukai established structure theorems for polarized K3 surfaces of all genera g<21, with the exception of the case g=14. Using the identification between certain moduli spaces of polarized K3 surfaces of genera 14 and the moduli space of special cubic fourfolds of given discriminant, we discuss a novel approach to moduli spaces of K3 surfaces. As an application, we establish the rationality of the universal K3 surface of these genus 14,22. This is joint work with A. Verra.

In a celebrated series of papers, Mukai established structure theorems for polarized K3 surfaces of all genera g<21, with the exception of the case g=14. Using the identification between certain moduli spaces of polarized K3 surfaces of genera 14 and the moduli space of special cubic fourfolds of given discriminant, we discuss a novel approach to moduli spaces of K3 surfaces. As an application, we establish the rationality of the universal K3 surface of these genus 14,22. This is joint work with A. Verra.

### 2019/10/30

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

A Tannakian perspective on rigid analytic geometry (English)

**Andrew Macpherson**(IPMU)A Tannakian perspective on rigid analytic geometry (English)

[ Abstract ]

Raynaud's conception of analytic geometry contends that the category of analytic spaces over a non-Archimedean field is a (suitably "geometric") localisation of the category of formal schemes over the ring of integers at a class of modifications "along the central fibre". Unfortunately, as with all existing presentations of non-Archimedean geometry, this viewpoint is confounded by a proliferation of technical difficulties if one does not impose absolute finiteness conditions on the formal schemes under consideration.

I will argue that by combining Raynaud's idea with a Tannakian perspective which prioritises the module category, we can obtain a reasonable framework for rigid analytic geometry with no absolute finiteness hypotheses whatsoever, but which has descent for finitely presented modules.

Raynaud's conception of analytic geometry contends that the category of analytic spaces over a non-Archimedean field is a (suitably "geometric") localisation of the category of formal schemes over the ring of integers at a class of modifications "along the central fibre". Unfortunately, as with all existing presentations of non-Archimedean geometry, this viewpoint is confounded by a proliferation of technical difficulties if one does not impose absolute finiteness conditions on the formal schemes under consideration.

I will argue that by combining Raynaud's idea with a Tannakian perspective which prioritises the module category, we can obtain a reasonable framework for rigid analytic geometry with no absolute finiteness hypotheses whatsoever, but which has descent for finitely presented modules.

### 2019/10/16

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

Multidimensional continued fraction for Gorenstein cyclic quotient singularity

**Yusuke Sato**(University of Tokyo/ IPMU)Multidimensional continued fraction for Gorenstein cyclic quotient singularity

[ Abstract ]

Let G be a finite cyclic subgroup of GL(n,C). Then Cn/G is a cyclic quotient singularity. In the case n = 2, Cn/G possess the unique minimal resolution, and it is obtained by Hirzubruch-Jung continued fraction. In this talk, we show a sufficient condition of existence of crepant desingularization for Gorenstein abelian quotient singularities in all dimensions by using Ashikaga’s continuous fractions. Moreover, as a corollary, we prove that all three dimensional Gorenstein abelian quotient singularities possess a crepant desingularization.

Let G be a finite cyclic subgroup of GL(n,C). Then Cn/G is a cyclic quotient singularity. In the case n = 2, Cn/G possess the unique minimal resolution, and it is obtained by Hirzubruch-Jung continued fraction. In this talk, we show a sufficient condition of existence of crepant desingularization for Gorenstein abelian quotient singularities in all dimensions by using Ashikaga’s continuous fractions. Moreover, as a corollary, we prove that all three dimensional Gorenstein abelian quotient singularities possess a crepant desingularization.

### 2019/07/09

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

Construction of non-Kähler Calabi-Yau 3-folds by smoothing normal crossing varieties (TBA)

**Taro Sano**(Kobe university)Construction of non-Kähler Calabi-Yau 3-folds by smoothing normal crossing varieties (TBA)

[ Abstract ]

It is an open problem whether there are only finitely many diffeomorphism types of projective Calabi-Yau 3-folds. Kawamata--Namikawa developed log deformation theory of normal crossing Calabi-Yau varieties. As an application of their result, one can construct examples of Calabi-Yau manifolds by smoothing SNC varieties. In this talk, I will explain how to construct examples of non-Kähler Calabi-Yau 3-folds with arbitrarily large 2nd Betti numbers. If time permits, I will also explain an example of involutions on a family of K3 surfaces which do not lift biregularly to the total space. This is based on joint work with Kenji Hashimoto.

It is an open problem whether there are only finitely many diffeomorphism types of projective Calabi-Yau 3-folds. Kawamata--Namikawa developed log deformation theory of normal crossing Calabi-Yau varieties. As an application of their result, one can construct examples of Calabi-Yau manifolds by smoothing SNC varieties. In this talk, I will explain how to construct examples of non-Kähler Calabi-Yau 3-folds with arbitrarily large 2nd Betti numbers. If time permits, I will also explain an example of involutions on a family of K3 surfaces which do not lift biregularly to the total space. This is based on joint work with Kenji Hashimoto.