Related papers: On rectifiable measures in Carnot groups: represen…

As service to the community, we provide - for Euclidean space - a basic treatment of locally rectifiable chains and of the complex of locally integral chains. In this setting, we may beneficially develop the idea of a complete normed…

We show that every group $H$ of at most exponential growth with respect to some left invariant metric admits a bi-Lipschitz embedding into a finitely generated group $G$ such that $G$ is amenable (respectively, solvable, satisfies a…

A generic method for combinatorial constructions of intrinsic geometrical spaces is presented. It is based on the well known inverse sequences of finite graphs that determine (in the limit) topological spaces. If a pattern of the…

Let $G$ be a group and $\phi:H\to G$ be a contracting homomorphism from a subgroup $H<G$ of finite index. V.Nekrashevych [25] associated with the pair $(G,\phi)$ the limit dynamical system $(\lims,\si)$ and the limit $G$-space $\limGs$…

Among all affine, flat, finitely presented group schemes, we focus on those that are pure, this includes all groups which are extensions of a finite locally free group by a group with connected fibres. We prove that over an arbitrary base…

We provide an intrinsic notion of curved cosets for arbitrary Cartan geometries, simplifying the existing construction of curved orbits for a given holonomy reduction. To do this, we define an intrinsic holonomy group, which is shown to…

We define a numerical quasi-isometry invariant of a finitely generated group, whose values parametrize the difference between the group being uniformly embeddable in a Hilbert space and the reduced C*-algebra of the group being exact.

We study two aspects of the loop group formulation for isometric immersions with flat normal bundle of space forms. The first aspect is to examine the loop group maps along different ranges of the loop parameter. This leads to various…

Let $M$ be a finite volume analytic pseudo-Riemannian manifold that admits an isometric $G$-action with a dense orbit, where $G$ is a connected non-compact simple Lie group. For low-dimensional $M$, i.e. $\dim(M) < 2\dim(G)$, when the…

We prove a version of the implicit function theorem for Lipschitz mappings $f:\mathbb{R}^{n+m}\supset A \to X$ into arbitrary metric spaces. As long as the pull-back of the Hausdorff content $\mathcal{H}_{\infty}^n$ by $f$ has positive…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…

We show that any Carnot group contains a closed nowhere dense set which has measure zero but is not $\sigma$-porous with respect to the Carnot-Carath\'eodory (CC) distance. In the first Heisenberg group we observe that there exist sets…

In geometric measure theory, there is interest in studying the interaction of measures with rectifiable sets. Here, we extend a theorem of Badger and Schul in Euclidean space to characterize rectifiable pointwise doubling measures in…

We characterize compact metric spaces whose locally flat Lipschitz functions separate points uniformly as exactly those that are purely 1-unrectifiable, resolving a problem of Weaver. We subsequently use this geometric characterization to…

We extend several techniques and theorems from geometric group theory so that they apply to geometric actions on arbitrary proper metric ARs (absolute retracts). A second way that we generalize earlier results is by eliminating freeness…

We consider Lie groups equipped with arbitrary distances. We only assume that the distance is left-invariant and induces the manifold topology. For brevity, we call such object metric Lie groups. Apart from Riemannian Lie groups,…

For a separable finite diffuse measure space $\mathcal{M}$ and an orthonormal basis $\{\varphi_n\}$ of $L^2(\mathcal{M})$ consisting of bounded functions $\varphi_n\in L^\infty(\mathcal{M})$, we find a measurable subset…

Three themes of general topology: quotient spaces; absolute retracts; and inverse limits - are reapproached here in the setting of metrizable uniform spaces, with an eye to applications in geometric and algebraic topology. The results…

A very important question in geometric measure theory is how geometric features of a set translate into analytic information about it. In 1960, E. R. Reifenberg proved that if a set is well approximated by planes at every point and at every…

A version of group cohomology for locally compact groups and Polish modules has previously been developed using a bar resolution restricted to measurable cochains. That theory was shown to enjoy analogs of most of the standard algebraic…