Related papers: An Arzela-Ascoli Theorem for Immersed Submanifolds

We prove a diagonalisation theorem for the tautological, or generalised Miller-Morita-Mumford classes of compact, smooth, simply-connected definite $4$-manifolds. Our result can be thought of as a families version of Donaldson's…

Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman…

This paper deals with the subject of infinitesimal variations of Euclidean submanifolds with arbitrary dimension and codimension. The main goal is to establish a Fundamental theorem for these geometric objects. Similar to the theory of…

A very simple criterion to ascertain if (D-2)-surfaces are trapped in arbitrary D-dimensional Lorentzian manifolds is given. The result is purely geometric, independent of the particular gravitational theory, of any field equations or of…

The paper deals with Ascoli spaces $C_p(X)$ and $C_k(X)$ over Tychonoff spaces $X$. The class of Ascoli spaces $X$, i.e. spaces $X$ for which any compact subset $K$ of $C_k(X)$ is evenly continuous, essentially includes the class of…

Let G be a finite abelian group of torsion r and let A be a subset of G. The Freiman--Ruzsa theorem asserts that if |A+A| < K|A| then A is contained in a coset of a subgroup of G of size at most r^{K^4}K^2|A|. It was conjectured by Ruzsa…

In this paper, we generalize construction of Seidel's long exact sequence of Lagrangian Floer cohomology to that of compact Lagrangian submanifolds with vanishing Malsov class on general Calabi-Yau manifolds. We use the framework of…

We generalize simplicial minisuperspace models associated with restricting the topology of the universe to be that of a cone over a closed connected combinatorial $3-$manifold by considering the presence of a massive scalar field. By…

We continue our study of ends non-compact manifolds. The over-arching aim is to provide an appropriate generalization of Siebenmann's famous collaring theorem that applies to manifolds having non-stable fundamental group systems at…

We consider here asymptotic models that describe the propagation of one-dimensional internal waves at the interface between two layers of immiscible fluids of different densities, under the rigid lid assumption and with uneven bottoms. The…

We obtain a compactness result for Fano manifolds and K\"ahler Ricci flows. Comparing to the more general Riemannian versions by Anderson and Hamilton, in this Fano case, the curvature assumption is much weaker and is preserved by the…

The manifold hypothesis says that natural high-dimensional data lie on or around a low-dimensional manifold. The recent success of statistical and learning-based methods in very high dimensions empirically supports this hypothesis,…

A generalization of the Borsuk-Ulam theorem to Stiefel manifolds is considered. This theorem is applied to derive bounds on $d$ that guarantee-for a given set of $m$ measures in $\mathbb{R}^d$-the existence of $k$ mutually orthogonal…

We present theoretical properties of the space of metric pairs equipped with the Gromov--Hausdorff distance. First, we establish the classical metric separability and the geometric geodesicity of this space. Second, we prove an…

We prove existence of spiral waves in oscillatory media with nonlocal coupling. Our starting point is a nonlocal complex Ginzburg-Landau (cGL) equation, rigorously derived as an amplitude equation for integro-differential equations…

We show that the existence of a weakly compact cardinal over the Zermelo-Fraenkel's set theory is proof-theoretically reducible to iterations of Mostowski collapsings and Mahlo operations.

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

We extend the Colombeau algebra of generalized functions to arbitrary (infinitely differentiable, paracompact) n-dimensional manifolds M. Embedding of continuous functions and distributions is achieved with the help of a family of n-forms…

The Casselman-Wallach theorem is a foundational result in the theory of representations of real reductive groups connecting algebraic representations to topological representations. We provide a quantitative version of this theorem. For…

We prove the several variable version of the classical equidistribution theorem for Fekete points of a compact subset of the complex plane, which settles a well-known conjecture in pluri-potential theory. The result is obtained as a special…