arXiv research

Sharp conditions link separators to R-trees for space transformations.

We show that any homomorphism from the homeomorphism group of a compact 2-manifold, with the compact-open topology, or equivalently, with the topology of uniform convergence, into a separable topological group is automatically continuous.

We give necessary and sufficient conditions on the graph of a right-angled Artin group that determine whether the group is subgroup separable or not. Moreover, we investigate the profinite topology of the direct product of two free groups. We show that the profinite topology of the above group is strongly connected wit…

Proves a representation that separates a subgroup in RAAGs.

We prove that the fundamental group of any Seifert 3-manifold is conjugacy separable. That is, conjugates may be distinguished in finite quotients or, equivalently, conjugacy classes are closed in the pro-finite topology.

Minimal topology on surface homeomorphisms proven.

The main result of this article is a refinement of the well-known subgroup separability results of Hall and Scott for free and surface groups. We show that for any finitely generated subgroup, there is a finite dimensional representation of the free or surface group that separates the subgroup in the induced Zariski to…

Extends continuity proof to non-compact manifolds and groups.

We use wreath products to provide criteria for a group to be conjugacy separable or omnipotent. These criteria are in terms of virtual retractions onto cyclic subgroups. We give two applications: a straightforward topological proof of the theorem of Stebe that infinite-order elements of Fuchsian groups (of the first ty…

We prove that the group D^r(R) of C^r diffeomorphisms of the real line, endowed with the compact-open and Whitney C^r topologies, is bihomeomorphic to the group H(R) of homeomorphisms of the real line endowed with the compact-open and Whitney topologies. This implies that the diffeomorphism group D^r(R) endowed with th…

The compact-open topology is minimal on diffeomorphism and homeomorphism groups of most smooth manifolds.

This paper determines all possible topological symmetry groups of generalized Petersen graphs.

The article finds conditions for separating filling pairs on surfaces and constructs a Morse function.

Geometric proof of contractibility of unitary group in strong topology.

Proves conditions for separating regions in homogeneous spaces without trivial topology.

A celebrated theorem of Marshall Hall Jr. implies that finitely generated free groups are subgroup separable and that all of their finitely generated subgroups are retracts of finite-index subgroups. We use topological techniques inspired by the work of Stallings to prove that all limit groups share these two propertie…

For any surface $Σ$ of infinite topological type, we study the Torelli subgroup ${\mathcal I}(Σ)$ of the mapping class group ${\rm MCG}(Σ)$, whose elements are those mapping classes that act trivially on the homology of $Σ$. Our first result asserts that ${\mathcal I}(Σ)$ is topologically generated by the subgroup of $…

By Torelli topology the author understands aspects of the topology of surfaces (potentially) relevant to the study of Torelli groups. The present paper is devoted to a new approach to the results of W. Vautaw about Dehn multi-twists in Torelli groups and abelian subgroups of Torelli groups. The new proofs are more tran…

Johnson kernel generated by specific Dehn twists on surfaces.

For a compact, smooth C^r orbifold (without boundary), we show that the topological structure of the orbifold diffeomorphism group is a Banach manifold for finite r \ge 1 and a Frechet manifold if r=infty. In each case, the local model is the separable Banach (Frechet) space of C^r (C^infty, resp.) orbisections of the …

In this article we study the topological structure of the lifts to the universal of the stable and unstable foliations of $3$-dimensional Anosov flows. In particular we consider the case when these foliations do not have Hausdorff leaf space. We completely determine the structure of the set of non separated leaves from…

We present the complete analytical classification of the atoms arising at the critical points of rank 1 of the Kowalevski-Yehia gyrostat. To classify the Smale-Fomenko diagrams, all separating values of the gyrostatic momentum are found. We present a kind of constructor of the Fomenko graphs; its application gives the …

Constructs isoperimetric regions from separating hypersurfaces.

The study of spectral-tightness in Riemannian manifolds and its topological implications.

Paper proves Torelli group's finiteness for surfaces with 2 boundaries.

We introduce a category of rigid geometries on singular spaces which are leaf spaces of foliations and are considered as leaf manifolds. We single out a special category $\mathfrak F_0$ of leaf manifolds containing the orbifold category as a full subcategory. Objects of $\mathfrak F_0$ may have non-Hausdorff topology u…

Let M be a compact manifold, possibly with boundary. We show that the group of homeomorphisms of M has the automatic continuity property: any homomorphism from Homeo(M) to any separable group is necessarily continuous. This answers a question of C. Rosendal. If N is a submanifold of M, the group of homeomorphisms of M …

Logarithmic separation profile in hyperbolic groups shows hierarchical structure.

It is shown that the hyperspace of all nonempty closed subsets $\Cld_{AW}(X)$ of a separable metric space $X$ endowed with the Attouch-Wets topology is homeomorphic to a separable Hilbert space if and only if the completion of $X$ is proper, locally connected and contains no bounded connected component, $X$ is topologi…

Paper proves a new criterion for time-like geodesics in flat spacetimes.

In this paper, we construct an infinite presentation of the Torelli subgroup of the mapping class group of a surface whose generators consist of the set of all "separating twists", all "bounding pair maps", and all "commutators of simply intersecting pairs" and whose relations all come from a short list of topological …

The paper examines subgroup separability for surface and virtual braid groups.

New condition prevents hyperbolic spaces from matching curve complexes.

The study shows subgroup separability conditions for specific groups.

Criterion for subgroup separability in outer automorphism groups.

The fundamental group of the Menger universal curve is uncountable and not free, although all of its finitely generated subgroups are free. It contains an isomorphic copy of the fundamental group of every one-dimensional separable metric space and an isomorphic copy of the fundamental group of every planar Peano contin…

Categorical d-separation criterion simplifies probability graph analysis.

Framework separates chemical and structural contributions to aqueous solubility.

A framework separates chemical and structural contributions to aqueous solubility.

Study on hyperbolic groups, focusing on separability and splittings.

We use the theory of group actions on profinite trees to prove that the fundamental group of a finite, 1-acylindrical graph of free groups with finitely generated edge groups is conjugacy separable. This has several applications: we prove that positive, $C'(1/6)$ one-relator groups are conjugacy separable; we provide a…

New examples show some convex-cocompact subgroups are separable.

We prove that each non-separable completely metrizable convex subset of a Frechet space is homeomorphic to a Hilbert space. This resolves an old (more than 30 years) problem of infinite-dimensional topology. Combined with the topological classification of separable convex sets due to Klee, Dobrowoslki and Torunczyk, th…

We investigate compact Hausdorff foliations on compact Riemannian manifolds in the context of the Gromov-Hausdorff distance theory. We give some sufficient conditions for such foliations to be separated in the Gromov-Hausdorff topology.

We construct a correspondence between epimorphisms $\varphi \colon π_1(M) \to F_r$ from the fundamental group of a compact manifold $M$ onto the free group of rank $r$, and systems of $r$ framed non-separating hypersurfaces in $M$, which induces a bijection onto framed cobordism classes of such systems. In consequence,…

Suppose that all hyperbolic groups are residually finite. The following statements follow: In relatively hyperbolic groups with peripheral structures consisting of finitely generated nilpotent subgroups, quasiconvex subgroups are separable; Geometrically finite subgroups of non-uniform lattices in rank one symmetric sp…

Probabilistic proof shows separability in free groups.

Elementarily free groups are the finitely generated groups with the same elementary theory as free groups. We prove that elementarily free groups are subgroup separable, answering a question of Zlil Sela.