Source author record

Eon-Kyung 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

9works
2topics
3close collaborators

Published work

9 publications

preprint2015arXiv

Braid groups of imprimitive complex reflection groups

We obtain new presentations for the imprimitive complex reflection groups of type (de,e,r)(de,e,r) and their braid groups B(de,e,r)B(de,e,r) for d,r≥2d,r \ge 2. Diagrams for these presentations are proposed. The presentations have much in common with Coxeter presentations of real reflection groups. They are positive and homogeneous, and give rise to quasi-Garside structures. Diagram automorphisms correspond to group automorphisms. The new presentation shows how the braid group B(de,e,r)B(de,e,r) is a semidirect product of the braid group of affine type A~r−1\widetilde A_{r-1} and an infinite cyclic group. Elements of B(de,e,r)B(de,e,r) are visualized as geometric braids on r+1r+1 strings whose first string is pure and whose winding number is a multiple of ee. We classify periodic elements, and show that the roots are unique up to conjugacy and that the braid group B(de,e,r)B(de,e,r) is strongly translation discrete.

preprint2015arXiv

Path lifting properties and embedding between RAAGs

For a finite simplicial graph ΓΓ, let G(Γ)G(Γ) denote the right-angled Artin group on the complement graph of ΓΓ. In this article, we introduce the notions of "induced path lifting property" and "semi-induced path lifting property" for immersions between graphs, and obtain graph theoretical criteria for the embedability between right-angled Artin groups. We recover the result of S.-h.{} Kim and T.{} Koberda that an arbitrary G(Γ)G(Γ) admits a quasi-isometric group embedding into G(T)G(T) for some finite tree TT. The upper bound on the number of vertices of TT is improved from 22(m−1)22^{2^{(m-1)^2}} to m2m−1m2^{m-1}, where mm is the number of vertices of ΓΓ. We also show that the upper bound on the number of vertices of TT is at least 2m/42^{m/4}. Lastly, we show that G(Cm)G(C_m) embeds in G(Pn)G(P_n) for n⩾2m−2n\geqslant 2m-2, where CmC_m and PnP_n denote the cycle and path graphs on mm and nn vertices, respectively.

preprint2011arXiv

Notes on periodic elements of Garside groups

Let GG be a Garside group with Garside element ΔΔ. An element gg in GG is said to be \emph{periodic} if some power of gg lies in the cyclic group generated by ΔΔ. This paper shows the following. (i) The periodicity of an element does not depend on the choice of a particular Garside structure if and only if the center of GG is cyclic. (ii) If gk=Δkag^k=Δ^{ka} for some nonzero integer kk, then gg is conjugate to ΔaΔ^a. (iii) Every finite subgroup of the quotient group G/<Δm>G/<Δ^m> is cyclic, where ΔmΔ^m is the minimal positive central power of ΔΔ.

preprint2011arXiv

Periodic elements in Garside groups

Let GG be a Garside group with Garside element ΔΔ, and let ΔmΔ^m be the minimal positive central power of ΔΔ. An element g∈Gg\in G is said to be 'periodic' if some power of it is a power of ΔΔ. In this paper, we study periodic elements in Garside groups and their conjugacy classes. We show that the periodicity of an element does not depend on the choice of a particular Garside structure if and only if the center of GG is cyclic; if gk=Δkag^k=Δ^{ka} for some nonzero integer kk, then gg is conjugate to ΔaΔ^a; every finite subgroup of the quotient group G/<Δm>G/<Δ^m> is cyclic. By a classical theorem of Brouwer, Kerékjártó and Eilenberg, an nn-braid is periodic if and only if it is conjugate to a power of one of two specific roots of Δ2Δ^2. We generalize this to Garside groups by showing that every periodic element is conjugate to a power of a root of ΔmΔ^m. We introduce the notions of slimness and precentrality for periodic elements, and show that the super summit set of a slim, precentral periodic element is closed under any partial cycling. For the conjugacy problem, we may assume the slimness without loss of generality. For the Artin groups of type AnA_n, BnB_n, DnD_n, I2(e)I_2(e) and the braid group of the complex reflection group of type (e,e,n)(e,e,n), endowed with the dual Garside structure, we may further assume the precentrality.

preprint2010arXiv

Conjugacy classes of periodic braids

Recently, there have been several progresses for the conjugacy search problem (CSP) in Garside groups, especially in braid groups. All known algorithms for solving this problem use a sort of exhaustive search in a particular finite set such as the super summit set and the ultra summit set. Their complexities are proportional to the size of the finite set, even when there exist very short conjugating elements. However, ultra summit sets are very large in some cases especially for reducible braids and periodic braids. Some possible approaches to resolve this difficulty would be either to use different Garside structures and Garside groups in order to get a sufficiently small ultra summit set, or to develop an algorithm for finding a conjugating element faster than exhaustive search. Using the former method, Birman, González-Meneses and Gebhardt have proposed a polynomial-time algorithm for the CSP for periodic braids. In this paper we study the conjugacy classes of periodic braids under the BKL Garside structure, and show that we can solve the CSP for periodic braids in polynomial time although their ultra summit sets are exponentially large. Our algorithm describes how to connect two periodic braids in the (possibly exponentially large) ultra summit set by applying partial cycling polynomially many times.

preprint2009arXiv

Injectivity on the set of conjugacy classes of some monomorphisms between Artin groups

There are well-known monomorphisms between the Artin groups of finite type $\arA_n$, $\arB_n=\arC_n$ and affine type $\tilde \arA_{n-1}$, $\tilde\arC_{n-1}$. The Artin group $A(\arA_n)$ is isomorphic to the (n+1)(n+1)-strand braid group Bn+1B_{n+1}, and the other three Artin groups are isomorphic to some subgroups of Bn+1B_{n+1}. The inclusions between these subgroups yield monomorphisms $A(\arB_n)\to A(\arA_n)$, $A(\tilde \arA_{n-1})\to A(\arB_n)$ and $A(\tilde \arC_{n-1})\to A(\arB_n)$. There are another type of monomorphisms $A(\arB_d)\to A(\arA_{md-1})$, $A(\arB_d)\to A(\arB_{md})$ and $A(\arB_d)\to A(\arA_{md})$ which are induced by isomorphisms between Artin groups of type $\arB$ and centralizers of periodic braids. In this paper, we show that the monomorphisms $A(\arB_d)\to A(\arA_{md-1})$, $A(\arB_d)\to A(\arB_{md})$ and $A(\arB_d)\to A(\arA_{md})$ induce injective functions on the set of conjugacy classes, and that none of the monomorphisms $A(\arB_n)\to A(\arA_n)$, $A(\tilde \arA_{n-1})\to A(\arB_n)$ and $A(\tilde \arC_{n-1})\to A(\arB_n)$ does so.

preprint2009arXiv

Uniqueness of roots up to conjugacy for some affine and finite type Artin groups

Let GG be one of the Artin groups of finite type Bn=Cn{\mathbf B}_n={\mathbf C}_n, and affine type A~n−1\tilde{\mathbf A}_{n-1} and C~n−1\tilde{\mathbf C}_{n-1}. In this paper, we show that if αα and ββ are elements of GG such that αk=βkα^k=β^k for some nonzero integer kk, then αα and ββ are conjugate in GG. For the Artin group of type An\mathbf A_n, this was recently proved by J. González-Meneses. In fact, we prove a stronger theorem, from which the above result follows easily by using descriptions of those Artin groups as subgroups of the braid group on n+1n+1 strands. Let PP be a subset of {1,...,n}\{1,...,n\}. An nn-braid is said to be \emph{PP-pure} if its induced permutation fixes each i∈Pi\in P, and \emph{PP-straight} if it is PP-pure and it becomes trivial when we delete all the ii-th strands for i∉Pi\not\in P. Exploiting the Nielsen-Thurston classification of braids, we show that if αα and ββ are PP-pure nn-braids such that αk=βkα^k=β^k for some nonzero integer kk, then there exists a PP-straight nn-braid γγ with β=γαγ−1β=γαγ^{-1}. Moreover, if 1∈P1\in P, the conjugating element γγ can be chosen to have the first strand algebraically unlinked with the other strands. Especially in case of P={1,...,n}P=\{1,...,n\}, our result implies the uniqueness of root of pure braids, which was known by V. G. Bardakov and by D. Kim and D. Rolfsen.

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.