Source author record

Hyun Kyu Kim

Hyun Kyu Kim appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
9topics
3close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

7 published item(s)

preprint2022arXiv

${\rm SL}_3$-laminations as bases for ${\rm PGL}_3$ cluster varieties for surfaces

In this paper we partially settle Fock-Goncharov's duality conjecture for cluster varieties associated to their moduli spaces of ${\rm G}$-local systems on a punctured surface $\frak{S}$ with boundary data, when ${\rm G}$ is a group of type $A_2$, namely ${\rm SL}_3$ and ${\rm PGL}_3$. Based on Kuperberg's ${\rm SL}_3$-webs, we introduce the notion of ${\rm SL}_3$-laminations on $\frak{S}$ defined as certain ${\rm SL}_3$-webs with integer weights. We introduce coordinate systems for ${\rm SL}_3$-laminations, and show that ${\rm SL}_3$-laminations satisfying a congruence property are geometric realizations of the tropical integer points of the cluster $\mathscr{A}$-moduli space $\mathscr{A}_{{\rm SL}_3,\frak{S}}$. Per each such ${\rm SL}_3$-lamination, we construct a regular function on the cluster $\mathscr{X}$-moduli space $\mathscr{X}_{{\rm PGL}_3,\frak{S}}$. We show that these functions form a basis of the ring of all regular functions. For a proof, we develop ${\rm SL}_3$ quantum and classical trace maps for any triangulated bordered surface with marked points, and state-sum formulas for them. We construct quantum versions of the basic regular functions on $\mathscr{X}_{{\rm PGL}_3,\frak{S}}$. The bases constructed in this paper are built from non-elliptic webs, hence could be viewed as higher `bangles' bases, and the corresponding `bracelets' versions can also be considered as direct analogs of Fock-Goncharov's and Allegretti-Kim's bases for the ${\rm SL}_2$-${\rm PGL}_2$ case.

preprint2022arXiv

Three dimensional construction of the Virasoro-Bott group

We present a three-dimensional geometric construction of the Virasoro-Bott group, which is a central extension of the group of diffeomorphisms of the circle. Our approach is analogous to the well-known construction of a central extension of the loop group by means of the Wess-Zumino topological term. In particular, the Virasoro-Bott group is realized as a quotient group of diffeomorphisms of the disc with special boundary conditions. We identify the Lie algebra corresponding to our group with the Virasoro algebra. We also show that for generalized boundary conditions the Virasoro algebra is extended to a semidirect product with the Heisenberg algebra. We discuss the relation between our construction, the Chern-Simons theory, and the three-dimensional gravity.

preprint2020arXiv

Irreducible self-adjoint representations of quantum Teichmüller space and the phase constants

Quantization of the Teichmüller space of a non-compact Riemann surface has emerged in 1980's as an approach to three dimensional quantum gravity. For any choice of an ideal triangulation of the surface, Thurston's shear coordinate functions on the edges form a coordinate system for the Teichmüller space, and they should be replaced by suitable self-adjoint operators on a Hilbert space. Upon a change of triangulations, one must construct a unitary operator between the Hilbert spaces intertwining the quantum coordinate operators and satisfying the composition identities up to multiplicative phase constants. In the well-known construction by Chekhov, Fock and Goncharov, the quantum coordinate operators form a family of reducible representations, and the phase constants are all trivial. In the present paper, we employ the harmonic-analytic theory of the Shale-Weil intertwiners for the Schrödinger representations, as well as Faddeev-Kashaev's quantum dilogarithm function, to construct a family of irreducible representations of the quantum shear coordinate functions and the corresponding intertwiners for the changes of triangulations. The phase constants are explicitly computed and described by the Maslov indices of the Lagrangian subspaces of a symplectic vector space, and by the pentagon relation of the flips of triangulations. The present work may generalize to the cluster $\mathscr{X}$-varieties.

preprint2018arXiv

Comments on Exchange Graphs in Cluster Algebras

An important problem in the theory of cluster algebras is to compute the fundamental group of the exchange graph. A non-trivial closed loop in the exchange graph, for example, generates a non-trivial identity for the classical and quantum dilogarithm functions. An interesting conjecture, partly motivated by dilogarithm functions, is that this fundamental group is generated by closed loops of mutations involving only two of the cluster variables. We present examples and counterexamples for this naive conjecture, and then formulate a better version of the conjecture for acyclic seeds.

preprint2016arXiv

Phase constants in the Fock-Goncharov quantization of cluster varieties: long version

A cluster variety of Fock and Goncharov is a scheme constructed from the data related to the cluster algebras of Fomin and Zelevinsky. A seed is a combinatorial data which can be encoded as an $n\times n$ matrix with integer entries, or as a quiver in special cases, together with $n$ formal variables. A mutation is a certain rule for transforming a seed into another seed; the new variables are related to the previous variables by some rational expressions. To each seed one attaches an $n$-dimensional torus, and by gluing the tori along the birational maps defined by the mutation formulas, one constructs a cluster variety. Quantization of a cluster variety assigns to each seed a non-commutative ring which deforms the classical ring of functions on the torus attached to the seed, as well as to each mutation an isomorphism of skew fields of fractions of these non-commutative rings. A representation realizes the non-commutative rings as algebras of operators on Hilbert spaces, and the quantum mutation isomorphisms as unitary maps between the Hilbert spaces that intertwine the operators for the rings. These unitary intertwiners are one of the major results of the Fock-Goncharov quantization of cluster varieties, and are given by the special function called the quantum dilogarithm. The classical mutations satisfy certain algebraic relations, which were known to be satisfied also by the corresponding intertwiners up to complex constants of modulus $1$. The present paper shows by computation that these constants are all $1$. One implication is that the mapping class group representations resulting from the application of the Fock-Goncharov quantization to the quantum Teichmüller theory are genuine, not projective.

preprint2016arXiv

The dilogarithmic central extension of the Ptolemy-Thompson group via the Kashaev quantization

Quantization of universal Teichmüller space provides projective representations of the Ptolemy-Thompson group, which is isomorphic to the Thompson group $T$. This yields certain central extensions of $T$ by $\mathbb{Z}$, called dilogarithmic central extensions. We compute a presentation of the dilogarithmic central extension $\hat{T}^{Kash}$ of $T$ resulting from the Kashaev quantization, and show that it corresponds to $6$ times the Euler class in $H^2(T;\mathbb{Z})$. Meanwhile, the braided Ptolemy-Thompson groups $T^*$, $T^\sharp$ of Funar-Kapoudjian are extensions of $T$ by the infinite braid group $B_\infty$, and by abelianizing the kernel $B_\infty$ one constructs central extensions $T^*_{ab}$, $T^\sharp_{ab}$ of $T$ by $\mathbb{Z}$, which are of topological nature. We show $\hat{T}^{Kash}\cong T^\sharp_{ab}$. Our result is analogous to that of Funar and Sergiescu, who computed a presentation of another dilogarithmic central extension $\hat{T}^{CF}$ of $T$ resulting from the Chekhov-Fock(-Goncharov) quantization and thus showed that it corresponds to $12$ times the Euler class and that $\hat{T}^{CF} \cong T^*_{ab}$. In addition, we suggest a natural relationship between the two quantizations in the level of projective representations.

preprint2009arXiv

Simultaneous Constructions of the Sporadic Groups Co_2 and Fi_{22}

In this article we give self-contained existence proofs for the sporadic simple groups Co_2 and Fi_{22} using the second author's algorithm [10] constructing finite simple groups from irreducible subgroups of GL_n(2). These two sporadic groups were originally discovered by J. Conway [4] and B. Fischer [7], respectively, by means of completely different and unrelated methods. In this article n=10 and the irreducible subgroups are the Mathieu group M_{22} and its automorphism group Aut(M_{22}). We construct their five non-isomorphic extensions E_i by the two 10-dimensional non-isomorphic simple modules of M_{22} and by the two 10-dimensional simple modules of A_{22} = Aut(M_{22}) over F=GF(2). In two cases we construct the centralizer H_i = C_{G_i}(z_i) of a 2-central involution z_i of E_i in any target simple group G_i. Then we prove that all the conditions of Algorithm 7.4.8 of [11] are satisfied. This allows us to construct G_3 $\cong$ Co_2 inside GL_{23}(13) and G_2 $\cong$ Fi_{22} inside GL_{78}(13). We also calculate their character tables and presentations.