Math 2.0

Calculus of variations and optimal control; optimization Geometric measure theory and optimization on manifolds Example

Simons cone

Builds on ConeMean curvatureMinimal surface

Example

Write points of ℝ8\R^8 as (x,y)(x, y) with x,y∈ℝ4x, y \in \R^4. The Simons cone is the hypersurface C={(x,y)∈ℝ4×ℝ4:∣x∣=∣y∣}.C = \set{(x, y) \in \R^4 \times \R^4 : \abs{x} = \abs{y}}. It is a cone: if (x,y)∈C(x, y) \in C and t>0t > 0, then (tx,ty)∈C(tx, ty) \in C. It is smooth away from the origin, and the origin is its only singular point.

Check that C∖{0}C \setminus \set{0} is a minimal surface, that is, has mean curvature zero. The cone is the zero set of u(x,y)=∣x∣2−∣y∣2u(x, y) = \abs{x}^2 - \abs{y}^2, and ∇u=2(x,−y)\nabla u = 2(x, -y) vanishes only at the origin. The unit normal is ν=(x,−y)/r\nu = (x, -y)/r with r=∣x∣2+∣y∣2r = \sqrt{\abs{x}^2 + \abs{y}^2}, and the mean curvature is, up to a constant factor, div⁡ν\operatorname{div} \nu. Since div⁡(x,−y)=4−4=0\operatorname{div}(x, -y) = 4 - 4 = 0 and (x,−y)⋅∇(1/r)=−(∣x∣2−∣y∣2)/r3(x, -y) \cdot \nabla (1/r) = -(\abs{x}^2 - \abs{y}^2)/r^3, one gets div⁡ν=−(∣x∣2−∣y∣2)/r3\operatorname{div} \nu = -(\abs{x}^2 - \abs{y}^2)/r^3, which is 00 on CC.

Remarks

The intersection of CC with the unit sphere S7S^7 is the product S3(1/2)×S3(1/2)S^3(1/\sqrt{2}) \times S^3(1/\sqrt{2}) of two 33-spheres of radius 1/21/\sqrt{2}, a minimal hypersurface of S7S^7. James Simons showed in 1968 that CC is stable, that is, the second variation of area is nonnegative. Bombieri, De Giorgi and Giusti proved in 1969 that CC is in fact area-minimizing: the region {∣x∣<∣y∣}\set{\abs{x} < \abs{y}} minimizes perimeter among all sets that agree with it outside a ball. So area-minimizing hypersurfaces in ℝ8\R^8 can have isolated singular points, and the dimension bound for the singular set of such hypersurfaces is sharp. The analogous cones {∣x∣=∣y∣}\set{\abs{x} = \abs{y}} with x,y∈ℝkx, y \in \R^k for k≤3k \le 3 are not area-minimizing. The cone is the reason why the answer to Bernstein's problem changes at dimension 88.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Cone concept
  2. Mean curvature concept
  3. Minimal surface concept
  4. Simons cone example

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Simons_cone
About this page
TagED3DAZVQZ4
URIm2://ED3DAZVQZ4
Kindexample
WritingW0 stub
MSC49Q05, 53A10, 49Q15
IllustratesBombieri–De Giorgi–Giusti theorem, Bernstein's problem
UsesCone, Mean curvature, Minimal surface
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by