arXiv subjects
Publications and source records attributed to Joonyeong Won.
We compute global log canonical thresholds of certain birationally bi-rigid Fano 3-folds embedded in weighted projective spaces as complete intersections of codimension 2 and prove that they admit an orbifold Kähler-Einstein metric and are K-stable. As an application, we give examples of super-rigid affine Fano 4-folds.
Let $S$ be a minimal surface of general type with $p_g(S)=2$ and $K^2_S=1$, so called by a minimal $(1,2)$-surface. Then we obtain that the global log canonical threshold of the surface $S$ via $K_S$ is greater than equal to $\frac{1}{2}$. As an application we have \[ {\rm{vol}}(X)\ge\frac{4}{3}p_g(X)-\frac{10}{3} \] for all projective $3$-folds $X$ of general type which answers Question 1.4 of [J. A. Chen, M. Chen, C. Jiang, "The Noether inequality for algebraic threefolds", arXiv:1803.05553] about Noether inequality for $X$ with $5\le p_g(X)\le 26$.
An Okounkov body is a convex subset in Euclidean space associated to a big divisor on a smooth projective variety with respect to an admissible flag. In this paper, we introduce two convex bodies associated to pseudoeffective divisors, called the valuative Okounkov bodies and the limiting Okounkov bodies, and show that these convex bodies reflect the asymptotic properties of pseudoeffective divisors as in the case with big divisors. Our results extend the works of Lazarsfeld-Mustaţă and Kaveh-Khovanskii. For this purpose, we define and study special subvarieties, called the Nakayama subvarieties and the positive volume subvarieties, associated to pseudoeffective divisors.
An Okounkov body is a convex subset of Euclidean space associated to a divisor on a smooth projective variety with respect to an admissible flag. In this paper, we recover the asymptotic base loci from the Okounkov bodies by studying various asymptotic invariants such as the asymptotic valuations and the moving Seshadri constants. Consequently, we obtain the nefness and ampleness criteria of divisors in terms of the Okounkov bodies. Furthermore, we compute the divisorial Zariski decomposition by the Okounkov bodies, and find upper and lower bounds for moving Seshadri constants given by the size of simplexes contained in the Okounkov bodies.
To study syzygies of the Cox rings of del Pezzo surfaces, we calculate important syzygetic invariants such as the Hilbert functions, the Green-Lazarsfeld indices, the projective dimensions, and the Castelnuovo-Mumford regularities. Using these computations as well as the natural multigrading structures by the Picard groups of del Pezzo surfaces and Weyl group actions on Picard lattices, we determine the Betti diagrams of the Cox rings of del Pezzo surfaces of degree at most four.
The purpose of this paper is to investigate the close relation between Okounkov bodies and Zariski decompositions of pseudoeffective divisors on smooth projective surfaces. Firstly, we completely determine the limiting Okounkov bodies on such surfaces, and give applications to Nakayama constants and Seshadri constants. Secondly, we study how the shapes of Okounkov bodies change as we vary the divisors in the big cone.
We first prove some basic properties of Okounkov bodies, and give a characterization of Nakayama and positive volume subvarieties of a pseudoeffective divisor in terms of Okounkov bodies. Next, we show that each valuative and limiting Okounkov bodies of a pseudoeffective divisor which admits the birational good Zariski decomposition is a rational polytope with respect to some admissible flag. This is an extension of the result of Anderson-Küronya-Lozovanu about the rational polyhedrality of Okounkov bodies of big divisors with finitely generated section rings.
In an algebro-geometric way, we completely determine whether smooth del Pezzo surfaces are K-(semi)stable or not.
We study K-stability of products of K-stable $\mathbb{Q}$-Fano varieties.
We present an algebro-geometric proof of the K-semistability of the projective plane.
For an arbitrary ample divisor A in smooth del Pezzo surface S of degree 1, we verify the condition of the polarization (S,A) to be K-stable and it is a simple numerical condition.
We compute global log canonical thresholds, or equivalently alpha invariants, of birationally rigid orbifold Fano threefolds embedded in weighted projective spaces as codimension two or three. As an important application, we prove that most of them are weakly exceptional, $K$-stable and admit Kähler--Einstien metric.
On del Pezzo surfaces, we study effective ample $\mathbb{R}$-divisors such that the complements of their supports are isomorphic to $\mathbb{A}^1$-bundles over smooth affine curves.
For each del Pezzo surface $S$ with du Val singularities, we determine whether it admits a $(-K_S)$-polar cylinder or not. If it allows one, then we present an effective $\mathbb{Q}$-divisor $D$ that is $\mathbb{Q}$-linearly equivalent to $-K_S$ and such that the open set $S\setminus\mathrm{Supp}(D)$ is a cylinder. As a corollary, we classify all the del Pezzo surfaces with du Val singularities that admit nontrivial $\mathbb{G}_a$-actions on their affine cones defined by their anticanonical divisors.
We show that affine cones over smooth cubic surfaces do not admit non-trivial $\mathbb{G}_a$ -actions.
We study log canonical thresholds on quartic threefolds, quintic fourfolds, and double spaces. As an application, we show that they have a Kaehler-Einstein metric if they are general.
We classify all the effective anticanonical divisors on weak del Pezzo surfaces. Through this classification we obtain the smallest number among the log canonical thresholds of effective anticanonical divisors on a given Gorenstein canonical del Pezzo surface.