Pith. sign in

REVIEW 2 major objections 5 minor 16 references

Counting Minimal Tori In Riemannian Manifolds

T0 review · 2 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read For closed manifolds of dimension at least eight, the paper defines an integer counting minimal immersed tori and proves the count does not change when the metric is perturbed.

desk verdict A serious and ambitious adaptation of Taubes–Eftekhary counting to minimal tori, but the main transversality input is quantitatively mismatched and the paper is not yet reliable as written. read the letter →

arxiv 2412.11103 v2 pith:UTAF3GK6 submitted 2024-12-15 math.DG

Narges Bagherifard This is my paper · ORCID
classification math.DG MSC 53A1058E1258D27
keywords minimaltorisuper-rigidmetricsJacobioperatortransversalitymetricperturbationscountingfunctionwall-crossingRiemanniangeometry
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

This paper claims that minimal immersed tori in a closed Riemannian manifold of dimension at least eight can be counted by an integer that does not change when the metric is perturbed. The count is not a naive cardinality: each torus receives a weight determined by its covering degree and its type under a $\mathbb{Z}_2$-index classification, and embedded tori under a generic super-rigid metric contribute $\pm 1$. The paper argues that generic metrics are super-rigid, meaning every embedded minimal torus and all its multiple covers have trivial Jacobi kernel, and that failures of super-rigidity occur only along a codimension-one wall. Crossing a wall or a birth-death point changes which tori exist, but the weighted sum is shown to be unchanged, which makes the count well-defined for arbitrary metrics as well. If true, this gives a higher-dimensional analogue of counting closed geodesics.

What carries the argument

The argument is carried by the Jacobi operator $J_{g,u}$, the linearization of the mean-curvature functional; along an immersed torus that factors as a covering $\pi$ followed by an embedding $v$, the operator satisfies $J_{g,v\circ\pi} \cong \pi^*J_{g,v}$, which is equivalent to $J_{g,v}$ twisted by a flat local system. The paper verifies a technical symbol-level growth condition for this operator, proves a flexibility property by constructing metric variations that realize any symmetric endomorphism of the normal bundle as the derivative of $J$, and derives an orbifold index formula showing that twisted Jacobi operators on multiple covers have index at most $-(n-2)$. Local models near critical points and weak-limit points (double covers) reduce the invariance of the count to a finite list of type-change diagrams, from which the weight table $n^d_{\pm k}$ is forced.

What would settle it

For the model symbol $\Delta = \partial_1^2 + \partial_2^2$, take a minimal-rank homogeneous element $B \in \ker \hat\omega_\Delta$ and compute $\operatorname{rk} L^{\le l}_{\Delta,B}$ numerically for $l$ up to a few hundred; if the growth is $O(l)$ rather than $O(l^2)$, the hypothesis of the cited transversality theorem (which needs exponent $n=2$) is not satisfied, and the conclusion that Petri-condition failures form an infinite-codimension locus collapses.

Watch

Extended reading notes

Core claim

The paper's central claim is that the moduli space of minimal immersed tori carries a deformation-invariant integer count. Precisely, for a closed manifold $M$ of dimension at least eight and a compact open set $U^g$ of $g$-minimal torus maps up to reparameterization, the paper defines $n(g,U^g) \in \mathbb{Z}$ using signs attached to the determinant of the Jacobi operator twisted by the three nonzero elements of $H^1(T,\mathbb{Z}_2)$. The defining properties are: when $g$ is super-rigid and the torus is embedded, the contribution is $\pm 1$; and for any path of metrics whose associated one-parameter moduli space is generic, the total count at the two endpoints is equal. The paper also claims that super-rigid metrics form a comeager set for $\dim M \ge 6$, with the non-super-rigid locus a codimension-one wall, so the local wall-crossing terms can be computed and cancel.

Load-bearing premise

The load-bearing assumption is that the technical growth-rate condition verified in the paper is strong enough for the transversality theorem it invokes; the paper proves only linear growth in the jet order, while the invoked theorem appears to require quadratic growth, and if that quadratic rate is genuinely necessary the genericity theorem and the count's invariance both fail.

Editorial extensions

If this is right

  • A metric-invariant count of minimal tori exists whenever $\dim M \ge 8$, and super-rigid metrics are generic in dimensions at least 6.
  • For super-rigid metrics, embedded tori contribute $\pm 1$, while higher-degree covers contribute through the weight table $n^d_{\pm k}$, with degrees 2 and 4 governed by explicit recurrence relations.
  • The count extends to non-generic metrics by perturbing a given metric to a nearby super-rigid metric; the paper defines this extension and claims it is independent of the chosen perturbation.
  • Any path of metrics between two endpoints can be chosen so that only finitely many critical points and weak-limit points occur, making the invariant computable by summing local wall-crossing corrections.

Reading between the lines

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

  • A deformation-invariant count of this kind could be regarded as a Riemannian analogue of enumerative curve counts, but the paper does not claim invariance under changing the smooth structure or complex structure.
  • The dimension gap between the genericity result ($\dim M \ge 6$) and the torus count ($\dim M \ge 8$) suggests that the boundary case $\dim M = 7$ might require new local models for higher-degree branching; the paper leaves this case unexamined.
  • One could try to compute the invariant on explicit examples, such as flat tori or products of a circle with a sphere, where minimal tori are known, to see whether the weight table reproduces a known integer across different metrics.
  • If the growth-rate hypothesis is the weak point, the failure would show up in the codimension estimate for non-super-rigid metrics rather than in the local weight relations, so the counting function might be salvageable under a stronger transversality result.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper proposes a count function n(g, U) for minimal immersed tori in a Riemannian manifold of dimension at least 8 and claims that this count is invariant under continuous deformations of the metric. The proof strategy transplants the transversality and super-rigidity framework of Wendl and Doan–Walpuski from J-holomorphic curves to the Jacobi operator of minimal surfaces. After reviewing White's moduli-space theory, the paper introduces Petri and flexibility conditions, attempts to verify Wendl's condition for the Jacobi operator, computes indices of twisted Jacobi operators over orbifold Riemann surfaces, and then constructs local models near critical points and weak limit points to prove the invariance of the count. The main theorems are Theorem 1.1 (generic super-rigidity of metrics) and Theorem 1.2 (invariance of the count).

Significance. If the main results were correct, they would provide a new invariant counting minimal tori in high-dimensional Riemannian manifolds, generalizing recent counting results for closed geodesics and adapting powerful transversality machinery from symplectic geometry to minimal surface theory. The paper also gives an explicit weight system for multiple covers, which is a useful concrete structure. However, the central technical step—the verification of Wendl's condition for the Jacobi operator—is not carried out correctly, and the gap is load-bearing for both main theorems. The paper is partly a translation of known results rather than an independent breakthrough, but the attempted adaptation is nontrivial and could be valuable if the missing estimate were supplied.

major comments (2)
  1. [Section 3.3, Proposition 3.3; Definition 3.6; Theorem 3.2] The verification of Wendl's condition is insufficient. Definition 3.6 is stated with an exponent n that is never defined in the manuscript; in the cited source (Doan–Walpuski, Definition 1.6.15, and Wendl's theorem), the exponent n is the dimension of the manifold on which the operator acts. Here the operator is the Jacobi operator on a torus, so n = 2, and Wendl's condition requires rk L^{≤l}_{σ,B} ≥ c_{d,ρ} l^2 for large l. Proposition 3.3 proves only the linear bound rk L^{≤k}_{Δ,B} ≥ k/2 for k ≥ 10d+6. The sentence 'Therefore it is enough to set c0(ρ, d) = 1/2 and l0(ρ, d) = 5d + 3 in Definition 3.6' is therefore incorrect: for n = 2, the linear function (1/2)l cannot dominate any positive multiple of l^2 for all large l. Consequently, Theorem 3.2 cannot be applied to conclude that the failure locus of the ∞-jet Petri condition has infinite codimension. This gap undermines Proposition 4.2 and, in turn, the proofs of Theorems 1.1 and 1.2.
  2. [Section 4.1, Proposition 4.1 and its proof] The statement of Proposition 4.1 omits the factor 1/2 that its own proof derives. The displayed formula in the statement reads index(J^V_{g,v;ϖ}) = - rk_C N_{v,ϖ} Σ_x dim(V/V_{ρx}), while the proof concludes 'index(J^V_{g,v;ϖ}) = - 1/2 rk_C N_{v,ϖ} Σ_x dim(V/V_{ρx}).' The subsequent codimension estimates in Proposition 4.2 use the version with the factor 1/2, including the formula index_{K_i} J^{V_i}_{g,v;ϖ} = -((n-2)/2) Σ_x dim(...). The Proposition as stated is false by a factor of 2 and the inconsistency should be corrected so that the statement matches the proof and the later usage.
minor comments (5)
  1. [Abstract and Introduction] The abstract at the top of the full text states 'dim M ≥ 8', while an earlier version and the introduction's discussion of Theorem 1.1 use 'dim M ≥ 6'. The paper should state the precise dimensional hypotheses consistently in the abstract, the introduction, and the theorems.
  2. [Definition 3.6] The exponent n in the definition of Wendl's condition is never defined. It should be explicitly identified as the dimension of the underlying manifold of the elliptic operator, to avoid the ambiguity that currently allows the later substitution n = 1.
  3. [Section 5.2.3] In the display of weight relations after setting n2 = n4 = n8 = 0, the expression 'n2_{+3} = n − 3' appears to contain a typo; it should presumably be 'n2_{+3} = n2 − 3'. Please check and correct all such formulas.
  4. [Section 5.2.2, Proposition 5.4] The local model for a weak limit point is asserted to be the zero set of g(ϵ, r) = r((ϵ − t)f(ϵ, r) − r^2 h(r)), with f(t,0) and h(0) nonzero. This is plausible but the derivation is not given in the manuscript; a more explicit derivation or a precise reference to the corresponding argument in [5] would help the reader verify the model.
  5. [Section 5.1 and Definition 5.1] The definition of the count function involves a free choice of normalization constants n2, n4, n8, which are later set to zero. The paper should explicitly acknowledge that the numerical value of the count depends on this choice, even though the invariance property holds for any consistent choice satisfying the derived relations.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reduction found; the main flagged issue is a correctness gap in the Wendl-condition exponent, not a circular argument.

full rationale

I walked the derivation chain of Theorems 1.1 and 1.2 and found no step in which a claimed output is identical to an input by construction, and no load-bearing self-citation by the sole author. The super-rigidity genericity argument is imported from the external machine of Doan–Walpuski, Wendl, Taubes, and Eftekhary; the paper does not redefine those theorems into its conclusion. The proof of Proposition 4.2 invokes Theorem 3.2 and Proposition 3.3 as external inputs, not as assumptions equivalent to the desired infinite-codimension statement. The paper's heavy reliance on Eftekhary's Theorem 4.2 for the well-definedness of n(g,U) for non-generic metrics is a real citation to a distinct published paper (not a self-citation, since Eftekhary is not an author), and the reduction is to an external result rather than to the paper's own conclusion. The hand-set constants n2=n4=n8=0 do not constitute circularity: Theorem 1.2 asserts existence of a weight with stated properties, and the paper constructs one; the arbitrary choice merely selects one member of a family of consistent weight systems. The serious flagged problem is that Proposition 3.3 proves only linear jet-rank growth rk L^{≤k}_{Δ,B} ≥ k/2, while the cited Wendl condition in Definition 3.6/Theorem 3.2, applied to a torus, would need growth in l^n with n=2; the text 'set c0(ρ,d)=1/2 and l0(ρ,d)=5d+3' fits the constants to the linear bound, leaving the required quadratic growth unverified. This is a quantitative gap in the proof as written, which affects the applicability of Theorem 3.2, but it is not a circular step: Proposition 3.3 does not assume Wendl's condition or the theorem it feeds. For these reasons I find no significant circularity and assign score 0, while noting the Wendl-condition exponent mismatch as a correctness risk outside the circularity rubric.

Assumptions & free parameters 3 free parameters · 5 assumptions · 0 invented entities

The central claim rests on several imported results (White's bumpy metrics, Doan-Walpuski's equivariant Brill-Noether theory, Wendl's super-rigidity, Taubes' and Eftekhary's counting frameworks) and on two paper-specific choices: the rank-growth exponent in Wendl's condition and the normalization of the count weights. The latter are free integer parameters, and the paper provides no argument that the chosen values are canonical.

free parameters (3)
  • n2: weight normalization for degree-2 covers of +0 tori = 0
    Set to 0 by hand in proof of Theorem 5.1; no canonical justification, and the value of the count function depends on it.
  • n4: weight normalization for degree-4 covers of +0 tori = 0
    Set to 0 by hand; affects n^4_{+1}, n^4_{+2}, n^4_{+3} via the wall-crossing relations.
  • n8: weight normalization for degree-8 covers of +0 tori = 0
    Set to 0 by hand; affects n^8_{+k} via the relations.
assumptions (5)
  • domain assumption White's bumpy metrics theorem: generic metrics have no nontrivial Jacobi fields along closed immersed minimal submanifolds.
    Used in Section 2 to ensure L~(g) is discrete for generic g; cited to [15,16], not proved in the paper.
  • ad hoc to paper Wendl's condition for the Jacobi operator is satisfied with the exponent implicit in Definition 3.6.
    Prop 3.3 proves rank ≥ ½ l; the cited Doan-Walpuski theorem requires c·l^n with n = dim Σ = 2. The paper never states n, so the hypothesis of Theorem 3.2 is not clearly met.
  • domain assumption The local model around weak limit points is given by g(ε,r)=r((ε−t)f(ε,r)−r^2 h(r)).
    Borrowed from Eftekhary [5] proof of Theorem 3.2; used in Subsection 5.2.2 without proof.
  • domain assumption The moduli space M_s(V) is a Banach manifold and ⊓_s is Fredholm of index 2s.
    Cited to Section 2.9 of [3] in proof of Theorem 1.1; not proved here.
  • ad hoc to paper The weight system can be normalized by n2=n4=n8=0 and n^{2d}=0 for d≥3.
    Proof of Theorem 5.1 sets these constants to zero without justification; the count value depends on them.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Counting Minimal Tori In Riemannian Manifolds." pith.science (2026). https://pith.science/paper/UTAF3GK6

@misc{pith2026241211103,
  author       = {Pith},
  title        = {Pith review of: Counting Minimal Tori In Riemannian Manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UTAF3GK6}},
  note         = {Machine review of arXiv:2412.11103}
}
abstract

In this paper, we introduce a function which counts minimal tori in a Riemann manifold $(M, g)$ with $\mathrm{dim}\, M \ge 6$. Moreover, we show that this count function is invariant under perturbations of the metric.

Figures

Figures reproduced from arXiv: 2412.11103 by the authors.

Figure 1
Figure 1. Two sequences in Y˜(Γ) which converge to a curve ( ¯ gt , [v]) [PITH_FULL_IMAGE:figures/full_fig_p033_1.png] view at source ↗
Figure 2
Figure 2. A sequence in Y˜(Γ) which converge to the double cover of ( ¯ gt , [v]). In particular, this suggests that n d ±k (g, v) = 0 unless d = 2m, for some m ∈ N. π : T0 → T induces a 2 to 1 map on cohomology π ∗ : H1 (T, Z2) → H1 (T0, Z2). ι0 which classifies π will be sent to 0 by π ∗ . Let ρ2(s) = (gs, [v ′ s ]). The following rules tell us how the sign of det(Jρ2(s),ι), which is the sign of a torus in the image of ρ2, … view at source ↗
Figure 3
Figure 3. Type of the torus in a neighborhood of ( [PITH_FULL_IMAGE:figures/full_fig_p034_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages

  1. [1]

    Abraham, R., Bumpy metrics, Proc. Sympos. Pure Math., Vol. XIV, Berkeley, Calif., 1968 (1970), 1-3, J. Amer. Math. Soc. , Providence, R.I

    work page 1970

  2. [2]

    and Pandharipande, R., BPS states of curves in Calabi–Yau 3–folds, J

    Bryan, P. and Pandharipande, R., BPS states of curves in Calabi–Yau 3–folds, J. Geom. Topol. 5 (2001), 287-318

    work page 2001

  3. [3]

    and Walpuski, T., Equivariant Brill-Noether theory for elliptic op- erators and super-rigidity of J-holomorphic maps, J

    Doan, A. and Walpuski, T., Equivariant Brill-Noether theory for elliptic op- erators and super-rigidity of J-holomorphic maps, J. Forum of Mathematics, Sigma 11 (2023), e3

    work page 2023

  4. [4]

    Eftekhary, E., On finiteness and rigidity of J-holomorphic curves in symplectic three-folds, J. Adv. Math. 289 (2016), 1082-1105

    work page 2016

  5. [5]

    Eftekhary, E., Counting closed geodesics on Riemannian manifolds, J. Calc. Var. 64 (2025), no.3

    work page 2025

  6. [6]

    Forster, O., Lectures on Riemann surfaces., Springer New York, NY 1981

    work page 1981

  7. [7]

    D., Osserman, R

    Gulliver II, R. D., Osserman, R. and Royden, H. L., A theory of branched immersions of surfaces, J. Amer. Math. 95 (1973), no.4, 750-812

    work page 1973

  8. [8]

    Margulis, G., On some applications of ergodic theory to the study of manifolds of negative curvature, J. Fundam. Anal. Appl. 3 (1969), 89-90

    work page 1969

Show all 16 references
  1. [9]

    Sagman, N., A factorization theorem for harmonic maps, J. Geom. Anal. 31 (2021), 11714–11740

    2021

  2. [10]

    and Sarnak, P., Geodesics in homology classes, J

    Phillips, R. and Sarnak, P., Geodesics in homology classes, J. Duke Math. 55 (1987), 287-297

    1987

  3. [11]

    and Yu, J

    Shen, S. and Yu, J. Flat vector bundles and analytic torsion on orbifolds, J. Comm. Anal. Geom. 30 (2022), no.3, 575-656

    2022

  4. [12]

    H., Counting pseudo-holomorphic submanifolds in dimension 4, J

    Taubes, C. H., Counting pseudo-holomorphic submanifolds in dimension 4, J. Diff. Geom. 44 (1996), 818-893

    1996

  5. [13]

    Wendl, C., Transversality and super-rigidity for multiply covered holomorphic curves, J. Ann. Math. 198 (2023), 93-230

    2023

  6. [14]

    Wendl, C., Lectures on symplectic field theory, arXiv: 1612.01009 (2019)

    2019 arXiv

  7. [15]

    White, B., The space of minimal submanifolds for varying Riemannian metrics, J. Indiana. Univ. Math. 40 (1991), no.1, 161-200

    1991

  8. [16]

    White, B., On the bumpy metrics theorem for minimal submanifolds, J. Amer. Math. 139 (2017), no.4, 1149-1155. 45

    2017

Pith tools

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