Searcharxiv⌕ Search

arXiv subjects

Yongnam Lee

Publications and source records attributed to Yongnam Lee.

At least 19 recordsLinked to original sources
arXiv2026

Compact moduli of elliptic surfaces with a multiple fiber

Motivated by Miranda and Ascher--Bejleri's works on compactifications of the moduli space of rational elliptic surfaces with a section, we study constructions and boundaries of compact moduli spaces of elliptic surfaces with a multiple fiber. Particular emphasis is placed on rational elliptic surfaces without a section and on Dolgachev surfaces. Our main goal is to understand the limit surfaces when a multiple fiber degenerates into an additive type singular fiber, via $\mathbb{Q}$-Gorenstein smoothings of slc surfaces.

math.AG↗
arXiv2026

Degree of irrationality of a product of two elliptic curves

In this short paper, we prove that, for any two complex elliptic curves \(E\) and \(F\), the product \(E\times F\) has degree of irrationality \(3\). The upper bound is obtained from compatible cyclic plane-cubic models of \(E\) and \(F\): three diagonal bihomogeneous sections define a dominant rational map \(E\times F\dashrightarrow\mathbb P^2\) of degree \(3\). The lower bound follows by excluding dominant rational maps of degrees \(1\) and \(2\) from an abelian surface to \(\mathbb P^2\).

math.AG↗
arXiv2026

Degree of irrationality of properly elliptic surfaces

In this paper, we study the degree of irrationality of properly elliptic surfaces with a section. We prove $\min\{χ(\mathcal O_S),\,2\operatorname{gon}(C)\} \leq \operatorname{irr}(S) \leq 2\operatorname{gon}(C)$. The lower bound is obtained from the canonical bundle formula and the Cayley--Bacharach property. We show that this bound is sharp. We also study the behavior of the degree of irrationality in moduli. A very general properly elliptic surface with a section over a curve of genus at least two has degree of irrationality at least four, whereas special families with $χ(\mathcal O_S)=1$ or $2$ have degree two. Finally, we investigate properly elliptic surfaces with $χ(\mathcal O_S)=0$, proving a generic lower bound of four and showing that $\operatorname{irr}(C\times E)=4$ for every hyperelliptic curve $C$ of genus at least two and every elliptic curve $E$. Our paper also includes special properly elliptic surfaces without a section. For Dolgachev surfaces, we exclude degree two for a very general member and construct special examples of degrees two and three.

math.AG↗
arXiv2026

Deformation of pairs of $\mathbb{P}^3$ and hypersurfaces

Motivated by DeVleming's work on moduli of surfaces in $\mathbb{P}^3$ and Chen-Hu-Jiang's work on moduli of threefolds with volume $2$ and geometric genus $4$, we study the deformation of pairs of $\mathbb{P}^3$ and hypersurfaces using the classification of $\mathbb{Q}$-Gorenstein degenerations of $\mathbb{P}^3$ with canonical singularities. We prove that if a degenerating threefold has canonical singularities, then the moduli space is smooth at the corresponding pair. Consequently, we find some boundary divisors of the moduli of smooth hypersurfaces. Finally, using the double cover method, we derive some information on the moduli space of threefolds $X$ with canonical singularities with the same volume and geometric genus as a double cover of $\mathbb{P}^3$ branched over a hypersurface.

math.AG↗
arXiv2025

Morphisms from a very general hypersurface

Let $X$ be a very general hypersurface of degree $d$ in the projective $(n+1)$-space with $n \ge 3$, and $f: X \to Y$ a non-birational surjective morphism to a normal projective variety $Y$. We first prove that $Y$ is a klt Fano variety if ${\rm deg} \, f \ge C$ for some constant $C = C(n, d)$ depending only on $n$ and $d$. Next we prove an optimal upper bound ${\rm deg} \, f \le {\rm deg} \, X$ provided that $Y$ is factorial, ${\rm deg} \, f$ is prime and ${\rm deg} \, f \ge E(n)$ for some constant $E(n)$ (with $E(n) = n(n+1)$ when $Y$ is smooth). As a corollary, we show that $Y\cong {\bf P}^n$ under some conditions on $Y$ and ${\rm deg} \, f$.

math.AG↗
arXiv2024

Bigness of the tangent bundle of a Fano threefold with Picard number two

In this paper, we study the positivity property of the tangent bundle $T_X$ of a Fano threefold $X$ with Picard number 2. We determine the bigness of the tangent bundle of the whole 36 deformation types. Our result shows that $T_X$ is big if and only if $(-K_X)^3\ge 34$. As a corollary, we prove that the tangent bundle is not big when $X$ has a standard conic bundle structure with non-empty discriminant. Our main methods are to produce irreducible effective divisors on $\mathbb{P}(T_X)$ constructed from the total dual VMRT associated to a family of rational curves. Additionally, we present some criteria to determine the bigness of $T_X$.

math.AG↗
arXiv2024

Positivity of the tangent bundle of rational surfaces with nef anticanonical divisor

In this paper, we study the property of bigness of the tangent bundle of a smooth projective rational surface with nef anticanonical divisor. We first show that the tangent bundle $T_S$ of $S$ is not big if $S$ is a rational elliptic surface. We then study the property of bigness of the tangent bundle $T_S$ of a weak del Pezzo surface $S$. When the degree of $S$ is $4$, we completely determine the bigness of the tangent bundle through the configuration of $(-2)$-curves. When the degree $d$ of $S$ is less than or equal to $3$, we get a partial answer. In particular, we show that $T_S$ is not big when the number of $(-2)$-curves is less than or equal to $7-d$, and $T_S$ is big when $d=3$ and $S$ has the maximum number of $(-2)$-curves. The main ingredient of the proof is to produce irreducible effective divisors on $\mathbb{P}(T_S)$, using Serrano's work on the relative tangent bundle when $S$ has a fibration, or the total dual VMRT associated to a conic fibration on $S$.

math.AG↗
arXiv2023

Smooth projective surfaces with pseudo-effective tangent bundles

Let $S$ be a non-uniruled (i.e., non-birationally ruled) smooth projective surface. We show that the tangent bundle $T_S$ is pseudo-effective if and only if the canonical divisor $K_S$ is nef and the second Chern class vanishes, i.e., $c_2(S)=0$. Moreover, we study the blow-up of a non-rational ruled surface with pseudo-effective tangent bundle.

math.AG↗
arXiv2021

The Abel-Jacobi map of the space of conics for double sextic threefolds

Let $X$ be a double cover of $\mathbb P^3$ branched along a sextic surface $Y$. In this paper, we show that, for general $X$, the Abel-Jacobi map associated to the normalization $\tilde F(X)$ of the surface $F(X)$ of curves contained in $X$ which are preimages of lines bitangent to $Y$, gives an isogeny between the Albanese variety of $\tilde F(X)$ and the intermediate Jacobian of $X$.

math.AG↗
arXiv2021

Normalization of congruence of bitangents to a hypersurface in $\mathbb P^3$

A congruence is a surface in the Grassmannian ${\rm Gr}(2, 4)$. In this paper, we consider the normalization of congruence of bitangents to a hypersurface in $\mathbb P^3$. We call it the Fano congruence of bitangents. We give a criterion for smoothness of the Fano congruence of bitangents and describe explicitly their degenerations in a general Lefschetz pencil in the space of hypersurfaces in $\mathbb P^3$.

math.AG↗
arXiv2020

Vanishing cohomology on a double cover

In this paper, we prove the irreducibility of the monodromy action on the anti-invariant part of the vanishing cohomology on a double cover of a very general element in an ample hypersurface of a complex smooth projective variety branched at an ample divisor. As an application, we study dominant rational maps from a double cover of a very general surface $S$ of degree$\geq 7$ in ${\mathbb P}^3$ branched at a very general quadric surface to smooth projective surfaces $Z$. Our method combines the classification theory of algebraic surfaces, deformation theory, and Hodge theory.

math.AG↗
arXiv2020

The Moduli Space of smooth Ample Hypersurfaces in Abelian Varieties

We give a characterizaton of smooth ample Hypersurfaces in Abelian Varieties and also describe an irreducible connected component of their moduli space: it consists of the Hypersurfaces of a given polarization type, plus the iterated univariate coverings of normal type (of the same polarization type). The above manifolds yield also a connected component of the open set of Teichmüller space consisting of Kähler complex structures.

math.AG↗
arXiv2018

Deformation of a generically finite map to a hypersurface embedding

Motivated by the theory of Inoue-type varieties, we give a structure theorem for projective manifolds $W_0$ with the property of admitting a 1-parameter deformation where $W_t$ is a hypersurface in a projective smooth manifold $Z_t$. Their structure is the one of special iterated univariate coverings which we call of normal type, which essentially means that the line bundles where the univariate coverings live are tensor powers of the normal bundle to the image $X$ of $W_0$. We give applications to the case where $Z_t$ is projective space, respectively an Abelian variety.

math.AG↗
arXiv2017

Exceptional collections on Dolgachev surfaces associated with degenerations

Dolgachev surfaces are simply connected minimal elliptic surfaces with $p_g=q=0$ and of Kodaira dimension 1. These surfaces were constructed by logarithmic transformations of rational elliptic surfaces. In this paper, we explain the construction of Dolgachev surfaces via $\mathbb Q$-Gorenstein smoothing of singular rational surfaces with two cyclic quotient singularities. This construction is based on the paper by Lee-Park. Also, some exceptional bundles on Dolgachev surfaces associated with $\mathbb Q$-Gorenstein smoothing are constructed based on the idea of Hacking. In the case if Dolgachev surfaces were of type $(2,3)$, we describe the Picard group and present an exceptional collection of maximal length. Finally, we prove that the presented exceptional collection is not full, hence there exist a nontrivial phantom category in the derived category.

math.AG↗
arXiv2016

Grothendieck duality and Q-Gorenstein morphisms

The notions of $\mathbb Q$-Gorenstein scheme and of $\mathbb Q$-Gorenstein morphism are introduced for locally Noetherian schemes by dualizing complexes and (relative) canonical sheaves. These cover all the previously known notions of $\mathbb Q$-Gorenstein algebraic variety and of $\mathbb Q$-Gorenstein deformation satisfying Kollár condition, over a field. By studies on relative $\mathbf S_{2}$-condition and base change properties, valuable results are proved for $\mathbb Q$-Gorenstein morphisms, which include infinitesimal criterion, valuative criterion, $\mathbb Q$-Gorenstein refinement, and so forth.

math.AG↗
arXiv2015

On rational maps from the product of two general curves

This paper treats the dominant rational maps from the product of two very general curves to nonsingular projective surfaces. Combining the result by Bastianelli and Pirola, we prove that the product of two very general curves of genus $g\geq 7$ and $g'\geq 3$ does not admit dominant rational maps of degree $> 1$ if the image surface is non-ruled. We also treat the case of the 2-symmetric product of a curve.

math.AG↗
arXiv2015

On subfields of the function field of a general surface in ${\mathbb P}^3$

In this paper we study birational immersions from a very general smooth plane curve to a non-rational surface with $p_g=q=0$ to treat dominant rational maps from a very general surface $X$ of degree$\geq 5$ in ${\mathbb P}^3$ to smooth projective surfaces $Y$. Based on the classification theory of algebraic surfaces, Hodge theory, and deformation theory, we prove that there is no dominant rational map from $X$ to $Y$ unless $Y$ is rational or $Y$ is birational to $X$.

math.AG↗