Searcharxiv⌕ Search

arXiv subjects

Eunjeong Lee

Publications and source records attributed to Eunjeong Lee.

At least 37 records · Page 2Linked to original sources

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↗

Lagrangian fillings for Legendrian links of finite type

We prove that there are at least seeds many exact embedded Lagrangian fillings for Legendrian links of type $\mathsf{ADE}$. We also provide seeds many Lagrangian fillings with certain symmetries for type $\mathsf{BCFG}$. Our main tools are $N$-graphs and the combinatorics of seed patterns of finite type.

math.SG↗

Torus orbit closures in flag varieties and retractions on Weyl groups

A finite Coxeter group $W$ has a natural metric $d$ and if $\mathcal{M}$ is a subset of $W$, then for each $u\in W$, there is $q\in \mathcal{M}$ such that $d(u,q)=d(u,\mathcal{M})$. Such $q$ is not unique in general but if $\mathcal{M}$ is a Coxeter matroid, then it is unique, and we define a retraction $\mathcal{R}^m_{\mathcal{M}}\colon W\to \mathcal{M}\subset W$ so that $\mathcal{R}^m_{\mathcal{M}}(u)=q$. The $T$-fixed point set $Y^T$ of a $T$-orbit closure $Y$ in a flag variety $G/B$ is a Coxeter matroid, where $G$ is a semisimple algebraic group, $B$ is a Borel subgroup, and $T$ is a maximal torus of $G$ contained in $B$. We define a retraction $\mathcal{R}^g_{Y}\colon W\to Y^T\subset W$ geometrically, where $W$ is the Weyl group of $G$, and show that $\mathcal{R}^g_{Y}=\mathcal{R}^m_{Y^T}$. We introduce another retraction $\mathcal{R}^a_{\mathcal{M}}\colon W\to \mathcal{M}\subset W$ algebraically for an arbitrary subset $\mathcal{M}$ of $W$ when $W$ is a Weyl group of classical Lie type, and show that $\mathcal{R}^a_{\mathcal{M}}=\mathcal{R}^m_{\mathcal{M}}$ when $\mathcal{M}$ is a Coxeter matroid.

math.CO↗

On Schubert varieties of complexity one

Let $B$ be a Borel subgroup of $\mathrm{GL}_n(\mathbb{C})$ and $\mathbb{T}$ a maximal torus contained in $B$. Then $\mathbb{T}$ acts on $\mathrm{GL}_{n}(\mathbb{C})/B$ and every Schubert variety is $\mathbb{T}$-invariant. We say that a Schubert variety is of complexity $k$ if a maximal $\mathbb{T}$-orbit in $X_w$ has codimension $k$. In this paper, we discuss topology, geometry, and combinatorics related to Schubert varieties of complexity one.

math.AT↗

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↗

Flag Bott manifolds and the toric closure of a generic orbit associated to a generalized Bott manifold

To a direct sum of holomorphic line bundles, we can associate two fibrations, whose fibers are, respectively, the corresponding full flag manifold and the corresponding projective space. Iterating these procedures gives, respectively, a flag Bott tower and a generalized Bott tower. It is known that a generalized Bott tower is a toric manifold. However a flag Bott tower is not toric in general but we show that it is a GKM manifold, and we also show that for a given generalized Bott tower we can find the associated flag Bott tower so that the closure of a generic torus orbit in the latter is a blow-up of the former along certain invariant submanifolds. We use GKM theory together with toric geometric arguments.

math.AT↗

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↗

Algebraic and geometric properties of flag Bott-Samelson varieties and applications to representations

We introduce the notion of flag Bott-Samelson variety as a generalization of Bott-Samelson variety and flag variety. Using a birational morphism from an appropriate Bott-Samelson variety to a flag Bott-Samelson variety, we compute Newton-Okounkov bodies of flag Bott-Samelson varieties as generalized string polytopes, which are applied to give polyhedral expressions for irreducible decompositions of tensor products of $G$-modules. Furthermore, we show that flag Bott-Samelson varieties are degenerated into flag Bott manifolds with higher rank torus actions, and find the Duistermaat-Heckman measures of the moment map images of flag Bott-Samelson varieties with the torus action together with invariant closed $2$-forms.

math.AG↗

Poincare polynomials of generic torus orbit closures in Schubert varieties

The closure of a generic torus orbit in the flag variety $G/B$ of type $A$ is known to be a permutohedral variety and its Poincare polynomial agrees with the Eulerian polynomial. In this paper, we study the Poincare polynomial of a generic torus orbit closure in a Schubert variety in $G/B$. When the generic torus orbit closure in a Schubert variety is smooth, its Poincare polynomial is known to agree with a certain generalization of the Eulerian polynomial. We extend this result to an arbitrary generic torus orbit closure which is not necessarily smooth.

math.AT↗

Maximum gap in cyclotomic polynomials

Cyclotomic polynomials play fundamental roles in number theory, combinatorics, algebra and their applications. Hence their properties have been extensively investigated. In this paper, we study the maximum gap $g$ (maximum of the differences between any two consecutive exponents). In 2012, it was shown that $g\left( Φ_{p_{1}p_{2}}\right) =p_{1} -1$ for primes $p_{2}>p_{1}$. In 2017, based on numerous calculations, the following generalization was conjectured: $g\left( Φ_{mp}\right) =φ(m)$ for square free odd $m$ and prime $p>m$. The main contribution of this paper is a proof of this conjecture.

math.NT↗

Grossberg-Karshon twisted cubes and hesitant jumping walk avoidance

Let $G$ be a complex simply-laced semisimple algebraic group of rank $r$ and $B$ a Borel subgroup. Let $\mathbf i \in [r]^n$ be a word and let $\mathbf \ell = (\ell_1,\dots,\ell_n)$ be a sequence of non-negative integers. Grossberg and Karshon introduced a virtual lattice polytope associated to $\mathbf i$ and $\mathbf \ell$ called a twisted cube, whose lattice points encode the character of a $B$-representation. More precisely, lattice points in the twisted cube, counted with sign according to a certain density function, yields the character of the generalized Demazure module determined by $\mathbf i$ and $\mathbf \ell$. In recent work, the author and Harada described precisely when the Grossberg-Karshon twisted cube is untwisted, i.e., the twisted cube is a closed convex polytope, in the situation when the integer sequence $\mathbf \ell$ comes from a weight $λ$ of $G$. However, not every integer sequence $\mathbf \ell$ comes from a weight of $G$. In the present paper, we interpret untwistedness of Grossberg-Karshon twisted cubes associated to any word $\mathbf i$ and any integer sequence $\mathbf \ell$ using the combinatorics of $\mathbf i$ and $\mathbf \ell$. Indeed, we prove that the Grossberg-Karshon twisted cube is untwisted precisely when $\mathbf i$ is hesitant-jumping-$\mathbf \ell$-walk-avoiding.

math.CO↗

Generic torus orbit closures in Schubert varieties

The closure of a generic torus orbit in the flag variety $G/B$ of type $A_{n-1}$ is known to be a permutohedral variety and well studied. In this paper we introduce the notion of a generic torus orbit in the Schubert variety $X_w$ $(w\in \mathfrak{S}_n)$ and study its closure $Y_w$. We identify the maximal cone in the fan of $Y_w$ corresponding to a fixed point $uB$ $(u\le w)$, associate a graph $Γ_w(u)$ to each $u\le w$, and show that $Y_w$ is smooth at $uB$ if and only if $Γ_w(u)$ is a forest. We also introduce a polynomial $A_w(t)$ for each $w$, which agrees with the Eulerian polynomial when $w$ is the longest element of $\mathfrak{S}_n$, and show that the Poincaré polynomial of $Y_w$ agrees with $A_w(t^2)$ when $Y_w$ is smooth.

math.CO↗

Flag Bott manifolds of general Lie type and their equivariant cohomology rings

In this article we introduce flag Bott manifolds of general Lie type as the total spaces of iterated flag bundles. They generalize the notion of flag Bott manifolds and generalized Bott manifolds, and admit nice torus actions. We calculate the torus equivariant cohomology rings of flag Bott manifolds of general Lie type.

math.AT↗

Toric Bruhat interval polytopes

For two elements $v$ and $w$ of the symmetric group $\mathfrak{S}_n$ with $v\leq w$ in Bruhat order, the Bruhat interval polytope $Q_{v,w}$ is the convex hull of the points $(z(1),\ldots,z(n))\in \mathbb{R}^n$ with $v\leq z\leq w$. It is known that the Bruhat interval polytope $Q_{v,w}$ is the moment map image of the Richardson variety $X^{v^{-1}}_{w^{-1}}$. We say that $Q_{v,w}$ is \emph{toric} if the corresponding Richardson variety $X_{w^{-1}}^{v^{-1}}$ is a toric variety. We show that when $Q_{v,w}$ is toric, its combinatorial type is determined by the poset structure of the Bruhat interval $[v,w]$ while this is not true unless $Q_{v,w}$ is toric. We are concerned with the problem of when $Q_{v,w}$ is (combinatorially equivalent to) a cube because $Q_{v,w}$ is a cube if and only if $X_{w^{-1}}^{v^{-1}}$ is a smooth toric variety. We show that a Bruhat interval polytope $Q_{v,w}$ is a cube if and only if $Q_{v,w}$ is toric and the Bruhat interval $[v,w]$ is a Boolean algebra. We also give several sufficient conditions on $v$ and $w$ for $Q_{v,w}$ to be a cube.

math.CO↗

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↗

The Gromov width of generalized Bott manifolds

By Delzant's theorem, closed symplectic toric manifolds are classified by the images of moment maps. In the case of a generalized Bott manifold, this image is a polytope $P$ combinatorially equivalent to the product of simplices. We compute the Gromov width of generalized Bott manifolds in terms of the defining inequalities of $P$.

math.SG↗