-
Vanishing arcs for isolated plane curve singularities
Authors:
Hanwool Bae,
Cheol-Hyun Cho,
Dongwook Choa,
Wonbo Jeong,
Pablo Portilla Cuadrado
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 June, 2025;
originally announced June 2025.
-
Berglund-Hübsch mirrors of invertible curve singularities via Floer theory
Authors:
Cheol-Hyun Cho,
Dongwook Choa,
Wonbo Jeong
Abstract:
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 a…
▽ More
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 $Γ$.
△ Less
Submitted 10 September, 2024;
originally announced October 2024.
-
Impact of EIP-4844 on Ethereum: Consensus Security, Ethereum Usage, Rollup Transaction Dynamics, and Blob Gas Fee Markets
Authors:
Seongwan Park,
Bosul Mun,
Seungyun Lee,
Woojin Jeong,
Jaewook Lee,
Hyeonsang Eom,
Huisu Jang
Abstract:
On March 13, 2024, Ethereum implemented EIP-4844, designed to enhance its role as a data availability layer. While this upgrade reduces data posting costs for rollups, it also raises concerns about its impact on the consensus layer due to increased propagation sizes. Moreover, the broader effects on the overall Ethereum ecosystem remain largely unexplored. In this paper, we conduct an empirical an…
▽ More
On March 13, 2024, Ethereum implemented EIP-4844, designed to enhance its role as a data availability layer. While this upgrade reduces data posting costs for rollups, it also raises concerns about its impact on the consensus layer due to increased propagation sizes. Moreover, the broader effects on the overall Ethereum ecosystem remain largely unexplored. In this paper, we conduct an empirical analysis of the impact of EIP-4844 on consensus security, Ethereum usage, rollup transaction dynamics, and the blob gas fee mechanism. We explore changes in synchronization times, provide quantitative assessments of rollup and user behaviors, and deepen the understanding of the blob gas fee mechanism, highlighting both enhancements and areas of concern post-upgrade.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
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.
-
Calabi-Yau structures on Rabinowitz Fukaya categories
Authors:
Hanwool Bae,
Wonbo Jeong,
Jongmyeong Kim
Abstract:
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.
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.
△ Less
Submitted 1 September, 2024; v1 submitted 5 April, 2023;
originally announced April 2023.
-
Cluster categories from Fukaya categories
Authors:
Hanwool Bae,
Wonbo Jeong,
Jongmyeong Kim
Abstract:
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 prope…
▽ More
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}$.
△ Less
Submitted 15 June, 2023; v1 submitted 19 September, 2022;
originally announced September 2022.
-
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.
-
On Categorical Entropy from the viewpoint of Symplectic Topology
Authors:
Hanwool Bae,
Dongwook Choa,
Wonbo Jeong,
Dogancan Karabas,
Sangjin Lee
Abstract:
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 m…
▽ More
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.
△ Less
Submitted 17 December, 2023; v1 submitted 23 March, 2022;
originally announced March 2022.
-
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.
-
Stable solutions and finite Morse index solutions of nonlinear elliptic equations with Hardy potential
Authors:
Wonjeong Jeong,
Youngae Lee
Abstract:
We are concerned with Liouville-type results of stable solutions and finite Morse index solutions for the following nonlinear elliptic equation with Hardy potential: \begin{displaymath} Δu+\dfracμ{|x|^2}u+|x|^l |u|^{p-1}u=0 \qquad \textrm{in}\ \ Ω, \end{displaymath} where $Ω=\RN$, $\RN\setminus\{0\}$ for $N\geq3$, $p>1$, $l>-2$ and $μ<(N-2)^2/4$. Our results depend crucially on a new critical expo…
▽ More
We are concerned with Liouville-type results of stable solutions and finite Morse index solutions for the following nonlinear elliptic equation with Hardy potential: \begin{displaymath} Δu+\dfracμ{|x|^2}u+|x|^l |u|^{p-1}u=0 \qquad \textrm{in}\ \ Ω, \end{displaymath} where $Ω=\RN$, $\RN\setminus\{0\}$ for $N\geq3$, $p>1$, $l>-2$ and $μ<(N-2)^2/4$. Our results depend crucially on a new critical exponent $p=p_c(l,μ)$ and the parameter $μ$ in Hardy term. We prove that there exist no nontrivial stable solution and finite Morse index solution for $1<p<p_c(l,μ)$. We also observe a range of the exponent $p$ larger than $p_c(l,μ)$ satisfying that our equation admits a positive radial stable solution.
△ Less
Submitted 11 May, 2013; v1 submitted 20 March, 2013;
originally announced March 2013.
