Source author record

Eunjeong Lee

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

15works
8topics
4close collaborators

Published work

15 publications

preprint2026arXiv

Automorphisms and deformations of regular semisimple Hessenberg varieties

We show that regular semisimple Hessenberg varieties can have moduli. To be precise, suppose XX is a regular semisimple Hessenberg variety of codimension 11 in the flag variety G/BG/B, where GG is a simple algebraic group of rank rr over C\mathbb{C} and BB is a Borel subgroup. We show that the space~H1(X,TX)\mathrm{H}^1(X,TX) of first order deformations of XX has dimension r−1r-1 except in type A2A_2. (In type A2A_2, the Hessenberg varieties in question are all isomorphic to the permutohedral toric surface, and dim⁡H1(X,TX)=0\dim\mathrm{H}^1(X,TX) = 0.) Moreover, we show that the Kodaira--Spencer map g→H1(X,TX)\mathfrak{g}\to \mathrm{H}^1(X,TX) is onto, that the identity component of the automorphism group of XX is a maximal torus of GG, and that Hi(X,TX)=0\mathrm{H}^i(X,TX) = 0 for i≥2i \geq 2. Along the way, we prove several theorems of independent interest about the cohomology of homogeneous vector bundles on~G/BG/B. In type AA, we can give an even more precise statement determining when two codimension 11 regular semisimple Hessenberg varieties in G/BG/B are isomorphic. We also compute the automorphism groups explicitly in type~An−1A_{n-1} in the terms of stabilizer subgroups of the action of the symmetric group SnS_{n} on the moduli space M0,n+1M_{0,n+1} of smooth genus 00 curves with n+1n + 1 marked points. Using this, we describe the moduli stack of the regular semisimple Hessenberg varieties XX explicitly as a quotient stack of M0,n+1M_{0,n+1}. We prove several analogous results for Hessenberg varieties in generalized flag varieties G/PG/P, where PP is a parabolic subgroup of GG. In type AA, these results are used in the proofs of the results for G/BG/B, but they are also of independent interest because the associated moduli stacks are related directly to the action of SnS_n on M0,nM_{0,n}.

preprint2022arXiv

Permutation module decomposition of the second cohomology of a regular semisimple Hessenberg variety

Regular semisimple Hessenberg varieties admit actions of associated Weyl groups on their cohomology space of each degree. In this paper, we consider the module structure of the cohomology spaces of regular semisimple Hessenberg varieties of type AA. We define a subset of the Bialynicki-Birula basis of the cohomology space so that they become a module generator set of the cohomology module of each degree. We then use those generators to construct permutation submodules of the degree two cohomology module and show that they form a permutation module decomposition. Our construction is consistent with a known combinatorial result by Chow on chromatic quasisymmetric functions.

preprint2022arXiv

Toric Richardson varieties of Catalan type and Wedderburn-Etherington numbers

We associate a complete non-singular fan with a polygon triangulation. Such a fan appears from a certain toric Richardson variety, called of Catalan type introduced in this paper. A toric Richardson variety of Catalan type is a Fano Bott manifold. We show that toric Richardson varieties of Catalan type are classified up to isomorphism in terms of unordered binary trees. In particular, the number of isomorphism classes of nn-dimensional toric Richardson varieties of Catalan type is the (n+1)(n+1)th Wedderburn--Etherington number.

preprint2021arXiv

On folded cluster patterns of affine type

A cluster algebra is a commutative algebra whose structure is decided by a skew-symmetrizable matrix or a quiver. When a skew-symmetrizable matrix is invariant under an action of a finite group and this action is admissible, the folded cluster algebra is obtained from the original one. Any cluster algebra of non-simply-laced affine type can be obtained by folding a cluster algebra of simply-laced affine type with a specific GG-action. In this paper, we study the combinatorial properties of quivers in the cluster algebra of affine type. We prove that for any quiver of simply-laced affine type, GG-invariance and GG-admissibility are equivalent. This leads us to prove that the set of GG-invariant seeds forms the folded cluster pattern.

preprint2020arXiv

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 w0w_0 in the symmetric group which encodes the character of a certain irreducible representation of a Lie group of type AA. In this paper, we provide a recursive formula for the number of reduced words of w0w_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.

preprint2020arXiv

Grossberg-Karshon twisted cubes and hesitant jumping walk avoidance

Let GG be a complex simply-laced semisimple algebraic group of rank rr and BB a Borel subgroup. Let i∈[r]n\mathbf i \in [r]^n be a word and let ℓ=(ℓ1,…,ℓn)\mathbf \ell = (\ell_1,\dots,\ell_n) be a sequence of non-negative integers. Grossberg and Karshon introduced a virtual lattice polytope associated to i\mathbf i and ℓ\mathbf \ell called a twisted cube, whose lattice points encode the character of a BB-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 i\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 GG. However, not every integer sequence ℓ\mathbf \ell comes from a weight of GG. In the present paper, we interpret untwistedness of Grossberg-Karshon twisted cubes associated to any word i\mathbf i and any integer sequence ℓ\mathbf \ell using the combinatorics of i\mathbf i and ℓ\mathbf \ell. Indeed, we prove that the Grossberg-Karshon twisted cube is untwisted precisely when i\mathbf i is hesitant-jumping-ℓ\mathbf \ell-walk-avoiding.

preprint2020arXiv

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 gg (maximum of the differences between any two consecutive exponents). In 2012, it was shown that g(Φp1p2)=p1−1g\left( Φ_{p_{1}p_{2}}\right) =p_{1} -1 for primes p2>p1p_{2}>p_{1}. In 2017, based on numerous calculations, the following generalization was conjectured: g(Φmp)=φ(m)g\left( Φ_{mp}\right) =φ(m) for square free odd mm and prime p>mp>m. The main contribution of this paper is a proof of this conjecture.

preprint2020arXiv

On Schubert varieties of complexity one

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

preprint2020arXiv

Poincare polynomials of generic torus orbit closures in Schubert varieties

The closure of a generic torus orbit in the flag variety G/BG/B of type AA 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/BG/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.

preprint2020arXiv

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

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

preprint2014arXiv

Grossberg-Karshon twisted cubes and hesitant walk avoidance

Let GG be a complex semisimple simply connected linear algebraic group. Let λλ be a dominant weight for GG and I=(i1,i2,…,in)\mathcal{I} = (i_1, i_2, \ldots, i_n) a word decomposition for an element w=si1si2⋯sinw = s_{i_1} s_{i_2} \cdots s_{i_n} of the Weyl group of GG, where the sis_i are the simple reflections. In the 1990s, Grossberg and Karshon introduced a virtual lattice polytope associated to λλ and I\mathcal{I}, which they called a twisted cube, whose lattice points encode (counted with sign according to a density function) characters of representations of GG. In recent work, the first author and Jihyeon Yang prove that the Grossberg-Karshon twisted cube is untwisted (so the support of the density function is a closed convex polytope) precisely when a certain torus-invariant divisor on a toric variety, constructed from the data of λλ and I\mathcal{I}, is basepoint-free. This corresponds to the situation in which the Grossberg-Karshon character formula is a true combinatorial formula in the sense that there are no terms appearing with a minus sign. In this note, we translate this toric-geometric condition to the combinatorics of I\mathcal{I} and λλ. More precisely, we introduce the notion of hesitant λλ-walks and then prove that the associated Grossberg-Karshon twisted cube is untwisted precisely when I\mathcal{I} is hesitant-λλ-walk-avoiding.

preprint2011arXiv

Maximum Gap in (Inverse) Cyclotomic Polynomial

Let g(f)g(f) denote the maximum of the differences (gaps) between two consecutive exponents occurring in a polynomial ff. Let ΦnΦ_n denote the nn-th cyclotomic polynomial and let ΨnΨ_n denote the nn-th inverse cyclotomic polynomial. In this note, we study g(Φn)g(Φ_n) and g(Ψn)g(Ψ_n) where nn is a product of odd primes, say p1<p2<p3p_1 < p_2 < p_3, etc. It is trivial to determine g(Φp1)g(Φ_{p_1}), g(Ψp1)g(Ψ_{p_1}) and g(Ψp1p2)g(Ψ_{p_1p_2}). Hence the simplest non-trivial cases are g(Φp1p2)g(Φ_{p_1p_2}) and g(Ψp1p2p3)g(Ψ_{p_1p_2p_3}). We provide an exact expression for g(Φp1p2).g(Φ_{p_1p_2}). We also provide an exact expression for g(Ψp1p2p3)g(Ψ_{p_1p_2p_3}) under a mild condition. The condition is almost always satisfied (only finite exceptions for each p1p_1). We also provide a lower bound and an upper bound for g(Ψp1p2p3)g(Ψ_{p_1p_2p_3}).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.