SearcharxivSearch

arXiv subjects

Yoosik Kim

Publications and source records attributed to Yoosik Kim.

At least 19 recordsLinked to original sources

Lifting holomorphic disks from flag varieties to basic affine spaces

Let $G$ be a complex reductive algebraic group, the complexification of a compact Lie group $K$. Consider a holomorphic principal $G$-bundle whose total space contains a $K$-invariant Lagrangian submanifold $L$. We develop a method for lifting holomorphic disks from the base with boundary on $L/K$ to the principal $G$-bundle. We show that the Gross--Hacking--Keel--Kontsevich superpotential restricted to a distinguished class of seeds of the basic affine space is obtained by lifting holomorphic disks in the corresponding flag manifold.

math.SG

Newton--Okounkov bodies of partial flag varieties via cluster algebras

We construct Newton--Okounkov polytopes of Schubert varieties in partial flag varieties of arbitrary type using the cluster structure on a unipotent cell. When the governing cluster algebra is of infinite type, we prove that for any very ample homogeneous line bundle over a simply laced partial flag variety, the resulting family of Newton--Okounkov polytopes contains infinitely many pairwise nonequivalent polytopes up to integral affine transformation. As an application to symplectic geometry, we construct infinitely many distinct monotone Lagrangian tori in a broad class of simply laced partial flag varieties.

math.AG

Holomorphic disks and GIT quotients

Let $G$ be a connected compact Lie group and let $\mathbb{G}$ be its complexification. In this paper, we establish a correspondence between the moduli spaces of holomorphic disks bounded by a $G$-invariant Lagrangian submanifold $L \subseteq X$ and those bounded by its quotient $L/G$ in the GIT quotient $X \mathbin{/\mkern-6mu/} \mathbb{G}$. Under suitable positivity and topological assumptions, we derive a computationally effective formula for the disk potential of $L/G$ from that of $L$ via the {semistable disk potential}, which reflects the choice of a level set of a value of the moment map.

math.SG

Cluster algebras and monotone Lagrangian tori

Motivated by the construction of Newton--Okounkov bodies and toric degenerations via cluster algebras in [GHKK18, FO25], we consider a family of Newton--Okounkov polytopes of a complex smooth Fano variety $X$ related by a composition of tropicalized cluster mutations. According to the work of [HK15], the toric degeneration associated with each Newton--Okounkov polytope $\Delta$ in the family produces a completely integrable system of $X$ over $\Delta$. We investigate circumstances in which each completely integrable system possesses a monotone Lagrangian torus fiber. We provide a sufficient condition, based on the data of tropical integer points and exchange matrices, for the family of constructed monotone Lagrangian tori to contain infinitely many monotone Lagrangian tori, no two of which are related by any symplectomorphism. By employing this criterion and exploiting the correspondence between the tropical integer points and the dual canonical basis elements, we generate infinitely many distinct monotone Lagrangian tori on flag manifolds of arbitrary type except in a few cases.

math.SG

On non-displaceable Lagrangian submanifolds in two-step flag varieties

We prove that the two-step flag variety $\mathcal{F}\ell(1,n;n+1)$ carries a non-displaceable and non-monotone Lagrangian Gelfand--Zeitlin fiber diffeomorphic to $S^3 \times T^{2n-4}$ and a continuum family of non-displaceable Lagrangian Gelfand--Zeitlin torus fibers when $n > 2$.

math.SG

Disk potential functions for polygon spaces

We derive a Floer theoretical SYZ mirror for an equilateral and generic polygon space. The disk potential function of the monotone torus fiber of the caterpillar bending system is calculated by computing non-trivial open Gromov--Witten invariants from the structural result of the monotone Fukaya category, the topology of fibers of completely integrable systems, and toric degenerations. Then, combining the result with the work of Nohara--Ueda [NU20] and Marsh--Rietsch [MR20], we obtain the disk potential functions of bending systems and produce a mirror cluster variety of type A without frozen variables via Lagrangian Floer theory.

math.SG

Chekanov torus and Gelfand--Zeitlin torus in $S^2 \times S^2$

The Chekanov torus was the first known \emph{exotic} torus, a monotone Lagrangian torus that is not Hamiltonian isotopic to the standard monotone Lagrangian torus. We explore the relationship between the Chekanov torus in $S^2 \times S^2$ and a monotone Lagrangian torus which had been introduced before Chekanov's construction \cite{Chekanov}. We prove that the monotone Lagrangian torus fiber in a certain Gelfand--Zeitlin system is Hamiltonian isotopic to the Chekanov torus in $S^2 \times S^2$.

math.SG

Disk potential functions for quadrics

We compute the disk potential of Gelfand--Zeitlin monotone torus fiber in a quadric hypersurface by exploiting toric degenerations, Lie theoretical mirror symmetry, and the structural result of the monotone Fukaya category.

math.SG

DeepRegularizer: Rapid Resolution Enhancement of Tomographic Imaging using Deep Learning

Optical diffraction tomography measures the three-dimensional refractive index map of a specimen and visualizes biochemical phenomena at the nanoscale in a non-destructive manner. One major drawback of optical diffraction tomography is poor axial resolution due to limited access to the three-dimensional optical transfer function. This missing cone problem has been addressed through regularization algorithms that use a priori information, such as non-negativity and sample smoothness. However, the iterative nature of these algorithms and their parameter dependency make real-time visualization impossible. In this article, we propose and experimentally demonstrate a deep neural network, which we term DeepRegularizer, that rapidly improves the resolution of a three-dimensional refractive index map. Trained with pairs of datasets (a raw refractive index tomogram and a resolution-enhanced refractive index tomogram via the iterative total variation algorithm), the three-dimensional U-net-based convolutional neural network learns a transformation between the two tomogram domains. The feasibility and generalizability of our network are demonstrated using bacterial cells and a human leukaemic cell line, and by validating the model across different samples. DeepRegularizer offers more than an order of magnitude faster regularization performance compared to the conventional iterative method. We envision that the proposed data-driven approach can bypass the high time complexity of various image reconstructions in other imaging modalities.

eess.IV

Small toric resolutions of toric varieties of string polytopes with small indices

Let $G$ be a semisimple algebraic group over $\mathbb{C}$. For a reduced word $\bf i$ of the longest element in the Weyl group of $G$ and a dominant integral weight $λ$, one can construct the string polytope $Δ_{\bf i}(λ)$, whose lattice points encode the character of the irreducible representation $V_λ$. The string polytope $Δ_{\bf i}(λ)$ is singular in general and combinatorics of string polytopes heavily depends on the choice of $\mathbf i$. In this paper, we study combinatorics of string polytopes when $G = SL_{n+1}(\mathbb{C})$, and present a sufficient condition on $\mathbf i$ such that the toric variety $X_{Δ_{\mathbf i}(λ)}$ of the string polytope $Δ_{\mathbf i}(λ)$ has a small toric resolution. Indeed, when $\mathbf i$ has small indices and $λ$ is regular, we explicitly construct a small toric resolution of the toric variety $X_{Δ_{\bf i}(λ)}$ using a Bott manifold. Our main theorem implies that a toric variety of any string polytope admits a small toric resolution when $n < 4$. As a byproduct, we show that if $\mathbf i$ has small indices then $Δ_{\mathbf i}(λ)$ is integral for any dominant integral weight $λ$, which in particular implies that the anticanonical limit toric variety $X_{Δ_{\bf i}(λ_P)}$ of a partial flag variety $G/P$ is Gorenstein Fano. Furthermore, we apply our result to symplectic topology of the full flag manifold $G/B$ and obtain a formula of the disk potential of the Lagrangian torus fibration on $G/B$ obtained from a flat toric degeneration of $G/B$ to the toric variety $X_{Δ_{\bf i}(λ)}$.

math.AG

Immersed two-spheres and SYZ with Application to Grassmannians

We develop a Floer theoretical gluing technique and apply it to deal with the most generic singular fiber in the SYZ program, namely the product of a torus with the immersed two-sphere with a single nodal self-intersection. As an application, we construct immersed Lagrangians in $\mathrm{Gr}(2,\mathbb{C}^n)$ and $\mathrm{OG}(1,\mathbb{C}^5)$ and derive their SYZ mirrors. It recovers the Lie theoretical mirrors constructed by Rietsch. It also gives an effective way to compute stable disks (with non-trivial obstructions) bounded by immersed Lagrangians.

math.SG

$T$-equivariant disc potentials for toric Calabi-Yau manifolds

We study the equivariant disc potentials for immersed SYZ fibers in toric Calabi-Yau manifolds. The immersed Lagrangians play a crucial role in the partial compactification of the SYZ mirrors. Morever, their equivariant disc potentials have a close relation with that of Aganagic-Vafa branes. We show that the potentials can be computed by using an equivariant version of isomorphisms in the Fukaya category.

math.SG

Monotone Lagrangians in flag varieties

In this paper, we give a formula for the Maslov index of a gradient holomorphic disc, which is a relative version of the Chern number formula of a gradient holomorphic sphere for a Hamiltonian $S^1$-action. Using the formula, we classify all monotone Lagrangian non-toric fibers of Gelfand-Cetlin systems on partial flag manifolds.

math.SG

Lagrangian fibers of Gelfand-Cetlin systems

A Gelfand-Cetlin system is a completely integrable system defined on a partial flag manifold whose image is a rational convex polytope called a Gelfand-Cetlin polytope. Motivated by the study of Nishinou-Nohara-Ueda on the Floer theory of Gelfand-Cetlin systems, we provide a detailed description of topology of Gelfand-Cetlin fibers. In particular, we prove that any fiber over an interior point of a k-dimensional face of the Gelfand-Cetlin polytope is an isotropic submanifold and is diffeomorphic to $(S^1)^k \times N$ for some smooth manifold $N$. We also prove that such $N$'s are exactly the vanishing cycles shrinking to points in the associated toric variety via the toric degeneration. We also devise an algorithm of reading off Lagrangian fibers from the combinatorics of the ladder diagram.

math.SG

A critical point analysis of Landau--Ginzburg potentials with bulk in Gelfand--Cetlin systems

Using the bulk-deformation of Floer cohomology by Schubert cycles and non-Archimedean analysis of Fukaya--Oh--Ohta--Ono's bulk-deformed potential function, we prove that every complete flag manifold $\mathrm{Fl}(n)$ ($n \geq 3$) with a monotone Kirillov--Kostant--Souriau symplectic form carries a continuum of non-displaceable Lagrangian tori which degenerates to a non-torus fiber in the Hausdorff limit. In particular, the Lagrangian $S^3$-fiber in $\mathrm{Fl}(3)$ is non-displaceable, answering the question of which was raised by Nohara--Ueda who computed its Floer cohomology to be vanishing.

math.SG

Lagrangian fibers of Gelfand--Cetlin systems of $\mathrm{SO}(n)$-type

In this paper, we study the Gelfand--Cetlin systems and polytopes of the co-adjoint $\mathrm{SO}(n)$-orbits. We describe the face structure of Gelfand--Cetlin polytopes and iterated bundle structure of Gelfand--Cetlin fibers in terms of combinatorics on the ladder diagrams. Using this description, we classify all Lagrangian fibers.

math.SG

$T$-equivariant disc potential and SYZ mirror construction

We develop a $G$-equivariant Lagrangian Floer theory and obtain a curved $A_\infty$ algebra, and in particular a $G$-equivariant disc potential. We construct a Morse model, which counts pearly trees in the Borel construction $L_G$. When applied to a smooth moment map fiber of a semi-Fano toric manifold, our construction recovers the $T$-equivariant toric Landau-Ginzburg mirror of Givental. We also study the $\bS^1$-equivariant Floer theory of a typical singular SYZ fiber (i.e. a pinched torus) and compute its $\bS^1$-equivariant disc potential via the gluing technique developed in \cite{CHL18,HKL}.

math.SG

On the combinatorics of string polytopes

For a reduced word ${\bf i}$ of the longest element in the Weyl group of $\mathrm{SL}_{n+1}(\mathbb{C})$, one can associate the string cone $C_{\bf i}$ which parametrizes the dual canonical bases. In this paper, we classify all ${\bf i}$'s such that $C_{\bf i}$ is simplicial. We also prove that for any regular dominant weight $λ$ of $\mathfrak{sl}_{n+1}(\mathbb{C})$, the corresponding string polytope $Δ_{\bf i}(λ)$ is unimodularly equivalent to the Gelfand-Cetlin polytope associated to $λ$ if and only if $C_{\bf i}$ is simplicial. Thus we completely characterize Gelfand-Cetlin type string polytopes in terms of ${\bf i}$.

math.CO