Chern's conjecture for hypersurfaces in spheres

Last updated

Chern's conjecture for hypersurfaces in spheres, unsolved as of 2018, is a conjecture proposed by Chern in the field of differential geometry. It originates from the Chern's unanswered question:

Contents

Consider closed minimal submanifolds immersed in the unit sphere with second fundamental form of constant length whose square is denoted by . Is the set of values for discrete? What is the infimum of these values of ?

The first question, i.e., whether the set of values for σ is discrete, can be reformulated as follows:

Let be a closed minimal submanifold in with the second fundamental form of constant length, denote by the set of all the possible values for the squared length of the second fundamental form of , is a discrete?

Its affirmative hand, more general than the Chern's conjecture for hypersurfaces, sometimes also referred to as the Chern's conjecture and is still, as of 2018, unanswered even with M as a hypersurface (Chern proposed this special case to the Shing-Tung Yau's open problems' list in differential geometry in 1982):

Consider the set of all compact minimal hypersurfaces in with constant scalar curvature. Think of the scalar curvature as a function on this set. Is the image of this function a discrete set of positive numbers?

Formulated alternatively:

Consider closed minimal hypersurfaces with constant scalar curvature . Then for each the set of all possible values for (or equivalently ) is discrete

This became known as the Chern's conjecture for minimal hypersurfaces in spheres (or Chern's conjecture for minimal hypersurfaces in a sphere)

This hypersurface case was later, thanks to progress in isoparametric hypersurfaces' studies, given a new formulation, now known as Chern's conjecture for isoparametric hypersurfaces in spheres (or Chern's conjecture for isoparametric hypersurfaces in a sphere):

Let be a closed, minimally immersed hypersurface of the unit sphere with constant scalar curvature. Then is isoparametric

Here, refers to the (n+1)-dimensional sphere, and n ≥ 2.

In 2008, Zhiqin Lu proposed a conjecture similar to that of Chern, but with taken instead of :

Let be a closed, minimally immersed submanifold in the unit sphere with constant . If , then there is a constant such that

Here, denotes an n-dimensional minimal submanifold; denotes the second largest eigenvalue of the semi-positive symmetric matrix where s () are the shape operators of with respect to a given (local) normal orthonormal frame. is rewritable as .

Another related conjecture was proposed by Robert Bryant (mathematician):

A piece of a minimal hypersphere of with constant scalar curvature is isoparametric of type

Formulated alternatively:

Let be a minimal hypersurface with constant scalar curvature. Then is isoparametric

Chern's conjectures hierarchically

Put hierarchically and formulated in a single style, Chern's conjectures (without conjectures of Lu and Bryant) can look like this:

Let be a compact minimal hypersurface in the unit sphere . If has constant scalar curvature, then the possible values of the scalar curvature of form a discrete set

If has constant scalar curvature, then is isoparametric

Denote by the squared length of the second fundamental form of . Set , for . Then we have:

Or alternatively:

Denote by the squared length of the second fundamental form of . Set , for . Then we have:

One should pay attention to the so-called first and second pinching problems as special parts for Chern.

Besides the conjectures of Lu and Bryant, there're also others:

In 1983, Chia-Kuei Peng and Chuu-Lian Terng proposed the problem related to Chern:

Let be a -dimensional closed minimal hypersurface in . Does there exist a positive constant depending only on such that if , then , i.e., is one of the Clifford torus ?

In 2017, Li Lei, Hongwei Xu and Zhiyuan Xu proposed 2 Chern-related problems.

The 1st one was inspired by Yau's conjecture on the first eigenvalue:

Let be an -dimensional compact minimal hypersurface in . Denote by the first eigenvalue of the Laplace operator acting on functions over :

The second is their own generalized Chern's conjecture for hypersurfaces with constant mean curvature:

Let be a closed hypersurface with constant mean curvature in the unit sphere :

Sources

Related Research Articles

In mathematics, particularly in functional analysis, the spectrum of a bounded linear operator is a generalisation of the set of eigenvalues of a matrix. Specifically, a complex number λ is said to be in the spectrum of a bounded linear operator T if is not invertible, where I is the identity operator. The study of spectra and related properties is known as spectral theory, which has numerous applications, most notably the mathematical formulation of quantum mechanics.

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds with dimension greater than 2. The sectional curvature Kp) depends on a two-dimensional linear subspace σp of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology.

Singular value

In mathematics, in particular functional analysis, the singular values, or s-numbers of a compact operator T : XY acting between Hilbert spaces X and Y, are the square roots of non-negative eigenvalues of the self-adjoint operator T*T.

Einstein–Hilbert action

The Einstein–Hilbert action in general relativity is the action that yields the Einstein field equations through the principle of least action. With the (− + + +) metric signature, the gravitational part of the action is given as

In mathematics, the Chern–Weil homomorphism is a basic construction in Chern–Weil theory that computes topological invariants of vector bundles and principal bundles on a smooth manifold M in terms of connections and curvature representing classes in the de Rham cohomology rings of M. That is, the theory forms a bridge between the areas of algebraic topology and differential geometry. It was developed in the late 1940s by Shiing-Shen Chern and André Weil, in the wake of proofs of the generalized Gauss–Bonnet theorem. This theory was an important step in the theory of characteristic classes.

In mathematics, the Fubini–Study metric is a Kähler metric on projective Hilbert space, that is, on a complex projective space CPn endowed with a Hermitian form. This metric was originally described in 1904 and 1905 by Guido Fubini and Eduard Study.

In 3-dimensional topology, a part of the mathematical field of geometric topology, the Casson invariant is an integer-valued invariant of oriented integral homology 3-spheres, introduced by Andrew Casson.

In differential geometry, a Kähler–Einstein metric on a complex manifold is a Riemannian metric that is both a Kähler metric and an Einstein metric. A manifold is said to be Kähler–Einstein if it admits a Kähler–Einstein metric. The most important special case of these are the Calabi–Yau manifolds, which are Kähler and Ricci-flat.

In mathematics, in the field of differential geometry, the Yamabe invariant, also referred to as the sigma constant, is a real number invariant associated to a smooth manifold that is preserved under diffeomorphisms. It was first written down independently by O. Kobayashi and R. Schoen and takes its name from H. Yamabe.

In mathematics, a space, where is a real number, is a specific type of metric space. Intuitively, triangles in a space are "slimmer" than corresponding "model triangles" in a standard space of constant curvature . In a space, the curvature is bounded from above by . A notable special case is ; complete spaces are known as "Hadamard spaces" after the French mathematician Jacques Hadamard.

The Geometry Festival is an annual mathematics conference held in the United States.

In the field of mathematical analysis, a general Dirichlet series is an infinite series that takes the form of

For certain applications in linear algebra, it is useful to know properties of the probability distribution of the largest eigenvalue of a finite sum of random matrices. Suppose is a finite sequence of random matrices. Analogous to the well-known Chernoff bound for sums of scalars, a bound on the following is sought for a given parameter t:

In quantum information theory, the classical capacity of a quantum channel is the maximum rate at which classical data can be sent over it error-free in the limit of many uses of the channel. Holevo, Schumacher, and Westmoreland proved the following least upper bound on the classical capacity of any quantum channel :

Constant-mean-curvature surface

In differential geometry, constant-mean-curvature (CMC) surfaces are surfaces with constant mean curvature. This includes minimal surfaces as a subset, but typically they are treated as special case.

Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.

In differential geometry, a complete Riemannian manifold is called a Ricci soliton if, and only if, there exists a smooth vector field such that

In mathematics, Yau's conjecture on the first eigenvalue is, as of 2018, an unsolved conjecture proposed by Shing-Tung Yau in 1982. It asks:

Is it true that the first eigenvalue for the Laplace–Beltrami operator on an embedded minimal hypersurface of is ?

In mathematics, and especially differential and algebraic geometry, K-stability is an algebro-geometric stability condition, for complex manifolds and complex algebraic varieties. The notion of K-stability was first introduced by Gang Tian and reformulated more algebraically later by Simon Donaldson. The definition was inspired by a comparison to geometric invariant theory (GIT) stability. In the special case of Fano varieties, K-stability precisely characterises the existence of Kähler–Einstein metrics. More generally, on any compact complex manifold, K-stability is conjectured to be equivalent to the existence of constant scalar curvature Kähler metrics.