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

We prove that if $M$ is an infinite complete metric space then the set of strongly norm-attaining Lipschitz functions $\SA(M)$ contains a linear subspace isomorphic to $c_0$. This solves an open question posed by V. Kadets and O. Rold\'an.

This paper defines a symplectic form on the infinite dimensional Fr\'echet manifold of framed curves of fixed length over a simply connected Riemannian manifold of constant curvature. The paper then considers Hamiltonian systems generated…

This note gives a new elementary proof of Poincar\'e-Miranda theorem based on Sard's theorem and the simple classification of one-dimensional manifolds.

A study is made of linear isometries on Fr\'echet spaces for which the metric is given in terms of a sequence of seminorms. This establishes sufficient conditions on the growth of the function that defines the metric in terms of the…

This is an overview article. In his Habilitationsvortrag, Riemann described infinite dimensional manifolds parameterizing functions and shapes of solids. This is taken as an excuse to describe convenient calculus in infinite dimensions…

For every filter $\mathcal F$ on $\mathbb N$, we introduce and study corresponding uniform $\mathcal F$-boundedness principles for locally convex topological vector spaces. These principles generalise the classical uniform boundedness…

We give upper and lower bounds for the ratio of the volume of metric ball to the area of the metric sphere in Finsler-Hadamard manifolds with pinched S-curvature. We apply these estimates to find the limit at the infinity for this ratio.…

Two central limit theorems for sample Fr\'echet means are derived, both significant for nonparametric inference on non-Euclidean spaces. The first one, Theorem 2.2, encompasses and improves upon most earlier CLTs on Fr\'echet means and…

In this article we study two "strong" topologies for spaces of smooth functions from a finite-dimensional manifold to a (possibly infinite-dimensional) manifold modeled on a locally convex space. Namely, we construct Whitney type topologies…

In this research article, we formulate and prove multidimensional Widder--Arendt theorem and integrated form of multidimensional Widder--Arendt theorem for functions with values in sequentially complete locally convex spaces. Established…

We show that every nearly spherical manifold can be realized as the volume-preserving image of a round sphere, via the Brenier-McCann optimal transport map. This theorem extends Caffarelli's contraction theorem to nearly spherical manifolds…

We prove surjectivity result in Fr\'echet spaces of Nash-Moser type. That is, with uniform estimates over all semimorms. Our method works for functions which are only continuous and G\^ateaux differentiable like in the recent result of…

Ratner's theorem implies topological rigidity of immersed totally geodesic subspaces of noncompact type in finite-volume locally symmetric spaces. In higher rank and infinite volume, however, counter-examples to this rigidity have remained…

Let X be a separable metric space and let \beta be the strict topology on the space of bounded continuous functions on X, which has the space of \tau-additive Borel measures as a continuous dual space. We prove a Banach-Dieudonne\'{e} type…

We develop the Lefschetz fixed-point theory for noncompact manifolds of bounded geometry and uniformly continuous maps. Specifically, we define the uniform Lefschetz class $\mathscr{L}(f)$ of a uniformly continuous map $f\colon M\to M$ of a…

Local normal form theorems for smooth equivariant maps between infinite-dimensional manifolds are established. These normal form results are new even in finite dimensions. The proof is inspired by the Lyapunov-Schmidt reduction for…

We prove two rigidity theorems for maps between Riemannian manifolds. First, we prove that a Lipschitz map $f:M\to N$ between two oriented Riemannian manifolds, whose differential is almost everywhere an orientation-preserving isometry, is…

Let $T$ be a compact, metrisable and strongly countable-dimensional topological space. Let $\mathcal{M}^T$ be the set of all metrics $d$ on $T$ compatible with its topology, and equip $\mathcal{M}^T$ with the topology of uniform…

We develop the theory of Fra\"iss\'e limits for classes of finite-dimensional multi-seminormed spaces, which are defined to be vector spaces equipped with a finite sequence of seminorms. We define a notion of a Fra\"iss\'e Fr\'echet space…

The Banach-Mazur problem, which asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient space, has remained unsolved for 85 years, but has been answered in the affirmative for special cases such as…