--- abstract: 'We give upper bounds on the eigenvalues of the differential form Laplacian on a compact Riemannian manifold. The proof uses Alexandrov spaces with curvature bounded below. We also construct differential form Laplacians on Alexandrov spaces. Under a local biLipschitz assumption on the Alexandrov space, which is conjecturally always satisfied, we show that the differential form Laplacian has a compact resolvent. We identify its kernel with an intersection homology group.' address: | Department of Mathematics\ University of California, Berkeley\ Berkeley, CA 94720-3840\ USA author: - John Lott date: 'January 5, 2018' title: Eigenvalue estimates and differential form Laplacians on Alexandrov spaces --- [^1] Introduction {#sec1} ============ For a closed connected Riemannian manifold, let $\lambda_k$ denote the $k^{th}$ positive eigenvalue of the (nonnegative) function Laplacian, counted with multiplicity. In 1975, S.-Y. Cheng proved the following upper bound on the eigenvalues. (Cheng @Cheng [@(1975)]) \[thm1.1\] There is a function $c : {{\mathbb Z}}^+ \times {{\mathbb R}}\rightarrow {{\mathbb R}}^+$ with the following property. Given $n \in {{\mathbb Z}}^+$, $D \in {{\mathbb R}}^+$ and $K \in {{\mathbb R}}$, if $M$ is an $n$-dimensional closed connected Riemannian manifold with diameter $D$, and ${\operatorname{Ric}}_M \ge K g_M$, then $$\label{1.2} \lambda_k \le c(n, KD^2) \frac{k^2}{D^2}.$$ We give extensions of Cheng's result to the differential form Laplacian. Let $\lambda_{k,p}$ denote the $k^{th}$ positive eigenvalue of the Hodge Laplacian $dd^* + d^*d$ on $p$-forms, counted with multiplicity. First, we assume a lower volume bound. \[thm1.7\] There is a function $C_1 : {{\mathbb Z}}^+ \times {{\mathbb R}}\times {{\mathbb R}}^+ \rightarrow {{\mathbb R}}^+$ with the following property. Given $n \in {{\mathbb Z}}^+$, $D \in {{\mathbb R}}^+$, $K \in {{\mathbb R}}$ and $v \in {{\mathbb R}}^+$, if $M$ is an $n$-dimensional closed connected Riemannian manifold with diameter $D$, sectional curvatures bounded below by $K$ and volume bounded below by $v$, then for all $p \in [0,n]$ we have $$\label{1.8} \lambda_{k,p} \le C_1(n, KD^2, vD^{-n}) \frac{k^{\frac{2}{n}}}{D^2}.$$ To remove the lower volume bound, we use the notion of a strainer @Burago-Gromov-Perelman [@(1992) §5]. Given a complete Riemannian manifold (or Alexandrov space) with curvature bounded below by $K \in {{\mathbb R}}$, and an integer $s > 0$, an $s$-strainer of quality $\delta$ and size $S$ at a point $m$ consists of points $\{a_i, b_i\}_{i=1}^s$ with $d(m,a_i) = d(m, b_i) = S$ so that $$\begin{aligned} \tilde{\measuredangle} a_i m b_i > \pi - \delta, \: \: \: \: \: \: & \tilde{\measuredangle} a_i m a_j > \frac{\pi}{2} - \delta, \\ \tilde{\measuredangle} a_i m b_j > \frac{\pi}{2} - \delta, \: \: \: \: \: \: & \tilde{\measuredangle} b_i m b_j > \frac{\pi}{2} - \delta, \notag\end{aligned}$$ whenever $i \neq j$. Here $\tilde{\measuredangle}$ is the comparison angle at $m$, relative to the model space of constant sectional curvature $K$. \[thm1.3\] There is a function $C_2 : {{\mathbb Z}}^+ \times {{\mathbb R}}\rightarrow {{\mathbb R}}^+$ with the following property. Given $n \in {{\mathbb Z}}^+$ and $K \in {{\mathbb R}}$, let $M$ be an $n$-dimensional closed connected Riemannian manifold with sectional curvatures bounded below by $K$. Suppose that there is some $m \in M$ with an $s$-strainer of quality $\frac{1}{10}$ and size $S$, where $1 \le s \le n$. Then for all $p \in [0,s]$, we have $$\label{1.4} \lambda_{k,p} \le C_2(n, KS^2) \frac{k^{\frac{2}{s}}}{S^2}.$$ Given $n \in {{\mathbb Z}}^+$, there is some $\kappa_n < \infty$ with the following property. Let $M$ be an $n$-dimensional closed connected Riemannian manifold with nonnegative sectional curvature. Suppose that there is some $m \in M$ with an $s$-strainer of quality $\frac{1}{10}$ and size $S$, where $1 \le s \le n$. Then for all $p \in [0,s]$, we have $$\lambda_{k,p} \le \kappa_n \frac{k^{\frac{2}{s}}}{S^2}.$$ The choice of $\frac{1}{10}$ for the quality of the strainer is arbitrary. In the proof of Theorem \[thm1.3\] we actually get upper eigenvalue bounds for the Laplacian on $\Omega^p(M)/{\operatorname{Ker}}(d)$ when $p < s$, and for the Laplacian on ${\operatorname{Im}}(d) \subset \Omega^s(M)$. Theorem \[thm1.3\] implies Theorem \[thm1.1\] under the stronger assumption of a lower sectional curvature bound, by taking $s = 1$ and $S = \frac{D}{2}$. One would not expect to be able to control eigenvalues of the $p$-form Laplacian from a lower Ricci curvature bound if $p \notin \{0,1,n-1,n\}$. \[rem1.11\] Theorem \[thm1.7\] actually follows from Theorem \[thm1.3\]. Under the hypotheses of Theorem \[thm1.7\], after rescaling the diameter to be $1$, convergence theory implies that there is some point with an $n$-strainer of quality $\frac{1}{10}$ and a certain size. To get upper eigenvalue bounds for the $p$-form Laplacian, Theorem \[thm1.3\] has an assumption about the existence of a $p$-strainer at some point. The need for some such assumption can be seen by taking $M = X \times S^N$, where $X$ is a closed Riemannian manifold, and shrinking the $S^N$-factor. If $\dim(X) < p$ and $N > p$ then the eigenvalues of the $p$-form Laplacian on $M$ go to infinity. As the sphere shrinks, there is clearly no $p$-strainer on $M$ of quality $\frac{1}{10}$ whose size is uniformly bounded below. Taking $s = \dim(X)$, this example also shows the sharpness of the exponent $\frac{2}{s}$ in (\[1.4\]), which corresponds to Weyl-type asymptotics on an $s$-dimensional manifold. The constant $c$ in Theorem \[thm1.1\] can be made explicit. The constants $C_1$ and $C_2$ in Theorems \[thm1.7\] and \[thm1.3\] are not explicit. The reason is that the proofs of Theorems \[thm1.7\] and \[thm1.3\] are by a contradiction argument. One common feature of all the proofs is the use of a minmax argument on an appropriate class of test functions or test forms. To prove Theorem \[thm1.1\], Cheng transplanted functions from a model space, using the exponential map from a point. Dodziuk extended Cheng's result, by transplanting differential forms from a model space, to prove an analog of Theorem \[thm1.7\] under the stronger assumptions of a double sided curvature bound and a lower bound on the injectivity radius @Dodziuk [@(1982)]. We instead pullback differential forms from an Alexandrov space (with curvature bounded below) that arises in the contradiction argument. This leads to the question of whether differential form Laplacians make sense for Alexandrov spaces. (The function Laplacian on an Alexandrov space was studied in @Kuwae-Machigashira-Shioya [@(2001); @Shioya; @(2001)].) To see some of the issues involved, note that on a smooth Riemannian manifold, when written in local coordinates, the differential form Laplacian $dd^* + d^* d$ involves two derivatives of the metric tensor. An Alexandrov space has a dense open set with the structure of a Riemannian Lipschitz manifold, meaning in particular that there is a Riemannian metric whose components, in local coordinates, are in $L^\infty_{loc}$ @Perelman. Hence defining $dd^* + d^* d$ directly on an Alexandrov space does not look promising. Instead of trying to directly define the differential form Laplacian as an operator, one could try to define the putative spectrum. On a smooth closed Riemannian manifold $M$, the minmax formula says that $$\label{1.13} \lambda_{k,p} = \inf_V \sup_{\omega \in V, \omega \neq 0} \frac{|d\omega|_{L^2}^2 + |d^* \omega|_{L^2}^2 }{ |\omega|_{L^2}^2 },$$ where $V$ ranges over $k$-dimensional subspaces of $\Omega^p(M)$. In local coordinates, $d^* \omega$ involves first derivatives of the metric tensor. On an Alexandrov space, one knows that the first derivatives of the metric components exist as measures @Perelman, but this is not enough to make sense of (\[1.13\]). To gain another derivative, we use the observation, essentially due to Cheeger and Dodziuk @Dodziuk [@(1982)], that the minmax equation (\[1.13\]) takes a nicer form if we look instead at the Laplacian $\triangle_*$ on $\Omega^*(M)/\overline{{\operatorname{Im}}(d)}$. For this Laplacian, the minmax equation becomes $$\label{1.14} \lambda_{k,p} = \inf_V \sup_{\omega \in V, \omega \neq 0} \frac{|d\omega|_{L^2}^2 }{ |\omega|_{L^2}^2 },$$ where $V$ now ranges over $k$-dimensional subspaces of $\Omega^p(M)/\overline{{\operatorname{Im}}(d)}$. The right-hand side of (\[1.14\]) does not involve any derivatives of the metric tensor. Using the Hodge decomposition and the isomorphism $\Omega^*(M)/\overline{{\operatorname{Im}}(d)} \cong {\operatorname{Ker}}(dd^* + d^*d) \oplus \overline{{\operatorname{Im}}(d^*)}$, the spectrum of $\triangle_*$ is the same as the spectrum of $dd^* + d^* d$, with the multiplicities related by a factor of at most two. For this reason, in making sense of a differential form Laplacian on an Alexandrov space, we only consider an analog of the Laplacian $\triangle_*$ on $\Omega^*(M)/\overline{{\operatorname{Im}}(d)}$. \[thm1.15\] If $X$ is a compact Alexandrov space then there is a well-defined nonnegative self-adjoint differential form Laplacian $\triangle_*$. When $X$ is a smooth Riemannian manifold $M$ with (possibly empty) convex boundary, the operator $\triangle_*$ becomes the usual Hodge Laplacian on $\Omega^*(M)/\overline{{\operatorname{Im}}(d)}$ with relative (Dirichlet) boundary conditions. We prove Theorem \[thm1.7\] in the generality of compact Alexandrov spaces. The use of $\Omega^*/{\operatorname{Ker}}(d)$ is key in proving Theorems \[thm1.7\] and \[thm1.3\]. Their proofs do not need the existence of the differential form Laplacian on the limit space, but rather the existence of differential forms. We construct $\triangle_*$ more generally for compact metric spaces $X$ that have an open subset, of full Hausdorff measure, with the structure of a Riemannian Lipschitz manifold. The basic analytic property of $\triangle_*$ that one would like to show is that $(I + \triangle_*)^{-1}$ is compact; this implies discreteness of the spectrum of $\triangle_*$. In order to show that $(I + \triangle_*)^{-1}$ is compact, it is necessary to make an additional assumption about $X$. To motivate this assumption, we recall that in a finite dimensional Alexandrov space $X$, any $x \in X$ has a neighborhood that is homeomorphic to the truncated tangent cone $T^1_xX$ @Kapovitch [@(2007); @Perelman2]. It seems likely that any $x \in X$ has a neighborhood that is biLipschitz homeomorphic to $T^1_x X$; this has been claimed, although no proof is available. Based on this, we consider a class ${\mathcal C}_*$ of compact metric spaces that are Lipschitz analogs of the topological multiconical spaces (MCS) introduced in @Siebenmann [@(1972)] and used in @Kapovitch [@(2007); @Perelman2]. First, ${\mathcal C}_0$ consists of finite metric spaces. Inductively, if $X \in {\mathcal C}_n$ with $n \ge 1$ then any point in $X$ has a neighborhood that is biLipschitz homeomorphic to the truncated open metric cone over some element of ${\mathcal C}_{n-1}$ with diameter at most $\pi$. Conjecturally, any $n$-dimensional compact Alexandrov space is an element of ${\mathcal C}_n$. (If one is just interested in Alexandrov spaces then one can just start with elements of ${\mathcal C}_0$ consisting of one or two points. For boundaryless Alexandrov spaces, one can just start with elements of ${\mathcal C}_0$ consisting of two points.) Examples of elements of ${\mathcal C}_*$ come from quotients of smooth closed Riemannian manifolds by compact groups of isometries. Other examples come from compact stratified spaces with iterated cone-edge Riemannian metrics. \[thm1.16\] (1) If $X \in {\mathcal C}_n$ then ${\operatorname{Ker}}(\triangle_*)$ is isomorphic to ${\operatorname{IH}}^{GM}_{n-*}(X; {\mathcal O})$, the Goresky-MacPherson intersection homology of $X$ as defined using the upper middle perversity.\ (2) If $X \in {\mathcal C}_n$ then $(I + \triangle_*)^{-1}$ is compact. Here ${\mathcal O}$ is the orientation line bundle of the codimension-zero stratum of $X$. The upper middle perversity is the function $\overline{p} : {{\mathbb Z}}^{\ge 0} \rightarrow {{\mathbb Z}}$ given by $\overline{p}(0) = 0$ and $\overline{p}(j) = \left[ \frac{j-1}{2} \right]$ for $j \ge 1$. If $X$ is a conically stratified pseudomanifold (i.e. has no codimension-one strata) then it is well known that the $L^2$-cohomology of $X$ is related to the intersection (co)homology of $X$ with middle perversity. If $X$ is allowed to have codimension-one strata, as in our case, then there are various notions of intersection (co)homology @Friedman [@(2011)]. It is not immediately clear which one is the right one to describe ${\operatorname{Ker}}(\triangle_*)$. It turns out that the right one is the original Goresky-MacPherson intersection homology, extended to spaces with codimension-one strata, after an appropriate change of degree. \[rem1.17\] A finite dimensional Alexandrov space is locally Lipschitz contractible @Mitsuishi-Yamaguchi [@(2014)]. Unfortunately, this does not help in proving Theorem \[thm1.16\] for Alexandrov spaces that are not <span>*a priori*</span> in ${\mathcal C}_*$, due to boundedness issues. To summarize, we construct self-adjoint differential form Laplacians for a class of compact metric spaces, that includes compact Alexandrov spaces. For a more restricted class of compact metric spaces, that conjecturally includes compact Alexandrov spaces, we show that the differential form Laplacian has a compact resolvent. The structure of the paper is as follows. In Section \[sec2\] we construct the differential form Laplacian $\triangle_*$ on a class of compact metric spaces. Section \[sec3\] has the construction of a sheaf of certain locally-$L^2$ differential forms. The eigenvalue bounds of Theorems \[thm1.7\] and \[thm1.3\] are proven in Section \[sec4\]. In Section \[sec5\] we consider the Lipschitz multiconical spaces ${\mathcal C}_*$ and prove Theorem \[thm1.16\]. I thank Vitali Kapovitch for consultations on Alexandrov spaces, and Greg Friedman for consultations on intersection homology. I thank Bruno Colbois for a correction to an earlier version of the paper, and the referee for helpful remarks. Differential form Laplacian on an Alexandrov space {#sec2} ================================================== In this section we define differential form Laplacians on a class of metric spaces that includes Alexandrov spaces. In Subsection \[subsec2.1\] we consider a certain class of test forms built out of Lipschitz functions. Using them, in Subsection \[subsec2.2\] we define a complex of $L^2$-forms. Subsection \[subsec2.3\] has the construction of the differential form Laplacian. For background material on Alexandrov spaces, we refer to @Burago-Burago-Ivanov [@(2001) Chapter 10]. Let $(X, d_X)$ be a compact metric space with Hausdorff dimension $n$ and finite $n$-dimensional Hausdorff mass. If $X$ is disconnected then we assume that the distance between points in distinct connected components is infinity. Suppose that there is an open subset $X^* \subset X$, with full Hausdorff $n$-measure, having the structure of an $n$-dimensional Riemannian Lipschitz manifold. This means that $X^*$ has a manifold structure with locally Lipschitz transition maps, and that it is equipped with a Riemannian metric $g$ so that in coordinate charts, $g$ and $g^{-1}$ are in $L^\infty_{loc}$. In addition, $d_X$ is compatible with the metric $d_{X^*}$ on $X^*$ coming from $g$ @DeCecco-Palmieri [@(1991)], in the sense that $d_X$ and $d_{X^*}$ coincide on some neighborhood of the diagonal in $X^* \times X^*$. In particular, if $F$ is a function with compact support in a coordinate neighborhood of $X^*$, and $F$ is Lipschitz in terms of the coordinates, then $F$ is a Lipschitz function on $X$. \[ex2.1\] Let $X$ be a compact Alexandrov space with curvature bounded below, of Hausdorff dimension $n$. There is some $\delta_0 > 0$ with the following property. Given $\delta \in (0, \delta_0)$, let $X^*_\delta$ be the set of points $x \in X$ such that the space of directions $\Sigma_x$ has $(n-1)$-dimensional Hausdorff mass more than $(1 - \delta)$ times that of $S^{n-1}$. Then $X^*_\delta$ is an open convex subset of $X$ of full Hausdorff measure, with the structure of a Riemannian Lipschitz manifold @Perelman. In fact, there is a stronger DC-structure, but this doesn't seem to matter for the considerations of this paper. Test forms {#subsec2.1} ---------- For a smooth compact Riemannian manifold, we can define an operator $d$, on a dense subset of $L^2$-forms, by saying that $\omega \in {\operatorname{Dom}}(d)$ if the distributional differential $d \omega$ is $L^2$. Here the notion of distributional differential uses smooth test forms. On our space $X$, it doesn't make sense to talk about smooth forms. We will instead use "test forms" made from Lipschitz functions. (Not to be confused with the test forms mentioned in the introduction.) Let $\Omega^*_{{\operatorname{Lip}}}(X)$ be the graded-commutative differential graded algebra generated by $\{f_0 df_1 \ldots df_k\}$, where $f_i \in {\operatorname{Lip}}(X)$. In particular, an element of $\Omega^k_{{\operatorname{Lip}}}(X)$ is a finite sum of expressions $f_0 df_1 \ldots df_k$, and $d(f_0 df_1 \ldots df_k) = 1 \cdot df_0 df_1 \ldots df_k$. There is a relation $d(fg) = fdg + gdf$ for $f,g \in {\operatorname{Lip}}(X)$. The elements of $\Omega^*_{{\operatorname{Lip}}}(X)$ are also known as the Kähler forms of the algebra ${\operatorname{Lip}}(X)$. There is a homomorphism $\rho$ from $\Omega^*_{{\operatorname{Lip}}}(X)$ to the locally-$L^\infty$ differential forms on $X^*$. This homomorphism need not be injective or surjective. The test forms, or more precisely their image under $\rho$, will actually be twisted by the flat orientation line bundle ${\mathcal O}$ of $X^*$. The fiber of ${\mathcal O}$ over $x \in X^*$ is ${\operatorname{H}}^n(X^*, X^*-x; {{\mathbb R}})$. If $X^*$ is orientable then with a given orientation $c$, the homomorphism $\rho_c$ to the ${\mathcal O}$-valued differential forms on $X^*$ can be identified with the $\rho$ of before. If $c^\prime$ is a different orientation then in the applications, $\rho_{c^\prime}(\omega^\prime)$ will be equivalent to the result of changing $\rho_c(\omega^\prime)$ by a sign on the components of $X^*$ where $c^\prime$ differs from $c$. We write $\Omega^*_{{\operatorname{Lip}}}(X; {\mathcal O})$ for the elements of $\Omega^*_{{\operatorname{Lip}}}(X)$ when we consider them to be twisted by ${\mathcal O}$. If $X^*$ is not orientable then we only consider the case when $X$ is a boundaryless Alexandrov space. There is a notion of an orientation cover $\widehat{X}$ of $X$ @Harvey-Searle [@(2016)]. It is also an Alexandrov space and is equipped with a ${{\mathbb Z}}_2$-action whose quotient is $X$. Choose an orientation on the connected space $\widehat{X}^*$. Then $\Omega^*_{{\operatorname{Lip}}}(X; {\mathcal O}) \cong \Omega^*_{{\operatorname{Lip}}}(\widehat{X}) \otimes_{{{\mathbb Z}}_2} {{\mathbb R}}$, where ${{\mathbb R}}$ has the nontrivial representation of ${{\mathbb Z}}_2$. (The papers @Harvey-Searle [@(2016); @Mitsuishi; @(2016)] discuss various equivalent notions of orientability for Alexandrov spaces.) In the rest of the paper we will only discuss the case when $X^*$ is oriented, as the nonorientable case can be handled by working ${{\mathbb Z}}_2$-equivariantly on $\widehat{X}$. \[newlemma\] If $\omega^\prime \in \Omega^{n-1}_{{\operatorname{Lip}}}(X; {\mathcal O})$ is such that $\rho(\omega^\prime)$ and $\rho(d\omega^\prime)$ have compact support in $X^*$ then $\int_{X^*} \rho(d\omega^\prime) = 0$. Put $K = {\operatorname{supp}}(\rho(\omega^\prime)) \cup {\operatorname{supp}}(\rho(d\omega^\prime))$. Let $\{U_i\}_{i=1}^N$ be relatively compact coordinate neighborhoods of $X^*$ that cover K. Let $\{\phi_i\}_{i=1}^N$ be nonnegative subordinate Lipschitz functions whose sum is one on $K$. Write $\omega^\prime$ as a finite sum $\sum_j f_0^j df_1^j \ldots df_{n-1}^j$. Then $$\rho(\omega^\prime) = \sum_{i=1}^N \phi_i \rho(\omega^\prime) = \sum_{i=1}^N \sum_j \rho( \phi_i f_0^j df_1^j \ldots df_{n-1}^j)$$ and $$\rho(d\omega^\prime) = \sum_{i=1}^N (d\phi_i \wedge \rho(\omega^\prime) + \phi_i \rho(d\omega^\prime)) = \sum_{i=1}^N \sum_j \rho( d(\phi_i f_0^j) df_1^j \ldots df_{n-1}^j).$$ Hence it suffices to prove the lemma with $f_0^j$ replaced by $\phi_i f_0^j$, for some fixed $i$. Choose a Lipschitz function $\eta_i$ with compact support in $U_i$ so that $\eta_i \phi_i = \phi_i$, i.e. $\eta_i$ is one on ${\operatorname{supp}}(\phi_i)$. Then $$\begin{aligned} & d(\phi_i f_0^j) d(\eta_i f_1^j) \ldots d(\eta_i f_{n-1}^j) = \\ & ((d\phi_i) f_0^j + \phi_i df_0^j) \cdot ((d\eta_i) f_1^j + \eta_i df_1^j) \ldots ((d\eta_i) f_{n-1}^j + \eta_i df_{n-1}^j) \notag \end{aligned}$$ and $$\begin{aligned} & \rho \left( d(\phi_i f_0^j) d(\eta_i f_1^j) \ldots d(\eta_i f_{n-1}^j) \right) = \\ & ((d\phi_i) \rho(f_0^j) + \phi_i \rho(df_0^j)) \wedge ((d\eta_i) \rho(f_1^j) + \eta_i \rho(df_1^j)) \wedge \ldots \wedge (d\eta_i \wedge \rho(f_{n-1}^j) + \eta_i \rho(df_{n-1}^j)) = \notag \\ & ((d\phi_i) \rho(f_0^j) + \phi_i \rho(df_0^j)) \wedge \rho(df_1^j) \wedge \ldots \wedge \rho(df_{n-1}^j) = \rho(d(\phi_i f_0^j) df_1^j \ldots df_{n-1}^j)). \notag \end{aligned}$$ Hence we can reduce the lemma to the case when each of $f_0^j, f_1^j, \ldots, f_{n-1}^j$ has compact support in $U_i$. Using Euclidean coordinates on $U_i$, we can mollify the functions by convolution and take the mollification parameter to zero, to reduce to the case when $f_0^j, f_1^j, \ldots, f_{n-1}^j$ are smooth functions of the coordinates, in which case the lemma is evident. It is not immediately clear that $\rho(d\omega^\prime)$ is determined by $\rho(\omega^\prime)$, but this turns out to be the case. \[unique\] Given $\omega^\prime_1, \omega^\prime_2 \in \Omega^p_{{\operatorname{Lip}}}(X)$, if $\rho(\omega^\prime_1) = \rho(\omega^\prime_2)$ then $\rho(d\omega^\prime_1) = \rho(d\omega^\prime_2)$ It is equivalent to show that if $\rho(\omega^\prime) = 0$ then $\rho(d\omega^\prime) = 0$. Suppose that $\rho(\omega^\prime) = 0$. For any $\omega \in \Omega^{n-p-1}_{{\operatorname{Lip}}}(X; {\mathcal O})$ such that $\rho(\omega)$ and $\rho(d\omega)$ have compact support in $X^*$, Lemma \[newlemma\] implies that $$0 = \int_{X^*} \rho(d(\omega^\prime \wedge \omega)) = \int_{X^*} \rho(d\omega^\prime) \wedge \rho(\omega).$$ Let $U$ be a relatively compact coordinate neighborhood for $X^*$. Let $F$ be a Lipschitz function with support in $U$. Let $\phi$ be a Lipschitz function with support in $U$ that is identically one on ${\operatorname{supp}}(F)$. Put $\omega = F d(\phi x^{i_1}) \ldots d(\phi x^{i_p})$. Then $\rho(\omega) = F dx^{i_1} \wedge \ldots \wedge dx^{i_p}$. Letting $\omega$ vary over such choices, the lemma follows. If $\omega^\prime \in \Omega^p_{{\operatorname{Lip}}}(X)$ then ${\operatorname{supp}}(\rho(d\omega^\prime)) \subset {\operatorname{supp}}(\rho(\omega^\prime))$. Suppose that ${\operatorname{supp}}(\rho(d\omega^\prime))$ is not contained in ${\operatorname{supp}}(\rho(\omega^\prime))$. Let $\omega \in \Omega^{n-p-1}(X; {\mathcal O})$ be such that $\rho(\omega)$ and $\rho(d\omega)$ have support in a relatively compact coordinate neighborhood of $X^* - {\operatorname{supp}}(\rho(\omega^\prime))$; such $\omega$ can be constructed as in the proof of Lemma \[unique\]. Then $$\begin{aligned} 0 = & \int_{X^*} \rho(d(\omega^\prime \wedge \omega)) = \int_{X^*} \left( \rho(d\omega^\prime) \wedge \rho(\omega) + (-1)^p \rho(\omega^\prime) \wedge \rho(d\omega) \right) \\ = & \int_{X^*} \rho(d\omega^\prime) \wedge \rho(\omega). \notag \end{aligned}$$ Letting $\omega$ vary over such choices gives a contradiction. For brevity, we will write $\omega^\prime$ for $\rho(\omega^\prime)$ on $X^*$, and $d\omega^\prime$ for $\rho(d\omega^\prime)$ on $X^*$. In what follows, this should not cause confusion. $L^2$-complex {#subsec2.2} ------------- Let $\Omega^*_{L^2}(X)$ be the $L^2$-differential forms on $X^*$. There is a well-defined integration $\int_{X*} : \Omega^n_{L^2} \left( X; {\mathcal O} \right) \rightarrow {{\mathbb R}}$. The map $\rho$ sends $\Omega^*_{{\operatorname{Lip}}}(X)$ to $\Omega^*_{L^2}(X)$. \[dense\] The image of $\rho$ is dense in $\Omega^*_{L^2}(X)$. As in the proof of Lemma \[unique\], let $U$ be a relatively compact coordinate neighborhood and let $F$ be a Lipschitz function with support in $U$. Then $F dx^{i_1} \wedge \ldots \wedge dx^{i_p}$ is in the image of $\rho$, from which the lemma follows. Let $\Omega^p_{L^2,d}(X)$ be the elements $\omega \in \Omega^p_{L^2}(X)$ for which there is some $\eta \in \Omega^{p+1}_{L^2}(X)$ so that for all $\omega^\prime \in \Omega^{n-p-1}_{{\operatorname{Lip}}}(X; {\mathcal O})$, we have $$\label{2.2} \int_{X^*} \left( d\omega^\prime \wedge \omega + (-1)^{n-p-1} \omega^\prime \wedge \eta \right) = 0.$$ If such an $\eta$ exists then it is unique, and we put $d\omega = \eta$. This defines a map $d : \Omega^p_{L^2,d}(X) \rightarrow \Omega^{p+1}_{L^2}(X)$. (In the case when $X$ is a smooth closed Riemannian manifold, the definition of $d$ is similar to how one defines the maximal closed extension of the exterior derivative on smooth forms.) \[ex2.3\] If $X = [0,1]$ then $\Omega^0_{L^2,d}([0,1]) = \{f \in H^1([0,1]) : f(0) = f(1) = 0\}$ and $\Omega^1_{L^2,d}([0,1]) = \Omega^1_{L^2}([0,1])$. More generally, if $X$ is a smooth compact Riemannian manifold-with-boundary, with boundary inclusion $i : \partial X \rightarrow X$, then an element $\omega$ of $\Omega^*_{L^2,d}(X)$ has a well-defined restriction $i^* \omega$ in $\Omega^*(\partial X)/\overline{{\operatorname{Im}}(d)}$ that vanishes. These are relative (Dirichlet) boundary conditions. \[rem2.6\] If we replace $X^*$ by an open subset of $X^*$ with full measure then $\Omega^p_{L^2}(X)$ and $\Omega^p_{L^2,d}(X)$ do not change. (This would not be the case if we required $\omega^\prime$ to have support in a compact subset of $X^*$.) As a consequence, $\Omega^p_{L^2}(X)$ and $\Omega^p_{L^2,d}(X)$ are independent of the choice of $X^*$. Namely, if $X^*_1$ and $X^*_2$ are two different choices then in each case, the ensuing spaces $\Omega^p_{L^2}(X)$ and $\Omega^p_{L^2,d}(X)$ are the same as those coming from $X^*_3 = X^*_1 \cap X^*_2$. In particular, if $X$ is a compact $n$-dimensional Alexandrov space, let $X^*_\delta$ be the subspace of Example \[ex2.1\]. If $\delta^\prime < \delta$ then $X^*_{\delta^\prime}$ is an open subset of $X^*_\delta$ with full measure. Hence the notions of $\Omega^p_{L^2}(X)$ and $\Omega^p_{L^2,d}(X)$ are independent of $\delta$. \[lem2.7\] The subspace $\Omega^p_{L^2,d}(X)$ is dense in $\Omega^p_{L^2}(X)$. It suffices to prove the corresponding statement for the elements of $\Omega^p_{L^2}(X)$ with support in a fixed but arbitrary compact set $K \subset X^*$. If $\{\sigma_i \}_{i=1}^N$ are Lipschitz functions on $X$ and $\{\omega_i \}_{i=1}^N$ are elements of $\Omega^p_{L^2,d}(X)$ then one can check that $\sum_{i=1}^N \sigma_i \omega_i \in \Omega^p_{L^2,d}(X)$, with $d \sum_{i=1}^N \sigma_i \omega_i = \sum_{i=1}^N (d\sigma_i \wedge \omega_i + \sigma_i d \omega_i)$. Using a covering of $K$ by relatively compact coordinate neighborhoods of $X^*$, and nonnegative subordinate Lipschitz functions whose sum is one on $K$, we can reduce to the case when $K$ is a closed ball in a fixed coordinate neighborhood. Considering forms with support in $K$ that are smooth with respect to the given coordinates, the lemma follows. \[lem2.8\] The operator $d : \Omega^{p}_{L^2,d}(X) \rightarrow \Omega^{p+1}_{L^2}(X)$ is closed. Suppose that $\{\omega_i\}_{i=1}^\infty$ is a sequence in $\Omega^{p}_{L^2,d}(X)$ so that there is a limit of pairs $\lim_{i \rightarrow \infty} (\omega_i, d\omega_i) = (\omega_\infty, \eta_\infty)$ for some $(\omega_\infty, \eta_\infty) \in \Omega^{p}_{L^2}(X) \oplus \Omega^{p+1}_{L^2}(X)$. Replacing $\omega$ in (\[2.2\]) by $\omega_i$ and passing to the limit shows that $\omega_\infty \in \Omega^{p}_{L^2,d}(X)$ and $\eta_\infty = d \omega_\infty$. This proves the lemma. \[lem2.9\] The image of $d : \Omega^p_{L^2,d}(X) \rightarrow \Omega^{p+1}_{L^2}(X)$ lies in $\Omega^{p+1}_{L^2,d}(X)$, and $\overline{{\operatorname{Im}}(d)} \subset {\operatorname{Ker}}(d)$. Given $\omega \in \Omega^p_{L^2,d}(X)$, replacing $\omega^\prime$ in (\[2.2\]) with $d\omega^\prime$ gives $$\label{2.10} \int_{X^*} d\omega^\prime \wedge d\omega = 0$$ for all $\omega^\prime \in \Omega_{{\operatorname{Lip}}}^{n-p-2}(X; {\mathcal O})$. It follows that ${\operatorname{Im}}(d) \subset \Omega^{p+1}_{L^2,d}(X)$ and $d^2 = 0$. Since $d$ is a closed operator, ${\operatorname{Ker}}(d)$ is a closed subset of $\Omega^{p+1}_{L^2}(X)$. Hence $\overline{{\operatorname{Im}}(d)} \subset {\operatorname{Ker}}(d)$. Differential form Laplacian {#subsec2.3} --------------------------- Define a quadratic form on $\Omega^{p}_{L^2,d}(X)/\overline{{\operatorname{Im}}(d)} \subset \Omega^{p}_{L^2}(X)/\overline{{\operatorname{Im}}(d)}$ by $$\label{2.11} Q(\omega) = \int_{X^*} \langle d\omega, d\omega \rangle \: {\operatorname{dvol}}_{X^*}.$$ As $d$ is closed, it follows that $Q$ is a closed quadratic form in the sense of @Reed-Simon [@(1980) Section VIII.6]. There is a corresponding self-adjoint operator $\triangle_p = d^* d$, densely defined on $\Omega^{p}_{L^2}(X)/\overline{{\operatorname{Im}}(d)}$ @Reed-Simon [@(1980) Theorem VIII.15], @Reed-Simon [@(1975) Theorem X.25]. Its domain is $$\label{2.12} {\operatorname{Dom}}(\triangle_p) = \{\omega \in \Omega^{p}_{L^2,d}(X)/\overline{{\operatorname{Im}}(d)} \: : \: d\omega \in {\operatorname{Dom}}(d^*) \}.$$ We have isometric isomorphisms $$\label{2.13} \Omega^*_{L^2}(X) \cong \left( \Omega^{*}_{L^2}(X)/\overline{{\operatorname{Im}}(d)} \right) \oplus \overline{{\operatorname{Im}}(d)}$$ and $$\label{2.14} \Omega^{*}_{L^2}(X)/\overline{{\operatorname{Im}}(d)} \cong \left( \Omega^{*}_{L^2}(X)/{{\operatorname{Ker}}(d)} \right) \oplus \left( {\operatorname{Ker}}(d)/\overline{{\operatorname{Im}}(d)} \right).$$ Using the isomorphisms $$\label{2.15} \Omega^{*}_{L^2}(X)/{{\operatorname{Ker}}(d)} \cong \left( {\operatorname{Ker}}(d) \right)^\perp$$ and $$\label{2.16} {\operatorname{Ker}}(d)/\overline{{\operatorname{Im}}(d)} \cong {\operatorname{Ker}}(\triangle),$$ we obtain an orthogonal decomposition $$\label{2.17} \Omega^*_{L^2}(X) \cong \left( {\operatorname{Ker}}(d) \right)^\perp \oplus {\operatorname{Ker}}(\triangle_*) \oplus \overline{{\operatorname{Im}}(d)}.$$ We have already defined $\triangle_p$ on $$\label{2.18} \Omega^{*}_{L^2}(X)/\overline{{\operatorname{Im}}(d)} \cong \left( {\operatorname{Ker}}(d) \right)^\perp \oplus {\operatorname{Ker}}(\triangle_*).$$ We can define the Laplacian on $\overline{{\operatorname{Im}}(d)} \subset \Omega^*_{L^2}(X)$ by using the isomorphism $d : \Omega^{*-1}_{L^2}(X)/{\operatorname{Ker}}(d) \rightarrow {\operatorname{Im}}(d)$ to transfer the Laplacian from $\Omega^{*-1}_{L^2}(X)/{\operatorname{Ker}}(d)$. In this way, there is a Laplacian $\triangle^{Hodge}_*$ on $\Omega^*_{L^2}(X)$ with a full Hodge decomposition. Using this Hodge decomposition, spectral questions for $\triangle^{Hodge}_*$ reduce to spectral questions about the Laplacian $\triangle_*$ on $\Omega^{*}_{L^2}(X)/\overline{{\operatorname{Im}}(d)}$. In the rest of the paper, we mostly concentrate on the latter Laplacian. \[ex2.19\] If $X$ is a compact Riemannian manifold-with-boundary then $\triangle_p$ is the densely-defined Laplacian on the Hilbert space $\Omega^{p}_{L^2}(X)/\overline{{\operatorname{Im}}(d)}$, with relative (Dirichlet) boundary conditions, e.g. ${\operatorname{Ker}}(\triangle_p) \cong {\operatorname{H}}^p(X, \partial X; {{\mathbb R}})$. \[ex2.20\] We give an example in which $\triangle_p$ has an infinite dimensional kernel. Start with the cone $(0,1] \times S^3$, equipped with the metric $g = dr^2 + r^2 g_{S^3}$. Glue a $4$-ball onto the $S^3$-boundary. Choose some point $m \in S^3$ and for each $i > 1$, perform a connected sum with a copy of ${{\mathbb C}}P^2$, with size comparable to $100^{-i}$, at the point $(i^{-1}, m)$ in the conical region. Call the result $X^*$ and let $X$ be its $1$-point compactification. Now ${\operatorname{Im}}\left( {\operatorname{H}}^p_c(X^*) \rightarrow {\operatorname{H}}^p(X^*) \right)$ injects into ${\operatorname{Ker}}(d : \Omega^p_{L^2,d}(X) \rightarrow \Omega^{p+1}_{L^2,d}(X))/ \overline{{\operatorname{Im}}(d : \Omega^{p-1}_{L^2,d}(X) \rightarrow \Omega^p_{L^2,d}(X))}$; see @Lott [@(1996) Proposition 4], whose proof does not need completeness of $X^*$. As ${\operatorname{Im}}\left( {\operatorname{H}}^2_c(X^*) \rightarrow {\operatorname{H}}^2(X^*) \right)$ is infinite dimensional, it follows that ${\operatorname{Ker}}(\triangle_2)$ is infinite dimensional. An alternative differential form Laplacian can be defined using the closure of the differential on $\Omega^*_{{\operatorname{Lip}}}(X)$ (sometimes called the minimal closed extension). Namely, say that an element $\omega \in \Omega^*_{L^2}(X)$ lies in ${\operatorname{Dom}}(d)$ if there is a sequence $\omega_i \in \Omega^*_{{\operatorname{Lip}}}(X)$ such that $\lim_{i \rightarrow \infty} \omega_i = \omega$ in $\Omega^*_{L^2}(X)$, and $\lim_{i \rightarrow \infty} d\omega_i$ exists in $\Omega^{*+1}_{L^2}(X)$. If this is the case, put $d \omega = \lim_{i \rightarrow \infty} d\omega_i$; it is independent of the particular choice of $\{\omega_i\}_{i=1}^\infty$. Then $d$ is a closed operator and one can consider $d^* d$, acting on $\Omega^*_{L^2}(X)/\overline{{\operatorname{Im}}(d)}$. If $X$ is a compact Riemannian manifold-with-boundary then one recovers the differential form Laplacian on $\Omega^*_{L^2}(X)/\overline{{\operatorname{Im}}(d)}$, with absolute (Neumann) boundary conditions, this way. The differential form Laplacian $\triangle_*$, as defined following (\[2.11\]), is more convenient for the purposes of this paper, as will be seen in the proof of Theorem \[thm1.3\]. \[rem2.21\] If $X$ is a smooth closed Riemannian manifold then there is a Hodge Laplacian $\triangle^{Hodge}_p = dd^* + d^* d$ acting on the $H^2$-regular $p$-forms. The space of $H^2$-regular $p$-forms is independent of the particular Riemannian metric. If $X$ is a closed Riemannian Lipschitz manifold then a Hodge Laplacian $\triangle^{Hodge}_*$, with dense domain in $\Omega^*_{L^2}(X)$, was defined in @Teleman [@(1983)]. However, there are some subtleties. For example, the corresponding quadratic form $$\label{2.22} Q^{Hodge}(\omega) = \int_X \left( \langle d \omega, d \omega \rangle + \langle d^* \omega, d^* \omega \rangle \right) \: {\operatorname{dvol}}_X$$ has domain ${\operatorname{Dom}}(Q^{Hodge}) = \{ \omega \in \Omega^*_{L^2}(X) \: : \: d\omega \in \Omega^{*+1}_{L^2}(X), d * \omega \in \Omega^{n-*+1}_{L^2}(X) \}$. Due to the appearance of the Hodge duality operator $*$ in $d*\omega$, the domain of $Q^{Hodge}$ definitely depends on the precise $L^{\infty}_{loc}$-Riemannian metric used on $X$ @Teleman [@(1983) p. 46]. In contrast, the quadratic form $Q$ of (\[2.11\]) has domain $\Omega^{*}_{L^2,d}(X)/\overline{{\operatorname{Im}}(d)}$ which, in the case of a closed Riemannian Lipschitz manifold, is independent of the precise Riemannian metric. Hence the domain of $\triangle_*$ is also independent of the precise Riemannian metric. This is one manifestation of the fact that $\triangle_*$ has better biLipschitz properties than $\triangle^{Hodge}_*$. $L^2$-sheaf {#sec3} =========== In this section we define a sheaf $\Omega^*_{L^2_{loc},d}$ of differential graded complexes, constructed from certain locally-$L^2$ differential forms. The result of this section will be used in Section \[sec5\]. We continue with the setup of Section \[sec2\]. In particular, $X$ is a compact metric space and $X^* \subset X$ is an open subset of full Hausdorff measure, with the structure of a Riemannian Lipschitz manifold. Given an open set $U \subset X$, let $\Omega^*_{L^2_{loc}}(U)$ be the locally-$L^2$ differential forms on $U^* = X^* \cap U$. Let $\Omega^p_{L^2_{loc},d}(U)$ be the elements $\omega \in \Omega^p_{L^2_{loc}}(U)$ for which there is some $\eta \in \Omega^{p+1}_{L^2_{loc}}(U)$ so that for all compact subsets $K \subset U$ and all $\omega^\prime \in \Omega^{n-p-1}_{{\operatorname{Lip}}}(X; {\mathcal O})$ with support in $K$, we have $$\label{3.1} \int_{U^*} \left( d\omega^\prime \wedge \omega + (-1)^{n-p-1} \omega^\prime \wedge \eta \right) = 0.$$ If such an $\eta$ exists then it is unique, and we put $d\omega = \eta$. Note that an element of $\Omega^p_{L^2_{loc},d}(U)$ may not satisfy relative boundary conditions in any sense. \[lem3.2\] The assignment $U \rightarrow \Omega^p_{L^2_{loc},d}(U)$ defines a sheaf $\Omega^p_{L^2_{loc},d}$ on $X$. Given $V \subset U$, there is clearly a restriction map $r_{V,U} : \Omega^p_{L^2_{loc},d}(U) \rightarrow \Omega^p_{L^2_{loc},d}(V)$ that defines a presheaf. Let $\{U_\alpha\}$ be an open covering of $U$. Given elements $\omega_1, \omega_2 \in \Omega^p_{L^2_{loc},d}(U)$, if $r_{U_\alpha, U}(\omega_1) = r_{U_\alpha, U}(\omega_2)$ for all $\alpha$, then $\omega_1 = \omega_2$. Now suppose that $\omega_\alpha \in \Omega^p_{L^2_{loc},d}(U_\alpha)$ are such that $r_{U_\alpha \cap U_\beta, U_\alpha}(\omega_\alpha) = r_{U_\alpha \cap U_\beta, U_\beta}(\omega_\beta)$ for all $\alpha$ and $\beta$. There is a unique $\omega \in \Omega^p_{L^2_{loc}}(U)$ so that $\omega_\alpha = r_{U_\alpha, U}(\omega)$ for all $\alpha$. We have to show that $\omega \in \Omega^p_{L^2_{loc},d}(U)$. Let $K$ be a compact subset of $U$. Then $K$ is covered by a finite subset $\{U_i\}_{i=1}^N$ of the $U_\alpha$'s. Let $\{\sigma_i\}_{i=1}^N$ be nonnegative subordinate Lipschitz functions whose sum is one on $K$. In particular, the support of $\sigma_i$ is a compact set $K_i \subset U_i$. For any $\omega^\prime \in \Omega^{n-p-1}_{{\operatorname{Lip}}}(X; {\mathcal O})$ with support in $K$, since $\sigma_i \omega^\prime \in \Omega^{n-p-1}_{{\operatorname{Lip}}}(X; {\mathcal O})$ has support in $U_i$, and $\omega_i \in \Omega^p_{L^2_{loc},d}(U_i)$, we have $$\label{3.3} \int_{U_i^*} \left( d(\sigma_i \omega^\prime) \wedge \omega + (-1)^{n-p-1} \sigma_i \omega^\prime \wedge d\omega_i \right) = 0.$$ Summing over $i$ gives $$\label{3.4} \int_{U^*} \left( d\omega^\prime \wedge \omega + (-1)^{n-p-1} \omega^\prime \wedge \sum_{i=1}^N \sigma_i d\omega_i \right) = 0.$$ Thus $\omega \in \Omega^p_{L^2_{loc},d}(U)$, with $d\omega = \sum_{i=1}^N \sigma_i d\omega_i$. This proves the lemma. Eigenvalue estimates {#sec4} ==================== In this section we prove the eigenvalue estimates of Theorems \[thm1.7\] and \[thm1.3\]. In both cases, the proof is by a contradiction argument. As mentioned in Remark \[rem1.11\], Theorem \[thm1.7\] actually follows from Theorem \[thm1.3\]. As the proof of Theorem \[thm1.7\] makes the strategy clearer, we give it first, in Subsection \[subsec4.1\]. To get the upper eigenvalue bound, we pullback forms from a nice subset of a limiting Alexandrov space that has the same dimension $n$ as the manifolds. In Subsection \[subsec4.2\] we prove Theorem \[thm1.3\]. The proof is more involved, in that we need to pullback forms from an Alexandrov space that may be of a lower dimension. We show that there is a region in the limiting Alexandrov space that is almost Euclidean, and above which the approximating manifold has a fibration structure with controlled geometry. We then pullback forms as in the proof of Theorem \[thm1.7\]. Noncollapsing case {#subsec4.1} ------------------ Let $X$ be a compact metric space of the type considered in Section \[sec2\]. Given $k \in {{\mathbb Z}}^+$ and $p \in [0,n]$, put $$\label{4.1} \lambda_{k,p}(X) = \inf_{V_{k,p}} \sup_{\psi \in V_{k,p}, \psi \neq 0} \frac{ \| d\psi \|^2 }{ \| \psi \|^2 },$$ where $V_{k,p}$ ranges over $k$-dimensional subspaces of $\Omega^{p}_{L^2,d}(X)/{\operatorname{Ker}}(d)$. If $\triangle_p$ has discrete spectrum with finite multiplicities then $\lambda_{k,p}(X)$ is the $k^{th}$ eigenvalue of $\triangle_p$ on $\Omega^{p}_{L^2}(X)/{\operatorname{Ker}}(d)$, counted with multiplicity @Reed-Simon [@(1978) Theorem XIII.2]. \[lem4.3\] If $X_1$ and $X_2$ are $C$-biLipschitz then $$\label{4.4} C^{-2n-4p-2} \lambda_{k,p}(X_1) \le \lambda_{k,p}(X_2) \le C^{2n+4p+2} \lambda_{k,p}(X_1)$$ By reducing $X_1^*$ and $X_2^*$ if necessary, we can assume that the biLipschitz map $h : X_1 \rightarrow X_2$ restricts to a biLipschitz map between $X_1^*$ and $X_2^*$. Then on $X_1^*$, we have $C^{-2} g_1 \le h^* g_2 \le C^2 g_1$. There is a bounded pullback map $h^* : \Omega^*_{L^2}(X_2) \rightarrow \Omega^*_{L^2}(X_1)$. One can check that $h^*$ sends $\Omega^*_{L^2,d}(X_2)$ to $\Omega^*_{L^2,d}(X_1)$, with $h^*d=dh^*$. Hence there is also a pullback $h^* : \Omega^p_{L^2,d}(X_2)/{\operatorname{Ker}}(d_{X_2}) \rightarrow \Omega^p_{L^2,d}(X_1)/{\operatorname{Ker}}(d_{X_1})$. Given a $k$-dimensional subspace $V_{k,p}$ of $\Omega^p_{L^2,d}(X_2)/{\operatorname{Ker}}(d_{X_2})$ and a nonzero element $\widetilde{\psi} \in V_{k,p}$, let ${\psi} \in \Omega^p_{L^2,d}(X_2)$ be a representative for $\widetilde{\psi}$. Then $$\begin{aligned} \label{4.6} \| d h^* \widetilde{\psi} \|^2 = \int_{X_1^*} \langle d h^* \psi, d h^* \psi \rangle_{g_1} {\operatorname{dvol}}_{X_1^*} = & \int_{X_1^*} \langle h^* d\psi, h^* d\psi \rangle_{g_1} {\operatorname{dvol}}_{X_1^*} \\ \le & \: C^{2(p+1)} C^n \int_{X_1^*} \langle h^* d\psi, h^* d\psi \rangle_{h^* g_2} h^* {\operatorname{dvol}}_{X_2^*} \notag \\ = & \: C^{2(p+1)+n} \int_{X_2^*} \langle d\psi, d\psi \rangle_{g_2} {\operatorname{dvol}}_{X_2^*} \notag \\ = & C^{2(p+1)+n} \| d \widetilde{\psi} \|^2 \notag\end{aligned}$$ and $$\begin{aligned} \label{4.7} \| h^* \widetilde{\psi} \|^2 = & \inf_{\tau \in {\operatorname{Ker}}(d_{X_1})} \| h^* {\psi} + \tau \|_{L^2}^2 = \inf_{\sigma \in {\operatorname{Ker}}(d_{X_2})} \| h^* ({\psi} + \sigma) \|_{L^2}^2 \\ = & \inf_{\sigma \in {\operatorname{Ker}}(d_{X_2})} \int_{X_1^*} \langle h^* ({\psi} + \sigma), h^* ({\psi} + \sigma) \rangle_{g_1} {\operatorname{dvol}}_{X_1^*} \notag \\ \ge & \: C^{-2p} C^{-n} \inf_{\sigma \in {\operatorname{Ker}}(d_{X_2})} \int_{X_1^*} \langle h^* ({\psi} + \sigma), h^* ({\psi} + \sigma) \rangle_{h^* g_2} h^* {\operatorname{dvol}}_{X_2^*} \notag \\ = & \: C^{-2p-n} \inf_{\sigma \in {\operatorname{Ker}}(d_{X_2})} \int_{X_2^*} \langle {\psi} + \sigma, {\psi} + \sigma \rangle_{g_2} {\operatorname{dvol}}_{X_2^*} = C^{-2p-n} \| \widetilde{\psi} \|^2. \notag\end{aligned}$$ It follows that $$\label{4.8} C^{-2n-4p-2} \lambda_{k,p}(X_1) \le \lambda_{k,p}(X_2).$$ Reversing the roles of $X_1$ and $X_2$ gives (\[4.4\]). This proves the lemma. We now prove a version of Theorem \[thm1.7\] for compact Alexandrov spaces. \[prop4.9\] Given $n \in {{\mathbb Z}}^+$, $K \in {{\mathbb R}}$ and $v > 0$, there is some $L = L(n,K,v) < \infty$ so that for any $n$-dimensional compact connected Alexandrov space $X$ for which 1. the curvature of $X$ is bounded below by $K$, 2. ${\operatorname{diam}}(X) \le 1$ and 3. ${\operatorname{vol}}(X) \ge v$, and any $p \in [0,n-1]$ and $k \in {{\mathbb Z}}^+$, we have $\lambda_{k,p}(X) \le L k^{\frac{2}{n}}$. Here $\lambda_{k,p}(X)$ is defined by (\[4.1\]). Suppose that the claim about $\lambda_{k,p}$ is not true. Then there is a sequence $\{X_i\}_{i=1}^\infty$ of $n$-dimensional Alexandrov spaces and some $p \in [0, n-1]$ so that 1. the curvature of $X_i$ is bounded below by $K$, 2. ${\operatorname{diam}}(X_i) \le 1$ and 3. ${\operatorname{vol}}(X_i) \ge v$, but 4. $\lambda_{k_i,p}(X_i) \ge i k_i^{\frac{2}{n}}$ for some $k_i \in {{\mathbb Z}}^+$. Let $c_i$ be the smallest integer such that $k_i \le 2^{nc_i}$. Then $$\lambda_{2^{nc_i},p}(X_i) \ge \lambda_{k_i,p}(X_i) \ge i k_i^{\frac{2}{n}} \ge i \left( 2^{n(c_i-1)} \right)^{\frac{2}{n}} = \frac{i}{4} 4^{c_i}.$$ Putting $\overline{k}_i = 2^{nc_i}$, we have $\lambda_{\overline{k}_i,p}(X_i) \ge \frac{1}{4} i \overline{k}_i^{\frac{2}{n}}$. After passing to a subsequence, we can assume that $\lim_{i \rightarrow \infty} X_i = X_\infty$ in the Gromov-Hausdorff topology, where $X_\infty$ is also an $n$-dimensional Alexandrov space. Let $x_\infty$ be a regular point of $X_\infty$. Then there is a neighborhood $U_\infty$ of $x_\infty$, that is biLipschitz homeomorphic to $(0,1)^n \subset {{\mathbb R}}^n$, such that for large $i$, there are - points $x_i \in X_i$, - neighborhoods $U_i$ of $x_i$, and - bijective maps $\sigma_i : U_i \rightarrow U_\infty$ that are uniformly biLipschitz @Burago-Gromov-Perelman [@(1992) Theorem 9.8]. Letting $h_i$ be the composition of $\sigma_i$ with the biLipschitz homeomorphism from $U_\infty$ to $(0,1)^n$, the maps $h_i : U_i \rightarrow (0,1)^n$ are $\Lambda$-biLipschitz for some $\Lambda < \infty$ independent of $i$. Let $\psi$ be a smooth compactly supported $p$-form on $(0,1)^n$ with $\int_{(0,1)^n} |\psi|^2 \: d^nx = 1$ and $d\psi \neq 0$. Put $E_\psi = \int_{(0,1)^n} |d\psi|^2 \: d^nx$. Let ${\operatorname{Ker}}(d_{(0,1)^n})$ be the forms $\mu \in \Omega^{p}_{L^2}((0,1)^n)$ such that $$\label{newint} \int_{(0,1)^n} d\omega^\prime \wedge \mu = 0$$ for all compactly supported $\omega^\prime \in \Omega^{n-p-1}_{{\operatorname{Lip}}}((0,1)^n)$. Then ${\operatorname{Ker}}(d_{(0,1)^n})$ is closed in $\Omega^{p}_{L^2}((0,1)^n)$. \[morelem\] $\psi$ does not lie in ${\operatorname{Ker}}(d_{(0,1)^n})$. By assumption, $d\psi \neq 0$ as a smooth form. Hence we can find some $\omega^\prime \in \Omega^{n-p-1}_{{\operatorname{Lip}}}((0,1)^n)$ so that $\int_{(0,1)^n} d\omega^\prime \wedge \psi = (-1)^{n-p} \int_{(0,1)^n} \omega^\prime \wedge d\psi\neq 0$. With reference to Lemma \[morelem\], let $N_\psi$ be the square of the norm of the image of $\psi$ in $\Omega^p_{L^2}((0,1)^n)/{\operatorname{Ker}}(d_{(0,1)^n})$. Let $R_i : (0, 2^{-c_i})^n \rightarrow (0,1)^n$ be multiplication by $2^{c_i}$. Under rescaling, $\int_{(0, 2^{-c_i})^n} |dR_i^* \psi|^2 \: dx^n = 2^{c_i(2p+2-n)} E_\psi$ and the square norm of $R_i^* \psi$ in $\Omega^p_{L^2}((0, 2^{-c_i})^n)/{\operatorname{Ker}}(d)$ is $2^{c_i(2p-n)} N_\psi$. There are $\overline{k}_i = 2^{nc_i}$ disjoint boxes $\{B_j\}_{j=1}^{\overline{k}_i}$ in $(0,1)^n$, each congruent to $(0, 2^{-c_i})^n$. Let $\psi_j$ be the translate of $R_i^* \psi$ to $B_j$. Let $V^\infty_i$ be the span of $\{\psi_j\}_{j=1}^{\overline{k}_i}$ in $\Omega^p_{L^2}((0,1)^n)$, let ${h_i^* V^\infty_i}$ denote the extension by zero from $\Omega^p_{L^2,d}(U_i)$ to $\Omega^p_{L^2,d}(X_i)$ of the pullback, and let $\widetilde{h_i^* V^\infty_i}$ denote the image of $h_i^* V^\infty_i$ in $\Omega^p_{L^2,d}(X_i)/{\operatorname{Ker}}(d_{X_i})$. We claim that $\widetilde{h_i^* V^\infty_i}$ is $\overline{k}_i$-dimensional. To see this, if there is a relation $\sum_{j=1}^{\overline{k}_i} \alpha_j h_i^* \psi_j \in {\operatorname{Ker}}(d_{X_i})$ then $$h_i^* \left( \sum_{j=1}^{\overline{k}_i} \alpha_j d \psi_j \right) = d \left( \sum_{j=1}^{\overline{k}_i} \alpha_j h_i^* \psi_j \right) = 0,$$ and hence $\sum_{j=1}^{\overline{k}_i} \alpha_j d \psi_j = 0$, which implies that each $\alpha_j$ vanishes. If $\eta_i = \sum_{j=1}^{\overline{k}_i} \beta_j h_i^* \psi_j$ is a nonzero element of $h_i^* V^\infty_i$ then as in the proof of (\[4.6\]), for large $i$, we have $$\begin{aligned} \label{new1} \int_{X_i^*} \langle d\eta_i, d\eta_i \rangle_{g_i} {\operatorname{dvol}}_{X_i^*} \le & \Lambda^{2p+2+n} \sum_{j=1}^{\overline{k}_i} |\beta_j|^2 \int_{(0,1)^n} \langle d\psi_j, d\psi_j \rangle_{(0,1)^n} {\operatorname{dvol}}_{(0,1)^n} \\ = & 2^{c_i(2p+2-n)} E_\psi \Lambda^{2p+2+n} \sum_{j=1}^{\overline{k}_i} |\beta_j|^2. \notag\end{aligned}$$ Let $\widetilde{\eta}_i$ be the class of $\eta_i$ in $\widetilde{h_i^* V^\infty_i}$. We claim that $$\label{new2} \| \widetilde{\eta}_i \|^2 \ge \frac14 2^{c_i(2p-n)} N_\psi \Lambda^{-2p-n} \sum_{j=1}^{\overline{k}_i} |\beta_j|^2.$$ To see this, suppose that $\| \widetilde{\eta}_i \|^2 < \frac14 2^{c_i(2p-n)} N_\psi \Lambda^{-2p-n} \sum_{j=1}^{\overline{k}_i} |\beta_j|^2$. Then there is some $\sigma \in {\operatorname{Ker}}(d_{X_i})$ so that $$\int_{X_i^*} \langle \eta_i + \sigma, \eta_i + \sigma \rangle_{g_i} \: {\operatorname{dvol}}_{X_i^*} < \frac12 2^{c_i(2p-n)} N_\psi \Lambda^{-2p-n} \sum_{j=1}^{\overline{k}_i} |\beta_j|^2$$ As in (\[4.7\]), it follows that $$\int_{(0,1)^n} \left\langle \sum_{j=1}^{\overline{k}_i} \beta_j \psi_j + (h_i^{-1})^* \sigma, \sum_{j=1}^{\overline{k}_i} \beta_j \psi_j + (h_i^{-1})^* \sigma \right\rangle \: {\operatorname{dvol}}_{(0,1)^n} < \frac12 2^{c_i(2p-n)} N_\psi \sum_{j=1}^{\overline{k}_i} |\beta_j|^2$$ However, $$\begin{aligned} & \int_{(0,1)^n} \left\langle \sum_{j=1}^{\overline{k}_i} \beta_j \psi_j + (h_i^{-1})^* \sigma, \sum_{j=1}^{\overline{k}_i} \beta_j \psi_j + (h_i^{-1})^* \sigma \right\rangle \: {\operatorname{dvol}}_{(0,1)^n} = \\ & \sum_{j=1}^{\overline{k}_i} \int_{B_j} \left\langle \beta_j \psi_j + (h_i^{-1})^* \sigma, \beta_j \psi_j + (h_i^{-1})^* \sigma \right\rangle \: {\operatorname{dvol}}_{B_j} \ge 2^{c_i(2p-n)} N_\psi \sum_{j=1}^{\overline{k}_i} |\beta_j|^2 . \notag\end{aligned}$$ This is a contradiction. Combining (\[new1\]) and (\[new2\]) gives $$\lambda_{\overline{k}_i,p}(X_i) \le 4 \cdot 2^{2c_i} \Lambda^{4p+2n+2} E_\psi N_{\psi}^{-1} = 4 \Lambda^{4p+2n+2} E_\psi N_{\psi}^{-1} \overline{k}_i^{\frac{2}{n}}.$$ For large $i$, this contradicts the fact that $\lambda_{\overline{k}_i,p}(X_i) \ge \frac{1}{4} i \overline{k}_i^{\frac{2}{n}}$. This proves the proposition. \[cor4.12\] Given $n \in {{\mathbb Z}}^+$, $K \in {{\mathbb R}}$ and $v > 0$, there is some $L = L(n,K,v) < \infty$ with the following property. Let $M$ be an $n$-dimensional compact connected Riemannian manifold-with-boundary whose boundary, if nonempty, is convex. Suppose that 1. the sectional curvature of $M$ is bounded below by $K$, 2. ${\operatorname{diam}}(M) \le 1$ and 3. ${\operatorname{vol}}(M) \ge v$. Then for any $p \in [0,n]$ and any $k \in {{\mathbb Z}}^+$, the $k^{th}$ positive eigenvalue of the $p$-form Laplacian on $M$, as defined with relative boundary conditions, satisfies $\lambda_{k,p}(M) \le L k^{\frac{2}{n}}$. Proposition \[prop4.9\] gives upper bounds on the eigenvalues of the Laplacian on $\Omega^{p}_{L^2}(M)/{\operatorname{Ker}}(d)$ for all $p \in [0, n-1]$. From the Hodge decomposition, we also get an upper bound on the eigenvalues of the Laplacian on ${\operatorname{Im}}(d) \subset \Omega^n_{L^2}(M)$. The corollary follows. Theorem \[thm1.7\] follows from Corollary \[cor4.12\]. General case {#subsec4.2} ------------ We now prove Theorem \[thm1.3\]. \[prop4.13\] Given $n \in {{\mathbb Z}}^+$ and $K \in {{\mathbb R}}$, there is some $A = A(n,K) < \infty$ with the following property. Let $M$ be an $n$-dimensional closed connected Riemannian manifold for which 1. the sectional curvature of $M$ is bounded below by $K$ and 2. there is some point $m \in M$ with an $s$-strainer of quality $\frac{1}{10}$ and size $1$, where $1 \le s \le n$. Then for any $p \in [0,s-1]$ and $k \in {{\mathbb Z}}^+$, we have $\lambda_{k,p}(M) \le A k^{\frac{2}{s}}$. Here $\lambda_{k,p}(M)$ is the $k^{th}$ eigenvalue of the Laplacian on $\Omega^p_{L^2}(M)/{\operatorname{Ker}}(d)$. Suppose that the claim about $\lambda_{k,p}$ is not true. Then for some $n \in {{\mathbb Z}}^+$, some $s \in [1,n]$ and some $p \in [0, s-1]$, there is a sequence $\{M_i\}_{i=1}^\infty$ of $n$-dimensional closed Riemannian manifolds and numbers $k_i \in {{\mathbb Z}}^+$ so that 1. the curvature of $M_i$ is bounded below by $K$ and 2. there is some point $m_i \in M_i$ with an $s$-strainer of quality $\frac{1}{10}$ and size $1$, but 3. $\lambda_{k_i,p}(M_i) \ge i k_i^{\frac{2}{s}}$. Let $c_i$ be the smallest integer such that $k_i \le 2^{n! c_i}$. Then $$\lambda_{2^{n!c_i},p}(M_i) \ge \lambda_{k_i,p}(M_i) \ge i k_i^{\frac{2}{s}} \ge i \left( 2^{n!(c_i-1)} \right)^{\frac{2}{s}}.$$ Putting $\overline{k}_i = 2^{n!c_i}$, we have $\lambda_{\overline{k}_i,p}(M_i) \ge \frac{i}{4^{\frac{n!}{s}}} \overline{k}_i^{\frac{2}{s}}$. After passing to a subsequence, we can assume that $\lim_{i \rightarrow \infty} (M_i, m_i) = (X_\infty, x)$ in the pointed Gromov-Hausdorff topology, where $X_\infty$ is a complete Alexandrov space, say of dimension $n_\infty$. From the strainer condition, $n_\infty \ge s$. Let $x_\infty$ be a regular point of $X_\infty$, say within distance $\frac{1}{1000}$ from $x$. Given $\delta > 0$, we can find a $n_\infty$-strainer $\{a_l, b_l\}_{l=1}^{n_\infty}$ of quality $\delta$ around $x_\infty$, say of size $r_\delta$, with $\lim_{\delta \rightarrow 0} r_\delta = 0$. I thank Vitali Kapovitch for the proof of the next lemma. If $\delta$ is sufficiently small then for large $i$, the following holds. There are an open subset $U_i$ of $M_i$, a closed Lipschitz manifold $Z_i$, a Lipschitz surjection $\tau_i : U_i \rightarrow B(0, \delta r_\delta)$ and a commutative diagram $$\begin{array}{ccc} \mbox{ } U_i & \stackrel{\alpha_i}{\longrightarrow} & Z_i \times B(0, \delta r_\delta) \\ \tau_i \big\downarrow & & p_2 \big\downarrow \\ B(0, \delta r_\delta) & \stackrel{{\operatorname{Id}}}{\longrightarrow} & B(0, \delta r_\delta), \end{array}$$ where $\alpha_i$ is a biLipschitz homeomorphism. Furthermore, $\tau_i$ is an almost metric submersion in the sense of @Yamaguchi [@(1991) p. 318]. Let $\widetilde{m}_i \in M_i$ be such that $\{\widetilde{m}_i \}_{l=1}^{n_\infty}$ converges to $x_\infty$. Given $\delta > 0$, for large $i$, let $\{\widetilde{a}_{i,l}, \widetilde{b}_{i,l} \}_{l=1}^{n_\infty}$ be an $n_\infty$-strainer of quality $2 \delta$ in $M_i$ such that as $i \rightarrow \infty$, $\{\widetilde{a}_{i,l} \}_{l=1}^{n_\infty}$ converges to $\{a_l\}_{l=1}^{n_\infty}$ and $\{\widetilde{b}_{i,l} \}_{l=1}^{n_\infty}$ converges to $\{b_l\}_{l=1}^{n_\infty}$. Define ${\gamma}_i : B(\widetilde{m}_i, r_{\delta}) \rightarrow {{\mathbb R}}^{n_\infty}$ by ${\gamma}_i(p_i) = \{d(\widetilde{m}_i, \widetilde{a}_{i,l}) - d(p_i, \widetilde{a}_{i,l}) \}_{l=1}^{n_\infty}$. Consider the pointed Riemannian manifolds $\{(M_i, r_\delta^{-2} g_i, \widetilde{m}_i) \}_{i=1}^\infty$. The rescaled limit space $r_\delta^{-1} X_\infty$ has a strainer of size $1$ and quality $\delta$, centered at $x_\infty$. There is some $\rho > 0$ so that as $\delta \rightarrow 0$, the $\rho$-balls around $x_\infty$ in $r_\delta^{-1} X_\infty$ converge in the pointed Gromov-Hausdorff topology to $B(0, \rho) \subset {{\mathbb R}}^{n_\infty}$. It follows that for any $\epsilon > 0$, there is a $\delta_0 > 0$ so that if $\delta < \delta_0$ then for all large $i$, the map $r_\delta^{-1} \gamma_i : B(\widetilde{m}_i, r_\delta) \rightarrow {{\mathbb R}}^{n_\infty}$ defines a pointed $\epsilon$-Gromov-Hausdorff approximation between $(\gamma_i^{-1}(B(0, \rho r_\delta)), \widetilde{m}_i)$ and $(B(0, \rho), 0)$, where $\gamma_i^{-1}(B(0, \rho r_\delta))$ has the restricted metric from $(M_i, r_\delta^{-2} g_i)$. For an appropriate choice of $\epsilon$ and taking $\delta$ small enough, we can apply @Yamaguchi [@(1991)] in the pointed setting to get the Lipschitz fibration, along with the almost metric submersion property. (In fact, the fibration in @Yamaguchi [@(1991)] is $C^1$.) As $B(0, \delta r_\delta)$ is contractible, the fibration structure is a product structure. Since $\tau_i$ is Lipschitz and surjective, for almost all $u \in B(0, \delta r_\delta)$ and almost all $u_i \in \tau_i^{-1}(u)$, the differential $d\tau_i : T_{u_i} M_i \rightarrow {{\mathbb R}}^{n_\infty}$ is defined. Given such a point $u_i \in U_i$, put $V_{u_i} = {\operatorname{Ker}}((d\tau_i)_{u_i})$, an $(n - n_\infty)$-dimensional subspace of $T_{u_i}U_i$. Put $H_{u_i} = V_{u_i}^{\perp}$. The "almost metric submersion" property implies that if $\delta$ is small enough then for all large $i$, we have $$\label{4.14} \frac12 | v| \le |(d\tau_i)_{u_i} v| \le 2 |v|.$$ for all $v \in H_{u_i}$. It follows that for $\eta \in \Lambda^p(T_{u}^* B(0, \delta r_\delta))$, we have $$\label{4.15} 2^{-p} |\eta| \le |(d\tau_i)_{u_i}^* \eta| \le 2^{p} |\eta|.$$ \[lem4.16\] There is some $\widehat{C} < \infty$ so that for all sufficiently large $i$ and all $u, u^\prime \in B(0, \delta r_\delta)$, we have $$\label{4.17} \widehat{C}^{-1} {\operatorname{vol}}(\tau_i^{-1}(u)) \le {\operatorname{vol}}(\tau_i^{-1}(u^\prime)) \le \widehat{C} {\operatorname{vol}}(\tau_i^{-1}(u)).$$ The proof uses gradient flow. We sketch the argument, which is similar to @Kapovitch [@(2007) Pf. of Lemma 6.15]. Write $\tau_i = ( \xi_{i,1}, \ldots, \xi_{i, n_\infty})$ and $u = (a_1, \ldots, a_{n_\infty})$. From the construction of $\tau_i$ using distance functions from strainer points, the functions $\xi_{i, \cdot}$ are quantitatively semiconcave, independent of $i$. Put $H_-(u) = \{\widehat{u} = (b_1, \ldots, b_{n_\infty}) \in {{\mathbb R}}^{n_\infty} : b_l \le a_l \mbox{ for } 1 \le l \le n_\infty \}$. Given $m_i \in \tau_i^{-1}(u^\prime)$, we can perform a gradient flow starting from $m_i$ with respect to the gradient of the distance function from an appropriate point in $M_i$, for a controlled amount of time, to ensure that the result lies in $\tau_i^{-1}(H_-(u))$. Then we perform a gradient flow with respect to the gradient of $F = \min(0, \xi_{i,1} - a_1, \ldots, \xi_{i, n_\infty} - a_{n_\infty})$. After a controlled amount of time, the result of the flow lies in $\tau_i^{-1}(u)$. This gives a map $L_{u^\prime, u} : \tau_i^{-1}(u^\prime) \rightarrow \tau_i^{-1}(u)$. Using the control on the semiconcavity of the distance functions and of $F$, along with the ensuing distortion bounds for gradient flow, we obtain a bound on the Lipschitz constant of $L_{u^\prime, u}$ that is independent of $u$, $u^\prime$ and $i$. Replacing $u^\prime$ by a point $u^{\prime \prime}$ moving along a line from $u^\prime$ to $u$, and performing the same construction, shows that if the fibers are orientable then $L_{u^\prime, u}$ has degree one; if the fibers are not orientable then we pass to orientable double covers of the fibers and apply the same arguments. In all, from the Lipschitz bound on $L_{u^\prime, u}$, we obtain a bound $\frac{{\operatorname{vol}}(\tau_i^{-1}(u))}{{\operatorname{vol}}(\tau_i^{-1}(u^\prime))} \le \widehat{C}$ with $\widehat{C}$ independent of $u$, $u^\prime$ and $i$, thereby giving the first inequality in (\[4.17\]). Reversing the roles of $u$ and $u^\prime$ gives the second inequality in (\[4.17\]). We continue with the proof of Proposition \[prop4.13\]. Let $\mu_\delta : U_\delta \rightarrow (0,1)^{n_\infty}$ be linear coordinates for a neighborhood $U_\delta$ of $0$ in $B(0, \delta r_\delta)$. We redefine $U_i$ to be $\tau_i^{-1}(U_\delta)$ and put $h_i = \mu_\delta \circ \tau_i : U_i \rightarrow (0,1)^{n_\infty}$. \[chi\] There exist $\Delta < \infty$ and, for sufficiently large $i$, a closed element $\chi_i \in \Omega^{n - n_\infty}_{{\operatorname{Lip}}}(U_i; {\mathcal O}_{U_i})$ so that for all $u \in (0,1)^{n_\infty}$, we have $\int_{h_i^{-1}(u)} \chi_i = 1$, and $\int_{h_i^{-1}(u)} |\chi|^2 {\operatorname{dvol}}_{h_i^{-1}(u)} \le \Delta \left( \inf_{u \in (0,1)^{n_\infty}} {\operatorname{vol}}(h_i^{-1}(u)) \right)^{-1}$. We can assume that $h_i$ is similarly defined on a slightly larger open set containing $U_i$, so that the fiber $h_i^{-1}(1, \ldots, 1)$ is well defined. Write $h_i = (h_{i,1}. \ldots, h_{i,n_\infty})$. Similarly to the proof of Lemma \[lem4.16\], we perform a gradient flow on $\overline{U_i}$ with respect to the gradient of $F = \min(0, h_{i,1} - 1, \ldots, h_{i,n_\infty}-1)$. After a controlled amount of time, the result of the flow lies in $h_i^{-1}(1, \ldots, 1)$. This gives a deformation retraction $L : \overline{U_i} \rightarrow h_i^{-1}(1, \ldots, 1)$. Using the control on the semiconcavity of $F$, along with the ensuing distortion bounds for gradient flow, we obtain a bound on the Lipschitz constant of $F$. Let $\chi_i$ be the pullback under $L$ of the normalized volume density $${\operatorname{dvol}}_{h_i^{-1}(1, \ldots, 1)}/ {\operatorname{vol}}(h_i^{-1}(1, \ldots, 1)) \in \Omega^{n-n_\infty}_{{\operatorname{Lip}}}(h_i^{-1}(1, \ldots, 1); {\mathcal O}_{h_i^{-1}(1, \ldots, 1)}).$$ Then $\chi_i \in \Omega^{n-n_\infty}_{{\operatorname{Lip}}}(U_i; {\mathcal O}_{U_i})$. The bound on the Lipschitz constant of $F$, which is independent of $i$, gives a pointwise bound on $\chi_i$ of the form $|\chi_i| \le {\operatorname{const.}}\left( {\operatorname{vol}}(h_i^{-1}(1, \ldots, 1)) \right)^{-1}$. As $$\begin{aligned} \int_{h_i^{-1}(u)} |\chi_i|^2 {\operatorname{dvol}}_{h_i^{-1}(u)} \le & {\operatorname{const.}}\left( {\operatorname{vol}}(h_i^{-1}(1, \ldots, 1)) \right)^{-2} \sup_{u \in (0,1)^{n_\infty}} {\operatorname{vol}}(h_i^{-1}(u)) \notag \\ \le & {\operatorname{const.}}\widehat{C} \left( \inf_{u \in (0,1)^{n_\infty}} {\operatorname{vol}}(h_i^{-1}(u)) \right)^{-1}, \notag \end{aligned}$$ the lemma follows. Define $\psi, E_\psi, {\operatorname{Ker}}(d_{(0,1)^{n_\infty}})$ and $N_\psi$ as in the proof of Proposition \[prop4.9\], with $n$ replaced by $n_\infty$. Let $R_i : (0, 2^{- \frac{n!}{n_\infty} c_i})^{n_\infty} \rightarrow (0,1)^{n_\infty}$ be multiplication by $2^{\frac{n!}{n_\infty} c_i}$. Under rescaling, $$\int_{(0, 2^{-\frac{n!}{n_\infty} c_i})^{n_\infty}} |dR_i^* \psi|^2 \: dx^{n_\infty} = 2^{\frac{n!}{n_\infty} c_i(2p+2-n_\infty)} E_\psi$$ and the square norm of $R_i^* \psi$ in $\Omega^p_{L^2}((0, 2^{-\frac{n!}{n_\infty}c_i})^{n_\infty})/ {\operatorname{Ker}}(d)$ is $2^{\frac{n!}{n_\infty} c_i(2p-n_\infty)} N_\psi$. There are $\overline{k}_i = 2^{n!c_i}$ disjoint boxes $\{B_j\}_{j=1}^{\overline{k}_i}$ in $(0,1)^{n_\infty}$, each congruent to $(0, 2^{-\frac{n!}{n_\infty}c_i})^{n_\infty}$. Let $\psi_j$ be the translate of $R_i^* \psi$ to $B_j$. Let $V^\infty_i$ be the span of $\{\psi_j\}_{j=1}^{\overline{k}_i}$ in $\Omega^p_{L^2} \left((0,1)^{n_\infty} \right)$. Let ${h_i^* V^\infty_i}$ denote the extension by zero from $\Omega^p_{L^2}(U_i)$ to $\Omega^p_{L^2}(M_i)$ of the pullback. For large $i$, $h_i^* V^\infty_i$ is a subspace of $\Omega^p_{L^2,d}(M_i)$ that projects to a $\overline{k}_i$-dimensional subspace $\widetilde{h_i^* V^\infty_i}$ of $\Omega^p_{L^2,d}(M_i)/{\operatorname{Ker}}(d_{M_i})$. We claim that $h_i^* \psi_j$ is a well-defined element of $\Omega^p_{L^2,d}(M_i)$, with $d h_i^* \psi_j = h_i^* d\psi_j$. Let $\Omega^*_{{\operatorname{Lip}},c} \left( (0,1)^{n_\infty} \right)$ denote the differential graded algebra constructed from compactly supported Lipschitz functions on $(0,1)^{n_\infty}$. There is a pullback $h_i^* : \Omega^*_{{\operatorname{Lip}},c} \left( (0,1)^{n_\infty} \right)
{'source': 'arXiv_out/1705'}