Kenmotsu manifold

An almost-contact metric manifold whose structure tensor obeys the Kenmotsu Levi-Civita derivative identity.

Version

v1 · 2026-10-31 · History

Domain-specific #

14522

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Differential Geometry, Almost Contact Metric Geometry → Mathematics

Core Idea

A Kenmotsu manifold is an almost-contact metric manifold \((M,\phi,\xi,\eta,g)\) whose Levi-Civita connection satisfies, for all vector fields \(X,Y\), [(\nabla_X\phi)Y=g(\phi X,Y)\xi-\eta(Y)\phi X.] Here \(\xi\) is a distinguished unit vector field, \(\eta\) its dual one-form, and \(\phi\) acts as an almost-complex structure perpendicular to \(\xi\). The identity implies \(\nabla_X\xi=X-\eta(X)\xi\).^[1]

How would you explain it like I'm…

 

No faithful explanation at this level. Two of three generators agree a five-year-old picture must present one particular stretched shape, collapsing a class defined by a derivative law into a single globally specified space.

Exponentially Stretched Spaces

A manifold is a space that looks smooth and simple if you zoom in close, like how Earth looks flat when you stand on it. A Kenmotsu manifold is a special kind with one favorite direction and a rule for how its other directions twist as you move around. A mathematician named Kenmotsu showed that, up close, each one looks like a line with a special smooth surface attached at every point, and that surface gets stretched faster and faster (exponentially) as you move along the line. Different starting surfaces, flat or curved, give different Kenmotsu manifolds.

Exponentially Warped Kähler Structure

A Kenmotsu manifold is a space with extra geometric structure: a metric for measuring lengths, a special unit direction field ξ, and a tensor φ that acts like a 'rotate by 90 degrees' operation on the directions perpendicular to ξ. What makes it Kenmotsu is a specific rule for how φ changes as you move, written with the Levi-Civita connection ∇; one consequence is that ∇_X ξ = X − η(X)ξ. The class is defined by this rule, not by one particular space. Kenmotsu proved that locally (in small regions) every such manifold looks like an interval with a Kähler manifold — a very symmetric complex geometry — stretched by an exponential factor, and every such construction gives an example. Since the Kähler part can be flat or curved, members of the class can be genuinely different.

 

A Kenmotsu manifold is an almost-contact metric manifold (M, φ, ξ, η, g) — ξ a unit vector field, η its dual one-form, φ acting as an almost-complex structure on the distribution orthogonal to ξ — satisfying, for all vector fields X and Y, (∇_X φ)Y = g(φX, Y)ξ − η(Y)φX, where ∇ is the Levi-Civita connection. This derivative identity, not any specific manifold or coordinate system, defines the class, and it implies ∇_X ξ = X − η(X)ξ. Kenmotsu proved a two-way local characterization: an interval exponentially warped over a Kähler manifold is Kenmotsu, and every Kenmotsu manifold locally has that warped-product form. The transverse Kähler factor can vary — flat complex Euclidean space and curved complex projective space both feed the same construction and yield genuinely different members. So the local product gives a recipe for building and recognizing examples, but it does not reduce all Kenmotsu manifolds to a single global space, nor force them to have constant curvature.

Structural Signature

• Carrier and metric: an odd-dimensional smooth manifold with compatible almost-contact data \(\phi,\xi,\eta\) and positive-definite metric \(g\).
• Connection: \(\nabla\) is the Levi-Civita connection of that metric.
• Defining condition: the tensor derivative identity above holds for all vector fields, beyond the compatibility conditions alone.^[1]
• Local form: each member is locally an interval exponentially warped over a Kähler manifold; conversely Kenmotsu's construction supplies such examples from a Kähler fibre.^[2]

What It Is Not

An arbitrary Riemannian or almost-contact metric manifold need not satisfy the derivative condition. An arbitrary warped product is not enough: the construction uses a Kähler fibre, positive exponential warp and induced structure. The normal form is local; a global product requires further assumptions.^[1][2]

Examples

Flat fibre. An interval warped by \(ce^t\), \(c>0\), over flat \(\mathbb C^n\) has Kenmotsu's induced structure.^[2] Its metric is a real-hyperbolic local model after a coordinate change.

Curved fibre. The same construction over Kähler \(\mathbb{CP}^n\) is also Kenmotsu.^[2] Its transverse geometry differs; a flat-fibre curvature conclusion cannot be generalized to all members.

Reasoning and Boundary

Check the almost-contact metric data and the defining identity using the metric's Levi-Civita connection. The local theorem then supplies a useful geometric description; a fibre's specific curvature or global topology needs its own argument. A Riemannian metric is necessary but does not by itself establish the class.^[1][2]

Neighborhood in Abstraction Space

Kenmotsu manifold sits in a sparse region of the domain-specific corpus (69^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Riemannian & Symplectic Geometry (19 abstractions)

Nearest neighbors

• Riemannian manifold — 0.84
• Almost Flat Manifold — 0.84
• Almost complex manifold — 0.84
• Hadamard manifold — 0.83
• Metric tensor — 0.83

Computed from structural-signature embeddings · 2026-10-31

References

[1] Uday Chand De and Krishnendu De, “On Three Dimensional Kenmotsu Manifolds Admitting a Quater-Symmetric Metric Connection,” Azerbaijan Journal of Mathematics 1, no. 2 (2011): 132–142, original journal PDF, especially §2, Eqs. (2.1)–(2.5) (printed pp. 133–134). Full original consulted for the exact displayed almost-contact and Kenmotsu identities; the connection named in the title is a further topic of that paper. registry ↩a ↩b ↩c ↩d

[2] Katsuei Kenmotsu, “A Class of Almost Contact Riemannian Manifolds,” Tohoku Mathematical Journal 24 (1972): 93–103, original publisher PDF, especially Proposition 3 (printed p. 95), Theorem 4 (printed p. 96), and Observation 14, following remark, and Proposition 15 (printed pp. 101–102). Full original consulted; PDF text extraction damages displayed equation glyphs, so exact formula typography is checked against De and De's legible restatement. registry ↩a ↩b ↩c ↩d ↩e