Osserman manifold

Template:Short description In mathematics, particularly in differential geometry, an Osserman manifold is a Riemannian manifold in which the characteristic polynomial of the Jacobi operator of unit tangent vectors is a constant on the unit tangent bundle. It is named after American mathematician Robert Osserman.

Definition

Let $M^n$ be a Riemannian manifold. For a point $p\in M^n$ and a unit vector $X\in T_p{M}^n$, the Jacobi operator $R_X$ is defined by $R_X=R(X,\cdot )X$, where $R$ is the Riemann curvature tensor. A manifold $M^n$ is called pointwise Osserman if, for every $p\in M^n$, the spectrum of the Jacobi operator does not depend on the choice of the unit vector $X$. The manifold is called globally Osserman if the spectrum depends neither on $X$ nor on $p$. All two-point homogeneous spaces are globally Osserman, including Euclidean spaces ${ℝ}^n$, real projective spaces ${ℝ\mathbb{P}}^n$, spheres ${𝕊}^n$, hyperbolic spaces ${ℍ}^n$, complex projective spaces ${ℂ\mathbb{P}}^n$, complex hyperbolic spaces ${ℂℍ}^n$, quaternionic projective spaces ${ℍ\mathbb{P}}^n$, quaternionic hyperbolic spaces ${ℍℍ}^n$, the Cayley projective plane $ℂay{P}^2$, and the Cayley hyperbolic plane $ℂay{H}^2$.

Properties

Clifford structures are fundamental in studying Osserman manifolds. An algebraic curvature tensor $R$ in ${ℝ}^n$ has a $\text{Cliff}(\nu )$-structure if it can be expressed as

$R(X,Y)Z={\lambda }_0(⟨X,Z⟩Y-⟨Y,Z⟩X)+\sum _{i=1}^{\nu }\frac{1}{3}({\lambda }_i-{\lambda }_0)(2⟨J_{i}X,Y⟩J_{i}Z+⟨J_{i}Z,Y⟩J_{i}X-⟨J_{i}Z,X⟩J_{i}Y)$

where $J_i$ are skew-symmetricTemplate:Disambiguation needed orthogonal operators satisfying the Hurwitz relations $J_i{J}_j+J_j{J}_i=-2{\delta }_{ij}I$. A Riemannian manifold is said to have $\text{Cliff}(\nu )$-structure if its curvature tensor also does. These structures naturally arise from unitary representations of Clifford algebras and provide a way to construct examples of Osserman manifolds. The study of Osserman manifolds has connections to isospectral geometry, Einstein manifolds, curvature operators in differential geometry, and the classification of symmetric spaces.

Osserman conjecture

Template:Unsolved The Osserman conjecture asks whether every Osserman manifold is either a flat manifold or locally a rank-one symmetric space.

Considerable progress has been made on this conjecture, with proofs established for manifolds of dimension $n$ where $n$ is not divisible by 4 or $n=4$. For pointwise Osserman manifolds, the conjecture holds in dimensions $n\ne 2$ not divisible by 4. The case of manifolds with exactly two eigenvalues of the Jacobi operator has been extensively studied, with the conjecture proven except for specific cases in dimension 16.

See also

• Clifford algebra
• List of unsolved problems in mathematics