Related papers: On Transverse Triangulations

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.

In the case of smooth manifolds, we use Forman's discrete Morse theory to realize combinatorially any Thom-Smale complex coming from a smooth Morse function by a couple triangulation-discrete Morse function. As an application, we prove that…

We study the problem of diagonalization of the metric of 3-dimensional Lorentzian manifold. Applying the technique of moving frames, we prove that every smooth Lorentzian 3-manifold admits an atlas in which the metric assumes a diagonal…

We give some results concerning the smoothness of the image of a real-analytic submanifold in complex space under the action of a finite holomorphic mapping. For instance, if the submanifold is not contained in a proper complex subvariety,…

We classify all closed, aspherical Riemannian manifolds M whose universal cover has indiscrete isometry group. One sample application is the theorem that any such M with word-hyperbolic fundamental group must be isometric to a negatively…

We establish a smoothness result for families of biholomorphisms between smooth families of strongly pseudoconvex domains, each with trivial biholomorphism group. This is accomplished by considering the Riemannian geometry of their Bergman…

Associated to an embedded surface in the $3$-sphere, we construct a diagram of fundamental groups, and prove that it is a complete invariant, wherefrom we deduce complete invariants of handlebody links, tunnels of handlebody links, and…

We prove that for every natural number k there are simply connected topological four-manifolds which have at leat k distinct smooth structures supporting Einstein metrics, and also have infinitely many distinct smooth structures not…

We show that in any triangulated 3-manifold, every index n topologically minimal surface can be transformed to a surface which has local indices (as computed in each tetrahedron) that sum to at most n. This generalizes classical theorems of…

We prove that the image of a real analytic Riemannian manifold under a smooth Riemannian submersion is necessarily real analytic.

It is conjectured that every cusped hyperbolic 3-manifold has a decomposition into positive volume ideal hyperbolic tetrahedra (a "geometric" triangulation of the manifold). Under a mild homology assumption on the manifold we construct…

We prove that any smooth Riemannian manifold of non-negative scalar curvature and with a strictly mean convex and compact boundary component can be (C^2) extended beyond the component to have non-negative scalar curvature and to enjoy…

Brunella's classification implies that every smooth foliation on a compact complex surface admits a singular transversely projective structure. However, Biswas and Dumitrescu's recent work shows that certain foliations on compact complex…

We prove that if an orientable 3-manifold $M$ admits a complete Riemannian metric whose scalar curvature is positive and has a subquadratic decay at infinity, then it decomposes as a (possibly infinite) connected sum of spherical manifolds…

Let $X$ be a real analytic orbifold. Then each stratum of $X$ is a subanalytic subset of $X$. We show that $X$ has a unique subanalytic triangulation compatible with the strata of $X$. We also show that every ${\rm C}^r$-orbifold, $1\leq…

A trisection of a smooth, closed, oriented 4-manifold is a decomposition into three 4-dimensional 1-handlebodies meeting pairwise in 3-dimensional 1-handlebodies, with triple intersection a closed surface. The fundamental groups of the…

We prove that any smooth mapping between reduced analytic spaces induces a natural pullback operation on smooth differential forms.

The authors give a complete classification of projective threefolds admitting a holomorphic normal projective connection. Moreover, they prove a general structure theorem on complex projective manifolds admitting a holomorphic normal…

We show that every bordered Riemann surface, $M$, with smooth boundary $bM$ admits a proper holomorphic map $M\to \Omega$ into any bounded strongly pseudoconvex domain $\Omega$ in $\mathbb C^n$, $n>1$, extending to a smooth map $f:\overline…

We prove that every continuous mapping from a separable infinite-dimensional Hilbert space $X$ into $\mathbb{R}^{m}$ can be uniformly approximated by $C^\infty$ smooth mappings {\em with no critical points}. This kind of result can be…