Related papers: The Flat Plane and a Constructive Proof of Minding…

We prove that any complete, embedded minimal surface $M$ with finite topology in a homogeneous three-manifold $N$ has positive injectivity radius. When one relaxes the condition that $N$ be homogeneous to that of being locally homogeneous,…

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…

The stationary points of the total scalar curvature functional on the space of unit volume metrics on a given closed manifold are known to be precisely the Einstein metrics. One may consider the modified problem of finding stationary points…

It is proved that flatness of an analytic mapping germ from a complete intersection is determined by its sufficiently high jet. As a consequence, one obtains finite determinacy of complete intersections. It is also shown that flatness and…

Let $H^p(L^2(M))$ be the space of all $L^2$-harmonic $p$-forms $(2\leq p\leq n-2)$ on complete submanifolds $M$ with flat normal bundle in spheres. In this paper, we first show that $H^p(L^2(M))$ is trivial if the total curvature of $M$ is…

This is a survey on the relation between homological properties of the Frobenius endomorphism and finiteness of various homological dimensions of the ring or of modules over it, such as global dimension and projective dimension. We begin…

For every Finsler metric $F$ we associate a Riemannian metric $g_F$ (called the Binet-Legendre metric). The transformation $F \mapsto g_F$ is $C^0$-stable and has good smoothness properties, in contrast to previous constructions. The…

We give a new proof for the local existence of a smooth isometric embedding of a smooth $3$-dimensional Riemannian manifold with nonzero Riemannian curvature tensor into $6$-dimensional Euclidean space. Our proof avoids the sophisticated…

A hypersurface $M$ in ${\bf R}^n$ is said to be Dupin if along each curvature surface, the corresponding principal curvature is constant. A Dupin hypersurface is said to be proper Dupin if the number of distinct principal curvatures is…

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

The aim of this paper is to establish some metrical coincidence and common fixed point theorems with an arbitrary relation under an implicit contractive condition which is general enough to cover a multitude of well known contraction…

Suppose for closed surfaces $M,N$ there exists a continuous map $f:M\to N$ of geometric degree $d>0$. Then $\chi(M)\le d\cdot\chi(N)$. This inequality was first proved by Kneser in case of orientable surfaces and by Edmonds for arbitrary…

We prove that the Gauss curvature and the curvature of the normal connection of any minimal surface in the four dimensional Euclidean space satisfy an inequality, which generates two classes of minimal surfaces: minimal surfaces of general…

Let $f: X\to Y$ be a proper surjective morphism of varieties defined over an algebraically closed field of positive characteristic. We prove that if $f$ has geometrically connected fibers then the induced homomorphism of $F$-divided…

A compactness theorem is proved for a family of K\"{a}hler surfaces with constant scalar curvature and volume bounded from below, diameter bounded from above, Ricci curvature bounded and the signature bounded from below. Furthermore, a…

We prove two "Singularity removal rigidity theorems" for minimal hypersurfaces with isolated singularities in manifolds of nonnegative scalar curvature (Theorems \ref{thm: rigidity for minimal surface} and \ref{thm: georch free of…

In this paper, we develop a general existence theory for properly embedded minimal surfaces with free boundary in any compact Riemannian 3-manifold $M$ with boundary $\partial M$. The main feature of our result is that no convexity…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

We prove that an algebraic flat connection has definable flat sections in the analytic exponential structure if and only if it is regular singular with unitary monodromy eigenvalues at infinity, refining previous work of Bakker and Mullane.…

A fundamental theorem of Laman characterises when a bar-joint framework realised generically in the Euclidean plane admits a non-trivial continuous deformation of its vertices. This has recently been extended in two ways. Firstly to…