Related papers: An alternative definition of coarse structures
For a coarse space $(X, \mathcal{E})$, $X^\sharp$ denotes the set of all unbounded ultrafilters on $X$ endowed with the parallelity relation: $p||q$ if there exists $E \in \mathcal{E} $ such that $ E[P]\in q $ for each $P\in p$. If $(X,…
A topology on a set $X$ is the same as a projection (i.e. an idempotent linear operator) $cl:2^X\to 2^X$ satisfying $A\subset cl(A)$ for all $A\subset X$. That's a good way to summarize Kuratowski's closure operator. Basic geometry on a set…
G-structures and Cartan geometries are two major approaches to the description of geometric structures (in the sense of differential geometry) on manifolds of some fixed dimension $n$. We show that both descriptions naturally extend to the…
We study Bowditch's notion of a coarse median on a metric space and formally introduce the concept of a coarse median structure as an equivalence class of coarse medians up to closeness. We show that a group which possesses a uniformly…
After surveying classical results, we introduce a generalized notion of inference system to support structural recursion on non-well-founded data types. Besides axioms and inference rules with the usual meaning, a generalized inference…
We present an idea of unifying small scale (topology, proximity spaces, uniform spaces) and large scale (coarse spaces, large scale spaces). It relies on an analog of multilinear forms from Linear Algebra. Each form has a large scale…
Let X be a proper metric space, which has finite asymptotic dimension in the sense of Gromov (or more generally, straight finite decomposition complexity of Dranishnikov and Zarichnyi). New descriptions are provided of the Roe algebra of X:…
In this paper, we introduce the notion of large scale resemblance structure as a new large scale structure by axiomatizing the concept of `being alike in large scale' for a family of subsets of a set. We see that in a particular case, large…
In this paper we collect some open set-theoretic problems that appear in the large-scale topology (called also Asymptology). In particular we ask problems about critical cardinalities of some special (large, indiscrete, inseparated) coarse…
We introduce arrangements of rational sections over curves. They generalize line arrangements on P^2. Each arrangement of d sections defines a single curve in P^{d-2} through the Kapranov's construction of \bar{M}_{0,d+1}. We show a…
In this paper, we introduce a notion of strongly quasi-local algebras. They are defined for each discrete metric space with bounded geometry, and sit between the Roe algebra and the quasi-local algebra. We show that strongly quasi-local…
We define the concept of a partial translation structure T on a metric space X and we show that there is a natural C*-algebra C*(T) associated with it which is a subalgebra of the uniform Roe algebra C*_u(X). We introduce a coarse invariant…
Let M be a manifold, and G a Lie group which satisfies the unique extension property. An (M,G) manifold N is a manifold endowed with an atlas (U_i,f_i) where f_i is a diffeomorphism between U_i and an open set of M such that the coordinates…
We propose an axiomatic characterization of coarse homology theories defined on the category of bornological coarse spaces. We construct a category of motivic coarse spectra. Our focus is the classification of coarse homology theories and…
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…
We introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidth, graph decomposition width, tree independence number,…
Call a pure Hodge structure geometric if it is contained in the cohomology of a smooth complex projective variety. The main goal is to show that for any set of Hodge numbers (subject to the obvious constraints), there exists a geometric…
Motivated by coarse geometry and the classical role of Roe algebras as large-scale invariants of proper metric spaces, we show that proper quantum metric spaces as introduced by Latr\'emoli\`ere are noncommutative coarse spaces. This…
Quasi-trees generalize trees in that the unique "path" between two nodes may be infinite and have any countable order type. They are used to define the rank-width of a countable graph in such a way that it is equal to the least upper-bound…
On the transversals of a subgroup of a group, using the binary operation of the group, structural mappings are defined. Based on these mappings, the notion of the hypergroup over the group is introduced, which generalizes the notion of the…