arXiv research

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

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 …

This paper describes the relationship between the first non-vanishing Milnor invariants of a classical link and the intersection invariant of a twisted Whitney tower. This is a certain 2-complex in the 4-ball, built from immersed disks bounded by the given link in the 3-sphere together with finitely many `layers' of Wh…

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…

We show how to measure the failure of the Whitney trick in dimension 4 by constructing higher- order intersection invariants of Whitney towers built from iterated Whitney disks on immersed surfaces in 4-manifolds. For Whitney towers on immersed disks in the 4-ball, we identify some of these new invariants with previous…

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

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…

This paper describes grope and Whitney tower filtrations on the set of concordance classes of classical links in terms of class and order respectively. Using the tree-valued intersection theory of Whitney towers, the associated graded quotients are shown to be finitely generated abelian groups under a (surprisingly) we…

We construct many examples of non-slice knots in 3-space that cannot be distinguished from slice knots by previously known invariants. Using Whitney towers in place of embedded disks, we define a geometric filtration of the 3-dimensional topological knot concordance group. The bottom part of the filtration exhibits all…

In this short note, we compare the combinatorial sign assignment of Manolescu, Ozsvath, Szabo and Thurston for grid homology of knots and links in 3-sphere with the sign assignment coming from a coherent system of orientations on Whitney disks. Although these constructions produce different signs, a small modification …

The procedure to remove double intersections called the Whitney trick is one of the main tools in the topology of manifolds. The analogues of Whitney trick for $r$-tuple intersections were `in the air' since 1960s. However, only recently they were stated, proved and applied to obtain interesting results. Here we prove …

It is known that if any prime power branched cyclic cover of a knot in the 3-sphere is a homology sphere, then the knot has vanishing Casson-Gordon invariants. We construct infinitely many examples of (topologically) non-slice knots in the 3-sphere whose prime power branched cyclic covers are homology spheres. We show …

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

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.

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

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…

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…

Link concordance and Whitney towers linked to Milnor invariants.

We introduce a notion of symmetric Whitney tower cobordism between bordered 3-manifolds, aiming at the study of homology cobordism and link concordance. It is motivated by the symmetric Whitney tower approach to slicing knots and links initiated by Cochran, Orr, and Teichner. We give amenable Cheeger-Gromov rho-invaria…

Geometric trick simplifies link homotopy and concordance.

Extends functions on symmetric spaces to analytic functions.

The first part of this paper completes the classification of Whitney towers in the 4-ball that was started in three related papers. We provide an algebraic framework allowing the computations of the graded groups associated to geometric filtrations of classical link concordance by order n (twisted) Whitney towers in th…

Characterizes Whitney forms on simplices and proves their uniqueness.

The paper characterizes Whitney and contact Whitney spheres in complex and Sasakian space forms.

We present complete classifications of links in the 3-sphere modulo framed and twisted Whitney towers in a rational homology 4-ball. This provides a geometric characterization of the vanishing of the Milnor invariants of links in terms of Whitney towers. Our result also says that the higher order Arf invariants, which …

Study curves on a Whitney umbrella using geometric invariants.

A 4-manifold is parallelizable if its Stiefel-Whitney and Pontryagin classes vanish.

We study the singularities of the members of the family of height functions on Whitney umbrellas, which is also known as cross-caps, and show that the family of the height functions is a versal unfolding. Moreover, we study local intersections of a Whitney umbrella with a hyperplane through its singular point.

New theorem shows embedding restrictions for manifold skeletons.

Triple-point Whitney trick classifies ornaments of 3-manifolds.

We give a geometric proof of existence of Whitney stratifications of definable sets in o-minimal structures.

The paper finds Riemannian metric representatives for Stiefel-Whitney classes.

Study shows non-vanishing Stiefel-Whitney classes and absence of spin^C structures in certain hyperbolic manifolds.

New bounds and examples for sphere unknotting numbers.

Researchers find examples of real Bott manifolds with nonzero dual Stiefel-Whitney class wbar_{n-ahat(n)} for all n nonzero mod 4.

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

Paper proves Whitney stratified spaces can be given a conically smooth structure.

The classical Whitney formula relates the number of times an oriented plane curve cuts itself to its rotation number and the index of a base point. In this paper we generalize Whitney's formula to curves on an oriented punctured surface. To define analogs of the rotation number and the index of a base point of a curve,…

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…

We propose a new notion of `n-category with duals', which we call a Whitney n-category. There are two motivations. The first is that Baez and Dolan's Tangle Hypothesis is (almost) tautological when interpreted as a statement about Whitney categories. The second is that we can functorially construct `fundamental Whitney…

We prove that the group D^r(R) of C^r diffeomorphisms of the real line, endowed with the compact-open and Whitney C^r topologies, is bihomeomorphic to the group H(R) of homeomorphisms of the real line endowed with the compact-open and Whitney topologies. This implies that the diffeomorphism group D^r(R) endowed with th…

We show that Tim Cochran's invariants $β^i(L)$ of a $2$-component link $L$ in the $3$--sphere can be computed as intersection invariants of certain 2-complexes in the $4$--ball with boundary $L$. These 2-complexes are special types of twisted Whitney towers, which we call {\em Cochran towers}, and which exhibit a new p…

The first part of this paper exposits a simple geometric description of the Kirby-Siebenmann invariant of a 4--manifold in terms of a quadratic refinement of its intersection form. This is the first in a sequence of higher-order intersection invariants of Whitney towers studied by the authors, particularly for the 4--b…

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.

For a closed real algebraic plane affine curve dividing its complexification and equipped with a complex orientation, the Whitney number is expressed in terms of behavior of its complexification at infinity.

Relative self-linking and linking "numbers" for pairs of knots in oriented 3-manifolds are defined in terms of intersection invariants of immersed surfaces in 4-manifolds. The resulting concordance invariants generalize the usual homological notion of linking by taking into account the fundamental group of the ambient …

This is an overview article. After an introduction to convenient calculus in infinite dimensions, the foundational material for manifolds of mappings is presented. The central character is the smooth convenient manifold $C^{\infty}(M,N)$ of all smooth mappings from a finite dimensional Whitney manifold germ $M$ into a …