Related papers: On the Homogeneity Conjecture

A complete Riemannian manifold $(M, g)$ is a $Y^x_l$-manifold if every unit speed geodesic $\gamma(t)$ originating at $\gamma(0)=x\in M$ satisfies $\gamma(l)=x$ for $0\neq l\in \R$. B\'erard-Bergery proved that if $(M^m,g), m>1$ is a…

We prove the existence of a pair $(\Sigma ,\, \Gamma)$, where $\Sigma$ is a compact Riemann surface with $\text{genus}(\Sigma)\, \geq\, 2$, and $\Gamma\, \subset\, {\mathrm SL}(2, \mathbb C)$ is a cocompact lattice, such that there is a…

We introduce the concept of distance mean-regular graph, which can be seen as a generalization of both vertex-transitive and distance-regular graphs. Let $\Gamma$ be a graph with vertex set $V$, diameter $D$, adjacency matrix $A$, and…

We study the following conjecture of Matt DeVos: If there is a graph homomorphism from Cayley graph Cay(M, B) to another Cayley graph Cay(M', B') then every graph with an (M, B)-flow has an (M', B')-flow. This conjecture was originally…

We prove Conjecture F from [VW12] which states that the complements of closures of certain strata of the symmetric power of a smooth irreducible complex variety exhibit rational homological stability. Moreover, we generalize this conjecture…

Suppose that $M$ is a connected orientable $n$-dimensional manifold and $m>2n$. If $H^i(M,\R)=0$ for $i>0$, it is proved that for each $m$ there is a monomorphism $H^m(W_n,\on{O}(n))\to H^m_{\on{cont}}(\on{Diff}M,\R)$. If $M$ is closed and…

We prove Wise's $W$-cycles conjecture. Consider a compact graph $\Gamma'$ immering into another graph $\Gamma$. For any immersed cycle $\Lambda:S^1\to \Gamma$, we consider the map $\Lambda'$ from the circular components $\mathbb{S}$ of the…

We provide a short proof for the theorem that two compact Riemannian manifolds are isomorphic if and only there exists an order isomorphism which intertwines between the heat semigroups on the manifolds.

L.Bondesson [1] conjectured that the density of a positive $\alpha$-stable distribution is hyperbolically completely monotone (HCM in short) if and only if $\alpha$ $\le$ 1/2. This was proved recently by P. Bosch and Th. Simon, who also…

A metric space $\mathrm{M}=(M,\de)$ is {\em indivisible} if for every colouring $\chi: M\to 2$ there exists $i\in 2$ and a copy $\mathrm{N}=(N, \de)$ of $\mathrm{M}$ in $\mathrm{M}$ so that $\chi(x)=i$ for all $x\in N$. The metric space…

The real homology of a compact Riemannian manifold $M$ is naturally endowed with the stable norm. The stable norm on $H_1(M,\mathbb{R})$ arises from the Riemannian length functional by homogenization. It is difficult and interesting to…

We prove that for any closed Lorentz $4$-manifold $(M,g)$ the isometry group $Isom(M,g)$ is Jordan. Namely, there exists a constant $C$ (depending on $M$ and $g$) such that any finite subgroup $\Gamma\leq Isom(M,g)$ has an abelian subgroup…

We introduce the \Gamma-extension of the spectrum of the Laplacian of a Riemannian orbifold, where \Gamma is a finitely generated discrete group. This extension, called the \Gamma-spectrum, is the union of the Laplace spectra of the…

Let $\Gamma$ be a finitely generated group which is hyperbolic relative to a finite family $\{H_1,...,H_n\}$ of subgroups. We prove that $\Gamma$ is uniformly embeddable in a Hilbert space if and only if each subgroup $H_i$ is uniformly…

We investigate several situations where the local homogeneity of a geometric structure on a dense open subset of a manifold implies the local homogeneity everywhere. This results in a strengthening of the conclusions in Gromov's open-dense…

In this paper, we introduce metallic maps between metallic Riemannian manifolds, provide an example and obtain certain conditions for such maps to be totally geodesic. We also give a sufficient condition for a map between metallic…

Let $M^n\ (n\geq3)$ be a complete Riemannian manifold with $\sec_M\geq 1$, and let $M_i^{n_i}$ ($i=1,2$) be two comlplete totally geodesic submanifolds in $M$. We prove that if $n_1+n_2=n-2$ and if the distance $|M_1M_2|\geq\frac{\pi}{2}$,…

We show that the Continuum Hypothesis implies that for every $0<d_1\leq d_2<n$ the measure spaces $(\RR^n,\iM_{\iH^{d_1}},\iH^{d_1})$ and $(\RR^n,\iM_{\iH^{d_2}},\iH^{d_2})$ are isomorphic, where $\iH^d$ is $d$-dimensional Hausdorff measure…

We prove the following result: Let $(M,g_0)$ be a compact manifold of dimension $n\geq 12$ with positive isotropic curvature. Then $M$ is diffeomorphic to a spherical space form, or the total space of an orbifiber bundle over $\mathbb{S}^1$…

Let $M$ be a complete Riemannian manifold. Suppose $M$ contains a bounded, concave, connected open set $U$ with $C^0$ boundary and $M\setminus U$ is connected. We assume that either the relative homotopy set $\pi_1(M,M\setminus U)=0$ or the…