Related papers: An alternative definition of coarse structures
For a discrete metric space (or more generally a large scale space) $X$ and an action of a group $G$ on $X$ by coarse equivalences, we define a type of coarse quotient space $X_G$, which agrees up to coarse equivalence with the orbit space…
We investigate the large scale geometry of certain metric spaces through the lens of dynamics. Our approach establishes a close connection between large scale dynamical phenomena and operator algebras by characterizing various large scale…
As Christopher Alexander discovered, all space or matter - either organic or inorganic - has some degree of order in it according to its structure and arrangement. The order refers to a kind of structural character, called living structure,…
Coherent structures emerge from the dynamics of many kinds of dissipative, externally driven, nonlinear systems, and continue to provoke new questions that challenge our physical and mathematical understanding. In one specific sub-class of…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
Property A introduced by Guoliang Yu is an amenability-type property for metric spaces. In this article, we study property A for uniformly locally finite coarse spaces. Main examples of coarse spaces are a metric space, a set equipped with…
We define a notion of coordinatization for $\aleph_0$-categorical structures which is, like Lie coordinatized structures in [2], a certain kind of expansion of a tree. We show that a structure which is coordinatized, in a certain strong…
Tree sets are posets with additional structure that generalize tree-like objects in graphs, matroids, or other combinatorial structures. They are a special class of abstract separation systems. We study infinite tree sets and how they…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
A sequence $(a_{n}) $ in an Abelian group is called a $T$-sequence if there exists a Hausdorff group topology on $G$ in which $(a_{n}) $ converges to $0$. For a $T$-sequence $(a_{n}) $, $\tau_{(a_{n}) } $ denotes the strongest group…
We generalize parts of the theory of associative geometries developed by Kinyon and the author in the framework of universal algebra: we prove that certain associoid structures, such as pregroupoids and principal equivalence relations, have…
We exhibit a connection between geometric stability theory and the classification of unstable structures at the level of simplicity and the $\mathrm{NSOP}_{1}$-$\mathrm{SOP}_{3}$ gap. Particularly, we introduce generic expansions $T^{R}$ of…
For a variety with a finitely generated total coordinate ring, we describe basic geometric properties in terms of certain combinatorial structures living in its divisor class group. For example, we describe the singularities, we calculate…
In this paper we develop an axiomatic approach to coarse homology theories. We prove a uniqueness result concerning coarse homology theories on the category of `coarse CW-complexes'. This uniqueness result is used to prove a version of the…
We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and…
Given a coarse space $(X, \mathcal{E})$ with the bornology $\mathcal B$ of bounded subsets, we extend the coarse structure $\mathcal E$ from $X\times X$ to the natural coarse structure on $(\mathcal B \backslash \lbrace…
In this paper we will relate hyperstructures and the general $\mathscr{H}$-principle to known mathematical structures, and also discuss how they may give rise to new mathematical structures. The main purpose is to point out new ideas and…
We show that topological phases include disordered materials if the underlying invariant is interpreted as originating from coarse geometry. This coarse geometric framework, grounded in physical principles, offers a natural setting for the…
Warped cones are metric spaces introduced by John Roe from discrete group actions on compact metric spaces to produce interesting examples in coarse geometry. We show that a certain class of warped cones $\mathcal{O}_\Gamma (M)$ admit a…