SearcharxivSearch

arXiv subjects

Ralf Meyer

Publications and source records attributed to Ralf Meyer.

At least 19 recordsLinked to original sources

Type semigroups for twisted groupoids and a dichotomy for groupoid C*-algebras

We develop a theory of type semigroups for arbitrary twisted, not necessarily Hausdorff étale groupoids. The type semigroup is a dynamical version of the Cuntz semigroup. We relate it to traces, ideals, pure infiniteness, and stable finiteness of the reduced and essential C*-algebras. If the reduced C*-algebra of a twisted groupoid is simple and the type semigroup satisfies a weak version of almost unperforation, then the C*-algebra is either stably finite or purely infinite. We apply our theory to Cartan inclusions. We calculate the type semigroup for the possibly non-Hausdorff groupoids associated to self-similar group actions on graphs and deduce a dichotomy for the resulting Exel-Pardo algebras.

math.OA

A bicategorical perspective on Steinberg algebras

We show that the Steinberg algebra construction for ample groupoids is part of a pseudofunctor from the bicategory of ample groupoids and groupoid correspondences to the bicategory of rings with local units and nondegenerate bimodules. We define a covariance ring for diagrams in this bicategory of rings and show that it is a bicategorical limit. We compute the covariance ring for a diagram of ``proper'' bimodules over an Ore monoid. For diagrams coming from groupoid correspondences, we identify the covariance ring with the Steinberg algebra of its groupoid model.

math.RA

Groupoid models for relative Cuntz-Pimsner algebras of groupoid correspondences

A groupoid correspondence on an etale, locally compact groupoid induces a C*-correspondence on its groupoid C*-algebra. We show that the Cuntz-Pimsner algebra for this C*-correspondence relative to an ideal associated to an open invariant subset of the groupoid is again a groupoid C*-algebra for a certain groupoid. We describe this groupoid explicitly and characterise it by a universal property that specifies its actions on topological spaces. Our construction unifies the construction of groupoids underlying the C*-algebras of topological graphs and self-similar groups.

math.OA

A universal property for groupoid C*-algebras. II. Fell bundles

We define possibly unsaturated, upper semicontinuous Fell bundles over Hausdorff, locally compact groupoids and establish a universal property for representations of their full section C*-algebras on Hilbert modules over arbitrary C*-algebras. Based on this, we prove that the full section C*-algebra is functorial and exact, and we define a quasi-orbit space and a quasi-orbit map. We deduce and extend Renault's Integration and Disintegration Theorems to general Fell bundles using our universal property.

math.OA

A universal coefficient theorem for actions of finite groups on C*-algebras

The equivariant bootstrap class in the Kasparov category of actions of a finite group G consists of those actions that are equivalent to one on a Type I C*-algebra. Using a result by Arano and Kubota, we show that this bootstrap class is already generated by the continuous functions on G/H for all cyclic subgroups H of G. Then we prove a Universal Coefficient Theorem for the localisation of this bootstrap class at the group order |G|. This allows us to classify certain G-actions on stable Kirchberg algebras up to cocycle conjugacy.

math.OA

Graph morphisms as groupoid actors

We describe proper actors from the underlying groupoid of a graph C*-algebra to another étale groupoid in terms of bisections. This allows to understand graph morphisms and the *-homomorphisms that they induce more conceptually. More generally, we describe actors from the groupoid model of a groupoid correspondence to any étale groupoid. This also covers the groupoids associated to self-similar groups and self-similar graphs, among others.

math.OA

Topological insulators and stable isomorphism versus isomorphism of vector bundles

This note gives an overview of the mathematical framework underlying topological insulators, highlighting the connection to K-theory and vector bundles. We see ``real'' and ``quaternionic'' vector bundles arise naturally in the presence of time-reversal symmetry. Our recent results about when stable isomorphism implies isomorphism are summarised, including some ongoing work for G-equivariant K-theory for finite groups. This clarifies when K-theory completely distinguishes topological phases.

math.KT

On equivariant embeddings of G-bundles

For a compact group G, we give a sufficient condition for embedding one G-equivariant vector bundle into another one and for a stable isomorphism between two such bundles to imply an isomorphism. Our criteria involve multiplicities of irreducible representations of stabiliser groups. We also apply our result to ordinary nonequivariant vector bundles over the fields of quaternions, real and complex numbers and to ``real'' and ``quaternionic'' vector bundles. Our results apply to the classification of symmetry-protected topological phases of matter, providing computable bounds on the number of energy bands required to distinguish robust from fragile topological phases.

math.KT

The Baum-Connes conjecture for extensions

This note provides a counterexample showing that the assumptions that Chabert and Echterhoff have imposed in their permanence property of the Baum-Connes conjecture for group extensions cannot be simplified.

math.KT

Isomorphism and stable isomorphism in "real" and "quaternionic" K-theory

We find lower bounds on the rank of a "real" vector bundle over an involutive space, such that "real" vector bundles of higher rank have a trivial summand and such that a stable isomorphism for such bundles implies ordinary isomorphism. We prove similar lower bounds also for "quaternionic" bundles. These estimates have consequences for the classification of topological insulators with time-reversal symmetry.

math.KT

Many-body Expansion Based Machine Learning Models for Octahedral Transition Metal Complexes

Graph-based machine learning models for materials properties show great potential to accelerate virtual high-throughput screening of large chemical spaces. However, in their simplest forms, graph-based models do not include any 3D information and are unable to distinguish stereoisomers such as those arising from different orderings of ligands around a metal center in coordination complexes. In this work we present a modification to revised autocorrelation descriptors, our molecular graph featurization method for machine learning various spin state dependent properties of octahedral transition metal complexes (TMCs). Inspired by analytical semi-empirical models for TMCs, the new modeling strategy is based on the many-body expansion (MBE) and allows one to tune the captured stereoisomer information by changing the truncation order of the MBE. We present the necessary modifications to include this approach in two commonly used machine learning methods, kernel ridge regression and feed-forward neural networks. On a test set composed of all possible isomers of binary transition metal complexes, the best MBE models achieve mean absolute errors of 2.75 kcal/mol on spin-splitting energies and 0.26 eV on frontier orbital energy gaps, a 30-40% reduction in error compared to models based on our previous approach. We also observe improved generalization to previously unseen ligands where the best-performing models exhibit mean absolute errors of 4.00 kcal/mol (i.e., a 0.73 kcal/mol reduction) on the spin-splitting energies and 0.53 eV (i.e., a 0.10 eV reduction) on the frontier orbital energy gaps. Because the new approach incorporates insights from electronic structure theory, such as ligand additivity relationships, these models exhibit systematic generalization from homoleptic to heteroleptic complexes, allowing for efficient screening of TMC search spaces.

physics.chem-ph

Correspondences between graph C*-algebras

We describe proper correspondences from graph C*-algebras to arbitrary C*-algebras by K-theoretic data. If the target C*-algebra is a graph C*-algebra as well, we may lift an isomorphism on a certain invariant to correspondences back and forth that are inverse to each other up to ideal-preserving homotopy. This implies a classification theorem for purely infinite graph C*-algebras up to stable isomorphism.

math.OA

Inductive Limits of Noncommutative Cartan Inclusions

We prove that an inductive limit of aperiodic noncommutative Cartan inclusions is a noncommutative Cartan inclusion whenever the connecting maps are injective, preserve normalisers and entwine conditional expectations. We show that under the additional assumption that the inductive limit Cartan subalgebra is either essentially separable, essentially simple or essentially of Type I we get an aperiodic inclusion in the limit. Consequently, we subsume the case where the building block Cartan subalgebras are commutative and provide a proof of a theorem of Xin Li without passing to twisted étale groupoids.

math.OA

Analytic cyclic homology in positive characteristic

Let $V$ be a complete discrete valuation ring with residue field $\mathbb{F}$. We define a cyclic homology theory for algebras over $\mathbb{F}$, by lifting them to free algebras over $V$, which we enlarge to tube algebras and complete suitably. We show that this theory may be computed using any pro-dagger algebra lifting of an $\mathbb{F}$-algebra. We show that our theory is polynomially homotopy invariant, excisive, and matricially stable.

math.KT

Local cyclic homology for nonarchimedean Banach algebras

Let V be a complete discrete valuation ring with uniformiser p. We introduce an invariant of Banach V-algebras called local cyclic homology. This invariant is related to analytic cyclic homology for complete, bornologically torsionfree V-algebras. It is shown that local cyclic homology only depends on the reduction mod p of a Banach V-algebra and that it is homotopy invariant, matricially stable, and excisive.

math.KT

Geometric construction of classes in van Daele's K-theory

We describe explicit generators for the "real" K-theory of "real" spheres in van Daele's picture. Pulling these generators back along suitable maps from tori to spheres produces a family of Hamiltonians used in the physics literature on topological insulators. We compute their K-theory classes geometrically, based on wrong-way functoriality of K-theory and the geometric version of bivariant K-theory, which we extend to the "real" case.

math.KT