Related papers: Dimension, comparison, and almost finiteness

We explore a new connection between synthetic domain theory and Grothendieck topoi related to the distributive lattice classifier. In particular, all the axioms of synthetic domain theory (including the inductive fixed point object and the…

Let $G$ be a finite group, let $A$ be an infinite-dimensional stably finite simple unital C*-algebra, and let $\alpha \colon G \to \operatorname{Aut} (A)$ be a tracially strictly approximately inner action of $G$ on $A$. Then the radius of…

We introduce a bivariant version of the Cuntz semigroup as equivalence classes of order zero maps generalizing the ordinary Cuntz semigroup. The theory has many properties formally analogous to KK-theory including a composition product. We…

Quantum theory is extremely successful in explaining most physical phenomena, and is not contradicted by any experiment. Yet, the theory has many puzzling features : the occurrence of probabilities, the unclear distinction between the…

We introduce a new algebraic concept of an algebra which is "almost" commutative (more precisely "quasi-commutative differential graded algebra" or ADGQ, in French). We associate to any simplicial set X an ADGQ - called D(X) - and show how…

In the setting of product systems over group-embeddable monoids, we consider nuclearity of the associated Toeplitz C*-algebra in relation to nuclearity of the coefficient algebra. Our work goes beyond the known cases of single…

For a number of properties of C*-algebras, including real rank zero, stable rank one, pure infiniteness, residual hereditary infiniteness, the combination of pure infiniteness and the ideal property, the property of being an AT algebra with…

We introduce a type of zero-dimensional dynamical system (a pair consisting of a totally disconnected compact metrizable space along with a homeomorphism of that space), which we call "fiberwise essentially minimal", and we prove that the…

We establish an Esakia duality for the categories of temporal Heyting algebras and temporal Esakia spaces. This includes a proof of contravariant equivalence and a congruence/filter/closed-upset correspondence. We then study two notions of…

We study the topological variant of Rokhlin dimension for topological dynamical systems (X,{\alpha},Z^m) in the case where X is assumed to have finite covering dimension. Finite Rokhlin dimension in this sense is a property that implies…

We study the scalar-tensor theory of gravity profoundly in the action level as well as in the thermodynamic level. Contrary to the usual description in the literature about the equivalence in the two conformally connected frames, this paper…

We introduce and study a notion of module nuclear dimension for a $C^{*}$-algebra $A$ which is $C^*$-module over another $C^*$-algebra $\mathfrak A$ with compatible actions. We show that the module nuclear dimension of $A$ is zero if $A$ is…

Given a dynamical system $(X, \Gamma)$, the corresponding crossed product $C^*$-algebra $C(X)\rtimes_{r}\Gamma$ is called reflecting, when every intermediate $C^*$-algebra $C^*_r(\Gamma)<\mathcal{A} < C(X)\rtimes_{r}\Gamma$ is of the form…

We show that any free action of a connected Lie group of polynomial growth on a finite dimensional locally compact space has finite tube dimension. This is shown to imply that the associated crossed product C*-algebra has finite nuclear…

We show that separable, nuclear and strongly purely infinite C*-algebras have finite nuclear dimension. In fact, the value is at most three. This exploits a deep structural result of Kirchberg and R{\o}rdam on strongly purely infinite…

Using free probability constructions involving Cuntz-Pimsner C*-algebras we show that the topological entropy of the free product of two automorphisms is equal to the maximum of the individual entropies. As applications we show that general…

Generalizing the case of the Toeplitz algebra by Brake and Winter, we prove that the nuclear dimension of a C*-algebra extension of C(X) by the compact operators is equal to the dimension of X.

For an action of a finite group on a C*-algebra, we present some conditions under which properties of the C*-algebra pass to the crossed product or the fixed point algebra. We mostly consider the ideal property, the projection property,…

In this paper, we study almost finiteness and almost finiteness in measure of non-free actions. Let $\alpha:G\curvearrowright X$ be a minimal action of a locally finite-by-virtually $\mathbb{Z}$ group $G$ on the Cantor set $X$. We prove…

We extend the classical Feferman-Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum…