Source author record

Cheol-Hyun Cho

Cheol-Hyun Cho appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

16works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

16 published item(s)

preprint2022arXiv

Homological mirror symmetry of indecomposable Cohen-Macaulay modules for some degenerate cusp singularities

Burban-Drozd showed that the degenerate cusp singularities have tame Cohen-Macaulay representation type, and classified all indecomposable Cohen-Macaulay modules over them. One of their main example is the non-isolated singularity $W=xyz$. On the other hand, Abouzaid-Auroux-Efimov-Katzarkov-Orlov showed that $W=xyz$ is mirror to a pair of pants. In this paper, we investigate homological mirror symmetry of these indecomposable Cohen-Macaulay modules for $xyz$. Namely, we show that closed geodesics (with a flat $\mathbb{C}$-bundle) of a hyperbolic pair of pants have a one-to-one correspondence with indecomposable Cohen-Macaulay modules for $xyz$ with multiplicity one that are locally free on the punctured spectrum. In particular, this correspondence is established first by a geometric $A_{\infty}$-functor from the Fukaya category of the pair of pants to the matrix factorization category of $xyz$, and next by the correspondence between Cohen-Macaulay modules and matrix factorizations due to Eisenbud. For the latter, we compute explicit Macaulayfications of modules from Burban-Drozd's classification and find a canonical form of the corresponding matrix factorizations. In the sequel, we will show that indecomposable modules with higher multiplicity correspond to twisted complexes of closed geodesics. We also find mirror images of rank $1$ indecomposable Cohen-Macaulay modules (of band type) over the singularity $W = x^{3} + y^{2} - xyz$ as closed loops in the orbifold sphere $\mathbb{P}^1_{3,2,\infty}$.

preprint2020arXiv

Kodaira-Spencer map, Lagrangian Floer theory and orbifold Jacobian algebras

A version of mirror symmetry predicts a ring isomorphism between quantum cohomology of a symplectic manifold and Jacobian algebra of the Landau-Ginzburg mirror, and for toric manifolds Fukaya-Oh-Ohta-Ono constructed such a map called Kodaira-Spencer map using Lagrangian Floer theory. We discuss a general construction of Kodaira-Spencer ring homomorphism when LG mirror potential $W$ is given by $J$-holomorphic discs with boundary on a Lagrangian $L$: we find an $A_{\infty}$-algebra $\mathcal{B}$ whose $m_1$-complex is a Koszul complex for $W$ under mild assumptions on $L$. Closed-open map gives a ring homomorphism from quantum cohomology to cohomology algebra of $\mathcal{B}$ which is Jacobian algebra of $W$. We also construct an equivariant version for orbifold LG mirror $(W,H)$. We construct a Kodaira-Spencer map from quantum cohomology to another $A_{\infty}$-algebra $(\mathcal{B}\rtimes H)^H$ whose cohomology algebra is isomorphic to the orbifold Jacobian algebra of $(W,H)$ under an assumption. For the $2$-torus whose mirror is an orbifold LG model given by Fermat cubic with a $\mathbb{Z}/3$-action, we compute an explicit Kodaira-Spencer isomorphism.

preprint2020arXiv

Pairings in mirror symmetry between a symplectic manifold and a Landau-Ginzburg $B$-model

We find a relation between Lagrangian Floer pairing of a symplectic manifold and Kapustin-Li pairing of the mirror Landau-Ginzburg model under localized mirror functor. They are conformally equivalent with an interesting conformal factor $(vol^{Floer}/vol)^2$, which can be described as a ratio of Lagrangian Floer volume class and classical volume class. For this purpose, we introduce $B$-invariant of Lagrangian Floer cohomology with values in Jacobian ring of the mirror potential function. And we prove what we call a multi-crescent Cardy identity under certain conditions, which is a generalized form of Cardy identity. As an application, we discuss the case of general toric manifold, and the relation to the work of Fukaya-Oh-Ohta-Ono and their $Z$-invariant. Also, we compute the conformal factor $(vol^{Floer}/vol)^2$ for the elliptic curve quotient $\mathbb{P}^1_{3,3,3}$, which is expected to be related to the choice of a primitive form.

preprint2016arXiv

Localized mirror functor constructed from a Lagrangian torus

Fixing a weakly unobstructed Lagrangian torus in a symplectic manifold X, we define a holomorphic function W known as the Floer potential. We construct a canonical A-infinity functor from the Fukaya category of X to the category of matrix factorizations of W. It provides a unified way to construct matrix factorizations from Lagrangian Floer theory. The technique is applied to toric Fano manifolds to transform Lagrangian branes to matrix factorizations. Using the method, we also obtain an explicit expression of the matrix factorization mirror to the real locus of the complex projective space.

preprint2015arXiv

Localized mirror functor for Lagrangian immersions, and homological mirror symmetry for P^1_{a,b,c}

This paper gives a new way of constructing Landau-Ginzburg mirrors using deformation theory of Lagrangian immersions motivated by the works of Seidel, Strominger-Yau-Zaslow and Fukaya-Oh-Ohta-Ono. Moreover we construct a canonical functor from the Fukaya category to the mirror category of matrix factorizations. This functor derives homological mirror symmetry under some explicit assumptions. As an application, the construction is applied to spheres with three orbifold points to produce their quantum-corrected mirrors and derive homological mirror symmetry. Furthermore we discover an enumerative meaning of the (inverse) mirror map for elliptic curve quotients.

preprint2014arXiv

Lagrangian Floer superpotentials and crepant resolutions for toric orbifolds

We investigate the relationship between the Lagrangian Floer superpotentials for a toric orbifold and its toric crepant resolutions. More specifically, we study an open string version of the crepant resolution conjecture (CRC) which states that the Lagrangian Floer superpotential of a Gorenstein toric orbifold $\mathcal{X}$ and that of its toric crepant resolution $Y$ coincide after analytic continuation of quantum parameters and a change of variables. Relating this conjecture with the closed CRC, we find that the change of variable formula which appears in closed CRC can be explained by relations between open (orbifold) Gromov-Witten invariants. We also discover a geometric explanation (in terms of virtual counting of stable orbi-discs) for the specialization of quantum parameters to roots of unity which appears in Y. Ruan's original CRC ["The cohomology ring of crepant resolutions of orbifolds", Gromov-Witten theory of spin curves and orbifolds, 117-126, Contemp. Math., 403, Amer. Math. Soc., Providence, RI, 2006]. We prove the open CRC for the weighted projective spaces $\mathcal{X}=\mathbb{P}(1,\ldots,1,n)$ using an equality between open and closed orbifold Gromov-Witten invariants. Along the way, we also prove an open mirror theorem for these toric orbifolds.

preprint2014arXiv

On the counting of holomorphic discs in toric Fano manifolds

Open Gromov-Witten invariants in general are not well-defined. We discuss in detail the enumerative numbers of the Clifford torus $T^2$ in $\CP^2$. For cyclic A-infinity algebras, we show that certain generalized way of counting may be defined up to Hochschild or cyclic boundary elements. In particular we obtain a well-defined function on Hochschild or cyclic homology of a cyclic A-infinity algebra, which has invariance property under cyclic A-infinity homomorphism. We discuss an example of Clifford torus $T^2$ and compute the invariant for a specific cyclic cohomology class.

preprint2012arXiv

Chern-Weil Maslov index and its orbifold analogue

We give Chern-Weil definitions of the Maslov indices of bundle pairs over a Riemann surface Σwith boundary, which consists of symplectic vector bundle on Σand a Lagrangian subbundle on \partialΣ as well as its generalization for transversely intersecting Lagrangian boundary conditions. We discuss their properties and relations to the known topological definitions. As a main application, we extend Maslov index to the case with orbifold interior singularites, via curvature integral, and find also an analogous topological definition in these cases.

preprint2012arXiv

Examples of Matrix Factorizations from SYZ

We find matrix factorization corresponding to an anti-diagonal in ${\mathbb C}P^1 \times {\mathbb C}P^1$, and circle fibers in weighted projective lines using the idea of Chan and Leung of Strominger-Yau-Zaslow transformations. For the tear drop orbifolds, we apply this idea to find matrix factorizations for two types of potential, the usual Hori-Vafa potential or the bulk deformed (orbi)-potential. We also show that the direct sum of anti-diagonal with its shift, is equivalent to the direct sum of central torus fibers with holonomy $(1,-1)$ and $(-1,1)$ in the Fukaya category of ${\mathbb C}P^1 \times {\mathbb C}P^1$, which was predicted by Kapustin and Li from B-model calculations.

preprint2012arXiv

Holomorphic orbidiscs and Lagrangian Floer cohomology of symplectic toric orbifolds

We develop Floer theory of Lagrangian torus fibers in compact symplectic toric orbifolds. We first classify holomorphic orbi-discs with boundary on Lagrangian torus fibers. We show that there exists a class of basic discs such that we have one-to-one correspondences between a) smooth basic discs and facets of the moment polytope, and b) between basic orbi-discs and twisted sectors of the toric orbifold. We show that there is a smooth Lagrangian Floer theory of these torus fibers, which has a bulk-deformation by fundamental classes of twisted sectors of the toric orbifold. We show by several examples that such bulk-deformation can be used to illustrate the very rigid Hamiltonian geometry of orbifolds. We define its potential and bulk-deformed potential, and develop the notion of leading order potential. We study leading term equations analogous to the case of toric manifolds by Fukaya, Oh, Ohta and Ono.

preprint2010arXiv

Notes on Kontsevich-Soibelman's theorem about cyclic A-infinity algebras

Kontsevich and Soibelman has proved a relation between a non-degenerate cyclic homology element of an A-infinity algebra A and its cyclic inner products on the minimal model of A. We find an explicit formula of this correspondence, in terms of the strong homotopy inner products and negative cyclic cohomology of A. We prove that an equivalence class of the induced strong homotopy inner product depends only on the given negative cyclic cohomology class. Also, we extend such a correspondence to the case of gapped filtered A-infinity algebras.

preprint2009arXiv

On the obstructed Lagrangian Floer theory

Lagrangian Floer homology in a general case has been constructed by Fukaya, Oh, Ohta and Ono, where they construct an $\AI$-algebra or an $\AI$-bimodule from Lagrangian submanifolds, and studied the obstructions and deformation theories. But for obstructed Lagrangian submanifolds, standard Lagrangian Floer homology can not be defined. We explore several well-known cohomology theories on these $\AI$-objects and explore their properties, which are well-defined and invariant even in the obstructed cases. These are Hochschild and cyclic homology of an $\AI$-objects and Chevalley-Eilenberg or cyclic Chevalley-Eilenberg homology of their underlying $\LI$ objects. We explain how the existence of $m_0$ effects the usual homological algebra of these homology theories. We also provide some computations. We show that for an obstructed $\AI$-algebra with a non-trivial primary obstruction, Chevalley-Eilenberg Floer homology vanishes, whose proof is inspired by the comparison with cluster homology theory of Lagrangian submanifolds by Cornea and Lalonde. In contrast, we also provide an example of an obstructed case whose cyclic Floer homology is non-vanishing.

preprint2005arXiv

Products of Floer cohomology of torus fibers in toric Fano manifolds

We compute the ring structure of Floer cohomology groups of Lagrangian torus fibers in some toric Fano manifolds continuing the study of \cite{CO}. Related $\AI$-formulas hold for transversal choice of chains. Two different computations are provided: a direct calculation using the classification of holomorphic discs by Oh and the author in \cite{CO}, and another method by using an {\it analogue of divisor equation} in Gromov-Witten invariants to thecase of discs. Floer cohomology rings are shown to be isomorphic to Clifford algebras, whose quadratic forms are given by the Hessians of functions $W$, which turn out to be the superpotentials of Landau-Ginzburg mirrors. In the case of $\CP^n$ and $ \CP^1 \times \CP^1$, this proves the prediction made by Hori, Kapustin and Li by B-model calculations via physical arguments. The latter method also provides correspondence between higher derivatives of the superpotential of LG mirror with the higher products of $\AI$(or $\LI$)-algebra of the Lagrangian submanifold.