Related papers: $K$-continuity is equivalent to $K$-exactness

Three central results in economic theory --- Brouwer's fixed-point theorem, Sperner's lemma, and the Knaster-Kuratowski-Mazurkiewicz (KKM) lemma --- are known to be equivalent. In almost all cases, elementary direct proofs of one of these…

A triangular limit algebra A is isometrically isomorphic to the tensor algebra of a C*-correspondence if and only if its fundamental relation R(A) is a tree admitting a $Z^+_0$-valued continuous and coherent cocycle. For triangular limit…

Given an arbitrary countable directed graph $G$ we prove the C*-envelope of the tensor algebra $T_+(G)$ coincides with the universal Cuntz-Krieger algebra associated with $G$. Our approach is concrete in nature and does not rely on Hilbert…

In this paper, we study the persistence and remaining regularity of KAM invariant torus under sufficiently small perturbations of a Hamiltonian function together with its derivatives, in sense of finite smoothness with modulus of…

We build on work of Elek and Zucker and develop a topological analogue of the theory of weak containment. We show that definitions in terms of local patterns, containment in ultra(co)products, and continuous model theory are all equivalent,…

We give a natural notion of (non-exact) integral functor in the context of k-linear and graded categories. In this broader sense, we prove that every k-linear and graded functor is integral.

We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's…

As part of the study of correspondence functors, the present paper investigates their tensor product and proves some of its main properties. In particular, the correspondence functor associated to a finite lattice has the structure of a…

Let $\gamma = (\gamma_1,...,\gamma_N)$, $N \geq 2$, be a system of proper contractions on a complete metric space. Then there exists a unique self-similar non-empty compact subset $K$. We consider the union ${\mathcal G} = \cup_{i=1}^N…

Let $A$ be a separable, unital and exact $C^*$-algebra satisfying the universal coefficient theorem. We prove uniqueness theorems up to unitary conjugacy for unital, full and nuclear maps from $A$ into ultraproducts of finite von Neumann…

We study the nature of applicative bisimilarity in $\lambda$-calculi endowed with operators for sampling from continuous distributions. On the one hand, we show that bisimilarity, logical equivalence, and testing equivalence all coincide…

G. Tian and S.K. Donaldson formulated a conjecture relating GIT stability of a polarized algebraic variety to the existence of a Kahler metric of constant scalar curvature. In [Don02] Donaldson partially confirmed it in the case of…

Let $\Lambda$ be a complete metric space, and let $\{S_\lambda(\cdot):\ \lambda\in\Lambda\}$ be a parametrised family of semigroups with global attractors ${\mathscr A}_\lambda$. We assume that there exists a fixed bounded set $D$ such that…

For a real reductive group $G$, we investigate the structure of the Casselman algebra $\mathcal{S}(G)$ and its similarities to the structure of the reduced group $C^*$-algebra $C_r^*(G)$. We demonstrate that the two algebras are assembled…

We establish the preservation of the way-below relation with respect to the tensor product.

We develop a Harder-Narasimhan theory for Kisin modules generalizing a similar theory for finite flat group schemes due to Fargues. We prove the tensor product theorem, i.e., that the tensor product of semi-stable objects is again…

We show in Bishop's constructive mathematics---in particular, using countable choice---that weak K\"{o}nig's lemma implies the uniform continuity theorem.

We extend in this paper several results of E. Kirchberg, S. Wassermann and the author dealing with continuous fields of C*--algebras to the semi-continuous case. We provide a new characterisation of separable lower semi-continuity…

We give a new proof of the classical result due to Rodney Y. Sharp and Peter Vamos on the dimension of tensor product of a finite number of field extensions of a given field.

The uniform tracial completion of a C*-algebra A with compact non-empty trace space T(A) is obtained by completing the unit ball with respect to the uniform 2-seminorm $\|a\|_{2,T(A)}=\sup_{\tau \in T(A)} \tau(a^*a)^{1/2}$. The trace…