REVIEW 2 major objections 6 minor 17 references
An integral formula for a pair of singular distributions
T0 review · 2 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For singular distributions on a closed Riemannian manifold, a generalized divergence theorem turns a combination of mixed scalar curvature and distribution invariants into a vanishing integral.
desk verdict A worthwhile but under-specified paper: the main integral formula requires an 'allowed' condition that is missing from the statements of Proposition 4 and Theorem 2. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The mechanism that carries the argument is the P-divergence operator div_P X = trace(Y -> P*∇_{PY}X), together with the condition div(PP*)=0, which identifies div_P X with div(PP*(X)) and makes (div_P X)dvol an exact form. The trace of the Codazzi-type equation (4), valid when the pair (P1,P2) is allowed in the sense that certain bilinear forms vanish, produces identity (19): div_P(H1+H2) equals S^P_mix plus the P-norm terms. Theorem 1 then integrates this identity to zero on closed manifolds.
What would settle it
Construct a closed Riemannian manifold with a self-adjoint pair P1,P2 such that P=P1+P2 satisfies div($P^{2}$)=0 but the pair fails the allowed condition, and compute both sides of the integral formula directly; a nonzero discrepancy would show the central formula does not hold under the theorem's stated hypotheses. Alternatively, verify whether every pair satisfying those hypotheses is automatically allowed, since the proof would collapse if not.
Extended reading notes
Core claim
The central claim is Theorem 2: for self-adjoint endomorphisms P1 and P2 of the tangent bundle of a closed Riemannian manifold, with P=P1+P2 and div($P^{2}$)=0, the integral over the manifold of S^P_mix + ||h1||^2_P + ||h2||^2_P - ||T1||^2_P - ||T2||^2_P - ||H1||^2_P - ||H2||^2_P vanishes. Here S^P_mix is the mixed scalar curvature of the pair of singular distributions D_i=P_i(TM), h_i and T_i are their second fundamental forms and integrability tensors, H_i are their mean curvature vectors, and ||·||_P is the P-weighted norm introduced in the paper. The proof uses the P-divergence theorem together with the traced Codazzi-type equation, which yields the pointwise identity (19). When P is the identity, the formula reduces to the classical integral formula for a pair of complementary orthogonal regular distributions.
Load-bearing premise
The proof depends on the technical 'allowed' condition for the pair (P1,P2), requiring certain bilinear forms to vanish, although the printed version of Theorem 2 lists only self-adjointness and div($P^{2}$)=0.
Editorial extensions
If this is right
- On closed manifolds the vanishing integral acts as an obstruction: the mixed scalar curvature and the distribution invariants must balance, so configurations where the signed combination is one-sided cannot occur.
- Under sign conditions on S^P_mix, the splitting results in the paper force the singular distributions to be autoparallel, meaning both the second fundamental forms and integrability tensors vanish, which in the regular case gives local product structure.
- Setting P to the identity endomorphism recovers the classical integral formula for complementary orthogonal regular distributions, so the new result is an extension of that known statement.
- On complete open manifolds, the paper's modification of Stokes' theorem yields Liouville-type conclusions: if the P-divergence of a suitable vector field has constant sign and an integrability condition holds, then it vanishes identically.
Reading between the lines
- The 'allowed' condition on (P1,P2) appears to be load-bearing for identity (19), even though Theorem 2 states only self-adjointness and div(P^2)=0; finding a self-adjoint pair that satisfies div(P^2)=0 but violates the allowed condition would test whether the theorem statement needs amendment.
- The P-divergence framework likely extends to other integral curvature identities whenever a natural divergence-free endomorphism PP* is available, such as from divergence-free Einstein tensors, as the paper's own example suggests.
- Because the P-norm is not necessarily positive for general endomorphisms, comparing sign conditions on S^P_mix with positivity properties of P may yield refined rigidity statements beyond the regular case.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops tools for singular distributions defined as images of smooth endomorphisms on a Riemannian manifold. Section 1 introduces structural tensors for a pair (P1,P2), defines an 'allowed' condition on the pair, and derives a Codazzi-type equation (4). Section 2 proves a P-divergence theorem (Theorem 1) under the condition div(PP*)=0, together with an open-manifold analogue (Proposition 3). Section 3 uses these ingredients to prove the pointwise identity (19) relating divP(H1+H2) to the mixed scalar curvature and to P-squared norms of the second fundamental forms, integrability tensors, and mean curvature vectors, and then integrates this identity to obtain an integral formula (Theorem 2) that generalizes Walczak's regular formula. Theorems 3–5 give splitting and Liouville-type consequences. The main issue is that Proposition 4 and Theorem 2 omit the 'allowed' condition needed in the proofs of Proposition 1 and Lemma 3; as printed, the central formula is not proven under the stated hypotheses.
Significance. If the missing hypothesis is supplied, the paper delivers a clean, parameter-free generalization of Walczak's integral formula to singular distributions, together with a useful new P-divergence theorem. The analytic derivations are self-contained once the endomorphism representation of singular distributions from [12,13] is granted, and there is no circular reasoning or fitted parameters. The examples involving an Einstein product metric, almost contact structures, and f-structures are relevant and illustrate the scope. Because (19) is an explicit identity, the result is checkable in concrete examples. However, the omission of the 'allowed' condition from the main statements is a load-bearing gap, so the printed central theorem is not established as stated.
major comments (2)
- [§3, Proposition 4 and Theorem 2] The identity (19) is proved by tracing the Codazzi equation (4) and using Lemma 3. Proposition 1 states (4) only under the assumption that P = P1 + P2 is allowed (Definition 3), and the proof of Lemma 3 explicitly invokes b(1)_2(e_t,e_t)=0, which is one of the allowed conditions. Neither Proposition 4 nor Theorem 2 states that (P1,P2) is allowed; they assume only self-adjointness and, in Theorem 2, div(P^2)=0. These hypotheses do not imply the allowed condition. For example, on flat T^3 with orthonormal U=(-sin z, cos z, 0), V=(cos z, sin z, 0), E=∂_z, set P1=U⊗E+E⊗U and P2=V⊗V. Then P1 and P2 are self-adjoint, P1P2=0, and P^2=I, so (24) holds, yet b(1)_1(U,U)=V≠0, contradicting Definition 3. In this example the two sides of (19) happen to cancel, so the example shows a proof gap rather than a counterexample to the formula, but it demonstrates that the stated hypotheses do not cover the proof. The fix is to add 'allowed' to the statements of Proposition 4 and Theorem 2 (and to the later theorems that rely on them) or to prove (19) under a weaker condition.
- [§3, Theorems 3–5] The splitting theorems inherit the missing allowed condition because they cite Proposition 4; hence they are not proven as stated. In addition, the proof of Theorem 3 applies Proposition 3 leaf-by-leaf, but the stated hypothesis div(P1^2)=0 is a global condition on M, and the paper does not explain how the leaf-restricted divergence condition required by Proposition 3 is obtained on the singular leaves. Please add the allowed condition to all results that use Proposition 4 and justify the leaf-by-leaf application of Proposition 3.
minor comments (6)
- [§3, proof of Proposition 4] In Eq. (20), the second line contains the term ⟨P2∇P1esP1es, ∇P1etP2et⟩, which appears to be a typo for ⟨P2∇P1esP1es, ∇P2etP2et⟩; Eq. (22) uses the latter expression.
- [§1, Definition 3] Definition 3 introduces forms b(i)_j with i,j∈{1,2} but says only 'the bilinear forms b(i)_1 and their dual b(i)_2'; the domain and codomain of each of the four forms should be spelled out explicitly.
- [§1, Lemma 1 and Proposition 1] Lemma 1 and Proposition 1 use the adapted metric condition (1), but neither statement explicitly includes (1) as a hypothesis; this should be stated to avoid ambiguity.
- [§2, Example 4] In part (b) of Example 4, the text says 'Similarly to point b)' but clearly refers to point a); also, H is used there for the mean curvature vector of f(TM) without being defined in that example.
- [§2, Example 3] In Example 3, the coordinates are listed as (x,y,z,u,v), but the Christoffel symbol indices are said to range over {1,...,6} with (x1,...,x5); the index set should be {1,...,5}.
- [§3, Lemma 3] The proofs refer several times to 'underlined terms' (e.g., in the computation of (15a)), but no underlining is visible in the text; use equation labels or another visible device.
Circularity Check
No circular derivation: the integral formula is derived from a divergence theorem and a traced Codazzi identity without fitting or importing the target result.
full rationale
The paper's central derivation is self-contained once its definitions are granted. The P-divergence theorem (Theorem 1) follows from Proposition 2 via the standard identity div(P(P^*(X))) and Stokes' theorem, with no fitted parameter and no use of the target integral formula as an input. Proposition 4's pointwise identity (19) is obtained by tracing the Codazzi equation (4), with Lemma 3 computing the traces of T_i and S_i; Walczak's regular-case formula [16] is cited only as the benchmark that the formula generalizes, not as an ingredient. The self-citations [12,13] provide the background representation of singular distributions as images of endomorphisms and the existence of self-adjoint endomorphisms in Remark 1; this is a premise about the objects under study, not a prediction, and the later algebraic derivation does not reduce to it. No fitted quantity is renamed as a prediction, and no uniqueness theorem is invoked to force a choice. A separate correctness concern, not a circularity, is that Proposition 4 and Theorem 2 are stated for self-adjoint P1,P2 while the proof of Lemma 3 explicitly uses the 'allowed' condition b(1)_2(e_t,e_t)=0 from Definition 3; this is an unstated hypothesis or proof gap, but it does not make the derivation circular.
Assumptions & free parameters
assumptions (4)
- domain assumption Singular distributions are defined as images Pi(TM) of smooth endomorphisms, and there exist self-adjoint Pi adapted to a metric in the class studied.
- domain assumption The endomorphism pair (P1,P2) is allowed, meaning the bilinear forms b(i)_j in Definition 3 vanish.
- domain assumption div(P^2)=0 for P=P1+P2, which is condition (24) and equivalently condition (11).
- standard math Levi-Civita connection, Stokes theorem, and Yau's L1 lemma for complete open Riemannian manifolds.
Cite this review
Pith. "Pith review of An integral formula for a pair of singular distributions." pith.science (2026). https://pith.science/paper/CZATPQPB
@misc{pith2026190807261,
author = {Pith},
title = {Pith review of: An integral formula for a pair of singular distributions},
year = {2026},
howpublished = {\url{https://pith.science/paper/CZATPQPB}},
note = {Machine review of arXiv:1908.07261}
}
read the original abstract
The paper is devoted to differential geometry of singular distributions (i.e., of varying dimension) on a Riemannian manifold. Such distributions are defined as images of the tangent bundle under smooth endomorphisms. We prove the novel divergence theorem with the divergence type operator and deduce the Codazzi equation for a pair of singular distributions. Tracing our Codazzi equation yields expression of the mixed scalar curvature through invariants of distributions, which provides some splitting results. Applying our divergence theorem, we get the integral formula, generalizing the known one, with the mixed scalar curvature of a pair of transverse singular distributions.
Reference graph
Works this paper leans on
-
[1]
M.M. Alexandrino et al. Progress in the theory of singular Riemannia n foliations. Dif- ferential Geometry and its Applications, 31 (2013) 248–267
work page 2013
-
[2]
K. Andrzejewski, V. Rovenski and P. Walczak, Integral formu las in foliations theory, 73–82, in Geometry and its Applications , Springer Proc. in Math. and Statistics, 72, Springer, 2014
work page 2014
-
[3]
A. Bejancu and H. Farran, Foliations and geometric structures . Springer-Verlag, 2006
work page 2006
-
[4]
Blair, Riemannian geometry of contact and symplectic manifolds , Springer, 2010
D. Blair, Riemannian geometry of contact and symplectic manifolds , Springer, 2010
work page 2010
-
[5]
F. Bullo, A.D. Lewis, Geometric control of mechanical systems: Modeling, analys is, and design for simple mechanical control systems , Texts in Applied Math., 49, Springer, 2005
work page 2005
-
[6]
A. Caminha, P. Souza, F. Camargo, Complete foliations of space f orms by hypersurfaces, Bull. Braz. Math. Soc., New Series, 41:3 (2010), 339–353
work page 2010
-
[7]
L.D. Drager, J.M. Lee, E. Park, K. Richardson, Smooth vector s ubbundles are finitely generated, Ann. Glob. Anal. Geom. 41, 3 (2012), 357–369
work page 2012
-
[8]
S.I. Goldberg and K. Yano, On normal globally framed f -manifolds, Tohoku Math. J. 22 (1970), 362–370
work page 1970
Show all 17 references
-
[9]
Greub, S
W. Greub, S. Halperin, R. Vanstone, Connections, Curvature, and Cohomology , vol. I, Academic Press, New York, 1972
1972
-
[10]
Isidori, Nonlinear Control Systems , 3-rd ed., Springer Verlag, New York, 1995
A. Isidori, Nonlinear Control Systems , 3-rd ed., Springer Verlag, New York, 1995
1995
-
[11]
Molino, Riemannian foliations
P. Molino, Riemannian foliations . Progress Math., 73, Birkh¨ auser, Boston, 1988
1988
-
[12]
Popescu and M
P. Popescu and M. Popescu, On a class of singular vector subbu ndles, BSG Proc. 20, (2013), 79–88
2013
-
[13]
Popescu and M
P. Popescu and M. Popescu, On singular non-holonomic geometr y, Balkan J. of Geometry and Its Applications, 18, No. 2 (2013), 58–68
2013
-
[14]
Rovenski, Foliations on Riemannian Manifolds and Submanifolds , Birkh¨ auser, 1998
V. Rovenski, Foliations on Riemannian Manifolds and Submanifolds , Birkh¨ auser, 1998
1998
-
[15]
Stepanov, Liouvile-type theorems for some classes of comp lete Riemannian almost product manifolds and for special mappings of complete Riemannian m anifolds, J
S. Stepanov, Liouvile-type theorems for some classes of comp lete Riemannian almost product manifolds and for special mappings of complete Riemannian m anifolds, J. of Math. Sciences, 230, No. 1, (2018), 9 pp
2018
-
[16]
Walczak, An integral formula for a Riemannian manifold with tw o orthogonal complementary distributions, Colloq
P.G. Walczak, An integral formula for a Riemannian manifold with tw o orthogonal complementary distributions, Colloq. Math. 58, No. 2 (1990), 243– 252
1990
-
[17]
Yau, Some function-theoretic properties of complete Riem annian manifolds and their applications to geometry
S.T. Yau, Some function-theoretic properties of complete Riem annian manifolds and their applications to geometry. Indiana Univ. Math. J., 25 (1976), 6 59–670 14
1976
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.