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

We prove several Liouville theorems for F-harmonic maps from some complete Riemannian manifolds by assuming some conditions on the Hessian of the distance function, the degrees of F(t) and the asymptotic behavior of the map at infinity. In…

Given a surface $S$ in a 3D contact sub-Riemannian manifold $M$, we investigate the metric structure induced on $S$ by $M$, in the sense of length spaces. First, we define a coefficient $\widehat K$ at characteristic points that determines…

More that half a century ago R. Thom asserted in an unpublished manuscript that, generically, vector fields on compact connected smooth manifolds without boundary can admit only trivial continuous first integrals. Though somehow unprecise…

Let W be a finite reflection group acting orthogonally on R^n, P be the Chevalley polynomial mapping determined by an integrity basis of the algebra of W-invariant polynomials, and h be the highest degree of the coordinate polynomials in…

Ends and end cohomology are powerful invariants for the study of noncompact spaces. We present a self-contained exposition of the topological theory of ends and prove novel extensions including the existence of an exhaustion of a proper…

The Sard theorem from 1942 requires that a mapping $f:\mathbb{R}^n \to \mathbb{R}^m$ is of class $C^k$, $k > \max (n-m,0)$. In 1957 Duvovitski\u{\i} generalized Sard's theorem to the case of $C^k$ mappings for all $k$. Namely he proved…

We develop a family of infinite-dimensional Banach manifolds of measures on an abstract measurable space, employing charts that are "balanced" between the density and log-density functions. The manifolds, $(\tilde{M}_{\lambda},\lambda\in…

We prove (and improve) the Muir-Suffridge conjecture for holomorphic convex maps. Namely, let $F:\mathbb B^n\to \mathbb C^n$ be a univalent map from the unit ball whose image $D$ is convex. Let $\mathcal S\subset \partial \mathbb B^n$ be…

We provide sufficient conditions for the existence of a global diffeomorphism between tame Fr\'{e}chet spaces. We prove a version of the Mountain Pass Theorem which is a key ingredient in the proof of the main theorem.

Let $X$ be a complex submanifold of dimension $d$ of $\mathbb P^m\times\mathbb P^n$ ($m\geq n\geq 2$) and denote by $\alpha\colon\Pic(\mathbb P^m\times\mathbb P^n)\to \Pic(X)$ the restriction map of Picard groups, by $N_{X|\mathbb…

The consistency of Fr\'echet medians is proved for probability measures in proper metric spaces. In the context of Riemannian manifolds, assuming that the probability measure has more than a half mass lying in a convex ball and verifies…

We define submersions f between manifolds M and N modelled on locally convex spaces. If the range N is finite-dimensional or a Banach manifold, then these coincide with the naive notion of a submersion. We study pre-images of submanifolds…

It is well known that in $R^n$ , G{\^a}teaux (hence Fr{\'e}chet) differ-entiability of a convex continuous function at some point is equivalent to the existence of the partial derivatives at this point. We prove that this result extends…

We give a necessary and sufficient condition for the smooth extension of a diffeomorphism between smooth strictly pseudoconvex domains in four real dimensional almost complex manifolds. The proof is mainly based on a reflection principle…

The main topic is the development of a Fredholm theory in a new class of spaces called M-polyfolds. In the subsequent Volume II the theory will be generalized to an even larger class of spaces called polyfolds, which can also incorporate…

We establish a general slice theorem for the action of a locally convex Lie group on a locally convex manifold, which generalizes the classical slice theorem of Palais to infinite dimensions. We discuss two important settings under which…

In this paper, we study the space of translational limits T(M) of a surface M properly embedded in R^3 with nonzero constant mean curvature and bounded second fundamental form. There is a natural map T which assigns to any surface M' in…

We characterise finite and infinitesimal rigidity for bar-joint frameworks in R^d with respect to polyhedral norms (i.e. norms with closed unit ball P a convex d-dimensional polytope). Infinitesimal and continuous rigidity are shown to be…

Motivated by the operad built from moduli spaces of Riemann surfaces, we consider a general class of operads in the category of spaces that satisfy certain homological stability conditions. We prove that such operads are infinite loop space…

This paper is devoted to the study of mappings in metric spaces. We investigate mappings satisfying inverse moduli inequalities. We show that under certain conditions on these mappings, their definition domains and the spaces in which they…