{"id":"60416231-610a-4f14-ad49-07fd6e4286f9","arxiv_id":"2412.01510","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves a linear volume lower bound for codimension two minimal submanifolds of compact octonionic hyperbolic manifolds, yielding linear waists, systolic freedom, and new lattice fixed point theorems.","lead":"The paper proves that codimension two minimal submanifolds inside compact octonionic hyperbolic manifolds must occupy volume at least proportional to the whole manifold, and uses this to show these manifolds have linear waist inequalities. It also establishes new fixed point properties for high-rank lattices acting on low-dimensional CAT(0) complexes.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified for Theorem 1.14; the proof via monotonicity and matrix coefficient decay is internally consistent. The reader's triangulation concern affects Theorems 1.16/1.20, not the central claim.","rationale":"The reader's weakest_assumption concerns the uniform triangulation theorem (Theorem 4.8) and its role in Theorems 1.16 and 1.20. However, the strongest claim we were asked to stress-test is Theorem 1.14, which does not use triangulations. I traced the proof of Theorem 1.14 through Sections 3, 6, and 7. The main components are: (1) the Hessian computation of the smoothed distance f (Lemma 6.2) giving kappa(k) > dim X for k=14,15; (2) the monotonicity estimate Lemma 6.4 derived from Lemma 3.11, which only requires stationary varifolds and a C^2 function with gradient norm <=1 and Hessian trace >= kappa; (3) the spectral side: Lemma 7.10 converts the matrix coefficient Psi into mass estimates, using the spherical transform to apply the pointwise decay bound of Lemma 3.17 uniformly. The representation-theoretic input is standard: L^2_0(Gamma\\G) decomposes into nontrivial spherical representations, and Lemma 3.17's bound holds for all such representations, so the spherical transform of Psi_0 is controlled. The algebra in the final step is correct: the positive term e^{(kappa-22)||alpha||r} dominates the error term e^{-6||alpha||r}(1+r) for large r when kappa>16, which is exactly the condition k=14,15. No hidden dependence on injectivity radius or triangulations appears. I therefore find no significant objection to the central claim. The paper may still merit a conditional verdict because of the sketched proofs of Theorem 4.8 and portions of Section 12.2, but these do not affect Theorem 1.14. Since the reader's flagged assumption is not load-bearing for the strongest claim, I disagree with the reader's choice of weakest_assumption, while agreeing with the overall conditional verdict.","tokens_in":68846,"tokens_out":13632,"duration_ms":108694,"concrete_test":"Re-derive Lemma 7.10(1) by computing the constant from Lemma 3.12 for stationary varifolds in the octonionic hyperbolic plane: verify that the density lower bound delta(r) is uniform over all stationary integral varifolds and all basepoints that are regular points, with delta independent of the lattice. A failure here would invalidate the linear lower bound in Theorem 1.14.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After tracing the proof of Theorem 1.14, I find no load-bearing gap. The key steps: (a) Lemma 3.12 provides a uniform lower bound on the mass in small balls around regular points of stationary varifolds in H^2_O, with constants independent of the lattice; (b) Lemma 6.2 establishes the Hessian trace lower bound for the smoothed distance function f, and ||grad f|| <= 1 is satisfied; (c) Lemma 7.10 then yields the exponential growth of the smoothed mass v_S and the two-sided bounds on Psi; (d) the matrix coefficient decay Lemma 3.17 is applied to the spherical function Psi_0 via the spherical transform, which is legitimate because L^2_0(Gamma\\G) decomposes into nontrivial spherical representations and the bound is uniform; (e) the algebra leading to A(r) > 0 for large r is correct for k=14,15 because kappa(k) > dim X = 16. The proof does not depend on triangulations or injectivity radius, so the reader's flagged weakest_assumption is not load-bearing for this central claim. The conditional verdict may still be justified by the sketched triangulation theorem affecting Theorems 1.16 and 1.20, but that is outside the strongest claim.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","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).","tokens_in":69054,"tokens_out":6575,"duration_ms":62683,"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":[{"comment":"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.","section":"§4.2 (Lemma 4.14(2), Theorem 4.8)"},{"comment":"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.","section":"§12.2, proof of Theorem 1.20"}],"minor_comments":[{"comment":"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'.","section":"Tables 1 and 4"},{"comment":"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.","section":"Lemma 4.14(2)"},{"comment":"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.","section":"§8.4"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The punchline: this is the first Riemannian family of 2-expanders, and the central theorem survives close reading. Theorem 1.14 is the real result, and it does what it says: stationary codimension-one and codimension-two integral varifolds in compact octonionic hyperbolic 16-manifolds have mass at least a constant fraction of the ambient volume. I followed the proof past the monotonicity estimates, the matrix-coefficient decay, and the final comparison, and the algebra is correct; the choice k=14,15 is exactly where the exponent beats dim X. The Hessian computations are done in the Lie algebra and avoid the questionable octonionic complex-structure formalism, which is a genuine plus.\n\nWhat is new: the proof mechanism itself, not just the theorem. Combining Anderson-type monotonicity with uniform decay of matrix coefficients in the regular representation is a clean idea, and the improved monotonicity exponents in Table 1 are concrete and useful. The applications—homotopy 2-expanders, power-law systolic freedom, branched-cover stability, and property FA for cocompact SL_n(R)—are substantial corollaries that put real weight behind the main estimate.\n\nThe soft spots are where the paper itself says they are. Theorem 4.8, the uniform triangulation theorem, depends on Lemma 4.14(2), whose proof is explicitly only sketched. That lemma is load-bearing for the uniform constants in Theorems 1.16 and 1.20 over all quotients with injectivity radius at least epsilon; if the sketch has a gap, those two results still work for finite covers of a fixed manifold, but not in the stated generality. The introduction also says \"several substantial technical difficulties have been omitted\" in the proof of Theorem 1.20, and the written argument in Section 12.2 relies on a fairly elaborate W-domination machinery that deserves a careful check. These are honest caveats, and they are the reason to hold this to conditional rather than outright acceptance. They are not, as far as I can see, reasons to doubt Theorem 1.14, the paper's core.\n\nThe citation pattern is fine; the reliance on Corlette, Quint-Lee-Oh, and Almgren-Pitts is legitimate, and the paper credits recent work by Bader-Sauer and Ruan where relevant.\n\nWho this is for: anyone working on Gromov's higher expansion program, systolic geometry, or fixed-point properties of lattices. It deserves a serious referee. My recommendation: send it out, and ask for a complete proof of Lemma 4.14(2) and a filled-in Section 12.2 before final acceptance.","headline":"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.","tokens_in":69605,"tokens_out":2547,"would_cite":true,"duration_ms":24970,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C35","53C42","49Q20","22E40"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["octonionic hyperbolic manifolds","minimal submanifolds","stationary varifolds","waist inequalities","higher expanders","property FAr","branched cover stability","monotonicity estimates"],"falsifier":"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.","tokens_in":68567,"feed_emoji":"📏","tokens_out":10916,"duration_ms":89559,"temperature":0.7,"pith_summary":"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.","feed_headline":"Small minimal submanifolds can't hide in octonionic hyperbolic space","feed_subtitle":"Any 14- or 15-dimensional stationary minimal submanifold must occupy a fixed fraction of the ambient volume.","key_machinery":"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)$.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the original monotonicity estimate for stationary varifolds in negatively curved manifolds that Theorem 1.15 improves.","marker":"[And82]"},{"why":"Provides the bound on infinitesimal characters of nontrivial representations used to control decay of matrix coefficients in $F_4^{(-20)}$.","marker":"[Kos69]"},{"why":"Establishes the growth gap for infinite-covolume subgroups of $F_4^{(-20)}$, against which the improved monotonicity exponents are compared.","marker":"[Cor90]"},{"why":"Provides the spherical function formulas and estimates used to compute matrix coefficients and Hessians in symmetric spaces.","marker":"[GV88]"},{"why":"Supplies the varifold theory: first variation formula, rectifiable varifolds, and stationarity.","marker":"[Sim14]"},{"why":"Constructs the natural flows that contract volume in low codimension, used in the homotopy-collapsing and topological-waist arguments.","marker":"[CMW23]"},{"why":"Introduces the Federer-Fleming deformation used to collapse small varifolds to lower-dimensional skeleta.","marker":"[FF60]"}],"fun_headline_variants":["Minimal submanifolds in octonionic spaces can't be too small","Small minimal submanifolds forbidden in octonionic hyperbolic manifolds","Codim-one or two minimal submanifolds must fill a fixed volume fraction","Octonionic hyperbolic spaces force large minimal submanifolds"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Minimal submanifolds in octonionic spaces can't be too small","Small minimal submanifolds forbidden in octonionic hyperbolic manifolds","Codim-one or two minimal submanifolds must fill a fixed volume fraction","Octonionic hyperbolic spaces force large minimal submanifolds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000811,"raw_usage":{"total_tokens":3602,"prompt_tokens":1033,"completion_tokens":2569,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":649,"completion_tokens_details":{"reasoning_tokens":2488}},"tokens_in":649,"tokens_out":2569,"duration_ms":15755,"temperature":1.0,"reasoning_tokens":2488,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T04:17:34.575988+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}