-
Monoidal categorification of genus zero skein algebras
Authors:
Dylan G. L. Allegretti,
Hyun Kyu Kim,
Peng Shan
Abstract:
We prove a conjecture of the first and third named authors relating the Kauffman bracket skein algebra of a genus zero surface with boundary to a quantized $K$-theoretic Coulomb branch. As a consequence, we see that our skein algebra arises as the Grothendieck ring of the bounded derived category of equivariant coherent sheaves on the Braverman-Finkelberg-Nakajima variety of triples with monoidal…
▽ More
We prove a conjecture of the first and third named authors relating the Kauffman bracket skein algebra of a genus zero surface with boundary to a quantized $K$-theoretic Coulomb branch. As a consequence, we see that our skein algebra arises as the Grothendieck ring of the bounded derived category of equivariant coherent sheaves on the Braverman-Finkelberg-Nakajima variety of triples with monoidal structure defined by the convolution product. We thus give a monoidal categorification of the skein algebra, partially answering a question posed by D. Thurston.
△ Less
Submitted 19 May, 2025;
originally announced May 2025.
-
Frobenius homomorphisms for stated ${\rm SL}_n$-skein modules
Authors:
Hyun Kyu Kim,
Thang T. Q. Lê,
Zhihao Wang
Abstract:
The stated ${\rm SL}_n$-skein algebra $\mathscr{S}_{\hat{q}}(\mathfrak{S})$ of a surface $\mathfrak{S}$ is a quantization of the ${\rm SL}_n$-character variety, and is spanned over $\mathbb{Z}[\hat{q}^{\pm 1}]$ by framed tangles in $\mathfrak{S} \times (-1,1)$. If $\hat{q}$ is evaluated at a root of unity $\hatω$ with the order of $\hatω^{4n^2}$ being $N$, then for $\hatη = \hatω^{N^2}$, the Frobe…
▽ More
The stated ${\rm SL}_n$-skein algebra $\mathscr{S}_{\hat{q}}(\mathfrak{S})$ of a surface $\mathfrak{S}$ is a quantization of the ${\rm SL}_n$-character variety, and is spanned over $\mathbb{Z}[\hat{q}^{\pm 1}]$ by framed tangles in $\mathfrak{S} \times (-1,1)$. If $\hat{q}$ is evaluated at a root of unity $\hatω$ with the order of $\hatω^{4n^2}$ being $N$, then for $\hatη = \hatω^{N^2}$, the Frobenius homomorphism $Φ: \mathscr{S}_{\hatη}(\mathfrak{S}) \to \mathscr{S}_{\hatω}(\mathfrak{S})$ is a surface generalization of the well-known Frobenius homomorphism between quantum groups. We show that the image under $Φ$ of a framed oriented knot $α$ is given by threading along $α$ of the reduced power elementary polynomial, which is an ${\rm SL}_n$-analog of the Chebyshev polynomial $T_N$. This generalizes Bonahon and Wong's result for $n=2$, and confirms a conjecture of Bonahon and Higgins. Our proof uses representation theory of quantum groups and its skein theoretic interpretation, and does not require heavy computations. We also extend our result to marked 3-manifolds.
△ Less
Submitted 11 April, 2025;
originally announced April 2025.
-
Existence of weak solutions for fast diffusion equation with a divergence type of drift term
Authors:
Sukjung Hwang,
Kyungkeun Kang,
Hwa Kil Kim
Abstract:
We construct non-negative weak solutions of fast diffusion equations with a divergence type of drift term satisfying the $L^q$-energy inequality and speed estimate in Wasserstein spaces under some integrability conditions on the drift term. Furthermore, in the case that the drift term has a divergence-free structure, it turns out that its integrability conditions can be relaxed, which is also appl…
▽ More
We construct non-negative weak solutions of fast diffusion equations with a divergence type of drift term satisfying the $L^q$-energy inequality and speed estimate in Wasserstein spaces under some integrability conditions on the drift term. Furthermore, in the case that the drift term has a divergence-free structure, it turns out that its integrability conditions can be relaxed, which is also applicable to porous medium equations, thereby improving previous results. As an application, the existence of weak solutions is also discussed for a viscous Boussinesq system of the fast diffusion type.
△ Less
Submitted 24 February, 2025; v1 submitted 16 January, 2025;
originally announced January 2025.
-
Existence of weak solutions for nonlinear drift-diffusion equations with measure data
Authors:
Sukjung Hwang,
Kyungkeun Kang,
Hwa Kil Kim,
Jung-Tae Park
Abstract:
We consider nonlinear drift-diffusion equations (both porous medium equations and fast diffusion equations) with a measure-valued external force. We establish existence of nonnegative weak solutions satisfying gradient estimates, provided that the drift term belongs to a sub-scaling class relevant to $L^1$-space. If the drift is divergence-free, such a class is, however, relaxed so that drift suff…
▽ More
We consider nonlinear drift-diffusion equations (both porous medium equations and fast diffusion equations) with a measure-valued external force. We establish existence of nonnegative weak solutions satisfying gradient estimates, provided that the drift term belongs to a sub-scaling class relevant to $L^1$-space. If the drift is divergence-free, such a class is, however, relaxed so that drift suffices to be included in a certain supercritical scaling class, and the nonlinear diffusion can be less restrictive as well. By handling both the measure data and the drift, we obtain a new type of energy estimates. As an application, we construct weak solutions for a specific type of nonlinear diffusion equation with measure data coupled to the incompressible Navier-Stokes equations.
△ Less
Submitted 14 January, 2025;
originally announced January 2025.
-
Naturality of ${\rm SL}_n$ quantum trace maps for surfaces
Authors:
Hyun Kyu Kim,
Zhihao Wang
Abstract:
The ${\rm SL}_n$-skein algebra of a punctured surface $\mathfrak{S}$, studied by Sikora, is an algebra generated by isotopy classes of $n$-webs living in the thickened surface $\mathfrak{S} \times (-1,1)$, where an $n$-web is a union of framed links and framed oriented $n$-valent graphs satisfying certain conditions. For each ideal triangulation $λ$ of $\mathfrak{S}$, Lê and Yu constructed an alge…
▽ More
The ${\rm SL}_n$-skein algebra of a punctured surface $\mathfrak{S}$, studied by Sikora, is an algebra generated by isotopy classes of $n$-webs living in the thickened surface $\mathfrak{S} \times (-1,1)$, where an $n$-web is a union of framed links and framed oriented $n$-valent graphs satisfying certain conditions. For each ideal triangulation $λ$ of $\mathfrak{S}$, Lê and Yu constructed an algebra homomorphism, called the ${\rm SL}_n$-quantum trace, from the ${\rm SL}_n$-skein algebra of $\mathfrak{S}$ to a so-called balanced subalgebra of the $n$-root version of Fock and Goncharov's quantum torus algebra associated to $λ$. We show that the ${\rm SL}_n$-quantum trace maps for different ideal triangulations are related to each other via a balanced $n$-th root version of the quantum coordinate change isomorphism, which extends Fock and Goncharov's isomorphism for quantum cluster varieties. We avoid heavy computations in the proof, by using the splitting homomorphisms of Lê and Sikora, and a network dual to the $n$-triangulation of $λ$ studied by Schrader and Shapiro.
△ Less
Submitted 22 December, 2024;
originally announced December 2024.
-
The Unicity Theorem and the center of the ${\rm SL}_3$-skein algebra
Authors:
Hyun Kyu Kim,
Zhihao Wang
Abstract:
The ${\rm SL}_3$-skein algebra $\mathscr{S}_{\bar{q}}(\mathfrak{S})$ of a punctured oriented surface $\mathfrak{S}$ is a quantum deformation of the coordinate algebra of the ${\rm SL}_3$-character variety of $\mathfrak{S}$. When $\bar{q}$ is a root of unity, we prove the Unicity Theorem for representations of $\mathscr{S}_{\bar{q}}(\mathfrak{S})$, in particular the existence and uniqueness of a ge…
▽ More
The ${\rm SL}_3$-skein algebra $\mathscr{S}_{\bar{q}}(\mathfrak{S})$ of a punctured oriented surface $\mathfrak{S}$ is a quantum deformation of the coordinate algebra of the ${\rm SL}_3$-character variety of $\mathfrak{S}$. When $\bar{q}$ is a root of unity, we prove the Unicity Theorem for representations of $\mathscr{S}_{\bar{q}}(\mathfrak{S})$, in particular the existence and uniqueness of a generic irreducible representation. Furthermore, we show that the center of $\mathscr{S}_{\bar{q}}(\frak{S})$ is generated by the peripheral skeins around punctures and the central elements contained in the image of the Frobenius homomorphism for $\mathscr{S}_{\bar{q}}(\frak{S})$, a surface generalization of Frobenius homomorphisms of quantum groups related to ${\rm SL}_3$. We compute the rank of $\mathscr{S}_{\bar{q}}(\mathfrak{S})$ over its center, hence the dimension of the generic irreducible representation.
△ Less
Submitted 15 November, 2024; v1 submitted 23 July, 2024;
originally announced July 2024.
-
Quantized geodesic lengths for Teichmüller spaces: algebraic aspects
Authors:
Hyun Kyu Kim
Abstract:
In 1980's H Verlinde suggested to construct and use a quantization of Teichmüller spaces to construct spaces of conformal blocks for the Liouville conformal field theory. This suggestion led to a mathematical formulation by Fock in 1990's and later by Fock, Goncharov and Shen, called the modular functor conjecture, based on the Chekhov-Fock quantum Teichmüller theory. In 2000's Teschner combined t…
▽ More
In 1980's H Verlinde suggested to construct and use a quantization of Teichmüller spaces to construct spaces of conformal blocks for the Liouville conformal field theory. This suggestion led to a mathematical formulation by Fock in 1990's and later by Fock, Goncharov and Shen, called the modular functor conjecture, based on the Chekhov-Fock quantum Teichmüller theory. In 2000's Teschner combined the Chekhov-Fock version and the Kashaev version of quantum Teichmüller theory to construct a solution to a modified form of the conjecture. We embark on a direct approach to the conjecture based on the Chekhov-Fock(-Goncharov) theory. We construct quantized trace-of-monodromy along simple loops via Bonahon and Wong's quantum trace maps developed in 2010's, and investigate algebraic structures of them, which will eventually lead to construction and properties of quantized geodesic length operators. We show that a special recursion relation used by Teschner is satisfied by the quantized trace-of-monodromy, and that the quantized trace-of-monodromy for disjoint loops commute in a certain strong sense.
△ Less
Submitted 6 June, 2025; v1 submitted 23 May, 2024;
originally announced May 2024.
-
Bounded weak solutions for Keller-Segel equations with generalized diffusion and logistic source via an unbalanced Optimal Transport splitting scheme
Authors:
Kyungkeun Kang,
Hwa Kil Kim,
Geuntaek Seo
Abstract:
We consider a parabolic-elliptic type of Keller-Segel equations with generalized diffusion and logistic source under homogeneous Neumann-Neumann boundary conditions. We construct bounded weak solutions globally in time in an unbalanced optimal transport framework, provided that the magnitude of the chemotactic sensitivity can be restricted depending on parameters. In the case of subquadratic degra…
▽ More
We consider a parabolic-elliptic type of Keller-Segel equations with generalized diffusion and logistic source under homogeneous Neumann-Neumann boundary conditions. We construct bounded weak solutions globally in time in an unbalanced optimal transport framework, provided that the magnitude of the chemotactic sensitivity can be restricted depending on parameters. In the case of subquadratic degradation of the logistic source, we quantify the chemotactic sensitivity, in particular, in terms of the power of degradation and the pointwise bound of the initial density.
△ Less
Submitted 9 January, 2025; v1 submitted 16 January, 2024;
originally announced January 2024.
-
New approach to $λ$-stirling numbers
Authors:
Dae san Kim,
Hye Kyung Kim,
Taekyun Kim
Abstract:
The aim of this paper is to study the $λ$-Stirling numbers of both kinds which are $λ$-analogues of Stirling numbers of both kinds. Those numbers have nice combinatorial interpretations when $λ$ are positive integers. If $λ$ =1, then the $λ$-Stirling numbers of both kinds reduce to the Stirling numbers of both kinds. We derive new types of generating functions of the $λ$-Stirling numbers of both k…
▽ More
The aim of this paper is to study the $λ$-Stirling numbers of both kinds which are $λ$-analogues of Stirling numbers of both kinds. Those numbers have nice combinatorial interpretations when $λ$ are positive integers. If $λ$ =1, then the $λ$-Stirling numbers of both kinds reduce to the Stirling numbers of both kinds. We derive new types of generating functions of the $λ$-Stirling numbers of both kinds which are related to the reciprocals of the generalized rising factorials. Furthermore, some related identities are also derived from those generating functions. In addition, all the corresponding results to the $λ$-Stirling numbers of both kinds are obtained also for the $λ$-analogues of r-Stirling numbers of both kinds which are generalizations of those numbers.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
A trilogy of mapping class group representations from three-dimensional quantum gravity
Authors:
Hyun Kyu Kim
Abstract:
For a punctured surface $\mathfrak{S}$, the author and Scarinci (arXiv:2112.13329) have recently constructed a quantization of a moduli space of Lorentzian metrics on the 3-manifold $\mathfrak{S} \times \mathbb{R}$ of constant sectional curvature $Λ\in \{-1,0,1\}$. The invariance of this quantization under the action of the mapping class group ${\rm MCG}(\mathfrak{S})$ of $\mathfrak{S}$ yields fam…
▽ More
For a punctured surface $\mathfrak{S}$, the author and Scarinci (arXiv:2112.13329) have recently constructed a quantization of a moduli space of Lorentzian metrics on the 3-manifold $\mathfrak{S} \times \mathbb{R}$ of constant sectional curvature $Λ\in \{-1,0,1\}$. The invariance of this quantization under the action of the mapping class group ${\rm MCG}(\mathfrak{S})$ of $\mathfrak{S}$ yields families of unitary representations of ${\rm MCG}(\mathfrak{S})$ on a Hilbert space, with key ingredients being three versions of the quantum dilogarithm functions depending on $Λ$. In this survey article, we review and elaborate on this result.
△ Less
Submitted 24 June, 2024; v1 submitted 5 August, 2023;
originally announced August 2023.
-
Existence of weak solutions for Porous medium equation with a divergence type of drift term in a bounded domain
Authors:
Sukjung Hwang,
Kyungkeun Kang,
Hwa Kil Kim
Abstract:
We study porous medium equations with a divergence form of drift terms in a bounded domain with no-flux lateral boundary conditions. We establish $L^q$-weak solutions for $ 1\leq q < \infty$ in Wasserstein space under appropriate conditions on the drift, which is an extension of authors' previous works done in the whole space into the case of bounded domains. Applying existence results to a certai…
▽ More
We study porous medium equations with a divergence form of drift terms in a bounded domain with no-flux lateral boundary conditions. We establish $L^q$-weak solutions for $ 1\leq q < \infty$ in Wasserstein space under appropriate conditions on the drift, which is an extension of authors' previous works done in the whole space into the case of bounded domains. Applying existence results to a certain Keller-Segel equation of consumption type, construction of $L^q$-weak solutions is also made, in case that the equation of a biological organism is of porous medium type.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
Generalized degenerate stirling numbers arising from degenerate boson normal ordering
Authors:
Taekyun Kim,
Dae San Kim,
Hye Kyung Kim
Abstract:
It is remarkable that, in recent years, intensive studies have been done for degenerate versions of many special polynomials and numbers and have yielded many interesting results. The aim of this paper is to study the generalized degenerate (r, s)-Stirling numbers of the second and their natural extensions to polynomials, namely the generalized degenerate (r, s)-Bell polynomials, arising from cert…
▽ More
It is remarkable that, in recent years, intensive studies have been done for degenerate versions of many special polynomials and numbers and have yielded many interesting results. The aim of this paper is to study the generalized degenerate (r, s)-Stirling numbers of the second and their natural extensions to polynomials, namely the generalized degenerate (r, s)-Bell polynomials, arising from certain degenerate boson normal ordering. We derive some properties, explicit expressions and generating functions for those numbers and polynomials. The generalized degenerate (r, s)-Stirling numbers of the second and the degenerate boson normal ordering are respectively degenerate versions of the generalized (r, s)-Stirling numbers of the second and the boson normal ordering studied earlier by Blasiak-Person-Solomon.
△ Less
Submitted 7 May, 2023;
originally announced May 2023.
-
Study on discrete degenerate Bell distributions with two parameters
Authors:
Taekyun Kim,
Dae san Kim,
Hye Kyung Kim
Abstract:
Recently, Freud-Rodriguez proposed a new counting process which is called the Bell-Touchard process and based on the Bell-Touchard probability distribution. This process was developed to solve the problem of rare events hypothesis which is one of the limitations of the Poisson process. In this paper, we consider the discrete degenerate Bell distributions and the degenerate Bell process which are '…
▽ More
Recently, Freud-Rodriguez proposed a new counting process which is called the Bell-Touchard process and based on the Bell-Touchard probability distribution. This process was developed to solve the problem of rare events hypothesis which is one of the limitations of the Poisson process. In this paper, we consider the discrete degenerate Bell distributions and the degenerate Bell process which are 'degenerate versions' of the Bell-Touchard probability distributions and the Bell-Touchard process, respectively. We investigate several properties of the degenerate Bell distribution. We introduce the degenerate Bell process by giving two equivalent definitions and show one method of constructing a new infinite family of degenerate Bell process out of a given infinite family of degenerate Bell process.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Some identities on degenerate hyperbolic functions arising from $p$-adic integrals on $\mathbb{Z}_p$
Authors:
Taekyun Kim,
Dae San Kim,
Hye Kyung Kim
Abstract:
The aim of this paper is to introduce several degenerate hyperbolic functions as degenerate versions of the hyperbolic functions, to evaluate Volkenborn and the fermionic $p$-adic integrals of the degenerate hyperbolic cosine and the degenerate hyperbolic sine functions and to derive from them some identities involving the degenerate Bernoulli numbers, the degenerate Euler numbers and the Cauchy n…
▽ More
The aim of this paper is to introduce several degenerate hyperbolic functions as degenerate versions of the hyperbolic functions, to evaluate Volkenborn and the fermionic $p$-adic integrals of the degenerate hyperbolic cosine and the degenerate hyperbolic sine functions and to derive from them some identities involving the degenerate Bernoulli numbers, the degenerate Euler numbers and the Cauchy numbers of the first kind.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
Multi-Stirling numbers of the second kind
Authors:
Taekyun Kim,
Dae San Kim,
Hye Kyung Kim
Abstract:
The multi-Stirling numbers of the second kind, the unsigned multi-Stirling numbers of the first kind, the multi-Lah numbers and the multi-Bernoulli numbers are all defined with the help of the multiple logarithm, and generalize respectively the Stirling numbers of the second kind, the unsigned Stirling numbers of the first kind, the unsigned Lah numbers and the higher-order Bernoulli numbers . The…
▽ More
The multi-Stirling numbers of the second kind, the unsigned multi-Stirling numbers of the first kind, the multi-Lah numbers and the multi-Bernoulli numbers are all defined with the help of the multiple logarithm, and generalize respectively the Stirling numbers of the second kind, the unsigned Stirling numbers of the first kind, the unsigned Lah numbers and the higher-order Bernoulli numbers . The aim of this paper is to introduce the multi-Stirling numbers of the second kind and to find several identities involving those four numbers defined by means of the multiple logarithm and some other special numbers.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
A note on infinite series whose terms involve truncated degenerate exponentials
Authors:
Dae San Kim,
Hye Kyung Kim,
Taekyun Kim
Abstract:
The degenerate exponentials play an important role in recent study on degenerate versions of many special numbers and polynomials, the degenerate gamma function, the degenerate umbral calculus and the degenerate q-umbral calculus. The aim of this note is to consider infinite series whose terms involve truncated degenerate exponentials together with several special numbers and to find either their…
▽ More
The degenerate exponentials play an important role in recent study on degenerate versions of many special numbers and polynomials, the degenerate gamma function, the degenerate umbral calculus and the degenerate q-umbral calculus. The aim of this note is to consider infinite series whose terms involve truncated degenerate exponentials together with several special numbers and to find either their values or some other expressions of them as finite sums.
△ Less
Submitted 9 January, 2023;
originally announced January 2023.
-
Identities involving degenerate harmonic and degenerate hyperharmonic numbers
Authors:
Hye Kyung Kim,
Dae San Kim,
Taekyun Kim
Abstract:
Harmonic numbers have been studied since antiquity, while hyperharmonic numbers were intoduced by Conway and Guy in 1996. The degenerate harmonic numbers and degenerate hyperharmonic numbers are their respective degenerate versions. The aim of this paper is to further investigate some properties, recurrence relations and identities involving the degenerate harmonic and degenerate hyperharmonic num…
▽ More
Harmonic numbers have been studied since antiquity, while hyperharmonic numbers were intoduced by Conway and Guy in 1996. The degenerate harmonic numbers and degenerate hyperharmonic numbers are their respective degenerate versions. The aim of this paper is to further investigate some properties, recurrence relations and identities involving the degenerate harmonic and degenerate hyperharmonic numbers in connection with degenerate Stirling numbers of the first kind, degenerate Daehee numbers and degenerate derangements.
△ Less
Submitted 7 January, 2023;
originally announced January 2023.
-
Some identities on generalized harmonic numbers and generalized harmonic functions
Authors:
Dae san Kim,
Hye Kyung Kim,
Taekyun Kim
Abstract:
The harmonic numbers and generalized harmonic numbers appear frequently in many diverse areas such as combinatorial problems, many expressions involving special functions in analytic number theory and analysis of algorithms. The aim of this paper is to derive some identities involving generalized harmonic numbers and generalized harmonic functions from the beta functions F(x)= B( x+1, n+1), ( n=0,…
▽ More
The harmonic numbers and generalized harmonic numbers appear frequently in many diverse areas such as combinatorial problems, many expressions involving special functions in analytic number theory and analysis of algorithms. The aim of this paper is to derive some identities involving generalized harmonic numbers and generalized harmonic functions from the beta functions F(x)= B( x+1, n+1), ( n=0,1,2,..) using elementary methods.
△ Less
Submitted 30 December, 2022;
originally announced December 2022.
-
On generalized degenerate Euler-Genocchi polynomials
Authors:
Taekyun Kim,
Dae San Kim,
Hye Kyung Kim
Abstract:
We introduce the generalized degenerate Euler-Genocchi polynomials as a degenerate version of the Euler-Genocchi polynomials. In addition, we introduce their higher-order version, namely the generalized degenerate Euler-Genocchi polynomials of order α, as a degenerate version of the generalized Euler-Genocchi polynomials of order α. The aim of this paper is to study certain properties and identiti…
▽ More
We introduce the generalized degenerate Euler-Genocchi polynomials as a degenerate version of the Euler-Genocchi polynomials. In addition, we introduce their higher-order version, namely the generalized degenerate Euler-Genocchi polynomials of order α, as a degenerate version of the generalized Euler-Genocchi polynomials of order α. The aim of this paper is to study certain properties and identities involving those polynomials, the generalized falling factorials, the degenerate Euler polynomials of order α, the degenerate Stirling numbers of the second kind, and the alternating degenerate power sum of integers.
△ Less
Submitted 16 August, 2022;
originally announced August 2022.
-
Degenerate r-Bell polynomials arising from degenerate normal odering
Authors:
Taekyun Kim,
Dae san Kim,
Hye Kyung Kim
Abstract:
Recently, Kim-Kim introduced the degenerate r-Bell polynomials and investigated some results which are derived from umbral calculus. The aim of this paper is to study some properties of the degenerate r-Bell polynomials and numbers via boson operators. In particular, we obtain two expressions for the generating function of the degenerate r-Bell polynomials in |z| , and a recurrence relation and Do…
▽ More
Recently, Kim-Kim introduced the degenerate r-Bell polynomials and investigated some results which are derived from umbral calculus. The aim of this paper is to study some properties of the degenerate r-Bell polynomials and numbers via boson operators. In particular, we obtain two expressions for the generating function of the degenerate r-Bell polynomials in |z| , and a recurrence relation and Dobinski-like formula for the degenerate r-Bell numbers. These are derived from the degenerate normal ordering of a degenerate integral power of the number operator in terms of boson operators where the degenerate r-Stirling numbers of the second kind appear as the coefficients.
△ Less
Submitted 10 August, 2022;
originally announced August 2022.
-
Poisson degenerate central moments related to degenerate Dowling and degenerate r-Dowling polynomials
Authors:
Taekyun Kim,
Dae San Kim,
Hye Kyung Kim
Abstract:
Degenerate Dowling and degenerate r-Dowling polynomials were introduced earlier as degenerate versions and further generalizations of Dowling and r-Dowling polynomials. The aim of this paper is
to show their connections with Poisson degenerate central moments for a Poisson random variable with a certain parameter and with Charlier polynomials.
Degenerate Dowling and degenerate r-Dowling polynomials were introduced earlier as degenerate versions and further generalizations of Dowling and r-Dowling polynomials. The aim of this paper is
to show their connections with Poisson degenerate central moments for a Poisson random variable with a certain parameter and with Charlier polynomials.
△ Less
Submitted 24 June, 2022;
originally announced June 2022.
-
Study on r-truncated degenerate stirling numbers of the second kind
Authors:
Taekyun Kim,
Dae san Kim,
Hye Kyung Kim
Abstract:
The degenerate Stirling numbers of the second kind and of the first kind, which are respectively degenerate versions of the Stirling numbers of the second kind and of the first kind, appear frequently when we study various degenerate versions of some special numbers and polynomials. The aim of this paper is to consider the r-truncated degenerate Stirling numbers of the second kind, which reduce to…
▽ More
The degenerate Stirling numbers of the second kind and of the first kind, which are respectively degenerate versions of the Stirling numbers of the second kind and of the first kind, appear frequently when we study various degenerate versions of some special numbers and polynomials. The aim of this paper is to consider the r-truncated degenerate Stirling numbers of the second kind, which reduce to the degenerate Stirling numbers of the second for r = 1, and to investigate their explicit expressions, some properties and related identities, in connection with several other degenerate special numbers and polynomials.
△ Less
Submitted 9 June, 2022;
originally announced June 2022.
-
Some identities on $λ$-analogues of $r$-stirling numbers of the second kind
Authors:
Dae San Kim,
Hye Kyung Kim,
Taekyun Kim
Abstract:
Recently, the $λ$-analogues of $r$-Stirling numbers of the first kind were studied by Kim-Kim. The aim of this paper is to introduce the $λ$-analogues of $r$-Stirling numbers of the second kind and to investigate some properties, recurrence relations and certain identities on those numbers. We also introduce the $λ$-analogues of Whitney-type $r$-Stirling numbers of the second and derive similar re…
▽ More
Recently, the $λ$-analogues of $r$-Stirling numbers of the first kind were studied by Kim-Kim. The aim of this paper is to introduce the $λ$-analogues of $r$-Stirling numbers of the second kind and to investigate some properties, recurrence relations and certain identities on those numbers. We also introduce the $λ$-analogues of Whitney-type $r$-Stirling numbers of the second and derive similar results to the case of the $λ$-analogues of r-Stirling numbers of the second kind. In addition, we consider the $λ$-analogues of Dowling polynomials and deduce a Dobinski-like formula.
△ Less
Submitted 29 May, 2022;
originally announced May 2022.
-
Normal ordering of degenerate integral powers of number operator and its applications
Authors:
Taekyun Kim,
Dae san Kim,
Hye Kyung Kim
Abstract:
The normal ordering of an integral power of the number operator in terms of boson operators is expressed with the help of the Stirling numbers of the second kind. As a `degenerate version' of this, we consider the normal ordering of a degenerate integral power of the number operator in terms of boson operators, which is represented by means of the degenerate Stirling numbers of the second kind. As…
▽ More
The normal ordering of an integral power of the number operator in terms of boson operators is expressed with the help of the Stirling numbers of the second kind. As a `degenerate version' of this, we consider the normal ordering of a degenerate integral power of the number operator in terms of boson operators, which is represented by means of the degenerate Stirling numbers of the second kind. As an application of this normal ordering, we derive two equations defining the degenerate Stirling numbers of the second kind and a Dobinski-like formula for the degenerate Bell polynomials.
△ Less
Submitted 6 April, 2022;
originally announced April 2022.
-
Three-dimensional quantum gravity from the quantum pseudo-Kähler plane
Authors:
Hyun Kyu Kim
Abstract:
A new canonical Hopf algebra called the quantum pseudo-Kähler plane is introduced. This quantum group can be viewed as a deformation quantization of the complex two-dimensional plane $\mathbb{C}^2$ with a pseudo-Kähler metric, or as a complexified version of the well-known quantum plane Hopf algebra. A natural class of nicely-behaved representations of the quantum pseudo-Kähler plane algebra is de…
▽ More
A new canonical Hopf algebra called the quantum pseudo-Kähler plane is introduced. This quantum group can be viewed as a deformation quantization of the complex two-dimensional plane $\mathbb{C}^2$ with a pseudo-Kähler metric, or as a complexified version of the well-known quantum plane Hopf algebra. A natural class of nicely-behaved representations of the quantum pseudo-Kähler plane algebra is defined and studied, in the spirit of the previous joint work of the author and I. B. Frenkel. The tensor square of a unique irreducible representation decomposes into the direct integral of the irreducibles, and the unitary decomposition map is expressed by a special function called the modular double compact quantum dilogarithm, used in the recent joint work of the author and C. Scarinci on the quantization of 3d gravity for positive cosmological constant case. Then, from the associativity of the tensor cube, and from the maps between the left and the right duals, we construct unitary operators forming a new representation of Kashaev's group of transformations of dotted ideal triangulations of punctured surfaces, as an analog of Kashaev's quantum Teichmüller theory. The present work thus inspires one to look for a Kashaev-type quantization of 3d gravity for positive cosmological constant.
△ Less
Submitted 4 July, 2023; v1 submitted 27 December, 2021;
originally announced December 2021.
-
A quantization of moduli spaces of 3-dimensional gravity
Authors:
Hyun Kyu Kim,
Carlos Scarinci
Abstract:
We construct a quantization of the moduli space $\mathcal{GH}_Λ(S\times\mathbb{R})$ of maximal globally hyperbolic Lorentzian metrics on $S\times \mathbb{R}$ with constant sectional curvature $Λ$, for a punctured surface $S$. Although this moduli space is known to be symplectomorphic to the cotangent bundle of the Teichmüller space of $S$ independently of the value of $Λ$, we define geometrically…
▽ More
We construct a quantization of the moduli space $\mathcal{GH}_Λ(S\times\mathbb{R})$ of maximal globally hyperbolic Lorentzian metrics on $S\times \mathbb{R}$ with constant sectional curvature $Λ$, for a punctured surface $S$. Although this moduli space is known to be symplectomorphic to the cotangent bundle of the Teichmüller space of $S$ independently of the value of $Λ$, we define geometrically natural classes of observables leading to $Λ$-dependent quantizations. Using special coordinate systems, we first view $\mathcal{GH}_Λ(S\times\mathbb{R})$ as the set of points of a cluster $\mathscr{X}$-variety valued in the ring of generalized complex numbers $\mathbb{R}_Λ= \mathbb{R}[\ell]/(\ell^2+Λ)$. We then develop an $\mathbb{R}_Λ$-version of the quantum theory for cluster $\mathscr{X}$-varieties by establishing $\mathbb{R}_Λ$-versions of the quantum dilogarithm function. As a consequence, we obtain three families of projective unitary representations of the mapping class group of $S$. For $Λ<0$ these representations recover those of Fock and Goncharov, while for $Λ\geq 0$ the representations are new.
△ Less
Submitted 21 June, 2024; v1 submitted 26 December, 2021;
originally announced December 2021.
-
Existence of weak solutions for Porous medium equation with a divergence type of drift term
Authors:
Sukjung Hwang,
Kyungkeun Kang,
Haw Kil Kim
Abstract:
We consider degenerate porous medium equations with a divergence type of drift terms. We establish the existence of $L^{q}$-weak solutions (satisfying energy estimates or even further with moment and speed estimates in Wasserstein spaces), in case the drift term belongs to a sub-scaling (including scaling invariant) class depending on $q$ and $m$ caused by the nonlinear structure of diffusion, whi…
▽ More
We consider degenerate porous medium equations with a divergence type of drift terms. We establish the existence of $L^{q}$-weak solutions (satisfying energy estimates or even further with moment and speed estimates in Wasserstein spaces), in case the drift term belongs to a sub-scaling (including scaling invariant) class depending on $q$ and $m$ caused by the nonlinear structure of diffusion, which is a major difference compared to that of a linear case. It is noticeable that the classes of drift terms become wider if the drift term is divergence-free. Similar conditions of gradients of drift terms are also provided to ensure the existence of such weak solutions. Uniqueness results follow under an additional condition on the gradients of the drift terms with the aid of methods developed in Wasserstein spaces. One of our main tools is so called the splitting method to construct a sequence of approximated solutions, which implies, bypassing to the limit, the existence of weak solutions satisfying not only an energy inequality but also moment and speed estimates. One of the crucial points in the construction is uniform Hölder continuity up to initial time for homogeneous porous medium equations, which seems to be of independent interest. As an application, we improve a regularity result for solutions of a repulsive Keller-Segel system of porous medium type.
△ Less
Submitted 6 January, 2022; v1 submitted 8 November, 2021;
originally announced November 2021.
-
Three dimensional construction of the Virasoro-Bott group
Authors:
Igor B. Frenkel,
Hyun Kyu Kim
Abstract:
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 d…
▽ More
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.
△ Less
Submitted 10 January, 2022; v1 submitted 24 July, 2021;
originally announced July 2021.
-
A note on degenerate generalized Laguerre polynomials and Lah numbers
Authors:
Taekyun Kim,
Dmitry V. Dolgy,
Dae san Kim,
Hye Kyung Kim,
Seong Ho Park
Abstract:
The aim of this paper is to introduce the degenerate generalized Laguerre polynomials as the degenerate version of the generalized Laguerre polynomials and to derive some properties related to those polynomials and Lah numbers, including an explicit expression, a Rodrigues' type formula and expressions for the derivatives.
The novelty of the present paper is that it is the first paper on degener…
▽ More
The aim of this paper is to introduce the degenerate generalized Laguerre polynomials as the degenerate version of the generalized Laguerre polynomials and to derive some properties related to those polynomials and Lah numbers, including an explicit expression, a Rodrigues' type formula and expressions for the derivatives.
The novelty of the present paper is that it is the first paper on degenerate versions of orthogonal polynomials.
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
Multi-Lah numbers and multi-Stirling numbers of the first kind
Authors:
Dae San Kim,
Hye Kyun Kim,
Taekyun Kim,
Hyunseok Lee,
Seongho Park
Abstract:
In this paper, we introduce multi-Lah numbers and multi-Stirling numbers of the first kind and recall multi-Bernoulli numbers, all of whose generating functions are given with the help of multiple logarithm. The aim of this paper is to study several relations among those three numbers. In more detail, we represent the multi-Bernoulli numbers in terms of the multi-Stirling numbers of the first kind…
▽ More
In this paper, we introduce multi-Lah numbers and multi-Stirling numbers of the first kind and recall multi-Bernoulli numbers, all of whose generating functions are given with the help of multiple logarithm. The aim of this paper is to study several relations among those three numbers. In more detail, we represent the multi-Bernoulli numbers in terms of the multi-Stirling numbers of the first kind and vice versa, and the multi-Lah numbers in terms of multi-Stirling numbers. In addition, we deduce a recurrence relation for multi-Lah numbers
△ Less
Submitted 21 June, 2021;
originally announced June 2021.
-
Naturality of ${\rm SL}_3$ quantum trace maps for surfaces
Authors:
Hyun Kyu Kim
Abstract:
Fock-Goncharov's moduli spaces $\mathscr{X}_{{\rm PGL}_3,\frak{S}}$ of framed ${\rm PGL}_3$-local systems on punctured surfaces $\frak{S}$ provide prominent examples of cluster $\mathscr{X}$-varieties and higher Teichmüller spaces. In a previous paper of the author (arXiv:2011.14765), building on the works of others, the so-called ${\rm SL}_3$ quantum trace map is constructed for each triangulable…
▽ More
Fock-Goncharov's moduli spaces $\mathscr{X}_{{\rm PGL}_3,\frak{S}}$ of framed ${\rm PGL}_3$-local systems on punctured surfaces $\frak{S}$ provide prominent examples of cluster $\mathscr{X}$-varieties and higher Teichmüller spaces. In a previous paper of the author (arXiv:2011.14765), building on the works of others, the so-called ${\rm SL}_3$ quantum trace map is constructed for each triangulable punctured surface $\frak{S}$ and an ideal triangulation $Δ$ of $\frak{S}$, as a homomorphism from the stated ${\rm SL}_3$-skein algebra of the surface to a quantum torus algebra that deforms the ring of Laurent polynomials in the cube-roots of the cluster coordinate variables for the cluster $\mathscr{X}$-chart for $\mathscr{X}_{{\rm PGL}_3,\frak{S}}$ associated to $Δ$. We develop quantum mutation maps between special subalgebras of the cube-root quantum torus algebras for different triangulations and show that the ${\rm SL}_3$ quantum trace maps are natural, in the sense that they are compatible under these quantum mutation maps. As an application, the quantum ${\rm SL}_3$-${\rm PGL}_3$ duality map constructed in the previous paper is shown to be independent of the choice of an ideal triangulation.
△ Less
Submitted 3 June, 2024; v1 submitted 13 April, 2021;
originally announced April 2021.
-
${\rm SL}_3$-laminations as bases for ${\rm PGL}_3$ cluster varieties for surfaces
Authors:
Hyun Kyu Kim
Abstract:
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…
▽ More
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.
△ Less
Submitted 2 September, 2022; v1 submitted 30 November, 2020;
originally announced November 2020.
-
A Computer-Assisted Study of Red Coral Population Dynamics
Authors:
Sayomi Kamimoto,
Hye Kyung Kim,
Evelyn Sander,
Thomas Wanner
Abstract:
We consider a 13-dimensional age-structured discrete red coral population model varying with respect to a fitness parameter. Our numerical results give a bifurcation diagram of both equilibria and stable invariant curves of orbits. We observe that not only for low levels of fitness, but also for high levels of fitness, populations are extremely vulnerable, in that they spend long time periods near…
▽ More
We consider a 13-dimensional age-structured discrete red coral population model varying with respect to a fitness parameter. Our numerical results give a bifurcation diagram of both equilibria and stable invariant curves of orbits. We observe that not only for low levels of fitness, but also for high levels of fitness, populations are extremely vulnerable, in that they spend long time periods near extinction. We then use computer-assisted proofs techniques to rigorously validate the set of regular and bifurcation fixed points that have been found numerically.
△ Less
Submitted 30 September, 2020; v1 submitted 18 August, 2020;
originally announced August 2020.
-
Optimal minimal Linear codes from posets
Authors:
Jong Yoon Hyun,
Hyun Kwang Kim,
Yansheng Wu,
Qin Yue
Abstract:
Recently, some infinite families of minimal and optimal binary linear codes were constructed from simplicial complexes by Hyun {\em et al.} We extend this construction method to arbitrary posets. Especially, anti-chains are corresponded to simplicial complexes.
In this paper, we present two constructions of binary linear codes from hierarchical posets of two levels. In particular, we determine t…
▽ More
Recently, some infinite families of minimal and optimal binary linear codes were constructed from simplicial complexes by Hyun {\em et al.} We extend this construction method to arbitrary posets. Especially, anti-chains are corresponded to simplicial complexes.
In this paper, we present two constructions of binary linear codes from hierarchical posets of two levels. In particular, we determine the weight distributions of binary linear codes associated with hierarchical posets with two levels. Based on these results, we also obtain some optimal and minimal binary linear codes not satisfying the condition of Ashikhmin-Barg.
△ Less
Submitted 17 August, 2020;
originally announced August 2020.
-
Temporal decays and asymptotic behaviors for a Vlasov equation with a flocking term coupled to incompressible fluid flow
Authors:
Young-Pil Choi,
Kyungkeun Kang,
Hwa Kil Kim,
Jae-Myoung Kim
Abstract:
We are concerned with large-time behaviors of solutions for Vlasov--Navier--Stokes equations in two dimensions and Vlasov-Stokes system in three dimensions including the effect of velocity alignment/misalignment. We first revisit the large-time behavior estimate for our main system and refine assumptions on the dimensions and a communication weight function. In particular, this allows us to take i…
▽ More
We are concerned with large-time behaviors of solutions for Vlasov--Navier--Stokes equations in two dimensions and Vlasov-Stokes system in three dimensions including the effect of velocity alignment/misalignment. We first revisit the large-time behavior estimate for our main system and refine assumptions on the dimensions and a communication weight function. In particular, this allows us to take into account the effect of the misalignment interactions between particles. We then use a sharp heat kernel estimate to obtain the exponential time decay of fluid velocity to its average in $L^\infty$-norm. For the kinetic part, by employing a certain type of Sobolev norm weighted by modulations of averaged particle velocity, we prove the exponential time decay of the particle distribution, provided that local particle distribution function is uniformly bounded. Moreover, we show that the support of particle distribution function in velocity shrinks to a point, which is the mean of averaged initial particle and fluid velocities, exponentially fast as time goes to infinity. This also provides that for any $p \in [1,\infty]$, the $p$-Wasserstein distance between the particle distribution function and the tensor product of the local particle distributions and Dirac measure at that point in velocity converges exponentially fast to zero as time goes to infinity.
△ Less
Submitted 12 July, 2020;
originally announced July 2020.
-
Irreducible self-adjoint representations of quantum Teichmüller space and the phase constants
Authors:
Hyun Kyu Kim
Abstract:
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 chan…
▽ More
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.
△ Less
Submitted 26 December, 2020; v1 submitted 19 January, 2020;
originally announced January 2020.
-
Uniqueness and characterization of local minimizers for the interaction energy with mildly repulsive potentials
Authors:
Kyungkeun Kang,
Hwa Kil Kim,
Tongseok Lim,
Geuntaek Seo
Abstract:
In this paper, we are concerned with local minimizers of an interaction energy governed by repulsive-attractive potentials of power-law type in one dimension. We prove that sum of two Dirac masses is the unique local minimizer under the $λ-$Wasserstein metric topology with $1\le λ<\infty$, provided masses and distance of Dirac deltas are equally half and one, respectively. In addition, in case of…
▽ More
In this paper, we are concerned with local minimizers of an interaction energy governed by repulsive-attractive potentials of power-law type in one dimension. We prove that sum of two Dirac masses is the unique local minimizer under the $λ-$Wasserstein metric topology with $1\le λ<\infty$, provided masses and distance of Dirac deltas are equally half and one, respectively. In addition, in case of $\infty$-Wasserstein metric, we characterize stability of steady-state solutions depending on powers of interaction potentials.
△ Less
Submitted 2 August, 2019; v1 submitted 16 July, 2019;
originally announced July 2019.
-
Local well-posedness in the Wasserstein space for a chemotaxis model coupled to Navier-Stokes equations
Authors:
Kyungkeun Kang,
Haw Kil Kim
Abstract:
We consider a coupled system of Keller-Segel type equations and the incompressible Navier-Stokes equations in spatial dimension two and three. In the previous work [19], we established the existence of a weak solution of a Fokker-Plank equation in the Wasserstein space using the optimal transportation technique. Exploiting this result, we constructed solutions of Keller-Segel-Navier-Stokes equatio…
▽ More
We consider a coupled system of Keller-Segel type equations and the incompressible Navier-Stokes equations in spatial dimension two and three. In the previous work [19], we established the existence of a weak solution of a Fokker-Plank equation in the Wasserstein space using the optimal transportation technique. Exploiting this result, we constructed solutions of Keller-Segel-Navier-Stokes equations such that the density of biological organism belongs to the absolutely continuous curves in the Wasserstein space. In this work, we refine the result on the existence of a weak solution of a Fokker-Plank equation in the Wasserstein space. As a result, we construct solutions of Keller-Segel-Navier-Stokes equations under weaker assumptions on the initial data.
△ Less
Submitted 6 August, 2021; v1 submitted 3 July, 2019;
originally announced July 2019.
-
Well-posedness of strong solutions for the Vlasov equation coupled to non-Newtonian fluids in dimension three
Authors:
Kyungkeun Kang,
Hwa Kil Kim,
Jae-Myoung Kim
Abstract:
We consider the Cauchy problem for coupled system of Vlasov and non-Newtonian fluid equations. We establish local well--posedness of the strong solutions, provided that the initial data are regular enough. Global existence of unique strong solutions for any given time interval is shown as well if the initial data are sufficiently small.
We consider the Cauchy problem for coupled system of Vlasov and non-Newtonian fluid equations. We establish local well--posedness of the strong solutions, provided that the initial data are regular enough. Global existence of unique strong solutions for any given time interval is shown as well if the initial data are sufficiently small.
△ Less
Submitted 11 June, 2023; v1 submitted 8 January, 2019;
originally announced January 2019.
-
${\rm SL}_2$ quantum trace in quantum Teichmüller theory via writhe
Authors:
Hyun Kyu Kim,
Thang T. Q. Lê,
Miri Son
Abstract:
Quantization of the Teichmüller space of a punctured Riemann surface $S$ is an approach to $3$-dimensional quantum gravity, and is a prototypical example of quantization of cluster varieties. Any simple loop $γ$ in $S$ gives rise to a natural trace-of-monodromy function $\mathbb{I}(γ)$ on the Teichmüller space. For any ideal triangulation $Δ$ of $S$, this function $\mathbb{I}(γ)$ is a Laurent poly…
▽ More
Quantization of the Teichmüller space of a punctured Riemann surface $S$ is an approach to $3$-dimensional quantum gravity, and is a prototypical example of quantization of cluster varieties. Any simple loop $γ$ in $S$ gives rise to a natural trace-of-monodromy function $\mathbb{I}(γ)$ on the Teichmüller space. For any ideal triangulation $Δ$ of $S$, this function $\mathbb{I}(γ)$ is a Laurent polynomial in the square-roots of the exponentiated shear coordinates for the arcs of $Δ$. An important problem was to construct a quantization of this function $\mathbb{I}(γ)$, namely to replace it by a noncommutative Laurent polynomial in the quantum variables. This problem, which is closely related to the framed protected spin characters in physics, has been solved by Allegretti and Kim using Bonahon and Wong's ${\rm SL}_2$ quantum trace for skein algebras, and by Gabella using Gaiotto, Moore and Neitzke's Seiberg-Witten curves, spectral networks, and writhe of links. We show that these two solutions to the quantization problem coincide. We enhance Gabella's solution and show that it is a twist of the Bonahon-Wong quantum trace.
△ Less
Submitted 31 March, 2023; v1 submitted 30 December, 2018;
originally announced December 2018.
-
Laurent positivity of quantized canonical bases for quantum cluster varieties from surfaces
Authors:
So Young Cho,
Hyuna Kim,
Hyun Kyu Kim,
Doeun Oh
Abstract:
In 2006, Fock and Goncharov constructed a nice basis of the ring of regular functions on the moduli space of framed ${\rm PGL}_2$-local systems on a punctured surface $S$. The moduli space is birational to a cluster $\mathcal{X}$-variety, whose positive real points recover the enhanced Teichmüller space of $S$. Their basis is enumerated by integral laminations on $S$, which are collections of clos…
▽ More
In 2006, Fock and Goncharov constructed a nice basis of the ring of regular functions on the moduli space of framed ${\rm PGL}_2$-local systems on a punctured surface $S$. The moduli space is birational to a cluster $\mathcal{X}$-variety, whose positive real points recover the enhanced Teichmüller space of $S$. Their basis is enumerated by integral laminations on $S$, which are collections of closed curves in $S$ with integer weights. Around ten years later, a quantized version of this basis, still enumerated by integral laminations, was constructed by Allegretti and Kim. For each choice of an ideal triangulation of $S$, each quantum basis element is a Laurent polynomial in the exponential of quantum shear coordinates for edges of the triangulation, with coefficients being Laurent polynomials in $q$ with integer coefficients. We show that these coefficients are Laurent polynomials in $q$ with positive integer coefficients. Our result was expected in a positivity conjecture for framed protected spin characters in physics and provides a rigorous proof of it, and may also lead to other positivity results, as well as categorification. A key step in our proof is to solve a purely topological and combinatorial ordering problem about an ideal triangulation and a closed curve on $S$. For this problem we introduce a certain graph on $S$, which is interesting in its own right.
△ Less
Submitted 1 April, 2019; v1 submitted 17 October, 2017;
originally announced October 2017.
-
Existence of regular solutions for a certain type of non-Newtonian Navier-Stokes equations
Authors:
Kyungkeun Kang,
Hwa Kil Kim,
Jae-Myoung Kim
Abstract:
We are concerned with existence of regular solutions for non-Newtonian fluids in dimension three. For a certain type of non-Newtonian fluids we prove local existence of unique regular solutions, provided that the initial data are sufficiently smooth. Moreover, if the $H^3$-norm of initial data is sufficiently small, then the regular solution exists globally in time.
We are concerned with existence of regular solutions for non-Newtonian fluids in dimension three. For a certain type of non-Newtonian fluids we prove local existence of unique regular solutions, provided that the initial data are sufficiently smooth. Moreover, if the $H^3$-norm of initial data is sufficiently small, then the regular solution exists globally in time.
△ Less
Submitted 6 July, 2018; v1 submitted 8 May, 2017;
originally announced May 2017.
-
Finite dimensional quantum Teichmüller space from the quantum torus at root of unity
Authors:
Hyun Kyu Kim
Abstract:
Representation theory of the quantum torus Hopf algebra, when the parameter $q$ is a root of unity, is studied. We investigate a decomposition map of the tensor product of two irreducibles into the direct sum of irreducibles, realized as a `multiplicity module' tensored with an irreducible representation. The isomorphism between the two possible decompositions of the triple tensor product yields a…
▽ More
Representation theory of the quantum torus Hopf algebra, when the parameter $q$ is a root of unity, is studied. We investigate a decomposition map of the tensor product of two irreducibles into the direct sum of irreducibles, realized as a `multiplicity module' tensored with an irreducible representation. The isomorphism between the two possible decompositions of the triple tensor product yields a map ${\bf T}$ between the multiplicity modules, called the 6j-symbols. We study the left and right dual representations, and correspondingly, the left and right representations on the ${\rm Hom}$ spaces of linear maps between representations. Using the isomorphisms of irreducibles to left and right duals, we construct a map ${\bf A}$ on a multiplicity module, encoding the permutation of the roles of the irreducible representations in the identification of the multiplicity module as the space of intertwiners between representations. We show that ${\bf T}$ and ${\bf A}$ satisfy certain consistency relations, forming a Kashaev-type quantization of the Teichmüller spaces of bordered Riemann surfaces. All constructions and proofs in the present work uses only plain representation theoretic language with the help of the notions of the left and the right dual and Hom representations, and therefore can be applied easily to other Hopf algebras for future works.
△ Less
Submitted 24 August, 2018; v1 submitted 16 March, 2017;
originally announced March 2017.
-
The weighted poset metrics and directed graph metrics
Authors:
Jong Yoon Hyun,
Hyun Kwang Kim,
Jeong Rye Park
Abstract:
Etzion et al. introduced metrics on $\mathbb{F}_2^n$ based on directed graphs on $n$ vertices and developed some basic coding theory on directed graph metric spaces. In this paper, we consider the problem of classifying directed graphs which admit the extended Hamming codes to be a perfect code. We first consider weighted poset metrics as a natural generalization of poset metrics and investigate i…
▽ More
Etzion et al. introduced metrics on $\mathbb{F}_2^n$ based on directed graphs on $n$ vertices and developed some basic coding theory on directed graph metric spaces. In this paper, we consider the problem of classifying directed graphs which admit the extended Hamming codes to be a perfect code. We first consider weighted poset metrics as a natural generalization of poset metrics and investigate interrelation between weighted poset metrics and directed graph based metrics. In the next, we classify weighted posets on a set with eight elements and directed graphs on eight vertices which admit the extended Hamming code $\widetilde{\mathcal{H}}_3$ to be a $2$-perfect code. We also construct some families of such structures for any $k \geq 3$. Those families enable us to construct packing or covering codes of radius 2 under certain maps.
△ Less
Submitted 1 March, 2017;
originally announced March 2017.
-
Comments on Exchange Graphs in Cluster Algebras
Authors:
Hyun Kyu Kim,
Masahito Yamazaki
Abstract:
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 mutat…
▽ More
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.
△ Less
Submitted 16 February, 2018; v1 submitted 1 December, 2016;
originally announced December 2016.
-
Phase constants in the Fock-Goncharov quantum cluster varieties
Authors:
Hyun Kyu Kim
Abstract:
A cluster variety of Fock and Goncharov is a scheme constructed by gluing split algebraic tori, called seed tori, via birational gluing maps called mutations. In quantum theory, the ring of functions on seed tori are deformed to non-commutative rings, represented as operators on Hilbert spaces. Mutations are quantized to unitary maps between the Hilbert spaces intertwining the representations. The…
▽ More
A cluster variety of Fock and Goncharov is a scheme constructed by gluing split algebraic tori, called seed tori, via birational gluing maps called mutations. In quantum theory, the ring of functions on seed tori are deformed to non-commutative rings, represented as operators on Hilbert spaces. Mutations are quantized to unitary maps between the Hilbert spaces intertwining the representations. These unitary intertwiners are described using the quantum dilogarithm function $Φ^\hbar$. Algebraic relations among classical mutations are satisfied by the intertwiners up to complex constants. The present paper shows that these constants are $1$. So the mapping class group representations resulting from the Chekhov-Fock-Goncharov quantum Teichmüller theory are genuine, not projective. During the course, the hexagon and the octagon operator identities for $Φ^\hbar$ are derived.
△ Less
Submitted 22 January, 2019; v1 submitted 2 February, 2016;
originally announced February 2016.
-
Phase constants in the Fock-Goncharov quantization of cluster varieties: long version
Authors:
Hyun Kyu Kim
Abstract:
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 rel…
▽ More
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.
△ Less
Submitted 22 February, 2016; v1 submitted 31 January, 2016;
originally announced February 2016.
-
Quasiphantom categories on a family of surfaces isogenous to a higher product
Authors:
Hyun Kyu Kim,
Yun-Hwan Kim,
Kyoung-Seog Lee
Abstract:
We construct exceptional collections of line bundles of maximal length 4 on $S=(C \times D)/G$ which is a surface isogenous to a higher product with $p_g=q=0$ where $G=G(32,27)$ is a finite group of order 32 having number 27 in the list of Magma library. From these exceptional collections, we obtain new examples of quasiphantom categories as their orthogonal complements.
We construct exceptional collections of line bundles of maximal length 4 on $S=(C \times D)/G$ which is a surface isogenous to a higher product with $p_g=q=0$ where $G=G(32,27)$ is a finite group of order 32 having number 27 in the list of Magma library. From these exceptional collections, we obtain new examples of quasiphantom categories as their orthogonal complements.
△ Less
Submitted 8 December, 2016; v1 submitted 6 November, 2015;
originally announced November 2015.
-
A duality map for quantum cluster varieties from surfaces
Authors:
Dylan G. L. Allegretti,
Hyun Kyu Kim
Abstract:
We define a canonical map from a certain space of laminations on a punctured surface into the quantized algebra of functions on a cluster variety. We show that this map satisfies a number of special properties conjectured by Fock and Goncharov. Our construction is based on the "quantum trace" map introduced by Bonahon and Wong.
We define a canonical map from a certain space of laminations on a punctured surface into the quantized algebra of functions on a cluster variety. We show that this map satisfies a number of special properties conjectured by Fock and Goncharov. Our construction is based on the "quantum trace" map introduced by Bonahon and Wong.
△ Less
Submitted 9 June, 2016; v1 submitted 4 September, 2015;
originally announced September 2015.
-
Ratio coordinates for higher Teichmüller spaces
Authors:
Hyun Kyu Kim
Abstract:
We define new coordinates for Fock-Goncharov's higher Teichmüller spaces for a surface with holes, which are the moduli spaces of representations of the fundamental group into a reductive Lie group $G$. Some additional data on the boundary leads to two closely related moduli spaces, the $\mathscr{X}$-space and the $\mathscr{A}$-space, forming a cluster ensemble. Fock and Goncharov gave nice descri…
▽ More
We define new coordinates for Fock-Goncharov's higher Teichmüller spaces for a surface with holes, which are the moduli spaces of representations of the fundamental group into a reductive Lie group $G$. Some additional data on the boundary leads to two closely related moduli spaces, the $\mathscr{X}$-space and the $\mathscr{A}$-space, forming a cluster ensemble. Fock and Goncharov gave nice descriptions of the coordinates of these spaces in the cases of $G = PGL_m$ and $G=SL_m$, together with Poisson structures. We consider new coordinates for higher Teichmüller spaces given as ratios of the coordinates of the $\mathscr{A}$-space for $G=SL_m$, which are generalizations of Kashaev's ratio coordinates in the case $m=2$. Using Kashaev's quantization for $m=2$, we suggest a quantization of the system of these new ratio coordinates, which may lead to a new family of projective representations of mapping class groups. These ratio coordinates depend on the choice of an ideal triangulation decorated with a distinguished corner at each triangle, and the key point of the quantization is to guarantee certain consistency under a change of such choices. We prove this consistency for $m=3$, and for completeness we also give a full proof of the presentation of Kashaev's groupoid of decorated ideal triangulations.
△ Less
Submitted 25 November, 2015; v1 submitted 11 July, 2014;
originally announced July 2014.
