arXiv subjects

Mariusz Tobolski

Publications and source records attributed to Mariusz Tobolski.

At least 19 recordsLinked to original sources

arXiv2026

Non-commutative classifying spaces of groups via quasi-topologies and pro-$C^*$-algebras

For a locally compact Hausdorff topological group $G$, we construct a universal pro-$C^*$-algebra $C(E^+G)$ as the non-commutative geometer's analogue of the total space $EG$ of the classifying principal $G$-bundle $EG\to BG$. The pro-$C^*$-algebra $C(EG)$ of (possibly unbounded) continuous functions on $EG$ is then recoverable as the abelianization of $C(E^+G)$. Along the way, we develop various aspects of the theory of quasi-topological $G$-spaces and $G$-pro-$C^*$-algebras.

math.OA↗

arXiv2026

Voltage quantum graphs and a Gross-Tucker theorem for quantum graphs

A voltage graph is a finite directed graph whose edges are labeled by elements of a finite group $G$. A classical construction of Gross and Tucker associates to every voltage graph with vertex set $V$ a so-called derived graph with vertex set $V \times G$. We generalize their construction to quantum graphs and finite abelian groups. Remarkably, the construction can produce true quantum graphs starting from a classical voltage graph. In this case the obtained quantum graph is quantum isomorphic to a classical graph. As a main result we also prove a quantum version of the Gross-Tucker theorem which characterizes precisely which graphs can be written as derived graphs of voltage graphs.

math.OA↗

arXiv2025

From length-preserving pushouts of graphs to one-surjective pullbacks of graph algebras

The unions of directed graphs are the simplest examples of pushouts of directed graphs. The conditions under which they contravariantly induce surjective gauge-equivariant pullbacks of graph C*-algebras have been well studied and vastly instantiated in noncommutative topology (e.g., quantum balls and spheres). Herein, we go beyond the unions of graphs to systematically determine optimal conditions for more general length-preserving pushouts of graphs under which they contravariantly induce graded pullbacks of path algebras, Leavitt path algebras, and graph C*-algebras. Our pullbacks are surjective only on one side, as dictated by natural examples and K-theory. The proposed new approach enlarges the scope of applications from admissible subgraphs (also called quotient graphs) to generalizations of unlabeled foldings of Stallings and collapsing the line graphs of graphs to initial graphs. Moreover, we introduce the concept of locally derived graphs, which substantially extends the paradigm of derived graphs (or skew products of graphs), and use the projection foldings from locally derived graphs to their base (or voltage) graphs to obtain one-surjective pullbacks of graph C*-algebras.

math.RA↗

arXiv2025

Gluing topological graph C*-algebras

We introduce regular closed subgraphs of Katsura's topological graphs and use them to generalize the notion of an adjunction space from topology. Our construction attaches a topological graph onto another via a regular factor map. We prove that under suitable assumptions the C*-algebra of the adjunction graph is a pullback of the C*-algebras of the topological graphs being glued. Our results generalize certain pushout-to-pullback theorems proved in the context of discrete directed graphs. Our theorem applied to homeomorphism C*-algebras recovers a special case of the well-known result stating that pullbacks of $\mathbb{Z}$-C*-algebras induce pullbacks of the respective crossed product C*-algebras. Furthermore, we show that the C*-algebras of odd-dimensional quantum balls of Hong and Szymański (which are known not to be graph C*-algebras) are topological graph C*-algebras and we recover the pullback structure of C*-algebras of odd-dimensional quantum spheres by gluing the topological graphs associated to the C*-algebras of the corresponding odd-dimensional quantum balls.

math.OA↗

arXiv2025

On morphisms of topological quivers

We introduce regular morphisms of topological quivers and show that they give rise to a subcategory of the category of topological quivers and quiver morphisms. Our regularity conditions render the topological quiver C*-algebra construction a contravariant functor from the category of topological quivers and regular morphisms into the category of C*-algebras and $*$-homomorphisms.

math.OA↗

arXiv2025

Principal Actions on Topological Quivers and Associated Operator Dynamics

We study topological quivers $Q$ admitting a free and proper action by a locally compact group $G$ together with their associated $C^*$-algebras. On the topological side, we provide a complete classification of topological quivers which admit such actions in terms of $G$-bundles over the vertex orbit space and an appropriate isomorphism of bundles over the edge orbits. Following the work by Deaconu, Kumjian, and Quigg on topological graphs, we construct an isomorphism between $C^*(Q/G)$ and Rieffel's fixed-point algebra $C^*(Q)^α$, which is known to be Morita equivalent to $C^*(Q)\rtimes_rG$. Unlike the work with topological graphs, we use previously developed functoriality techniques to identify the isomorphism. We also examine many concrete examples of such group actions, including some exclusive to topological quivers, and the associated Morita equivalences.

math.OA↗

arXiv2024

The covariant functoriality of graph algebras

In the standard category of directed graphs, graph morphisms map edges to edges. By allowing graph morphisms to map edges to finite paths (path homomorphisms of graphs), we obtain an ambient category in which we determine subcategories enjoying covariant functors to categories of algebras given by constructions of path algebras, Cohn path algebras, and Leavitt path algebras, respectively. Thus we obtain new tools to unravel homomorphisms between Leavitt path algebras and graph C*-algebras. In particular, a graph-algebraic presentation of the inclusion of the C*-algebra of a quantum real projective plane into the Toeplitz algebra allows us to determine a quantum CW-complex structure of the former. It comes as a mixed-pullback theorem where two $*$-homomorphisms are covariantly induced from path homomorphisms of graphs and the remaining two are contravariantly induced by admissible inclusions of graphs. As a main result and an application of new covariant-induction tools, we prove such a mixed-pullback theorem for arbitrary graphs whose all vertex-simple loops have exits, which substantially enlarges the scope of examples coming from noncommutative topology.

math.RA↗

arXiv2024

The Covariant Stone-von Neumann Theorem for Locally Compact Quantum Groups

The Stone-von Neumann Theorem is a fundamental result which unified the competing quantum mechanical models of matrix mechanics and wave mechanics. It's mechanism of proof ultimately involved the study of unitary group representations on a Hilbert space. In this article, we continue the broad generalization set out in arxiv:1903.09351 and arxiv:2109.08997, analyzing representations of locally compact quantum dynamical systems defined on Hilbert modules, of which the classical result is a special case. We introduce a pair of modular representations which subsume numerous models which appear in the literature, and for certain coactions (G, A, α) recover the multiplicity results of arxiv:2109.08997. As a corollary, we develop a new criterion for identifying strongly regular locally compact quantum groups, related to the study of their dynamics on elementary C*-algebras.

math.OA↗

arXiv2024

Free resolutions for free unitary quantum groups and universal cosovereign Hopf algebras

We find a finite free resolution of the counit of the free unitary quantum groups of van Daele and Wang and, more generally, Bichon's universal cosovereign Hopf algebras with a generic parameter matrix. This allows us to compute Hochschild cohomology with 1-dimensional coefficients for all these Hopf algebras. In fact, the resolutions can be endowed with a Yetter-Drinfeld structure. General results of Bichon then allow us to compute also the corresponding bialgebra cohomologies. Finding the resolution rests on two pillars. We take as a starting point the resolution for the free orthogonal quantum group presented by Collins, Härtel, and Thom or its algebraic generalization to quantum symmetry groups of bilinear forms due to Bichon. Then we make use of the fact that the free unitary quantum groups and some of its non-Kac versions can be realized as a glued free product of a (non-Kac) free orthogonal quantum group with $\mathbb Z_2$, the finite group of order 2. To obtain the resolution also for more general universal cosovereign Hopf algebras, we extend Gromada's proof from compact quantum groups to the framework of matrix Hopf algebras. As a byproduct of this approach, we also obtain a projective resolution for the freely modified bistochastic quantum groups. Only a special subclass of free unitary quantum groups and universal cosovereign Hopf algebras decompose as a glued free product in the described way. In order to verify that the sequence we found is a free resolution in general (as long as the parameter matrix is generic, two conditions which are automatically fulfilled in the free unitary quantum group case), we use the theory of Hopf bi-Galois objects and Bichon's results on monoidal equivalences between the categories of Yetter-Drinfeld modules over universal cosovereign Hopf algebras for different parameter matrices.

math.QA↗

arXiv2023

Noncommutative numerable principal bundles from group actions on C*-algebras

We introduce a definition of the locally trivial $G$-C*-algebra, which is a noncommutative counterpart of the total space of a locally compact Hausdorff numerable principal $G$-bundle. To obtain this generalization, we have to go beyond the Gelfand-Naimark duality and use the multipliers of the Pedersen ideal. Our new concept enables us to investigate local triviality of noncommutative principal bundles coming from group actions on non-unital C*-algebras, which we illustrate through examples coming from $C_0(Y)$-algebras and graph C*-algebras. In the case of an action of a compact Hausdorff group on a unital C*-algebra, local triviality in our sense is implied by the finiteness of the local-triviality dimension of the action. Furthermore, we prove that if $A$ is a locally trivial $G$-C*-algebra, then the $G$-action on $A$ is free in a certain sense, which in many cases coincides with the known notions of freeness due to Rieffel and Ellwood.

math.OA↗

arXiv2020

Equivariant Dimensions of Graph C*-algebras

We explore the recently introduced local-triviality dimensions by studying gauge actions on graph $C^*$-algebras, as well as the restrictions of the gauge action to finite cyclic subgroups. For $C^*$-algebras of finite acyclic graphs and finite cycles, we characterize the finiteness of these dimensions, and we further study the gauge actions on many examples of graph $C^*$-algebras. These include the Toeplitz algebra, Cuntz algebras, and $q$-deformed spheres.

math.OA↗

arXiv2019

Non-surjective pullbacks of graph C*-algebras from non-injective pushouts of graphs

We find a substantial class of pairs of $*$-homomorphisms between graph C*-algebras of the form $C^*(E)\hookrightarrow C^*(G)\twoheadleftarrow C^*(F)$ whose pullback C*-algebra is an AF graph C*-algebra. Our result can be interpreted as a recipe for determining the quantum space obtained by shrinking a quantum subspace. There is a variety of examples from noncommutative topology, such as quantum complex projective spaces (including the standard Podleś quantum sphere) or quantum teardrops, that instantiate the result. Furthermore, to go beyond AF graph C*-algebras, we consider extensions of graphs over sinks and prove an analogous theorem for the thus obtained graph C*-algebras.

math.QA↗

arXiv2019

Graph algebras

This introduction to graphs and graph algebras provides the optimal bound for the number of all paths of length $k$ in a graph with $N\geq k$ edges and no loops. Our proof relies on a construction of a number of terminating algorithms that reshape such graphs without ever decreasing the number of paths of length $k$. The key two algorithms work in turns each of them ending with a graph to which the other algorithm can be applied. Finally, one arrives at a specific graph realizing the optimal bound. Herein graph algebras mean path algebras and Leavitt path algebras. For the ground field $\mathbb{C}$ of complex numbers, the latter are viewed as dense subalgebras in their universal C*-completions called graph C*-algebras.

math.RA↗

arXiv2019

The local-triviality dimension of actions of compact quantum groups

We define the local-triviality dimension for actions of compact quantum groups on unital C*-algebras. The resulting compact quantum principal bundle is said to be locally trivial when this dimension is finite. For commutative C*-algebras, this notion recovers the standard definition of local triviality of compact principal bundles. We prove that actions with finite local-triviality dimension are automatically free. Then we apply this new notion to prove the noncommutative Borsuk-Ulam-type conjecture under the assumption that a compact quantum group admits a non-trivial classical subgroup whose induced action has finite local-triviality dimension. This is a noncommutative extension of the Borsuk-Ulam-type theorem for locally trivial principal bundles.

math.OA↗

arXiv2019

Pullbacks of graph C*-algebras from admissible pushouts of graphs

We define an admissible decomposition of a graph $E$ into subgraphs $F_1$ and $F_2$, and consider the intersection graph $F_1\cap F_2$ as a subgraph of both $F_1$ and $F_2$. We prove that, if the graph $E$ is row finite and its decomposition into the subgraphs $F_1$ and $F_2$ is admissible, then the graph C*-algebra $C^*(E)$ of $E$ is the pullback C*-algebra of the canonical surjections from $C^*(F_1)$ and $C^*(F_2)$ onto $C^*(F_1\cap F_2)$.

math.OA↗

arXiv2018

Associated noncommutative vector bundles over the Vaksman-Soibelman quantum complex projective spaces

By a diagonal embedding of $U(1)$ in $SU_q(m)$, we prolongate the diagonal circle action on the Vaksman-Soibelman quantum sphere $S^{2n+1}_q$ to the $SU_q(m)$-action on the prolongated bundle. Then we prove that the noncommutative vector bundles associated via the fundamental representation of $SU_q(m)$, for $m\in\{2,\ldots,n\}$, yield generators of the even K-theory group of the C*-algebra of the Vaksman-Soibelman quantum complex projective space $\mathbb{C}{\rm P}^n_q$.

math.KT↗

arXiv2018

The weak Hilbert-Smith conjecture from a Borsuk-Ulam-type conjecture

We prove a number of results surrounding the Borsuk-Ulam-type conjecture of Baum, Dąbrowski and Hajac (BDH, for short), to the effect that given a free action of a compact group $G$ on a compact space $X$, there are no $G$-equivariant maps $X*G\to X$ (with $*$ denoting the topological join). In particular, we prove the BDH conjecture for locally trivial principal $G$-bundles. The proof relies on the non-existence of $G$-equivariant maps $G^{*(n+1)}\to G^{*n}$, which in turn is a slight strengthening of an unpublished result of M. Bestvina and R. Edwards. Moreover, we show that the BDH conjecture partially settles a conjecture of Ageev. In turn, the latter implies the weak version Hilbert-Smith conjecture stating that no infinite compact zero-dimensional group can act freely on a manifold such that the orbit space is finite-dimensional.

math.GN↗

arXiv2018

An equivariant pullback structure of trimmable graph C*-algebras

We prove that the graph C*-algebra $C^*(E)$ of a trimmable graph $E$ is $U(1)$-equivariantly isomorphic to a pullback C*-algebra of a subgraph C*-algebra $C^*(E'')$ and the C*-algebra of functions on a circle tensored with another subgraph C*-algebra $C^*(E')$. This allows us to unravel the structure and K-theory of the fixed-point subalgebra $C^*(E)^{U(1)}$ through the (typically simpler) C*-algebras $C^*(E')$, $C^*(E'')$ and $C^*(E'')^{U(1)}$. As examples of trimmable graphs, we consider one-loop extensions of the standard graphs encoding respectively the Cuntz algebra $\mathcal{O}_2$ and the Toeplitz algebra $\mathcal{T}$. Then we analyze equivariant pullback structures of trimmable graphs yielding the C*-algebras of the Vaksman-Soibelman quantum sphere $S^{2n+1}_q$ and the quantum lens space $L_q^3(l; 1,l)$, respectively.

math.KT↗