arXiv research

New theorem shows embedding restrictions for manifold skeletons.

The paper proves isometric embeddings for smooth manifolds.

We examine doing probabilistic descent over manifolds implicitly defined by a set of polynomials with rational coefficients. The system of polynomials is assumed to be triangularized. An application of Whitney's embedding theorem allows us to work in a reduced dimensional embedding space. A numerical continuation metho…

Many open problems and important theorems in low-dimensional topology have been formulated as statements about certain 2--complexes called gropes. This paper describes a precise correspondence between embedded gropes in 4--manifolds and the failure of the Whitney move in terms of iterated `towers' of Whitney disks. The…

We compute the group of link homotopy classes of link maps of two 2-spheres into 4-space. It turns out to be free abelian, generated by geometric constructions applied to the Fenn-Rolfsen link map and detected by two self-intersection invariants introduced by Paul Kirk in this setting. As a corollary, we show that any …

We prove a definable version of the Whitney embedding theorem for abstract-definable $\mathcal{C}^p$ manifolds with $1\leq p<\infty$, namely: every abstract-definable $\mathcal{C}^p$ manifold is abstract-definable $C^p$ embedded into $R^N$, for some positive integer $N$. As a consequence, we show that every abstract-de…

Smooth distributions on subcartesian spaces can be globally finitely generated.

Defines coupled embeddability for maps on products of spaces, generating examples and nonexamples.

Notes on embedding criteria for smooth manifolds.

The Whitney embedding theorem gives an upper bound on the smallest embedding dimension of a manifold. If a data set lies on a manifold, a random projection into this reduced dimension will retain the manifold structure. Here we present an algorithm to find a projection that distorts the data as little as possible.

3D Schoenflies theorem for simply-connected 2-complexes.

This is an appendix to arXiv:1610.04888, "Quantitative null-cobordism", which improves one of the main results of that paper to a near-sharp one. It is not a self-contained paper.

The paper develops obstructions for embedding 2D complexes into 4D space.

The Whitney-Graustein theorem states that regular closed curves in the 2-plane are classified, up to regular homotopy, by their rotation number. Here we give a simple proof based on contact geometry.

In this paper we introduce a general notion of weak extension property for embeddings induced by a group actions. As an example, for the group H(M, m) of measure-preserving homeomorphisms of a noncompact manifold M, we deduce weak type extension theorems, and as an application we exhibit the local contractibility of th…

We use the Dold-Whitney theorem classifying $SO(3)$-bundles over a 4-complex to give a mod 4 obstruction to a 2-component link of trivial linking number being slice. It turns out that this coincides with the reduction of the Sato-Levine invariant.

We introduce dual matroids of 2-dimensional simplicial complexes. Under certain necessary conditions, duals matroids are used to characterise embeddability in 3-space in a way analogous to Whitney's planarity criterion. We further use dual matroids to extend a 3-dimensional analogue of Kuratowski's theorem to the class…

3D analog of Whitney's planarity criterion for 2-complexes.

Real analytic maps can be unstable even if infinitesimal changes are stable.

Extends functions on symmetric spaces to analytic functions.

A geometric construction of Sullivan's Stiefel-Whitney homology classes of a real analytic variety $X$ is given by means of the conormal cycle of an embedding of $X$ in a smooth variety. We prove that the Stiefel-Whitney classes define additive natural transformations from certain constructible functions to homology. W…

In Grauert's paper [G] it is noted that finite dimensionality of cohomology groups sometimes implies vanishing of these cohomomogy groups. Later on Laufer formulated a zero or infinity law for the cohomology groups of domains in Stein manifolds. In this paper we generalize Laufer's Theorem in [L] and its version for sm…

In this paper, we introduce the notions of map-germs of pedal unfolding type and normalized Legendrian map-germs; and then we show that the fundamental theorem of calculus provides a natural one to one correspondence between Whitney umbrellas of pedal unfolding type and normalized swallowtails.

We prove that a theorem of Pawlucki, showing that Whitney regularity for a subanalytic set with a smooth singular locus of codimension one implies the set is a finite union of differentiable manifolds with boundary, applies to definable sets in polynomially bounded o-minimal structures. We give a refined version of Paw…

An immersion of a smooth $n$-dimensional manifold $M \to \mathbb{R}^q$ is called totally nonparallel if, for every distinct $x, y \in M$, the tangent spaces at $f(x)$ and $f(y)$ contain no parallel lines. Given a manifold $M$, we seek the minimum dimension $TN(M)$ such that there exists a totally nonparallel immersion …

Study proves finiteness for distance functions on curved surfaces with controlled curvature.

Complete obstruction found for 2-spheres in 5-manifolds to be isotopic.

Using tools and results from geometric measure theory, we give a simple new proof of the main result (Theorem 1.3) in K. Kondo and M. Tanaka, Approximation of Lipschitz Maps via Immersions and Differentiable Exotic Sphere Theorems, \textit{Nonlinear Anal.} \textbf{155} (2017), 219--249, as well as the converse statemen…

It was proved by H. Whitney in 1933 that a Serre fibration of compact metric spaces admits a global section provided every fiber is homeomorphic to the unit interval [0,1]. Results of this paper extend Whitney theorem to the case when all fibers are homeomorphic to a given compact two-dimensional manifold.

A geometric characterization of the Arf invariant of a knot in the 3-sphere is given in terms of two kinds of 4-dimensional bordisms, half-gropes and Whitney towers. These types of bordisms have associated complexities class and order which filter the condition of bordism by an embedded annulus, i.e. knot concordance, …

Proves Massey's theorems on complex structure obstructions.

New approach finds minimum width for deep, narrow MLPs.

For an immersed Lagrangian submanifold, let $\check{A}$ be the Lagrangian trace-free second fundamental form. In this note we consider the equation $\nabla^*T=0$ on Lagrangian surfaces immersed in $\mathbb{C}^2$, where $T=-2\nabla^*(\check{A}\lrcornerω)$, and we prove a gap theorem for the Whitney sphere as a solution …

We prove the existence of Verdier stratifications for sets definable in any o-minimal structure on (R, +, .). It is also shown that the Verdier condition (w) implies the Whitney condition (b) in o-minimal structures on (R, +, .). As a consequence the Whitney Stratification Theorem holds. The existence of (wf)-stratific…

We show a Whitney Approximation Theorem for a continuous map from a manifold to a smooth CW complex. This enables us to show that a topological CW complex is homotopy equivalent to a smooth CW complex in a category of topological spaces. It is also shown that, for any open covering of a smooth CW complex, there exists …

We continue to develop an obstruction theory for embedding 2-spheres into 4-manifolds in terms of Whitney towers. The proposed intersection invariants take values in certain graded abelian groups generated by labelled trivalent trees, and with relations well known from the 3-dimensional theory of finite type invariants…

David Gabai recently proved a smooth 4-dimensional "Light Bulb Theorem" in the absence of 2-torsion in the fundamental group. We extend his result to 4-manifolds with arbitrary fundamental group by showing that an invariant of Mike Freedman and Frank Quinn gives the complete obstruction to "homotopy implies isotopy" fo…

Extends rigidity results for Whitney spheres in higher dimensions.

Time-delayed embeddings avoid self-intersections for high enough delay.

The study of Seifert linking forms for punctured n-manifolds in (2n-1)-space.

It was proved by H. Whitney in 1933 that it is possible to mark a point in all curves in a continuous way. The main result of this paper extends the Whitney theorem to dimensions 2 and 3. Namely, we prove that it is possible to choose a point continuously in all two-dimensional surfaces sufficiently close to a given su…

The paper studies graded manifolds and their functorial relationship.

We show that a compact orientable 4-manifold M has a CR regular immersion into C3 if and only if both its first Pontryagin class and its Euler characteristic vanish, and has a CR regular embedding into C3 if and only if in addition the second Stiefel-Whitney class of M vanishes.

We obtain estimations for isotopy classes of embeddings of closed k-connected n-manifolds into R^{2n-k-1} for n>2k+5 and k\ge0. This is done in terms of an exact sequence involving the Whitney invariants and an explicitly constructed action of H_{k+1}(N;Z_2) on the set of embeddings. (For k\ne1 classification results w…

The paper reduces normal curvature and enhances homology recovery via embedded submanifolds.

It was proved by H. Whitney in 1933 that a Serre fibration of compact metric spaces admits a global section provided every fiber is homeomorphic to the unit interval [0,1]. An extension of the Whitney's theorem to the case when all fibers are homeomorphic to some fixed compact two-dimensional manifold was proved by the…

Existence of smooth valuations on subspaces is shown for certain conditions.

As an application of the Bochner formula, we prove that if a $2$-dimensional Riemannian manifold admits a non-trivial smooth tangent vector field $X$ then its Gauss curvature is the divergence of a tangent vector field, constructed from $X$, defined on the open subset out the zeroes of $X$. Thanks to the Whitney embedd…