Related papers: Scott-Karp analysis without sentences

Suppose one seeks to free oneself from a symmetric absolute space by quotienting out its symmetry group. This in general however fails to erase all memory of this absolute space's symmetry properties. Stratification is one major reason for…

The purpose of this note is twofold. In the first part we observe that two finitely generated non-amenable groups are quasi-isometric if and only if they admit topologically orbit equivalent Cantor minimal actions. In particular, free…

A classical result of variational analysis, known as Attouch theorem, establishes the equivalence between epigraphical convergence of a sequence of proper convex lower semicontinuous functions and graphical convergence of the corresponding…

Let a differential 4D-manifold with a smooth coframe field be given. Consider the operators on it that are linear in the second order derivatives or quadratic in the first order derivatives of the coframe, both with coefficients that depend…

We use the homotopy invariance of equivariant principal bundles to prove that the equivariant ${\mathcal A}$-category of Clapp and Puppe is invariant under Morita equivalence. As a corollary, we obtain that both the equivariant…

We review the canonical analysis of the Palatini action without going to the time gauge as in the standard derivation of Loop Quantum Gravity. This allows to keep track of the Lorentz gauge symmetry and leads to a theory of Covariant Loop…

We introduce a graded homology theory for graded \'etale groupoids. For $\mathbb Z$-graded groupoids, we establish an exact sequence relating the graded zeroth-homology to non-graded one. Specialising to the arbitrary graph groupoids, we…

A notion of morphism that is suitable for the sheaf-theoretic approach to contextuality is developed, resulting in a resource theory for contextuality. The key features involve using an underlying relation rather than a function between…

In this paper we establish a direct connection between stable approximate unitary equivalence for $*$-homomorphisms and the topology of the KK-groups which avoids entirely C*-algebra extension theory and does not require nuclearity…

In contrast to classical strongly continuous semigroups, the study of bi-continuous semigroups comes with some freedom in the properties of the associated locally convex topology. This paper aims to give minimal assumptions in order to…

We use correspondences to define a purely topological equivariant bivariant K-theory for spaces with a proper groupoid action. Our notion of correspondence differs slightly from that of Connes and Skandalis. We replace smooth K-oriented…

We study when the mapping class group of an infinite-type surface $S$ admits an action with unbounded orbits on a connected graph whose vertices are simple closed curves on $S$. We introduce a topological invariant for infinite-type…

We provide a systematic classification of multiparticle entanglement in terms of equivalence classes of states under stochastic local operations and classical communication (SLOCC). We show that such an SLOCC equivalency class of states is…

A noncommutative and noncocommutative Hopf algebra on finite topologies H_T is introduced and studied (freeness, cofreeness, self-duality...). Generalizing Stanley's definition of P-partitions associated to a special poset, we define the…

We demonstrate that the proper homotopy equivalence relation for locally finite graphs is Borel complete. Furthermore, among the infinite graphs, there is a comeager equivalence class. As corollaries, we obtain the analogous results for the…

In previous work, I introduced a measure-conjugacy invariant for sofic group actions called sofic entropy. Here it is proven that the sofic entropy of an amenable group action equals its classical entropy. The proof uses a new…

Orbifold equivalence is a notion of symmetry that does not rely on group actions. Among other applications, it leads to surprising connections between hitherto unrelated singularities. While the concept can be defined in a very general…

We show how to enlarge the covariance group of any classical field theory in such a way that the resulting "covariantized" theory is 'essentially equivalent' to the original. In particular, our technique will render any classical field…

We present a novel, yet rather simple construction within the traditional framework of Scott domains to provide semantics to probabilistic programming, thus obtaining a solution to a long-standing open problem in this area. Unlike current…

By analogy with the invariant Q-category defined by Scheerer, Stanley and Tanr\'e, we introduce the notions of Q-sectional category and Q-topological complexity. We establish several properties of these invariants. We also obtain a formula…