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

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

[ Abstract ]
Many precise results on the birational geometry of irregular varieties have been obtained by combining the generic vanishing theorems of Green and Lazarsfeld with the Fourier-Mukai transform. In this talk we will discuss the failure of the generic vanishing theorems of Green and Lazarsfeld in positive characteristic. We will then explain a different approach to generic vanishing based on the theory of F-singularities that leads to concrete applications in birational geometry in positive characteristics

[ Abstract ]
An endomorphism f of a normal projective variety X is polarized if f∗H ∼ qH for some ample Cartier divisor H and integer q > 1.

We first assert that a suitable maximal rationally connected fibration (MRC) can be made f-equivariant using a construction of N. Nakayama, that f descends to a polarized endomorphism of the base Y of this MRC and that this Y is a Q-abelian variety (quasi- ́etale quotient of an abelian variety). Next we show that we can run the minimal model program (MMP) f-equivariantly for mildly singular X and reach either a Q-abelian variety or a Fano variety of Picard number one.

As a consequence, the building blocks of polarized endomorphisms are those of Q- abelian varieties and those of Fano varieties of Picard number one.

Along the way, we show that f always descends to a polarized endomorphism of the Albanese variety Alb(X) of X, and that a power of f acts as a scalar on the Neron-Severi group of X (modulo torsion) when X is smooth and rationally connected.

Partial answers about X being of Calabi-Yau type or Fano type are also given with an extra primitivity assumption on f which seems necessary by an example.
This is a joint work with S. Meng.

[ Abstract ]
Let X be a smooth projective variety of dimension n and L any ample line bundle. Fujita conjectured that the adjoint line bundle O(K_X+mL) is globally generated for any m greater or equal to dimX+1. By studying the singularity of pairs, we prove Fujita's freeness conjecture for smooth 5-folds.

[ Abstract ]
In the series of their works, J. M. Hwang and N. Mok have been developing the theory of Varieties of Minimal Rational Tangents (VMRT for short). In this direction, the results of Mok and J. Hong-Hwang allow us to recognize a homogeneous Fano manifold X of Picard number one by looking at its VMRT at a general point. This characterization works for all rational homogeneous manifolds of Picard number one whenever the VMRT is rational homogeneous, which is always the case except for the short root cases; namely for symplectic Grassmannians, and for two varieties of type F*4*.

In this talk we show that, if we impose that the VMRT is the expected one at every point of the variety, we may still characterize symplectic Grassmannians. This is a joint work with G. Occhetta and L. E. Sola Conde (arXiv:1604.06867).

[ Abstract ]
We prove that the Kobayashi pseudo distance of a closed subvariety X of an abelian variety A is a true distance outside the special set Sp(X) of X, where Sp(X) is the union of all positive dimensional translated abelian subvarieties of A which are contained in X. More strongly, we prove that a closed subvariety X of an abelian variety is taut modulo Sp(X); Every sequence fn : D → X of holomorphic mappings from the unit disc D admits a subsequence which converges locally uniformly, unless the image fn(K) of a fixed compact set K of D eventually gets arbitrarily close to Sp(X) as n gets larger. These generalize a classical theorem on algebraic degeneracy of entire holomorphic curves in irregular varieties.

[ Abstract ]
For a projective variety embedded in a projective space,
we can define the dual variety in the dual projective space.
By dimension count, the codimension of the dual variety is expected to be one,
but it can be greater than one for some varieties.

For a smooth toric variety, it is known that the codimension of the dual variety is greater than one
if and only if the toric variety is a suitable projective bundle over some toric variety.
In this talk, I will explain a generalization of this result to toric varieties without the assumption of singularities.
This is a joint work with Katsuhisa Furukawa.

[ Abstract ]
K安定性とは複素代数多様体上の「標準的な」ケーラー計量の存在問題に端を発する，代数幾何的な概念です．二木先生や満渕先生等の先駆的な仕事に感化されて導入され，特に近年ホットに研究され始めている一方，未だその大半はより微分幾何的な研究者の方々や背景の中でなされているように講演者には感じられます．

代数幾何的にもどのように面白いか，どういった意義があるかに私見で軽く触れた上で，その基礎付けをより拡張した枠組みで説明しつつ，最先端でどのようなことが問題になっているかをいくらか（私の力量と時間の許す限り）解説しつつ，文献をご紹介できればと思っています

[ Abstract ]
We show that

(i) there is a pair of smooth complex quartic K3 surfaces such that they are isomorphic as abstract varieties but not Cremona equivalent.

(ii) there is a pair of smooth complex quartic K3 surfaces such that they are Cemona equivalent but not projectively equivalent.

These two results are much inspired by e-mails from Professors Tuyen Truong and J\'anos Koll\'ar.

[ Abstract ]
We establish a Gysin formula for Schubert bundles
and a strong version of the duality theorem in Schubert calculus
on Grassmann bundles. We then combine them to compute the fundamental
classes of Schubert bundles in Grassmann bundles, which yields a new
proof of the Giambelli formula for vector bundles. This is a joint
work with Lionel Darondeau.

[ Abstract ]
In this talk I will explain how one can define a polarization on a derived equivalent abelian variety by using Fourier-Mukai theory. Furthermore, we see how such a realisations is connected with stability conditions on their derived categories. Then I will discuss these ideas for abelian surfaces and abelian 3-folds in detail.

[ Abstract ]
In this talk, I will introduce partial compactification for a class of toric Calabi-Yau manifolds. A fundamental question is how the Hori-Vafa toric mirror symmetry extends to this new class of Calabi-Yau manifolds. The answer leads us to a new connection between SYZ mirror symmetry and modular forms. If time permits, I will also discuss higher dimensional analogues of the Yau-Zaslow formula (for an elliptic K3 surface) in terms of Siegel modular forms. This talk is based on a joint work with Siu-Cheong Lau.

[ Abstract ]
I will describe various functors on derived categories of coherent sheaves
related to flops and relations between these functors. A categorical
version of deformation theory of systems of objects in abelian categories
will be outlined and its relation to flop spherical functors will be
presented.

[ Abstract ]
Surfaces which are covers of the plane branched over 5 or 6 lines have provided answers to long standing questions, for instance the BCD surfaces for Fujita's question on semiampleness of VHS (Dettweiler-Cat); and examples of ball quotients (Hirzebruch), automorphisms acting trivially on integral cohomology (Cat-Gromadtzki), canonical maps with high degree or image-degree (Pardini, Bauer-Cat). I shall speak especially about the above Abelian coverings of the plane, the geometry of the del Pezzo surface of degree 5, the rigidity of BCD surfaces, and a criterion for a fibred surface to be a projective classifying space.

[ Abstract ]
I will talk about recent joint works with Amin Gholampour, Richard Thomas and Yukinobu Toda, on an algebraic-geometric proof of the S-duality conjecture in superstring theory, made formerly by physicists Gaiotto, Strominger, Yin, regarding the modularity of DT invariants of sheaves supported on hyperplane sections of the quintic Calabi-Yau threefold. Our strategy is to first use degeneration and localization techniques to reduce the threefold theory to a certain intersection theory over the relative Hilbert scheme of points on surfaces and then prove modularity; More precisely, together with Gholampour we have proven that the generating series, associated to the top intersection numbers of the Hilbert scheme of points, relative to an effective divisor, on a smooth quasi-projective surface is a modular form. This is a generalization of the result of Okounkov-Carlsson, where they used representation theory and the machinery of vertex operators to prove this statement for absolute Hilbert schemes. These intersection numbers eventually, together with the generating series of Noether-Lefschetz numbers as I will explain, will provide the ingredients to achieve a complete algebraic-geometric proof of S-duality modularity conjecture.

[ Abstract ]
The original McKay correspondence is a relation between group theory of a finite subgroup G of SL(2,C) and geometry of the minimal resolution of the quotient singularity by G, and was generalized several ways. In particular, 3-dimensional generalization was extended to derived categorical eqivalence and the G-Hilbert scheme was useful to explain the correspondence. However, most results hold only for abelian subgroups. In this talk, I would like to introduce an iterated G-Hilbert scheme and show more geometrical McKay correspondence for non-abelian subgroups.

[ Abstract ]
I will introduce certain GIT construction via quivers of compactified moduli spaces of marked noncommutative del Pezzo surfaces. For projective plane, quadric surface, and those of degree 3, 2, 1, we obtain projective toric varieties of dimension 2, 3, 8, 9, 10, respectively. Then I will discuss relations with deformation theory of abelian categories, blow-up of noncommutative projective planes, and three-block exceptional collections due to Karpov and Nogin. This talk is based on joint works in progress with Tarig Abdelgadir and Kazushi Ueda.

[ Abstract ]
We'll discuss my joint work with Lazarsfeld on the gonality conjecture about the syzygies of a smooth projective curve when it is embedded into the projective space by the complete linear system of a sufficiently very ample line bundles. We'll also discuss some results about the asymptotic syzygies f higher dimensional varieties.

[ Abstract ]
In the early 90's, Fulton and MacPherson provided a natural and beautiful way of compactifying the configuration space F(X,n) of n distinct labeled points on an arbitrary nonsingular variety. In this talk, I will present an alternate compactification of F(X,n), which generalizes the work of Fulton and MacPherson and is parallel to Hassett's weighted generalization of the moduli space of n-pointed stable curves. After discussing its main properties, I will give a presentation of its intersection ring and as an application, I will describe the intersection ring of Hassett's spaces in genus 0. Finally, as time permits, I will discuss some additional moduli problems associated with weighted compactifications.

[ Abstract ]
The moduli scheme of generalised twisted cubics on a smooth
cubic fourfold Y non containing a plane is smooth projective of
dimension 10 and admits a contraction to an 8-dimensional
holomorphic symplectic manifold Z(Y). The latter is shown to be
birational to the Hilbert scheme of four points on a K3 surface if
Y is of Pfaffian type. This is a report on joint work with C. Lehn,
C. Sorger and D. van Straten and with N. Addington.

[ Abstract ]
Complex tori can be topologically characterised among compact Kähler
manifolds by their integral cohomology ring. I will discuss the
structure of compact Kähler manifolds whose rational cohomology ring is
isomorphic to the rational cohomology ring of a torus and give some
examples. This is joint work with Olivier Debarre and Zhi Jiang.

[ Abstract ]
Let $X$ be a canonically polarized smooth $n$-dimensional projective variety over $\mathbb C$ (so that $\omega _X$ is ample), then it is well-known that a fixed multiple of the canonical line bundle defines an embedding of $X$ in projective space. It then follows easily that if we fix certain invariants of $X$, then $X$ belongs to finitely many deformation types. Since canonical models are rarely smooth, it is important to generalize this result to canonically polarized $n$-dimensional projectivevarieties with canonical singularities. Moreover, since these varieties specialize to non-normal varieties it is also important to generalize this result to semi-log canonical pairs. In this talk we will explain a strong version of the above result that applies to semi-log canonical pairs.This is joint work with C. Xu and J. McKernan

[ Abstract ]
A vector bundle on a projective variety is called weak Fano if its
projectivization is a weak Fano manifold. This is a　generalization of
Fano bundles.
In this talk, we will obtain a classification of rank 2 weak Fano
bundles on a nonsingular　cubic hypersurface in a projective 4-space.
Specifically, we will show that there exist rank 2 indecomposable weak
Fano bundles on it.

[ Abstract ]
We consider degeneration of K3 surfaces over a 1-dimensional base scheme
of mixed characteristic (e.g. Spec of the p-adic integers).
Under the assumption of potential semistable reduction, we first prove
that a trivial monodromy action on the l-adic etale cohomology group
implies potential good reduction, where potential means that we allow a
finite base extension.
Moreover we show that a finite etale base change suffices.
The proof for the first part involves a mixed characteristic
3-dimensional MMP (Kawamata) and the classification of semistable
degeneration of K3 surfaces (Kulikov, Persson--Pinkham, Nakkajima).
For the second part, we consider flops and descent arguments. This is a joint work with Christian Liedtke.