---
abstract: 'We show that any manifold admitting a non-collapsed, ancient Ricci flow must have finite fundamental group. This generalizes what was known for *$\kappa$-solutions* in dimensions 2, 3. We furthermore show that this fundamental group must be a quotient of the fundamental group of the regular part of any tangent bautistajoshua@example.net.'
address: 'Department of Mathematics, UC Berkeley, CA 94720, USA'
author:
- Richard H Bamler
bibliography:
- 'bibliography.bib'
title: 'On the fundamental group of non-collapsed ancient Ricci flows'
---

Introduction
============

A central goal in the study of Ricci flow is the study of its singularity formation. In dimension 3 this was carried out successfully by Perelman @Perelman1 and led to the construction of a Ricci flow with surgery @Perelman2. In higher dimensions, progress towards this goal was recently obtained by the author in @Bamler_HK_entropy_estimates [@Bamler_RF_compactness; @Bamler_HK_RF_partial_regularity], where singularities were characterized by (possibly singular) gradient shrinking solitons that arise as blow-up models along specific sequences of points and scales. In the same work it was shown that it is — in fact — possible to take blow-up limits along *any* sequence of points and scales and that this limit is given by a non-collapsed, ancient Ricci flow with a possible singular set of codimension $\geq 4$. In order to obtain a characterization of the part of the manifold that becomes singular, it becomes necessary to study these non-collapsed, ancient flows in more detail. A better understanding of these flows may allow us in the future to perform a successful surgery construction and possibly derive useful topological consequences on the underlying manifold.

This short paper is the beginning of study of non-collapsed, ancient Ricci flows. In dimension 3, such flows are *$\kappa$-solutions,* which arose in Perelman's work @Perelman2 and are now fully classified @Brendle_2020_Bryant [@Brendle_Daskalopoulos_Sesum_2020]. In higher dimensions, however, very little has been known about such flows.

In this paper we will focus, for simplicity, on non-collapsed ancient flows that are *non-singular* and have *complete time-slices* and *bounded curvature on compact time-intervals.* This regularity assumption was considered frequently in dimension 3, for example in the study of $\kappa$-solutions where it turned out to be natural. We also remark that in forthcoming work, we will establish a more general theory of *non-compact, singular* flows and our techniques will readily generalize to such flows.

Let us now summarize our results. We will show that the underlying manifold of any non-collapsed, ancient flow with complete time-slices and bounded curvature on compact time-intervals has finite fundamental group. This generalizes what has been known to be true for $\kappa$-solutions in dimension 2, 3. We will also show that this fundamental group must be the quotient of the fundamental group of the regular part of any tangent flow at infinity, where the latter is given by a singular gradient shrinking soliton. This implies further restrictions on the fundamental group of the flow in certain cases. Lastly, we show that any tangent flow at infinity is a quotient of the corresponding tangent flow at infinity of the the universal covering flow and derive an identity on the order of the fundamental group of the original flow in terms of the Nash entropies at infinity of both flows.

In forthcoming work, we will study non-collapsed, ancient flows in more detail and characterize their geometry at (spatial) infinity more precisely.

Recall that an ancient Ricci flow $(M, (g_t)_{t \leq 0})$ with complete time-slices and bounded curvature on compact time-intervals is called *non-collapsed* if the following equivalent equivalent conditions are satisfied @Chan_Ma_Zhang_2021_sobolev:

1.  We have the following entropy bound for some uniform $Y$ $$\mu(g_t, \tau) \geq - Y, \qquad \text{for all} \quad t \leq 0, \; \tau > 0.$$

2.  We have the entropy bound $$\liminf_{\tau \to \infty} \mu(g_{-\tau}, \tau) > -\infty.$$

3.  For some (or any) $(x,t) \in M \times {\mathbb{R}}_{\leq 0}$ we have the following bound on the pointed Nash entropy $$\liminf_{\tau \to \infty} {\mathcal{N}}_{x,t}(\tau) > -\infty.$$

Moreover, $(M, (g_t)_{t \leq 0})$ is automatically non-collapsed if it arises as the blow-up limit of a Ricci flow $(M', (g'_t)_{t \in [0,T)})$ on a compact manifold $M'$. Any such non-collapsed, ancient flow has a tangent cone at infinity, which is given by the flow of a singular gradient shrinking soliton. Such a soliton is described by a *singular space,* i.e., a tuple $(X, d, {\mathcal{R}}_X, g_X, f)$, where $(X,d)$ is a metric length space, ${\mathcal{R}}_X \subset X$ is a maximal open subset equipped with a smooth manifold structure and Riemannian metric $g_X$ such that $(X,d)$ is the metric completion of the length structure of $({\mathcal{R}}_X, g_X)$ and $f$ is a smooth potential function such that the gradient shrinking soliton equation $$\operatorname{Ric}_{g_X} + \nabla^2 f - \frac12 g_X = 0$$ holds on ${\mathcal{R}}_X$ (see @Bamler_HK_RF_partial_regularity [Definition 2.15] for further properties). It was proven in @Bamler_HK_RF_partial_regularity that the singular set ${\mathcal{S}}_X = X \setminus {\mathcal{R}}_X$ of this soliton has codimension $\geq 4$ in the Minkowski-sense; moreover, in dimension 4, $(X,d)$ is the length space of a smooth orbifold with isolated singularities.

Let us now state our results. We first show that any non-collapsed, ancient flow must have finite fundamental group.

\[Thm\_finite\_fg\] Let $(M, (g_t)_{t \leq 0})$ be a non-collapsed, ancient Ricci flow that has complete time-slices and bounded curvature on compact time-intervals. Then $\pi_1 (M)$ is finite.

The next theorem relates the fundamental group of the flow with the fundamental group of the regular part ${\mathcal{R}}_X$ of any of its tangent bautistajoshua@example.net.

\[Thm\_pi1\_RR\_M\] Let $(M, (g_t)_{t \leq 0})$ be a non-collapsed, ancient Ricci flow with complete time-slices and bounded curvature on compact time-intervals. Consider a tangent flow at infinity that is given by the singular space $(X,d,{\mathcal{R}}_X,g_X, f)$. Then there is a surjective homomorphism $\phi : \pi_1 ({\mathcal{R}}_X) \to \pi_1 (M)$.

More specifically, for any bounded, open $U \subset {\mathcal{R}}_X$ there is a smooth embedding $\psi : U \to M$ such that the following diagram commutes: $$\begin{tikzcd}
    {\pi_1(U)} \\
    {\pi_1(\mathcal{R}_X)} && {\pi_1(M)}
    \arrow["\phi"', from=2-1, to=2-3]
    \arrow[from=1-1, to=2-1]
    \arrow["{\psi_*}", dashed, from=1-1, to=2-3]
\end{tikzcd}$$

A direct consequence is the following:

\[Cor\_sc\] If in the setting of Theorem \[Thm\_pi1\_RR\_M\] the regular part ${\mathcal{R}}_X$ of a tangent flow at infinity is simply-connected, then so is $M$.

So, for example, if the tangent flow at infinity is cylindrical, $S^{k \geq 2} \times {\mathbb{R}}^{n-k}$, then $M$ must be simply-connected itself.

The following two examples show that the statement of Theorem \[Thm\_pi1\_RR\_M\] is optimal, i.e., that we cannot expect $\phi$ to be an isomorphism.

Consider the constant flow on a Ricci flat, simply connected, 4-dimensional ALE-space $M$. Its tangent flow at infinity is ${\mathbb{R}}^4/ \Gamma$ for some $\Gamma \subset SO(3)$, so the fundamental group of the regular part ${\mathcal{R}}_X$ is non-trivial, while $M$ is simply-connected. This shows that the homomorphism $\phi$ in Theorem \[Thm\_pi1\_RR\_M\] need not be injective.

In @Appleton:2017xy Appleton constructs a family of non-collapsed, 4-dimensional steady solitons on the total space $M_k$ of the complex line bundle $\mathcal{O}(k)$, $k \geq 3$, over ${\mathbb{C}}P^1$. The end of each such soliton is diffeomorphic to ${\mathbb{R}}_{+} \times S^3/{\mathbb{Z}}_k$ and the metric is asymptotic to a quotient of the Bryant soliton. It follows that the tangent flow at infinity is the quotient of the cylinder ${\mathbb{R}}\times S^3/{\mathbb{Z}}_k$; so it has non-trivial fundamental group, despite $M_k$ being simply-connected. This shows that even if ${\mathcal{R}}_X = X$ the homomorphism $\phi$ in Theorem \[Thm\_pi1\_RR\_M\] need not be injective.

Note, however, that we have the following:

\[Cor\_Omega\] If in the setting of Theorem \[Thm\_pi1\_RR\_M\] there is a compact domain $\Omega \subset {\mathcal{R}}_X$ such that $\pi_1(\Omega) \to \pi_1({\mathcal{R}}_X)$ is an isomorphism and $\partial \Omega$ consists of simply-connected components, then the map $\phi : \pi_1({\mathcal{R}}_X) \to \pi_1(M)$ is an isomorphism.

So, for example, if the tangent flow at infinity is $(S^{n-1} \times {\mathbb{R}}) / {\mathbb{Z}}_2$, where ${\mathbb{Z}}_2$ acts non-trivially on both factors, then $\pi_1(M) \cong {\mathbb{Z}}_2$.

The last theorem states that the tangent of the universal cover ${\widetilde{M}}$ can be viewed as a normal covering over of the tangent flow of $M$; this covering corresponds to the kernel of $\phi$.

\[Thm\_GSS\_quotient\] Let $(M, (g_t)_{t \leq 0})$ be a non-collapsed, ancient Ricci flow with complete time-slices and bounded curvature on compact time-intervals. Consider the universal cover $\pi : {\widetilde{M}} \to M$, equipped with the pull-back Ricci flow ${\widetilde{g}}_t := \pi^* g_t$ and the action of $\Gamma := \pi_1(M)$ by deck transformations. Let $({\widetilde{X}},{\widetilde{d}},{\mathcal{R}}_{{\widetilde{X}}},g_{{\widetilde{X}}}, {\widetilde{f}})$ be its tangent flow at infinity of $({\widetilde{M}}, ({\widetilde{g}}_t)_{t \leq 0})$, taken with respect to the same sequence of blow-down scales. Then there is an isometric action of $\Gamma$ on $(X,d)$ that preserves ${\mathcal{R}}_{{\widetilde{X}}}$, $g_{{\widetilde{X}}}$, ${\widetilde{f}}$ and such that $({\mathcal{R}}_X,g_X,f)$ is isometric to $({\mathcal{R}}_{{\widetilde{X}}}, g_{{\widetilde{X}}}, {\widetilde{f}} - \log \#\Gamma) / \Gamma$. The image of $\pi_1({\mathcal{R}}_{{\widetilde{X}}})$ under the projection map is equal to the kernel of $\phi$, so the following short exact sequence holds: $$1  \xrightarrow{\quad} \pi_1({\mathcal{R}}_{{\widetilde{X}}}) \xrightarrow{\quad} \pi_1({\mathcal{R}}_X) \xrightarrow{\;\;\phi \;\;} \pi_1(M)  \xrightarrow{\quad}  1.$$

As a corollary, we obtain the following characterization of the order of the fundamental group.

\[Cor\_pi1\_expNN\] Let $(M, (g_t)_{t \leq 0})$ be a non-collapsed, ancient Ricci flow with complete time-slices and bounded curvature on compact time-intervals. Consider the universal cover $\pi : {\widetilde{M}} \to M$, equipped with the pull-back Ricci flow ${\widetilde{g}}_t := \pi^* g_t$. Denote by ${\mathcal{N}}(\infty), {\widetilde{{\mathcal{N}}}}(\infty)$ the pointed Nash entropies at infinity of the respective flows. Then $$\# \pi_1(M) = \exp \big({\widetilde{{\mathcal{N}}}}(\infty) - {\mathcal{N}}(\infty) \big) .$$

Note that this implies $\# \pi_1(M) \leq \exp \big({-{\mathcal{N}}(\infty)})$.

Proofs
======

We will use the results from @Bamler_HK_entropy_estimates [@Bamler_RF_compactness; @Bamler_HK_RF_partial_regularity]; these also hold for non-compact flows with complete time-slices and bounded curvature on compact time-intervals, as explained in Appendix \[appendix\].

In the following, $(M,(g_t)_{t \leq 0})$ will denote a non-collapsed, ancient flow with complete time-slices and bounded curvature on compact time-intervals and $\pi : {\widetilde{M}} \to M$ will denote the universal cover of $M$, equipped with the pull-back Ricci flow ${\widetilde{g}}_t := \pi^* g_t$. Recall that $\Gamma := \pi_1(M)$ acts on ${\widetilde{M}}$ via deck transformations. The conjugate heat kernels $K, {\widetilde{K}}$ on $M, {\widetilde{M}}$, respectively satisfy for $x = \pi ({\widetilde{x}}), y \in M$, ${\widetilde{x}} \in {\widetilde{M}}$ $$\label{eq_sum_formula_K}
 K(x,t;y,s) = \sum_{{\widetilde{y}} \in \pi^{-1}(x)} {\widetilde{K}}({\widetilde{x}},t;{\widetilde{y}},s).$$ This sum converges due to @Chow_book_series_Part_III [Theorem 26.25].

We first prove Theorem \[Thm\_finite\_fg\].

\[Proof of Theorem \[Thm\_finite\_fg\].\] Fix some basepoints $x = \pi ({\widetilde{x}}) \in M$, ${\widetilde{x}} \in {\widetilde{M}}$ and write ${\widetilde{x}}_\alpha := \alpha . {\widetilde{x}}$ for $\alpha \in \Gamma$. Let $s < 0$ be a constant, which we will send to $-\infty$ later. Choose an $H_n$-center $({\widetilde{z}}, s)$ of $({\widetilde{x}}, 0)$ (see @Bamler_HK_entropy_estimates [Definition 3.10]). Write again ${\widetilde{z}}_\alpha := \alpha. {\widetilde{z}}$ for $\alpha \in \Gamma$.

$(z,s) := (\pi({\widetilde{z}}),s)$ is an $H_n$-center of $(x,0)$.

This follows from the fact that $\pi$ is 1-Lipschitz and .

Fix some finite subset $S \subset \Gamma$ containing the identity element.

If $s$ is small enough, then $d_s({\widetilde{z}}_\alpha, {\widetilde{z}}_\beta) \leq 3 \sqrt{H_n |s|}$ for all $\alpha, \beta \in S$.

Using @Bamler_HK_entropy_estimates [Lemma 2.7], we obtain $$\begin{gathered}
 d_s ({\widetilde{z}}_\alpha, {\widetilde{z}}_\beta) 
= d^{g_s}_{W_1} (\delta_{{\widetilde{z}}_\alpha}, \delta_{{\widetilde{z}}_\beta})
\leq d^{g_s}_{W_1} (\delta_{{\widetilde{z}}_\alpha}, \nu_{{\widetilde{x}}_\alpha, 0; s}) 
+ d^{g_s}_{W_1} (\nu_{{\widetilde{x}}_\alpha, 0; s}, \nu_{{\widetilde{x}}_\beta, 0; s})
+ d^{g_s}_{W_1} (\nu_{{\widetilde{x}}_\beta, 0; s}, \delta_{{\widetilde{z}}_\beta}) \\
\leq 2 \sqrt{H_n |s|} + d_0({\widetilde{x}}_\alpha, {\widetilde{x}}_\beta).\end{gathered}$$ The last term can be bounded by $\sqrt{H_n |s|}$ for small enough $s$, since $S$ is finite.

\[Cl\_number\_preimages\] If $s$ is small enough, then for any $y \in B(z,s,\sqrt{2H_n |s|})$ $$\# \big(\pi^{-1}(y) \cap B({\widetilde{z}},s,10 \sqrt{H_n|s|}) \big) \geq \# S.$$

Choose a lift ${\widetilde{y}} \in B({\widetilde{z}},s, \sqrt{2H_n|s|})$ of $y$. For any $\alpha \in S$ and ${\widetilde{y}}_\alpha := \alpha. {\widetilde{y}}$ we have $$d_s({\widetilde{y}}_\alpha, {\widetilde{z}}) \leq d_s({\widetilde{y}}_\alpha,  {\widetilde{z}}_\alpha) + d_s( {\widetilde{z}}_\alpha, {\widetilde{z}}) 
= d_s({\widetilde{y}},  {\widetilde{z}})+ d_s( {\widetilde{z}}_\alpha, {\widetilde{z}}) 
\leq \sqrt{2H_n|s|} + 3 \sqrt{H_n |s|} \leq 10 \sqrt{H_n|s|}. \qedhere$$

Now recall from @Bamler_HK_entropy_estimates [Theorems 6.2, 8.1] that for some dimensional constant $c > 0$ $$\begin{aligned}
 \big|B(z,s,\sqrt{2H_n |s|})\big|_s &\geq c \exp ({\mathcal{N}}_{x,0}(-s)) \\
 \big|B({\widetilde{z}},s,10 \sqrt{H_n|s|})\big|_s &\leq c^{-1} \exp ({\mathcal{N}}_{{\widetilde{x}},0}(-s)) \end{aligned}$$ So by Claim \[Cl\_number\_preimages\] $$\# S \leq \frac{\big|B({\widetilde{z}},s,10 \sqrt{H_n|s|}) \big|_s}{\big|B( z,s, \sqrt{2H_n|s|}) \big|_s} \leq c^{-2} \exp \big({\mathcal{N}}_{{\widetilde{x}},0}(-s) - {\mathcal{N}}_{x,0}(-s) \big).$$ The result now follows by letting $s \to -\infty$ and noticing that $S \subset \Gamma$ was chosen arbitrarily.

Next, we prove Theorems \[Thm\_pi1\_RR\_M\], \[Thm\_GSS\_quotient\].

\[Proof of Theorems \[Thm\_pi1\_RR\_M\], \[Thm\_GSS\_quotient\].\] Fix basepoints ${\widetilde{x}} \in {\widetilde{M}}$, $x = \pi({\widetilde{x}}) \in M$ and a sequence ${\lambda}_i \to 0$ such that the flows $(M,(g_t)_{t \leq 0})$, $({\widetilde{M}}, ({\widetilde{g}}_t)_{t \leq 0})$, pointed at $(x,0)$, $({\widetilde{x}}, 0)$ and parabolically rescaled by ${\lambda}_i$ converge in the ${\mathbb{F}}$-sense to singular gradient shrinking solitons that are represented by $(X,d,{\mathcal{R}}_X,g_X, f)$ and $({\widetilde{X}},{\widetilde{d}},{\mathcal{R}}_{{\widetilde{X}}},g_{{\widetilde{X}}}, {\widetilde{f}})$. This implies that we can find exhaustions $U_1 \Subset U_2 \Subset \ldots \Subset {\mathcal{R}}_X$, ${\widetilde{U}}_1 \Subset {\widetilde{U}}_2 \Subset \ldots \Subset {\mathcal{R}}_{{\widetilde{X}}}$ and embeddings $\psi_i : U_i \to M$, ${\widetilde{\psi}}_i : {\widetilde{U}}_i \to {\widetilde{M}}$ such that for $t_i = -{\lambda}_i^{-2}$ $$\label{eq_Cinfty_conv}
\begin{alignedat}{2}
 {\lambda}_i^2 \psi_i^* g_{t_i} &\xrightarrow[i \to \infty]{C^\infty_{\operatorname{loc}}} g_X, \qquad \psi_i^* d\nu_{x,0;t_i} &\xrightarrow[i \to \infty]{C^\infty_{\operatorname{loc}}} (4\pi)^{-n/2} e^{-f} dg_X, \\
{\lambda}_i^2 {\widetilde{\psi}}_i^* {\widetilde{g}}_{t_i} &\xrightarrow[i \to \infty]{C^\infty_{\operatorname{loc}}} g_{{\widetilde{X}}}, \qquad \psi_i^* d\nu_{{\widetilde{x}},0;t_i} &\xrightarrow[i \to \infty]{C^\infty_{\operatorname{loc}}} (4\pi)^{-n/2} e^{-{\widetilde{f}}} dg_{{\widetilde{X}}}.
\end{alignedat}$$

Consider the quantity ${r_{\operatorname{Rm}}}$ on $(M,(g_t)_{t \leq 0})$, $({\widetilde{M}}, ({\widetilde{g}}_t)_{t \leq 0})$ as defined in @Bamler_HK_entropy_estimates [Definition 10.1].

\[Cl\_in\_psi\_image\] If for some sequence $y_i \in M$ we have $$\label{eq_rrm_nu_cond}
 {r_{\operatorname{Rm}}}( y_i, t_i) \geq r \sqrt{-t_i}, \qquad
\nu_{ x, 0; t_i} \big( B( y_i, t_i, r \sqrt{-t_i}) \big) \geq c,$$ for some uniform $r, c > 0$, then $ y_i \in \psi_i (  U_i)$ for large $i$ and $\psi_i^{-1}(y_i)$ is precompact in ${\mathcal{R}}_X$. The corresponding statement is also true for the flow $({\widetilde{M}}, ({\widetilde{g}}_t)_{t \leq 0})$.

By @Bamler_HK_entropy_estimates [Theorem 6.1], @Bamler_RF_compactness [Lemma 9.15] we obtain that for any $r' \in (0,r]$ there is a $c'(r')>0$ such that $\nu_{ x, 0; t_i} ( B( y_i, t_i, r' \sqrt{-t_i}) ) > c(r')$ for large $i$. So since $\nu_{ x,0;t_i} ( \psi_i ( U_i)) \to 1$, we obtain that $(-t_i)^{-1/2} d_{t_i} ( y_i, \psi_i ( U_i) ) \to 0$. Fix some $y'_i \in U_i$ with $$\label{eq_d_yi_psiypi}
(-t_i)^{-1/2} d_{t_i} (y_i, \psi_i(y'_i)) \to 0.$$ Then we have ${r_{\operatorname{Rm}}}(\psi_i(y'_i), t_i) \geq \frac12 r \sqrt{-t_i}$ for large $i$, so by @Bamler_HK_RF_partial_regularity [Lemma 15.16] the ball $B( y'_i, r/4) \subset {\mathcal{R}}_{ X}$ is relatively compact for large $i$. Due to (\[eq\_d\_yi\_psiypi\]) this implies that $y_i \in \psi_i (B( y'_i, r/4))$ for large $i$. For the last statement observe that due to the bound $\operatorname{Var}(\nu_{x,0;t_i}) \leq H_n (-t_i)$ and the second bound in , the sequence $\psi_i^{-1}(y_i)$ must be bounded. So we can again apply @Bamler_RF_compactness [Lemma 9.15].

\[Cl\_chi\] For any fixed $j$ we have $\pi ({\widetilde{\psi}}_i({\widetilde{U}}_j)) \subset \psi_i(U_i)$ for some large $i$. Moreover, for any ${\widetilde{y}}' \in {\mathcal{R}}_{{\widetilde{X}}}$ the sequence $\psi_i^{-1}(\pi({\widetilde{\psi}}_i({\widetilde{y}}'))) \in {\mathcal{R}}_X$ is precompact.

Suppose this was false for some fixed $j$, so after passing to a subsequence, we find ${\widetilde{y}}'_i \in {\widetilde{U}}_j$ such that $\pi({\widetilde{\psi}}_i({\widetilde{y}}'_i)) \not\in \psi_i(U_i)$. By relative compactness of ${\widetilde{U}}_j$ and the convergence we can ensure that a condition of the form holds for $y_i := \pi({\widetilde{\psi}}_i({\widetilde{y}}'_i))$. This contradicts our assumption via Claim \[Cl\_in\_psi\_image\]. The last statement follows from the last statement of Claim \[Cl\_in\_psi\_image\].

So after possibly shrinking ${\widetilde{U}}_i$, we may assume in the following that $$\pi ({\widetilde{\psi}}_i({\widetilde{U}}_i)) \subset \psi_i(U_i).$$

\[Cl\_surj\] For any $y' \in {\mathcal{R}}_{X}$ there is some $j$ such that we can find a sequence ${\widetilde{y}}'_i \in {\widetilde{U}}_j$ with $\psi_i (y') = \pi ({\widetilde{\psi}}_i({\widetilde{y}}'_i))$ for large $i$.

We can choose uniform constants $r, c >0$ such that holds for $y_i := \psi_i (y')$ for large $i$. We can find lifts ${\widetilde{y}}_i \in {\widetilde{M}}$, $y_i = \pi ({\widetilde{y}}_i)$ such that holds with $c$ replaced by $c/ \# \Gamma$. The claim now follows from Claim \[Cl\_in\_psi\_image\].

\[Cl\_K\_alpha\_K\] For any fixed $j$ we have $\alpha . {\widetilde{\psi}}_i({\widetilde{U}}_j) \subset {\widetilde{\psi}}_i ({\widetilde{U}}_i)$ for large $i$ and all $\alpha \in \Gamma$. Moreover, for any ${\widetilde{y}}_i \in {\widetilde{\psi}}_i({\widetilde{U}}_i)$ and $\alpha \in \Gamma$ the sequence ${\widetilde{\psi}}_i^{-1} ( \alpha. {\widetilde{y}}_i)$ is precompact in ${\mathcal{R}}_{{\widetilde{X}}}$. Lastly, for any $y' \in {\mathcal{R}}_X$ and $\alpha \in \Gamma$ we have $$\label{eq_alph_K_K}
 \lim_{i \to \infty} \big( (-t_i)^{n/2} K({\widetilde{x}}, 0; {\widetilde{\psi}}_i(y')) -(-t_i)^{n/2} K({\widetilde{x}}, 0; \alpha. {\widetilde{\psi}}_i(y')) \big) = 0.$$

Since $\Gamma$ is finite by Theorem \[Thm\_finite\_fg\], it suffices to consider a fixed $\alpha \in \Gamma$. The first two statements follow by contradiction, similarly as in the proof of Claim \[Cl\_surj\]: Suppose that there are ${\widetilde{y}}_i \in {\widetilde{\psi}}_i({\widetilde{U}}_j)$ such that $\alpha. {\widetilde{y}}_i \not\in {\widetilde{\psi}} ({\widetilde{U}}_i)$. We can again find $r, c > 0$ such that holds for ${\widetilde{y}}_i$. Next, observe that ${r_{\operatorname{Rm}}}(\alpha . {\widetilde{y}}_i) = {r_{\operatorname{Rm}}}({\widetilde{y}}_i)$. Moreover, since for any measurable subset $S \subset {\widetilde{M}}$ the map $q \mapsto \Phi^{-1} (\nu_{q,0;t_i}(S) )$ is $(-t_i)^{-1/2}$-Lipschitz (see @Bamler_RF_compactness [Definition 3.2(6)]), we obtain $$\label{eq_nu_B_similar}
 \lim_{i \to \infty} \big( \nu_{{\widetilde{x}}, 0; t_i} \big( B( {\widetilde{y}}_i, t_i, r \sqrt{-t_i}) \big) 
-  \nu_{\alpha^{-1} . {\widetilde{x}}, 0; t_i} \big( B( {\widetilde{y}}_i, t_i, r \sqrt{-t_i}) \big) \big) = 0.$$ So by Claim \[Cl\_in\_psi\_image\] we must have $\alpha. {\widetilde{y}}_i \in {\widetilde{\psi}}_i ({\widetilde{U}}_i)$ for large $i$. Finally follows from after letting $r \to 0$.

Choose $\chi_i : {\widetilde{U}}_i \to U_i$ such that $\psi_i \circ \chi_i = \pi \circ {\widetilde{\psi}}_i$. Due to we have $$\chi_i^* g_{X} \xrightarrow[i\to\infty]{C^\infty_{\operatorname{loc}}} g_{{\widetilde{X}}}, \qquad
(\chi_i)_* e^{-{\widetilde{f}}} dg_{{\widetilde{X}}} \xrightarrow[i\to\infty]{C^\infty_{\operatorname{loc}}} e^{- f} dg_{ X}.$$ By Claim \[Cl\_chi\] the sequence $\chi_i({\widetilde{y}}') \in {\mathcal{R}}_X$ is precompact for any ${\widetilde{y}}' \in {\mathcal{R}}_{{\widetilde{X}}}$. So by Arzela-Ascoli we obtain that, after passing to a subsequence, we have $\chi_i \to \pi'$ in $C^\infty_{\operatorname{loc}}$ for some $\pi' : {\mathcal{R}}_{{\widetilde{X}}} \to {\mathcal{R}}_X$ satisfying $$(\pi')^* g_{X} = g_{{\widetilde{X}}}, \qquad \pi'_* e^{-{\widetilde{f}}} dg_{{\widetilde{X}}} = e^{- f} dg_{ X}.$$ Moreover, $\pi'$ is surjective by Claim \[Cl\_surj\].

By the same argument, and using Claim \[Cl\_K\_alpha\_K\], we obtain that, after passing to a subsequence, the action of $\Gamma$ via deck transformations converges to a smooth, isometric action on $({\mathcal{R}}_{{\widetilde{X}}}, g_{{\widetilde{X}}})$, which is equivariant under $\pi'$, fixes ${\widetilde{f}}$ and acts transitively on the preimages $(\pi')^{-1}(y')$, $y' \in {\mathcal{R}}_X$. Since ${\mathcal{R}}_{{\widetilde{X}}}$ is connected, it follows that $\pi'$ is a covering map. The fact that the limiting action of $\Gamma$ on ${\mathcal{R}}_{{\widetilde{X}}}$ is free follows by smoothness and the fact that $\Gamma$ is finite, via a center of mass construction.

So $({\mathcal{R}}_X, g_X)$ is indeed the isometric quotient of $({\mathcal{R}}_{{\widetilde{X}}}, g_{{\widetilde{X}}})$ under the limiting action of $\Gamma$. Since ${\widetilde{f}}$ factors through $\pi'$ and since $$\int_{{\mathcal{R}}_X} (4\pi)^{-n/2} e^{-f} dg_X 
= \int_{{\mathcal{R}}_{{\widetilde{X}}}} (4\pi)^{-n/2} e^{-{\widetilde{f}}} dg_{{\widetilde{X}}} = 1,$$ we obtain that $f$ the the quotient of ${\widetilde{f}} - \log \# \Gamma$.

We now construct the map $\phi : \pi_1 ({\mathcal{R}}_X) \to \pi_1(M)$. Fix basepoints $p \in {\mathcal{R}}_{X}$, $q \in M$ and lifts ${\widetilde{p}} \in {\mathcal{R}}_{{\widetilde{X}}}$, ${\widetilde{q}} \in {\widetilde{M}}$; we will consider all fundamental groups with respect to these basepoints. Observe that $\pi_1({\mathcal{R}}_X) / \pi'_* \pi_1({\mathcal{R}}_{{\widetilde{X}}})$ is naturally isomorphic to the group of deck transformations $\Gamma$ of $\pi' : {\mathcal{R}}_{{\widetilde{X}}} \to {\mathcal{R}}_X$. This produces a sequence of natural homomorphisms $\phi_i : \pi_1({\mathcal{R}}_X) \to \Gamma = \pi_1(M)$ with kernel $\pi'_* \pi_1({\mathcal{R}}_{{\widetilde{X}}})$. After passing to a subsequence, we may assume that $\phi_i = \phi$ is independent of $i$. Let us describe $\phi$ in geometric terms. Fix $i$ and consider a closed loop $\gamma : [0,1] \to U_i$ based at $p$. Set $q'_i := \psi_i(p)$ and let ${\widetilde{q}}'_i \in {\widetilde{M}}$ be the lift of $q'_i$ near ${\widetilde{\psi}}_i ({\widetilde{p}})$. Then $\phi ([\gamma])$ represents the deck transformation that maps ${\widetilde{q}}'_i$ to the endpoint of the lift of $\psi_i \circ \gamma$ starting at ${\widetilde{q}}'_i$. So if $\sigma_i : [0,1] \to M$ is the projection of a path between ${\widetilde{q}}$ and ${\widetilde{q}}'_i$, then $\phi ([\gamma])$ is represented by the concatenation of $\sigma_i * (\psi_i \circ \gamma) * \sigma^{-1}_i$. It follows that there is an isotopy $\xi_i : M \to M$ sending $q'_i$ to $q$ such that $\phi_i = (\xi_i \circ \psi_i)_*$. This explains the construction of the embedding $\psi$ in the commutative diagram in Theorem \[Thm\_pi1\_RR\_M\] and proves the first part of Theorem \[Thm\_GSS\_quotient\].

Corollary \[Cor\_sc\] is a direct consequence of Theorem \[Thm\_pi1\_RR\_M\]. Corollary \[Cor\_Omega\] follows using Van Kampen's Theorem and the fact that the boundary components of $\psi(\Omega)$ need to be separating, because $\pi_1 (M)$ is finite. Corollary \[Cor\_pi1\_expNN\] follows from Theorem \[Thm\_GSS\_quotient\] and the fact that the pointed Nash entropies pass to the limit.

Justification of the non-compact case {#appendix}
=====================================

We will now explain how the techniques from @Bamler_HK_entropy_estimates [@Bamler_RF_compactness; @Bamler_HK_RF_partial_regularity] can be generalized to the setting of Ricci flows with complete time-slices and bounded curvature on compact time-intervals.

First, note that in this series of papers global, spatial integrals are usually taken with respect to a background measure of the form $d\nu_t = (4\pi \tau)^{-n/2} e^{-f} dg_t$, possibly combined with an integration over a compact time-interval. Here $(4\pi \tau)^{-n/2} e^{-f} = K(x_0, t_0; \cdot, \cdot)$ denotes the conjugate heat kernel based at a point $(x_0, t_0)$ and $\tau = t_0 - t$. Due to @Chow_book_series_Part_III [Theorems 26.25, 26.31] (combined with Bishop-Gromov volume comparison) the density function of the of this measure satisfies an upper and lower Gaussian bound of the form $$\begin{gathered}
 \label{eq_HK_bound_Gau}
 \frac{C^{-1}}{|B(x_0,t_0,\sqrt{\tau})|_{t_0}} \exp \bigg( {- \frac{d^2_t(x_0,x)}{C^{-1} \tau} }\bigg) \leq (4\pi \tau)^{-n/2} e^{-f(x,t)} = K(x_0, t_0; x,t) \\ \leq \frac{C}{|B(x_0,t_0,\sqrt{\tau})|_{t_0}} \exp \bigg( {- \frac{d^2_t(x_0,x)}{C\tau} }\bigg), \end{gathered}$$ where $C$ may depend on a global curvature bound on $M \times [t,t_0]$. Observe that implies a quadratic growth bound on $f$. Due to local gradient estimates (see for example @Bamler_RF_compactness [Lemma 9.15]), we also obtain Gaussian bounds of the form $$|\nabla^m f|^p \, (4\pi \tau)^{-n/2} e^{-f(x,t)}  \leq \frac{C}{\tau^{n/2}} \exp \bigg( {- \frac{d^2_t(x_0,x)}{C\tau} }\bigg),$$ where $C$ may now also depend on $m, p$ and on the injectivity radius at $x_0$. Similar bounds are true if we replace $|\nabla^m f|^p$ by $|\nabla^m u|^p$ for a solution $u$ of the heat equation on a compact time-interval that grows at most polynomially in space or by terms of the form $|\nabla^m_{x_0} K(x_0, t_0; x,t)|$. On the other hand, due to the uniform curvature bound on compact time-intervals, we have an upper volume bound on distance balls of the form $|B(p,t,r)| \leq C e^{Cr}$. This justifies the existence of the global integrals in @Bamler_HK_entropy_estimates [@Bamler_RF_compactness; @Bamler_HK_RF_partial_regularity] and the application of Stokes' Theorem wherever necessary.

Let us now discuss how to resolve remaining issues in the non-compact case.

The main results of @Bamler_HK_entropy_estimates were generalized to the non-compact setting in @Ma_Zhang_2021_ancient [@Chan_Ma_Zhang_2021_ancient]; we include a brief overview for completeness:

1.  The maximum principle is applied in the proofs of @Bamler_HK_entropy_estimates [Theorems 4.1, 7.2, 11.1] and occasionally to justify a lower scalar curvature bound of the form $R \geq - \frac{n}{2t}$. In the non-compact case these applications remain justified by @Chow_book_series_Part_II [Theorem 12.22] and local gradient estimates.

2.  In the proof of @Bamler_HK_entropy_estimates [Theorem 4.1] the compactness property is used to guarantee that $u_{t_0}$ takes values in $({\varepsilon}, 1-{\varepsilon})$ for some ${\varepsilon}> 0$, as well as in the application of a maximum principle. Alternatively, we could consider the function $(1-2{\varepsilon}) u + {\varepsilon}$ instead of $u$ and then let ${\varepsilon}\to 0$.

3.  In the proof of @Bamler_HK_entropy_estimates [Claim 4.6], we required $b_m > \max_M q$, which may be infinite in the non-compact case. Instead, we can just use bound $\nu (\{ q > b_m\}) \leq \frac1{b_m} \int_M q \, d\nu \leq \frac{C}{b_m}$ and let $b_m \to \infty$.

4.  In the proof of @Bamler_HK_entropy_estimates [Theorem 7.2], we started an induction with the statement that given a Ricci flow defined on $[0,1]$ there are some uniform constants $Q, Z < \infty$ such that $$\label{eq_K_bound_ZQ}
     K(x,t;y,0) \leq \frac{2Z \exp(-{\mathcal{N}}^*_0(x,t))}{t^{n/2}} \exp \bigg({- \frac{d^2_0(z,y)}{Qt} }\bigg)$$ for any $(x,t) \in (0,\frac12] \times M$ and any $H_n$-center $(z,0)$ of $(x,t)$. To see that such a bound holds, recall that by @Bamler_HK_entropy_estimates [Theorem 6.1] and the global curvature bound we must have $$\label{eq_lower_vol_bound}
     |B(x,t,\sqrt{t})|_t \geq c \exp ({\mathcal{N}}^*_0(x,t))$$ for some uniform $c > 0$. Moreover, it follows from that $$\label{eq_K_N_bound}
     K(x,t;y,0) \leq \frac{C}{|B(x,t,\sqrt{t})|_t} \exp \bigg({- \frac{d^2_0(x,y)}{Ct} }\bigg),$$ where $C$ is independent of $x,y,t$. This implies a bound of the form $d_0(x,z) \leq C \sqrt{t}$, which combined with gives .

5.  The function $h$ @Bamler_HK_entropy_estimates [Theorem 11.1] should be assumed to be in $C^1 \cap L^p(d\nu_{t_0-\tau})$ and the proof follows by approximating $h$ with bounded functions.

6.  The function $u$ @Bamler_HK_entropy_estimates [Theorem 12.1] should be assumed to have at most polynomial spatial growth.

Note that @Bamler_HK_entropy_estimates [Corollary 9.6] implies that $P^*$-parabolic neighborhoods are, in fact, relatively compact within $M \times I$, so any analysis restricted to them is still local.

For @Bamler_RF_compactness we only need to realize that non-compact Ricci flows with complete time-slices and bounded curvature on compact time-intervals satisfy the axioms of an $H_n$-concentrated metric flow. This has already been discussed in regards to @Bamler_HK_entropy_estimates.

Let us now focus on @Bamler_HK_RF_partial_regularity:

1.  At various places, we use Perelman's differential Harnack inequality $$w = \tau(2\triangle f- |\nabla f|^2 + r) + f - n \leq 0$$ for conjugate heat kernels $v = (4\pi\tau)^{-n/2} e^{-f}$. This follows via the maximum principle from the inequality $\square^* (wu) = -2 \tau |\operatorname{Ric}+ \nabla^2 - \frac1{2\tau} |^2 v \leq 0$ @Perelman1 in combination with an asymptotic condition on $w, u$ as $\tau \searrow 0$ (see @Chow_book_series_Part_II [Section 4], @Ni_2006_note_Harnack). The application of the maximum principle remains justified by @Chow_book_series_Part_II [Theorem 12.22] and local gradient estimates. The proof of the asymptotic condition continues to work out in the non-compact setting after some modifications of the arguments. Alternatively, one may also express the flow restricted on a small time-interval as a limit of Ricci flows on compact manifolds, using @Hamilton_RF_compactness [@Cheeger_Gromov_Chopping_RM]. Then the bound $w \leq 0$ holds for small $\tau$ due to a limit argument, so by the maximum principle it holds for all $\tau$.

2.  Note that the weak splitting maps constructed in @Bamler_HK_RF_partial_regularity [Sections 10, 11] arise by linear combination of potentials of conjugate heat kernels, so by their spatial growth is at most quadratic. Similarly, the almost radial function $q$ from @Bamler_HK_RF_partial_regularity [Proposition 13.1] and the weak splitting map in the end of the proof of @Bamler_HK_RF_partial_regularity [Proposition 13.19] have at most polynomial spatial growth. Moreover, the strong splitting maps from @Bamler_HK_RF_partial_regularity [Proposition 12.21] are uniformly bounded by construction.

3.  In order to apply the degree argument in the proof of @Bamler_HK_RF_partial_regularity [Proposition 16.1], we need to ensure that the maps $q_i$ are proper. This is the case due to if the strong splitting maps $y^i_j$ are bounded, which we may always assume.

4.  The terms $\square |\omega_l|$ in @Bamler_HK_RF_partial_regularity [Section 17] may not satisfy good bounds at spatial infinity; however, they are bounded from above by $|\square \omega_l|$, which does. This implies that the integral of $\square |\omega_l|$ against some conjugate heat kernel measure is defined, but may be infinite. This, or a comparable term, occurs in an integration-by-parts argument only in @Bamler_HK_RF_partial_regularity [(17.23), (17.24), Lemmas 17.37, 17.38]. Each time, we may instead first compute integrals of the form $\int \int_M \square (|\omega_L| \eta_L) d\nu_t dt$ for some spatial cutoff function $\eta_L$ with compact support in some ball of radius $\approx L$ and $|\nabla \eta_L | \leq C/L$, $|\nabla^2 \eta_L| \leq C e^{CL}$ and then let $L \to \infty$.

{'source': 'arXiv_out/2110'}