arXiv research

Suppose M is a noncompact connected PL 2-manifold. In this paper we study the topological property of the triple (H(M)_0, H^PL(M)_0, H^PL, c(M)_0), where H(M)_0 is the identity component of the homeomorphism group {\cal H}(M) of M with the compact-open topology, and H^PL(M)_0 and H^PL, c(M)_0 are the identity component…

Paper confirms conjecture for PL foliations of codimension 2.

Classifies triangulated 4-manifolds up to six pentachora, finding exceptions.

Minimal crystallizations of simply connected PL 4-manifolds are very natural objects. Many of their topological features are reflected in their combinatorial structure which, in addition, is preserved under the connected sum operation. We present a minimal crystallization of the standard PL K3 surface. In combination w…

Proves common stellar subdivisions for all PL homeomorphic polyhedra.

The study examines how gamma positivity and PL homeomorphism types affect simplicial spheres.

With a compact PL manifold X we associate a category T(X). The objects of T(X) are all combinatorial manifolds of type X, and morphisms are combinatorial assemblies. We prove that the homotopy equivalence BT (X) \approx BPL(X) holds, where PL(X) is the simplicial group of PL-homeomorphisms. Thus the space BT(X) is a ca…

We develop a tighter implementation of basic PL topology, which keeps track of some combinatorial structure beyond PL homeomorphism type. With this technique we clarify some aspects of PL transversality and give combinatorial proofs of a number of known results. New results include a combinatorial characterization of c…

We describe an algorithm to subdivide automatically a given set of PL n-manifolds (via coloured triangulations or, equivalently, via crystallizations) into classes whose elements are PL-homeomorphic. The algorithm, implemented in the case n=4, succeeds to solve completely the PL-homeomorphism problem among the catalogu…

Suppose M is a noncompact connected PL 2-manifold and let H(M)_0 denote the identity component of the homeomorphism group of M with the compact-open topology. In this paper we classify the homotopy type of H(M)_0 by showing that {\cal H}(M)_0 has the homotopy type of the circle if M is the plane, an open or half open a…

We show that the group of all pl-homeomorphisms of the reals having bounded slopes surjects on the group $QI({\Bbb R})$ of all quasi-isometries of ${\Bbb R}$. We prove that the following groups can be imbedded in $QI({\Bbb R})$: The group of compactly supported pl-homeomorphisms of the reals, the Richard Thompson group…

In this article, we construct a crystallization of the mapping torus of some (PL) homeomorphisms $f:M \to M$ for a certain class of PL-manifolds $M$. These yield upper bounds for gem-complexity and regular genus of a large class of PL-manifolds. The bound for the regular genus is sharp for the mapping torus of some (PL…

Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One of the most fundamental properties of definable sets is that a compact definable …

The study explores convex unions and completions in simplicial pseudomanifolds, revealing unexpected behavior.

A classical result by Pachner states that two $d$-dimensional combinatorial manifolds with boundary are PL homeomorphic if and only they can be connected by a sequence of shellings and inverse shellings. We prove that for balanced, i.e., properly $(d + 1)$-colored, manifolds such a sequence can be chosen such that bala…

The paper classifies bundles over complex projective plane.

The image of the branch set of a PL branched cover between PL $n$-manifolds is a simplicial $(n-2)$-complex. We demonstrate that the reverse implication also holds: an open and discrete map $f \colon \mathbb{S}^n \to \mathbb{S}^n$ with the image of the branch set contained in a simplicial $(n-2)$-complex is equivalent …

We study various analogues of theorems from PL topology for cubical complexes. In particular, we characterize when two PL homeomorphic cubulations are equivalent by Pachner moves by showing the question to be equivalent to the existence of cobordisms between generic immersions of hypersurfaces. This solves a question a…

We construct expanding endomorphisms on smooth manifolds that are homeomorphic to tori yet have exotic underlying PL-structures.

The paper extends Thurston's method to new variants of Mather-Thurston theorem.

Let M be a PL 2-manifold and X be a compact subpolyhedron of M and let E(X, M) denote the space of embeddings of X into M with the compact-open topology. In this paper we study an extension property of embeddings of X into M and show that the restriction map from the homeomorphism group of M to E(X, M) is a principal b…

We will describe some results regarding the algorithmic nature of homeomorphism problems for manifolds; in particular, the following theorem. Theorem 1: Every PL or smooth simply connected manifold M^n of dimension n at least 5 can be recognized among simply connected manifolds. That is, there is an algorithm to decide…

Proves PL cobordism category's homotopy type, analogous to smooth case.

Let $M^4$ be a PL-manifold of nonnegative curvature that is homeomorphic to a product of two spheres, $S^2 \times S^2$. We prove that $M$ is a direct metric product of two spheres endowed with some polyhedral metrics. In other words, $M$ is a direct metric product of the surfaces of two convex polyhedra in $\mathbb{R}^…

Finite type invariants separate PL links in 3D space.

Let $G$ be a Lie group and $M$ a smooth proper $G$-manifold. Let $pi:Mto M/G$ denote the natural map to the orbit space. Then there exist a PL manifold $P$, a polyhedron $L$ and homeomorphisms $tau:Pto M$ and $σ:M/Gto L$ such that $σ\circpi\circτ$ is PL. If $M$ and the $G$-action are of analytic class, we can choose su…

We study two--generated subgroups $\langle f,g\rangle<\mathrm{Homeo}^+(I)$ such that $\langle f^2,g^2\rangle$ is isomorphic to Thompson's group $F$, and such that the supports of $f$ and $g$ form a chain of two intervals. We show that this class contains uncountably many isomorphism types. These include examples with n…

Study introduces combinatorial criterion for quasi-isometry groups of Euclidean spaces.

For Bezier curves, subdivision algorithms create control polygons as piecewise linear (PL) approximations that converge in terms of Hausdorff distance. We prove that the exterior angles of control polygons under subdivision converge to 0 at the rate of $O(\sqrt{\frac{1}{2^i}})$, where $i$ is the number of subdivisions.…

We study lower bounds for the number of vertices in a PL-triangulation of a given manifold $M$. While most of the previous estimates are based on the dimension and the connectivity of $M$, we show that further information can be extracted by studying the structure of the fundamental group of $M$ and applying techniques…

In this short note, exploits of constructions of $\mathcal{F}$-structures coupled with technology developed by Cheeger-Gromov and Paternain-Petean are seen to yield a procedure to compute minimal entropy, minimal volume, Yamabe invariant and to study collapsing with bounded sectional curvature on inequivalent smooth st…

We show that there exist non-trivial piecewise-linear (PL) knots with isolated singularities $S^{n-2}\subset S^n$, $n\geq 5$, whose complements have the homotopy type of a circle. This is in contrast to the case of smooth, PL locally-flat, and topological locally-flat knots, for which it is known that if the complement…

Given a closed oriented PL four-manifold $X$ and a closed surface $B$ embedded in $X$ with isolated cone singularities, we give a formula for the signature of an irregular dihedral cover of $X$ branched along $B$. For $X$ simply-connected, we deduce a necessary condition on the intersection form of a simply-connected i…

634 vertex-transitive and over 10^103 non-vertex-transitive 27-vertex triangulations of octonionic projective plane.

We show how to use topological ideas, such as compactness, to establish orderability properties of infinite groups. A new application is to provide a left-ordering for the group of PL homeomorphisms of a connected surface with boundary which are fixed on at least one boundary component. This has been extended in recent…

In this paper, we introduce a bordism category $\mathcal{C}_d^{PL}$ whose objects are bundles of closed $(d-1)$-dimensional piecewise linear manifolds and whose morphisms are bundles of $d$-dimensional piecewise linear cobordisms. In the main theorem of this article, we show that the classifying space $B\mathcal{C}_d^{…

New PL invariant classifies K3 surface degenerations.

We prove that an open manifold $M$ of dimension at least $5$ which admits a complete CAT(0) polyhedral metric is pseudo-collarable, its fundamental group at infinity is strongly perfectly semistable and has vanishing Chapman-Siebenmann obstruction $τ_{\infty}(M)$. Moreover, this implies that $M$ is topologically collap…

Classifies semi-equivelar gems on surfaces with Euler characteristic -1.

Solves linearity problem for acyclic groups, bounds Cheeger-Gromov ρ-invariants.

In 1992, Brehm and Kühnel constructed a 8-dimensional simplicial complex $M^8_{15}$ with 15 vertices as a candidate to be a minimal triangulation of the quaternionic projective plane. They managed to prove that it is a manifold "like a projective plane" in the sense of Eells and Kuiper. However, it was not known until …

In this paper we extend the classical theory of combinatorial manifolds to the non-homogeneous setting. NH-manifolds are polyhedra which are locally like Euclidean spaces of varying dimensions. We show that many of the properties of classical manifolds remain valid in this wider context. NH-manifolds appear naturally w…

Properties of a parametric curve in R^3 are often determined by analysis of its piecewise linear (PL) approximation. For Bezier curves, there are standard algorithms, known as subdivision, that recursively create PL curves that converge to the curve in distance . The exterior angles of PL curves under subdivision are s…

Geometric aspects of the filtration on classical links by k-quasi-isotopy are discussed, including the effect of Whitehead doubling, relations with Smythe's n-splitting and Kobayashi's k-contractibility. One observation is: ω-quasi-isotopy is equivalent to PL isotopy for links in a homotopy 3-sphere (resp. contractible…

This paper shows that a construction, which was introduced by Piotr Minc in connection with a problem that came from Helly type theorems and that allows to replace three PL-arcs with a "sheltered middle path", can in the case of general (non-PL) paths result in the topologist's sine curve.

Partial Least Squares (PLS) methods have been heavily exploited to analyse the association between two blocs of data. These powerful approaches can be applied to data sets where the number of variables is greater than the number of observations and in presence of high collinearity between variables. Different sparse ve…

Let $\imath: M\to \RR^{p+2}$ be a smooth embedding from a connected, oriented, closed $p$-dimesional smooth manifold to $\RR^{p+2}$, then there is a spin structure $\imath^\sharp(ς^{p+2})$ on $M$ canonically induced from the embedding. If an orientation-preserving diffeomorphism $τ$ of $M$ extends over $\imath$ as an o…

We show that the group of smooth homotopy $7$-spheres acts freely on the set of smooth manifold structures on a topological manifold $M$ which is homotopy equivalent to the real projective $7$-space. We classify, up to diffeomorphism, all closed manifolds homeomorphic to the real projective $7$-space. We also show that…