Showing 1–50 of 71 results for author: Neshveyev, S

The primitive spectrum of C*-algebras of etale groupoids with abelian isotropy

Authors: Johannes Christensen, Sergey Neshveyev

Abstract: Given a Hausdorff locally compact étale groupoid $\mathcal G$, we describe as a topological space the part of the primitive spectrum of $C^*(\mathcal G)$ obtained by inducing one-dimensional representations of amenable isotropy groups of $\mathcal G$. When $\mathcal G$ is amenable, second countable, with abelian isotropy groups, our result gives the description of… ▽ More Given a Hausdorff locally compact étale groupoid $\mathcal G$, we describe as a topological space the part of the primitive spectrum of $C^*(\mathcal G)$ obtained by inducing one-dimensional representations of amenable isotropy groups of $\mathcal G$. When $\mathcal G$ is amenable, second countable, with abelian isotropy groups, our result gives the description of $\operatorname{Prim} C^*(\mathcal G)$ conjectured by van Wyk and Williams. This, in principle, completely determines the ideal structure of a large class of separable C$^*$-algebras, including the transformation group C$^*$-algebras defined by amenable actions of discrete groups with abelian stabilizers and the C$^*$-algebras of higher rank graphs. △ Less

Submitted 31 May, 2024; v1 submitted 3 May, 2024; originally announced May 2024.

Comments: 29 pages; v2: minor changes and corrections

Crystallization of C*-algebras

Authors: Marcelo Laca, Sergey Neshveyev, Makoto Yamashita

Abstract: Given a C$^*$-algebra $A$ with an almost periodic time evolution $σ$, we define a new C$^*$-algebra $A_c$, which we call the crystal of $(A,σ)$, that represents the zero temperature limit of $(A, σ)$. We prove that there is a one-to-one correspondence between the ground states of $(A,σ)$ and the states on $A_c$, justifying the name. In order to investigate further the relation between low temperat… ▽ More Given a C$^*$-algebra $A$ with an almost periodic time evolution $σ$, we define a new C$^*$-algebra $A_c$, which we call the crystal of $(A,σ)$, that represents the zero temperature limit of $(A, σ)$. We prove that there is a one-to-one correspondence between the ground states of $(A,σ)$ and the states on $A_c$, justifying the name. In order to investigate further the relation between low temperature equilibrium states on $A$ and traces on $A_c$, we define a Fock module $\mathcal F$ over the crystal and construct a vacuum representation of $A$ on $\mathcal F$. This allows us to show, under relatively mild assumptions, that for sufficiently large inverse temperatures $β$ the $σ$-KMS$_β$-states on $A$ are induced from traces on $A_c$ by means of the Fock module. In the second part, we compare the K-theoretic structures of $A$ and $A_c$. Previous work by various authors suggests that they have (rationally) isomorphic K-groups. We analyze this phenomenon in detail, confirming it under favorable conditions, but showing that, in general, there is apparently no easy way to relate these groups. As examples, we discuss in particular Exel's results on semi-saturated circle actions, and recent results of Miller on the K-theory of inverse semigroup C$^*$-algebras. In relation to the latter, we introduce the notion of a scale $N$ on an inverse semigroup $I$ and define a new inverse semigroup $I_c$, which we call the crystal of $(I,N)$. △ Less

Submitted 20 March, 2024; v1 submitted 13 February, 2024; originally announced February 2024.

Comments: 29 pages: v3: minor fixes, references added; v2: minor fixes

KK-duality for the Cuntz-Pimsner algebras of Temperley-Lieb subproduct systems

Authors: Francesca Arici, Dimitris Michail Gerontogiannis, Sergey Neshveyev

Abstract: We prove that the Cuntz-Pimsner algebra of every Temperley-Lieb subproduct system is KK-self-dual. We show also that every such Cuntz-Pimsner algebra has a canonical KMS-state, which we use to construct a Fredholm module representative for the fundamental class of the duality. This allows us to describe the K-homology of the Cuntz-Pimsner algebras by explicit Fredholm modules. Both the constructio… ▽ More We prove that the Cuntz-Pimsner algebra of every Temperley-Lieb subproduct system is KK-self-dual. We show also that every such Cuntz-Pimsner algebra has a canonical KMS-state, which we use to construct a Fredholm module representative for the fundamental class of the duality. This allows us to describe the K-homology of the Cuntz-Pimsner algebras by explicit Fredholm modules. Both the construction of the dual class and the proof of duality rely in a crucial way on quantum symmetries of Temperley-Lieb subproduct systems. In the simplest case of Arveson's $2$-shift our work establishes $U(2)$-equivariant KK-self-duality of $S^3$. △ Less

Submitted 15 February, 2024; v1 submitted 3 January, 2024; originally announced January 2024.

Comments: 20 pages; v2: minor corrections

MSC Class: 46L52; 46L67; 46L85 (primary); 19K35 (secondary)

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

Authors: Pierre Bieliavsky, Victor Gayral, Sergey Neshveyev, Lars Tuset

Abstract: 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 $η\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 constructio… ▽ More 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 $η\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. △ Less

Submitted 1 December, 2023; originally announced December 2023.

Comments: 23 pages

Isotropy fibers of ideals in groupoid C$^{*}$-algebras

Authors: Johannes Christensen, Sergey Neshveyev

Abstract: Given a locally compact étale groupoid and an ideal $I$ in its groupoid C$^*$-algebra, we show that $I$ defines a family of ideals in group C$^*$-algebras of the isotropy groups and then study to which extent $I$ is determined by this family. As an application we obtain the following results: (a) prove that every proper ideal is contained in an induced primitive ideal; (b) describe the maximal ide… ▽ More Given a locally compact étale groupoid and an ideal $I$ in its groupoid C$^*$-algebra, we show that $I$ defines a family of ideals in group C$^*$-algebras of the isotropy groups and then study to which extent $I$ is determined by this family. As an application we obtain the following results: (a) prove that every proper ideal is contained in an induced primitive ideal; (b) describe the maximal ideals; (c) classify the primitive ideals for a class of graded groupoids with essentially central isotropy. △ Less

Submitted 31 May, 2024; v1 submitted 21 August, 2023; originally announced August 2023.

Comments: 22 pages; v3: minor corrections; to appear in Adv. Math. v2: Minor corrections and improvements, and a new section has been added with a new result on fibers of the singular ideal

Cocycle twisting of semidirect products and transmutation

Authors: Erik Habbestad, Sergey Neshveyev

Abstract: We apply Majid's transmutation procedure to Hopf algebra maps $H \to \mathbb C[T]$, where $T$ is a compact abelian group, and explain how this construction gives rise to braided Hopf algebras over quotients of $T$ by subgroups that are cocentral in $H$. This allows us to unify and generalize a number of recent constructions of braided compact quantum groups, starting from the braided $SU_q(2)$ qua… ▽ More We apply Majid's transmutation procedure to Hopf algebra maps $H \to \mathbb C[T]$, where $T$ is a compact abelian group, and explain how this construction gives rise to braided Hopf algebras over quotients of $T$ by subgroups that are cocentral in $H$. This allows us to unify and generalize a number of recent constructions of braided compact quantum groups, starting from the braided $SU_q(2)$ quantum group, and describe their bosonizations. △ Less

Submitted 18 January, 2024; v1 submitted 2 April, 2023; originally announced April 2023.

Comments: 22 pages; v3: some corrections, classification of braided free orthogonal quantum groups up to isomorphism added; v2: minor corrections and improvements, a discussion of Mrozinski's quantum groups added

Subproduct systems with quantum group symmetry. II

Authors: Erik Habbestad, Sergey Neshveyev

Abstract: We complete our analysis of the Temperley-Lieb subproduct systems, which define quantum analogues of Arveson's $2$-shift, by extending the main results of the previous paper to the general parameter case. Specifically, we show that the associated Toeplitz algebras are nuclear, find complete sets of relations for them, prove that they are equivariantly $KK$-equivalent to $\mathbb C$ and compute the… ▽ More We complete our analysis of the Temperley-Lieb subproduct systems, which define quantum analogues of Arveson's $2$-shift, by extending the main results of the previous paper to the general parameter case. Specifically, we show that the associated Toeplitz algebras are nuclear, find complete sets of relations for them, prove that they are equivariantly $KK$-equivalent to $\mathbb C$ and compute the $K$-theory of the associated Cuntz-Pimsner algebras. A key role is played by quantum symmetry groups, first studied by Mrozinski, preserving Temperley-Lieb polynomials up to rescaling, and their monoidal equivalence to $U_q(2)$. △ Less

Submitted 16 December, 2022; originally announced December 2022.

Comments: 23 pages

Non-Hausdorff etale groupoids and C*-algebras of left cancellative monoids

Authors: Sergey Neshveyev, Gaute Schwartz

Abstract: We study the question whether the representations defined by a dense subset of the unit space of a locally compact étale groupoid are enough to determine the reduced norm on the groupoid C$^*$-algebra. We present sufficient conditions for either conclusion, giving a complete answer when the isotropy groups are torsion-free. As an application we consider the groupoid $G(S)$ associated to a left can… ▽ More We study the question whether the representations defined by a dense subset of the unit space of a locally compact étale groupoid are enough to determine the reduced norm on the groupoid C$^*$-algebra. We present sufficient conditions for either conclusion, giving a complete answer when the isotropy groups are torsion-free. As an application we consider the groupoid $G(S)$ associated to a left cancellative monoid $S$ by Spielberg and formulate a sufficient condition, which we call C$^*$-regularity, for the canonical map $C^*_r(G(S))\to C^*_r(S)$ to be an isomorphism, in which case $S$ has a well-defined full semigroup C$^*$-algebra $C^*(S)=C^*(G(S))$. We give two related examples of left cancellative monoids $S$ and $T$ such that both are not finitely aligned and have non-Hausdorff associated étale groupoids, but $S$ is C$^*$-regular, while $T$ is not. △ Less

Submitted 9 January, 2023; v1 submitted 26 January, 2022; originally announced January 2022.

Comments: 23 pages; v3: minor changes, more references, last section split in two v2: typos corrected, minor changes

Subproduct systems with quantum group symmetry

Authors: Erik Habbestad, Sergey Neshveyev

Abstract: We introduce a class of subproduct systems of finite dimensional Hilbert spaces whose fibers are defined by the Jones-Wenzl projections in Temperley-Lieb algebras. The quantum symmetries of a subclass of these systems are the free orthogonal quantum groups. For this subclass, we show that the corresponding Toeplitz algebras are nuclear C$^*$-algebras that are $KK$-equivalent to $\mathbb C$ and obt… ▽ More We introduce a class of subproduct systems of finite dimensional Hilbert spaces whose fibers are defined by the Jones-Wenzl projections in Temperley-Lieb algebras. The quantum symmetries of a subclass of these systems are the free orthogonal quantum groups. For this subclass, we show that the corresponding Toeplitz algebras are nuclear C$^*$-algebras that are $KK$-equivalent to $\mathbb C$ and obtain a complete list of generators and relations for them. We also show that their gauge-invariant subalgebras coincide with the algebras of functions on the end compactifications of the duals of the free orthogonal quantum groups. Along the way we prove a few general results on equivariant subproduct systems, in particular, on the behavior of the Toeplitz and Cuntz-Pimsner algebras under monoidal equivalence of quantum symmetry groups. △ Less

Submitted 21 November, 2021; originally announced November 2021.

Comments: 22 pages

Noncommutative Poisson boundaries and Furstenberg-Hamana boundaries of Drinfeld doubles

Authors: Erik Habbestad, Lucas Hataishi, Sergey Neshveyev

Abstract: We clarify the relation between noncommutative Poisson boundaries and Furstenberg-Hamana boundaries of quantum groups. Specifically, given a compact quantum group $G$, we show that in many cases where the Poisson boundary of the dual discrete quantum group $\hat G$ has been computed, the underlying topological boundary either coincides with the Furstenberg-Hamana boundary of the Drinfeld double… ▽ More We clarify the relation between noncommutative Poisson boundaries and Furstenberg-Hamana boundaries of quantum groups. Specifically, given a compact quantum group $G$, we show that in many cases where the Poisson boundary of the dual discrete quantum group $\hat G$ has been computed, the underlying topological boundary either coincides with the Furstenberg-Hamana boundary of the Drinfeld double $D(G)$ of $G$ or is a quotient of it. This includes the $q$-deformations of compact Lie groups, free orthogonal and free unitary quantum groups, quantum automorphism groups of finite dimensional C$^*$-algebras. In particular, the boundary of $D(G_q)$ for the $q$-deformation of a compact connected semisimple Lie group $G$ is $G_q/T$ (for $q\ne1$), in agreement with the classical results of Furstenberg and Moore on the Furstenberg boundary of $G_{\mathbb C}$. We show also that the construction of the Furstenberg-Hamana boundary of $D(G)$ respects monoidal equivalence and, in fact, can be carried out entirely at the level of the representation category of $G$. This leads to a notion of the Furstenberg-Hamana boundary of a rigid C$^*$-tensor category. △ Less

Submitted 30 June, 2021; v1 submitted 7 May, 2021; originally announced May 2021.

Comments: 32 pages; v2: references and a short discussion of Herz-Schur multipliers added, minor corrections

(Non)exotic completions of the group algebras of isotropy groups

Authors: Johannes Christensen, Sergey Neshveyev

Abstract: Motivated by the problem of characterizing KMS states on the reduced C$^*$-algebras of étale groupoids, we show that the reduced norm on these algebras induces a C$^*$-norm on the group algebras of the isotropy groups. This C$^*$-norm coincides with the reduced norm for the transformation groupoids, but, as follows from examples of Higson-Lafforgue-Skandalis, it can be exotic already for groupoids… ▽ More Motivated by the problem of characterizing KMS states on the reduced C$^*$-algebras of étale groupoids, we show that the reduced norm on these algebras induces a C$^*$-norm on the group algebras of the isotropy groups. This C$^*$-norm coincides with the reduced norm for the transformation groupoids, but, as follows from examples of Higson-Lafforgue-Skandalis, it can be exotic already for groupoids of germs associated with group actions. We show that the norm is still the reduced one for some classes of graded groupoids, in particular, for the groupoids associated with partial actions of groups and the semidirect products of exact groups and groupoids with amenable isotropy groups. △ Less

Submitted 8 June, 2021; v1 submitted 21 December, 2020; originally announced December 2020.

Comments: 20 pages; v2: minor corrections, references updated, a result on Morita equivalent groupoids added; to appear in IMRN

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

Authors: Kenny De Commer, Sergey Neshveyev, Lars Tuset, Makoto Yamashita

Abstract: 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 operat… ▽ More 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ć-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. △ Less

Submitted 6 October, 2020; v1 submitted 13 September, 2020; originally announced September 2020.

Comments: v2: minor changes; v1: 62 pages

The groupoid approach to equilibrium states on right LCM semigroup C*-algebras

Authors: Sergey Neshveyev, Nicolai Stammeier

Abstract: Given a right LCM semigroup $S$ and a homomorphism $N\colon S\to[1,+\infty)$, we use the groupoid approach to study the KMS$_β$-states on $C^*(S)$ with respect to the dynamics induced by $N$. We establish necessary and sufficient conditions for the existence and uniqueness of KMS$_β$-states. As an application, we show that the sufficient condition for the uniqueness obtained for so-called generali… ▽ More Given a right LCM semigroup $S$ and a homomorphism $N\colon S\to[1,+\infty)$, we use the groupoid approach to study the KMS$_β$-states on $C^*(S)$ with respect to the dynamics induced by $N$. We establish necessary and sufficient conditions for the existence and uniqueness of KMS$_β$-states. As an application, we show that the sufficient condition for the uniqueness obtained for so-called generalized scales is necessary as well. Our most complete results are obtained for inverse temperatures $β$ at which the $ζ$-function of $N$ is finite. In this case we get an explicit bijective correspondence between the KMS$_β$-states on $C^*(S)$ and the tracial states on $C^*(\operatorname{ker} N)$. △ Less

Submitted 29 January, 2020; v1 submitted 6 December, 2019; originally announced December 2019.

Comments: 26 pages; v2: a few examples added, minor corrections

Quantization of subgroups of the affine group

Authors: Pierre Bieliavsky, Victor Gayral, Sergey Neshveyev, Lars Tuset

Abstract: 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 N… ▽ More 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. △ Less

Submitted 26 June, 2019; v1 submitted 5 June, 2019; originally announced June 2019.

Comments: 35 pages; v2: minor corrections, more examples and references

KMS states on Nica-Toeplitz C*-algebras

Authors: Zahra Afsar, Nadia S. Larsen, Sergey Neshveyev

Abstract: Given a quasi-lattice ordered group $(G,P)$ and a compactly aligned product system $X$ of essential C$^*$-correspondences over the monoid $P$, we show that there is a bijection between the gauge-invariant KMS$_β$-states on the Nica-Toeplitz algebra $\mathcal{NT}(X)$ of $X$ with respect to a gauge-type dynamics, on one side, and the tracial states on the coefficient algebra $A$ satisfying a system… ▽ More Given a quasi-lattice ordered group $(G,P)$ and a compactly aligned product system $X$ of essential C$^*$-correspondences over the monoid $P$, we show that there is a bijection between the gauge-invariant KMS$_β$-states on the Nica-Toeplitz algebra $\mathcal{NT}(X)$ of $X$ with respect to a gauge-type dynamics, on one side, and the tracial states on the coefficient algebra $A$ satisfying a system (in general infinite) of inequalities, on the other. This strengthens and generalizes a number of results in the literature in several directions: we do not make any extra assumptions on $P$ and $X$, and our result can, in principle, be used to study KMS-states at any finite inverse temperature $β$. Under fairly general additional assumptions we show that there is a critical inverse temperature $β_c$ such that for $β>β_c$ all KMS$_β$-states are of Gibbs type, hence gauge-invariant, in which case we have a complete classification of KMS$_β$-states in terms of tracial states on $A$, while at $β=β_c$ we have a phase transition manifesting itself in the appearance of KMS$_β$-states that are not of Gibbs type. In the case of right-angled Artin monoids we show also that our system of inequalities for traces on $A$ can be reduced to a much smaller system, a finite one when the monoid is finitely generated. Most of our results generalize to arbitrary quasi-free dynamics on $\mathcal{NT}(X)$. △ Less

Submitted 9 August, 2018; v1 submitted 16 July, 2018; originally announced July 2018.

Comments: 45 pages; v2: minor fixes, a few improvements (in particular, a shorter proof of the KMS condition and an example showing that the small system of inequalities for free abelian monoids is optimal)

Journal ref: Comm. Math. Phys. 378 (2020), no. 3, 1875-1929

Martin boundaries of the duals of free unitary quantum groups

Authors: Sara Malacarne, Sergey Neshveyev

Abstract: Given a free unitary quantum group $G=A_u(F)$, with $F$ not a unitary $2$-by-$2$ matrix, we show that the Martin boundary of the dual of $G$ with respect to any $G$-$\hat G$-invariant, irreducible, finite range quantum random walk coincides with the topological boundary defined by Vaes and Vander Vennet. This can be thought of as a quantum analogue of the fact that the Martin boundary of a free gr… ▽ More Given a free unitary quantum group $G=A_u(F)$, with $F$ not a unitary $2$-by-$2$ matrix, we show that the Martin boundary of the dual of $G$ with respect to any $G$-$\hat G$-invariant, irreducible, finite range quantum random walk coincides with the topological boundary defined by Vaes and Vander Vennet. This can be thought of as a quantum analogue of the fact that the Martin boundary of a free group coincides with the space of ends of its Cayley tree. △ Less

Submitted 8 June, 2021; v1 submitted 24 May, 2018; originally announced May 2018.

Comments: 18 pages; v2: minor corrections

Journal ref: Compositio Math. 155 (2019) 1171-1193

Ground states of groupoid C*-algebras, phase transitions and arithmetic subalgebras for Hecke algebras

Authors: Marcelo Laca, Nadia S. Larsen, Sergey Neshveyev

Abstract: We consider the Hecke pair consisting of the group $P^+_K$ of affine transformations of a number field $K$ that preserve the orientation in every real embedding and the subgroup $P^+_O$ consisting of transformations with algebraic integer coefficients. The associated Hecke algebra $C^*(P^+_K,P^+_O)$ has a natural time evolution $σ$, and we describe the corresponding phase transition for KMS$_β$-st… ▽ More We consider the Hecke pair consisting of the group $P^+_K$ of affine transformations of a number field $K$ that preserve the orientation in every real embedding and the subgroup $P^+_O$ consisting of transformations with algebraic integer coefficients. The associated Hecke algebra $C^*(P^+_K,P^+_O)$ has a natural time evolution $σ$, and we describe the corresponding phase transition for KMS$_β$-states and for ground states. From work of Yalkinoglu and Neshveyev it is known that a Bost-Connes type system associated to $K$ has an essentially unique arithmetic subalgebra. When we import this subalgebra through the isomorphism of $C^*(P^+_K,P^+_O)$ to a corner in the Bost-Connes system established by Laca, Neshveyev and Trifkovic, we obtain an arithmetic subalgebra of $C^*(P^+_K,P^+_O)$ on which ground states exhibit the `fabulous' property with respect to an action of the Galois group $Gal(K^{ab}/H_+(K))$, where $H_+(K)$ is the narrow Hilbert class field. In order to characterize the ground states of the $C^*$-dynamical system $(C^*(P^+_K,P^+_O),σ)$, we obtain first a characterization of the ground states of a groupoid $C^*$-algebra, refining earlier work of Renault. This is independent from number theoretic considerations, and may be of interest by itself in other situations. △ Less

Submitted 11 December, 2018; v1 submitted 5 April, 2018; originally announced April 2018.

Comments: 21 pages; v2: minor changes and corrections

Journal ref: J. Geom. Phys. 136 (2019), 268-283

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

Authors: Kenny De Commer, Sergey Neshveyev, Lars Tuset, Makoto Yamashita

Abstract: Let $\mathfrak u$ be a compact semisimple Lie algebra, and $σ$ 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,σ)$. The first construction is based on the theory of cyclotomic… ▽ More Let $\mathfrak u$ be a compact semisimple Lie algebra, and $σ$ 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,σ)$. 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. △ Less

Submitted 13 February, 2018; v1 submitted 21 December, 2017; originally announced December 2017.

Comments: v2: new references and minor changes; v1: 37 pages, 9 figures

Journal ref: Comm. Math. Phys. 367 (2019), no. 3, 717-769

Relations in quantized function algebras

Authors: Pavel Etingof, Sergey Neshveyev

Abstract: We develop a method to give presentations of quantized function algebras of complex reductive groups. In particular, we give presentations of quantized function algebras of automorphism groups of finite dimensional simple complex Lie algebras. We develop a method to give presentations of quantized function algebras of complex reductive groups. In particular, we give presentations of quantized function algebras of automorphism groups of finite dimensional simple complex Lie algebras. △ Less

Submitted 5 September, 2017; originally announced September 2017.

Comments: 11 pages

Journal ref: Algebr. Represent. Theory 22 (2019), no. 3, 589-602

Categorically Morita equivalent compact quantum groups

Authors: Sergey Neshveyev, Makoto Yamashita

Abstract: We give a dynamical characterization of categorical Morita equivalence between compact quantum groups. More precisely, by a Tannaka-Krein type duality, a unital C*-algebra endowed with commuting actions of two compact quantum groups corresponds to a bimodule category over their representation categories. We show that this bimodule category is invertible if and only if the actions are free, with fi… ▽ More We give a dynamical characterization of categorical Morita equivalence between compact quantum groups. More precisely, by a Tannaka-Krein type duality, a unital C*-algebra endowed with commuting actions of two compact quantum groups corresponds to a bimodule category over their representation categories. We show that this bimodule category is invertible if and only if the actions are free, with finite dimensional fixed point algebras, which are in duality as Frobenius algebras in an appropriate sense. This extends the well-known characterization of monoidal equivalence in terms of bi-Hopf-Galois objects. △ Less

Submitted 8 June, 2021; v1 submitted 16 April, 2017; originally announced April 2017.

Comments: 33 pages; v2: minor corrections

Journal ref: Doc. Math. 23 (2018), 2165-2216

Probabilistic boundaries of finite extensions of quantum groups

Authors: Sara Malacarne, Sergey Neshveyev

Abstract: Given a discrete quantum group $H$ with a finite normal quantum subgroup $G$, we show that any positive, possibly unbounded, harmonic function on $H$ with respect to an irreducible invariant random walk is $G$-invariant. This implies that, under suitable assumptions, the Poisson and Martin boundaries of $H$ coincide with those of $H/G$. A similar result is also proved in the setting of exact seque… ▽ More Given a discrete quantum group $H$ with a finite normal quantum subgroup $G$, we show that any positive, possibly unbounded, harmonic function on $H$ with respect to an irreducible invariant random walk is $G$-invariant. This implies that, under suitable assumptions, the Poisson and Martin boundaries of $H$ coincide with those of $H/G$. A similar result is also proved in the setting of exact sequences of C$^*$-tensor categories. As an immediate application, we conclude that the boundaries of the duals of the group-theoretical easy quantum groups are classical. △ Less

Submitted 8 June, 2021; v1 submitted 16 April, 2017; originally announced April 2017.

Comments: 9 pages; v2: minor corrections

Journal ref: Infin. Dimens. Anal. Quantum Probab. Relat. Top. 20 (2017), no. 4, 1750026

Noncommutative Borsuk-Ulam-type conjectures revisited

Authors: Ludwik Dąbrowski, Piotr M. Hajac, Sergey Neshveyev

Abstract: Let $H$ be the C*-algebra of a non-trivial compact quantum group acting freely on a unital C*-algebra $A$. It was recently conjectured that there does not exist an equivariant $*$-homomorphism from $A$ (type-I case) or $H$ (type-II case) to the equivariant noncommutative join C*-algebra $A\circledast^δH$. When $A$ is the C*-algebra of functions on a sphere, and $H$ is the C*-algebra of functions o… ▽ More Let $H$ be the C*-algebra of a non-trivial compact quantum group acting freely on a unital C*-algebra $A$. It was recently conjectured that there does not exist an equivariant $*$-homomorphism from $A$ (type-I case) or $H$ (type-II case) to the equivariant noncommutative join C*-algebra $A\circledast^δH$. When $A$ is the C*-algebra of functions on a sphere, and $H$ is the C*-algebra of functions on ${\mathbb Z}/2{\mathbb Z}$ acting antipodally on the sphere, then the conjecture of type I becomes the celebrated Borsuk-Ulam theorem. Following recent work of Passer, we prove the conjecture of type I for compact quantum groups admitting a non-trivial torsion character. Next, we prove that, if a compact quantum group admits a representation whose \mbox{$K_1$-class} is non-trivial and $A$ admits a character, then a stronger version of the type-II conjecture holds: the finitely generated projective module associated with $A\circledast^δH$ via this representation is not stably free. In particular, we apply this result to the $q$-deformations of compact connected semisimple Lie groups and to the reduced group C*-algebras of free groups on $n>1$ generators. △ Less

Submitted 31 December, 2017; v1 submitted 13 November, 2016; originally announced November 2016.

Graded twisting of comodule algebras and module categories

Authors: Julien Bichon, Sergey Neshveyev, Makoto Yamashita

Abstract: Continuing our previous work on graded twisting of Hopf algebras and monoidal categories, we introduce a graded twisting construction for equivariant comodule algebras and module categories. As an example we study actions of quantum subgroups of $G\subset SL_{-1}(2)$ on $K_{-1}[x,y]$ and show that in most cases the corresponding invariant rings $K_{-1}[x,y]^G$ are invariant rings $K[x,y]^{G'}$ for… ▽ More Continuing our previous work on graded twisting of Hopf algebras and monoidal categories, we introduce a graded twisting construction for equivariant comodule algebras and module categories. As an example we study actions of quantum subgroups of $G\subset SL_{-1}(2)$ on $K_{-1}[x,y]$ and show that in most cases the corresponding invariant rings $K_{-1}[x,y]^G$ are invariant rings $K[x,y]^{G'}$ for the action of a classical subgroup $G'\subset SL(2)$. As another example we study Poisson boundaries of graded twisted categories and show that under the assumption of weak amenability they are graded twistings of the Poisson boundaries. △ Less

Submitted 6 March, 2018; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: 25 pages; v3: final version, to appear in JNCG

Journal ref: J. Noncommut. Geom. 12 (2018), no. 1, 331-368

Towards a classification of compact quantum groups of Lie type

Authors: Sergey Neshveyev, Makoto Yamashita

Abstract: This is a survey of recent results on classification of compact quantum groups of Lie type, by which we mean quantum groups with the same fusion rules and dimensions of representations as for a compact connected Lie group $G$. The classification is based on a categorical duality for quantum group actions recently developed by De Commer and the authors in the spirit of Woronowicz's Tannaka--Krein d… ▽ More This is a survey of recent results on classification of compact quantum groups of Lie type, by which we mean quantum groups with the same fusion rules and dimensions of representations as for a compact connected Lie group $G$. The classification is based on a categorical duality for quantum group actions recently developed by De Commer and the authors in the spirit of Woronowicz's Tannaka--Krein duality theorem. The duality establishes a correspondence between the actions of a compact quantum group $H$ on unital C$^*$-algebras and the module categories over its representation category Rep $H$. This is further refined to a correspondence between the braided-commutative Yetter--Drinfeld $H$-algebras and the tensor functors from Rep $H$. Combined with the more analytical theory of Poisson boundaries, this leads to a classification of dimension-preserving fiber functors on the representation category of any coamenable compact quantum group in terms of its maximal Kac quantum subgroup, which is the maximal torus for the $q$-deformation of $G$ if $q\ne1$. Together with earlier results on autoequivalences of the categories Rep $G_q$, this allows us to classify up to isomorphism a large class of quantum groups of $G$-type for compact connected simple Lie groups $G$. In the case of $G=SU(n)$ this class exhausts all non-Kac quantum groups. △ Less

Submitted 16 March, 2016; originally announced March 2016.

Comments: 23 pages

Journal ref: In: Carlsen T.M., Larsen N.S., Neshveyev S., Skau C. (eds) Operator Algebras and Applications. Abel Symposia, vol 12. Springer, Cham. 2016

A few remarks on the tube algebra of a monoidal category

Authors: Sergey Neshveyev, Makoto Yamashita

Abstract: We prove two results on the tube algebras of rigid C$^*$-tensor categories. The first is that the tube algebra of the representation category of a compact quantum group $G$ is a full corner of the Drinfeld double of $G$. As an application we obtain some information on the structure of the tube algebras of the Temperley-Lieb categories $TL(d)$ for $d>2$. The second result is that the tube algebras… ▽ More We prove two results on the tube algebras of rigid C$^*$-tensor categories. The first is that the tube algebra of the representation category of a compact quantum group $G$ is a full corner of the Drinfeld double of $G$. As an application we obtain some information on the structure of the tube algebras of the Temperley-Lieb categories $TL(d)$ for $d>2$. The second result is that the tube algebras of weakly Morita equivalent C$^*$-tensor categories are strongly Morita equivalent. The corresponding linking algebra is described as the tube algebra of the $2$-category defining the Morita context. △ Less

Submitted 12 March, 2018; v1 submitted 19 November, 2015; originally announced November 2015.

Comments: 17 pages; v4: minor changes and change of section numbering to the published version, to appear in Proc. Edinb. Math. Soc.; v3: description of the topology on the primitive spectrum of the tube algebra of a Temperley-Lieb category (d>2), a few remarks and minor fixes; v2: rewritten last section

Report number: CPH-SYM-DNRF92 MSC Class: Primary: 81R15; Secondary: 18D10; 46L89

Journal ref: Proc. Edinb. Math. Soc. (2) 61 (2018), no. 3, 735-758

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

Authors: Pierre Bieliavsky, Victor Gayral, Sergey Neshveyev, Lars Tuset

Abstract: 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. 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. △ Less

Submitted 8 June, 2021; v1 submitted 31 August, 2015; originally announced August 2015.

Comments: v4: minor corrections; v3: adds erratum dealing with nonunitarity of the dual cocycle

Journal ref: Internat. J. Math. 27 (2016), no. 3, 1650023; Internat. J. Math. 30 (2019), no. 11, 1992002

Graded twisting of categories and quantum groups by group actions

Authors: Julien Bichon, Sergey Neshveyev, Makoto Yamashita

Abstract: Given a Hopf algebra $A$ graded by a discrete group together with an action of the same group preserving the grading, we define a new Hopf algebra, which we call the graded twisting of $A$. If the action is adjoint, this new Hopf algebra is a twist of $A$ by a pseudo-$2$-cocycle. Analogous construction can be carried out for monoidal categories. As examples we consider graded twistings of the Hopf… ▽ More Given a Hopf algebra $A$ graded by a discrete group together with an action of the same group preserving the grading, we define a new Hopf algebra, which we call the graded twisting of $A$. If the action is adjoint, this new Hopf algebra is a twist of $A$ by a pseudo-$2$-cocycle. Analogous construction can be carried out for monoidal categories. As examples we consider graded twistings of the Hopf algebras of nondegenerate bilinear forms, their free products, hyperoctahedral quantum groups and $q$-deformations of compact semisimple Lie groups. As applications, we show that the analogues of the Kazhdan-Wenzl categories in the general semisimple case cannot be always realized as representation categories of compact quantum groups, and for genuine compact groups, we analyze quantum subgroups of the new twisted compact quantum groups, providing a full description when the twisting group is cyclic of prime order. △ Less

Submitted 23 May, 2016; v1 submitted 30 June, 2015; originally announced June 2015.

Comments: v3: minor corrections, to appear in Ann. Inst. Fourier; v2: compilation error fix and minor phrasing changes; v1: 25 pages

Journal ref: Ann. Inst. Fourier (Grenoble) 66 (2016), no. 6, 2299-2338

Drinfeld center and representation theory for monoidal categories

Authors: Sergey Neshveyev, Makoto Yamashita

Abstract: Motivated by the relation between the Drinfeld double and central property (T) for quantum groups, given a rigid C*-tensor category C and a unitary half-braiding on an ind-object, we construct a *-representation of the fusion algebra of C. This allows us to present an alternative approach to recent results of Popa and Vaes, who defined C*-algebras of monoidal categories and introduced property (T)… ▽ More Motivated by the relation between the Drinfeld double and central property (T) for quantum groups, given a rigid C*-tensor category C and a unitary half-braiding on an ind-object, we construct a *-representation of the fusion algebra of C. This allows us to present an alternative approach to recent results of Popa and Vaes, who defined C*-algebras of monoidal categories and introduced property (T) for them. As an example we analyze categories C of Hilbert bimodules over a II$_1$-factor. We show that in this case the Drinfeld center is monoidally equivalent to a category of Hilbert bimodules over another II$_1$-factor obtained by the Longo-Rehren construction. As an application, we obtain an alternative proof of the result of Popa and Vaes stating that property (T) for the category defined by an extremal finite index subfactor $N \subset M$ is equivalent to Popa's property (T) for the corresponding SE-inclusion of II$_1$-factors. In the last part of the paper we study Müger's notion of weakly monoidally Morita equivalent categories and analyze the behavior of our constructions under the equivalence of the corresponding Drinfeld centers established by Schauenburg. In particular, we prove that property (T) is invariant under weak monoidal Morita equivalence. △ Less

Submitted 25 May, 2016; v1 submitted 29 January, 2015; originally announced January 2015.

Comments: v3: minor corrections, to appear in Comm. Math. Phys.; v2: 37 pages, with a new section; v1: 24 pages

Journal ref: Comm. Math. Phys. 345 (2016), no. 1, 385-434

von Neuman algebras of strongly connected higher-rank graphs

Authors: Marcelo Laca, Nadia S. Larsen, Sergey Neshveyev, Aidan Sims, Samuel B. G. Webster

Abstract: We investigate the factor types of the extremal KMS states for the preferred dynamics on the Toeplitz algebra and the Cuntz--Krieger algebra of a strongly connected finite $k$-graph. For inverse temperatures above 1, all of the extremal KMS states are of type I$_\infty$. At inverse temperature 1, there is a dichotomy: if the $k$-graph is a simple $k$-dimensional cycle, we obtain a finite type I fa… ▽ More We investigate the factor types of the extremal KMS states for the preferred dynamics on the Toeplitz algebra and the Cuntz--Krieger algebra of a strongly connected finite $k$-graph. For inverse temperatures above 1, all of the extremal KMS states are of type I$_\infty$. At inverse temperature 1, there is a dichotomy: if the $k$-graph is a simple $k$-dimensional cycle, we obtain a finite type I factor; otherwise we obtain a type III factor, whose Connes invariant we compute in terms of the spectral radii of the coordinate matrices and the degrees of cycles in the graph. △ Less

Submitted 25 February, 2015; v1 submitted 23 September, 2014; originally announced September 2014.

Comments: 16 pages; 1 picture prepared using TikZ. Version 2: this version to appear in Math. Ann

MSC Class: 46L10 (primary); 46L05 (secondary)

Journal ref: Math. Ann. 363 (2015), no. 1-2, 657-678

Classification of non-Kac compact quantum groups of SU(n) type

Authors: Sergey Neshveyev, Makoto Yamashita

Abstract: We classify up to isomorphism all non-Kac compact quantum groups with the same fusion rules and dimension function as $SU(n)$. For this we first prove, using categorical Poisson boundary, the following general result. Let $G$ be a coamenable compact quantum group and $K$ be its maximal quantum subgroup of Kac type. Then any dimension-preserving unitary fiber functor $Rep\ G \to Hilb_f$ factors, un… ▽ More We classify up to isomorphism all non-Kac compact quantum groups with the same fusion rules and dimension function as $SU(n)$. For this we first prove, using categorical Poisson boundary, the following general result. Let $G$ be a coamenable compact quantum group and $K$ be its maximal quantum subgroup of Kac type. Then any dimension-preserving unitary fiber functor $Rep\ G \to Hilb_f$ factors, uniquely up to isomorphism, through $Rep\ K$. Equivalently, we have a canonical bijection $H^2(\hat G; T) \cong H^2(\hat K; T)$. Next, we classify autoequivalences of the representation categories of twisted $q$-deformations of compact simple Lie groups. △ Less

Submitted 4 August, 2015; v1 submitted 26 May, 2014; originally announced May 2014.

Comments: 22 pages; v1: subsumes and strengthens the classification result from arXiv:1310.4407; v2: minor improvements, appendix corrected; v3: minor corrections, final version

Journal ref: Int. Math. Res. Not. IMRN 2016, no. 11, 3356-3391

Poisson boundaries of monoidal categories

Authors: Sergey Neshveyev, Makoto Yamashita

Abstract: Given a rigid C*-tensor category C with simple unit and a probability measure $μ$ on the set of isomorphism classes of its simple objects, we define the Poisson boundary of $(C,μ)$. This is a new C*-tensor category P, generally with nonsimple unit, together with a unitary tensor functor $Π: C \to P$. Our main result is that if P has simple unit (which is a condition on some classical random walk),… ▽ More Given a rigid C*-tensor category C with simple unit and a probability measure $μ$ on the set of isomorphism classes of its simple objects, we define the Poisson boundary of $(C,μ)$. This is a new C*-tensor category P, generally with nonsimple unit, together with a unitary tensor functor $Π: C \to P$. Our main result is that if P has simple unit (which is a condition on some classical random walk), then $Π$ is a universal unitary tensor functor defining the amenable dimension function on C. Corollaries of this theorem unify various results in the literature on amenability of C*-tensor categories, quantum groups, and subfactors. △ Less

Submitted 29 June, 2017; v1 submitted 26 May, 2014; originally announced May 2014.

Comments: v2: 37 pages, minor changes, to appear in Ann. Sci. Ecole Norm. Sup.; v1: 37 pages

MSC Class: 18D10 (Primary); 60J50; 46L50 (Secondary)

Journal ref: Ann. Sci. Éc. Norm. Supér. (4) 50 (2017), no. 4, 927-972

Quantum flag manifolds as quotients of degenerate quantized universal envelo** algebras

Authors: Kenny De Commer, Sergey Neshveyev

Abstract: Let $\mathfrak{g}$ be a semi-simple Lie algebra with fixed root system, and $U_q(\mathfrak{g})$ the quantization of its universal envelo** algebra. Let $\mathcal{S}$ be a subset of the simple roots of $\mathfrak{g}$. We show that the defining relations for $U_q(\mathfrak{g})$ can be slightly modified in such a way that the resulting algebra $U_q(\mathfrak{g};\mathcal{S})$ allows a homomorphism o… ▽ More Let $\mathfrak{g}$ be a semi-simple Lie algebra with fixed root system, and $U_q(\mathfrak{g})$ the quantization of its universal envelo** algebra. Let $\mathcal{S}$ be a subset of the simple roots of $\mathfrak{g}$. We show that the defining relations for $U_q(\mathfrak{g})$ can be slightly modified in such a way that the resulting algebra $U_q(\mathfrak{g};\mathcal{S})$ allows a homomorphism onto (an extension of) the algebra $\mathrm{Pol}(\mathbb{G}_q/\mathbb{K}_{\mathcal{S},q})$ of functions on the quantum flag manifold $\mathbb{G}_q/\mathbb{K}_{\mathcal{S},q}$ corresponding to $\mathcal{S}$. Moreover, this homomorphism is equivariant with respect to a natural adjoint action of $U_q(\mathfrak{g})$ on $U_q(\mathfrak{g};\mathcal{S})$ and the standard action of $U_q(\mathfrak{g})$ on $Pol(\mathbb{G}_q/\mathbb{K}_{\mathcal{S},q})$. △ Less

Submitted 12 March, 2015; v1 submitted 18 February, 2014; originally announced February 2014.

Comments: 19 pages

MSC Class: 17B37; 20G42; 81R50

Journal ref: Transformation Groups, 20 (3) (2015), 725-742

Categorical duality for Yetter-Drinfeld algebras

Authors: Sergey Neshveyev, Makoto Yamashita

Abstract: We study tensor structures on (Rep G)-module categories defined by actions of a compact quantum group G on unital C*-algebras. We show that having a tensor product which defines the module structure is equivalent to enriching the action of G to the structure of a braided-commutative Yetter-Drinfeld algebra. This shows that the category of braided-commutative Yetter-Drinfeld G-C*-algebras is equiva… ▽ More We study tensor structures on (Rep G)-module categories defined by actions of a compact quantum group G on unital C*-algebras. We show that having a tensor product which defines the module structure is equivalent to enriching the action of G to the structure of a braided-commutative Yetter-Drinfeld algebra. This shows that the category of braided-commutative Yetter-Drinfeld G-C*-algebras is equivalent to the category of generating unitary tensor functors from Rep G into C*-tensor categories. To illustrate this equivalence, we discuss coideals of quotient type in C(G), Hopf-Galois extensions and noncommutative Poisson boundaries. △ Less

Submitted 23 October, 2014; v1 submitted 16 October, 2013; originally announced October 2013.

Comments: 24 pages; v3: the last section was split off as a separate manuscript arxiv:1405.6574, as it no longer relies on this paper, a converse to Tomatsu's result on Poisson boundaries added; v4: minor corrections, to appear in Doc Math

Report number: CPH-SYM-DNRF92

Journal ref: Doc. Math. 19 (2014), 1105-1139

Smooth crossed products of Rieffel's deformations

Authors: Sergey Neshveyev

Abstract: Assume A is a Frechet algebra equipped with a smooth isometric action of a vector group V, and consider Rieffel's deformation A_J of A. We construct an explicit isomorphism between the smooth crossed products V\ltimes\A_J and V\ltimes\A. When combined with the Elliott-Natsume-Nest isomorphism, this immediately implies that the periodic cyclic cohomology is invariant under deformation. Specializing… ▽ More Assume A is a Frechet algebra equipped with a smooth isometric action of a vector group V, and consider Rieffel's deformation A_J of A. We construct an explicit isomorphism between the smooth crossed products V\ltimes\A_J and V\ltimes\A. When combined with the Elliott-Natsume-Nest isomorphism, this immediately implies that the periodic cyclic cohomology is invariant under deformation. Specializing to the case of smooth subalgebras of C*-algebras, we also get a simple proof of equivalence of Rieffel's and Kasprzak's approaches to deformation. △ Less

Submitted 26 November, 2013; v1 submitted 8 July, 2013; originally announced July 2013.

Comments: 8 pages; minor changes, to appear in Lett. Math. Phys

Journal ref: Lett. Math. Phys. 104 (2014), no. 3, 361-371

Twisting the q-deformations of compact semisimple Lie groups

Authors: Sergey Neshveyev, Makoto Yamashita

Abstract: Given a compact semisimple Lie group $G$ of rank $r$, and a parameter $q>0$, we can define new associativity morphisms in Rep(Gq) using a 3-cocycle $Φ$ on the dual of the center of G, thus getting a new tensor category Rep(Gq)$^Φ$. For a class of cocycles $Φ$ we construct compact quantum groups $G^τ_q$ with representation categories Rep(Gq)$^Φ$. The construction depends on the choice of an r-tuple… ▽ More Given a compact semisimple Lie group $G$ of rank $r$, and a parameter $q>0$, we can define new associativity morphisms in Rep(Gq) using a 3-cocycle $Φ$ on the dual of the center of G, thus getting a new tensor category Rep(Gq)$^Φ$. For a class of cocycles $Φ$ we construct compact quantum groups $G^τ_q$ with representation categories Rep(Gq)$^Φ$. The construction depends on the choice of an r-tuple $τ$ of elements in the center of G. In the simplest case of G=SU(2) and $τ=-1$, our construction produces Woronowicz's quantum group SU_{-q}(2) out of SUq(2). More generally, for G=SU(n), we get quantum group realizations of the Kazhdan-Wenzl categories. △ Less

Submitted 9 July, 2013; v1 submitted 29 May, 2013; originally announced May 2013.

Comments: 20 pages; remark on braiding, minor modifications

Report number: CPH-SYM-DNRF92 MSC Class: 17B37 (Primary) 18D10 (Secondary)

Duality theory for nonergodic actions

Authors: Sergey Neshveyev

Abstract: Generalizing work by Pinzari and Roberts, we characterize actions of a compact quantum group G on C*-algebras in terms of what we call weak unitary tensor functors from Rep G into categories of C*-correspondences. We discuss the relation of our construction of a C*-algebra from a functor to some well-known crossed product type constructions, such as cross-sectional algebras of Fell bundles and cro… ▽ More Generalizing work by Pinzari and Roberts, we characterize actions of a compact quantum group G on C*-algebras in terms of what we call weak unitary tensor functors from Rep G into categories of C*-correspondences. We discuss the relation of our construction of a C*-algebra from a functor to some well-known crossed product type constructions, such as cross-sectional algebras of Fell bundles and crossed products by Hilbert bimodules. We also relate our setting to recent work of De Commer and Yamashita by showing that any object in a module C*-category over Rep G produces a weak unitary tensor functor, and, as a consequence, actions can also be described in terms of (Rep G)-module C*-categories. As an application we discuss deformations of C*-algebras by cocycles on discrete quantum groups. △ Less

Submitted 3 April, 2013; v1 submitted 25 March, 2013; originally announced March 2013.

Comments: 18 pages; minor changes, typos corrected, one reference added

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

Authors: Sergey Neshveyev, Lars Tuset

Abstract: 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.… ▽ More 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_Ωis stably isomorphic to the iterated twisted crossed product \hat G^{op}\ltimes_ΩG\ltimes A. Also, in good situations, the C*-algebra A_Ωcarries a left action of the deformed quantum group G_Ωand we have an isomorphism G_Ω\ltimes A_Ω\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. △ Less

Submitted 21 December, 2013; v1 submitted 21 January, 2013; originally announced January 2013.

Comments: 29 pages; new version emphasizes the role of 'quantization maps', improvements in exposition, a few more examples and references

Ergodicity of the action of K* on A_K

Authors: Jeffrey C. Lagarias, Sergey Neshveyev

Abstract: Connes gave a spectral interpretation of the critical zeros of zeta- and L-functions for a global field K using a space of square integrable functions on the space A_K/K* of adele classes. It is known that for K=Q the space A_K/K* cannot be understood classically, or in other words, the action of Q* on A_Q is ergodic. We prove that the same is true for any global field K, in both the number field… ▽ More Connes gave a spectral interpretation of the critical zeros of zeta- and L-functions for a global field K using a space of square integrable functions on the space A_K/K* of adele classes. It is known that for K=Q the space A_K/K* cannot be understood classically, or in other words, the action of Q* on A_Q is ergodic. We prove that the same is true for any global field K, in both the number field and function field cases. △ Less

Submitted 8 June, 2013; v1 submitted 14 November, 2012; originally announced November 2012.

Comments: 12 pages; minor changes

Journal ref: IMRN, Vol 2014, No. 18, pp 5165--5186

Deformation of operator algebras by Borel cocycles

Authors: Jyotishman Bhowmick, Sergey Neshveyev, Amandip Sangha

Abstract: Assume that we are given a coaction δof a locally compact group G on a C*-algebra A and a T-valued Borel 2-cocycle ωon G. Motivated by the approach of Kasprzak to Rieffel's deformation we define a deformation A_ωof A. Among other properties of A_ωwe show that A_ω\otimes K(L^2(G)) is canonically isomorphic to A\rtimes_δ\hat G\rtimes_{\hatδ,ω}G. This, together with a slight extension of a result of… ▽ More Assume that we are given a coaction δof a locally compact group G on a C*-algebra A and a T-valued Borel 2-cocycle ωon G. Motivated by the approach of Kasprzak to Rieffel's deformation we define a deformation A_ωof A. Among other properties of A_ωwe show that A_ω\otimes K(L^2(G)) is canonically isomorphic to A\rtimes_δ\hat G\rtimes_{\hatδ,ω}G. This, together with a slight extension of a result of Echterhoff et al., implies that for groups satisfying the Baum-Connes conjecture the K-theory of A_ωremains invariant under homotopies of omega. △ Less

Submitted 28 May, 2013; v1 submitted 11 July, 2012; originally announced July 2012.

Comments: 14 pages; minor corrections; to appear in JFA

Bost-Connes systems associated with function fields

Authors: Sergey Neshveyev, Simen Rustad

Abstract: With a global function field K with constant field F_q, a finite set S of primes in K and an abelian extension L of K, finite or infinite, we associate a C*-dynamical system. The systems, or at least their underlying groupoids, defined earlier by Jacob using the ideal action on Drinfeld modules and by Consani-Marcolli using commensurability of K-lattices are isomorphic to particular cases of our c… ▽ More With a global function field K with constant field F_q, a finite set S of primes in K and an abelian extension L of K, finite or infinite, we associate a C*-dynamical system. The systems, or at least their underlying groupoids, defined earlier by Jacob using the ideal action on Drinfeld modules and by Consani-Marcolli using commensurability of K-lattices are isomorphic to particular cases of our construction. We prove a phase transition theorem for our systems and show that the unique KMS_β-state for every 0<β\le1 gives rise to an ITPFI-factor of type III_{q^{-βn}}, where n is the degree of the algebraic closure of F_q in L. Therefore for n=+\infty we get a factor of type III_0. Its flow of weights is a scaled suspension flow of the translation by the Frobenius element on Gal(\bar F_q/F_q). △ Less

Submitted 10 March, 2014; v1 submitted 26 December, 2011; originally announced December 2011.

Comments: 19 pages; minor corrections, to appear in JNCG

KMS states on the C*-algebras of non-principal groupoids

Authors: Sergey Neshveyev

Abstract: We describe KMS-states on the C*-algebras of etale groupoids in terms of measurable fields of traces on the C*-algebras of the isotropy groups. We use this description to analyze tracial states on the transformation groupoid C*-algebras and to give a short proof of recent results of Cuntz, Deninger and Laca on the Toeplitz algebras of the ax+b semigroups of the rings of integers in number fields. We describe KMS-states on the C*-algebras of etale groupoids in terms of measurable fields of traces on the C*-algebras of the isotropy groups. We use this description to analyze tracial states on the transformation groupoid C*-algebras and to give a short proof of recent results of Cuntz, Deninger and Laca on the Toeplitz algebras of the ax+b semigroups of the rings of integers in number fields. △ Less

Submitted 23 September, 2014; v1 submitted 29 June, 2011; originally announced June 2011.

Comments: 12 pages; subsumes the earlier preprint "Traces on crossed products" arXiv:1010.0600; minor correction of the version published in JOT

Quantized algebras of functions on homogeneous spaces with Poisson stabilizers

Authors: Sergey Neshveyev, Lars Tuset

Abstract: 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 symp… ▽ More 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). △ Less

Submitted 18 April, 2011; v1 submitted 22 March, 2011; originally announced March 2011.

Comments: 23 pages; minor changes, typos corrected

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

Authors: Sergey Neshveyev, Lars Tuset

Abstract: 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… ▽ More 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. △ Less

Submitted 1 February, 2011; originally announced February 2011.

Comments: 10 pages

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

Authors: Sergey Neshveyev, Lars Tuset

Abstract: 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… ▽ More 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. △ Less

Submitted 28 May, 2013; v1 submitted 21 December, 2010; originally announced December 2010.

Comments: 5 pages; minor corrections; corollary about Drinfeld twists added

On second cohomology of duals of compact groups

Authors: Sergey Neshveyev, Lars Tuset

Abstract: 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,… ▽ More 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. △ Less

Submitted 16 May, 2011; v1 submitted 20 November, 2010; originally announced November 2010.

Comments: 22 pages, AMS-LaTeX; minor changes, remark 1.2 expanded to explain unitarity of an element u, final (hopefully) version

Bost-Connes systems, Hecke algebras, and induction

Authors: Marcelo Laca, Sergey Neshveyev, Mak Trifkovic

Abstract: We consider a Hecke algebra naturally associated with the affine group with totally positive multiplicative part over an algebraic number field K and we show that the C*-algebra of the Bost-Connes system for K can be obtained from our Hecke algebra by induction, from the group of totally positive principal ideals to the whole group of ideals. Our Hecke algebra is therefore a full corner, correspon… ▽ More We consider a Hecke algebra naturally associated with the affine group with totally positive multiplicative part over an algebraic number field K and we show that the C*-algebra of the Bost-Connes system for K can be obtained from our Hecke algebra by induction, from the group of totally positive principal ideals to the whole group of ideals. Our Hecke algebra is therefore a full corner, corresponding to the narrow Hilbert class field, in the Bost-Connes C*-algebra of K; in particular, the two algebras coincide if and only if K has narrow class number one. Passing the known results for the Bost-Connes system for K to this corner, we obtain a phase transition theorem for our Hecke algebra. In another application of induction we consider an extension L/K of number fields and we show that the Bost-Connes system for L embeds into the system obtained from the Bost-Connes system for K by induction from the group of ideals in K to the group of ideals in L. This gives a C*-algebraic correspondence from the Bost-Connes system for K to that for L. Therefore the construction of Bost-Connes systems can be extended to a functor from number fields to C*-dynamical systems with equivariant correspondences as morphisms. We use this correspondence to induce KMS-states and we show that for beta>1 certain extremal KMS_beta-states for L can be obtained, via induction and rescaling, from KMS_{[L:K]beta}-states for K. On the other hand, for 0<beta\le1 every KMS_{[L:K]β}-state for K induces to an infinite weight. △ Less

Submitted 28 May, 2013; v1 submitted 22 October, 2010; originally announced October 2010.

Comments: 16 pages, AMS-LaTeX; minor corrections; to appear in JNCG

Traces on crossed products

Authors: Sergey Neshveyev

Abstract: We give a description of traces on C(X)\rtimes G in terms of measurable fields of traces on the C*-algebras of the stabilizers of the action of G on X. We give a description of traces on C(X)\rtimes G in terms of measurable fields of traces on the C*-algebras of the stabilizers of the action of G on X. △ Less

Submitted 4 October, 2010; originally announced October 2010.

Comments: 5 pages, AMS-LaTeX

Type III_1 equilibrium states of the Toeplitz algebra of the affine semigroup over the natural numbers

Authors: Marcelo Laca, Sergey Neshveyev

Abstract: We complete the analysis of KMS-states of the Toeplitz algebra of the affine semigroup over the natural numbers, recently studied by Raeburn and the first author, by showing that for every inverse temperature beta in the critical interval [1,2], the unique KMS_beta-state is of type III_1. We prove this by reducing the type classification from the Toeplitz algebra to that of the symmetric part of t… ▽ More We complete the analysis of KMS-states of the Toeplitz algebra of the affine semigroup over the natural numbers, recently studied by Raeburn and the first author, by showing that for every inverse temperature beta in the critical interval [1,2], the unique KMS_beta-state is of type III_1. We prove this by reducing the type classification from the Toeplitz algebra to that of the symmetric part of the Bost-Connes system, with a shift in inverse temperature. To carry out this reduction we first obtain a parametrization of the Nica spectrum of the Toeplitz algebra in terms of an adelic space. Combining a characterization of traces on crossed products due to the second author with an analysis of the action of the affine semigroup on the Nica spectrum, we can also recover all the KMS-states originally computed by Raeburn and the first author. Our computation sheds light on why there is a free transitive circle action on the extremal KMS_beta-states for beta>2 that does not ostensibly come from an action on the C*-algebra. △ Less

Submitted 4 October, 2010; originally announced October 2010.

Comments: 15 pages, AMS-LaTeX

Von Neumann algebras arising from Bost-Connes type systems

Authors: Sergey Neshveyev

Abstract: We show that the KMS_beta-states of Bost-Connes type systems for number fields in the region 0<beta\le 1, as well as of the Connes-Marcolli GL_2-system for 1<beta\le 2, have type III_1. This is equivalent to ergodicity of various actions on adelic spaces. For example, the case beta=2 of the GL_2-system corresponds to ergodicity of the action of GL_2(Q) on Mat_2(A) with its Haar measure. We show that the KMS_beta-states of Bost-Connes type systems for number fields in the region 0<beta\le 1, as well as of the Connes-Marcolli GL_2-system for 1<beta\le 2, have type III_1. This is equivalent to ergodicity of various actions on adelic spaces. For example, the case beta=2 of the GL_2-system corresponds to ergodicity of the action of GL_2(Q) on Mat_2(A) with its Haar measure. △ Less

Submitted 9 July, 2009; originally announced July 2009.

Comments: AMS-LaTeX, 12 pages

Symmetric invariant cocycles on the duals of q-deformations

Authors: Sergey Neshveyev, Lars Tuset

Abstract: 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 sim… ▽ More 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. △ Less

Submitted 8 January, 2011; v1 submitted 13 February, 2009; originally announced February 2009.

Comments: 18 pages; minor changes, to appear in AIM