No Arabic abstract
We examine topological properties of pointed metric measure spaces $(Y, p)$ that can be realized as the pointed Gromov-Hausdorff limit of a sequence of complete, Riemannian manifolds ${(M^n_i, p_i)}_{i=1}^{infty}$ with nonnegative Ricci curvature. Cheeger and Colding cite{ChCoI} showed that given such a sequence of Riemannian manifolds it is possible to define a measure $ u$ on the limit space $(Y, p)$. In the current work, we generalize previous results of the author to examine the relationship between the topology of $(Y, p)$ and the volume growth of $ u$. In particular, we prove a Abresch-Gromoll type excess estimate for triangles formed by limiting geodesics in the limit space. Assuming explicit volume growth lower bounds in the limit, we show that if $lim_{r to infty} frac{ u(B_p(r))}{omega_n r^n} > alpha(k,n)$, then the $k$-th group of $(Y,p)$ is trivial. The constants $alpha(k,n)$ are explicit and depend only on $n$, the dimension of the manifolds ${(M^n_i, p_i)}$, and $k$, the dimension of the homotopy in $(Y,p)$.
Let $G$ be a finite group with symmetric generating set $S$, and let $c = max_{R > 0} |B(2R)|/|B(R)|$ be the doubling constant of the corresponding Cayley graph, where $B(R)$ denotes an $R$-ball in the word-metric with respect to $S$. We show that the multiplicity of the $k$th eigenvalue of the Laplacian on the Cayley graph of $G$ is bounded by a function of only $c$ and $k$. More specifically, the multiplicity is at most $exp((log c)(log c + log k))$. Similarly, if $X$ is a compact, $n$-dimensional Riemannian manifold with non-negative Ricci curvature, then the multiplicity of the $k$th eigenvalue of the Laplace-Beltrami operator on $X$ is at most $exp(n^2 + n log k)$. The first result (for $k=2$) yields the following group-theoretic application. There exists a normal subgroup $N$ of $G$, with $[G : N] leq alpha(c)$, and such that $N$ admits a homomorphism onto the cyclic group $Z_M$, where $M geq |G|^{delta(c)}$ and $alpha(c), delta(c) > 0$ are explicit functions depending only on $c$. This is the finitary analog of a theorem of Gromov which states that every infinite group of polynomial growth has a subgroup of finite index which admits a homomorphism onto the integers. This addresses a question of Trevisan, and is proved by scaling down Kleiners proof of Gromovs theorem. In particular, we replace the space of harmonic functions of fixed polynomial growth by the second eigenspace of the Laplacian on the Cayley graph of $G$.
One of the central notions to emerge from the study of persistent homology is that of interleaving distance. It has found recent applications in symplectic and contact geometry, sheaf theory, computational geometry, and phylogenetics. Here we present a general study of this topic. We define interleaving of functors with common codomain as solutions to an extension problem. In order to define interleaving distance in this setting we are led to categorical generalizations of Hausdorff distance, Gromov-Hausdorff distance, and the space of metric spaces. We obtain comparisons with previous notions of interleaving via the study of future equivalences. As an application we recover a definition of shift equivalences of discrete dynamical systems.
In this note we prove in the nonlinear setting of $CD(K,infty)$ spaces the stability of the Krasnoselskii spectrum of the Laplace operator $-Delta$ under measured Gromov-Hausdorff convergence, under an additional compactness assumption satisfied, for instance, by sequences of $CD^*(K,N)$ metric measure spaces with uniformly bounded diameter. Additionally, we show that every element $lambda$ in the Krasnoselskii spectrum is indeed an eigenvalue, namely there exists a nontrivial $u$ satisfying the eigenvalue equation $- Delta u = lambda u$.
We consider harmonic functions of polynomial growth of some order $d$ on Cayley graphs of groups of polynomial volume growth of order $D$ w.r.t. the word metric and prove the optimal estimate for the dimension of the space of such harmonic functions. More precisely, the dimension of this space of harmonic functions is at most of order $d^{D-1}$. As in the already known Riemannian case, this estimate is polynomial in the growth degree. More generally, our techniques also apply to graphs roughly isometric to Cayley graphs of groups of polynomial volume growth.
Let $(X,d)$ be an $n$-dimensional Alexandrov space whose Hausdorff measure $mathcal{H}^n$ satisfies a condition giving the metric measure space $(X,d,mathcal{H}^n)$ a notion of having nonnegative Ricci curvature. We examine the influence of large volume growth on these spaces and generalize some classical arguments from Riemannian geometry showing that when the volume growth is sufficiently large, then $(X,d,mathcal{H}^n)$ has finite topological type.