Related papers: Charatheodory and Smirnov type theorem for harmoni…

We prove the Myers-Steenrod theorem for local topological groups of isometries acting on pointed $\mathcal{C}^{k,\alpha}$-Riemannian manifolds, with $k+\alpha>0$. As an application, we infer a new regularity result for a certain class of…

In a Euclidean Jordan algebra $V$ of rank $n$ which carries the trace inner product, to each element $a$ we associate the eigenvalue vector $\lambda(a)$ in $R^n$ whose components are the eigenvalues of $a$ written in the decreasing order.…

Recently we generalized Toponogov's comparison theorem to a complete Riemannian manifold with smooth convex boundary, where a geodesic triangle was replaced by an open (geodesic) triangle standing on the boundary of the manifold, and a…

In 1936 H. Lewy showed that the Jacobian determinant of a harmonic homeomorphism between planar domains does not vanish and thus the map is a diffeomorphism. This built on the earlier existence results of Rad\'o and Kneser. R. Shoen and…

This paper extends the decorated Teichm\"uller theory developed before for punctured surfaces to the setting of ``bordered'' surfaces, i.e., surfaces with boundary, and there is non-trivial new structure discovered. The main new result…

In this paper we establish several invariant boundary versions of the (infinitesimal) Schwarz-Pick lemma for conformal pseudometrics on the unit disk and for holomorphic selfmaps of strongly convex domains in $\mathbb C^N$ in the spirit of…

Let $(\Sigma,p)$ be a pointed Riemann surface of genus $g\geq 1$. For any integer $k\geq 1$, we parametrize the space of meromorphic quadratic differentials on $\Sigma$ with a pole of order $(k+2)$ at $p$, having a connected critical graph…

We introduce the symmetric-Radon-Nikod\'ym property (sRN property) for finitely generated s-tensor norms $\beta$ of order $n$ and prove a Lewis type theorem for s-tensor norms with this property. As a consequence, if $\beta$ is a projective…

Let $f$ be a harmonic map from a Riemann surface to a Riemannian $n$-manifold. We prove that if there is a holomorphic diffeomorphism $h$ between open subsets of the surface such that $f\circ h = f$, then $f$ factors through a holomorphic…

We prove a compactness theorem for metrics with Bounded Integral Curvature on a fixed closed surface $\Sigma$. As a corollary, we obtain a compactification of the space of Riemannian metrics with conical singularities, where an accumulation…

This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…

After introducing the different boundary geometries of rank one symmetric spaces, we state and prove Fried's theorem in the general setting of all those geometries: a closed manifold with a similarity structure is either complete or the…

We define the notion of log-Riemann surfaces and Caratheodory convergence of log-Riemann surfaces. We prove a convergence theorem for uniformizations of simply connected log-Riemann surfaces converging in the Caratheodory topology. We…

We show that canonical Carnot-Caratheodory spherical and horospherical metrics, which are defined on the boundary at infinity of every rank one symmetric space of non-compact type, are visual, i.e., they are bilipschitz equivalent with…

We prove a version of Gromov's compactness theorem for pseudo-holomorphic curves which holds locally in the target symplectic manifold. This result applies to sequences of curves with an unbounded number of free boundary components, and in…

We study geodesically complete and locally compact Hadamard spaces X whose Tits boundary is a connected irreducible spherical building. We show that X is symmetric iff complete geodesics in X do not branch and a Euclidean building…

In this paper we construct smooth Riemannian metrics on the sphere which admit smooth Zoll families of minimal hypersurfaces. This generalizes a theorem of Guillemin for the case of geodesics. The proof uses the Nash-Moser Inverse Function…

We introduce and study tame homeomorphisms of surfaces of infinite type. These are maps for which curves under iterations do not accumulate onto geodesic laminations with non-proper leaves, but rather just a union of possibly intersecting…

By means of the property of effective local connectivity, the computability of finding the Carath\'eodory extension of a conformal map of a Jordan domain onto the unit disk is demonstrated.

We consider the homotopical dynamics on compact orientable surfaces of positive genus g. We establish a sufficient and necessary algebraic criterion for homotopy classes with infinitely many periodic points of maps on such surfaces in terms…