arxiv: 2605.09553 · v1 · submitted 2026-05-10 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

Prescribed Angle Surfaces Associated with Torse-Forming Vector Fields in Riemannian Manifolds

B\"u\c{s}ra Karakaya, Esra Dilmen, Muhittin Evren Ayd{\i}n

Pith reviewed 2026-05-12 04:59 UTC · model grok-4.3

classification 🧮 math.DG

keywords prescribed angle hypersurfacetorse-forming vector fieldRiemannian manifoldintrinsic curvatureextrinsic curvaturesurface classificationthree-dimensional case

0 comments

The pith

In three dimensions the curvatures of prescribed angle surfaces are fixed by the angle and the potential of an associated torse-forming vector field.

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

The paper defines a prescribed angle hypersurface in a Riemannian manifold by pairing a unit vector field V along the surface with the angle θ that V makes with the surface normal. It restricts attention to the case in which V is torse-forming. In the three-dimensional setting the authors obtain explicit expressions for both the intrinsic and extrinsic curvatures that involve only θ and the potential function of V. These expressions then support a classification of the surfaces once suitable assumptions are added. A reader would care because the construction converts an angle condition into concrete curvature data that can be used to describe or enumerate surfaces inside curved spaces.

Core claim

We introduce the notion of a prescribed angle hypersurface in a Riemannian manifold associated with a pair (V, θ), where V is a unit vector field along the hypersurface and θ denotes the angle between V and the unit normal vector field of the hypersurface. We study such hypersurfaces in case V is a torse-forming vector field. In the particular 3-dimensional case, we determine the intrinsic and extrinsic curvatures of these hypersurfaces in terms of the prescribed angle and the potential function of V. Using this, we classify prescribed angle surfaces under suitable assumptions.

What carries the argument

The prescribed angle hypersurface defined via the pair (V, θ) with V torse-forming, which converts the angle condition into explicit formulas for intrinsic and extrinsic curvatures.

If this is right

Both intrinsic and extrinsic curvatures become explicit functions of the prescribed angle θ and the potential function of V.
Classification of prescribed angle surfaces is possible once suitable assumptions on the surface or the field are imposed.
The three-dimensional setting yields direct relations that link the geometry of the surface to the properties of the torse-forming field.

Where Pith is reading between the lines

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

The explicit curvature formulas could reduce the search for constant-curvature examples to the choice of suitable potential functions for V.
Similar but more involved curvature expressions might exist in higher dimensions even if the classification step does not carry over directly.

Load-bearing premise

The ambient manifold is three-dimensional, the vector field V is torse-forming, and additional unspecified assumptions hold so that the classification goes through.

What would settle it

A concrete prescribed angle surface in a three-dimensional Riemannian manifold whose measured intrinsic or extrinsic curvatures fail to match the formulas expressed in terms of θ and the potential function of V.

Figures

Figures reproduced from arXiv: 2605.09553 by B\"u\c{s}ra Karakaya, Esra Dilmen, Muhittin Evren Ayd{\i}n.

**Figure 1.** Figure 1: Comparison between the existing prescribed-angle approach and our approach. In this paper, we restrict our study to those PA hypersurfaces for which V is a torse-forming vector field. Therefore, whenever we refer to a PA hypersurface, we assume the existence of a unit torse-forming vector field along the hypersurface [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗

read the original abstract

In this paper, we introduce the notion of a prescribed angle hypersurface in a Riemannian manifold associated with a pair $(\mathcal{V},\theta)$, where $\mathcal{V}$ is a unit vector field along the hypersurface and $\theta$ denotes the angle between $\mathcal{V}$ and the unit normal vector field of the hypersurface. We study such hypersurfaces in case $\mathcal{V}$ is a torse-forming vector field. In the particular $3$-dimensional case, we determine the intrinsic and extrinsic curvatures of these hypersurfaces in terms of the prescribed angle and the potential function of $\mathcal{V}$. Using this, we classify prescribed angle surfaces under suitable assumptions.

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 prescribed-angle hypersurfaces tied to torse-forming fields and supplies explicit 3D curvature formulas, but its classification depends on assumptions that stay unspecified.

read the letter

The main thing to know is that this work introduces hypersurfaces where a unit torse-forming vector field V makes a fixed angle θ with the normal, then derives the intrinsic and extrinsic curvatures in three dimensions directly from θ and the potential function of V before classifying the surfaces under further conditions. The curvature expressions appear to follow from adapting the Gauss-Codazzi equations to the torse-forming condition, which gives a usable computational handle in low dimensions and extends earlier results on such vector fields without overclaiming generality. That part of the paper is concrete and could serve as a reference for explicit calculations. The classification step is the weaker point. The abstract qualifies it with the phrase “under suitable assumptions” but does not enumerate them, so it is unclear whether the result requires constant θ, vanishing torsion components, constant ambient curvature, or something else. If those conditions are needed to close the system or integrate the ODEs, the classification applies only in restricted cases rather than as a broad consequence of the torse-forming property alone. The paper would benefit from stating those hypotheses clearly at the outset. This is aimed at differential geometers who already work with special vector fields or angle conditions on hypersurfaces in three-manifolds. A reader looking for concrete formulas to plug into examples or to compare with other angle-type surfaces will find the 3D reduction useful. It is coherent enough on its own terms to deserve a serious referee, who can verify the derivations and press for explicit assumptions. I would send it to review rather than desk-reject, with the expectation that the authors tighten the statement of the classification.

Referee Report

1 major / 0 minor

Summary. The manuscript introduces the notion of a prescribed angle hypersurface in a Riemannian manifold associated with a unit vector field V and angle θ between V and the hypersurface normal. It studies the case where V is torse-forming and, in the three-dimensional setting, claims to derive explicit formulas for the intrinsic and extrinsic curvatures of these hypersurfaces in terms of θ and the potential function of V, from which a classification of the surfaces is obtained under suitable assumptions.

Significance. If the curvature expressions are correctly derived without circularity and the classification is made precise by enumerating the assumptions, the work would offer a concrete contribution to the study of hypersurfaces with prescribed geometric relations to torse-forming vector fields in low-dimensional Riemannian geometry. The explicit 3D formulas could serve as a basis for further analysis or examples.

major comments (1)

[Abstract] Abstract: the classification of prescribed angle surfaces is asserted to follow from the curvature formulas 'under suitable assumptions,' yet these assumptions are never enumerated (e.g., constancy of θ, vanishing of torse-forming tensor components, compactness, or restrictions on ambient sectional curvature). This omission directly undermines the scope and verifiability of the central 3D claim, as the Gauss–Codazzi system or resulting ODEs may require precisely such restrictions to close.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive suggestion regarding the enumeration of assumptions. We address the point below and will revise the paper to improve clarity and verifiability.

read point-by-point responses

Referee: [Abstract] Abstract: the classification of prescribed angle surfaces is asserted to follow from the curvature formulas 'under suitable assumptions,' yet these assumptions are never enumerated (e.g., constancy of θ, vanishing of torse-forming tensor components, compactness, or restrictions on ambient sectional curvature). This omission directly undermines the scope and verifiability of the central 3D claim, as the Gauss–Codazzi system or resulting ODEs may require precisely such restrictions to close.

Authors: We agree that the assumptions must be explicitly enumerated to ensure the classification is precise and verifiable. In the revised version we will update the abstract and add a clear statement (in the introduction and before the classification theorem) listing the precise conditions: constancy of the angle θ, the torse-forming vector field having vanishing torsion tensor components in the relevant directions, and the ambient 3-manifold having constant sectional curvature (or the specific curvature bounds needed to close the Gauss–Codazzi system). These are the conditions under which the explicit curvature expressions reduce to the ODEs that permit the classification. The core derivations remain unchanged; only the presentation of the hypotheses will be made explicit. revision: yes

Circularity Check

0 steps flagged

No circularity: curvatures derived from torse-forming condition as independent expressions

full rationale

The abstract states that curvatures are determined in terms of the given prescribed angle θ and the potential function of the torse-forming vector field V, then used for classification under suitable assumptions. No equations or steps are shown that reduce these expressions to self-defined quantities, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation chain treats θ and the potential as external inputs, with the 3D case presented as a direct computation rather than a tautology. Unspecified assumptions affect scope but do not create definitional circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the standard axioms of Riemannian geometry plus the definition of torse-forming vector fields and the new definition of prescribed-angle hypersurface.

axioms (2)

standard math A Riemannian manifold is equipped with a positive-definite metric tensor that defines lengths and angles
Invoked throughout the abstract as the ambient setting
domain assumption A torse-forming vector field satisfies a specific covariant derivative condition known from prior literature
Used as the key hypothesis on V

invented entities (1)

Prescribed angle hypersurface associated with (V, θ) no independent evidence
purpose: To study hypersurfaces whose normal makes a fixed angle θ with a given unit vector field V
Newly introduced in the paper; no independent existence proof supplied beyond the definition

pith-pipeline@v0.9.0 · 5424 in / 1344 out tokens · 51777 ms · 2026-05-12T04:59:46.041385+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
In the particular 3-dimensional case, we determine the intrinsic and extrinsic curvatures... classify prescribed angle surfaces under suitable assumptions.
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear
V is torse-forming... ω(X) = -f ⟨X,V⟩... anti-torqued along Σ

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages

[1]

J. A. Aledo, J. A. G´ alvez, Complete surfaces in the hyperbolic space with a constant principal curvature, Math. Nachr. 278(10) (2005), 1111–1116

work page 2005
[2]

M. E. Aydın, A. Mihai, C. ¨Ozg¨ ur, Torqued and anti-torqued vector fields on hyperbolic spaces, Filomat 39(20) (2025), 7043–7051

work page 2025
[3]

M. E. Aydın, A. Mihai, C. ¨Ozg¨ ur, Rectifying submanifolds of Riemannian manifolds with anti-torqued axis, J. Korean Math. Soc. 62(5) (2025), 1127–1142

work page 2025
[4]

M. E. Aydın, A. Mihai, C. ¨Ozg¨ ur, Hypersurfaces in Riemannian manifolds with torse-forming axes, arXiv:2511.06370v1 (2025)

work page arXiv 2025
[5]

A. M. Blaga, C. ¨Ozg¨ ur, On torse-forming-like vector fields, Mediterr. J. Math. 21(8) (2024), Paper No. 214, 19 pp

work page 2024
[6]

Cermelli, A

P. Cermelli, A. J. Di Scala, Constant-angle surfaces in liquid crystals, Philosophical Magazine 87(12) (2007), 1871-1888

work page 2007
[7]

S. K. Chaubey, Y. J. Suh, Riemannian concircular structure manifolds, Filomat 36(19) (2022), 6699-6711

work page 2022
[8]

Chen, Some results on concircular vector fields and their applications to Ricci solitons, Bull

B.-Y. Chen, Some results on concircular vector fields and their applications to Ricci solitons, Bull. Korean Math. Soc. 52(5) (2015), 1535–1547

work page 2015
[9]

Chen, Differential geometry of rectifying submanifolds, Int

B.-Y. Chen, Differential geometry of rectifying submanifolds, Int. Electron. J. Geom. 9(2) (2016), 1-8

work page 2016
[10]

Chen, Rectifying submanifolds of Riemannian manifolds and torqued vector fields, Kragujevac J

B.-Y. Chen, Rectifying submanifolds of Riemannian manifolds and torqued vector fields, Kragujevac J. Math. 41(1) (2017), 93-103

work page 2017
[11]

Chen, Differential Geometry of Warped Product Manifolds and Submanifolds, World Scientific Publishing Co

B.-Y. Chen, Differential Geometry of Warped Product Manifolds and Submanifolds, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2017

work page 2017
[12]

Chen, Classification of torqued vector fields and its applications to Ricci solitons, Kragu- jevac J

B.-Y. Chen, Classification of torqued vector fields and its applications to Ricci solitons, Kragu- jevac J. Math. 41(2) (2017), 239-250

work page 2017
[13]

L. C. B. da Silva, S. F. Gilson, J. D. da Silva, Curves and surfaces making a constant angle with a parallel transported direction in Riemannian spaces. arXiv:2403.10716 (2024)

work page arXiv 2024
[14]

Deshmukh, I

S. Deshmukh, I. Al-Dayel, D. M. Naik, On an anti-torqued vector field on Riemannian mani- folds, Mathematics 9(18) (2021), 2201

work page 2021
[15]

Deshmukh, N

S. Deshmukh, N. B. Turki, H. Alodan, On the differential equation governing torqued vector fields on a Riemannian manifold, Symmetry 12(12) (2020), 1941

work page 2020
[16]

Dillen, J

F. Dillen, J. Fastenakels, J. Van der Veken, L. Vrancken, Constant angle surfaces inS 2 ×R, Monatsh. Math. 152 (2007), 89–96

work page 2007
[17]

Dillen, M

F. Dillen, M. I. Munteanu, Constant angle surfaces inH 2 ×R, Bull. Braz. Math. Soc. 40 (2009), 85–97

work page 2009
[18]

Dillen, M

F. Dillen, M. I. Munteanu, J. Van der Veken, L. Vrancken, Classification of constant angle surfaces in a warped product, Balkan J. Geom. Appl. 16(2) (2011), 35–47

work page 2011
[19]

A. J. Di Scala, G. Ruiz-Hernandez, Helix submanifolds of euclidean spaces, Monatsh. Math. 157(3) (2009), 205–215

work page 2009
[20]

M. P. do Carmo, Riemannian geometry. Mathematics: Theory & Applications. Birkh¨ auser Boston, Inc., Boston, MA, 1992

work page 1992
[21]

Garnica, O

E. Garnica, O. Palmas, G. Ruiz-Hern´ andez, Classification of constant angle hypersurfaces in warped products via eikonal functions, Bol. Soc. Mat. Mexicana 18(1) (2012), 29-41. PRESCRIBED ANGLE SURFACES 17

work page 2012
[22]

B. Guan, J. Spruck, M. Szapiel, Hypersurfaces of constant curvature in hyperbolic space I, J. Geom. Anal. 19(4) (2009), 772-795

work page 2009
[23]

Ishan, S

A. Ishan, S. Deshmukh, Torse-forming vector fields onm−spheres, AIMS Math. 7 (2022), 3056-3066

work page 2022
[24]

L´ opez, M

R. L´ opez, M. I. Munteanu, On the geometry of constant angle surfaces in Sol 3, Kyushu J. Math. 65 (2011), 237–249

work page 2011
[25]

M. C. L´ opez, M. E. Rosado, A. Soria, Ruled surfaces in 3-dimensional Riemannian manifolds, Mediterr. J. Math. 21(3) (2024), Paper No. 97, 25 pp

work page 2024
[26]

Lucas, J

P. Lucas, J. A. Ortega-Yag¨ ues, Concircular helices and concircular surfaces in Euclidean 3- spaceR 3, Hacet. J. Math. Stat. 52(4) (2023), 995-1005

work page 2023
[27]

Lucas, J

P. Lucas, J. A. Ortega-Yag¨ ues, Concircular hypersurfaces and concircular helices in space forms, Mediterr. J. Math. 20(6) (2023), Paper No. 320, 13 pp

work page 2023
[28]

Lucas, J

P. Lucas, J. A. Ortega-Yag¨ ues, A Property that Characterizes the Enneper Surface and Helix Surfaces, Mediterr. J. Math. 21 (2024), Paper No. 155, 14 pp

work page 2024
[29]

Manfio, R

F. Manfio, R. Tojeiro, J. Van der Veken, Geometry of submanifolds with respect to ambient vector fields, Annali di Matematica 199 (2020), 2197–2225

work page 2020
[30]

Montaldo, I

S. Montaldo, I. I. Onnis, Helix surfaces in the Berger sphere, Isr. J. Math. 201 (2014), 949–966

work page 2014
[31]

Mihai, I

A. Mihai, I. Mihai, Torse forming vector fields and exterior concurrent vector fields on Rie- mannian manifolds and applications, J. Geom. Phys. 73 (2013), 200-208

work page 2013
[32]

M. I. Munteanu, From golden spirals to constant slope surfaces. J. Math. Phys. 51(7) (2010), Paper No. 073507, 9 pp

work page 2010
[33]

M. I. Munteanu, A. I. Nistor, Surfaces inE 3 making constant angle with Killing vector fields, Internat. J. Math. 23(6) (2012), Papwe no 1250023

work page 2012
[34]

M. I. Munteanu, Y. Fu, Generalized constant ratio surfaces inR 3, Bull. Braz. Math. Soc. 45(1) (2014), 73–90

work page 2014
[35]

A. I. Nistor, New developments on constant angle property inS 2 ×R, Ann. Mat. Pura Appl. 196(3) (2017), 863–875

work page 2017
[36]

D. M. Naik, Ricci solitons on Riemannian manifolds admitting certain vector field, Ricerche di Matematica 73(1) (2024), 531-546

work page 2024
[37]

Yano, Concircular geometry I

K. Yano, Concircular geometry I. Concircular transformations, Proc. Imp. Acad. Tokyo 16 (1940), 195-200

work page 1940
[38]

Yano, On torse-forming direction in a Riemannian space, Proc

K. Yano, On torse-forming direction in a Riemannian space, Proc. Imp. Acad. Tokyo 20 (1944), 340-345. 18 MUHITTIN EVREN AYDIN 1, ESRA DILMEN 2, AND B ¨US ¸RA KARAKAYA3 1Department of Mathematics, Faculty of Science, Firat University, Elazı ˘g, 23200 T¨urkiye ORCID: 0000-0001-9337-8165 Email address:meaydin@firat.edu.tr 2Firat University, Graduate School o...

work page 1944