Pith. sign in

REVIEW 2 major objections 3 minor 18 references

Minimal Submanifolds and Waists of Locally Symmetric Spaces

T0 review · 2 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that in compact octonionic hyperbolic 16-manifolds, any stationary minimal submanifold of codimension one or two—formally, any stationary integral rectifiable varifold of dimension 14 or 15—has volume at least a fixed…

desk verdict The main waist theorem for octonionic hyperbolic manifolds checks out; the paper is a genuine advance, but its full generality depends on a sketched triangulation lemma and some omitted details in the branched-cover section. read the letter →

arxiv 2412.01510 v1 pith:4XFLMQFY submitted 2024-12-02 math.DG math.COmath.GRmath.GT

Mikolaj Fraczyk , Ben Lowe This is my paper · ORCID
classification math.DGmath.COmath.GRmath.GT MSC 53C3553C4249Q2022E40
keywords octonionichyperbolicmanifoldsminimalsubmanifoldsstationaryvarifoldswaistinequalitieshigherexpanderspropertyFArbranchedcoverstabilitymonotonicityestimates
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that compact octonionic hyperbolic 16-manifolds are topological 2-expanders: every map from such a manifold to the plane has some fiber whose 14-dimensional area is at least a fixed fraction of the ambient volume. The engine is a lower bound on the size of minimal submanifolds in codimension one and two: any stationary integral varifold of dimension 14 or 15 has mass at least a constant times the volume of the whole manifold. This behavior is special to the octonionic case—real and complex hyperbolic spaces admit small minimal hypersurfaces—and it fails in higher codimension. From this core estimate the paper derives a homotopy version of expansion, power-law systolic freedom for congruence covers, stability of branched covers with small branch locus, and fixed-point properties (property $FA_r$) for low-dimensional actions of certain lattices.

What carries the argument

The central objects are stationary integral varifolds—a measure-theoretic generalization of minimal submanifolds—and two quantitative estimates that pull against each other. On one side, Theorem 1.15 improves the classical monotonicity formula: in a rank-one symmetric space, a stationary $k$-varifold $S$ satisfies $H^k(S \cap B(x,r)) \ge e^{\kappa(k)(r-s)} H^k(S \cap B(x,s))$, where $\kappa(k)$ is computed from the Hessian of the function $f(g) = \frac{1}{2\|\alpha\|} \log(2\cosh(2\alpha(a(g))))$, a smoothed distance. For the octonionic hyperbolic plane, $\kappa(14)=18$ and $\kappa(15)=20$, both larger than the dimension 16. On the other side, the paper uses spherical functions—bi-invariant functions on the isometry group—and a bound on infinitesimal characters to show that matrix coefficients of nontrivial representations decay at a rate that cannot accommodate such growth unless the varifold has large mass. The friction between monotonicity and decay is what forces the linear lower bound $H^k(S) \ge c \operatorname{vol}(M)$.

What would settle it

A compact octonionic hyperbolic 16-manifold containing a stationary integral 14- or 15-dimensional varifold with mass less than $c\operatorname{vol}(M)$ for arbitrarily small $c > 0$ would refute Theorem 1.14; concretely, one could run min-max on a sequence of null-homologous 14-cycles in congruence covers and check whether the resulting stationary varifolds have mass ratio tending to zero.

Watch

Extended reading notes

Core claim

At the center of the paper is Theorem 1.14: if $M$ is a compact octonionic hyperbolic 16-manifold, there is a constant $c > 0$ such that every stationary integral rectifiable $(16-d)$-varifold $S$ in $M$ satisfies $H^{16-d}(S) \ge c \operatorname{vol}(M)$ for $d = 1, 2$. In plain terms, a minimal submanifold of codimension one or two cannot have small volume; its mass is at least a fixed fraction of the ambient volume. The proof establishes improved monotonicity estimates for stationary varifolds in rank-one symmetric spaces: for the octonionic hyperbolic plane the volume of $S$ inside a ball grows like $e^{\kappa r}$ with $\kappa > 16$ for 14- and 15-dimensional $S$, exceeding the maximal growth possible for infinite-covolume subgroups. This lower bound is played against the decay of matrix coefficients of the exceptional group $F_4^{(-20)}$; the two estimates are compatible only if $S$ occupies a definite proportion of the whole manifold.

Load-bearing premise

The uniformity of Theorems 1.16 and 1.20 over all compact quotients with injectivity radius at least $\varepsilon$ rests on a probabilistic construction of uniformly non-degenerate triangulations whose proof is only sketched; if that sketch has a gap, those theorems still hold for finite covers of a fixed manifold, but not in their stated generality.

Editorial extensions

If this is right

  • Octonionic hyperbolic manifolds form a topological 2-expander family: every map to $\mathbb{R}^2$ has a fiber of 14-dimensional measure at least $c\operatorname{vol}(M)$.
  • Small codimension-two subsets (14- or 15-dimensional varifolds) admit a homotopy that collapses them to a 13- or 14-dimensional set while increasing volume by at most a bounded factor.
  • Congruence covers of a fixed closed octonionic hyperbolic manifold exhibit power-law systolic freedom over any coefficient ring.
  • Branched covers with branching locus of 14-dimensional measure below a threshold are, away from a small codimension-one set, isometric to genuine covers; consequently the associated triangulations are non-abelian cosystolic expanders.
  • Cocompact lattices in $\mathrm{SL}_n(\mathbb{R})$ have property $FA_{\lfloor n/8 \rfloor - 1}$, and cocompact lattices in the octonionic hyperbolic plane have property $FA_2$: every isometric simplicial action on a contractible $\mathrm{CAT}(0)$ complex of that dimension has a global fixed point.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the probabilistic construction of uniformly non-degenerate triangulations (Theorem 4.8) receives a complete proof, the homotopy-collapse and branched-cover-stability theorems would apply to every compact quotient with injectivity radius at least $\varepsilon$, not only to families of finite covers of a fixed manifold.
  • The paper's diagnosis of the higher-rank obstruction—minimal submanifolds 'sticking to the walls' of the Weyl chamber—suggests that a test function with controlled Hessian near the walls would extend the linear waist and property $FA$ results to $\mathrm{SL}_n(\mathbb{R})$ in the same codimension range, moving toward the conjectural $FA_{n-2}$.
  • The topological lemmas used to move branch loci are not specific to octonionic hyperbolic geometry; any manifold family with a homotopy-collapsing theorem for small cycles could inherit branched-cover stability from the same mechanism.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper develops new monotonicity estimates for stationary integral varifolds in rank-one symmetric spaces by explicit Hessian computations (Sections 5–6) and combines them with uniform matrix-coefficient decay (Lemma 3.17) to prove Theorem 1.14: in any compact octonionic hyperbolic 16-manifold, every stationary integral rectifiable k-varifold with k = 14, 15 has mass at least a fixed fraction of the ambient volume. From this it derives a linear codimension-two waist inequality, the homotopy-expander statement Theorem 1.16, branched cover stability Theorem 1.20, power-law systolic freedom Theorem 1.19, and a uniform lower bound on non-abelian Cheeger constants (Theorem 12.1). A separate line using plurisuperharmonic functions, the growth indicator function, and Connell–McReynolds–Wang natural flows gives topological waist inequalities and property FA_r for cocompact lattices in SL_n(R) (Corollary 1.13).

Significance. If the main theorems hold, this is a major advance: octonionic hyperbolic manifolds would be the first Riemannian topological 2-expanders, the codimension-one/two minimal submanifold bound would be a new rigidity phenomenon, and the paper would provide the first locally symmetric examples of power-law systolic freedom and non-abelian branch-cover stability. A genuine strength is that the constants are derived from explicit Hessian eigenvalue computations and representation-theoretic bounds rather than fitted parameters. I traced the proof of Theorem 1.14 and found the chain Lemma 3.11 → Lemma 6.2 → Lemma 7.10 → Lemma 3.17 → A(r) > 0 internally consistent; that central theorem does not depend on the triangulation lemma. However, the uniformity of Theorems 1.16 and 1.20 rests on the only sketched triangulation theorem (Lemma 4.14(2)/Theorem 4.8), and the termination argument in Theorem 1.20 contains a local slip. These are fixable but nontrivial, so the paper needs major revision before its stated generality is supported.

major comments (2)
  1. [§4.2 (Lemma 4.14(2), Theorem 4.8)] Theorem 4.8 is load-bearing for Theorems 1.16 and 1.20, because §8.5 and §12.2 select an (r,δ)-uniform triangulation with constants depending only on injectivity radius. Its proof depends on Lemma 4.14(2), which the paper explicitly only sketches ('we only sketch the proof') and which contains an unproved continuity assertion: the passage from a limiting family of Delaunay triangulations to the claim that the probability of failure goes to zero requires the assertion that failure can happen only if the limiting triangulation has degenerate simplices, and that assertion is not demonstrated. The introduction also warns that 'several substantial technical difficulties have been omitted for clarity' (§1.8), which reinforces that this is a gap in the stated generality. If Lemma 4.14(2) cannot be completed, Lemma 4.6 still gives Theorems 1.16 and 1.20 for finite covers of a fixed manifold, but not for the full family with injectivity radius at least ε as stated.
  2. [§12.2, proof of Theorem 1.20] The termination step is mis-specified. The text says that once H14(N_i0) ≤ η, 'the next step must be (S2)', but step (S2) is a flow and does not produce an empty set; the next step should be the Federer-Fleming step (S1), which in the intended argument collapses N_i0 to the 13-skeleton by Lemma 4.4 and therefore gives N_{i0+1} = ∅. As written, the induction cannot be followed. This is correctable, but it requires a global application of Lemma 4.4 (H14(S) ≤ η implies FF(S) ⊂ M^(13)) and a corrected final volume estimate; the displayed telescoping sum should read Σ (H14(N_i) − H14(N_{i+1})), not the reverse.
minor comments (3)
  1. [Tables 1 and 4] The table defining κ(k) appears twice (Table 1 and Table 4) with identical content; renumber to avoid confusion, since §6 refers to 'Table 4' while the introduction refers to 'Table 1'.
  2. [Lemma 4.14(2)] In the statement of Lemma 4.14(2), the probability is said to go to zero 'as r, δ → 0', but the local statement has no r variable except through the fixed radius 28; the dependence should be stated in terms of δ only.
  3. [§8.4] The section ends with the stray fragment 'bo' after the proof of Lemma 8.8; this appears to be a typographical artifact and should be removed.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 1.14 is derived from explicit Hessian computations, monotonicity estimates, and independent matrix-coefficient decay bounds; constants are derived, not fitted.

full rationale

The central derivation chain for Theorem 1.14 is self-contained. The proof uses (i) the explicit eigenvalue computation for the Hessian of the smoothed distance function f in Lemma 6.2, (ii) the monotonicity Lemma 6.4 and Lemma 7.10 obtained by applying the first variation formula to a fixed spherical cutoff, and (iii) the uniform decay bound of Lemma 3.17, which follows from Kostant's theorem applied to the spherical decomposition of L^2_0(Γ\G). Each step is a mathematical implication with derived constants depending only on root multiplicities; no parameter is fitted to the conclusion. The dependence on Corlette's gap theorem, Quint-Lee-Oh bounds, and Almgren's waist theorem is external and not equivalent to the paper's own claims. The only self-citation in the paper, the contextual mention of [AAG+24] in the introduction, is not load-bearing. The flagged weak point is the probabilistic construction of uniformly non-degenerate triangulations: Lemma 4.14(2) explicitly says "we only sketch the proof," and Theorem 4.8 is used to make Theorems 1.16 and 1.20 uniform over injectivity-radius-bounded families. This is an omitted-technical-proof concern, not a circular reduction, and it does not affect Theorem 1.14, Theorem 1.3, or the representation-theoretic estimates. No circular step of any of the enumerated kinds was found.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces definitions such as 'homotopy d-expander' and 'W-domination', but these are mathematical concepts, not postulated physical or geometric entities. No new particles, forces, dimensions, or ledger entries are invented. The listed axioms are the main external and internal assumptions on which the central claims rest; free parameters are absent because the constants are derived, not fitted to data.

assumptions (4)
  • domain assumption Corlette's critical exponent gap for F_4^(-20): any non-lattice discrete subgroup has critical exponent <= 16, while lattices have 22.
    Theorem 5.13, cited from [Cor90]. It is used in Proposition 5.26 to show r(H^2_O) >= 2, which is essential for the topological waist theorem and the property FAr result for cocompact lattices in F_4^(-20).
  • domain assumption Quint-Lee-Oh growth indicator bound: for any non-lattice discrete subgroup of a semisimple group with no rank one factors, psi_Lambda <= 2rho - Theta.
    Theorem 5.18, cited from [LO24] and [Oh02]. It is used in Proposition 5.27 to compute r(SL_n(R)/SO(n)) >= floor(n/8)-1, leading to Corollary 1.13(1).
  • ad hoc to paper Existence of (r,delta)-uniform triangulations on bounded geometry non-positively curved manifolds (Theorem 4.8), proved only in sketch form.
    The paper's proof uses a probabilistic construction whose key lemma (Lemma 4.14(2)) is explicitly only sketched. This theorem is needed to make Federer-Fleming deformations and their volume controls uniform over all compact quotients with injectivity radius at least epsilon in Sections 8 and 12.
  • standard math Almgren's theorem: positive k-waist for closed Riemannian manifolds and existence of a stationary integral varifold realizing the waist (Theorems A.1 and A.4).
    Used as the contradiction input in Theorem 10.1 and in the shortcut argument in Section 8.1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Minimal Submanifolds and Waists of Locally Symmetric Spaces." pith.science (2026). https://pith.science/paper/4XFLMQFY

@misc{pith2026241201510,
  author       = {Pith},
  title        = {Pith review of: Minimal Submanifolds and Waists of Locally Symmetric Spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4XFLMQFY}},
  note         = {Machine review of arXiv:2412.01510}
}
abstract

We study the higher expansion properties of locally symmetric spaces, with a particular focus on octonionic hyperbolic manifolds. We show that codimension two minimal submanifolds of compact octonionic locally symmetric spaces must have large volume, at least linear in the volume of the ambient space. As a corollary we prove linear waist inequalities for octonionic hyperbolic manifolds in codimension two and construct the first locally symmetric examples of power-law systolic freedom. We also show that any codimension two submanifold of small volume can be homotoped to a lower dimensional set. We use this to prove that branched covers of octonionic hyperbolic manifolds are stable in the sense of Dinur-Meshulam and to establish a uniform lower bound on the non-abelian Cheeger constants of octonionic hyperbolic manifolds. In a more general setting, we prove that maps from locally symmetric spaces to low dimensional euclidean spaces admit fibers whose fundamental group has large exponent of growth. We show as a consequence that cocompact lattices in $SL_n(\mathbb{R})$ have property $ FA_{\lfloor n/8\rfloor-1}$: any action on a contractible $CAT(0)$ simplicial complex of dimension at most $ \lfloor n/8\rfloor -1$ has a global fixed point.

Figures

Figures reproduced from arXiv: 2412.01510 by the authors.

Figure 1
Figure 1. Pathways to the main results of the paper. Reader interested only in one result, only needs to read its antecedents in the graph above. For example, for Theorem 1.14 it is enough to read §3, §5, §6 and §7 while for Theorem 1.11 it sufficient to read §3, §5, §9, §10, §11 and the Appendix A. 2. Acknowledgements We thank Shmuel Weinberger for helpful discussions. We are also grateful to Benson Farb for a helpful discus… view at source ↗
Figure 2
Figure 2. FF1 (S) when k = 1, dim M = 2. with h 1 (S, [0, 1]) highlighted. Lemma 4.3. (1) For any σ ∈ M[•] , m = 0, . . . , n we have FF(S ∩ σ) ⊂ σ. (2) For any σ ∈ M[n] we have Hk (FF(S ∩ σ)) ≤ cHk (S ∩ σ), c = c(δ, k, n) > 0. (3) There is a homotopy h: S×[0, 1] → M with h(s, 0) = s and h(s, 1) = FF(s). Moreover, Hk+1(h(S, [0, 1])) ≤ cHk (S), c = c(δ, k, n) > 0. Proof. All statements are proved by reverse induction on m for … view at source ↗
Figure 3
Figure 3. It is enough to construct the lift of hi over the intersection of U i−1 with each closed simplex ∆ i in the triangulation of R d , so fix such a ∆i . We construct the lift of hi over ∆ i simplex by simplex by induction on the skeleta of M, starting with the i-skeleton. As part of the induction we will also construct, for any r-dimensional simplex F r with f −1 (∆i ) ∩ F r nonempty, a continuous map ΨF r : ∆ i × D r−… view at source ↗
Figures from the paper (5 more)
Figure 4
Figure 4. Figure 4: Cover of ∆m by the N(∆m′ int(ϵ(m′ ))) Choose a partition of unity for R d subordinate to the open cover by the sets N(∆m int(ϵ(m))). Denote by ϕm the element of the partition of unity corresponding to N(∆m int(ϵ(m))). 10.2. PSpH functions for lifts of preimages of f. B…
Figure 5
Figure 5. Figure 5: □ 12. Branched Cover Stability and non-abelian expansion The main result of this section is Theorem 1.20. We recall the statement below. Theorem 1.20. Let ε > 0. There exists α, c > 0 with the following properties. Let M be a compact octonionic manifold and let ι1 : M1…
Figure 6
Figure 6. Figure 6: Sets KF (red) is the “shadow" of F (blue) seen from p [PITH_FULL_IMAGE:figures/full_fig_p067_6.png]
Figure 7
Figure 7. Figure 7: The maps Φ(•, 0), Φ(•, 1/2) and Φ(•, 1). Blue lines are mapped to blue lines. For any point x ∈ ∂∆, t, s ∈ [0, 1] and s < 1 or t < ℓx let ϕ(x, t, s) := Z t 0 min{d(f(x, t), KF ) −1 , s(1 − s) −1 }dt. This function is strictly increasing in t for s ∈ (0, 1) and constant…
Figure 8
Figure 8. Figure 8: The subdivided polyhedral complex structure for the map π in the case d = 2 simplicial complex structure on R d that are not contained in the preimage of any (i − d − 1)-face of ∆ under π. Since every (n − d)-face in R d is contained in the preimage of an (n − d − 1)-f…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 16 canonical work pages

  1. [1]

    Hyperbolic 3-manifolds with uniform spectral gap for coclosed 1-forms

    [AAG+24] Amina Abdurrahman, Anshul Adve, Vikram Giri, Ben Lowe, and Jonathan Zung. Hyperbolic 3-manifolds with uniform spectral gap for coclosed 1-forms.arXiv preprint arXiv:2404.19039,

    work page Pith review arXiv

  2. [8]

    Minimax problems related to cup powers and Steenrod squares

    [Gut09] Larry Guth. Minimax problems related to cup powers and Steenrod squares. Geom. Funct. Anal., 18(6):1917–1987,

    work page 1917

  3. [11]

    Ramanujan complexes and bounded degree topological expanders

    [KKL14] Tali Kaufman, David Kazhdan, and Alexander Lubotzky. Ramanujan complexes and bounded degree topological expanders. In 2014 IEEE 55th Annual Symposium on Foundations of Computer Science, pages 484–493. IEEE,

    work page 2014

  4. [12]

    Dichotomy and measures on limit sets of anosov groups

    [LO24] Minju Lee and Hee Oh. Dichotomy and measures on limit sets of anosov groups. International Mathematics Research Notices, 2024(7):5658–5688,

    work page 2024

  5. [18]

    Expansion and torsion homology of 3-manifolds

    [Zun24] Jonathan Zung. Expansion and torsion homology of 3-manifolds. arXiv preprint arXiv:2405.04846,

    work page Pith review arXiv

  6. [1960]

    Overlap properties of geometric expanders.Journal für die reine und angewandte Mathematik (Crelles Journal), 2012(671):49–83,

    80 MIKOŁAJ FRĄCZYK AND BEN LOWE [FGL+12] Jacob Fox, Mikhail Gromov, Vincent Lafforgue, Assaf Naor, and János Pach. Overlap properties of geometric expanders.Journal für die reine und angewandte Mathematik (Crelles Journal), 2012(671):49–83,

    work page 2012

  7. [1977]

    Non-positively curved triangles of groups

    [Sta91] John R Stallings. Non-positively curved triangles of groups. Group theory from a ge- ometrical viewpoint (Trieste, 1990), pages 491–503,

    work page 1990

  8. [1991]

    Fixed points for actions of Aut(Fn) on CAT(0) spaces

    [Var11] Olga Varghese. Fixed points for actions of aut (fn) on cat (0) spaces.arXiv preprint arXiv:1112.5014,

    work page Pith review arXiv

Show all 18 references
  1. [1992]

    Isoperimetry of waists and concentration of maps

    [Gro02] Mikhail Gromov. Isoperimetry of waists and concentration of maps. Technical report, SIS-2003-246,

    2003

  2. [1999]

    Bounded quotients of the fundamental group of a random 2-complex

    [Mes13] Roy Meshulam. Bounded quotients of the fundamental group of a random 2-complex. arXiv preprint arXiv:1308.3769,

    arXiv

  3. [2006]

    Stability of homomorphisms, coverings and cocycles i: Equivalence.arXiv preprint arXiv:2310.17474,

    [CL23] Michael Chapman and Alexander Lubotzky. Stability of homomorphisms, coverings and cocycles i: Equivalence.arXiv preprint arXiv:2310.17474,

    arXiv

  4. [2009]

    Metaphors in systolic geometry

    [Gut10] Larry Guth. Metaphors in systolic geometry. InProceedings of the International Con- gress of Mathematicians 2010 (ICM

    2010

  5. [2010]

    Higher kazhdan property and unitary cohomology of arithmetic groups.arXiv preprint arXiv:2308.06517,

    [BS23] Uri Bader and Roman Sauer. Higher kazhdan property and unitary cohomology of arithmetic groups.arXiv preprint arXiv:2308.06517,

  6. [2011]

    The natural flow and the critical exponent

    [CMW23] Chris Connell, DB McReynolds, and Shi Wang. The natural flow and the critical exponent. arXiv preprint arXiv:2302.12665,

  7. [2012]

    Homological dimension and critical exponent of kleinian groups

    [Kap09] Michael Kapovich. Homological dimension and critical exponent of kleinian groups. Geometric and Functional Analysis, 18(6):2017–2054,

    2017

  8. [2014]

    Random minimal surfaces in spheres

    [Son24] Antoine Song. Random minimal surfaces in spheres. arXiv preprint arXiv:2402.10287,

    arXiv

  9. [2016]

    Applications of almgren-pitts min-max theory

    [MN13] Fernando C Marques and André Neves. Applications of almgren-pitts min-max theory. Current Developments in Mathematics, 2013(1):1–71,

    2013

  10. [2023]

    Uniform waist inequalities in codimension two for man- ifolds with kazhdan fundamental group.https://arxiv.org/abs/2407.19783,

    [BS24] Uri Bader and Roman Sauer. Uniform waist inequalities in codimension two for man- ifolds with kazhdan fundamental group.https://arxiv.org/abs/2407.19783,

    arXiv

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.