SearcharxivSearch

arXiv subjects

Lars Tuset

Publications and source records attributed to Lars Tuset.

At least 19 recordsLinked to original sources

Kohn--Nirenberg quantization of the affine group and related examples

We show how to construct unitary dual $2$-cocycles for a class of semidirect products that exhibit many similarities with the affine group ${\rm Aff}(V)=\GL(V)\ltimes V$ of a finite dimensional vector space over a local skew field. The primary source of examples comes from Lie groups whose Lie algebras are Frobenius seaweeds. The construction builds on our earlier results and relies heavily on representation theory and an associated quantization procedure of Kohn--Nirenberg type. On the technical side, the key point is the observation that any semidirect product $G=H\ltimes V$ in our class can be presented as a double crossed product $G=P\bowtie N$ with respect to which the unique square-integrable irreducible representation of $G$ takes a particularly nice form. The Kohn--Nirenberg quantization that we construct is intimately related to a scalar Fourier transform $\CF\colon L^2(N)\to L^2(P)$ intertwining the left regular representations of $P$ and $N$ with representations defined by the dressing transformations.

math.OA

An integral formula for Lie groups, and the Mathieu conjecture reduced to Abelian non-Lie conjectures

We present an explicit integration formula for the Haar integral on a compact connected Lie group. This formula relies on a known decomposition of a compact connected simple Lie group into symplectic leaves, when one views the group as a Poisson Lie group. In this setting the Haar integral is constructed using the Kostant harmonic volume form on the corresponding flag manifold, and explicit coordinates are known for these invariant differential forms. The formula obtained is related to one found by Reshetikhin-Yakimov. Using our integration formula, we reduce the Mathieu conjecture to two stronger conjectures about Laurent polynomials in several complex variables with polynomial coefficients in several real variable polynomials. In these stronger conjectures there is no reference to Lie group theory.

math.GR

Quantization of locally compact groups associated with essentially bijective $1$-cocycles

Given an extension $0\to V\to G\to Q\to1$ of locally compact groups, with $V$ abelian, and a compatible essentially bijective $1$-cocycle $\eta\colon Q\to\hat V$, we define a dual unitary $2$-cocycle on $G$ and show that the associated deformation of $\hat G$ is a cocycle bicrossed product defined by a matched pair of subgroups of $Q\ltimes\hat V$. We also discuss an interpretation of our construction from the point of view of Kac cohomology for matched pairs. Our setup generalizes that of Etingof and Gelaki for finite groups and its extension due to Ben David and Ginosar, as well as our earlier work on locally compact groups satisfying the dual orbit condition. In particular, we get a locally compact quantum group from every involutive nondegenerate set-theoretical solution of the Yang--Baxter equation, or more generally, from every brace structure. On the technical side, the key new points are constructions of an irreducible projective representation of $G$ on $L^2(Q)$ and a unitary quantization map $L^2(G)\to{\rm HS}(L^2(Q))$ of Kohn--Nirenberg type.

math.OA

Comparison of quantizations of symmetric spaces: cyclotomic Knizhnik-Zamolodchikov equations and Letzter-Kolb coideals

We establish an equivalence between two approaches to quantization of irreducible symmetric spaces of compact type within the framework of quasi-coactions, one based on the Enriquez-Etingof cyclotomic Knizhnik-Zamolodchikov (KZ) equations and the other on the Letzter-Kolb coideals. This equivalence can be upgraded to that of ribbon braided quasi-coactions, and then the associated reflection operators (K-matrices) become a tangible invariant of the quantization. As an application we obtain a Kohno-Drinfeld type theorem on type B braid group representations defined by the monodromy of KZ-equations and by the Balagovi\'c-Kolb universal K-matrices. The cases of Hermitian and non-Hermitian symmetric spaces are significantly different. In particular, in the latter case a quasi-coaction is essentially unique, while in the former we show that there is a one-parameter family of mutually nonequivalent quasi-coactions.

math.QA

On the moments of a polynomial in one variable

Let $f$ be a non-zero polynomial with complex coefficients and define $M_n(f)=\int_0^1f(x)^n\,dx$. We use ideas of Duistermaat and van der Kallen to prove $\limsup_{n\rightarrow\infty}|M_n(f)|^{1/n}>0$. In particular, $M_n(f)\ne 0$ for infinitely many $n\in{\mathbb N}$.

math.CV

Quantization of subgroups of the affine group

Consider a locally compact group $G=Q\ltimes V$ such that $V$ is abelian and the action of $Q$ on the dual abelian group $\hat V$ has a free orbit of full measure. We show that such a group $G$ can be quantized in three equivalent ways: (1) by reflecting across the Galois object defined by the canonical irreducible representation of $G$ on $L^2(V)$; (2) by twisting the coproduct on the group von Neumann algebra of $G$ by a dual $2$-cocycle obtained from the $G$-equivariant Kohn-Nirenberg quantization of $V\times\hat V$; (3) by considering the bicrossed product defined by a matched pair of subgroups of $Q\ltimes\hat V$ both isomorphic to $Q$. In the simplest case of the $ax+b$ group over the reals, the dual cocycle in (2) is an analytic analogue of the Jordanian twist. It was first found by Stachura using different ideas. The equivalence of approaches (2) and (3) in this case implies that the quantum $ax+b$ group of Baaj-Skandalis is isomorphic to the quantum group defined by Stachura. Along the way we prove a number of results for arbitrary locally compact groups $G$. Using recent results of De Commer we show that a class of $G$-Galois objects is parametrized by certain cohomology classes in $H^2(G;\mathbb T)$. This extends results of Wassermann and Davydov in the finite group case. A new phenomenon is that already the unit class in $H^2(G;\mathbb T)$ can correspond to a nontrivial Galois object. Specifically, we show that any nontrivial locally compact group $G$ with group von Neumann algebra a factor of type I admits a canonical cohomology class of dual $2$-cocycles such that the corresponding quantization of $G$ is neither commutative nor cocommutative.

math.OA

Ribbon braided module categories, quantum symmetric pairs and Knizhnik-Zamolodchikov equations

Let $\mathfrak u$ be a compact semisimple Lie algebra, and $\sigma$ be a Lie algebra involution of $\mathfrak u$. Let Rep$_q(\mathfrak u)$ be the ribbon braided tensor C*-category of $U_q(\mathfrak u)$-representations for $0<q<1$. We introduce three module C*-categories over Rep$_q(\mathfrak u)$ starting from the input data $(\mathfrak u,\sigma)$. The first construction is based on the theory of cyclotomic KZ-equations. The second construction uses the notion of quantum symmetric pair as developed by G. Letzter. The third construction uses a variation of Drinfeld twisting. In all three cases the module C*-category is ribbon twist-braided in the sense of A. Brochier---this is essentially due to B. Enriquez in the first case, is proved by S. Kolb in the second case, and is closely related to work of J. Donin, P. Kulish, and A. Mudrov in the third case. We formulate a conjecture concerning equivalence of these ribbon twist-braided module C*-categories, and confirm it in the rank one case.

math.QA

On deformations of C*-algebras by actions of Kahlerian Lie groups

We show that two approaches to equivariant strict deformation quantization of C*-algebras by actions of negatively curved Kahlerian Lie groups, one based on oscillatory integrals and the other on quantizations maps defined by dual 2-cocycles, are equivalent.

math.OA

Deformation of C*-algebras by cocycles on locally compact quantum groups

Given a C*-algebra A with a left action of a locally compact quantum group G on it and a unitary 2-cocycle Omega on \hat G, we define a deformation A_Omega of A. The construction behaves well under certain additional technical assumptions on Omega, the most important of which is regularity, meaning that C_0(G)_Omega\rtimes G is isomorphic to the algebra of compact operators on some Hilbert space. In particular, then A_\Omega is stably isomorphic to the iterated twisted crossed product \hat G^{op}\ltimes_\Omega G\ltimes A. Also, in good situations, the C*-algebra A_\Omega carries a left action of the deformed quantum group G_\Omega and we have an isomorphism G_\Omega\ltimes A_\Omega\cong G\ltimes A. When G is a genuine locally compact group, we show that the action of G on C_0(G)_Omega=C*_r(\hat G;Omega) is always integrable. Stronger assumptions of properness and saturation of the action imply regularity. As an example, we make a preliminary analysis of the cocycles on the duals of some solvable Lie groups recently constructed by Bieliavsky et al., and discuss the relation of our construction to that of Bieliavsky and Gayral.

math.OA

Quantized algebras of functions on homogeneous spaces with Poisson stabilizers

Let G be a simply connected semisimple compact Lie group with standard Poisson structure, K a closed Poisson-Lie subgroup, 0<q<1. We study a quantization C(G_q/K_q) of the algebra of continuous functions on G/K. Using results of Soibelman and Dijkhuizen-Stokman we classify the irreducible representations of C(G_q/K_q) and obtain a composition series for C(G_q/K_q). We describe closures of the symplectic leaves of G/K refining the well-known description in the case of flag manifolds in terms of the Bruhat order. We then show that the same rules describe the topology on the spectrum of C(G_q/K_q). Next we show that the family of C*-algebras C(G_q/K_q), 0<q\le1, has a canonical structure of a continuous field of C*-algebras and provides a strict deformation quantization of the Poisson algebra \C[G/K]. Finally, extending a result of Nagy, we show that C(G_q/K_q) is canonically KK-equivalent to C(G/K).

math.OA

K-homology class of the Dirac operator on a compact quantum group

By a result of Nagy, the C*-algebra of continuous functions on the q-deformation G_q of a simply connected semisimple compact Lie group G is KK-equivalent to C(G). We show that under this equivalence the K-homology class of the Dirac operator on G_q, which we constructed in an earlier paper, corresponds to that of the classical Dirac operator. Along the way we prove that for an appropriate choice of isomorphisms between completions of U_q(g) and U(g) a family of Drinfeld twists relating the deformed and classical coproducts can be chosen to be continuous in q.

math.OA

Autoequivalences of the tensor category of Uq(g)-modules

We prove that for q\in\C* not a nontrivial root of unity the cohomology group defined by invariant 2-cocycles in a completion of Uq(g) is isomorphic to H^2(P/Q;\T), where P and Q are the weight and root lattices of g. This implies that the group of autoequivalences of the tensor category of Uq(g)-modules is the semidirect product of H^2(P/Q;\T) and the automorphism group of the based root datum of g. For q=1 we also obtain similar results for all compact connected separable groups.

math.QA

On second cohomology of duals of compact groups

We show that for any compact connected group G the second cohomology group defined by unitary invariant 2-cocycles on \hat G is canonically isomorphic to H^2(\hat{Z(G)};T). This implies that the group of autoequivalences of the C*-tensor category Rep G is isomorphic to H^2(\hat{Z(G)};T)\rtimes\Out(G). We also show that a compact connected group G is completely determined by Rep G. More generally, extending a result of Etingof-Gelaki and Izumi-Kosaki we describe all pairs of compact separable monoidally equivalent groups. The proofs rely on the theory of ergodic actions of compact groups developed by Landstad and Wassermann and on its algebraic counterpart developed by Etingof and Gelaki for the classification of triangular semisimple Hopf algebras. In two appendices we give a self-contained account of amenability of tensor categories, fusion rings and discrete quantum groups, and prove an analogue of Radford's theorem on minimal Hopf subalgebras of quasitriangular Hopf algebras for compact quantum groups.

math.OA

Symmetric invariant cocycles on the duals of q-deformations

We prove that for q not a nontrivial root of unity any symmetric invariant 2-cocycle for a completion of Uq(g) is the coboundary of a central element. Equivalently, a Drinfeld twist relating the coproducts on completions of Uq(g) and U(g) is unique up to coboundary of a central element. As an application we show that the spectral triple we defined in an earlier paper for the q-deformation of a simply connected semisimple compact Lie group G does not depend on any choices up to unitary equivalence.

math.QA

Notes on the Kazhdan-Lusztig theorem on equivalence of the Drinfeld category and the category of Uq(g)-modules

We discuss the proof of Kazhdan and Lusztig of the equivalence of the Drinfeld category D(g,h) of g-modules and the category of finite dimensional Uq(g)-modules, q=exp(\pi ih), for h\in C\Q*. Aiming at operator algebraists the result is formulated as the existence for each h\in iR of a normalized unitary 2-cochain F on the dual \hat G of a compact simple Lie group G such that the convolution algebra of G with the coproduct twisted by F is *-isomorphic to the convolution algebra of the q-deformation G_q of G, while the coboundary of F^{-1} coincides with Drinfeld's KZ-associator defined via monodromy of the Knizhnik-Zamolodchikov equations.

math.QA

The Dirac operator on compact quantum groups

For the q-deformation G_q, 0<q<1, of any simply connected simple compact Lie group G we construct an equivariant spectral triple which is an isospectral deformation of that defined by the Dirac operator D on G. Our quantum Dirac operator D_q is a unitary twist of D considered as an element of U(g)\otimes Cl(g). The commutator of D_q with a regular function on G_q consists of two parts. One is a twist of a classical commutator and so is automatically bounded. The second is expressed in terms of the commutator of the associator with an extension of D. We show that in the case of the Drinfeld associator the latter commutator is also bounded.

math.OA

Monoids, Embedding Functors and Quantum Groups

We show that the left regular representation \pi_l of a discrete quantum group (A,\Delta) has the absorbing property and forms a monoid (\pi_l,\tilde{m},\tilde{\eta}) in the representation category Rep(A,\Delta). Next we show that an absorbing monoid in an abstract tensor *-category C gives rise to an embedding functor E:C->Vect_C, and we identify conditions on the monoid, satisfied by (\pi_l,\tilde{m},\tilde{\eta}), implying that E is *-preserving. As is well-known, from an embedding functor E: C->\mathrm{Hilb} the generalized Tannaka theorem produces a discrete quantum group (A,\Delta) such that C is equivalent to Rep_f(A,\Delta). Thus, for a C^*-tensor category C with conjugates and irreducible unit the following are equivalent: (1) C is equivalent to the representation category of a discrete quantum group (A,\Delta), (2) C admits an absorbing monoid, (3) there exists a *-preserving embedding functor E: C->\mathrm{Hilb}.

math.QA