[Paper Review] Complete classification of biconservative hypersurfaces with diagonalizable shape operator in Minkowski 4-space

Yu Fu, Nurettin Cenk Turgay|arXiv (Cornell University)|Feb 19, 2015

Geometric Analysis and Curvature Flows15 references3 citations

TL;DR

This paper provides a complete explicit classification of biconservative hypersurfaces with diagonalizable shape operator in 4-dimensional Minkowski space $\mathbb{E}^4_1$. Using differential geometric techniques and analysis of principal curvatures under the biconservative condition, the authors derive seven distinct geometric types, including rotational surfaces and generalized cylinders, establishing that such hypersurfaces are either minimal or possess specific curvature relations tied to their principal curvatures and parametrization forms.

ABSTRACT

In this paper, we study biconservative hypersurfaces in the four dimensional Minkowski space $\mathbb E^4_1$. We give the complete explicit classification of biconservative hypersurfaces with diagonalizable shape operator in $\mathbb E^4_1$.

Motivation & Objective

• To classify all biconservative hypersurfaces in 4-dimensional Minkowski space $\mathbb{E}^4_1$ with diagonalizable shape operator.
• To extend the understanding of biconservative submanifolds beyond the Riemannian setting into pseudo-Riemannian geometry.
• To resolve the geometric structure of such hypersurfaces by analyzing their principal curvatures and induced parametrizations.
• To provide explicit parametrizations and curvature relations that characterize each class of biconservative hypersurfaces.
• To establish a complete list of possible geometric types, including rotational and cylindrical models, under the diagonalizability assumption.

Proposed method

• Employing the biconservative condition $\mathrm{div}\,S_2 = 0$, which corresponds to the vanishing of the tangent part of the bitension field.
• Using the Gauss and Weingarten formulas to express the shape operator and second fundamental form in terms of local coordinates.
• Analyzing the Codazzi equation and curvature relations to derive constraints on principal curvatures and their derivatives.
• Classifying hypersurfaces based on the canonical forms of the shape operator in $\mathbb{E}^4_1$, leveraging the classification of symmetric operators in indefinite metric spaces.
• Performing explicit parametrization via coordinate transformations and solving systems of PDEs arising from orthogonality and metric conditions.
• Verifying the biconservative condition through direct computation on each derived parametrization, confirming the necessity and sufficiency of the constructed classes.

Experimental results

Research questions

• RQ1 What are all possible geometric types of biconservative hypersurfaces in $\mathbb{E}^4_1$ when the shape operator is diagonalizable?
• RQ2 How do the principal curvatures of such hypersurfaces relate under the biconservative condition?
• RQ3 Which parametrizations yield biconservative hypersurfaces with three distinct principal curvatures in Minkowski 4-space?
• RQ4 What role does the index of the metric (i.e., Lorentzian signature) play in the existence and classification of such hypersurfaces?
• RQ5 Can biconservative hypersurfaces in $\mathbb{E}^4_1$ be explicitly parametrized, and if so, what are their geometric forms?

Key findings

• The paper establishes a complete classification of biconservative hypersurfaces in $\mathbb{E}^4_1$ with diagonalizable shape operator into seven distinct geometric types.
• The classification includes rotational surfaces, generalized cylinders, and surfaces with specific curvature relations such as $k_1 + k_2 = k_3$ (Riemannian case) or $k_1 + k_2 = -3k_3$ (Lorentzian case).
• For hypersurfaces with three distinct principal curvatures, the parametrization is explicitly given by $x(s,t,u) = (2(\tilde{\Gamma}_1 - \tilde{\Gamma}_4)(A^2t^2 + B^2u^2) + \cdots)$, with non-vanishing $A$ and $B$.
• In the case where $AB = 0$, one principal curvature vanishes identically, leading to degenerate cases that correspond to previously known types (e.g., ruled surfaces).
• The derived parametrizations satisfy the biconservative condition $\mathrm{div}\,S_2 = 0$ and are shown to be necessary and sufficient via direct verification.
• The results demonstrate that biconservative hypersurfaces in pseudo-Riemannian space are richer in structure than in the Riemannian case, with more non-minimal examples arising due to the indefinite metric.