arXiv research

Paper confirms conjecture for PL foliations of codimension 2.

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…

Proves common stellar subdivisions for all PL homeomorphic polyhedra.

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…

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.

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…

Study PL topology theorems for cubical complexes, solving Habegger and Funar's conjecture.

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…

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

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…

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…

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

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

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}^…

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…

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…

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…

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…

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…

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…

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…

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…

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…

The regular genus of certain 4-manifolds is determined, providing new insights.

This is an expository paper giving a proof of the existence and uniqueness of smooth structures (hence also PL structures) on topological surfaces. Most published proofs rely on the topological Schoenflies theorem, but here we use instead the Kirby torus trick. This has the advantage of reducing the point-set topology …

A closed formula is obtained for the integral $\int_{\mathcal{\bar{H}}_g^1}κ_{1}ψ^{2g-2}$ of tautological classes over the locus of hyperelliptic Weierstraß points in the moduli space of curves. As a corollary, a relation between Hodge integrals is obtained. The calculation utilizes the homeomorphism between the moduli…

The article studies crystallizations of small covers over simple polytopes and finds unique crystallizations for the $n$-simplex.

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…

We investigate the face numbers of simplicial complexes with Buchsbaum vertex links, especially pseudomanifolds with isolated singularities. This includes deriving Dehn-Sommerville relations for pseudomanifolds with isolated singularities and establishing lower bound theorems when the singularities are also homological…

The paper classifies certain PL manifolds using PL cobordism.

There has been renewed interest in $\mathbb{S}^3$-bundles over $\mathbb{S}^4$ since K. Grove and W. Ziller constructed metrics on nonnegative curvature on the total spaces of these bundles. In this paper we write down necessary and sufficient conditions for a CW complex to be homotopy equivalent to such a bundle. We al…

Given a Kaehler group $G$ and a primitive class $φ\in H^1(G;Z)$, we show that the rank gradient of $(G;φ)$ is zero if and only if Ker $φ$ is finitely generated. Using this approach, we give a quick proof of the fact (originally due to Napier and Ramachandran) that Kaehler groups are not properly ascending or descending…

New triangulations of quaternionic projective plane found with various symmetry groups.

PLS-Lasso integrates dimension reduction into regression for financial index tracking.