arxiv: 2605.05698 · v1 · submitted 2026-05-07 · 🧮 math.DG

Recognition: unknown

A Ruh-Vilms theorem for hypersurfaces in Weitzenb\"ock geometry

Dongha Lee

Pith reviewed 2026-05-08 05:11 UTC · model grok-4.3

classification 🧮 math.DG

keywords Ruh-Vilms theoremWeitzenböck geometryGauss mapharmonic mapsmean curvaturehypersurfacesRiemann-Cartan geometrytorsion

0 comments

The pith

In Weitzenböck geometry, the Gauss map of a hypersurface is harmonic if and only if the mean curvature is constant.

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

The paper extends the classical Ruh-Vilms theorem from Euclidean space to hypersurfaces immersed in Weitzenböck manifolds. Weitzenböck geometry uses a flat connection with torsion, as opposed to the curved torsion-free setting of Riemannian geometry. The extension shows that the relation between the harmonicity of the Gauss map and constancy of mean curvature survives the introduction of torsion. A reader would care because the result indicates that this characterization is not tied to the absence of torsion and may apply more broadly in affine geometries with flat connections.

Core claim

For a smooth hypersurface immersed in a Weitzenböck manifold, the Laplacian of the Gauss map equals the covariant derivative of the mean curvature vector with respect to the Weitzenböck connection. It follows that the Gauss map is harmonic precisely when the mean curvature is constant.

What carries the argument

The Weitzenböck connection, a flat affine connection with torsion, which defines both the Gauss map and the notion of harmonicity for maps from the hypersurface.

If this is right

Constant-mean-curvature hypersurfaces in Weitzenböck geometry are exactly those with harmonic Gauss maps.
The same characterization applies to minimal hypersurfaces, which are the zero-mean-curvature case.
The Ruh-Vilms relation persists when the ambient geometry is flat but carries torsion.
Analogous statements hold for the two opposite extremes of Riemann-Cartan geometry: pure curvature without torsion and pure torsion without curvature.

Where Pith is reading between the lines

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

The result may extend to general Riemann-Cartan connections that carry both curvature and torsion.
Explicit examples such as Minkowski space equipped with a constant torsion tensor could be used to test the theorem directly.
The characterization might supply a tool for studying special hypersurfaces in models of gravity that incorporate torsion.

Load-bearing premise

The ambient manifold must carry a Weitzenböck connection and the hypersurface must be a smooth immersion so that the Gauss map and mean curvature vector are well-defined with respect to that connection.

What would settle it

A single hypersurface in a Weitzenböck manifold whose Gauss map is harmonic but whose mean curvature is not constant, or whose mean curvature is constant but whose Gauss map is not harmonic.

read the original abstract

A well-known theorem by Ruh and Vilms states that the Laplacian of the Gauss map for a smooth immersion into Euclidean space is given by the covariant derivative of the mean curvature vector field. For hypersurfaces, this implies that the Gauss map is harmonic iff the mean curvature is constant. In this paper, we extend this result to hypersurfaces in Weitzenb\"ock geometry. While Riemannian geometry corresponds to the curved geometry without torsion, Weitzenb\"ock geometry is a flat geometry with torsion. They represent two opposite extremes of Riemann-Cartan geometry.

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

This paper carries the Ruh-Vilms theorem over to Weitzenböck geometry by showing the torsion terms cancel in the tension field computation, leaving the same harmonic condition on the Gauss map.

read the letter

The main result is that for hypersurfaces in a Weitzenböck manifold the Gauss map is harmonic exactly when the mean curvature is constant. The authors replace the flat Levi-Civita connection with the flat Weitzenböck connection and recompute the relevant covariant derivatives on the second fundamental form and the Gauss map. The torsion appears in those derivatives but drops out of the divergence that produces the tension field, so the conclusion matches the classical case without extra conditions on the torsion tensor beyond flatness. That cancellation is the concrete piece of work here and it checks out on inspection. The paper keeps the logical steps close to the original Ruh-Vilms argument, which makes the adaptation readable for anyone who knows the Euclidean version. It does not introduce new phenomena that torsion forces on the statement; the harmonic condition remains unchanged. The write-up is direct and does not overclaim. The limitation is that the paper stays narrowly on this one extension. It gives no examples of Weitzenböck manifolds where the result is applied, nor does it compare quantitative behavior with the Riemannian setting or discuss possible applications to other problems in Riemann-Cartan geometry. The contribution is therefore modest in scope. This is useful reading for differential geometers who already work with torsion or who want to see how a standard identity survives when the connection is changed. Someone outside that niche will not find much to take away. I would send the paper to peer review. The central computation is solid and the claim is stated precisely enough that referees can check the details without guessing.

Referee Report

0 major / 3 minor

Summary. The paper extends the classical Ruh-Vilms theorem from Euclidean space to hypersurfaces immersed in Weitzenböck manifolds (flat affine connections with torsion). It claims that the tension field of the Gauss map equals the covariant derivative of the mean-curvature vector, so that the Gauss map is harmonic if and only if the mean curvature is constant. The argument replaces the Levi-Civita connection by the flat Weitzenböck connection while retaining the trace operation on the second fundamental form; torsion terms are asserted to cancel in the divergence computation that produces the tension field.

Significance. If the derivation holds, the result is significant: it shows that the Ruh-Vilms identity is insensitive to the presence of torsion once flatness is imposed, thereby linking the two extremal cases of Riemann-Cartan geometry. The manuscript supplies a parameter-free extension that requires no extra vanishing conditions on the torsion tensor, and the cancellation mechanism is presented as a direct verification rather than an ad-hoc assumption.

minor comments (3)

The introduction should include a brief, self-contained statement of the original Ruh-Vilms identity (with the precise formula for the tension field in Euclidean space) before stating the extension; this would make the comparison immediate for readers.
Notation for the Weitzenböck connection, its torsion tensor, and the induced connection on the normal bundle should be fixed once at the beginning of §2 and used consistently; occasional reuse of the same symbol for both ambient and induced quantities creates momentary ambiguity.
The final statement of the theorem (presumably Theorem 3.1 or 4.1) should explicitly record that the result holds without any further restriction on the torsion tensor beyond the flatness already assumed in the definition of Weitzenböck geometry.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for recommending minor revision. The referee's summary correctly identifies the central claim: that the Ruh-Vilms identity extends to hypersurfaces in Weitzenböck geometry precisely because the torsion terms cancel when the connection is flat.

Circularity Check

0 steps flagged

No significant circularity; derivation is an independent extension

full rationale

The paper adapts the Ruh-Vilms computation by replacing the Levi-Civita connection with the flat Weitzenböck connection on the ambient manifold. Torsion terms appear in the covariant derivatives of the second fundamental form and Gauss map but cancel exactly in the trace/divergence step that produces the tension field, leaving the same relation to the mean-curvature gradient as in the torsion-free case. This cancellation is shown by direct calculation under the stated flatness assumption and does not presuppose the target theorem, invoke self-citations for uniqueness, or rename a fitted quantity. The result is therefore a genuine verification in the new setting rather than a tautology or load-bearing self-reference.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard definition of Weitzenböck geometry as a flat metric connection with torsion and on the usual notions of immersion, Gauss map, and mean curvature vector in that setting.

axioms (1)

domain assumption Weitzenböck geometry is a flat geometry equipped with torsion (opposite extreme of Riemannian geometry within Riemann-Cartan geometry)
Explicitly stated in the abstract as the ambient setting for the extension.

pith-pipeline@v0.9.0 · 5378 in / 1219 out tokens · 45552 ms · 2026-05-08T05:11:38.359169+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

MR1225100 [AF04] Ilka Agricola and Thomas Friedrich,On the holonomy of connections with skew- symmetric torsion, Math

Translated from the 1984 Japanese original by Kiki Hudson. MR1225100 [AF04] Ilka Agricola and Thomas Friedrich,On the holonomy of connections with skew- symmetric torsion, Math. Ann.328(2004), no. 4, 711–748, DOI 10.1007/s00208-003- 0507-9. MR2047649 A RUH-VILMS THEOREM FOR HYPERSURFACES IN WEITZENB ¨OCK GEOMETRY 23 [AF10] Ilka Agricola and Thomas Friedri...

work page doi:10.1007/s00208-003- 1984
[2]

MR3887684 [Lee26] Dongha Lee,Complex-valued extension of mean curvature for surfaces in Riemann-Cartan geometry, J. Geom. Phys.222(2026), Paper No. 105748, DOI 10.1016/j.geomphys.2025.105748. MR5011406 [Mas03] L. A. Masal ′tsev,A version of the Ruh-Vilms theorem for surfaces of constant mean curvature inS 3, Mat. Zametki73(2003), no. 1, 92–105, DOI 10.102...

work page doi:10.1016/j.geomphys.2025.105748 2026
[3]

MR1300410 [MS20] ´Angel Murcia and C. S. Shahbazi,Contact metric three manifolds and Lorentzian geometry with torsion in six-dimensional supergravity, J. Geom. Phys.158(2020), 103868, 37, DOI 10.1016/j.geomphys.2020.103868. MR4148347 [Ort15] Tom´ as Ort´ ın,Gravity and strings, 2nd ed., Cambridge Monographs on Mathematical Physics, Cambridge University Pr...

work page doi:10.1016/j.geomphys.2020.103868 2020
[4]

London Math

MR3468462 [Rig86] Marco Rigoli,The harmonicity of the spherical Gauss map, Bull. London Math. Soc. 18(1986), no. 6, 609–612, DOI 10.1112/blms/18.6.609. MR0859957 [RR16] ´Alvaro Ramos and Jaime Ripoll,An extension of Ruh-Vilms’ theorem to hypersurfaces in symmetric spaces and some applications, Trans. Amer. Math. Soc.368(2016), no. 7, 4731–4749, DOI 10.109...

work page doi:10.1112/blms/18.6.609 1986