SearcharxivSearch

arXiv subjects

Kyoung-Seog Lee

Publications and source records attributed to Kyoung-Seog Lee.

At least 19 recordsLinked to original sources

Ulrich bundles on intersections of two quadrics

We construct Ulrich bundles on smooth intersections of two quadrics. We determine all possible ranks and prove the existence of indecomposable Ulrich bundles of every allowable rank. To our knowledge, this gives the first such construction for a family of nonhomogeneous varieties of arbitrarily large dimension. We also study the moduli spaces of these bundles and relate them to moduli spaces of vector bundles on curves. For intersections of two even-dimensional quadrics, our results prove a conjecture of Eisenbud and Schreyer.

math.AG

Instanton Floer homology and Milnor Fibers

In the early days of the Floer theory, Atiyah asked if there is a Milnor fiber description of the Floer homology of the links of singularities. We answer this question for the Brieskorn-Hamm complete intersection singularities. The resulting combinatorial formulas lead to an independent proof of the equality of the Casson invariants in the Donaldson and Seiberg-Witten theories. We use similar techniques to express the Heegaard Floer d-invariant of torus knots in terms of their Milnor fibers.

math.GT

Derived categories of symmetric products and moduli spaces of vector bundles on a curve

We show that the derived categories of symmetric products of a curve are embedded into the derived categories of the moduli spaces of vector bundles of large ranks on the curve. It supports a prediction of the existence of a semiorthogonal decomposition of the derived category of the moduli space, expected by a motivic computation. As an application, we show that all Jacobian varieties, symmetric products of curves and all principally polarized abelian varieties of dimension at most three, are Fano visitors. We also obtain similar results for motives.

math.AG

Derived category and ACM bundles of moduli space of vector bundles on a curve

We show that the derived category of a curve is embedded into the derived category of the moduli space of vector bundles on the curve of coprime rank and degree. We also generalize the semiorthogonal decomposition constructed by Narasimhan and Belmans-Mukhopadhyay. Finally, we produce a one-dimensional family of ACM bundles over the moduli space.

math.AG

Combinatorially minimal Mori dream surfaces of general type

In this paper, we suggest a new approach to study minimal surfaces of general type with $p_g=0$ via their Cox rings, especially using the notion of combinatorially minimal Mori dream space introduced by Hausen. First, we study general properties of combinatorially minimal Mori dream surfaces. Then we discuss how to apply these ideas to the study of minimal surfaces of general type with $p_g=0$ which are very important but still mysterious objects. In our previous paper, we provided several examples of Mori dream surfaces of general type with $p_g=0$ and computed their effective cones explicitly. In this paper, we study their fibrations, explicit combinatorially minimal models and discuss singularities of the combinatorially minimal models. We also show that many minimal surfaces of general type with $p_g=0$ arise from the minimal resolutions of combinatorially minimal Mori dream surfaces.

math.AG

Positivity of the Poincaré bundle on the moduli space of vector bundles and its applications

We prove that the normalized Poincaré bundle on the moduli space of stable rank $r$ vector bundles with a fixed determinant on a smooth projective curve $X$ induces a family of nef vector bundles on the moduli space. Two applications follow. We show that when the genus of $X$ is large, the derived category of $X$ is embedded into the derived category of the moduli space for arbitrary rank and coprime degree, which extends the results of Narasimhan, Fonarev-Kuznetsov, and Belmans-Mukhopadhyay. As the second application, we construct a family of ACM bundles on the moduli space. A key ingredient of our proof is the investigation of birational geometry of the moduli spaces of parabolic bundles.

math.AG

Symmetric products and moduli spaces of vector bundles of curves

Let $X$ be a smooth projective curve of genus $g \geq 2$ and $M$ be the moduli space of rank 2 stable vector bundles on $X$ whose determinants are isomorphic to a fixed odd degree line bundle $L$. There has been a lot of works studying the moduli and recently the bounded derived category of coherent sheaves on $M$ draws lots of attentions. It was proved that the derived category of $X$ can be embedded into the derived category of $M$ by the second named author and Fonarev-Kuznetsov. In this paper we prove that the derived category of the second symmetric product of $X$ can be embedded into derived category of $M$ when $X$ is non-hyperelliptic and $g \geq 16$.

math.AG

Equivariant Ulrich bundles on exceptional homogeneous varieties

We prove that the only rational homogeneous varieties with Picard number 1 of the exceptional algebraic groups admitting irreducible equivariant Ulrich vector bundles are the Cayley plane $E_6/P_1$ and the $E_7$-adjoint variety $E_7/P_1$. From this result, we see that a general hyperplane section $F_4/P_4$ of the Cayley plane also has an equivariant but non-irreducible Ulrich bundle.

math.AG

Moduli spaces of Ulrich bundles on the Fano 3-fold $V_5$

We study moduli spaces of Ulrich bundles of rank $r \geq 2$ on the Fano 3-fold $V_5$ of Picard number 1, degree 5 and index 2. We prove that the moduli space of stable Ulrich bundles of rank $r$ on $V_5$ can be identified with a smooth $(r^2+1)$-dimensional open subset of the moduli space of stable quiver representations with dimension vector $(r, r)$ of the Kronecker quiver with 2 vertices and 3 arrows.

math.AG

Motivic decompositions of moduli spaces of vector bundles on curves

Let $r \geq 2, d$ be two integers which are coprime to each other. Let $C$ be a smooth projective curve of genus $g \geq 2$ and $M(r,L)$ be the moduli space of rank $r$ stable vector bundles on $C$ whose determinants are isomorphic to a fixed line bundle $L$ of degree $d$ on $C.$ In this paper, we study motivic decomposition of $M(r,L)$ for $r=2, 3$ cases. We give a new proof of a version of the main result of arXiv:1806.11101. We also found a new motivic decomposition of $M(3,L).$

math.AG

Remarks on motives of moduli spaces of rank 2 vector bundles on curves

Let $C$ be an algebraic curve of genus $g \geq 2$ and $M_L$ be the moduli space of rank 2 stable vector bundles on $C$ whose determinants are isomorphic to a fixed line bundle $L$ of degree 1 on $C.$ S. del Bano studied motives of moduli spaces of rank 2 vector bundles on $C$ and computed the motive of $M_L.$ In this note, we prove that his result gives an interesting decomposition of the motive of $M_L.$ This motivic decomposition is compatible with a conjecture of M. S. Narasimhan which predicts semi-orthogonal decomposition of derived category of the moduli space.

math.AG

Examples of Mori dream surfaces of general type with $p_g=0$

In this paper we study effective, nef and semiample cones of minimal surfaces of general type with $p_g=0.$ We provide examples of minimal surfaces of general type with $p_g=0, 2 \leq K^2 \leq 9$ which are Mori dream spaces. On these examples we also give explicit description of effective cones and all irreducible reduced curves of negative self-intersection. We also present non-minimal surfaces of general type with $p_g=0$ that are not Mori dream surfaces.

math.AG

Ulrich bundles on intersections of two 4-dimensional quadrics

In this paper, we investigate the existence of Ulrich bundles on a smooth complete intersection of two $4$-dimensional quadrics in $\mathbb P^5$ by two completely different methods. First, we find good ACM curves and use Serre correspondence in order to construct Ulrich bundles, which is analogous to the construction on a cubic threefold by Casanellas-Hartshorne-Geiss-Schreyer. Next, we use Bondal-Orlov's semiorthogonal decomposition of the derived category of coherent sheaves to analyze Ulrich bundles. Using these methods, we prove that any smooth intersection of two 4-dimensional quadrics in $\mathbb P^5$ carries an Ulrich bundle of rank $r$ for every $r \ge 2$. Moreover, we provide a description of the moduli space of stable Ulrich bundles.

math.AG

Fano visitors, Fano dimension and orbifold Fano hosts

In arXiv:1503.00125, the authors proved that every complete intersection smooth projective variety $Y$ is a Fano visitor, i.e. its derived category $D^b(Y)$ is equivalent to a full triangulated subcategory of the derived category $D^b(X)$ of a smooth Fano variety $X$, called a Fano host of $Y$. They also introduced the notion of Fano dimension of $Y$ as the smallest dimension of a Fano host $X$ and obtained an upper bound for the Fano dimension of each complete intersection variety. In this paper, we provide a Hodge-theoretic criterion for the existence of a Fano host which enables us to determine the Fano dimensions precisely for many interesting examples, such as low genus curves, quintic Calabi-Yau 3-folds and general complete intersection Calabi-Yau varieties. Next we initiate a systematic search for more Fano visitors. We generalize the methods of arXiv:1503.00125 to prove that smooth curves of genus at most 4 are all Fano visitors and general curves of genus at most 9 are Fano visitors. For surfaces and higher dimensional varieties, we find more examples of Fano visitors and raise natural questions. We also generalize Bondal's question and study triangulated subcategories of derived categories of Fano orbifolds. We proved that there are Fano orbifolds whose derived categories contain derived categories of orbifolds associated to quasi-smooth complete intersections in weighted projective spaces, Jacobians of curves, generic Enriques surfaces, some families of Kummer surfaces, bielliptic surfaces, surfaces with $κ=1,$ classical Godeaux surfaces, product-quotient surfaces, holomorphic symplectic varieties, etc. From these constructions, we found Fano orbifolds whose derived categories contain quasi-phantom categories or phantom categories.

math.AG

Quasiphantom categories on a family of surfaces isogenous to a higher product

We construct exceptional collections of line bundles of maximal length 4 on $S=(C \times D)/G$ which is a surface isogenous to a higher product with $p_g=q=0$ where $G=G(32,27)$ is a finite group of order 32 having number 27 in the list of Magma library. From these exceptional collections, we obtain new examples of quasiphantom categories as their orthogonal complements.

math.AG