Source author record

Roberto Hernández Palomares

Roberto Hernández Palomares appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

8works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2025arXiv

Discrete inclusions from Cuntz-Pimsner algebras

We show that the core inclusion arising from a Cuntz-Pimsner algebra generated by a full, faithful and dualizable correspondence is C*-discrete, and express it as a crossed-product by an action of a unitary tensor category. In particular, we show the inclusion of the UHF subalgebra of the Cuntz algebra arising as the fixed-point subalgebra under the gauge symmetry, is irreducible and C*-discrete. We describe the dualizable bimodules appearing under this inclusion, including their semisimple decompositions and fusion rules, their Watatani indices and Pimsner-Popa bases, as well as their sets of cyclic algebraic generators.

preprint2025arXiv

Inclusions of Operator Algebras from Tensor Categories: beyond irreducibility

We derive faithful inclusions of C*-algebras from a coend-type construction in unitary tensor categories. This gives rise to different potential notions of discreteness for an inclusion in the non-irreducible case, and provides a unified framework that encloses the theory of compact quantum group actions. We also provide examples coming from semi-circular systems and from factorization homology. In the irreducible case, we establish conditions under which the C*-discrete and W*-discrete conditions are equivalent.

preprint2024arXiv

Discrete Inclusions of C*-algebras

We introduce the category of C*-discrete inclusions of C*-algebras $A\subset B$ with a faithful conditional expectation $E:B\twoheadrightarrow A$. This class includes many examples such as finite Watatani index inclusions, and also abundant infinite index inclusions like crossed products by outer actions of discrete (quantum) groups and unitary tensor categories. We prove irreducible $(A'\cap B= \mathbb{C}1)$ C*-discrete inclusions are precisely crossed products by outer actions of unitary tensor categories and certain C*-algebra objects.

preprint2024arXiv

K-theoretic classification of inductive limit actions of fusion categories on AF-algebras

We introduce a K-theoretic invariant for actions of unitary fusion categories on unital C*-algebras. We show that for inductive limits of finite dimensional actions of fusion categories on unital AF-algebras, this is a complete invariant. In particular, this gives a complete invariant for inductive limit actions of finite groups on AF-algebras. We apply our results to obtain a classification of finite depth, strongly AF-inclusions of unital AF-algebras.

preprint2024arXiv

Q-system completion for C* 2-categories

A Q-system in a C* 2-category is a unitary version of a separable Frobenius algebra object and can be viewed as a unitary version of a higher idempotent. We define a higher unitary idempotent completion for C* 2-categories called Q-system completion and study its properties. We show that the C* 2-category of right correspondences of unital C*-algebras is Q-system complete by constructing an inverse realization $†$ 2-functor. We use this result to construct induced actions of group theoretical unitary fusion categories on continuous trace C*-algebras with connected spectra.

preprint2024arXiv

Quantum graphs, subfactors and tensor categories I

We develop an equivariant theory of graphs with respect to quantum symmetries and present a detailed exposition of various examples. We portray unitary tensor categories as a unifying framework encompassing all finite classical simple graphs, (quantum) Cayley graphs of finite (quantum) groupoids, and all finite-dimensional quantum graphs. We model a quantum set by a finite-index inclusion of C*-algebras and use the quantum Fourier transform to obtain all possible adjacency operators. In particular, we show every finite-index subfactor can be regarded as a complete quantum graph and describe how to find all its subgraphs. As applications, we prove a version of Frucht's Theorem for finite quantum groupoids, and introduce a version of path spaces for quantum graphs.

preprint2020arXiv

Realizations of Rigid C*-Tensor Categories as Bimodules over GJS C*-Algebras

Given an arbitrary countably generated rigid C*-tensor category, we construct a fully-faithful bi-involutive strong monoidal functor onto a subcategory of finitely generated projective bimodules over a simple, exact, separable, unital C*-algebra with unique trace. The C*-algebras involved are built from the category using the GJS-construction introduced in arXiv:0911.4728 and further studied in arXiv:1208.5505 and arXiv:1401.2486. Out of this category of Hilbert C*-bimodules, we construct a fully-faithful bi-involutive strong monoidal functor into the category of bi-finite spherical bimodules over an interpolated free group factor. The composite of these two functors recovers the functor constructed in arXiv:1208.5505

preprint2019arXiv

Classifying Module Categories for Generalized Temperley-Lieb-Jones *-2-Categories

Generalized Temperley-Lieb-Jones (TLJ) 2-categories associated to weighted bidirected graphs were introduced in unpublished work of Morrison and Walker. We introduce unitary modules for these generalized TLJ 2-categories as strong *-pseudofunctors into the *-2-category of row-finite separable bigraded Hilbert spaces. We classify these modules up to *-equivalence in terms of weighted bi-directed fair and balanced graphs in the spirit of Yamagami's classification of fiber functors on TLJ categories and DeCommer and Yamashita's classification of unitary modules for Rep(SUq(2)).