arXiv research

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

The paper shows how to approximate continuous maps to smooth CW complexes.

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…

New theorem shows embedding restrictions for manifold skeletons.

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 article we study the validity of the Whitney $C^1$ extension property for horizontal curves in sub-Riemannian manifolds endowed with 1-jets that satisfy a first-order Taylor expansion compatibility condition. We first consider the equiregular case, where we show that the extension property holds true whenever a…

In Carnot groups, directional pliability allows curve extensions and approximations.

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.

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…

Extends functions on symmetric spaces to analytic functions.

The paper proves isometric embeddings for smooth manifolds.

We study the structure of the exteriors of gropes and Whitney towers in dimension 4, focusing on their fundamental groups. In particular we introduce a notion of unknottedness of gropes and Whitney towers in the 4-sphere. We prove that various modifications of gropes and Whitney towers preserve the unknottedness and do…

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…

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…

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 …

The paper defines a stratification for Lie groupoids in a tame topology context.

New approach finds minimum width for deep, narrow MLPs.

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.

Proves Massey's theorems on complex structure obstructions.

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…

Smooth distributions on subcartesian spaces can be globally finitely generated.

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…

Extends rigidity results for Whitney spheres in higher dimensions.

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.

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…

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.

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

We study the geometric Whitney problem on how a Riemannian manifold $(M,g)$ can be constructed to approximate a metric space $(X,d_X)$. This problem is closely related to manifold reconstruction where a smooth $n$-dimensional submanifold $S\subset {\mathbb R}^m$, $m>n$ needs to be constructed to approximate a point clo…

Bridge trisections and knotted surfaces connected via tri-plane diagrams.

Stiefel-Whitney classes of moment-angle manifolds are trivial.

We present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smooth topology. Finally, we prove a definable version of a theorem of Trotman which says that the Whitney $(a)$-regularity of a stratification…

A criterion for Whitney disks connects intersections in 3-manifold homology.

In this paper we show that certain generalizations of the $C^r$-Whitney topology, which include the Hölder-Whitney and Sobolev-Whitney topologies on smooth manifolds, satisfy the Baire property, to wit, the countable intersection of open and dense sets is dense.

Notes on Whitney towers in 4-manifolds, focusing on local surface manipulations and invariants.

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

Study on curves around a Whitney umbrella focusing on geodesic and normal curvatures.

This paper computes Whitney tower filtrations of classical links. Whitney towers consist of iterated stages of Whitney disks and allow a tree-valued intersection theory, showing that the associated graded quotients of the filtration are finitely generated abelian groups. Twisted Whitney towers are studied and a new qua…

Explains a theorem about curves in the plane.

We consider a global, nonlinear version of the Whitney extension problem for manifold-valued smooth functions on closed domains $C$, with non-smooth boundary, in possibly non-compact manifolds. Assuming $C$ is a submanifold with corners, or is compact and locally convex with rough boundary, we prove that the restrictio…

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…

Smooth groupoid algebras are H-unital, with implications for algebraic and homological properties.

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.

A canonically defined mod 2 linear dependency current is associated to each collection of m sections of a real rank n vector bundle. This current is supported on the linear dependency set of the collection of sections. It is defined whenever the collection satisfies a weak measure theoretic condition called "atomicity"…

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