Jerzy Dydak

Boundaries for geodesic spaces

For every proper geodesic space $X$ we introduce its quasi-geometric boundary $\partial_{QG}X$ with the following properties: 1. Every geodesic ray $g$ in $X$ converges to a point of the boundary $\partial_{QG}X$ and for every point $p$ in $\partial_{QG}X$ there is a geodesic ray in $X$ converging to $p$ , 2. The boundary $\partial_{QG}X$ is compact metric, 3. The boundary $\partial_{QG}X$ is an invariant under quasi-isometric equivalences, 4. A quasi-isometric embedding induces a continuous map of quasi-geodesic boundaries, 5. If $X$ is Gromov hyperbolic, then $\partial_{QG}X$ is the Gromov boundary of $X$ . 6. If $X$ is a Croke-Kleiner space, then $\partial_{QG}X$ is a point.

Coarse structure of ultrametric spaces with applications

We show how to decompose all separable ultrametric spaces into a "Lego" combinations of scaled versions of full simplices. To do this we introduce metric resolutions of large scale metric spaces, which describe how a space can be broken up into roughly independent pieces. We use these metric resolutions to define the coarse disjoint union of large scale metric spaces, which provides a way of attaching large scale metric spaces to each other in a "coarsely independent way". We use these notions to construct universal spaces in the categories of separable and proper metric spaces of asymptotic dimension $0$ , respectively. In doing so we generalize a similar result of Dranishnikov and Zarichnyi as well as Nagórko and Bell. However, the new application is a universal space for proper metric spaces of asymptotic dimension $0$ , something that eluded those authors. We finish with a description of some countable groups that can serve as such universal spaces.

Ends of spaces via linear algebra

We develop a theory that may be considered as a prequel to the coarse theory. We are viewing ends of spaces as extra points at infinity. In order to discuss behaviour of spaces at infinity one needs a concept (a measure) of approaching infinity. The simplest way to do so is to list subsets of $X$ that are bounded (i.e. far from infinity) and that list should satisfy certain basic properties. Such a list $S_X$ we call a \textbf{scale} on a set $X$ (see Section 3). In order to use ideas from the Stone Duality Theorem we consider sub-Boolean algebras $BA_X$ of the power set $2^X$ of $X$ that contain $S_X$ and that leads naturally to the concept of ends of a \textbf{scaled Boolean algebra} $(X,S_X,BA_X)$ which can be attached to $X$ and form a new scaled Boolean algebra $(\bar X,S_X,\overline{BA_X})$ that is \textbf{compact at infinity}. Given a scaled space $(X,S_X)$ the most natural scaled Boolean algebra is $(X,S_X,2^X)$ which can be too far removed from the geometry of $X$ . Therefore we need to figure out how to trim $2^X$ to a smaller sub-Boolean algebra $BA_X$ . More generally, how to trim a sub-Boolean algebra $BA_X$ to a smaller one. That is done using ideas from linear algebra. Namely, we consider a family $\mathcal{F}$ of naturally arising $S_X$ -linear operators on $BA_X$ and the smaller sub-Boolean algebra $BA_{\mathcal{F}}$ consists of eigensets of $\mathcal{F}$ , an analog of eigenvectors from linear algebra. We show that all ends defined in literature so far (Freundenthal ends, ends of finitely generated groups, Specker ends, Cornulier ends, ends of coarse spaces) are special cases of such a process.

Mardesic factorization theorem for asymptotic dimension

The main goal of this note is to prove a coarse analogue of Factorization Theorems in Dimension Theory: Let $f: X \rightarrow Y$ be a coarsely continuous map. Then $f$ factors through coarsely continuous maps $g : X \rightarrow Z$ and $h : Z \rightarrow Y$ with asymptotic dimension of $Z$ at most asymptotic dimension of $X$ and the weight of $Z$ at most the weight of $Y$ .

preprint2021arXiv

Coarse Freundenthal compactification and ends of groups

A coarse compactification of a proper metric space $X$ is any compactification of $X$ that is dominated by its Higson compactification. In this paper we describe the maximal coarse compactification of $X$ whose corona is of dimension $0$ . In case of geodesic spaces $X$ , it coincides with the Freundenthal compactification of $X$ . As an application we provide an alternative way of extending the concept of the number of ends from finitely generated groups to arbitrary countable groups. We present a geometric proof of a generalization of Stallings' theorem by showing that any countable group of two ends contains an infinite cyclic subgroup of finite index. Finally, we define ends of arbitrary coarse spaces.

preprint2016arXiv

Large scale absolute extensors

This paper is devoted to dualization of dimension-theoretical results from the small scale to the large scale. So far there are two approaches for such dualization: one consisting of creating analogs of small scale concepts and the other amounting to the covering dimension of the Higson corona $ν(X)$ of $X$ . The first approach was used by M.Gromov when defining the asymptotic dimension $\asdim(X)$ of metric spaces $X$ . The second approach was implicitly contained in the paper \cite{Dran AsyTop} by Dranishnikov on asymptotic topology. It is not known if the two approaches yield the same concept. However, Dranishnikov-Keesling-Uspenskiy proved $\dim(ν(X)\leq \asdim(X)$ and Dranishnikov established that $\dim(ν(X)= \asdim(X)$ provided $\asdim(X) < \infty$. We characterize asymptotic dimension (for spaces of finite asymptotic dimension) in terms of extensions of slowly oscillating functions to spheres. Our approach is specifically designed to relate asymptotic dimension to the covering dimension of the Higson corona $ν(X)$ in case of proper metric spaces $X$ . As an application, we recover the results of Dranishnikov-Keesling-Uspenskiy and Dranishnikov.

preprint2016arXiv

Monotone-light factorizations in coarse geometry

We introduce large scale analogues of topological monotone and light maps, which we call coarsely monotone and coarsely light maps respectively. We show that these two classes of maps constitute a factorization system on the coarse category. We also show how coarsely monotone maps arise from a reflection in a similar way to classically monotone maps, and prove that coarsely monotone maps are stable under those pullbacks which exist in the coarse category. For the case of maps between proper metric spaces, we exhibit some connections between the coarse and classical notions of monotone and light using the Higson corona. Finally, we look at some coarse properties which are preserved by coarsely light maps such as finite asymptotic dimension and exactness, and make some remarks on the situation for groups and group homomorphisms.

preprint2016arXiv

Scale Structures and C*-algebras

The purpose of this paper is to investigate the duality between large scale and small scale. It is done by creating a connection between C*-algebras and scale structures. In the commutative case we consider C*-subalgebras of $C^b(X)$ , the C*-algebra of bounded complex-valued functions on $X$ . Namely, each C*-subalgebra $\mathscr{C}$ of $C^b(X)$ induces both a small scale structure on $X$ and a large scale structure on $X$ . The small scale structure induced on $X$ corresponds (or is analogous) to the restriction of $C^b(h(X))$ to $X$ , where $h(X)$ is the Higson compactification. The large scale structure induced on $X$ is a generalization of the $C_0$ -coarse structure of N.Wright. Conversely, each small scale structure on $X$ induces a C*-subalgebra of $C^b(X)$ and each large scale structure on $X$ induces a C*-subalgebra of $C^b(X)$ . To accomplish the full correspondence between scale structures on $X$ and C*-subalgebras of $C^b(X)$ we need to enhance the scale structures to what we call hybrid structures. In the noncommutative case we consider C*-subalgebras of bounded operators $B(l_2(X))$ .

Axiomatization of geometry employing group actions

The aim of this paper is to develop a new axiomatization of planar geometry by reinterpreting the original axioms of Euclid. The basic concept is still that of a line segment but its equivalent notion of betweenness is viewed as a topological, not a metric concept. That leads quickly to the notion of connectedness without any need to dwell on the definition of topology. In our approach line segments must be connected. Lines and planes are unified via the concept of separation: lines are separated into two components by each point, planes contain lines that separate them into two components as well. We add a subgroup of bijections preserving line segments and establishing unique isomorphism of basic geometrical sets, and the axiomatic structure is complete. Of fundamental importance is the Fixed Point Theorem that allows for creation of the concepts of length and congruency of line segments. The resulting structure is much more in sync with modern science than other axiomatic approaches to planar geometry. For instance, it leads naturally to the Erlangen Program in geometry. Our Conditions of Homogeneity and Rigidity have two interpretations. In physics, they correspond to the basic tenet that independent observers should arrive at the same measurement and are related to boosts in special relativity. In geometry, they mean uniqueness of congruence for certain geometrical figures. Another thread of the paper is the introduction of boundary at infinity, an important concept of modern mathematics, and linking of Pasch Axiom to endowing boundaries at infinity with a natural relation of betweenness. That way spherical geometry can be viewed as geometry of boundaries at infinity.

Coarse amenability and discreteness

This paper is devoted to dualization of paracompactness to the coarse category via the concept of $R$ -disjointness. Property A of G.Yu can be seen as a coarse variant of amenability via partitions of unity and leads to a dualization of paracompactness via partitions of unity. On the other hand, finite decomposition complexity of G.Yu and straight finite decomposition complexity of Dranishnikov-Zarichnyi employ $R$ -disjointness as the main concept. We generalize both concepts to that of countable asymptotic dimension and our main result shows that it is a subclass of of spaces with Property A. In addition, it gives a necessary and sufficient condition for spaces of countable asymptotic dimension to be of finite asymptotic dimension.

Inducing maps between Gromov boundaries

It is well known that quasi-isometric embeddings of Gromov hyperbolic spaces induce topological embeddings of their Gromov boundaries. A more general question is to detect classes of functions between Gromov hyperbolic spaces that induce continuous maps between their Gromov boundaries. In this paper we introduce the class of visual functions $f$ that do induce continuous maps $\tilde f$ between Gromov boundaries. Its subclass, the class of radial functions, induces Hoelder maps between Gromov boundaries. Conversely, every Hoelder map between Gromov boundaries of visual hyperbolic spaces induces a radial function. We study the relationship between large scale properties of f and small scale properties of $f$ , especially related to the dimension theory. In particular, we prove a form of the dimension raising theorem. We give a natural example of a radial dimension raising map and we also give a general class of radial functions that raise asymptotic dimension.

Preserving Coarse Properties

The aim of this paper is to investigate properties preserved and co-preserved by coarsely $n$ -to-1 functions, in particular by the quotient maps $X\to X/\sim$ induced by a finite group $G$ acting by isometries on a metric space $X$ . The coarse properties we are mainly interested in are related to asymptotic dimension and its generalizations: having finite asymptotic dimension, asymptotic Property C, straight finite decomposition complexity, countable asymptotic dimension, and metric sparsification property. We provide an alternative description of asymptotic Property C and we prove that the class of spaces with straight finite decomposition complexity coincides with the class of spaces of countable asymptotic dimension.

An approach to basic set theory and logic

The purpose of this paper is to outline a simple set of axioms for basic set theory from which most fundamental facts can be derived. The key to the whole project is a new axiom of set theory which I dubbed "The Law of Extremes". It allows for quick proofs of basic set-theoretic identities and logical tautologies, so it is also a good tool to aid one's memory. I do not assume any exposure to euclidean geometry via axioms. Only an experience with transforming algebraic identities is required. The idea is to get students to do proofs right from the get-go. In particular, I avoid entangling students in nuances of logic early on. Basic facts of logic are derived from set theory, not the other way around.

Extensions of maps to M(Z_m,1)

We show that a Moore space M(Z_m,1) is an absolute extensor for finite dimensional metrizable spaces of cohomological dimension dim_{Z_m} \leq 1.

Overlays and group actions

Overlays were introduced by R. H. Fox [6] as a subclass of covering maps. We offer a different view of overlays: it resembles the definition of paracompact spaces via star refinements of open covers. One introduces covering structures for covering maps and $p:X\to Y$ is an overlay if it has a covering structure that has a star refinement. We prove two characterizations of overlays: one using existence and uniqueness of lifts of discrete chains, the second as maps inducing simplicial coverings of nerves of certain covers. We use those characterizations to improve results of Eda-Matijevi\' c concerning topological group structures on domains of overlays whose range is a compact topological group. In case of surjective maps $p:X\to Y$ between connected metrizable spaces we characterize overlays as local isometries: $p:X\to Y$ is an overlay if and only if one can metrize $X$ and $Y$ in such a way that $p|B(x,1):B(x,1)\to B(p(x),1)$ is an isometry for each $x\in X$ .