Related papers: On the Homogeneity Conjecture

A homogeneous Riemannian manifold $(M=G/K, g)$ is called a space with homogeneous geodesics or a $G$-g.o. space if every geodesic $\gamma (t)$ of $M$ is an orbit of a one-parameter subgroup of $G$, that is $\gamma(t) = \exp(tX)\cdot o$, for…

A curve $\gamma$ in a Riemannian manifold $M$ is three-dimensional if its torsion (signed second curvature function) is well-defined and all higher-order curvatures vanish identically. In particular, when $\gamma$ lies on an oriented…

Let $F\in\mathrm{Diff}(\mathbb{C}^2,0)$ be a germ of a holomorphic diffeomorphism and let $\Gamma$ be an invariant formal curve of $F$. Assume that the restricted diffeomorphism $F|_{\Gamma}$ is either hyperbolic attracting or rationally…

A special case of the main result states that a complete $1$-connected Riemannian manifold $(M^n,g)$ is isometric to one of the models $\mathbb R^n$, $S^n(c)$, $\mathbb H^n(-c)$ of constant curvature if and only if every $p\in M^n$ is a…

We construct a counter example to show that the Homogeneity Conjecture, first proposed by J.A. Wolf in 1962, is not true. To be precise, we prove that on the Lie group Sp(2), there exists a left invariant Riemannian metric and a cyclic…

A pair of graphs $(\Gamma,\Sigma)$ is said to be stable if the full automorphism group of $\Gamma\times\Sigma$ is isomorphic to the product of the full automorphism groups of $\Gamma$ and $\Sigma$ and unstable otherwise, where…

A Riemannian manifold is called harmonic if its volume density function expressed in polar coordinates centered at any point is radial. Flat and rank-one symmetric spaces are harmonic. The converse (the Lichnerowicz Conjecture) is true for…

Let $f:M\to N$ be a smooth area decreasing map between two Riemannian manifolds $(M,\gm)$ and $(N,\gn)$. Under weak and natural assumptions on the curvatures of $(M,\gm)$ and $(N,\gn)$, we prove that the mean curvature flow provides a…

We prove two theorems about homotopies of curves on 2-dimensional Riemannian manifolds. We show that, for any epsilon > 0, if two simple closed curves are homotopic through curves of bounded length L, then they are also isotopic through…

We prove that given any smooth metric $\gamma$ and smooth positive function $H$ on $S^{2}$, there is a constant $\lambda > 0$, depending on $(\gamma, H)$, and an asymptotically flat solution $(M, g, u)$ of the static vacuum Einstein…

The Bass trace conjectures are placed in the setting of homotopy idempotent selfmaps of manifolds. For the strong conjecture, this is achieved via a formulation of Geoghegan. The weaker form of the conjecture is reformulated as a comparison…

We consider a class of graphs subject to certain restrictions, including the finiteness of diameters. Any surjective mapping $\phi:\Gamma\to\Gamma'$ between graphs from this class is shown to be an isomorphism provided that the following…

Gardner conjectured that if two bounded measurable sets $A,B \subset \mathbb{R}^n$ are equidecomposable by a set of isometries $\Gamma$ generating an amenable group then $A$ and $B$ admit a measurable equidecomposition by all isometries.…

Up to dimension five, we can prove that given any closed Riemannian manifold with nonnegative scalar curvature, of which the universal covering has vanishing homology group $H_k$ for all $k\geq 3$, either it is flat or it has Gauss-Bonnet…

In this paper, we prove that every homogeneous Landsberg surface has isotropic flag curvature. Using this special form of the flag curvature, we prove a rigidity result on homogeneous Landsberg surface. Indeed, we prove that every…

We prove several cases of Zimmer's conjecture for actions of higher-rank cocompact lattices on low dimensional manifolds. For example, if $\Gamma$ is a cocompact lattice in $\mathrm{Sl}(n, \mathbb R)$, $M$ is a compact manifold, and…

The Blaschke conjecture claims that every compact Riemannian manifold whose injectivity radius equals its diameter is, up to constant rescaling, a compact rank one symmetric space. We summarize the intuition behind this problem, the proof…

For a group $G$ and a subset $X$ of $G$, the commuting graph of $X$, denoted by $\Gamma(G,X)$ is the graph whose vertex set is $X$ and any two vertices $u$ and $v$ in $X$ are adjacent if and only if they commute in $G$. In this article,…

We provide a simple proof that in any homogeneous, compact metric space of diameter $D$, if one finds the average distance $A$ achieved in $X$ with respect to some isometry invariant Borel probability measure, then $$\frac{D}{2} \leq A \leq…

Let $\Gamma$ be a nondegenerate geodesic in a compact Riemannian manifold $M$. We prove the existence of a partial foliation of a neighbourhood of $\Gamma$ by CMC surfaces which are small perturbations of the geodesic tubes about $\Gamma$.…