Related papers: Sard's theorem for mappings between Fr\'echet mani…

In this paper we develop the geometry of bounded Fr\'echet manifolds. We prove that a bounded Fr\'echet tangent bundle admits a vector bundle structure. But the second order tangent bundle $T^2M$ of a bounded Fr\'echet manifold $M$, becomes…

We prove that Allard's regularity theorem holds for rectifiable $n$-dimensional varifolds $V$ assuming a weaker condition on the first variation. This, in the special case when $V$ is a smooth manifold translates to the following: If…

In this paper, the infinite limit of the Prandtl number is justified for the two-dimensional incompressible magneto-convection, which describes the nonlinear interaction between the Rayleigh-B$\rm\acute{e}$nard convection and an externally…

We consider a continuous map $f :M\to N$ between two manifolds and try to estimate its multiplicity from below, i.e. find a $q$-tuple of pairwise distinct points $x_1,..., x_q\in M$ such that $f(x_1) = f(x_2) = ... = f(x_q)$. We show that…

Let $M$ be a compact $n$-dimensional Riemannian manifold with nonnegative Ricci curvature and mean convex boundary $\partial M$. Assume that the mean curvature $H$ of the boundary $\partial M$ satisfies $H \geq (n-1) k >0$ for some positive…

We adapt the definition of the Vietoris map to the framework of finite topological spaces and we prove some coincidence theorems. From them, we deduce a Lefschetz fixed point theorem for multivalued maps that improves recent results in the…

A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $\omega(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has…

In terms of the number of triangles, it is known that there are more than exponentially many triangulations of surfaces, but only exponentially many triangulations of surfaces with bounded genus. In this paper we provide a first geometric…

Differential forms on the Fr\'echet manifold F(S,M) of smooth functions on a compact k-dimensional manifold S can be obtained in a natural way from pairs of differential forms on M and S by the hat pairing. Special cases are the…

A matrix formalism is proposed for computations based on Picard--Lefschetz theory in a 2D case. The formalism is essentially equivalent to the computation of the intersection indices necessary for the Picard--Lefschetz formula and enables…

Pach showed that every $d+1$ sets of points $Q_1,\dotsc,Q_{d+1} \subset \mathbb{R}^d$ contain linearly-sized subsets $P_i\subset Q_i$ such that all the transversal simplices that they span intersect. We show, by means of an example, that a…

Recently, the first author of this paper, used the structure of finite dimensional translation invariant subspaces of C(R,C) to give a new proof of classical Montel's theorem, about continuous solutions of Fr\'{e}chet's functional equation…

We equip the regular Fr\'echet Lie group of invertible, odd-class, classical pseudodifferential operators $Cl^{0,*}_{odd}(M,E)$ -- in which $M$ is a compact smooth manifold and $E$ a (complex) vector bundle over $M$ -- with…

In this paper we propose a new treatment about infinite dimensional manifolds, using the language of category and functor. Our definition of infinite dimensional manifolds is a natural generalization of finite dimensional manifolds in the…

We prove fixed point theorems in a space with a distance function that takes values in a partially ordered monoid. On the one hand, such an approach allows one to generalize some fixed point theorems in a broad class of spaces, including…

Mathai-Quillen forms are used to give an integral formula for the Lefschetz number of a smooth map of a closed manifold. Applied to the identity map, this formula reduces to the Chern-Gauss-Bonnet theorem. The formula is computed explicitly…

We prove an inverse function theorem of Nash-Moser type for maps between Fr\'echet spaces satisfying tame estimates. In contrast to earlier proofs, we do not use the Newton method, that is, we do not use quadratic convergence to overcome…

Let $n, m, k$ be positive integers with $k=n-m+1$. We establish an abstract Morse-Sard-type theorem which allows us to deduce, on the one hand, a previous result of De Pascale's for Sobolev $W^{k,p}_{\textrm{loc}}(\mathbb{R}^n,…

In this paper, we prove a rigidity theorem for Poincar\'e-Einstein manifolds whose conformal infinity is a flat Euclidean space. The proof relies on analyzing the propagation of curvature tensors over the level sets of an adapted boundary…

We derive an upper bound on the size of a ball such that the image of the ball under quadratic map is strongly convex and smooth. Our result is the best possible improvement of the analogous result by Polyak in the case of quadratic map. We…