Showing 1–50 of 50 results for author: Cho, C

Canonical form of matrix factorizations from Fukaya category of surface

Authors: Cheol-Hyun Cho, Kyungmin Rho

Abstract: This paper concerns homological mirror symmetry for the pair-of-pants surface (A-side) and the non-isolated surface singularity $xyz=0$ (B-side). Burban-Drozd classified indecomposable maximal Cohen-Macaulay modules on the B-side. We prove that higher-multiplicity band-type modules correspond to higher-rank local systems over closed geodesics on the A-side, generalizing our previous work for the m… ▽ More This paper concerns homological mirror symmetry for the pair-of-pants surface (A-side) and the non-isolated surface singularity $xyz=0$ (B-side). Burban-Drozd classified indecomposable maximal Cohen-Macaulay modules on the B-side. We prove that higher-multiplicity band-type modules correspond to higher-rank local systems over closed geodesics on the A-side, generalizing our previous work for the multiplicity one case. This provides a geometric interpretation of the representation tameness of the band-type maximal Cohen-Macaulay modules, as every indecomposable object is realized as a geometric object. We also present an explicit canonical form of matrix factorizations of $xyz$ corresponding to Burban-Drozd's canonical form of band-type maximal Cohen-Macaulay modules. As applications, we give a geometric interpretation of algebraic operations such as AR translation and duality of maximal Cohen-Macaulay modules as well as certain map** cone operations. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 69 pages, 24 figures

MSC Class: 53D37; 18G70; 13C14

Topological Fukaya category of tagged arcs

Authors: Cheol-Hyun Cho, Kyoungmo Kim

Abstract: A tagged arc on a surface is introduced by Fomin, Shapiro, and Thurston to study cluster theory on marked surfaces. Given a tagged arc system on a graded marked surface, we define its $\mathbb{Z}$-graded $\mathcal{A}_\infty$-category, generalizing the construction of Haiden, Katzarkov, and Kontsevich for arc systems. When a tagged arc system arises from a non-trivial involution on a marked surface… ▽ More A tagged arc on a surface is introduced by Fomin, Shapiro, and Thurston to study cluster theory on marked surfaces. Given a tagged arc system on a graded marked surface, we define its $\mathbb{Z}$-graded $\mathcal{A}_\infty$-category, generalizing the construction of Haiden, Katzarkov, and Kontsevich for arc systems. When a tagged arc system arises from a non-trivial involution on a marked surface, we show that this $\mathcal{A}_\infty$-category is quasi-isomorphic to the invariant part of the topological Fukaya category under the involution. In particular, this identifies tagged arcs with non-geometric idempotents of Fukaya category. △ Less

Submitted 16 April, 2024; originally announced April 2024.

Comments: 57 pages, 18 figures

MSC Class: 53D37; 16E35

Bourgain's counterexample in the sequential convergence problem for the Schrödinger equation

Authors: Chu-Hee Cho, Daniel Eceizabarrena

Abstract: We study the problem of pointwise convegence for the Schrödinger operator on $\mathbb R^n$ along time sequences. We show that the sharp counterexample to the sequential Schrödinger maximal estimate given recently by Li, Wang and Yan based in the construction by Lucà and Rogers can also be achieved with the construction of Bourgain, and we extend it to the fractal setting. We study the problem of pointwise convegence for the Schrödinger operator on $\mathbb R^n$ along time sequences. We show that the sharp counterexample to the sequential Schrödinger maximal estimate given recently by Li, Wang and Yan based in the construction by Lucà and Rogers can also be achieved with the construction of Bourgain, and we extend it to the fractal setting. △ Less

Submitted 11 March, 2024; originally announced March 2024.

Comments: 19 pages, 3 figures

MSC Class: 35J10; 42B37

Improved curvature conditions on $L^2\times\cdots\times L^2 \to L^{2/m}$ bounds for multilinear maximal averages

Authors: Chuhee Cho, ** Bong Lee, Kalachand Shuin

Abstract: In this article, we focus on $L^{2}(\mathbb{R}^d)\times\cdots\times L^{2}(\mathbb{R}^d)\rightarrow L^{2/m}(\mathbb{R}^d)$ estimates for multilinear maximal averages over non-degenerate hypersurfaces. Our findings is new for $m$-linear averages with $m\geq3$, and represent a reproof of the recent result of T. Borges, B. Foster, and Y. Ou on the curvature conditions of the hypersurfaces required in… ▽ More In this article, we focus on $L^{2}(\mathbb{R}^d)\times\cdots\times L^{2}(\mathbb{R}^d)\rightarrow L^{2/m}(\mathbb{R}^d)$ estimates for multilinear maximal averages over non-degenerate hypersurfaces. Our findings is new for $m$-linear averages with $m\geq3$, and represent a reproof of the recent result of T. Borges, B. Foster, and Y. Ou on the curvature conditions of the hypersurfaces required in establishing $L^{2}(\mathbb{R}^d)\times L^{2}(\mathbb{R}^d)\rightarrow L^{1}(\mathbb{R}^d)$ estimates of bilinear maximal functions. △ Less

Submitted 10 January, 2024; v1 submitted 8 January, 2024; originally announced January 2024.

Comments: 14 pages. We changed Lemma 2.2 due to some errors, hence the condition in Theorem 1.2, $s>(m-2)d/2 +1$ is replaced by $s>(m-1)d/2 +1/2$

MSC Class: 42B25; 47H60

Floer theory for the variation operator of an isolated singularity

Authors: Hanwool Bae, Cheol-Hyun Cho, Dongwook Choa, Wonbo Jeong

Abstract: The variation operator in singularity theory maps relative homology cycles to compact cycles in the Milnor fiber using the monodromy. We construct its symplectic analogue for an isolated singularity. We define a new Floer cohomology, called monodromy Lagrangian Floer cohomology, which provides categorifications of the standard theorems on the variation operator and the Seifert form. The key ingred… ▽ More The variation operator in singularity theory maps relative homology cycles to compact cycles in the Milnor fiber using the monodromy. We construct its symplectic analogue for an isolated singularity. We define a new Floer cohomology, called monodromy Lagrangian Floer cohomology, which provides categorifications of the standard theorems on the variation operator and the Seifert form. The key ingredients are a special class $Γ$ in the symplectic cohomology of the inverse of the monodromy and its closed-open images. For isolated plane curve singularities whose A'Campo divide has depth zero, we find an exceptional collection consisting of non-compact Lagrangians in the Milnor fiber corresponding to a distinguished collection of vanishing cycles under the variation operator. △ Less

Submitted 1 April, 2024; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: 63 pages, 25 figures, v2. Added references, v3. Several results are added in Section 4.7, and the appendix is removed

MSC Class: 53D37; 53D40; 32S50; 32S55

$L^p$ improving properties and maximal estimates for certain multilinear averaging operators

Authors: Chu-hee Cho, ** Bong Lee, Kalachand Shuin

Abstract: In this article we focus on $L^{p}$ estimates for two types of multilinear lacunary maximal averages over hypersurfaces with curvature conditions. Moreover, we give a different proof for the bilinear lacunary spherical maximal functions. To obtain our results, we make use of the $L^1$-improving estimates of multilinear averaging operators. We also obtain $L^p$-improving estimates for certain multi… ▽ More In this article we focus on $L^{p}$ estimates for two types of multilinear lacunary maximal averages over hypersurfaces with curvature conditions. Moreover, we give a different proof for the bilinear lacunary spherical maximal functions. To obtain our results, we make use of the $L^1$-improving estimates of multilinear averaging operators. We also obtain $L^p$-improving estimates for certain multilinear averages by means of the nonlinear Brascamp-Lieb inequality. △ Less

Submitted 23 January, 2024; v1 submitted 7 June, 2023; originally announced June 2023.

Comments: 32 pages. There was an error in proof of Theorem 1.5, so we added an assumption to fix it. Typos and symbolic errors were also fixed

MSC Class: 42B25; 47H60

Dimension of divergence sets of oscillatory integrals with concave phase

Authors: Chu-hee Cho, Shobu Shiraki

Abstract: We study the Hausdorff dimension of the sets on which the pointwise convergence of the solutions to the fractional Schrödinger equation $e^{it(-Δ)^\frac m2}f$ fails when $m\in(0,1)$ in one spatial dimension. The pointwise convergence along a non-tangential curve and a set of lines are also considered, where we find different nature from the case when $m\in(1,\infty)$. In particular, non-tangential… ▽ More We study the Hausdorff dimension of the sets on which the pointwise convergence of the solutions to the fractional Schrödinger equation $e^{it(-Δ)^\frac m2}f$ fails when $m\in(0,1)$ in one spatial dimension. The pointwise convergence along a non-tangential curve and a set of lines are also considered, where we find different nature from the case when $m\in(1,\infty)$. In particular, non-tangential curves are no longer regarded as vertical lines. △ Less

Submitted 29 December, 2022; originally announced December 2022.

Comments: 14 pages, 3 figures

MSC Class: 35Q41

A note on some variations of the maximal inequality for the fractional Schrödinger equation

Authors: Chu-hee Cho, Shobu Shiraki

Abstract: The purpose of this note is to provide a summary of the recent work of the authors on two variations of the pointwise convergence problem for the solutions to the fractional Schrödinger equations; convergence along a tangential line and along a set of lines, as exhibiting some new results in each setting. For the former case, we make a simple observation on a path along a tangential curve of expon… ▽ More The purpose of this note is to provide a summary of the recent work of the authors on two variations of the pointwise convergence problem for the solutions to the fractional Schrödinger equations; convergence along a tangential line and along a set of lines, as exhibiting some new results in each setting. For the former case, we make a simple observation on a path along a tangential curve of exponential order. We discuss counterexamples for the latter case that show some of the known smooth regularities are essentially optimal. △ Less

Submitted 23 December, 2022; originally announced December 2022.

Comments: 16 pages, 3 figures

Quantization-Based Optimization: Alternative Stochastic Approximation of Global Optimization

Authors: **wuk Seok, Chang Sik Cho

Abstract: In this study, we propose a global optimization algorithm based on quantizing the energy level of an objective function in an NP-hard problem. According to the white noise hypothesis for a quantization error with a dense and uniform distribution, we can regard the quantization error as i.i.d. white noise. From stochastic analysis, the proposed algorithm converges weakly only under conditions satis… ▽ More In this study, we propose a global optimization algorithm based on quantizing the energy level of an objective function in an NP-hard problem. According to the white noise hypothesis for a quantization error with a dense and uniform distribution, we can regard the quantization error as i.i.d. white noise. From stochastic analysis, the proposed algorithm converges weakly only under conditions satisfying Lipschitz continuity, instead of local convergence properties such as the Hessian constraint of the objective function. This shows that the proposed algorithm ensures global optimization by Laplace's condition. Numerical experiments show that the proposed algorithm outperforms conventional learning methods in solving NP-hard optimization problems such as the traveling salesman problem. △ Less

Submitted 7 November, 2022; originally announced November 2022.

Comments: 25 pages, 3 figures, NeurIPS 2022 workshop OPT 2022 (14th Annual Workshop on Optimization for Machine Learning)

Pointwise convergence of sequential Schrödinger means

Authors: Chu-Hee Cho, Hyerim Ko, Youngwoo Koh, Sanghyuk Lee

Abstract: We study pointwise convergence of the fractional Schrödinger means along sequences $t_n$ which converge to zero. Our main result is that bounds on the maximal function $\sup_{n} |e^{it_n(-Δ)^{α/2}} f| $ can be deduced from those on $\sup_{0<t\le 1} |e^{it(-Δ)^{α/2}} f|$ when $\{t_n\}$ is contained in the Lorentz space $\ell^{r,\infty}$. Consequently, our results provide seemingly optimal results i… ▽ More We study pointwise convergence of the fractional Schrödinger means along sequences $t_n$ which converge to zero. Our main result is that bounds on the maximal function $\sup_{n} |e^{it_n(-Δ)^{α/2}} f| $ can be deduced from those on $\sup_{0<t\le 1} |e^{it(-Δ)^{α/2}} f|$ when $\{t_n\}$ is contained in the Lorentz space $\ell^{r,\infty}$. Consequently, our results provide seemingly optimal results in higher dimensions, which extend the recent work of Dimou-Seeger, and Li-Wang-Yan to higher dimensions. Our approach based on a localization argument also works for other dispersive equations and provides alternative proofs of previous results on sequential convergence. △ Less

Submitted 19 July, 2022; originally announced July 2022.

MSC Class: 42B25; 35Q41; 35S10

Varieties of Nodal surfaces, coding theory and Discriminants of cubic hypersurfaces. Part 1: Generalities and nodal K3 surfaces. Part 2: Cubic Hypersurfaces, associated discriminants. Part 3: Nodal quintics. Part 4: Nodal sextics

Authors: Fabrizio Catanese, in collaboration with Yonghwa Cho, Stephen Coughlan, Davide Frapporti, Alessandro Verra, Michael Kiermaier, Sascha Kurz

Abstract: We attach two binary codes to a projective nodal surface (the strict code K and, for even degree d, the extended code K' ) to investigate the `Nodal Severi varieties F(d, n) of nodal surfaces in P^3 of degree d and with n nodes, and their incidence hierarchy, relating partial smoothings to code shortenings. Our first main result solves a question which dates back over 100 years: the irreducible co… ▽ More We attach two binary codes to a projective nodal surface (the strict code K and, for even degree d, the extended code K' ) to investigate the `Nodal Severi varieties F(d, n) of nodal surfaces in P^3 of degree d and with n nodes, and their incidence hierarchy, relating partial smoothings to code shortenings. Our first main result solves a question which dates back over 100 years: the irreducible components of F(4, n) are in bijection with the isomorphism classes of their extended codes K', and these are exactly all the 34 possible shortenings of the extended Kummer code K' , and a component is in the closure of another if and only if the code of the latter is a shortening of the code of the former. We extend this result classifying the irreducible components of all nodal K3 surfaces in the same way, and we fully classify their extended codes. In this classification there are some sporadic cases, obtain through projection from a node. For surfaces of degree d=5 in P^3 we determine (with one possible exception) all the possible codes K, and for several cases of K, we show the irreducibility of the corresponding open set of F(5, n), for instance we show the irreducibility of the family of Togliatti quintic surfaces. In the fourth part we show that a `Togliatti-like' description holds for surfaces of degree 6 with the maximum number of nodes= 65: they are discriminants of cubic hypersurfaces in P^6 with 31 (respectively 32) nodes, and we have an irreducible 18-dimensional family of them. For degree d=6, our main result is based on some novel auxiliary results: 1) the study of the half-even sets of nodes on sextic surfaces, 2) the investigation of discriminants of cubic hypersurfaces X, 3) the computer assisted proof that, for n = 65, both codes K, K' are uniquely determined, 4) the description of these codes, relating the geometry of the Barth sextic with the Doro-Hall graph. △ Less

Submitted 27 June, 2024; v1 submitted 11 June, 2022; originally announced June 2022.

Comments: 210 pages. v2 minor changes to text, added ancillary files containing supporting computer code. The new version contains some correction, completes some linear algebra proofs of code classification, adds a table showing the Kummer genealogy tree of nodal quartic surfaces. Adds also new references

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

Authors: Cheol-Hyun Cho, Wonbo Jeong, Kyoungmo Kim, Kyungmin Rho

Abstract: 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 sym… ▽ More 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}$. △ Less

Submitted 5 May, 2022; originally announced May 2022.

Comments: 93 pages, 36 figures

MSC Class: 53D37; 13C34

Ungraded matrix factorizations as mirrors of non-orientable Lagrangians

Authors: Lino Amorim, Cheol-Hyun Cho

Abstract: We introduce the notion of ungraded matrix factorization as a mirror of non-orientable Lagrangian submanifolds. An ungraded matrix factorization of a polynomial $W$, with coefficients in a field of characteristic 2, is a square matrix $Q$ of polynomial entries satisfying $Q^2 = W \cdot \mathrm{Id}$. We then show that non-orientable Lagrangians correspond to ungraded matrix factorizations under the… ▽ More We introduce the notion of ungraded matrix factorization as a mirror of non-orientable Lagrangian submanifolds. An ungraded matrix factorization of a polynomial $W$, with coefficients in a field of characteristic 2, is a square matrix $Q$ of polynomial entries satisfying $Q^2 = W \cdot \mathrm{Id}$. We then show that non-orientable Lagrangians correspond to ungraded matrix factorizations under the localized mirror functor and illustrate this construction in a few instances. Our main example is the Lagrangian submanifold $\mathbb{R}P^2 \subset \mathbb{C}P^2$ and its mirror ungraded matrix factorization, which we construct and study. In particular, we prove a version of Homological Mirror Symmetry in this setting. △ Less

Submitted 2 May, 2022; originally announced May 2022.

A global space-time estimate for dispersive operators through its local estimate

Authors: Chu-hee Cho, Youngwoo Koh, Jung** Lee

Abstract: We will show that a local space-time estimate implies a global space-time estimate for dispersive operators. In order for this implication we consider a Littlewood-Paley type square function estimate for dispersive operators in a time variable and a generalization of Tao's epsilon removal lemma in mixed norms. By applying this implication to the fractional Schrodinger equation in R^{2+1} we obtain… ▽ More We will show that a local space-time estimate implies a global space-time estimate for dispersive operators. In order for this implication we consider a Littlewood-Paley type square function estimate for dispersive operators in a time variable and a generalization of Tao's epsilon removal lemma in mixed norms. By applying this implication to the fractional Schrodinger equation in R^{2+1} we obtain the sharp global space-time estimates with optimal regularity from the previous known local ones. △ Less

Submitted 1 September, 2021; originally announced September 2021.

Comments: 11 pages, 1 figure

MSC Class: 35A24; 35L10; 35Q41; 35S35

Pointwise convergence for the elastic wave equation

Authors: Chu-Hee Cho, Seongyeon Kim, Yehyun Kwon, Ihyeok Seo

Abstract: We study pointwise convergence of the solution to the elastic wave equation to the initial data which lies in the Sobolev spaces. We prove that the solution converges along every lines to the initial data almost everywhere whenever the initial regularity is greater than one half. We show this is almost optimal. We study pointwise convergence of the solution to the elastic wave equation to the initial data which lies in the Sobolev spaces. We prove that the solution converges along every lines to the initial data almost everywhere whenever the initial regularity is greater than one half. We show this is almost optimal. △ Less

Submitted 13 June, 2022; v1 submitted 18 August, 2021; originally announced August 2021.

Comments: To appear in Arch. Math., 8 pages

Fukaya category for Landau-Ginzburg orbifolds

Authors: Cheol-Hyun Cho, Dongwook Choa, Wonbo Jeong

Abstract: For a weighted homogeneous polynomial and a choice of a diagonal symmetry group, we define a new Fukaya category for a Landau-Ginzburg orbifold (of Fano or Calabi-Yau type). The construction is based on the wrapped Fukaya category of its Milnor fiber together with the monodromy of the singularity, and it is analogous to the variation operator in singularity theory. The new $\AI$-structure is const… ▽ More For a weighted homogeneous polynomial and a choice of a diagonal symmetry group, we define a new Fukaya category for a Landau-Ginzburg orbifold (of Fano or Calabi-Yau type). The construction is based on the wrapped Fukaya category of its Milnor fiber together with the monodromy of the singularity, and it is analogous to the variation operator in singularity theory. The new $\AI$-structure is constructed using popsicle maps with interior insertions of the monodromy orbit. This requires new compactifications of popsicle moduli spaces where conformal structures of some of the spheres and discs are aligned due to the popsicle structures. In particular, codimension one popsicle sphere bubbles might exist and become obstructions to define the $\AI$-structure. For log Fano and Calabi-Yau cases, we show that the sphere bubbles do not arise from action and degree estimates, together with the computation of indices of twisted Reeb orbits for Milnor fiber quotients. △ Less

Submitted 29 September, 2022; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: 68 pages, 25 figures, Erroneous compactification of popsicles is corrected. Main theorem has an additional index condition. Application to mirror symmetry of invertible curve singularity is taken out for the sequel. Comments welcome

MSC Class: 53D37; 32Sxx

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

Authors: Cheol-Hyun Cho, Sangwook Lee

Abstract: 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… ▽ More 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. △ Less

Submitted 22 July, 2020; originally announced July 2020.

Comments: 40 pages, 4 figures. Comments are welcome

Pointwise convergence along a tangential curve for the fractional Schrödinger equation

Authors: Chu-hee Cho, Shobu Shiraki

Abstract: In this paper we study the pointwise convergence problem along a tangential curve for the fractional Schrödinger equations in one spatial dimension and estimate the capacitary dimension of the divergence set. We extend a prior paper by Lee and the first author for the classical Schrödinger equation, which in itself contains a result due to Lee, Vargas and the first author, to the fractional Schröd… ▽ More In this paper we study the pointwise convergence problem along a tangential curve for the fractional Schrödinger equations in one spatial dimension and estimate the capacitary dimension of the divergence set. We extend a prior paper by Lee and the first author for the classical Schrödinger equation, which in itself contains a result due to Lee, Vargas and the first author, to the fractional Schrödinger equation. The proof is based on a decomposition argument without time localization, which has recently been introduced by the second author. △ Less

Submitted 5 June, 2020; originally announced June 2020.

Comments: 14 pages, 1 figure

Big Quantum cohomology of orbifold spheres

Authors: Lino Amorim, Cheol-Hyun Cho, Hansol Hong, Siu-Cheong Lau

Abstract: We construct a Kodaira-Spencer map from the big quantum cohomology of a sphere with three orbifold points to the Jacobian ring of the mirror Landau-Ginzburg potential function. This is constructed via the Lagrangian Floer theory of the Seidel Lagrangian and we show that Kodaira-Spencer map is a ring isomorphism. We construct a Kodaira-Spencer map from the big quantum cohomology of a sphere with three orbifold points to the Jacobian ring of the mirror Landau-Ginzburg potential function. This is constructed via the Lagrangian Floer theory of the Seidel Lagrangian and we show that Kodaira-Spencer map is a ring isomorphism. △ Less

Submitted 25 February, 2020; originally announced February 2020.

Comments: Comments welcome

MSC Class: 53D45; 53D40

Framelet Pooling Aided Deep Learning Network : The Method to Process High Dimensional Medical Data

Authors: Chang Min Hyun, Kang Cheol Kim, Hyun Cheol Cho, Jae Kyu Choi, ** Keun Seo

Abstract: Machine learning-based analysis of medical images often faces several hurdles, such as the lack of training data, the curse of dimensionality problem, and the generalization issues. One of the main difficulties is that there exists computational cost problem in dealing with input data of large size matrices which represent medical images. The purpose of this paper is to introduce a framelet-poolin… ▽ More Machine learning-based analysis of medical images often faces several hurdles, such as the lack of training data, the curse of dimensionality problem, and the generalization issues. One of the main difficulties is that there exists computational cost problem in dealing with input data of large size matrices which represent medical images. The purpose of this paper is to introduce a framelet-pooling aided deep learning method for mitigating computational bundle, caused by large dimensionality. By transforming high dimensional data into low dimensional components by filter banks with preserving detailed information, the proposed method aims to reduce the complexity of the neural network and computational costs significantly during the learning process. Various experiments show that our method is comparable to the standard unreduced learning method, while reducing computational burdens by decomposing large-sized learning tasks into several small-scale learning tasks. △ Less

Submitted 25 July, 2019; originally announced July 2019.

A Note on Disk Counting in Toric Orbifolds

Authors: Kwokwai Chan, Cheol-Hyun Cho, Siu-Cheong Lau, Naichung Conan Leung, Hsian-Hua Tseng

Abstract: We compute orbi-disk invariants of compact Gorenstein semi-Fano toric orbifolds by extending the method used for toric Calabi-Yau orbifolds. As a consequence the orbi-disc potential is analytic over complex numbers. We compute orbi-disk invariants of compact Gorenstein semi-Fano toric orbifolds by extending the method used for toric Calabi-Yau orbifolds. As a consequence the orbi-disc potential is analytic over complex numbers. △ Less

Submitted 17 June, 2020; v1 submitted 13 February, 2019; originally announced February 2019.

Comments: arXiv admin note: text overlap with arXiv:1306.0437

Journal ref: SIGMA 16 (2020), 055, 15 pages

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

Authors: Cheol-hyun Cho, Sangwook Lee, Hyung-Seok Shin

Abstract: 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… ▽ More 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. △ Less

Submitted 23 March, 2020; v1 submitted 25 October, 2018; originally announced October 2018.

Comments: 35 pages, 5 figures. Comments are welcome

Journal ref: Comm. Math. Phys. (2020), 375(1), 345-390

Gluing Localized Mirror Functors

Authors: Cheol-Hyun Cho, Hansol Hong, Siu-Cheong Lau

Abstract: We develop a method of gluing the local mirrors and functors constructed from immersed Lagrangians in the same deformation class. As a result, we obtain a global mirror geometry and a canonical mirror functor. We apply the method to construct the mirrors of punctured Riemann surfaces and show that our functor derives homological mirror symmetry. We develop a method of gluing the local mirrors and functors constructed from immersed Lagrangians in the same deformation class. As a result, we obtain a global mirror geometry and a canonical mirror functor. We apply the method to construct the mirrors of punctured Riemann surfaces and show that our functor derives homological mirror symmetry. △ Less

Submitted 3 October, 2018; originally announced October 2018.

Comments: 69 pages, 39 figures, comments are welcome

MSC Class: 53D37; 53D40

Pointwise convergence of the fractional Schrödinger equation in $\mathbb R^2$

Authors: Chu-hee Cho, Hyerim Ko

Abstract: We investigate the pointwise convergence of the solution to the fractional Schrödinger equation in $\mathbb R^2$. By establishing $H^s(\mathbb R^2)-L^3(\mathbb R^2)$ estimates for the associated maximal operator provided that $s>1/3$, we improve the previous result obtained by Miao, Yang, and Zheng. Our estimates extend the refined Strichartz estimates obtained by Du, Guth, and Li to a general cla… ▽ More We investigate the pointwise convergence of the solution to the fractional Schrödinger equation in $\mathbb R^2$. By establishing $H^s(\mathbb R^2)-L^3(\mathbb R^2)$ estimates for the associated maximal operator provided that $s>1/3$, we improve the previous result obtained by Miao, Yang, and Zheng. Our estimates extend the refined Strichartz estimates obtained by Du, Guth, and Li to a general class of elliptic functions. △ Less

Submitted 30 November, 2021; v1 submitted 10 September, 2018; originally announced September 2018.

Comments: 20 pages

MSC Class: 35Q41

Fractal Strichartz estimate for the wave equation

Authors: Chu-Hee Cho, Seheon Ham, Sanghyuk Lee

Abstract: We consider Strichartz estimates for the wave equation with respect to general measures which satisfy certain growth condition. In $\mathbb R^{3+1}$ we obtain the sharp estimate and in higher dimensions improve the previous results. We consider Strichartz estimates for the wave equation with respect to general measures which satisfy certain growth condition. In $\mathbb R^{3+1}$ we obtain the sharp estimate and in higher dimensions improve the previous results. △ Less

Submitted 5 December, 2016; v1 submitted 1 November, 2016; originally announced November 2016.

Comments: 18 pages, minor correction

Journal ref: Nonlinear Analysis, Vol. 150, (2017) 61-75

Noncommutative homological mirror functor

Authors: Cheol-Hyun Cho, Hansol Hong, Siu-Cheong Lau

Abstract: We formulate a constructive theory of noncommutative Landau-Ginzburg models mirror to symplectic manifolds based on Lagrangian Floer theory. The construction comes with a natural functor from the Fukaya category to the category of matrix factorizations of the constructed Landau-Ginzburg model. As applications, it is applied to elliptic orbifolds, punctured Riemann surfaces and certain non-compact… ▽ More We formulate a constructive theory of noncommutative Landau-Ginzburg models mirror to symplectic manifolds based on Lagrangian Floer theory. The construction comes with a natural functor from the Fukaya category to the category of matrix factorizations of the constructed Landau-Ginzburg model. As applications, it is applied to elliptic orbifolds, punctured Riemann surfaces and certain non-compact Calabi-Yau threefolds to construct their mirrors and functors. In particular it recovers and strengthens several interesting results of Etingof-Ginzburg, Bocklandt and Smith, and gives a unified understanding of their results in terms of mirror symmetry and symplectic geometry. As an interesting application, we construct an explicit global deformation quantization of an affine del Pezzo surface as a noncommutative mirror to an elliptic orbifold. △ Less

Submitted 5 September, 2021; v1 submitted 22 December, 2015; originally announced December 2015.

Comments: 114 pages, 21 figures; Final version published in Memoirs of the American Mathematical Society on June 25, 2021

MSC Class: 14J33; 53D37

Improved restriction estimate for hyperbolic surfaces in R3

Authors: Chuhee Cho, Jung** Lee

Abstract: Recently, L. Guth improved the restriction estimate for the surfaces with strictly positive Gaussian curvature in R3. In this paper we generalize his restriction estimate to the surfaces with strictly negative Gaussian curvature. Recently, L. Guth improved the restriction estimate for the surfaces with strictly positive Gaussian curvature in R3. In this paper we generalize his restriction estimate to the surfaces with strictly negative Gaussian curvature. △ Less

Submitted 3 November, 2016; v1 submitted 2 October, 2015; originally announced October 2015.

MSC Class: 42B20

On inhomogeneous Strichartz estimates for fractional Schrödinger equations and their applications

Authors: Chu-Hee Cho, Youngwoo Koh, Ihyeok Seo

Abstract: In this paper we obtain some new inhomogeneous Strichartz estimates for the fractional Schrödinger equation in the radial case. Then we apply them to the well-posedness theory for the equation $i\partial_{t}u+|\nabla|^αu=V(x,t)u$, $1<α<2$, with radial $\dot{H}^γ$ initial data below $L^2$ and radial potentials $V\in L_t^rL_x^w$ under the scaling-critical range $α/r+n/w=α$. In this paper we obtain some new inhomogeneous Strichartz estimates for the fractional Schrödinger equation in the radial case. Then we apply them to the well-posedness theory for the equation $i\partial_{t}u+|\nabla|^αu=V(x,t)u$, $1<α<2$, with radial $\dot{H}^γ$ initial data below $L^2$ and radial potentials $V\in L_t^rL_x^w$ under the scaling-critical range $α/r+n/w=α$. △ Less

Submitted 8 July, 2015; v1 submitted 22 January, 2015; originally announced January 2015.

Comments: To appear in Discrete Contin. Dyn. Syst., 22 pages, 2 figures

Localized mirror functor constructed from a Lagrangian torus

Authors: Cheol-Hyun Cho, Hansol Hong, Siu-Cheong Lau

Abstract: 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… ▽ More 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. △ Less

Submitted 29 September, 2016; v1 submitted 18 June, 2014; originally announced June 2014.

Comments: 52 pages, 14 figures, Theorem 9.1 added

MSC Class: 53D37; 53D40

Lagrangian Floer potential of orbifold spheres

Authors: Cheol-Hyun Cho, Hansol Hong, Sang-hyun Kim, Siu-Cheong Lau

Abstract: For each sphere with three orbifold points, we construct an algorithm to compute the open Gromov-Witten potential, which serves as the quantum-corrected Landau-Ginzburg mirror and is an infinite series in general. This gives the first class of general-type geometries whose full potentials can be computed. As a consequence we obtain an enumerative meaning of mirror maps for elliptic curve quotients… ▽ More For each sphere with three orbifold points, we construct an algorithm to compute the open Gromov-Witten potential, which serves as the quantum-corrected Landau-Ginzburg mirror and is an infinite series in general. This gives the first class of general-type geometries whose full potentials can be computed. As a consequence we obtain an enumerative meaning of mirror maps for elliptic curve quotients. Furthermore, we prove that the open Gromov-Witten potential is convergent, even in the general-type cases, and has an isolated singularity at the origin, which is an important ingredient of proving homological mirror symmetry. △ Less

Submitted 4 March, 2014; originally announced March 2014.

Comments: 65 pages, 43 figures

Journal ref: Advances in Mathematics 306: 344-426 (2017)

On orbifold embeddings

Authors: Cheol-Hyun Cho, Hansol Hong, Hyung-Seok Shin

Abstract: For an orbifold, there is a notion of an orbifold embedding, which is more general than the one of sub-orbifolds. We develop several properties of orbifold embeddings. In the case of translation groupoids, we show that such a notion is equivalent to a strong equivariant immersion. For an orbifold, there is a notion of an orbifold embedding, which is more general than the one of sub-orbifolds. We develop several properties of orbifold embeddings. In the case of translation groupoids, we show that such a notion is equivalent to a strong equivariant immersion. △ Less

Submitted 27 August, 2013; originally announced August 2013.

Comments: 29 pages, 6 figures

MSC Class: 57R18

Journal ref: Journal of Korean Mathematical Society Vol. 50, No. 6: 1369-1400 (2013)

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

Authors: Cheol-Hyun Cho, Hansol Hong, Siu-Cheong Lau

Abstract: 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… ▽ More 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. △ Less

Submitted 14 March, 2015; v1 submitted 21 August, 2013; originally announced August 2013.

Comments: v4: improved expositions, added Theorem 1.3 and more references

MSC Class: 53D37; 14J33

Finite group actions on Lagrangian Floer theory

Authors: Cheol-Hyun Cho, Hansol Hong

Abstract: We construct finite group actions on Lagrangian Floer theory when symplectic manifolds have finite group actions and Lagrangian submanifolds have induced group actions. We first define finite group actions on Novikov-Morse theory. We introduce the notion of a {\em spin profile} as an obstruction class of extending the group action on Lagrangian submanifold to the one on its spin structure, which i… ▽ More We construct finite group actions on Lagrangian Floer theory when symplectic manifolds have finite group actions and Lagrangian submanifolds have induced group actions. We first define finite group actions on Novikov-Morse theory. We introduce the notion of a {\em spin profile} as an obstruction class of extending the group action on Lagrangian submanifold to the one on its spin structure, which is a group cohomology class in $H^2(G;\Z/2)$. For a class of Lagrangian submanifolds which have the same spin profiles, we define a finite group action on their Fukaya category. In consequence, we obtain the $s$-equivariant Fukaya category as well as the $s$-orbifolded Fukaya category for each group cohomology class $s$. We also develop a version with $G$-equivariant bundles on Lagrangian submanifolds, and explain how character group of $G$ acts on the theory. As an application, we define an orbifolded Fukaya-Seidel category of a $G$-invariant Lefschetz fibration, and also discuss homological mirror symmetry conjectures with group actions. △ Less

Submitted 17 July, 2013; originally announced July 2013.

Comments: 81 pages, 12 figures; comments welcome!

MSC Class: 53D40

Journal ref: Journal of Symplectic Geometry, Vol. 15, No. 2, 307-420 (2017)

Gross fibrations, SYZ mirror symmetry, and open Gromov-Witten invariants for toric Calabi-Yau orbifolds

Authors: Kwokwai Chan, Cheol-Hyun Cho, Siu-Cheong Lau, Hsian-Hua Tseng

Abstract: For a toric Calabi-Yau (CY) orbifold $\mathcal{X}$ whose underlying toric variety is semi-projective, we construct and study a non-toric Lagrangian torus fibration on $\mathcal{X}$, which we call the Gross fibration. We apply the Strominger-Yau-Zaslow (SYZ) recipe to the Gross fibration of $\mathcal{X}$ to construct its mirror with the instanton corrections coming from genus 0 open orbifold Gromov… ▽ More For a toric Calabi-Yau (CY) orbifold $\mathcal{X}$ whose underlying toric variety is semi-projective, we construct and study a non-toric Lagrangian torus fibration on $\mathcal{X}$, which we call the Gross fibration. We apply the Strominger-Yau-Zaslow (SYZ) recipe to the Gross fibration of $\mathcal{X}$ to construct its mirror with the instanton corrections coming from genus 0 open orbifold Gromov-Witten (GW) invariants, which are virtual counts of holomorphic orbi-disks in $\mathcal{X}$ bounded by fibers of the Gross fibration. We explicitly evaluate all these invariants by first proving an open/closed equality and then employing the toric mirror theorem for suitable toric (partial) compactifications of $\mathcal{X}$. Our calculations are then applied to (1) prove a conjecture of Gross-Siebert on a relation between genus 0 open orbifold GW invariants and mirror maps of $\mathcal{X}$ -- this is called the open mirror theorem, which leads to an enumerative meaning of mirror maps, and (2) demonstrate how open (orbifold) GW invariants for toric CY orbifolds change under toric crepant resolutions -- an open analogue of Ruan's crepant resolution conjecture. △ Less

Submitted 31 March, 2015; v1 submitted 3 June, 2013; originally announced June 2013.

Comments: v4: 65 pages, significantly shortened to avoid too much overlap with arXiv:1006.3830 and arXiv:1206.3994, to appear in JDG

Journal ref: J. Differential Geom. 103 (2016), no. 2, 207-288

Lagrangian Floer superpotentials and crepant resolutions for toric orbifolds

Authors: Kwokwai Chan, Cheol-Hyun Cho, Siu-Cheong Lau, Hsian-Hua Tseng

Abstract: 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 conti… ▽ More 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. △ Less

Submitted 10 March, 2014; v1 submitted 26 August, 2012; originally announced August 2012.

Comments: 48 pages, 1 figure; v2: references added and updated, final version, to appear in CMP

MSC Class: 53D37

Journal ref: Comm. Math. Phys. 328 (2014), no. 1, 83-130

Holomorphic orbidiscs and Lagrangian Floer cohomology of symplectic toric orbifolds

Authors: Cheol-Hyun Cho, Mainak Poddar

Abstract: 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 orb… ▽ More 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. △ Less

Submitted 21 June, 2012; v1 submitted 18 June, 2012; originally announced June 2012.

Comments: 75 pages, 4 figures. shortened by reducing repetition of construction from manifold cases

MSC Class: 53D12; 53D40

Journal ref: J. Differential Geom. Volume 98, Number 1 (2014), 21-116

Examples of Matrix Factorizations from SYZ

Authors: Cheol-Hyun Cho, Hansol Hong, Sangwook Lee

Abstract: 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)-potentia… ▽ More 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. △ Less

Submitted 16 August, 2012; v1 submitted 21 May, 2012; originally announced May 2012.

MSC Class: 53D37; 53D40; 57R18

Journal ref: SIGMA 8 (2012), 053, 24 pages

Chern-Weil Maslov index and its orbifold analogue

Authors: Cheol-Hyun Cho, Hyung-Seok Shin

Abstract: 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… ▽ More 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. △ Less

Submitted 2 February, 2012; originally announced February 2012.

Comments: 19 pages

MSC Class: 53D12; 57R18

Orbifold Morse-Smale-Witten complex

Authors: Cheol-Hyun Cho, Hansol Hong

Abstract: We construct Morse-Smale-Witten complex for an effective orientable orbifold. For a global quotient orbifold, we also construct a Morse-Bott complex. We show that certain type of critical points of a Morse function has to be discarded to construct such a complex, and gradient flows should be counted with suitable weights. The homology of these complexes are shown to be isomorphic to the singular h… ▽ More We construct Morse-Smale-Witten complex for an effective orientable orbifold. For a global quotient orbifold, we also construct a Morse-Bott complex. We show that certain type of critical points of a Morse function has to be discarded to construct such a complex, and gradient flows should be counted with suitable weights. The homology of these complexes are shown to be isomorphic to the singular homology of the quotient spaces under the self-indexing assumptions. △ Less

Submitted 17 July, 2013; v1 submitted 28 March, 2011; originally announced March 2011.

Comments: 35 pages, 6 figures; The content of the last section is replaced by the explanation on weak group actions. Some other minor changes

MSC Class: 57R18; 37D15

Journal ref: International Journal of Mathematics, Volume No.25, Issue No.5 (2014)

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

Authors: Cheol-Hyun Cho, Sangwook Lee

Abstract: 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 de… ▽ More 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. △ Less

Submitted 22 February, 2010; v1 submitted 18 February, 2010; originally announced February 2010.

Comments: 29 pages,typo corrected

MSC Class: 53D37; 46CXX; 18GXX

Journal ref: IMRN (14) 2011, No.6, 3095-3140

Potentials of homotopy cyclic $\AI$-algebras

Authors: Cheol-Hyun Cho, Sangwook Lee

Abstract: For a cyclic $\AI$-algebra, a potential recording the structure constants can be defined. We define an analogous potential for a homotopy cyclic $\AI$-algebra and prove its properties. On the other hand, we find another different potential for a homotopy cyclic $\AI$-algebra, which is related to the algebraic analogue of generalized holonomy map of Abbaspour, Tradler and Zeinalian. For a cyclic $\AI$-algebra, a potential recording the structure constants can be defined. We define an analogous potential for a homotopy cyclic $\AI$-algebra and prove its properties. On the other hand, we find another different potential for a homotopy cyclic $\AI$-algebra, which is related to the algebraic analogue of generalized holonomy map of Abbaspour, Tradler and Zeinalian. △ Less

Submitted 11 October, 2010; v1 submitted 1 January, 2010; originally announced January 2010.

Comments: 18 pages, 1 figure

MSC Class: 46CXX; 53DXX

Journal ref: Homology, Homotopy, Appl. 14 (2012), no.1, 203-220

On the obstructed Lagrangian Floer theory

Authors: Cheol-Hyun Cho

Abstract: 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… ▽ More 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. △ Less

Submitted 13 December, 2009; v1 submitted 7 September, 2009; originally announced September 2009.

Comments: 43 pages, 1 figure

MSC Class: 53D40; 53D12

Journal ref: Adv. Math. 229 (2012) 804-853

Gradient-like vector fields on a complex analytic variety

Authors: Cheol-Hyun Cho, Giovanni Marelli

Abstract: Given a complex analytic function f on a Whitney stratified complex analytic variety of complex dimension n, whose real part Re(f) is Morse, we prove the existence of a stratified gradient-like vector field for Re(f) such that the unstable set of a critical point p on a stratum S of complex dimension s has real dimension $m(p)+n-s$ as was conjectured by Goresky and MacPherson. Given a complex analytic function f on a Whitney stratified complex analytic variety of complex dimension n, whose real part Re(f) is Morse, we prove the existence of a stratified gradient-like vector field for Re(f) such that the unstable set of a critical point p on a stratum S of complex dimension s has real dimension $m(p)+n-s$ as was conjectured by Goresky and MacPherson. △ Less

Submitted 30 July, 2010; v1 submitted 13 August, 2009; originally announced August 2009.

Comments: 23 pages, 4 figure, v2:major revision, v3:added restriction on Morse function and removed fast condition

MSC Class: 32C42; 37D15; 55N33

Non-displaceable Lagrangian submanifolds and Floer cohomology with non-unitary line bundle

Authors: Cheol-Hyun Cho

Abstract: We show that in many examples the non-displaceability of Lagrangian submanifolds by Hamiltonian isotopy can be proved via Lagrangian Floer cohomology with non-unitary line bundle. The examples include all monotone Lagrangian torus fibers in toric Fano manifold (which was also proven by Entov and Polterovich via the theory of symplectic quasi-states), some non-monotone Lagrangian torus fibers.… ▽ More We show that in many examples the non-displaceability of Lagrangian submanifolds by Hamiltonian isotopy can be proved via Lagrangian Floer cohomology with non-unitary line bundle. The examples include all monotone Lagrangian torus fibers in toric Fano manifold (which was also proven by Entov and Polterovich via the theory of symplectic quasi-states), some non-monotone Lagrangian torus fibers. We also extend the results by Oh and the author about the computations of Floer cohomology of Lagrangian torus fibers to the case of all toric Fano manifolds, removing the convexity assumption in the previous work. △ Less

Submitted 23 February, 2008; v1 submitted 29 October, 2007; originally announced October 2007.

Comments: 17pages,1figure, revised version. Chekanov tori case removed

MSC Class: 53D12;53D20;53D40

Strong homotopy inner product of an A-infinity algebra

Authors: Cheol-Hyun Cho

Abstract: We introduce a strong homotopy notion of a cyclic symmetric inner product of an A-infinity algebra and prove a characterization theorem in the formalism of the infinity inner products by Tradler. We also show that it is equivalent to the notion of a non-constant symplectic structure on the corresponding formal non-commutative supermanifold. We show that (open Gromov-Witten type) potential for a… ▽ More We introduce a strong homotopy notion of a cyclic symmetric inner product of an A-infinity algebra and prove a characterization theorem in the formalism of the infinity inner products by Tradler. We also show that it is equivalent to the notion of a non-constant symplectic structure on the corresponding formal non-commutative supermanifold. We show that (open Gromov-Witten type) potential for a cyclic filtered A-infinity algebra is invariant under the cyclic filtered A-infinity homomorphism up to reparametrization, cyclization and a constant addition, generalizing the work of Kajiura. △ Less

Submitted 26 September, 2007; originally announced September 2007.

Comments: 25 pages

MSC Class: 46CXX; 53DXX

On the counting of holomorphic discs in toric Fano manifolds

Authors: Cheol-Hyun Cho

Abstract: 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 algebr… ▽ More 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. △ Less

Submitted 18 March, 2014; v1 submitted 24 April, 2006; originally announced April 2006.

Comments: 17 pages, 2 figures,v2: rewritten using the language of cyclic A-infinity algebra, v3: added an example of a cyclic cohomology class, published version

MSC Class: 53D40; 53D45

Journal ref: Adv. Geom. 13 (2013), 191-210

Counting real pseudo-holomorphic discs and spheres in dimension four and six

Authors: Cheol-Hyun Cho

Abstract: First, we provide another proof that the signed count of the real $J$-holomorphic spheres (or $J$-holomorphic discs) passing through a generic real configuration of $k$ points is independent of the choice of the real configuration and the choice of $J$, if the dimension of the Lagrangian submanifold $L$ (fixed points set of the involution) is two or three, and also if we assume $L$ is orientable… ▽ More First, we provide another proof that the signed count of the real $J$-holomorphic spheres (or $J$-holomorphic discs) passing through a generic real configuration of $k$ points is independent of the choice of the real configuration and the choice of $J$, if the dimension of the Lagrangian submanifold $L$ (fixed points set of the involution) is two or three, and also if we assume $L$ is orientable and relatively spin, and $M$ is strongly semi-positive. This theorem was first proved by Welschinger in a more general setting, and we provide more natural approach using the degree of evaluation maps from the moduli spaces of $J$-holomorphic discs. Then, we define the invariant count of discs intersecting cycles of a symplectic manifold at fixed interior marked points, and intersecting real points at the boundary under certain assumptions. The last result is new and was not proved by Welshinger's method. △ Less

Submitted 24 April, 2006; v1 submitted 24 April, 2006; originally announced April 2006.

Comments: 18 pages, 2 figures, typo corrected

MSC Class: 53D45;14N35

Products of Floer cohomology of torus fibers in toric Fano manifolds

Authors: Cheol-Hyun Cho

Abstract: 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… ▽ More 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. △ Less

Submitted 26 February, 2005; v1 submitted 20 December, 2004; originally announced December 2004.

Comments: 26 pages, 3 fig; Statements about abstract perturbation and invariance withdrawn. Additional assumption on results about ring structure

MSC Class: 53D40; 14J45

Floer cohomology and disc instantons of Lagrangian torus fibers in Fano toric manifolds

Authors: Cheol-Hyun Cho, Yong-Geun Oh

Abstract: In this paper, we first provide an explicit description of {\it all} holomorphic discs (``disc instantons'') attached to Lagrangian torus fibers of arbitrary compact toric manifolds, and prove their Fredholm regularity. Using this, we compute Fukaya-Oh-Ohta-Ono's (FOOO's) obstruction (co)chains and the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. In particular specializin… ▽ More In this paper, we first provide an explicit description of {\it all} holomorphic discs (``disc instantons'') attached to Lagrangian torus fibers of arbitrary compact toric manifolds, and prove their Fredholm regularity. Using this, we compute Fukaya-Oh-Ohta-Ono's (FOOO's) obstruction (co)chains and the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. In particular specializing to the formal parameter $T^{2π} = e^{-1}$, our computation verifies the folklore that FOOO's obstruction (co)chains correspond to the Landau-Ginzburg superpotentials under the mirror symmetry correspondence, and also proves the prediction made by K. Hori about the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. The latter states that the Floer cohomology (for the parameter value $T^{2π} = e^{-1}$) of all the fibers vanish except at a finite number, the Euler characteristic of the toric manifold, of base points in the momentum polytope that are critical points of the superpotential of the Landau-Ginzburg mirror to the toric manifold. In the latter cases, we also prove that the Floer cohomology of the corresponding fiber is isomorphic to its singular cohomology. We also introduce a restricted version of the Floer cohomology of Lagrangian submanifolds, which is a priori more flexible to define in general, and which we call the {\it adapted Floer cohomology}. We then prove that the adapted Floer cohomology of any non-singular torus fiber of Fano toric manifolds is well-defined, invariant under the Hamiltonian isotopy and isomorphic to the Bott-Morse Floer cohomology of the fiber. △ Less

Submitted 25 August, 2003; originally announced August 2003.

Comments: 38 pages

MSC Class: 53D12; 53D40;14J45; 14J32

Journal ref: Asian J. Math. Vol. 10, No. 4 (2006), 773-814

Holomorphic disc, spin structures and Floer cohomology of the Clifford torus

Authors: Cheol-Hyun Cho

Abstract: We compute the Bott-Morse Floer cohomology of the Clifford torus in $\CP^n$ with all possible spin-structures. Each spin structure is known to determine an orientation of the moduli space of holomorphic discs, and we analyze the change of orientation according to the change of spin structure of the Clifford torus. Also, we classify all holomorphic discs with boundary lying on the Clifford torus… ▽ More We compute the Bott-Morse Floer cohomology of the Clifford torus in $\CP^n$ with all possible spin-structures. Each spin structure is known to determine an orientation of the moduli space of holomorphic discs, and we analyze the change of orientation according to the change of spin structure of the Clifford torus. Also, we classify all holomorphic discs with boundary lying on the Clifford torus by establishing a Maslov index formula for such discs. As a result, we show that in odd dimensions there exist two spin structures which give non-vanishing Floer cohomology of the Clifford torus, and in even dimensions, there is only one such spin structure. When the Floer cohomology is non-vanishing, it is isomorphic to the singular cohomology of the torus (with a Novikov ring as its coefficients). As a corollary, we prove that any Hamiltonian deformation of the Clifford torus intersects with it at least at $2^n$ distinct intersection points, when the intersection is transversal. We also compute the Floer cohomology of the Clifford torus with flat line bundles on it and verify the prediction made by Hori using a mirror symmetry calculation. △ Less

Submitted 25 August, 2003; originally announced August 2003.

Comments: 31 pages, 2 figures

MSC Class: 53D12; 53D40