Symmetric tautness tensor on Riemannian foliations

Jungwoo Moon

arxiv: 2605.25408 · v1 · pith:TNNYSVPInew · submitted 2026-05-25 · 🧮 math.DG

Symmetric tautness tensor on Riemannian foliations

Jungwoo Moon This is my paper

Pith reviewed 2026-06-29 20:59 UTC · model grok-4.3

classification 🧮 math.DG MSC 53C12

keywords Riemannian foliationstautnessmean curvaturesymmetric 2-tensorcompact manifoldsfoliation theory

0 comments

The pith

The symmetric tautness tensor provides a condition for tautness in Riemannian foliations on compact manifolds.

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

The paper establishes that a symmetric 2-tensor derived from the mean curvature of a Riemannian foliation can be used to determine if the foliation is taut. This is proven for foliations on compact manifolds. Sympathetic readers would care because this gives a practical tensorial criterion for a property that usually requires finding a special metric making all leaves minimal. The paper also explores applications of this tensor in different geometric contexts.

Core claim

We study tautness properties of a Riemannian foliation by investigating a symmetric 2-tensor associated with the mean curvature of the foliation. As a consequence, we prove a tautness condition for Riemannian foliations on compact manifolds via the symmetric tautness tensor. Moreover, several applications of the aforementioned tensor are provided under various geometric conditions.

What carries the argument

The symmetric tautness tensor, a symmetric 2-tensor built from the mean curvature of the foliation that carries the tautness information.

If this is right

If the symmetric tautness tensor satisfies the appropriate condition, the Riemannian foliation is taut.
The tensor can be applied to study foliations under various additional geometric conditions.
The tensor offers a new way to investigate tautness properties without constructing a transverse metric directly.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This tensorial approach might be extended to study tautness in non-compact settings or other foliation classes.
It could be compared to existing tautness criteria involving basic cohomology or the mean curvature form.
Computing the tensor on concrete examples like linear foliations on tori would provide concrete tests.

Load-bearing premise

The foliation is Riemannian and the manifold is compact, allowing the mean curvature to define a symmetric tensor that encodes tautness.

What would settle it

A counterexample would be a compact Riemannian foliation that is taut but whose symmetric tautness tensor does not meet the condition, or a non-taut one that does.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper defines a symmetric 2-tensor from the mean curvature of a Riemannian foliation and claims it yields a tautness criterion on compact manifolds, with some applications.

read the letter

The main claim is that a symmetric tautness tensor built from mean curvature gives a condition for tautness in Riemannian foliations on compact manifolds, plus applications under extra assumptions. This is the core new item: the tensor itself and its use as a criterion. The paper stays inside the usual setting where the foliation is Riemannian so mean curvature is transverse and compactness supports global statements, which keeps the argument grounded.

The construction looks like a reasonable way to package the data, and if the tensor is genuinely distinct from earlier objects it could serve as a practical tool for calculations in this niche. The applications section might add some value if they show the tensor simplifying known results or handling specific cases cleanly.

The soft spots are the missing details. The abstract states the result without showing the tensor formula, the derivation steps, or checks against examples, so it is impossible to confirm the proof is direct or that the tensor does not collapse to something already in the literature. The circularity risk is low because the tensor is tied to mean curvature rather than defined to force the conclusion, but this still needs checking in the full text. No overreach in the hypotheses is visible.

This is for specialists working on Riemannian foliations and tautness conditions. A reader already in that subfield could extract a usable tensor if the details hold up, but it will not move broader geometry.

It deserves a serious referee because the claim is specific, the setting standard, and the subfield can use incremental criteria that are checkable. I would send it to review rather than desk reject, with the expectation that referees will ask for the explicit construction and verification steps.

Referee Report

1 major / 0 minor

Summary. The manuscript introduces a symmetric 2-tensor constructed from the mean curvature of a Riemannian foliation and asserts that this tensor yields a tautness condition for Riemannian foliations on compact manifolds; it further claims several applications of the tensor under additional geometric hypotheses.

Significance. If the tensor construction and the implied tautness criterion can be rigorously established, the work would supply a new tensorial characterization in the standard setting of Riemannian foliations on compact manifolds, where mean curvature is transverse and global integrals are well-defined. No machine-checked proofs, reproducible code, or parameter-free derivations are indicated.

major comments (1)

[Abstract] Abstract: the central claim that the symmetric tautness tensor implies a tautness condition is asserted without any derivation steps, explicit definition of the tensor, or statement of the main theorem, so the result cannot be verified from the supplied information.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their feedback. The single major comment concerns the level of detail in the abstract. We respond point by point below.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim that the symmetric tautness tensor implies a tautness condition is asserted without any derivation steps, explicit definition of the tensor, or statement of the main theorem, so the result cannot be verified from the supplied information.

Authors: We agree that the abstract, as written, is a high-level summary and does not contain an explicit definition of the symmetric tautness tensor or a statement of the main theorem. The full manuscript defines the tensor (Section 2) and states and proves the tautness criterion (Theorem 3.1). To address the concern, we will revise the abstract to include a brief definition of the tensor and an explicit statement of the main result. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained against external benchmarks

full rationale

The abstract describes studying tautness via a symmetric 2-tensor built from mean curvature and proving a tautness condition on compact Riemannian foliations. No equations, definitions, or derivation steps are supplied in the provided text, so no self-definitional reduction, fitted-input prediction, or self-citation chain can be exhibited. The stated hypotheses (Riemannian foliation + compactness) are standard and do not embed the conclusion by construction. Absent any load-bearing step that reduces to its own inputs, the paper is scored as having no circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The claim rests on standard background facts of Riemannian foliation theory plus the definition of the new tensor; no free parameters or invented entities with independent evidence are visible in the abstract.

axioms (1)

standard math Riemannian foliations admit a well-defined mean curvature form that is transverse
Invoked implicitly when associating the tensor with mean curvature.

invented entities (1)

symmetric tautness tensor no independent evidence
purpose: Encodes tautness properties of the foliation
Introduced in the paper as the central object; no independent falsifiable prediction supplied in abstract.

pith-pipeline@v0.9.1-grok · 5558 in / 1112 out tokens · 27336 ms · 2026-06-29T20:59:30.108776+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 1 canonical work pages · 1 internal anchor

[1]

J. A. Alvarez L ´opez,The basic component of the mean curvature of Riemannian foliations, Ann. Glob. Anal. Geom. 10, 179–194 (1992)

1992
[2]

Carri`ere,Flots riemanniens,Transversal structure of foliations(Toulouse, 1982), 31–52, (1984)

Y . Carri`ere,Flots riemanniens,Transversal structure of foliations(Toulouse, 1982), 31–52, (1984)

1982
[3]

Hwang, S

S. Hwang, S. D. Jung and J. Moon,Transverse Ricci solitons on a compact foliated mani- fold,Rev. R. Acad. Cienc. Exactas F ´ıs. Nat. Ser. A Mat. RACSAM 120(1), 23, (2026)

2026
[4]

Habib and K

G. Habib and K. Richardson,Modified differentials and basic cohomology for Riemannian foliations,J. Geom. Anal. 23, No. 3, 1314-1342, (2013)

2013
[5]

Habib, K

G. Habib, K. Richardson and R. Wolak,Transverse geometric formality,Math. Z., 309(2),
[6]

Jung,Eigenvalue estimates for the basic Dirac operator on a Riemannian foliation admitting a basic harmonic 1-form,J

S.D. Jung,Eigenvalue estimates for the basic Dirac operator on a Riemannian foliation admitting a basic harmonic 1-form,J. Geom. Phys. 57(4), 1239–1246, (2007)

2007
[7]

Kamber and Ph

F. Kamber and Ph. Tondeur,Infinitesimal automorphisms and second variation of the en- ergy for harmonic foliations,Tohoku Math. J. (2), 34, no. 4, 525–538, (1982)

1982
[8]

LinTransverseF T -entropy for Riemannian foliations,J

D. LinTransverseF T -entropy for Riemannian foliations,J. Math. Anal. Appl. 556 no. 1, part 1, Paper No. 130070 (2026)

2026
[9]

Tondeur,Geometry of foliations,Birkh ¨auser Basel (1997)

Ph. Tondeur,Geometry of foliations,Birkh ¨auser Basel (1997)

1997
[10]

Critical Metrics for Riemannian Curvature Functionals

J. ViaclovskyCritical metrics for Riemannian curvature functional,Arxiv:1405.6080, (2014). J. Moon, DEPARTMENT OFMATHEMATICS, CHUNG-ANGUNIVERSITY, 84 HEUKSEOK-RODONGJAK- GU, SEOUL06974, REPUBLIC OFKOREA. E-mail address:dsfish999@cau.ac.kr 17

work page internal anchor Pith review Pith/arXiv arXiv 2014

[1] [1]

J. A. Alvarez L ´opez,The basic component of the mean curvature of Riemannian foliations, Ann. Glob. Anal. Geom. 10, 179–194 (1992)

1992

[2] [2]

Carri`ere,Flots riemanniens,Transversal structure of foliations(Toulouse, 1982), 31–52, (1984)

Y . Carri`ere,Flots riemanniens,Transversal structure of foliations(Toulouse, 1982), 31–52, (1984)

1982

[3] [3]

Hwang, S

S. Hwang, S. D. Jung and J. Moon,Transverse Ricci solitons on a compact foliated mani- fold,Rev. R. Acad. Cienc. Exactas F ´ıs. Nat. Ser. A Mat. RACSAM 120(1), 23, (2026)

2026

[4] [4]

Habib and K

G. Habib and K. Richardson,Modified differentials and basic cohomology for Riemannian foliations,J. Geom. Anal. 23, No. 3, 1314-1342, (2013)

2013

[5] [5]

Habib, K

G. Habib, K. Richardson and R. Wolak,Transverse geometric formality,Math. Z., 309(2),

[6] [6]

Jung,Eigenvalue estimates for the basic Dirac operator on a Riemannian foliation admitting a basic harmonic 1-form,J

S.D. Jung,Eigenvalue estimates for the basic Dirac operator on a Riemannian foliation admitting a basic harmonic 1-form,J. Geom. Phys. 57(4), 1239–1246, (2007)

2007

[7] [7]

Kamber and Ph

F. Kamber and Ph. Tondeur,Infinitesimal automorphisms and second variation of the en- ergy for harmonic foliations,Tohoku Math. J. (2), 34, no. 4, 525–538, (1982)

1982

[8] [8]

LinTransverseF T -entropy for Riemannian foliations,J

D. LinTransverseF T -entropy for Riemannian foliations,J. Math. Anal. Appl. 556 no. 1, part 1, Paper No. 130070 (2026)

2026

[9] [9]

Tondeur,Geometry of foliations,Birkh ¨auser Basel (1997)

Ph. Tondeur,Geometry of foliations,Birkh ¨auser Basel (1997)

1997

[10] [10]

Critical Metrics for Riemannian Curvature Functionals

J. ViaclovskyCritical metrics for Riemannian curvature functional,Arxiv:1405.6080, (2014). J. Moon, DEPARTMENT OFMATHEMATICS, CHUNG-ANGUNIVERSITY, 84 HEUKSEOK-RODONGJAK- GU, SEOUL06974, REPUBLIC OFKOREA. E-mail address:dsfish999@cau.ac.kr 17

work page internal anchor Pith review Pith/arXiv arXiv 2014