Showing 1–19 of 19 results for author: Kahng, B

Construction of a $C^*$-algebraic quantum groupoid from a weak multiplier Hopf algebra

Authors: Byung-Jay Kahng

Abstract: Van Daele and Wang developed a purely algebraic notion of weak multiplier Hopf algebras, which extends the notions of Hopf algebras, multiplier Hopf algebras, and weak Hopf algebras. With an additional requirement of an existence of left or right integrals, this framework provides a self-dual class of algebraic quantum groupoids. The aim of this paper is to show that from this purely algebraic dat… ▽ More Van Daele and Wang developed a purely algebraic notion of weak multiplier Hopf algebras, which extends the notions of Hopf algebras, multiplier Hopf algebras, and weak Hopf algebras. With an additional requirement of an existence of left or right integrals, this framework provides a self-dual class of algebraic quantum groupoids. The aim of this paper is to show that from this purely algebraic data, with only some relatively minimal additional requirements (``quasi-invariance''), one can construct a $C^*$-algebraic quantum groupoid of separable type, recently defined by the author with Van Daele. The $C^*$-algebraic quantum groupoid is represented as an operator algebra on the Hilbert space constructed from the left integral, and the comultiplication is determined by means of a certain multiplicative partial isometry $W$, which is no longer unitary. In the last section (Appendix), we obtain some results in the purely algebraic setting, which have not appeared elsewhere. △ Less

Submitted 24 June, 2023; v1 submitted 17 September, 2021; originally announced September 2021.

Multiplicative partial isometries and C*-algebraic quantum groupoids

Authors: Byung-Jay Kahng

Abstract: Generalizing the notion of a multiplicative unitary (in the sense of Baaj-Skandalis), which plays a fundamental role in the theory of locally compact quantum groups, we develop in this paper the notion of a multiplicative partial isometry. The axioms include the pentagon equation, but more is needed. Under suitable conditions (such as the "manageability"), it is possible to construct from it a pai… ▽ More Generalizing the notion of a multiplicative unitary (in the sense of Baaj-Skandalis), which plays a fundamental role in the theory of locally compact quantum groups, we develop in this paper the notion of a multiplicative partial isometry. The axioms include the pentagon equation, but more is needed. Under suitable conditions (such as the "manageability"), it is possible to construct from it a pair of C*-algebras having the structure of a C*-algebraic quantum groupoid of separable type. △ Less

Submitted 12 March, 2022; v1 submitted 5 February, 2020; originally announced February 2020.

Comments: Revisions made from V1: Updated assumptions, new proofs, some new results. From V3, a correction made on the fullness assumption on W

MSC Class: 46L67; 20G42; 46L51; 16T20; 22A22

A class of C*-algebraic locally compact quantum groupoids Part II: Main theory

Authors: Byung-Jay Kahng, Alfons Van Daele

Abstract: This is Part II in our multi-part series of papers developing the theory of a subclass of locally compact quantum groupoids ("quantum groupoids of separable type"), based on the purely algebraic notion of weak multiplier Hopf algebras. The definition was given in Part I. The existence of a certain canonical idempotent element $E$ plays a central role. In this Part II, we develop the main theory, d… ▽ More This is Part II in our multi-part series of papers developing the theory of a subclass of locally compact quantum groupoids ("quantum groupoids of separable type"), based on the purely algebraic notion of weak multiplier Hopf algebras. The definition was given in Part I. The existence of a certain canonical idempotent element $E$ plays a central role. In this Part II, we develop the main theory, discussing the structure of our quantum groupoids. We will construct from the defining axioms the right/left regular representations and the antipode map. △ Less

Submitted 20 August, 2019; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: Some minor revisions made; Bibliography updated

MSC Class: 46L65; 46L51; 81R50; 16T05; 22A22

Journal ref: Advances in Mathematics, vol 354 (2019) 106761

A class of C*-algebraic locally compact quantum groupoids Part I. Motivation and definition

Authors: Byung-Jay Kahng, Alfons Van Daele

Abstract: In this series of papers, we develop the theory of a class of locally compact quantum groupoids, which is motivated by the purely algebraic notion of weak multiplier Hopf algebras. In this Part I, we provide motivation and formulate the definition in the C*-algebra framework. Existence of a certain canonical idempotent element is required and it plays a fundamental role, including the establishmen… ▽ More In this series of papers, we develop the theory of a class of locally compact quantum groupoids, which is motivated by the purely algebraic notion of weak multiplier Hopf algebras. In this Part I, we provide motivation and formulate the definition in the C*-algebra framework. Existence of a certain canonical idempotent element is required and it plays a fundamental role, including the establishment of the coassociativity of the comultiplication. This class contains locally compact quantum groups as a subclass. △ Less

Submitted 31 October, 2017; originally announced November 2017.

MSC Class: 46L65; 46L51; 81R50; 16T05; 22A22

Separability idempotents in C*-algebras

Authors: Byung-Jay Kahng, Alfons Van Daele

Abstract: In this paper, we study the notion of a separability idempotent in the C*-algebra framework. This is analogous to the notion in the purely algebraic setting, typically considered in the case of (finite-dimensional) algebras with identity, then later also considered in the multiplier algebra framework by the second-named author. The current work was motivated by the appearance of such objects in th… ▽ More In this paper, we study the notion of a separability idempotent in the C*-algebra framework. This is analogous to the notion in the purely algebraic setting, typically considered in the case of (finite-dimensional) algebras with identity, then later also considered in the multiplier algebra framework by the second-named author. The current work was motivated by the appearance of such objects in the authors' ongoing work on locally compact quantum groupoids. △ Less

Submitted 25 September, 2017; v1 submitted 14 September, 2016; originally announced September 2016.

Comments: Some updates made in sections 4 and 5; Corrected typos; Accepted to appear in Journal of Noncommutative Geometry

MSC Class: 16T05; 46L89; 46L51

The Larson-Sweedler theorem for weak multiplier Hopf algebras

Authors: Byung-Jay Kahng, Alfons Van Daele

Abstract: The Larson-Sweedler theorem says that a finite-dimensional bialgebra with a faithful integral is a Hopf algebra. The result has been generalized to finite-dimensional weak Hopf algebras by Vecsernyés. In this paper, we show that the result is still true for weak multiplier Hopf algebras. The notion of a weak multiplier bialgebra was introduced by Böhm, Gómez-Torrecillas and López-Centella. In this… ▽ More The Larson-Sweedler theorem says that a finite-dimensional bialgebra with a faithful integral is a Hopf algebra. The result has been generalized to finite-dimensional weak Hopf algebras by Vecsernyés. In this paper, we show that the result is still true for weak multiplier Hopf algebras. The notion of a weak multiplier bialgebra was introduced by Böhm, Gómez-Torrecillas and López-Centella. In this note it is shown that a weak multiplier bialgebra with a regular and full coproduct is a regular weak multiplier Hopf algebra if there is a faithful set of integrals. This result is important for the development of the theory of locally compact quantum groupoids in the operator algebra setting. Our treatment of this material is motivated by the prospect of such a theory. △ Less

Submitted 1 March, 2016; v1 submitted 2 June, 2014; originally announced June 2014.

MSC Class: 16T05; 16T10

Dual Perfect Bases and dual perfect graphs

Authors: Byeong Hoon Kahng, Seok-Jin Kang, Masaki Kashiwara, Uhi Rinn Suh

Abstract: We introduce the notion of dual perfect bases and dual perfect graphs. We show that every integrable highest weight module $V_q(λ)$ over a quantum generalized Kac-Moody algebra $U_{q}(\mathcal{g})$ has a dual perfect basis and its dual perfect graph is isomorphic to the crystal $B(λ)$. We also show that the negative half $U_{q}^{-}(\mathcal{g})$ has a dual perfect basis whose dual perfect graph is… ▽ More We introduce the notion of dual perfect bases and dual perfect graphs. We show that every integrable highest weight module $V_q(λ)$ over a quantum generalized Kac-Moody algebra $U_{q}(\mathcal{g})$ has a dual perfect basis and its dual perfect graph is isomorphic to the crystal $B(λ)$. We also show that the negative half $U_{q}^{-}(\mathcal{g})$ has a dual perfect basis whose dual perfect graph is isomorphic to the crystal $B(\infty)$. More generally, we prove that all the dual perfect graphs of a given dual perfect space are isomorphic as abstract crystals. Finally, we show that the isomorphism classes of finitely generated graded projective indecomposable modules over a Khovanov-Lauda-Rouquier algebra and its cyclotomic quotients form dual perfect bases for their Grothendieck groups. △ Less

Submitted 8 May, 2014; originally announced May 2014.

A (2n+1)-dimensional quantum group constructed from a skew-symmetric matrix

Authors: Byung-Jay Kahng

Abstract: Beginning with a skew-symmetric matrix, we define a certain Poisson--Lie group. Its Poisson bracket can be viewed as a cocycle perturbation of the linear (or "Lie-Poisson") Poisson bracket. By analyzing this Poisson structure, we gather enough information to construct a C*-algebraic locally compact quantum group, via the "cocycle bicrossed product construction" method. The quantum group thus obtai… ▽ More Beginning with a skew-symmetric matrix, we define a certain Poisson--Lie group. Its Poisson bracket can be viewed as a cocycle perturbation of the linear (or "Lie-Poisson") Poisson bracket. By analyzing this Poisson structure, we gather enough information to construct a C*-algebraic locally compact quantum group, via the "cocycle bicrossed product construction" method. The quantum group thus obtained is shown to be a deformation quantization of the Poisson-Lie group, in the sense of Rieffel. △ Less

Submitted 9 June, 2011; originally announced June 2011.

MSC Class: 46L65; 53D17; 81R50

Twisting of the Quantum double and the Weyl algebra

Authors: Byung-Jay Kahng

Abstract: Quantum double construction, originally due to Drinfeld and has been since generalized even to the operator algebra framework, is naturally associated with a certain (quasitriangular) $R$-matrix ${\mathcal R}$. It turns out that ${\mathcal R}$ determines a twisting of the comultiplication on the quantum double. It then suggests a twisting of the algebra structure on the dual of the quantum doubl… ▽ More Quantum double construction, originally due to Drinfeld and has been since generalized even to the operator algebra framework, is naturally associated with a certain (quasitriangular) $R$-matrix ${\mathcal R}$. It turns out that ${\mathcal R}$ determines a twisting of the comultiplication on the quantum double. It then suggests a twisting of the algebra structure on the dual of the quantum double. For $D(G)$, the $C^*$-algebraic quantum double of an ordinary group $G$, the "twisted $\hat{D(G)}$" turns out to be the Weyl algebra $C_0(G)\times_τG$, which is in turn isomorphic to ${\mathcal K}(L^2(G))$. This is the $C^*$-algebraic counterpart to an earlier (finite-dimensional) result by Lu. It is not so easy technically to extend this program to the general locally compact quantum group case, but we propose here some possible approaches, using the notion of the (generalized) Fourier transform. △ Less

Submitted 31 August, 2008; originally announced September 2008.

Fourier transform on locally compact quantum groups

Authors: Byung-Jay Kahng

Abstract: The notion of Fourier transform is among the more important tools in analysis, which has been generalized in abstract harmonic analysis to the level of abelian locally compact groups. The aim of this paper is to further generalize the Fourier transform: Motivated by some recent works by Van Daele in the multiplier Hopf algebra framework, and by using the Haar weights, we define here the (general… ▽ More The notion of Fourier transform is among the more important tools in analysis, which has been generalized in abstract harmonic analysis to the level of abelian locally compact groups. The aim of this paper is to further generalize the Fourier transform: Motivated by some recent works by Van Daele in the multiplier Hopf algebra framework, and by using the Haar weights, we define here the (generalized) Fourier transform and the inverse Fourier transform, at the level of locally compact quantum groups. We will then consider the analogues of the Fourier inversion theorem, Plancherel theorem, and the convolution product. Along the way, we also obtain an alternative description of the dual pairing map between a quantum group and its dual. △ Less

Submitted 22 August, 2007; originally announced August 2007.

Comments: 19 pages

Quantizations of some Poisson-Lie groups: The bicrossed product construction

Authors: Byung-Jay Kahng

Abstract: By working with several specific Poisson-Lie groups arising from Heisenberg Lie bialgebras and by carrying out their quantizations, a case is made for a useful but simple method of constructing locally compact quantum groups. The strategy is to analyze and collect enough information from a Poisson-Lie group, and using it to carry out a ``cocycle bicrossed product construction''. Constructions ar… ▽ More By working with several specific Poisson-Lie groups arising from Heisenberg Lie bialgebras and by carrying out their quantizations, a case is made for a useful but simple method of constructing locally compact quantum groups. The strategy is to analyze and collect enough information from a Poisson-Lie group, and using it to carry out a ``cocycle bicrossed product construction''. Constructions are done using multiplicative unitary operators, obtaining C*-algebraic, locally compact quantum (semi-)groups. △ Less

Submitted 1 October, 2004; v1 submitted 1 October, 2004; originally announced October 2004.

Comments: 26 pages

Quantum double construction in the C*-algebra setting of certain Heisenberg-type quantum groups

Authors: Byung-Jay Kahng

Abstract: In this paper, we carry out the ``quantum double construction'' of the specific quantum groups we constructed earlier, namely, the ``quantum Heisenberg group algebra'' (A,Δ) and its dual, the ``quantum Heisenberg group'' (\hat{A},\hatΔ). Our approach will be by constructing a suitable multiplicative unitary operator. In this way, we are able to retain the C*-algebra framework, and thus able to c… ▽ More In this paper, we carry out the ``quantum double construction'' of the specific quantum groups we constructed earlier, namely, the ``quantum Heisenberg group algebra'' (A,Δ) and its dual, the ``quantum Heisenberg group'' (\hat{A},\hatΔ). Our approach will be by constructing a suitable multiplicative unitary operator. In this way, we are able to retain the C*-algebra framework, and thus able to carry out our construction within the category of locally compact quantum groups. This construction is a kind of a generalized crossed product. To establish that the quantum double we obtain is indeed a locally compact quantum group, we will also discuss the dual of the quantum double and the Haar weights on both of these double objects. Towards the end, we also include a construction of a (quasitriangular) ``quantum universal R-matrix''. △ Less

Submitted 13 May, 2004; originally announced May 2004.

Comments: 33 pages

Asymmetric binary covering codes

Authors: Joshua N. Cooper, Robert B. Ellis, Andrew B. Kahng

Abstract: An asymmetric binary covering code of length n and radius R is a subset C of the n-cube Q_n such that every vector x in Q_n can be obtained from some vector c in C by changing at most R 1's of c to 0's, where R is as small as possible. K^+(n,R) is defined as the smallest size of such a code. We show K^+(n,R) is of order 2^n/n^R for constant R, using an asymmetric sphere-covering bound and probab… ▽ More An asymmetric binary covering code of length n and radius R is a subset C of the n-cube Q_n such that every vector x in Q_n can be obtained from some vector c in C by changing at most R 1's of c to 0's, where R is as small as possible. K^+(n,R) is defined as the smallest size of such a code. We show K^+(n,R) is of order 2^n/n^R for constant R, using an asymmetric sphere-covering bound and probabilistic methods. We show K^+(n,n-R')=R'+1 for constant coradius R' iff n>=R'(R'+1)/2. These two results are extended to near-constant R and R', respectively. Various bounds on K^+ are given in terms of the total number of 0's or 1's in a minimal code. The dimension of a minimal asymmetric linear binary code ([n,R]^+ code) is determined to be min(0,n-R). We conclude by discussing open problems and techniques to compute explicit values for K^+, giving a table of best known bounds. △ Less

Submitted 4 September, 2003; originally announced September 2003.

Comments: 16 pages

MSC Class: 94B75

Journal ref: J. Combin. Theory Ser. A 100 (2002), no. 2, 232--249

Construction of a quantum Heisenberg group

Authors: Byung-Jay Kahng

Abstract: In this paper, we give a construction of a (C*-algebraic) quantum Heisenberg group. This is done by viewing it as the dual quantum group of the specific non-compact quantum group (A,Δ) constructed earlier by the author. Our definition of the quantum Heisenberg group is different from the one considered earlier by Van Daele. To establish our object of study as a locally compact quantum group, we… ▽ More In this paper, we give a construction of a (C*-algebraic) quantum Heisenberg group. This is done by viewing it as the dual quantum group of the specific non-compact quantum group (A,Δ) constructed earlier by the author. Our definition of the quantum Heisenberg group is different from the one considered earlier by Van Daele. To establish our object of study as a locally compact quantum group, we also give a discussion on its Haar weight, which is no longer a trace. In the latter part of the paper, we give some additional discussion on the duality mentioned above. △ Less

Submitted 5 May, 2004; v1 submitted 9 July, 2003; originally announced July 2003.

Comments: 22 pages

MSC Class: 46L65

Dressing orbits and a quantum Heisenberg group algebra

Authors: Byung-Jay Kahng

Abstract: In this paper, as a generalization of Kirillov's orbit theory, we explore the relationship between the dressing orbits and irreducible *-representations of the Hopf C*-algebras (A,Δ) and (\tilde{A}, \tildeΔ) we constructed earlier. We discuss the one-to-one correspondence between them, including their topological aspects. On each dressing orbit (which are symplectic leaves of the underlying Po… ▽ More In this paper, as a generalization of Kirillov's orbit theory, we explore the relationship between the dressing orbits and irreducible *-representations of the Hopf C*-algebras (A,Δ) and (\tilde{A}, \tildeΔ) we constructed earlier. We discuss the one-to-one correspondence between them, including their topological aspects. On each dressing orbit (which are symplectic leaves of the underlying Poisson structure), one can define a Moyal-type deformed product at the function level. The deformation is more or less modeled by the irreducible representation corresponding to the orbit. We point out that the problem of finding a direct integral decomposition of the regular representation into irreducibles (Plancherel theorem) has an interesting interpretation in terms of these deformed products. △ Less

Submitted 5 May, 2004; v1 submitted 31 October, 2002; originally announced November 2002.

Comments: 25 pages, 1 figure

Haar measure on a locally compact quantum group

Authors: Byung-Jay Kahng

Abstract: In the general theory of locally compact quantum groups, the notion of Haar measure (Haar weight) plays the most significant role. The aim of this paper is to carry out a careful analysis regarding Haar weight, in relation to general theory, for the specific non-compact quantum group (A,Δ) constructed earlier by the author. In this way, one can show that (A,Δ) is indeed a ``(C*-algebraic) locall… ▽ More In the general theory of locally compact quantum groups, the notion of Haar measure (Haar weight) plays the most significant role. The aim of this paper is to carry out a careful analysis regarding Haar weight, in relation to general theory, for the specific non-compact quantum group (A,Δ) constructed earlier by the author. In this way, one can show that (A,Δ) is indeed a ``(C*-algebraic) locally compact quantum group'' in the sense of the recently developed definition given by Kustermans and Vaes. Attention will be given to pointing out the relationship between the original construction (obtained by deformation quantization) and the structure maps suggested by general theory. △ Less

Submitted 5 May, 2004; v1 submitted 31 October, 2002; originally announced November 2002.

Comments: 28 pages

MSC Class: 46L65; 46L51; 81R50

*-Representations of a Quantum Heisenberg Group Algebra

Authors: Byung-Jay Kahng

Abstract: In our earlier work, we constructed a specific non-compact quantum group whose quantum group structures have been constructed on a certain twisted group C*-algebra. In a sense, it may be considered as a ``quantum Heisenberg group C*-algebra''. In this paper, we will find, up to equivalence, all of its irreducible *-representations. We will point out the Kirillov type correspondence between the i… ▽ More In our earlier work, we constructed a specific non-compact quantum group whose quantum group structures have been constructed on a certain twisted group C*-algebra. In a sense, it may be considered as a ``quantum Heisenberg group C*-algebra''. In this paper, we will find, up to equivalence, all of its irreducible *-representations. We will point out the Kirillov type correspondence between the irreducible representations and the so-called ``dressing orbits''. By taking advantage of its comultiplication, we will then introduce and study the notion of ``inner tensor product representations''. We will show that the representation theory satisfies a ``quasitriangular'' type property, which does not appear in ordinary group representation theory. △ Less

Submitted 5 July, 2000; v1 submitted 8 December, 1998; originally announced December 1998.

Comments: AMS LaTeX, 24 pages. Revised from the previous version

MSC Class: 46L87; 81R50; 22D25

Non-compact quantum groups arising from Heisenberg type Lie bialgebras

Authors: Byung-Jay Kahng

Abstract: The dual Lie bialgebra of a certain ``quasitriangular'' Lie bialgebra structure on the Heisenberg Lie algebra determines a (non-compact) Poisson--Lie group G. The compatible Poisson bracket on G is non-linear, but it can still be realized as a ``cocycle perturbation'' of the linear Poisson bracket. We construct a certain twisted group C*-algebra A, which is shown to be a strict deformation quant… ▽ More The dual Lie bialgebra of a certain ``quasitriangular'' Lie bialgebra structure on the Heisenberg Lie algebra determines a (non-compact) Poisson--Lie group G. The compatible Poisson bracket on G is non-linear, but it can still be realized as a ``cocycle perturbation'' of the linear Poisson bracket. We construct a certain twisted group C*-algebra A, which is shown to be a strict deformation quantization of G. Motivated by the data at the Poisson (classical) level, we then construct on A its locally compact quantum group structures: comultiplication, counit, antipode and Haar weight, as well as its associated multiplicative unitary operator. We also find a quasitriangular ``quantum universal R-matrix'' type operator for A, which agrees well with the quasitriangularity at the Lie bialgebra level. △ Less

Submitted 8 October, 1999; v1 submitted 3 April, 1998; originally announced April 1998.

Comments: AMS LaTeX (36 pages), Revised version of previous math.OA9804019; to appear in J. Operator Theory

MSC Class: 46L87 81R50 22D25

Deformation Quantization of Certain Non-linear Poisson Structures

Authors: Byung-Jay Kahng

Abstract: As a generalization of the linear Poisson bracket on the dual space of a Lie algebra, we introduce certain non-linear Poisson brackets which are ``cocycle perturbations'' of the linear Poisson bracket. We show that these special Poisson brackets are equivalent to Poisson brackets of central extension type, which resemble the central extensions of an ordinary Lie bracket via Lie algebra cocycles.… ▽ More As a generalization of the linear Poisson bracket on the dual space of a Lie algebra, we introduce certain non-linear Poisson brackets which are ``cocycle perturbations'' of the linear Poisson bracket. We show that these special Poisson brackets are equivalent to Poisson brackets of central extension type, which resemble the central extensions of an ordinary Lie bracket via Lie algebra cocycles. We are able to formulate (strict) deformation quantizations of these Poisson brackets by means of twisted group C*-algebras. We also indicate that these deformation quantizations can be used to construct some specific non-compact quantum groups. △ Less

Submitted 6 February, 1998; originally announced February 1998.

Comments: AMS-LaTeX v1.2, 26 pages, to appear in International Journal of Mathematics

MSC Class: 46L87 (Primary) 58F05; 22D25