arXiv research

Proves a Thom Isotopy Theorem for nonproper semialgebraic maps.

Proof confirms Hamiltonian isotopy of submanifolds.

Enhances Pontryagin-Thom theorem for manifold maps.

Proves a Thom isomorphism for foliated differential forms.

We study Thom Transversality Theorem using a point of view, suggested by Gromov, which allows to avoid the use of Sard Theorem and gives finer informations on the structure of the set of non-transverse maps.

Proves Arnold-Thom conjecture for surfaces' arrival times.

The first part of this article intends to present the role played by Thom in diffusing Smale's ideas about immersion theory, at a time (1957) where some famous mathematicians were doubtful about them: it is clearly impossible to make the sphere inside out! Around a decade later, M. Gromov transformed Smale's idea in wh…

Relative Thom polynomials for maps around boundaries established.

Given a multifunction from $X$ to the $k-$fold symmetric product $Sym_k(X)$, we use the Dold-Thom Theorem to establish a homological selection Theorem. This is used to establish existence of Nash equilibria. Cost functions in problems concerning the existence of Nash Equilibria are traditionally multilinear in the mixe…

These notes are the first chapter of a monograph, dedicated to a detailed proof of the equivariant index theorem for transversally elliptic operators. In this preliminary chapter, we prove a certain number of natural relations in equivariant cohomology. These relations include the Thom isomorphism in equivariant cohomo…

This paper has been withdrawn by the author due a crucial sign error in Theorem B. We present a geometric proof of Thom conjecture, which uses Khovanov homology. Our approach doesn't use any analytic methods and is quite different from proof given by Kronheimer and Mrowka in 1994.

In his 1979 paper Trotman proves, using the techniques of the Thom transversality theorem, that under some conditions on the dimensions of the manifolds under consideration, openness of the set of maps transverse to a stratification in the strong (Whitney) topology implies that the stratification is $(a)$-regular. Here…

Given a smooth compact manifold with boundary, we show that the subcomplex of the deformed de Rham complex consisting of eigenspaces of small eigenvalues of the Witten Laplacian is canonically isomorphic to the Thom-Smale complex constructed by Laudenbach. Our proof is based on Bismut-Lebeau's analytic localization tec…

Establishes jet transversality for regular maps from flexible manifolds.

Develops deformation theory for mapping spaces related to Morse theory and Bott-Thom isomorphism.

In this article we define Lagrangian concordance of Legendrian knots, the analogue of smooth concordance of knots in the Legendrian category. In particular we study the relation of Lagrangian concordance under Legendrian isotopy. The focus is primarily on the algebraic aspects of the problem. We study the behavior of t…

The paper explores density of stable mappings and their properties.

This note is an exposition of the proof of Thom's conjecture by Kronheimer and Mrowka, using the new Seiberg-Witten invariants.

We prove a generalization of Thom's transversality theorem. It gives conditions under which the jet map $f_*|_Y:Y\subseteq J^r(D,M)\ra J^r(D,N)$ is generically (for $f:M\ra N$) transverse to a submanifold $Z\subseteq J^r(D,N)$. We apply this to study transversality properties of a restriction of a fixed map $g:M\ra P$ …

In this paper, we demonstrate a relation among Seiberg-Witten invariants which arises from embedded surfaces in four-manifolds whose self-intersection number is negative. These relations, together with Taubes' basic theorems on the Seiberg-Witten invariants of symplectic manifolds, are then used to prove the symplectic…

We present a grid diagram analogue of Carter, Rieger and Saito's smooth movie theorem. Specifically, we give definitions for grid movies, grid movie isotopies and present a definition of grid planar isotopy as a particular subset of the grid diagram moves: stabilization, destabilization and commutation. We show that gr…

In this paper we first give a one-move version of Markov's braid theorem for knot isotopy in $S^3$ that sharpens the classical theorem. Then a relative version of Markov's theorem concerning a fixed braided portion in the knot. We also prove an analogue of Markov's theorem for knot isotopy in knot complements. Finally …

We treat the Witten operator on the de Rham complex with semiclassical heat kernel methods to derive the Poincaré-Hopf theorem and degenerate generalizations of it. Thereby, we see how the semiclassical asymptotics of the Witten heat kernel are related to approaches using the Thom form of Mathai and Quillen.

Proves a theorem for comparing surfaces in 3D space.

We give a short proof of the Gauss-Bonnet theorem for a real oriented Riemannian vector bundle $E$ of even rank over a closed compact orientable manifold $M$. This theorem reduces to the classical Gauss-Bonnet-Chern theorem in the special case when $M$ is a Riemannian manifold and $E$ is the tangent bundle of $M$ endow…

New smoothing techniques for topological surfaces in 4-manifolds.

In this article, the author provides full details of the proof of the concordance/isotopy problem. The first published proof, [5], accomplished this task only partially since there was an error, see the erratum [6], which damaged the main argument of [5, Theorem 2.9], and, consequently, the proof of [5, Theorem A].

We establish the Thom isomorphism in twisted K-theory for any real vector bundle and develop the push-forward map in twisted K-theory for any differentiable proper map $f: X\to Y$ (not necessarily K-oriented). The push-forward map generalizes the push-forward map in ordinary K-theory for any $K$-oriented differentiable…

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…

In the note, we give a proof, based on the Generalized Thom Conjecture, of Bennequin's Theorem on upper bound for the Euler number of a link which is considered as a closed braid. A lower bound for the Euler number of a link is also given.

We use the mapping cone for the relative deRham cohomology of a manifold with boundary in order to show that the Chern-Gauss-Bonnet Theorem for oriented Riemannian vector bundles over such manifolds is a manifestation of Lefschetz Duality in any of the two embodiments of the latter. We explain how Thom isomorphism fits…

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…

The paper proves a conjecture linking two metrics on manifold cohomology.

We present a cocycle model for elliptic cohomology with complex coefficients in which methods from 2-dimensional quantum field theory can be used to rigorously construct cocycles. For example, quantizing a theory of vector bundle-valued fermions yields a cocycle representative of the elliptic Thom class. This construct…

The abstract proves a Moser-like theorem for C-symplectic structures and applies it to complex manifolds.

Researchers describe a new Thom form for mapping cones.

In [5] I solved the Thom's conjecture that a proper Thom map is triangulable. In this paper I drop the properness condition in the semialgebraic case and, moreover, in the definable case in an o-minimal structure.

Revisits Pontryagin's proof of stable stems 0, 1, and 2.

In this paper a geometric approach toward stable homotopy groups of spheres, based on the Pontrjagin-Thom construction is proposed. From this approach a new proof of Hopf Invariant One Theorem by J.F.Adams for all dimensions except $15,31,63,127$ is obtained. It is proved that for $n>127$ in the stable homotopy group o…

Paper constructs Thom-Smale complex using instantons from Morse functions.

We revisit the cohomological index theorem for elliptic elements in the universal enveloping algebra of a Lie groupoid previously proved by the authors. We prove a Thom isomorphism for Lie algebroids which enables us to rewrite the "topological side" of the index theorem. This results in index formulae for Lie groupoid…

This is a simple reading report of professor Weiping Zhang's lectures. In this article we will mainly introduce the basic ideas of Witten deformation, which were first introduced by Edward Witten on, and some applications of it. The first part of this article mainly focuses on deformation of Dirac operators and some im…

Improved proofs for topological and smooth pseudo-isotopies of simply connected 4-manifolds.

Analytic realization of Thom-Smale complex for G-manifolds.

We give a new approach to intersection theory. Our "cycles" are closed manifolds mapping into compact manifolds and our "intersections" are elements of a homotopy group of a certain Thom space. The results are then applied in various contexts, including fixed point, linking and disjunction problems. Our main theorems r…

The symplectic isotopy conjecture states that every smooth symplectic surface in $CP^2$ is symplectically isotopic to a complex algebraic curve. Progress began with Gromov's pseudoholomorphic curves [Gro85], and progressed further culminating in Siebert and Tian's proof of the conjecture up to degree 17 [ST05], but fur…

This note is an exposition of Waldhausen's proof of Waldhausen's Theorem: the three-sphere has a single Heegaard splitting, up to isotopy, in every genus. As a necessary step we also give a sketch of the Reidemeister-Singer Theorem.

Part 2 discusses compatibility between analytic and topological Gysin maps.