Related papers: $K$-continuity is equivalent to $K$-exactness
We investigate the representation theory of finite sets. The correspondence functors are the functors from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. They have various…
In this note we give a simplified proof of a recent result of X.X. Chen, which together with work of G. Szekelyhidi implies that on a sufficiently small deformation of a polarized constant scalar curvature Kahler manifold the K-energy has a…
A strong confluence result for Q*, a quantum lambda-calculus with measurements, is proved. More precisely, confluence is shown to hold both for finite and infinite computations. The technique used in the confluence proof is syntactical but…
We develop a finite KKG-theory of C*-algebras following Arlettaz- H.Inassaridze's approach to finite algebraic K-theory. The Browder- Karoubi-Lambre's theorem on the orders of the elements for finite algebraic K-theory is extended to finite…
Rickard proved that for certain self-injective algebras, a stable equivalence induced from an exact functor is a stable equivalence of Morita type, in the sense of Brou\'{e}. In this paper we study singular equivalences of finite…
Kruskal's theorem states that a sum of product tensors constitutes a unique tensor rank decomposition if the so-called k-ranks of the product tensors are large. In this work, we propose a conjecture in which the k-rank condition of…
We construct Ahlfors regular Cantor sets $K$ of small dimension in the plane, such that the Hausdorff measure on $K$ is equivalent to the harmonic measure associated to its complement. In particular the Green function in $R^2 \backslash K$…
We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable…
Let $H$ and $K$ be two complex inner product spaces with dim$(X)\geq 2$. We prove that for each non-zero additive mapping $A:H \to K$ with dense image the following statements are equivalent: $(a)$ $A$ is (complex) linear or…
Unique continuation results are proved for metrics with prescribed Ricci curvature in the setting of bounded metrics on compact manifolds with boundary, and in the setting of complete, conformally compact metrics. Related to this issue, an…
Let $X$ and $Y$ be real analytic manifolds and let $\Lambda \subseteq T^*X$ and $\Sigma \subseteq T^*Y$ be closed conic subanalytic singular isotropics. Given a sheaf $K \in \mathrm{Sh}_{-\Lambda \times \Sigma}(X \times Y)$ microsupported…
In this article, we show that the $C^*$-envelope of the minimal tensor product of two operator systems is isomorphic to the minimal tensor product of their $C^*$-envelopes. We do this by identifying the Silov boundary ideal of the minimal…
We investigate some analytic properties of traces of Dirichlet forms with respect to measures satisfying Hardy-type inequality. Among other results we prove convergence of spectra, ordered eigenvalues, eigenfunctions as well as convergence…
A locally compact groupoid is said to be exact if its associated reduced crossed product functor is exact. In this paper, we establish some permanence properties of exactness, including generalizations of some known results for exact…
We develop new aspects of the homological algebra theory for persistence modules, in both the one-parameter and multi-parameter settings. For a poset $P$ and an order preserving map $\varphi:P\times P\to P$, we introduce a novel tensor…
We study general properties of exotic crossed-product functors and characterise those which extend to functors on equivariant C*-algebra categories based on correspondences. We show that every such functor allows the construction of a…
We obtain a fundamental inequality for a contraction with respect to a $C^*$-algebra valued metric space. As an application of this inequality a simple proof is given for the fixed point theorem in $C^*$-algebra valued metric space.
Let X and Y be Banach spaces and F a subset of B_{Y^*}. Endow Y with the topology \tau_F of pointwise convergence on F. Let T: X^* \to Y be a bounded linear operator which is (w^*, \tau_F) continuous. Assume that every vector in the range…
In this paper it is proved that if a minimal system has the property that its sequence entropy is uniformly bounded for all sequences, then it has only finitely many ergodic measures and is an almost finite to one extension of its maximal…
We give an introduction to the concept of Kan extensions, and study its relation with the notions of coend and adjoint functors. We state and prove in detail a well known formula to compute Kan extensions by using coends: a certain colimit…