SearcharxivSearch

arXiv subjects

Yunhyung Cho

Publications and source records attributed to Yunhyung Cho.

At least 19 recordsLinked to original sources

Mutation of Fano Simplices and Markov type equations

It is well known that there is a bijective correspondence between the set of positive integer solutions to the Markov equation and the set of Fano triangles mutation equivalent to the Fano triangle of $\mathbb{P}^2$. In this paper, we establish a higher dimensional generalization of this correspondence for arbitrary Fano simplices of any dimension. On the polyhedral side, we introduce a distinguished class of facets, called admissible facets, and show that their number is preserved under facet mutation. As a consequence, facet mutation classes of Fano simplices carry natural exchange graph structures whose valency is equal to the number of admissible facets. On the arithmetic side, we associate to each Fano simplex a weighted Markov-type equation together with a distinguished positive integer solution, and show that the corresponding arithmetic mutations, given by Vieta involutions, are compatible with facet mutations. More precisely, the assignment from Fano simplices to Diophantine data intertwines combinatorial mutations with arithmetic mutations, thereby relating the mutation dynamics of Fano simplices to the arithmetic dynamics of positive integer solutions. Finally, we introduce a piecewise linear transformation on dual polytopes, called a sliding operator, which realizes combinatorial mutation in the dual picture. As applications, we obtain a volume formula for dual simplices in terms of the associated Diophantine data and recover the multiplicity change formula under mutation.

math.AG

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

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 $Δ$ in the family produces a completely integrable system of $X$ over $Δ$. 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 combinatorics of string polytopes in types $B$ and $C$

A string polytope is a rational convex polytope whose lattice points parametrize a highest weight crystal basis, which is obtained from a string cone by explicit affine inequalities depending on a highest weight. It also inherits geometric information of a flag variety such as toric degenerations, Newton-Okounkov bodies, mirror symmetry, Schubert calculus, and so on. In this paper, we study combinatorial properties of string polytopes in types $B$ and $C$ by giving an explicit description of string cones in these types which is analogous to Gleizer-Postnikov's description of string cones in type $A$. As an application, we characterize string polytopes in type $C$ which are unimodularly equivalent to the Gelfand-Tsetlin polytope in type $C$ for a specific highest weight.

math.CO

Newton-Okounkov polytopes of type $A$ flag varieties of small ranks arising from cluster structures

A flag variety is a smooth projective homogeneous variety. In this paper, we study Newton-Okounkov polytopes of the flag variety $Fl(\mathbb{C}^4)$ arising from its cluster structure. More precisely, we present defining inequalities of such Newton-Okounkov polytopes of $Fl(\mathbb{C}^4)$. Moreover, we classify these polytopes, establishing their equivalence under unimodular transformations.

math.AG

On the enumeration of Fano Bott manifolds

Fano Bott manifolds bijectively correspond to signed rooted forests with some equivalence relation. Using this bijective correspondence, we enumerate the isomorphism classes of Fano Bott manifolds and the diffeomorphism classes of indecomposable Fano Bott manifolds. We also observe that the signed rooted forests with the equivalence relation bijectively correspond to rooted triangular cacti.

math.AG

Enumeration of Gelfand-Cetlin type reduced words

The combinatorics of reduced words and commutation classes plays an important role in geometric representation theory. A string polytope is a lattice polytope associated to each reduced word of the longest element $w_0$ in the symmetric group which encodes the character of a certain irreducible representation of a Lie group of type $A$. In this paper, we provide a recursive formula for the number of reduced words of $w_0$ such that the corresponding string polytopes are combinatorially equivalent to a Gelfand-Cetlin polytope. The recursive formula involves the number of standard Young tableaux of shifted shape. We also show that each commutation class is completely determined by a list of quantities called indices.

math.CO

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

Unique toric structure on a Fano Bott manifold

We prove that if there exists a $c_1$-preserving graded ring isomorphism between integral cohomology rings of two Fano Bott manifolds, then they are isomorphic as toric varieties. As a consequence, we give an affirmative answer to McDuff's question on the uniqueness of a toric structure on a Fano Bott manifold.

math.SG

Classification of six dimensional monotone symplectic manifolds admitting semifree circle actions

Let $(M,ω_M)$ be a six dimensional closed monotone symplectic manifold admitting an effective semifree Hamiltonian $S^1$-action. We show that $(M,ω_M)$ is $S^1$-equivariant symplectomorphic to some Kähler Fano manifold $(X,ω_X, J)$ with a certain holomorphic $\mathbb{C}^*$-action. We also give a complete list of all such Fano manifolds and describe all semifree $\mathbb{C}^*$-actions on them specifically.

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

Classification of six dimensional monotone symplectic manifolds admitting semifree circle actions II

Let $(M,ω_M)$ be a six dimensional closed monotone symplectic manifold admitting an effective semifree Hamiltonian $S^1$-action. We show that if the maximal and the minimal fixed component are both two dimensional, then $(M,ω_M)$ is $S^1$-equivariantly symplectomorphic to some Kähler Fano manifold $(X, ω_X, J)$ equipped with a certain holomorphic Hamiltonian $S^1$-action. We also give a complete list of all such Fano manifolds together with an explicit description of the corresponding $S^1$-actions.

math.SG