Source author record

In-Kyun Kim

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.CV math.DG

Catalog footprint

Research overview

7works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Briançon-Skoda exponents and the maximal root of reduced Bernstein-Sato polynomials

For a holomorphic function $f$ on a complex manifold $X$ , the Briançon-Skoda exponent $e^{\rm BS}(f)$ is the smallest integer $k$ with $f^k\in(\partial f)$ (replacing $X$ with a neighborhood of $f^{-1}(0)$ ), where $(\partial f)$ denotes the Jacobian ideal of $f$ . It is shown that $e^{\rm BS}(f)\le d_X$ $(:=\dim X)$ by Brian\c con-Skoda. We prove that $e^{\rm BS}(f)\le[d_X-2\widetildeα_f]+1$ with $-\widetildeα_f$ the maximal root of the reduced Bernstein-Sato polynomial $b_f(s)/(s+1)$ , assuming the latter exists (shrinking $X$ if necessary). This implies for instance that $e^{\rm BS}(f)\le d_X-2$ in the case $f^{-1}(0)$ has only rational singularities, that is, if $\widetildeα_f>1$ .

preprint2022arXiv

Higher Du Bois singularities of hypersurfaces

For a complex algebraic variety $X$ , we introduce higher $p$ -Du Bois singularity by imposing canonical isomorphisms between the sheaves of Kähler differential forms $Ω_X^q$ and the shifted graded pieces of the Du Bois complex $\underlineΩ_X^q$ for $q\le p$ . If $X$ is a reduced hypersurface, we show that higher $p$ -Du~Bois singularity coincides with higher $p$ -log canonical singularity, generalizing a well-known theorem for $p=0$ . The assertion that $p$ -log canonicity implies $p$ -Du Bois has been proved by Mustata, Olano, Popa, and Witaszek quite recently as a corollary of two theorems asserting that the sheaves of reflexive differential forms $Ω_X^{[q]}$ ( $q\le p$ ) coincide with $Ω_X^q$ and $\underlineΩ_X^q$ respectively, and these are shown by calculating the depth of the latter two sheaves. We construct explicit isomorphisms between $Ω_X^q$ and $\underlineΩ_X^q$ applying the acyclicity of a Koszul complex in a certain range. We also improve some non-vanishing assertion shown by them using mixed Hodge modules and the Tjurina subspectrum in the isolated singularity case. This is useful for instance to estimate the lower bound of the maximal root of the reduced Bernstein-Sato polynomial in the case where a quotient singularity is a hypersurface and its singular locus has codimension at most 4.

preprint2022arXiv

Hodge ideals and spectrum of isolated hypersurface singularities

We introduce Hodge ideal spectrum for isolated hypersurface singularities to see the difference between the Hodge ideals and the microlocal $V$ -filtration modulo the Jacobian ideal. Via the Tjurina subspectrum, we can compare the Hodge ideal spectrum with the Steenbrink spectrum which can be defined by the microlocal $V$ -filtration. As a consequence of a formula of Mustata and Popa, these two spectra coincide in the weighted homogeneous case. We prove sufficient conditions for their coincidence and non-coincidence in some non-weighted-homogeneous cases where the defining function is semi-weighted-homogeneous or with non-degenerate Newton boundary in most cases. We also show that the convenience condition can be avoided in a formula of Zhang for the non-degenerate case, and present an example where the Hodge ideals are not weakly decreasing even modulo the Jacobian ideal.

preprint2022arXiv

K-stability of log del Pezzo hypersurfaces with index 2

We completely classify K-stability of log del Pezzo hypersurfaces with index 2.

preprint2022arXiv

New Sasaki-Einstein 5-manifolds

We prove that closed simply connected $5$ -manifolds $2(S^2\times S^3)\# nM_2$ allow Sasaki-Einstein structures, where $M_2$ is the closed simply connected $5$ -manifold with $\mathrm{H}_2(M_2,\mathbb{Z})=\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/2\mathbb{Z}$ , $nM_2$ is the $n$ -fold connected sum of $M_2$ , and $2(S^2\times S^3)$ is the two-fold connected sum of $S^2\times S^3$ .

preprint2016arXiv

Alpha invariants of birationally rigid Fano threefolds

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.

preprint2015arXiv

All complete intersection varieties are Fano visitors

We prove that the derived category of a smooth complete intersection variety is equivalent to a full subcategory of the derived category of a smooth projective Fano variety. This enables us to define some new invariants of smooth projective varieties and raise many interesting questions.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

In-Kyun Kim

Research overview

Is this your work?

7 publications

Briançon-Skoda exponents and the maximal root of reduced Bernstein-Sato polynomials

Higher Du Bois singularities of hypersurfaces

Hodge ideals and spectrum of isolated hypersurface singularities

K-stability of log del Pezzo hypersurfaces with index 2

New Sasaki-Einstein 5-manifolds

Alpha invariants of birationally rigid Fano threefolds

All complete intersection varieties are Fano visitors

See the researcher in context

Building this map preview