BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Roberto Hernández Palomares

Roberto Hernández Palomares contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OAmath.QAmath.CT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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

0 citations0 reviewsNo code linkedOpen access
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)).

0 citations0 reviewsNo code linkedOpen access