Related papers: The Ginsburg--Sands theorem and computability theo…
We prove a commutative Gelfand--Naimark type theorem, by showing that the set $C_s(X)$ of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space $X$ (provided with the supremum…
We define the filtrated K-theory of a C*-algebra over a finite topological space X and explain how to construct a spectral sequence that computes the bivariant Kasparov theory over X in terms of filtrated K-theory. For finite spaces with…
Let $\mathsf{TT}^2_k$ denote the combinatorial principle stating that every $k$-coloring of pairs of compatible nodes in the full binary tree has a homogeneous solution, i.e. an isomorphic subtree in which all pairs of compatible nodes have…
The basic one in this work is the axiomatic set theory $NBG$ (von Neumann-Bernays-G{\"o}del), which is a first-order theory with its own axioms, including in particular the axiom of choice ${\bf AC}$ and the axiom of regularity ${\bf RA}$.…
In this paper, combining the Rashevsky-Chow-Sussmann (orbit) theorem with the Ambrose-Singer theorem, we introduce the notion of controllable principal connections on principal $G$-bundles. Using this concept, under a mild assumption of…
This treatise concerns shapes in the sense of constellations of points with various automorphisms quotiented out: continuous translations, rotations and dilations, and also discrete mirror image identification and labelling…
Assuming the generalized continuum hypothesis we construct arbitrarily big indecomposable Banach spaces. i.e., such that whenever they are decomposed as $X\oplus Y$, then one of the closed subspaces $X$ or $Y$ must be finite dimensional. It…
We introduce a hypertopology, induced by an inframetric up to full quantum isometry, on the class of pointed proper quantum metric spaces, which are separable, possibly non-unital, C*-algebras endowed with an analogue of the Lipschitz…
The Solomon-Tits theorem says that the poset of proper non-trivial subspaces of a finite-dimensional vector space has realisation equivalent to a wedge of spheres. In this paper we prove a variant of this result for collections of geodesic…
This text contributes to the foundations of the theory of global Berkovich spaces, that is to say Berkovich spaces over Banach rings with nice properties such as $\mathbf{Z}$, rings of integers of number fields, discrete valuation rings,…
In \cite{Kramer11} Kramer proves for a large class of semisimple Lie groups that they admit just one locally compact $\sigma$-compact Hausdorff topology compatible with the group operations. We present two different methods of generalising…
Generalized topological spaces in the sense of Cs\'{a}sz\'{a}r have two main features which distinguish them from typical topologies. First, these families of subsets are not closed under intersections. Second, we allow for the possibility…
We discuss the dynamics beyond topological hyperbolicity considering homeomorphisms satisfying the shadowing property and generalizations of expansivity. It is proved that transitive countably expansive homeomorphisms satisfying the…
We prove various results in infinite-dimensional differential calculus which relate differentiability properties of functions and associated operator-valued functions (e.g., differentials). The results are applied in two areas: 1. in the…
A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible,…
In computable analysis typically topological spaces with countable bases are considered. The Theorem of Kreitz-Weihrauch implies that the subbase representation of a second-countable $T_0$ space is admissible with respect to the topology…
We consider the non-perturbative superpotential for a class of four-dimensional $\mathcal N=1$ vacua obtained from M-theory on seven-manifolds with holonomy $G_2$. The class of $G_2$-holonomy manifolds we consider are so-called twisted…
In conformal field theory (CFT) on simply connected domains of the Riemann sphere, the natural conformal symmetries under self-maps are extended, in a certain way, to local symmetries under general conformal maps, and this is at the basis…
We show that the infinite symmetric product of a connected graded-commutative algebra over the rationals is naturally isomorphic to the free graded-commutative algebra on the positive degree subspace of the original algebra. In particular,…
Using Kirchberg KK_X-classification of purely infinite, separable, stable, nuclear C*-algebras with finite primitive ideal space, Bentmann showed that filtrated K-theory classifies purely infinite, separable, stable, nuclear C*-algebras…