Related papers: A remark on $\mathscr{C}^\infty$ definable equival…

We demonstrate that And\'ujar Guerrero, Thomas and Walsberg's results on definable compactness in o-minimal structures still hold true in definably complete locally o-minimal structures. As an application, we show that a definably simple…

We show that any multiplicative bijection between the algebras of differentiable functions, defined on differentiable manifolds of positive dimension, is an algebra isomorphism, given by composition with a unique diffeomorphism.

We consider a complete biharmonic immersed submanifold $M$ in an Euclidean space $\mathbb{E}^N$. Assume that the immersion is proper, that is, the preimage of every compact set in $\mathbb{E}^N$ is also compact in $M$. Then, we prove that…

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…

In the biharmonic submanifolds theory there is a generalized Chen's conjecture which states that biharmonic submanifolds in a Riemannian manifold with non-positive sectional curvature must be minimal. This conjecture turned out false by a…

Let $\mathbf{K}$ be the class of countable structures $M$ with the strong small index property and locally finite algebraicity, and $\mathbf{K}_*$ the class of $M \in \mathbf{K}$ such that $acl_M(\{ a \}) = \{ a \}$ for every $a \in M$. For…

Any smooth, closed oriented 4-manifold has a surface diagram of arbitrarily high genus g>2 that specifies it up to diffeomorphism. The goal of this paper is to prove the following statement: For any smooth, closed oriented 4-manifold M,…

We consider a smooth CR mapping $f$ from a real-analytic generic submanifold $M$ in $\bC^N$ into $\bC^N$. For $M$ of finite type and essentially finite at a point $p\in M$, and $f$ formally finite at $p$, we give a necessary and sufficient…

We study definably compact definably connected groups definable in a sufficiently saturated real closed field $R$. We introduce the notion of group-generic point for $\bigvee$-definable groups and show the existence of group-generic points…

We prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated and invariant under elementary extensions and expansions of the language. We also study the cohomology of the…

In a previous work it is shown that every finite group $G$ of diffeomorphisms of a connected smooth manifold $M$ of dimension $\geq 2$ equals, up to quotient by the flow, the centralizer of the group of smooth automorphisms of a…

We study definably complete locally o-minimal expansions of ordered groups in this paper. A definable continuous function defined on a closed, bounded and definable set behave like a continuous function on a compact set. We demonstrate…

We prove that for any complete n-dimensional Riemannian manifold with nonnegative Ricci curvature, if the Nash inequality is satisfied, then it is diffeomorphic to $R^{n}$l.

Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several…

Let $M$ be an $n(\geq 4)$-dimensional compact submanifold in the simply connected space form $F^{n+p}(c)$ with constant curvature $c\geq 0$, where $H$ is the mean curvature of $M$. We verify that if the scalar curvature of $M$ satisfies…

In this note we prove that a four-dimensional compact oriented half-confor\-mally flat Riemannian manifold $M^4$ is topologically $\mathbb{S}^{4}$ or $\mathbb{C}\mathbb{P}^{2},$ provided that the sectional curvatures all lie in the interval…

Let $f : M \rightarrow M$ be a Morse-Smale diffeomorphism defined on a compact and connected manifold without boundary. Let $C(M)$ denote the hyperspace of all subcontinua of M endowed with the Hausdorff metric and $C(f) : C(M) \rightarrow…

Let $f$ be a germ of holomorphic diffeomorphism of $\C^n$ fixing the origin $O$, with $df_O$ diagonalizable. We prove that, under certain arithmetic conditions on the eigenvalues of $df_O$ and some restrictions on the resonances, $f$ is…

We show that, up to topological conjugation, the equivalence class of a Morse-Smale diffeomorphism without heteroclinic curves on 3-manifold is completely defined by an em- bedding of two-dimensional stable and unstable heteroclinic…

Let g:X -> Y be a smooth (i.e. C^\infty differentiable) map between two smooth manifolds. In analogy with the case of complex polynomial functions, we say that y_0 in Y is a typical value of g if there exists an open neighbourhood U of y_0…