Showing 1–35 of 35 results for author: Kasprzak, P

Integral operators in the spaces of functions of bounded Schramm variation

Authors: Jacek Gulgowski, Piotr Kasprzak, Piotr Maćkowiak

Abstract: In this paper we provide a full characterization of linear integral operators acting from the space of functions of bounded Jordan variation to the space of functions of bounded Schramm variation in terms of their generating kernels. In this paper we provide a full characterization of linear integral operators acting from the space of functions of bounded Jordan variation to the space of functions of bounded Schramm variation in terms of their generating kernels. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Comments: This paper grew out of the unpublished part of the paper by the same authors, Compactness in normed spaces: a unified approach through semi-norms, arXiv:2111.10547v1

MSC Class: 47G10; 46B50; 26A45

Quantum Mycielski Graphs

Authors: Arkadiusz Bochniak, Paweł Kasprzak

Abstract: The classical Mycielski transformation allows for constructing from a given graph the new one, with an arbitrarily large chromatic number but preserving the size of the largest clique contained in it. This particular construction and its specific generalizations were widely discussed in graph theory literature. Here we propose an analog of these transformations for quantum graphs and study how the… ▽ More The classical Mycielski transformation allows for constructing from a given graph the new one, with an arbitrarily large chromatic number but preserving the size of the largest clique contained in it. This particular construction and its specific generalizations were widely discussed in graph theory literature. Here we propose an analog of these transformations for quantum graphs and study how they affect the (quantum) chromatic number as well as clique numbers associated with them. △ Less

Submitted 8 August, 2023; v1 submitted 16 June, 2023; originally announced June 2023.

Comments: 16 pages

MSC Class: 46L05 (Primary); 81P45 (Secondary)

Compactness in Lipschitz spaces and around

Authors: Jacek Gulgowski, Piotr Kasprzak, Piotr Maćkowiak

Abstract: The aim of the paper is to characterize (pre)compactness in the spaces of Lipschitz/Hölder continuous map**s acting from a compact metric space to a normed space. To this end some extensions and generalizations of already existing compactness criteria for the spaces of bounded and continuous map**s with values in normed spaces needed to be established. Those auxiliary results, which are intere… ▽ More The aim of the paper is to characterize (pre)compactness in the spaces of Lipschitz/Hölder continuous map**s acting from a compact metric space to a normed space. To this end some extensions and generalizations of already existing compactness criteria for the spaces of bounded and continuous map**s with values in normed spaces needed to be established. Those auxiliary results, which are interesting on their own since they use a concept of equicontinuity not seen in the literature, are based on an abstract compactness criterion related to the recently introduced notion of an equinormed set. △ Less

Submitted 19 June, 2023; v1 submitted 9 May, 2022; originally announced May 2022.

Comments: This version has been accepted for publication in Studia Mathematica

MSC Class: Primary: 46B50; Secondary: 26A16; 46E15; 46E99

Compactness in normed spaces: a unified approach through semi-norms

Authors: Jacek Gulgowski, Piotr Kasprzak, Piotr Maćkowiak

Abstract: In this paper we prove two new abstract compactness criteria in normed spaces. To this end we first introduce the notion of an equinormed set using a suitable family of semi-norms on the given normed space satisfying some natural conditions. Those conditions, roughly speaking, state that the norm can be approximated (on the equinormed sets even uniformly) by the elements of this family. As we are… ▽ More In this paper we prove two new abstract compactness criteria in normed spaces. To this end we first introduce the notion of an equinormed set using a suitable family of semi-norms on the given normed space satisfying some natural conditions. Those conditions, roughly speaking, state that the norm can be approximated (on the equinormed sets even uniformly) by the elements of this family. As we are given some freedom of choice of the underlying semi-normed structure that is used to define equinormed sets, our approach opens a new perspective for building compactness criteria in specific normed spaces. As an example we show that natural selections of families of semi-norms in spaces $C(X,\mathbb{R})$ and $l^p$ for $p\in[1,+\infty)$ lead to the well-known compactness criteria (including the Arzelà-Ascoli theorem). In the second part of the paper, applying the abstract theorems, we construct a simple compactness criterion in the space of functions of bounded Schramm variation and provide a full characterization of linear integral operators acting from the space of functions of bounded Jordan variation to the space of functions of bounded Schramm variation in therms of their generating kernels. △ Less

Submitted 22 June, 2023; v1 submitted 20 November, 2021; originally announced November 2021.

Comments: Th version accepted for publication in Topological Methods in Nonlinear Analysis

MSC Class: 46B50; 26A45; 47G10

Quantum correlations on quantum spaces

Authors: Arkadiusz Bochniak, Paweł Kasprzak, Piotr M. Sołtan

Abstract: For given quantum (non-commutative) spaces $\mathbb{P}$ and $\mathbb{O}$ we study the quantum space of maps $\mathbb{M}_{\mathbb{P},\mathbb{O}}$ from $\mathbb{P}$ to $\mathbb{O}$. In case of finite quantum spaces these objects turn out to be behind a large class of maps which generalize the classical $\mathrm{qc}$-correlations known from quantum information theory to the setting of quantum input a… ▽ More For given quantum (non-commutative) spaces $\mathbb{P}$ and $\mathbb{O}$ we study the quantum space of maps $\mathbb{M}_{\mathbb{P},\mathbb{O}}$ from $\mathbb{P}$ to $\mathbb{O}$. In case of finite quantum spaces these objects turn out to be behind a large class of maps which generalize the classical $\mathrm{qc}$-correlations known from quantum information theory to the setting of quantum input and output sets. We prove a number of important functorial properties of the map** $(\mathbb{P},\mathbb{O})\mapsto\mathbb{M}_{\mathbb{P},\mathbb{O}}$ and use them to study various operator algebraic properties of the $\mathrm{C}^*$-algebras $\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})$ such as the lifting property and residual finite dimensionality. Inside $\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})$ we construct a universal operator system $\mathbb{S}_{\mathbb{P},\mathbb{O}}$ related to $\mathbb{P}$ and $\mathbb{O}$ and show, among other things, that the embedding $\mathbb{S}_{\mathbb{P},\mathbb{O}}\subset\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})$ is hyperrigid, $\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})$ is the $\mathrm{C}^*$-envelope of $\mathbb{S}_{\mathbb{P},\mathbb{O}}$ and that a large class of non-signalling correlations on the quantum sets $\mathbb{P}$ and $\mathbb{O}$ arise from states on $\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})\otimes_{\rm{max}}\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})$ as well as states on the commuting tensor product $\mathbb{S}_{\mathbb{P},\mathbb{O}}\otimes_{\rm{c}}\mathbb{S}_{\mathbb{P},\mathbb{O}}$. Finally we introduce and study the notion of a synchronous correlation with quantum input and output sets, prove several characterizations of such correlations and their relation to traces on $\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})$. △ Less

Submitted 16 June, 2021; v1 submitted 17 May, 2021; originally announced May 2021.

Comments: Some arguments were shortened and streamlined, some less interesting parts were removed

MSC Class: Primary: 46L89; 81P40; Secondary: 46L85; 47L25; 91A05

Noncommutative Furstenberg boundary

Authors: Mehrdad Kalantar, Paweł Kasprzak, Adam Skalski, Roland Vergnioux

Abstract: We introduce and study the notions of boundary actions and of the Furstenberg boundary of a discrete quantum group. As for classical groups, properties of boundary actions turn out to encode significant properties of the operator algebras associated with the discrete quantum group in question; for example we prove that if the action on the Furstenberg boundary is faithful, the quantum group C*-alg… ▽ More We introduce and study the notions of boundary actions and of the Furstenberg boundary of a discrete quantum group. As for classical groups, properties of boundary actions turn out to encode significant properties of the operator algebras associated with the discrete quantum group in question; for example we prove that if the action on the Furstenberg boundary is faithful, the quantum group C*-algebra admits at most one KMS-state for the scaling automorphism group. To obtain these results we develop a version of Hamana's theory of injective envelopes for quantum group actions, and establish several facts on relative amenability for quantum subgroups. We then show that the Gromov boundary actions of free orthogonal quantum groups, as studied by Vaes and Vergnioux, are also boundary actions in our sense; we obtain this by proving that these actions admit unique stationary states. Moreover, we prove these actions are faithful, hence conclude a new unique KMS-state property in the general case, and a new proof of unique trace property when restricted to the unimodular case. We prove equivalence of simplicity of the crossed products of all boundary actions of a given discrete quantum group, and use it to obtain a new simplicity result for the crossed product of the Gromov boundary actions of free orthogonal quantum groups. △ Less

Submitted 30 October, 2020; v1 submitted 22 February, 2020; originally announced February 2020.

Comments: 45 pages, v2 corrects a few minor points. A final version of the paper will appear in the Analysis & PDE

Journal ref: Analysis & PDE 15 (2022) 795-842

Kawada-Itô-Kelley Theorem for Quantum Semigroups

Authors: Paweł Kasprzak, Fatemeh Khosravi, Piotr M. Sołtan

Abstract: Idempotent states on locally compact quantum semigroups with weak cancellation properties are shown to be Haar states on a certain sub-object described by an operator system with comultiplication. We also give a characterization of the situation when this sub-object is actually a compact quantum subgroup. In particular we reproduce classical results on idempotent probability measures on locally co… ▽ More Idempotent states on locally compact quantum semigroups with weak cancellation properties are shown to be Haar states on a certain sub-object described by an operator system with comultiplication. We also give a characterization of the situation when this sub-object is actually a compact quantum subgroup. In particular we reproduce classical results on idempotent probability measures on locally compact semigroups with cancellation. △ Less

Submitted 28 May, 2019; originally announced May 2019.

Comments: 12 pages

MSC Class: Primary: 46L51; 46L85; Secondary: 43A05; 46L99

Generalized (co)integrals on coideal subalgebras

Authors: Paweł Kasprzak

Abstract: Given a a Hopf algebra $H$, its left coideal subalgebra $A$ and a non-zero multiplicative functional $μ$ on $A$, we define the space of left $μ$-integrals $L^A_μ\subset A$. We observe that $\dim L^A_μ=1$ if $A$ is a Frobenius algebra and we conclude this equality for finite dimensional left coideal subalgebras of a weakly finite Hopf algebra. In general we prove that if $\dim L^A_μ>0$ then… ▽ More Given a a Hopf algebra $H$, its left coideal subalgebra $A$ and a non-zero multiplicative functional $μ$ on $A$, we define the space of left $μ$-integrals $L^A_μ\subset A$. We observe that $\dim L^A_μ=1$ if $A$ is a Frobenius algebra and we conclude this equality for finite dimensional left coideal subalgebras of a weakly finite Hopf algebra. In general we prove that if $\dim L^A_μ>0$ then $\dim A <\infty$. Given a group-like element $g\in H$ we define the space $L^g_{ A}\subset A'$ of $g$-cointegrals on $ A$ and linking this concept with the theory of $μ$-integrals we observe that: - every semisimple left coideal subalgebra $A\subset H$ which is preserved by the antipode squared admits a faithful $1$-cointegral; - every unimodular finite dimensional left coideal subalgebra $A\subset H$ admitting a faithful $1$-cointegral is preserved by the antipode square; - every non-degenerate right group-like projection in a cosemisimple Hopf algebra is a two sided group-like projection. Finally we list all $\varepsilon$-integrals for left coideals subalgebras in Taft algebras and we list all $g$-cointegrals on them. △ Less

Submitted 30 October, 2018; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: The results are essentially the same but the presentation of them and their proofs was improved. In Section 5 the list of $\varepsilon$-integrals was completed with the case missing in the previous version

Integrals in left coideal subalgebras and group-like projections

Authors: Alexandru Chirvasitu, Pawel Kasprzak, Piotr Szulim

Abstract: We develop a theory of right group-like projections in Hopf algebras linking them with the theory of left coideal subalgebras with two sided counital integrals. Every right group-like projection is associated with a left coideal subalgebra, maximal among the ones containing the given group-like projection as an integral, and we show that that subalgebra is finite dimensional. We observe that in a… ▽ More We develop a theory of right group-like projections in Hopf algebras linking them with the theory of left coideal subalgebras with two sided counital integrals. Every right group-like projection is associated with a left coideal subalgebra, maximal among the ones containing the given group-like projection as an integral, and we show that that subalgebra is finite dimensional. We observe that in a semisimple Hopf algebra $H$ every left coideal subalgebra has an integral and we prove a 1-1 correspondence between right group-like projections and left coideal subalgebras of $H$. We provide a number of equivalent conditions for a right group-like projections to be left group-like projection and prove a 1-1 correspondence between semisimple left coideal subalgebras preserved by the squared antipode and two sided group-like projections. We also classify left coideal subalgebras in Taft Hopf algebras $H_{n^2}$ over a field $\mathbb{k}$, showing that the automorphism group splits them into - a class of cardinality $|\mathbb{k}|-1$ of semisimple ones which correspond to right group-like projections which are not two sided; - finitely many semisimple singletons, each corresponding to two sided group-like projection; the number of those singletons for $H_{n^2}$ is equal to the number of divisors of $n$; - finitely many singletons, each non-semisimple and admitting no right group-like projection; the number of those singletons for $H_{n^2}$ is equal to the number of divisors of $n$. In particular we answer the question of Landstad and Van Daele showing that there do exist right group-like projections which are not left group-like projections. △ Less

Submitted 3 April, 2019; v1 submitted 6 August, 2018; originally announced August 2018.

Comments: modifications after referee comments

MSC Class: Primary 46L65; Secondary: 43A05; 46L30; 60B15; 16T05; 16T15

Shifts of group-like projections and contractive idempotent functionals for locally compact quantum groups

Authors: Paweł Kasprzak

Abstract: A one to one correspondence between shifts of group-like projections on a locally compact quantum group ${\mathbb{G}}$ which are preserved by the scaling group and contractive idempotent functionals on the dual $\hat{\mathbb{G}}$ is established. This is a generalization of the Illie-Spronk's correspondence between contractive idempotents in the Fourier-Stieltjes algebra of a locally compact group… ▽ More A one to one correspondence between shifts of group-like projections on a locally compact quantum group ${\mathbb{G}}$ which are preserved by the scaling group and contractive idempotent functionals on the dual $\hat{\mathbb{G}}$ is established. This is a generalization of the Illie-Spronk's correspondence between contractive idempotents in the Fourier-Stieltjes algebra of a locally compact group $G$ and cosets of open subgroups of $G$. We also establish a one to one correspondence between non-degenerate, integrable, ${\mathbb{G}}$-invariant ternary rings of operators $X\subset L^\infty({\mathbb{G}})$, preserved by the scaling group and contractive idempotent functionals on ${\mathbb{G}}$. Using our results we characterize coideals in $L^\infty(\hat{\mathbb{G}})$ admitting an atom preserved by the scaling group in terms of idempotent states on ${\mathbb{G}}$. We also establish a one to one correspondence between integrable coideals in $L^\infty({\mathbb{G}})$ and group-like projections in $L^\infty(\hat{\mathbb{G}})$ satisfying an extra mild condition. Exploiting this correspondence we give examples of group like projections which are not preserved by the scaling group. △ Less

Submitted 7 May, 2018; v1 submitted 10 April, 2018; originally announced April 2018.

Comments: Section 5 added, establishing a one to one correspondence between non-degenerate, integrable, ${\mathbb{G}}$-invariant ternary rings of operators $X\subset L^\infty({\mathbb{G}})$, preserved by the scaling group and contractive idempotent functionals on ${\mathbb{G}}$. A 1-1 correspondence between integrable coideals and group-like projections were extended beyond the compact case

The Lattice of Idempotent States on a Locally Compact Quantum Group

Authors: Paweł Kasprzak, Piotr M. Sołtan

Abstract: We study lattice operations on the set of idempotent states on a locally compact quantum group corresponding to the operations of intersection of compact subgroups and forming the subgroup generated by two compact subgroups. Normal ($σ$-weakly continuous) idempotent states are investigated and a duality between normal idempotent states on a locally compact quantum group $\mathbb{G}$ and on its dua… ▽ More We study lattice operations on the set of idempotent states on a locally compact quantum group corresponding to the operations of intersection of compact subgroups and forming the subgroup generated by two compact subgroups. Normal ($σ$-weakly continuous) idempotent states are investigated and a duality between normal idempotent states on a locally compact quantum group $\mathbb{G}$ and on its dual $\widehat{\mathbb{G}}$ is established. Additionally we analyze the question when a left coideal corresponding canonically to an idempotent state is finite dimensional and give a characterization of normal idempotent states on compact quantum groups. △ Less

Submitted 14 December, 2018; v1 submitted 12 February, 2018; originally announced February 2018.

Comments: 16 pages, LaTeX

MSC Class: 46L89; 43A05; 20G42

Group-like projections for locally compact quantum groups

Authors: Ramin Faal, Paweł Kasprzak

Abstract: Let $\mathbb{G}$ be a locally compact quantum group. We give a 1-1 correspondence between group-like projections in $L^\infty(\mathbb{G})$ preserved by the scaling group and idempotent states on the dual quantum group $\widehat{\mathbb{G}}$. As a byproduct we give a simple proof that normal integrable coideals in $L^\infty(\mathbb{G})$ which are preserved by the scaling group are in 1-1 correspond… ▽ More Let $\mathbb{G}$ be a locally compact quantum group. We give a 1-1 correspondence between group-like projections in $L^\infty(\mathbb{G})$ preserved by the scaling group and idempotent states on the dual quantum group $\widehat{\mathbb{G}}$. As a byproduct we give a simple proof that normal integrable coideals in $L^\infty(\mathbb{G})$ which are preserved by the scaling group are in 1-1 correspondence with compact quantum subgroups of $\mathbb{G}$. △ Less

Submitted 8 January, 2018; v1 submitted 30 June, 2017; originally announced June 2017.

Comments: Typos corrected, reference added. Accepted for a publication in JOT. arXiv admin note: text overlap with arXiv:1606.00576

MSC Class: 46L65

Induction for locally compact quantum groups revisited

Authors: Mehrdad Kalantar, Paweł Kasprzak, Adam Skalski, Piotr M. Sołtan

Abstract: In this paper we revisit the theory of induced representations in the setting of locally compact quantum groups. In the case of induction from open quantum subgroups, we show that constructions of Kustermans and Vaes are equivalent to the classical, and much simpler, construction of Rieffel. We also prove in general setting the continuity of induction in the sense of Vaes with respect to weak cont… ▽ More In this paper we revisit the theory of induced representations in the setting of locally compact quantum groups. In the case of induction from open quantum subgroups, we show that constructions of Kustermans and Vaes are equivalent to the classical, and much simpler, construction of Rieffel. We also prove in general setting the continuity of induction in the sense of Vaes with respect to weak containment. △ Less

Submitted 2 January, 2017; originally announced January 2017.

Comments: 20 pages

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics 150 (2020) 1071-1093

Quantum actions on discrete quantum spaces and a generalization of Clifford's theory of representations

Authors: Kenny De Commer, Paweł Kasprzak, Adam Skalski, Piotr M. Sołtan

Abstract: To any action of a compact quantum group on a von Neumann algebra which is a direct sum of factors we associate an equivalence relation corresponding to the partition of a space into orbits of the action. We show that in case all factors are finite-dimensional (i.e. when the action is on a discrete quantum space) the relation has finite orbits. We then apply this to generalize the classical theory… ▽ More To any action of a compact quantum group on a von Neumann algebra which is a direct sum of factors we associate an equivalence relation corresponding to the partition of a space into orbits of the action. We show that in case all factors are finite-dimensional (i.e. when the action is on a discrete quantum space) the relation has finite orbits. We then apply this to generalize the classical theory of Clifford, concerning the restrictions of representations to normal subgroups, to the framework of quantum subgroups of discrete quantum groups, itself extending the context of closed normal quantum subgroups of compact quantum groups. Finally, a link is made between our equivalence relation in question and another equivalence relation defined by R.Vergnioux. △ Less

Submitted 30 November, 2016; originally announced November 2016.

Comments: 18 pages

Journal ref: Israel Journal of Mathematics 226 (1) (2018), 475-503

Hopf images in locally compact quantum groups

Authors: Paweł Józiak, Paweł Kasprzak, Piotr M. Sołtan

Abstract: This manuscript is devoted to the study of the concept of a generating subset (a.k.a. Hopf image of a morphism) in the setting of locally compact quantum groups. The aim of this paper is to provide an accurate description of the Hopf image of a given morphism. We extend and unify the previously existing approaches for compact and discrete quantum groups and present some results that can shed light… ▽ More This manuscript is devoted to the study of the concept of a generating subset (a.k.a. Hopf image of a morphism) in the setting of locally compact quantum groups. The aim of this paper is to provide an accurate description of the Hopf image of a given morphism. We extend and unify the previously existing approaches for compact and discrete quantum groups and present some results that can shed light on some local perspective in the theory of quantum groups. In particular, we provide a characterization of fullness of Hopf image in the language of partial actions as well as in representation-theoretic terms in the spirit of representation $C^*$-categories, extending some known results not only to the broader setting of non-compact quantum groups, but also encompassing a broader setting of generating subsets. △ Less

Submitted 30 June, 2017; v1 submitted 15 November, 2016; originally announced November 2016.

Comments: v1: 21 pages, 2 tikz diagrams v2: 23 pages, 2 tikz diagrams. Added Section 7 with examples; several details expanded and some typos corrected. Bibliography updated

MSC Class: Primary: 46L89; Secondary: 46L85; 46L52

Journal ref: Journal of Mathematical Analysis and Applications 455 (2017), 141--166

Integrate-and-fire models with an almost periodic input function

Authors: Piotr Kasprzak, Adam Nawrocki, Justyna Signerska-Rynkowska

Abstract: We investigate leaky integrate-and-fire models (LIF models for short) driven by Stepanov and $μ$-almost periodic functions. Special attention is paid to the properties of a firing map and its displacement, which give information about the spiking behaviour of the system under consideration. We provide conditions under which such maps are well-defined for every $t \in \mathbb R$ and are uniformly c… ▽ More We investigate leaky integrate-and-fire models (LIF models for short) driven by Stepanov and $μ$-almost periodic functions. Special attention is paid to the properties of a firing map and its displacement, which give information about the spiking behaviour of the system under consideration. We provide conditions under which such maps are well-defined for every $t \in \mathbb R$ and are uniformly continuous. Moreover, we show that the LIF model with a Stepanov almost periodic input has a uniformly almost periodic displacement map. We also show that in the case of a $μ$-almost periodic drive it may happen that the displacement map corresponding to the LIF model is uniformly continuous, but is not $μ$-almost periodic (and thus cannot be Stepanov or uniformly almost periodic). By allowing discontinuous inputs, we generalize some results of previous papers, showing, for example, that the firing rate for the LIF model with a Stepanov almost periodic drive exists and is unique. This is a starting point for the investigation of the dynamics of almost-periodically driven integrate-and-fire systems. The work provides also some contributions to the theory of Stepanov- and $μ$-almost periodic functions. △ Less

Submitted 14 October, 2016; originally announced October 2016.

MSC Class: 42A75; 37B55; 37E45; 92B20

Fundamental isomorphism theorems for quantum groups

Authors: Alexandru Chirvasitu, Souleiman Omar Hoche, Paweł Kasprzak

Abstract: The lattice of subgroups of a group is the subject of numerous results revolving around the central theme of decomposing the group into "chunks" (subquotients) that can then be compared to one another in various ways. Examples of results in this class would be the Noether isomorphism theorems, Zassenhaus' butterfly lemma, the Schreier refinement theorem for subnormal series of subgroups, the Dedek… ▽ More The lattice of subgroups of a group is the subject of numerous results revolving around the central theme of decomposing the group into "chunks" (subquotients) that can then be compared to one another in various ways. Examples of results in this class would be the Noether isomorphism theorems, Zassenhaus' butterfly lemma, the Schreier refinement theorem for subnormal series of subgroups, the Dedekind modularity law, and last but not least the Jordan-Hölder theorem. We discuss analogues of the above-mentioned results in the context of locally compact quantum groups and linearly reductive quantum groups. The nature of the two cases is different: the former is operator algebraic and the latter Hopf algebraic, hence the corresponding two-part organization of our study. Our intention is that the analytic portion be accessible to the algebraist and vice versa. The upshot is that in the locally compact case one often needs further assumptions (integrability, compactness, discreteness). In the linearly reductive case on the other hand, the quantum versions of the results hold without further assumptions. Moreover the case of compact / discrete quantum groups is usually covered by both the linearly reductive and the locally compact framework, thus providing a bridge between the two. △ Less

Submitted 13 October, 2016; originally announced October 2016.

Comments: 45 pages + references

MSC Class: 46L89; 46L85; 46L52; 16T20; 20G42

Solvability of Hammerstein integral equations with applications to boundary value problems

Authors: Daria Bugajewska, Gennaro Infante, Piotr Kasprzak

Abstract: In this paper we present some new results regarding the solvability of nonlinear Hammerstein integral equations in a special cone of continuous functions. The proofs are based on a certain fixed point theorem of Leggett and Williams type. We give an application of the abstract result to prove the existence of nontrivial solutions of a periodic boundary value problem. We also investigate, via a ver… ▽ More In this paper we present some new results regarding the solvability of nonlinear Hammerstein integral equations in a special cone of continuous functions. The proofs are based on a certain fixed point theorem of Leggett and Williams type. We give an application of the abstract result to prove the existence of nontrivial solutions of a periodic boundary value problem. We also investigate, via a version of Krasnosel{\cprime}slki{\uı}'s theorem for the sum of two operators, the solvability of perturbed Hammerstein integral equations in the space of continuous functions of bounded variation in the sense of Jordan. As an application of these results, we study the solvability of a boundary value problem subject to integral boundary conditions of Riemann--Stieltjes type. Some examples are presented in order to illustrate the obtained results. △ Less

Submitted 4 February, 2017; v1 submitted 6 July, 2016; originally announced July 2016.

Comments: 25 pages

MSC Class: 45G99 (Primary); 34B10; 47H10; 47H30 (Secondary)

Journal ref: Zeitschrift für Analysis und ihre Anwendungen (ZAA), 36, (2017), 393-417

Coideals, quantum subgroups and idempotent states

Authors: Pawel Kasprzak, Fatemeh Khosravi

Abstract: We establish a one to one correspondence between idempotent states on a locally compact quantum group G and integrable coideals in the von Neumann algebra of bounded measurable functions on G that are preserved by the scaling group. In particular we show that there is a 1-1 correspondence between idempotent states on G and psi-expected left invariant von Neumann subalgebras of bounded measurable f… ▽ More We establish a one to one correspondence between idempotent states on a locally compact quantum group G and integrable coideals in the von Neumann algebra of bounded measurable functions on G that are preserved by the scaling group. In particular we show that there is a 1-1 correspondence between idempotent states on G and psi-expected left invariant von Neumann subalgebras of bounded measurable functions on G. We characterize idempotent states of Haar type as those corresponding to integrable normal coideals preserved by the scaling group. We also establish a one to one correspondence between open subgroups of G and convolutionally central idempotent states on the dual of G. Finally we characterize coideals corresponding to open quantum subgroups of G as those that are normal and admit an atom. As a byproduct of this study we get a number of universal lifting results for Podles condition, normality and regularity and we generalize number of results known before to hold under the coamenability assumption. △ Less

Submitted 7 October, 2016; v1 submitted 2 June, 2016; originally announced June 2016.

Comments: Revised version of the paper

MSC Class: 46L65

Integrable actions and quantum subgroups

Authors: Paweł Kasprzak, Fatemeh Khosravi, Piotr M. Sołtan

Abstract: We study homomorphisms of locally compact quantum groups from the point of view of integrability of the associated action. For a given homomorphism of quantum groups $Π\colon\mathbb{H}\to\mathbb{G}$ we introduce quantum groups $\mathbb{H}/\!\kerΠ$ and $\overline{\mathrm{im}\,Π}$ corresponding to the classical quotient by kernel and closure of image. We show that if the action of $\mathbb{H}$ on… ▽ More We study homomorphisms of locally compact quantum groups from the point of view of integrability of the associated action. For a given homomorphism of quantum groups $Π\colon\mathbb{H}\to\mathbb{G}$ we introduce quantum groups $\mathbb{H}/\!\kerΠ$ and $\overline{\mathrm{im}\,Π}$ corresponding to the classical quotient by kernel and closure of image. We show that if the action of $\mathbb{H}$ on $\mathbb{G}$ associated to $Π$ is integrable then $\mathbb{H}/\!\kerΠ\cong\overline{\mathrm{im}\,Π}$ and characterize such $Π$. As a particular case we consider an injective continuous homomorphism $Π\colon{H}\to{G}$ between locally compact groups $H$ and $G$. Then $Π$ yields an integrable action of $H$ on $L^\infty\;\!\!(G)$ if and only if its image is closed and $Π$ is a homeomorphism of $H$ onto $\mathrm{im}\,Π$. We also give characterizations of open quantum subgroups and of compact quantum subgroups in terms of integrability and show that a closed quantum subgroup always gives rise to an integrable action. Moreover we prove that quantum subgroups closed in the sense of Woronowicz whose associated homomorphism of quantum groups yields an integrable action are closed in the sense of Vaes. △ Less

Submitted 19 March, 2016; originally announced March 2016.

Comments: 18 pages

MSC Class: Primary: 46L89 Secondary: 46L85; 46L52

On the Hopf (co)center of a Hopf algebra

Authors: Alexandru Chirvasitu, Paweł Kasprzak

Abstract: The notion of Hopf center and Hopf cocenter of a Hopf algebra is investigated by the extension theory of Hopf algebras. We prove that each of them yields an exact sequence of Hopf algebras. Moreover the exact sequences are shown to satisfy the faithful (co)flatness condition. Hopf center and cocenter are computed for $\mathsf{U}_q(\mathfrak{g})$ and the Hopf algebra $\textrm{Pol}(\mathbb{G}_q)$, w… ▽ More The notion of Hopf center and Hopf cocenter of a Hopf algebra is investigated by the extension theory of Hopf algebras. We prove that each of them yields an exact sequence of Hopf algebras. Moreover the exact sequences are shown to satisfy the faithful (co)flatness condition. Hopf center and cocenter are computed for $\mathsf{U}_q(\mathfrak{g})$ and the Hopf algebra $\textrm{Pol}(\mathbb{G}_q)$, where $\mathbb{G}_q$ is the Drinfeld-Jimbo quantization of a compact semisimple simply connected Lie group $\mathbb{G}$ and $\mathfrak{g}$ is a simple complex Lie algebra. △ Less

Submitted 8 July, 2016; v1 submitted 11 December, 2015; originally announced December 2015.

Comments: 24 pages + references; more minor corrections / additions. Accepted to J. Algebra

MSC Class: 16T05; 18D10

Open quantum subgroups of locally compact quantum groups

Authors: Mehrdad Kalantar, Paweł Kasprzak, Adam Skalski

Abstract: The notion of an open quantum subgroup of a locally compact quantum group is introduced and given several equivalent characterizations in terms of group-like projections, inclusions of quantum group C*-algebras and properties of respective quantum homogenous spaces. Open quantum subgroups are shown to be closed in the sense of Vaes and normal open quantum subgroups are proved to be in 1-1 correspo… ▽ More The notion of an open quantum subgroup of a locally compact quantum group is introduced and given several equivalent characterizations in terms of group-like projections, inclusions of quantum group C*-algebras and properties of respective quantum homogenous spaces. Open quantum subgroups are shown to be closed in the sense of Vaes and normal open quantum subgroups are proved to be in 1-1 correspondence with normal compact quantum subgroups of the dual quantum group. △ Less

Submitted 12 August, 2016; v1 submitted 12 November, 2015; originally announced November 2015.

Comments: 30 pages, v2 simplifies the proof of Theorem 5.8 (and drops the properness assumption) as well as corrects several small points. The final version will appear in Advances in Mathematics

MSC Class: 46L89 (Primary); 22D25 (Secondary)

The canonical central exact sequence for locally compact quantum groups

Authors: Paweł Kasprzak, Adam Skalski, Piotr M. Sołtan

Abstract: For a locally compact quantum group $\mathbb{G}$ we define its center, $\mathscr{Z}(\mathbb{G})$, and its quantum group of inner automorphisms, $\mathrm{Inn}(\mathbb{G})$. We show that one obtains a natural isomorphism between $\mathrm{Inn}(\mathbb{G})$ and $\mathbb{G}/\!\mathscr{Z}(\mathbb{G})$, we characterize normal quantum subgroups of a compact quantum group as those left invariant by the act… ▽ More For a locally compact quantum group $\mathbb{G}$ we define its center, $\mathscr{Z}(\mathbb{G})$, and its quantum group of inner automorphisms, $\mathrm{Inn}(\mathbb{G})$. We show that one obtains a natural isomorphism between $\mathrm{Inn}(\mathbb{G})$ and $\mathbb{G}/\!\mathscr{Z}(\mathbb{G})$, we characterize normal quantum subgroups of a compact quantum group as those left invariant by the action of the quantum group of inner automorphisms and discuss several examples. △ Less

Submitted 12 August, 2016; v1 submitted 12 August, 2015; originally announced August 2015.

Comments: v4: 14 pages, modified title. The final version of the paper will appear in Mathematische Nachrichten

Quantum families of quantum group homomorphisms

Authors: Mariusz Budziński, Paweł Kasprzak

Abstract: The notion of a quantum family of maps has been introduced in the framework of C*-algebras. As in the classical case, one may consider a quantum family of maps preserving additional structures (e.g. quantum family of maps preserving a state). In this paper we define a quantum family of homomorphisms of locally compact quantum groups. Roughly speaking, we show that such a family is classical. The p… ▽ More The notion of a quantum family of maps has been introduced in the framework of C*-algebras. As in the classical case, one may consider a quantum family of maps preserving additional structures (e.g. quantum family of maps preserving a state). In this paper we define a quantum family of homomorphisms of locally compact quantum groups. Roughly speaking, we show that such a family is classical. The purely algebraic counterpart of the discussed notion, i.e. a quantum family of homomorphisms of Hopf algebras, is introduced and the algebraic counterpart of the aforementioned result is proved. Moreover, we show that a quantum family of homomorphisms of Hopf algebras is consistent with the counits and coinverses of the given Hopf algebras. We compare our concept with weak coactions introduced by Andruskiewitsch and we apply it to the analysis of adjoint coaction. △ Less

Submitted 8 July, 2016; v1 submitted 12 June, 2015; originally announced June 2015.

Comments: Minor corrections. This version is accepted for a publication in Communications in Algebra

Quantum groups with projection and extensions of locally compact quantum groups

Authors: P. Kasprzak, P. M. Sołtan

Abstract: The main result of the paper is the characterization of those locally compact quantum groups with projection, i.e. non-commutative analogs of semidirect products, which are extensions as defined by L. Vainerman and S. Vaes. It turns out that quantum groups with projection are usually not extensions. We discuss several examples including the quantum $\mathrm{U}_q(2)$. The major tool used to obtain… ▽ More The main result of the paper is the characterization of those locally compact quantum groups with projection, i.e. non-commutative analogs of semidirect products, which are extensions as defined by L. Vainerman and S. Vaes. It turns out that quantum groups with projection are usually not extensions. We discuss several examples including the quantum $\mathrm{U}_q(2)$. The major tool used to obtain these results is the co-duality for coideals in algebras of functions on locally compact quantum groups and the concept of a normal coideal. △ Less

Submitted 14 January, 2017; v1 submitted 2 December, 2014; originally announced December 2014.

Comments: 13 pages. Minor changes in Section 3

MSC Class: Primary: 46L89; 46L85; Secondary: 47L65; 58B32

Braided quantum SU(2) groups

Authors: Paweł Kasprzak, Ralf Meyer, Sutanu Roy, Stanisław Lech Woronowicz

Abstract: We construct a family of q-deformations of SU(2) for complex parameters q not equal to 0. For real q, the deformation coincides with Woronowicz' compact quantum SU_q(2) group. For q not real, SU_q(2) is only a braided compact quantum group with respect to a certain tensor product functor for C*-algebras with an action of the circle group. We construct a family of q-deformations of SU(2) for complex parameters q not equal to 0. For real q, the deformation coincides with Woronowicz' compact quantum SU_q(2) group. For q not real, SU_q(2) is only a braided compact quantum group with respect to a certain tensor product functor for C*-algebras with an action of the circle group. △ Less

Submitted 22 October, 2015; v1 submitted 12 November, 2014; originally announced November 2014.

Comments: 11 pages; accepted by JNCG

MSC Class: 81R50; 46L55; 46L06

Journal ref: J. Noncommut. Geom. 10, p. 1161-1125 (2016)

Quantum groups with projection on von Neumann algebra level

Authors: Paweł Kasprzak, Piotr M. Sołtan

Abstract: We introduce an axiomatization of the notion of a semidirect product of locally compact quantum groups and study properties. Our approach is slightly different from the one introduced in the thesis of S.~Roy and, unlike the investigations of Roy, we work within the von Neumann algebraic picture. This allows the use of powerful techniques related to crossed products by actions of locally compact qu… ▽ More We introduce an axiomatization of the notion of a semidirect product of locally compact quantum groups and study properties. Our approach is slightly different from the one introduced in the thesis of S.~Roy and, unlike the investigations of Roy, we work within the von Neumann algebraic picture. This allows the use of powerful techniques related to crossed products by actions of locally compact quantum groups. In particular we show existence of a "braided comultiplication" on the algebra spanned by slices of "braided multiplicative unitary". △ Less

Submitted 16 October, 2014; v1 submitted 6 October, 2014; originally announced October 2014.

Comments: Several typos corrected, list of references updated, a proposition establishing an analogue of Podleś condition added, presentation (hopefully) improved

MSC Class: 46L89; 46L85; (Primary) 47L65; 58B32 (Secondary)

Quantum automorphism groups of finite quantum groups are classical

Authors: Paweł Kasprzak, Piotr M. Sołtan, Stanisław L. Woronowicz

Abstract: In a recent paper of Bhowmick, Skalski and Sołtan the notion of a quantum group of automorphisms of a finite quantum group was introduced and, for a given finite quantum group G, existence of the universal quantum group acting on G by automorphisms was proved. We show that this universal quantum group is in fact a classical group. The key ingredient of the proof is the use of multiplicative unitar… ▽ More In a recent paper of Bhowmick, Skalski and Sołtan the notion of a quantum group of automorphisms of a finite quantum group was introduced and, for a given finite quantum group G, existence of the universal quantum group acting on G by automorphisms was proved. We show that this universal quantum group is in fact a classical group. The key ingredient of the proof is the use of multiplicative unitary operators, and we include a thorough discussion of this notion in the context of finite quantum groups. △ Less

Submitted 27 October, 2014; v1 submitted 6 October, 2014; originally announced October 2014.

Comments: Minor typos fixed, reference list updated

MSC Class: 46L89; 16T99 (Primary); 20G42; 81R60 (Secondary)

Rieffel deformation of tensor functor and braided quantum groups

Authors: Pawel Kasprzak

Abstract: In this paper we apply Rieffel deformation to C*- tensor product viewed as a functor on the category of C*-algebras with an abelian group action. In the case of the Rieffel deformation of a quantum group with the action by automorphisms the deformed tensor product enables us to view the deformed object as a braided quantum group. We construct a bicharacter for a braided quantum group and the dual… ▽ More In this paper we apply Rieffel deformation to C*- tensor product viewed as a functor on the category of C*-algebras with an abelian group action. In the case of the Rieffel deformation of a quantum group with the action by automorphisms the deformed tensor product enables us to view the deformed object as a braided quantum group. We construct a bicharacter for a braided quantum group and the dual braided quantum group. We employ our method to get a braided quantum Minkowski space. Its description in terms of the deformed space-time coordinates is provided. △ Less

Submitted 7 October, 2014; v1 submitted 25 March, 2014; originally announced March 2014.

Comments: Typos corrected, the citations added; accepted for a publication in Communications in Mathematical Physics

Embeddable Quantum Homogeneous Spaces

Authors: Paweł Kasprzak, Piotr M. Sołtan

Abstract: We discuss various notions generalizing the concept of a homogeneous space to the setting of locally compact quantum groups. On the von Neumann algebra level we find an interesting duality for such objects. A definition of a quantum homogeneous space is proposed along the lines of the pioneering work of Vaes on induction and imprimitivity for locally compact quantum groups. The concept of an embed… ▽ More We discuss various notions generalizing the concept of a homogeneous space to the setting of locally compact quantum groups. On the von Neumann algebra level we find an interesting duality for such objects. A definition of a quantum homogeneous space is proposed along the lines of the pioneering work of Vaes on induction and imprimitivity for locally compact quantum groups. The concept of an embeddable quantum homogeneous space is selected and discussed in detail as it seems to be the natural candidate for the quantum analog of classical homogeneous spaces. Among various examples we single out the quantum analog of the quotient of the Cartesian product of a quantum group with itself by the diagonal subgroup, analogs of quotients by compact subgroups as well as quantum analogs of trivial principal bundles. △ Less

Submitted 8 January, 2013; v1 submitted 8 October, 2012; originally announced October 2012.

Comments: 20 pages, 1 figure, exposition improved in Section 7, several references added

MSC Class: 46L89; 46L85; (Primary) 22D35; 58B32 (Secondary)

Journal ref: J. Math. Anal. Appl. 411 (2014) 574-591

Closed quantum subgroups of locally compact quantum groups

Authors: Matthew Daws, Paweł Kasprzak, Adam Skalski, Piotr M. Sołtan

Abstract: We investigate the fundamental concept of a closed quantum subgroup of a locally compact quantum group. Two definitions - one due to S.Vaes and one due to S.L.Woronowicz - are analyzed and relations between them discussed. Among many reformulations we prove that the former definition can be phrased in terms of quasi-equivalence of representations of quantum groups while the latter can be related t… ▽ More We investigate the fundamental concept of a closed quantum subgroup of a locally compact quantum group. Two definitions - one due to S.Vaes and one due to S.L.Woronowicz - are analyzed and relations between them discussed. Among many reformulations we prove that the former definition can be phrased in terms of quasi-equivalence of representations of quantum groups while the latter can be related to an old definition of Podleś from the theory of compact quantum groups. The cases of classical groups, duals of classical groups, compact and discrete quantum groups are singled out and equivalence of the two definitions is proved in the relevant context. A deep relationship with the quantum group generalization of Herz restriction theorem from classical harmonic analysis is also established, in particular, in the course of our analysis we give a new proof of Herz restriction theorem. △ Less

Submitted 6 September, 2012; v1 submitted 22 March, 2012; originally announced March 2012.

Comments: 24 pages, v3 adds another reference. The paper will appear in Advances in Mathematics

MSC Class: 20G42; 22D25 (Primary) 43A30; 46L89 (Secondary)

Journal ref: Adv. Math. 231 (2012) 3473-3501

On a certain approach to quantum homogeneous spaces

Authors: Pawel Kasprzak

Abstract: We propose a definition of a quantum homogeneous space of a locally compact quantum group. We show that classically it reduces to the notion of a homogeneous spaces. On the quantum level our definition goes beyond the quotient case. It provides a framework which, besides the Vaes' quotient of a locally compact quantum group by its closed quantum subgroup (our main motivation) is also compatible wi… ▽ More We propose a definition of a quantum homogeneous space of a locally compact quantum group. We show that classically it reduces to the notion of a homogeneous spaces. On the quantum level our definition goes beyond the quotient case. It provides a framework which, besides the Vaes' quotient of a locally compact quantum group by its closed quantum subgroup (our main motivation) is also compatible with, generically non-quotient, quantum homogeneous spaces of a compact quantum group studied by P. Podles as well as the Rieffel deformation of G-homogeneous spaces. Finally, our definition rules out the paradoxical examples of the non-compact quantum homogeneous spaces of a compact quantum group. △ Less

Submitted 29 October, 2014; v1 submitted 14 July, 2010; originally announced July 2010.

Comments: A gap in the proof of Theorem 5.1 was removed. New proof is shorter and simpler

MSC Class: 46L89

Rieffel Deformation of Homogeneous Spaces

Authors: P. Kasprzak

Abstract: Let H be a closed subgroup of a locally compact group G and let X=G/H be the quotient space of left cosets. Let C*X be the corresponding G-C*-algebra of continuous functions on X, vanishing at infinity. Suppose that L is a closed abelian subgroup of H and let f be a 2-cocycle on the dual group of L. Let G(f) be the Rieffel deformation of G. Using these data we may construct G(f)-C*-algebra C*X(f)… ▽ More Let H be a closed subgroup of a locally compact group G and let X=G/H be the quotient space of left cosets. Let C*X be the corresponding G-C*-algebra of continuous functions on X, vanishing at infinity. Suppose that L is a closed abelian subgroup of H and let f be a 2-cocycle on the dual group of L. Let G(f) be the Rieffel deformation of G. Using these data we may construct G(f)-C*-algebra C*X(f) - the Rieffel deformation of C*X. On the other hand we may perform the Rieffel deformation of the subgroup H obtaining the closed quantum subgroup H(f) of G(f) which in turn, by the results of Vaes, leads to the G(f)-C*-algebra G(f)/H(f). In this paper we show that G(f)/H(f) and C*X(f) are isomorphic G(f)-C*-algebras. We also consider the case where L is a subgroup of G but not of H, for which we cannot construct the subgroup H(f). Then C*X(f) cannot be identified with a quantum quotient. What may be shown is that it is a G(f)-simple object in the category of G(f)-C*-algebras. △ Less

Submitted 14 July, 2010; v1 submitted 22 June, 2010; originally announced June 2010.

MSC Class: Primary 46L89; Secondary 20N99

The Heisenberg-Lorentz quantum group

Authors: P. Kasprzak

Abstract: In this article we present a new C*-algebraic deformation of the Lorentz group. It is obtained by means of the Rieffel deformation applied to SL(2,C). We give a detailed description of the resulting quantum group in terms of generators - the quantum counterparts of the matrix coefficients of the fundamental representation of SL(2,C). In order to construct the most involved of four generators, we f… ▽ More In this article we present a new C*-algebraic deformation of the Lorentz group. It is obtained by means of the Rieffel deformation applied to SL(2,C). We give a detailed description of the resulting quantum group in terms of generators - the quantum counterparts of the matrix coefficients of the fundamental representation of SL(2,C). In order to construct the most involved of four generators, we first define it on the quantum Borel subgroup, then on the quantum complement of the Borel subgroup and finally we perform the gluing procedure. In order to classify representations of the C*-algebra of the Heisenberg-Lorentz quantum group and to analyze the action of the comultiplication on the generators we employ the duality in the theory of locally compact quantum groups. △ Less

Submitted 7 September, 2010; v1 submitted 22 July, 2008; originally announced July 2008.

Comments: We replace the paper with the version which is published in JNCG

MSC Class: 46L89

Journal ref: J. Noncommut. Geom. (4),(2010), p. 577 - 611

Rieffel deformation via crossed products

Authors: P. Kasprzak

Abstract: We start from Rieffel data (A,f,X) where A is a C*-algebra, X is an action of an abelian group H on A and f is a 2-cocycle on the dual group. Using Landstad theory of crossed product we get a deformed C*-algebra A(f). In the case of H being the n-th Cartesian product of the real numbers we obtain a very simple proof of invariance of K-groups under the deformation. In the general case we also get a… ▽ More We start from Rieffel data (A,f,X) where A is a C*-algebra, X is an action of an abelian group H on A and f is a 2-cocycle on the dual group. Using Landstad theory of crossed product we get a deformed C*-algebra A(f). In the case of H being the n-th Cartesian product of the real numbers we obtain a very simple proof of invariance of K-groups under the deformation. In the general case we also get a very simple proof that nuclearity is preserved under the deformation. We show how our approach leads to quantum groups and investigate their duality. The general theory is illustrated by an example of the deformation of SL(2,C). A description of it, in terms of noncommutative coordinates is given. △ Less

Submitted 28 July, 2010; v1 submitted 14 June, 2006; originally announced June 2006.

Comments: 39 pages

Report number: KBN: 115/E-343/SPB/6.PR UE/DIE50/2005-2008 MSC Class: 46L89 (Primary) 58B32; 22D25 (Secondary)

Journal ref: J. Funct. Anal. 257, (2009), no. 5, p. 1288-1332