arXiv research

Simplified proof of Lefschetz theorem for PL spheres.

For a given polyhedron $K\subset M$ the notation $R_M(K)$ denotes a regular neighborhood of $K$ in $M$. We study the following problem: find all pairs $(m,k)$ such that if $K$ is a compact $k$-polyhedron and $M$ a PL $m$-manifold, then $R_M(fK)\cong R_M(gK)$, for each two homotopic PL embeddings $f,g:K\to M$. We prove …

Simplicial spheres have a weak Lefschetz property in characteristic 2.

The study solves a 2008 problem by Kalai about infinitely many homology-spheres.

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

After surveying classical notions of PL topology of the Seventies, we clarify the relation between Morse theory and its discretization by Forman. We show that PL handles theory and discrete Morse theory are equivalent, in the sense that every discrete Morse vector on some PL triangulation is also a PL handle vector, an…

Large PL surfaces in homology balls can have arbitrarily high genus.

Every closed oriented PL 4-manifold is a branched cover of the 4-sphere branched over a PL-surface with finitely many singularities by Piergallini [Topology 34(3):497-508, 1995]. This generalizes a long standing result by Hilden and Montesinos to dimension four. Izmestiev and Joswig [Adv. Geom. 3(2):191-225, 2003] gave…

PL Morse theory proves strong regularity in low dimensions.

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

The classical knot groups are the fundamental groups of the complements of smooth or piecewise-linear (PL) locally-flat knots. For PL knots that are not locally-flat, there is a pair of interesting groups to study: the fundamental group of the knot complement and that of the complement of the ``boundary knot'' that occ…

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

We construct Bing houses in all dimensions $n \geq 3$, obtaining non-separating PL immersions of $\mathbb{S}^n \rightarrow\mathbb{R}^{n+1}$.

Algorithm identifies spheres with maximal Buchstaber number.

The (4k+2)-dimensional Kervaire manifold is a closed, piecewise linear (PL) manifold with Kervaire invariant 1 and the same homology as the product of two (2k+1)-dimensional spheres. We show that a finite group of odd order acts freely on a Kervaire manifold if and only if it acts freely on the corresponding product of…

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…

New 5-manifold without 'spine' challenges deformation conjecture.

A simplified proof for embedding higher-dimensional complexes into manifolds.

Branched covers are applied frequently in topology - most prominently in the construction of closed oriented PL d-manifolds. In particular, strong bounds for the number of sheets and the topology of the branching set are known for dimension d<=4. On the other hand, Izmestiev and Joswig described how to obtain a simplic…

The paper classifies certain PL manifolds using PL cobordism.

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

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

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…

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

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…

Paper confirms conjecture for PL foliations of codimension 2.

We extend Matveev's complexity of 3-manifolds to PL compact manifolds of arbitrary dimension, and we study its properties. The complexity of a manifold is the minimum number of vertices in a simple spine. We study how this quantity changes under the most common topological operations (handle additions, finite coverings…

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…

The study shows manifolds with special generic maps also have nice multisections.

High-dimensional data common in genomics, proteomics, and chemometrics often contains complicated correlation structures. Recently, partial least squares (PLS) and Sparse PLS methods have gained attention in these areas as dimension reduction techniques in the context of supervised data analysis. We introduce a framewo…

Finite type invariants separate PL links in 3D space.

A new PMA method combines PCA and PLS for better classification.

The purpose of this note is to scrutinize the proof of Burago and Zalgaller regarding the existence of $PL$ isometric embeddings of $PL$ compact surfaces into $\mathbb{R}^3$. We conclude that their proof does not admit a direct extension to higher dimensions. Moreover, we show that, in general, $PL$ manifolds of dimens…

This study examines the relationship between PLS and OLS regression using eigenvalue distributions.

There are 2^n possible resolutions of a smooth pseudodiagram with n precrossings. If we consider piecewise-linear (PL) pseudodiagrams and resolutions that themselves are PL, certain resolutions of the pseudodiagram may not exist in three-space. We investigate this situation and its impact on the weighted resolution set…

A new method for fair representation learning using PLS.

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

Stochastic gradient methods are dominant in nonconvex optimization especially for deep models but have low asymptotical convergence due to the fixed smoothness. To address this problem, we propose a simple yet effective method for improving stochastic gradient methods named predictive local smoothness (PLS). First, we …

Study PL bordism theories with quantitative bounds on filling simplices.

Study compact PL 4-manifolds with special handle decompositions.

Smooth symplectic manifolds can be approximated by PL symplectic manifolds.

Open and discrete maps with specific branch set images are equivalent to PL branched covers.

New method speeds up NIR spectroscopy calibration by 400x.

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

We extend results of Pachner and Casali to give finite sets of moves relating triangulations of PL manifolds respecting filtrations by locally flat manifolds and stratifications in which a finite family of simple local models exists for neighborhoods of strata.

Review of gem theory's interactions with Kirby diagrams and trisections.

Let $n$ be an integer$\geqq0$. Let $S^{n+2}_1$ (respectively, $S^{n+2}_2$) be the $(n+2)$-sphere embedded in the $(n+4)$-sphere $S^{n+4}$. Let $S^{n+2}_1$ and $S^{n+2}_2$ intersect transversely. Suppose that the smooth submanifold, $S^{n+2}_1 \cap S^{n+2}_2$ in $S^{n+2}_i$ is PL homeomophic to the $n$-sphere. Then $S^{…

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…