BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jerzy Dydak

Jerzy Dydak appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GNmath.GTmath.MGmath.ATmath.CTmath.LOmath.OA

Catalog footprint

What is connected

20works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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))$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Coverings and fundamental groups: a new approach

The traditional approach of defining the fundamental group first and then constructing universal coverings works well only for the class of Poincar\' e spaces. For general spaces there were several attempts to define generalized coverings (see \cite{BP3}, \cite{BDLM}, and \cite{FisZas}), yet there is no general theory so far that covers all path connected spaces. In this paper we plan to remedy that by changing the order of things: we define the universal covering first and its group of deck transformations is the new fundamental group of the base space. The basic idea is that a non-trivial loop ought to be detected by a covering (not by extension over the unit disk): a loop is non-trivial if there is a covering such that some lift of the loop is a non-loop. So it remains to define coverings: the most natural class is the class of maps that have unique disk lifting property. To make the theory work one needs to add the assumption that path components of pre-images of open sets form a basis of the total space.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Maps to the projective plane

We prove the projective plane $\rp^2$ is an absolute extensor of a finite-dimensional metric space $X$ if and only if the cohomological dimension mod 2 of $X$ does not exceed 1. This solves one of the remaining difficult problems (posed by A.N.Dranishnikov) in extension theory. One of the main tools is the computation of the fundamental group of the function space $\Map(\rp^n,\rp^{n+1})$ (based at inclusion) as being isomorphic to either $\Z_4$ or $\Z_2\oplus\Z_2$ for $n\ge 1$. Double surgery and the above fact yield the proof.

0 citations0 reviewsNo code linkedOpen access