arXiv research

New embeddings show answer to Baker-Laidacker question can be yes or no.

We develop a formalism that allows us to describe Markov compacta with finite sets of diagrams that are building blocks of the entire sequence. This encodes complex, continuous spaces with discrete collections of combinatorial objects. We show that topological properties of the limit (such as $k$-connectedness, local $…

New compacta with unique embedding properties found.

We rephrase Gromov's definition of Markov compacta, introduce a subclass of Markov compacta defined by one building block and study cohomological dimensions of these compacta. We show that for a Markov compactum $X$, $\dim_{\Z_{(p)}}X=\dim_{\Q}X$ for all but finitely many primes $p$ where $\Z_{(p)}$ is the localization…

In this paper we study compacta Y that are resolvable by a free p-adic action on a compactum of a lower dimension and focus on compacta Y whose cohomological dimension with respect to the group Z[1/p] is 1.

Fine shape of local compacta represented by ordinary maps.

Defines finite type Multivalued Shape using hyperspaces.

An important "stability" theorem in shape theory, due to D.A. Edwards and R. Geoghegan, characterizes those compacta having the same shape as a finite CW complex. In this note we present straightforward and self-contained proof of that theorem.

Finite approximations help reconstruct countable metric and ultrametric spaces.

We present some results on n-dimensional compacta lying in n-dimensional products of compacta, in particular, in products of n 1-dimensional compacta. Most of our basic results are proven under the assumption that the compacta X admit essential maps into the n-sphere. The results of the present paper may be viewed as a…

We introduce and develop fine shape, which has a very simple definition and aims to supersede all previously known shape theories for metrizable spaces. The problem with known shape theories of metrizable spaces is illustrated by the following bizarre situation. Čech cohomology is an invariant of shape, and a fortiori …

The homological dimension $d_G$ of metric compacta was introduced by Alexandroff. In this paper we provide some general properties of $d_G$, mainly with an eye towards describing the dimensional full-valuedness of compact metric spaces. As a corollary of the established properties of $d_G$, we prove that any two-dimens…

Spaces are classified as almost homology n-manifolds if their homology groups are trivial for all but the last dimension.

We construct an isotopy of a planar compactum that is not the restriction of an isotopy of any planar continuum.

Compacta X and Y are said to admit a stable intersection in R^n if there are maps f : X -> R^n and g : Y -> R^n such that for every sufficiently close continuous approximations f' : X -> R^n and g' : Y -> R^n of f and g we have f'(X)\cap g'(Y)\neq\emptyset. The well-known conjecture asserting that X and Y do not admit …

Classifies compact spaces by shape, finite spaces by weak homotopy.

Let L be a countable and locally finite CW complex. Suppose that the class of all metrizable compacta of extension dimension not greater than L contains a universal element which is an absolute extensor in dimension L. Our main result shows that L is quasi-finite.

The aim of this paper is to show how the homotopy type of compact metric spaces can be reconstructed by the inverse limit of an inverse sequence of finite approximations of the corresponding space. This recovering allows us to define inverse persistence as a new kind of persistence process.

Cencelj and Dranishnikov showed that for certain nilpotent groups $G$, $K(G_{ab},1) \in \text{AE}(X)$ is equivalent to $K(G,1) \in \text{AE}(X)$ for any compacta $X$ (here $G_{ab}$ is the abelianization of $G$). We examine the same problem for solvable groups. We also give an elementary proof of this fact for any nilpo…

We give a short answer to the question in the title: {\em dendrits}. Precisely we show that the $C^{\ast}$-algebra $C(X)$ of all complex-valued continuous functions on a compactum $X$ is projective in the category ${\mathcal C}^{1}$ of all (not necessarily commutative) unital $C^{\ast}$-algebras if and only if $X$ is a…

For arbitrary integer n, we describe a large class of right-angled Coxeter systems for which the visual baundary (of the corresponding Coxeter-Davis complex) is homeomorphic to the n-dimensional Sierpiński compactum. We also provide a necessary and sufficient condition for a planar simplicial complex L under which the …

A Heegaard splitting of a closed, orientable three-manifold satisfies the disjoint curve property if the splitting surface contains an essential simple closed curve and each handlebody contains an essential disk disjoint from this curve [Thompson, 1999]. A splitting is full if it does not have the disjoint curve proper…

Study local properties of homogeneous ANR-spaces, proving dimension full-valuedness.

Fine shape theory extends strong shape to noncompact metrizable spaces.

Smooth knots can be embedded into a specific Menger continuum.

A generic finite presentation defines a word hyperbolic group whose boundary is homeomorphic to the Menger curve. In this article, we produce the first known examples of non-hyperbolic $CAT(0)$ groups whose visual boundary is homeomorphic to the Menger curve. The examples in question are the Coxeter groups whose nerve …

It is an open question (Pawlikowski) whether every finitely generated group can be realized as a fundamental group of a compact metric space. In this paper we prove that any countable group can be realized as the fundamental group of a compact subspace of four dimensional Euclidean space. According to theorems of Shela…

Approximates cycles in planar and bounded-genus graphs.

We show that all finite-dimensional resolvable generalized manifolds with the piecewise disjoint arc-disk property are codimension one manifold factors. We then show how the piecewise disjoint arc-disk property and other general position properties that detect codimension one manifold factors are related. We also note …

We present a new property, the Disjoint Path Concordances Property, of an ENR homology manifold X which precisely characterizes when X times R has the Disjoint Disks Property. As a consequence, X times R is a manifold if and only if X is resolvable and it possesses this Disjoint Path Concordances Property.

The paper uses polyhedral expansions to capture the shape of compact metric spaces.

We prove the existence of a center, or continuous selection of a point, in the relative interior of $C^1$ embedded $k$-disks in Riemannian $n$-manifolds. If $k\le 3$ the center can be made equivariant with respect to the isometries of the manifold, and under mild assumptions the same holds for $k=4=n$. By contrast, for…

A new classification method using disjoint centroids and normalized distance.

Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This paper is primarily concerned with the case of compacta, in which Steenrod homot…

Two triples of triangles having pairwise disjoint outlines in 3-space are called combinatorially isotopic if one triple can be obtained from the other by a continuous motion during which the outlines of the triangles remain pairwise disjoint. We conjecture that it can be algorithmically checked if an (ordered or unorde…

Uniform bounds found for Sierpinski carpet hyperbolic components.

Milnor proved two uniqueness theorems for axiomatic (co)homology: one for pairs of compacta (1960) and another, in particular, for pairs of countable simplicial complexes (1961). We obtain their common generalization: the Eilenberg-Steenrod axioms along with Milnor's map excision axiom and a (non-obvious) common genera…

A natural generalization of interval exchange maps are linear involutions, first introduced by Danthony and Nogueira. Recurrent train tracks with a single switch which we call non-classical interval exchanges, form a subclass of linear involutions without flips. They are analogs of classical interval exchanges, and are…

We estimate from below the number of lines meeting each of given 4 disjoint smooth closed curves in a given cyclic order in the real projective 3-space and in a given linear order in the Euclidean 3-space. Similarly, we estimate the number of circles meeting in a given cyclic order given 6 disjoint smooth closed curves…

The paper introduces MU for NMF with $β$-divergences and disjoint constraints.

We prove that the number s(n) of disjoint minimal graphs supported on domains in R^n is bounded by e(n+1)^2. In the two-dimensional case we show that s(2) is at most three (the conjectured number is two).

We note a simple algebraic proof of Frolkina's result that $\mathbb R^3$ does not contain uncountably many pairwise disjoint copies of the Möbius band, and of a similar result in higher dimensions.

We show that many algebraic actions of higher-rank abelian groups on zero-dimensional groups are mutually disjoint. The proofs exploit differences in the entropy geometry arising from subdynamics and a form of Abramov--Rokhlin formula for half-space entropies.

New theorem on embedding Moebius bands in 3D space.

The study bounds the excess of disjoint nonorientable surfaces in a 4-manifold.

Spaces containing compact subsets with polyhedral complements are studied.

New algorithm for learning causal structures with disjoint cycles in linear non-Gaussian models.

In accordance with the Bing-Borsuk conjecture, we show that if X is an n-dimensional homogeneous metric ANR compactum and x\in X, then there is a local basis at x consisting of connected open sets U such that the cohomological properties of \overline U and bdU are similar to the properties of the closed ball \mathbb B^…