SearcharxivSearch

arXiv subjects

Wonbo Jeong

Publications and source records attributed to Wonbo Jeong.

11 recordsLinked to original sources

Generation of immersed Lagrangians by cocores

We extend the generation theorem of Chantraine--Dimitroglou Rizell--Ghiggini--Golovko to exact Lagrangian immersions in Weinstein manifolds. We prove that an exact Lagrangian immersion equipped with an augmentation of the Chekanov--Eliashberg algebra of its Legendrian lift, or equivalently, equipped with a corresponding bounding cochain, is generated by the Lagrangian cocores.

math.SG

Proper modules over Ginzburg dg algebras and compact Fukaya categories of plumbings

We study Ginzburg dg algebras which appear at the intersection of representation theory and symplectic topology. First, we provide a collection of proper modules that generates all proper modules over a Ginzburg dg algebra, without assuming the Jacobi-finite condition. Using this generation result, we study the immersed compact Fukaya category of a general plumbing space. In particular, we prove a generation result for the compact Fukaya category and show that it is equivalent to the category of proper modules over the wrapped Fukaya category, and hence to the category of microlocal sheaves on the Lagrangian skeleton.

math.SG

Geometric models of simple Lie algebras via singularity theory

It is well-known that ADE Dynkin diagrams classify both the simply-laced simple Lie algebras and simple singularities. We introduce a polygonal wheel in a plane for each case of ADE, called the Coxeter wheel. We show that equivalence classes of edges and spokes of a Coxeter wheel form a geometric root system isomorphic to the classical root system of the corresponding type. This wheel is in fact derived from the Milnor fiber of corresponding simple singularities of two variables, and the bilinear form on the geometric root system is the negative of its symmetrized Seifert form. Furthermore, we give a completely geometric definition of simple Lie algebras using arcs, Seifert form and variation operator of the singularity theory.

math.RT

Floer theory for the variation operator of an isolated singularity

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 the 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.

math.SG

Vanishing arcs for isolated plane curve singularities

The variation operator associated with an isolated hypersurface singularity is a classical topological invariant that relates relative and absolute homologies of the Milnor fiber via a non trivial isomorphism. Here we work with a topological version of this operator that deals with proper arcs and closed curves instead of homology cycles. Building on the classical framework of geometric vanishing cycles, we introduce the concept of vanishing arcsets as their counterpart using this geometric variation operator. We characterize which properly embedded arcs are sent to geometric vanishing cycles by the geometric variation operator in terms of intersections numbers of the arcs and their images by the geometric monodromy. Furthermore, we prove that for any distinguished collection of vanishing cycles arising from an A'Campo's divide, there exists a topological exceptional collection of arcsets whose variation images match this collection.

math.GT

Berglund-Hübsch mirrors of invertible curve singularities via Floer theory

We find a Floer theoretic approach to obtain the transpose polynomial $W^T$ of an invertible curve singularity $W$. This gives an intrinsic construction of the mirror transpose polynomial and enables us to define a canonical $A_\infty$-functor that takes Lagrangians in the Milnor fiber of W and converts them into matrix factorizations of $W^T$. We find Lagrangians in the Milnor fiber of $W$ that are mirror to the indecomposable matrix factorizations of $W^T$ when $W^T$ is ADE singularity and discover that Auslander-Reiten exact sequences can be realized as surgery exact triangles of Lagrangians in the mirror. There are two primary steps in the Floer theoretic method for obtaining a transposition polynomial: To get a Lagrangian $L$ and corresponding disc potential function $W_L$, we first determine the quotient $X$ by the maximal symmetry group for the Milnor fiber. Second, we define a class $Γ$ of symplectic cohomology of $X$ based on the monodromy of the singularity $W$. Another disc counting function, $g$, is defined by the closed-open image of $Γ$ on $L$. We demonstrate that restricting to the hypersurface $g = 0$ transforms the disc potential function $W_L$ into the transpose polynomial W T. This second step is the mirror of taking the cone of quantum cap action by the monodromy class $Γ$.

math.SG

Calabi-Yau structures on Rabinowitz Fukaya categories

In this paper, we prove that the derived Rabinowitz Fukaya category of a Liouville domain $M$ of dimension $2n$ is $(n-1)$-Calabi--Yau assuming the wrapped Fukaya category of $M$ admits an at most countable set of Lagrangians that generate it and satisfy some finiteness condition on morphism spaces between them.

math.SG

On Categorical Entropy from the viewpoint of Symplectic Topology

In this paper, motivated by symplectic topology, we explore categorical entropy and present two main results. The first result establishes a relation between categorical entropies of functors on a category and its localization. Additionally, it demonstrates analogies between the notions of topological and categorical entropy. This result is then applied to symplectic topology, where we provide a method for calculating the categorical entropy of a functor on a (partially) wrapped Fukaya category, assuming that the functor is induced by a compactly supported symplectic automorphism. For the second main result of the paper, we observe the existence of natural examples of symplectic manifolds whose Fukaya categories satisfy a type of Floer-theoretic duality. Motivated by this observation, we prove that categorical entropy can be computed from the morphism spaces under the assumption of duality. The formula is similar to the result of [DHKK14], which is proven for the case of smooth and proper categories.

math.SG

Cluster categories from Fukaya categories

We show that the derived wrapped Fukaya category $D^π\mathcal{W}(X_{Q}^{d+1})$, the derived compact Fukaya category $D^π\mathcal{F}(X_{Q}^{d+1})$ and the cocore disks $L_{Q}$ of the plumbing space $X_{Q}^{d+1}$ form a Calabi--Yau triple. As a consequence, the quotient category $D^π\mathcal{W}(X_{Q}^{d+1})/D^π\mathcal{F}(X_{Q}^{d+1})$ becomes the cluster category associated to $Q$. One of its properties is a Calabi--Yau structure. Also it is known that this quotient category is quasi-equivalent to the Rabinowitz Fukaya category due to the work of Ganatra--Gao--Venkatesh. We compute the morphism space of $L_{Q}$ in $D^π\mathcal{W}(X_{Q}^{d+1})/D^π\mathcal{F}(X_{Q}^{d+1})$ using the Calabi--Yau structure, which is isomorphic to the Rabinowitz Floer cohomology of $L_{Q}$.

math.SG

Fukaya category for Landau-Ginzburg orbifolds

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.

math.SG

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}$.

math.SG