• 대한수학회보
• /
• 제57권1호
• /
• pp.139-165
• /
• 2020

Mirror symmetry for del Pezzo surfaces was studied in [3] where they suggested that the mirror should take the form of a Landau-Ginzburg model with a particular type of elliptic fibration. This argument came from symplectic considerations of the derived categories involved. This problem was then considered again but from an algebro-geometric perspective by Gross, Hacking and Keel in [8]. Their construction allows one to construct a formal mirror family to a pair (S, D) where S is a smooth rational projective surface and D a certain type of Weil divisor supporting an ample or anti-ample class. In the case where the self intersection matrix for D is not negative semi-definite it was shown in [8] that this family may be lifted to an algebraic family over an affine base. In this paper we perform this construction for all smooth del Pezzo surfaces of degree at least two and obtain explicit equations for the mirror families and present the mirror to dP₂ as a double cover of ℙ².

• 대한수학회보
• /
• 제31권1호
• /
• pp.15-23
• /
• 1994

Throughout this paper, we are working on the complex number field C. The aim of this paper is to explain the applications of Theorem 2 in .cint. 1. In the surface theory, the adjoint linear system has played important roles and many tools have been developed to understand it. In the cases of higher dimensional varieties, we don't have any useful tools so far. Theorem 2 implies that it is enough to compute the dimension of the adjoint linear system to check the birationality. We can compute, somehow, the dimension of the adjoint linear system. For example, we can get an information about $h^{0}$ (X, $O_{x}$( $K_{x}$ + D)) from Euler characteristic of vertical bar $K_{X}$ + D vertical bar and some vanishing theorems. We are going to show the applications of Theorem 2 to smooth three-folds and smooth fourfold, specially, of general type with a nef canonical divisor, smooth Fano variety, and Calabi-Yau manifold. Our main results are Theorem A and Theorem B. Most of birationality problems in Theorem A and Theorem B have been studied. (see Ando [1] and Matsuki [4] for the detail matters.) But Theorem 2 gives short and easy proofs in the cases of dimension 3 and improves the previously known results in the cases of dimension 4.4. 4.4.

• 대한수학회지
• /
• 제55권3호
• /
• pp.623-669
• /
• 2018

In Donaldson-Thomas theory, moduli spaces are locally the critical locus of a holomorphic function defined on a complex manifold. In this paper, we develop a theory of critical virtual manifolds which are the gluing of critical loci of holomorphic functions. We show that a critical virtual manifold X admits a natural semi-perfect obstruction theory and a virtual fundamental class $[X]^{vir}$ whose degree $DT(X)=deg[X]^{vir}$ is the Euler characteristic ${\chi}_{\nu}$(X) weighted by the Behrend function ${\nu}$. We prove that when the critical virtual manifold is orientable, the local perverse sheaves of vanishing cycles glue to a perverse sheaf P whose hypercohomology has Euler characteristic equal to the Donaldson-Thomas type invariant DT(X). In the companion paper, we proved that a moduli space X of simple sheaves on a Calabi-Yau 3-fold Y is a critical virtual manifold whose perverse sheaf categorifies the Donaldson-Thomas invariant of Y and also gives us a mathematical theory of Gopakumar-Vafa invariants.