Namespaces
Variants
Actions

Difference between revisions of "Plateau problem, multi-dimensional"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (fixing subscripts and superscripts)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
A term denoting a number of problems related to research on extremals and global minima of functionals in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p0728501.png" />-dimensional volume <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p0728502.png" /> defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p0728503.png" />-dimensional generalized surfaces that are imbedded in an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p0728504.png" />-dimensional Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p0728505.png" /> and that satisfy certain boundary conditions.
+
<!--
 +
p0728501.png
 +
$#A+1 = 248 n = 2
 +
$#C+1 = 248 : ~/encyclopedia/old_files/data/P072/P.0702850 Plateau problem, multi\AAhdimensional
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
In the history of this variational problem (see [[Plateau problem|Plateau problem]]) one may distinguish several periods, characterized by different approaches to the concepts of a "surface" , a "boundary" and "minimization" , and, correspondingly, to methods of obtaining the minimal solution. The multi-dimensional Plateau problem is formulated as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p0728506.png" /> be a fixed closed smooth <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p0728507.png" />-dimensional submanifold in a Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p0728508.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p0728509.png" /> be the class of all films (surfaces) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285010.png" /> having <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285011.png" /> as boundary. Here, each film <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285012.png" /> allows a continuous parametrization (it can be represented as the transform of some manifold with boundary), i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285013.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285014.png" /> is a certain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285015.png" />-dimensional manifold with boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285016.png" /> homeomorphic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285017.png" />, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285018.png" /> is a continuous mapping that coincides with a given homeomorphism at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285019.png" />, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285020.png" />. The question is whether one can find in the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285021.png" /> a film <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285022.png" /> that would in some reasonable sense be minimal, i.e. such that its <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285023.png" />-dimensional volume is less than those of other films <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285024.png" /> of the same class. The transfer of classical "two-dimensional" methods to the multi-dimensional case encounters serious difficulties. E.g., the classical formulation of the multi-dimensional Plateau problem was set aside for some time and the problem was formulated in other (homological) terms. If one discards the concept of a manifold-film with boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285025.png" /> and extensively generalizes the concepts of a film and its boundary, while weakening the link between the two (in particular, if one considers non-parametrized films), and if one discards the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285026.png" />, then the multi-dimensional problem can be formulated in the language of the ordinary integer homology groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285027.png" />: Find the minimal film <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285028.png" /> that annihilates the fundamental cycle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285029.png" /> of a manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285030.png" /> (on the assumption that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285031.png" /> can be oriented), i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285032.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285033.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285034.png" /> is the homomorphism induced by the imbedding <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285035.png" />. To solve the multi-dimensional problem in this new and extended formulation, a geometrical approach has been developed [[#References|[1]]], [[#References|[2]]], in which one minimizes a function of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285036.png" />-dimensional Hausdorff measure (volume) defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285037.png" />-dimensional measurable compact sets (surfaces) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285038.png" />, and a theory has been developed [[#References|[3]]], [[#References|[4]]] of integral currents and varifolds with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285039.png" />-rectifiable subsets in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285040.png" /> as supports. In both directions fundamental theorems on the existence of minimal surfaces with a given boundary have been proved (E.R. Reifenberg, C.B. Morrey, H. Federer, W. Fleming, F.J. Almgren, E. de Giorgi, R. Harvey, H.B. Lawson, J. Simons, E. Giusti, and others). For a review on the tremendous literature on this question, see [[#References|[1]]], [[#References|[3]]], [[#References|[4]]]. In particular, in the well-known work of Reifenberg the multi-dimensional Plateau problem has been solved in terms of spectral homology (Čech homology). It was also proved that a minimal surface, spanned over a "multi-dimensional" contour, is a manifold of corresponding smoothness class almost-everywhere, except at, possibly, a set of singular points of measure zero. Famous theorems on the existence of minimal surfaces in terms of minimal currents, minimal varifolds with a fixed boundary or without boundary, were proved by Federer, Fleming and Almgren [[#References|[3]]], [[#References|[4]]]. As in the previous case, the minimal surfaces turned out to be manifolds outside, possibly, a set of singular points of measure zero. Later the equivariant Plateau problem was solved by W.Y. Hsiang and Lawson [[#References|[16]]]. More precisely, the existence of a minimal surface in a Euclidean space having the same symmetry groups on the multi-dimensional boundary "contour" has been proved. The transition of this theorem to arbitrary Riemannian manifolds was completed by J.E. Brothers [[#References|[17]]]. The complex version of Plateau's problem was obtained by Harvey and Lawson . In particular, existence conditions for complex minimal films with a given boundary were discovered. Later, the "Lagrange variant" of the multi-dimensional Plateau problem was obtained by Harvey and Lawson [[#References|[19]]]. As a result, minimality conditions for Lagrange submanifolds in the symplectic complex linear space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285041.png" /> were obtained. Deep results and existence theorems for minimal surfaces were obtained by S.S.-T. Yau [[#References|[20]]]. He revealed the link between the existence of complex minimal surfaces and Kohn–Rossi cohomology. Using the theory of minimal surfaces, clear results were obtained by W.H. Meeks and Yau on the theory of three-dimensional manifolds, [[#References|[21]]]. Note that if one has a theorem on the existence of a minimal solution in the homology class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285042.png" />, one can as before still say nothing on the existence of a minimal solution in the class of all films that are continuous transforms of manifolds with boundaries, i.e. that allow a parametrization. The fact is that if a manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285043.png" /> is homologous to zero (as a cycle) in a film <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285044.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285045.png" /> does not necessarily have a representation in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285046.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285047.png" /> is some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285048.png" />-dimensional manifold with boundary.
+
{{TEX|auto}}
 +
{{TEX|done}}
  
In [[#References|[5]]], [[#References|[6]]] a solution to a variant of the multi-dimensional Plateau problem was given in terms of spectral bordism. The spectral bordism groups are defined, for any compact space, using a Čech process analogous to the definition of spectral (Čech) homology. This process allows one to extend ordinary bordism groups of polyhedral classes and cell complexes to the wider class of compacta (e.g., in Riemannian manifolds). An element of a spectral bordism group can be represented by a sequence of manifolds, connected by mappings. For finite cell complexes this element is represented by one manifold (ordinary bordism). If a topological space is, e.g., a finite cell complex, then its spectral bordism group coincides with the ordinary singular bordisms. It was found that the classical problem has an equivalent formulation in the language of bordisms (cf. [[Bordism|Bordism]]). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285049.png" /> be a compact oriented closed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285050.png" />-dimensional manifold and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285051.png" /> be a continuous mapping; the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285052.png" /> is called a singular bordism of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285053.png" />. Two bordisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285054.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285055.png" /> are said to be equivalent if there exists a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285056.png" />-dimensional oriented manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285057.png" /> with boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285058.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285059.png" /> denotes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285060.png" /> with the opposite orientation) and a continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285061.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285062.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285063.png" />. The bordism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285064.png" /> is equivalent to zero if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285065.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285066.png" />. The equivalence classes of singular bordisms form an Abelian group, which after stabilization forms one of the generalized homology theories (bordism theory). The multi-dimensional Plateau problem is formulated (in this language) as follows: a) Can one find an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285067.png" /> with least volume <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285068.png" /> among all films <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285069.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285070.png" />, having the property that the singular bordism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285071.png" /> is equivalent to zero in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285072.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285073.png" /> is the imbedding? b) Can one find a bordism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285074.png" /> among all singular bordisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285075.png" /> equivalent to a given bordism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285076.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285077.png" />) such that the volume of the film <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285078.png" /> is minimal?
+
A term denoting a number of problems related to research on extremals and global minima of functionals in the  $  k $-dimensional volume  $  \mathop{\rm vol} _ {k} $
 +
defined on  $  k $-dimensional generalized surfaces that are imbedded in an  $  n $-dimensional Riemannian space  $  M  ^ {n} $
 +
and that satisfy certain boundary conditions.
 +
 
 +
In the history of this variational problem (see [[Plateau problem|Plateau problem]]) one may distinguish several periods, characterized by different approaches to the concepts of a "surface" , a "boundary" and "minimization" , and, correspondingly, to methods of obtaining the minimal solution. The multi-dimensional Plateau problem is formulated as follows. Let  $  A  ^ {k-1 }  \subset  M  ^ {n} $
 +
be a fixed closed smooth  $  ( k- 1) $-dimensional submanifold in a Riemannian space  $  M  ^ {n} $
 +
and let  $  X( A) $
 +
be the class of all films (surfaces)  $  X \subset  M  ^ {n} $
 +
having  $  A $
 +
as boundary. Here, each film  $  X \in X( A) $
 +
allows a continuous parametrization (it can be represented as the transform of some manifold with boundary), i.e.  $  f( W)= X $,
 +
where  $  W $
 +
is a certain  $  k $-dimensional manifold with boundary  $  \partial  W $
 +
homeomorphic to  $  A $,
 +
while  $  f:  W\rightarrow M  ^ {n} $
 +
is a continuous mapping that coincides with a given homeomorphism at  $  \partial  W $,
 +
i.e.  $  f:  \partial  W\rightarrow A $.
 +
The question is whether one can find in the class  $  X( A) $
 +
a film  $  X _ {0} $
 +
that would in some reasonable sense be minimal, i.e. such that its  $  k $-dimensional volume is less than those of other films  $  X $
 +
of the same class. The transfer of classical "two-dimensional" methods to the multi-dimensional case encounters serious difficulties. E.g., the classical formulation of the multi-dimensional Plateau problem was set aside for some time and the problem was formulated in other (homological) terms. If one discards the concept of a manifold-film with boundary  $  \partial  W = A $
 +
and extensively generalizes the concepts of a film and its boundary, while weakening the link between the two (in particular, if one considers non-parametrized films), and if one discards the condition  $  X= f( W) $,
 +
then the multi-dimensional problem can be formulated in the language of the ordinary integer homology groups  $  H _ {*} $:
 +
Find the minimal film  $  X _ {0} $
 +
that annihilates the fundamental cycle  $  [ A] \in H _ {k-1} ( A) $
 +
of a manifold  $  A $(
 +
on the assumption that  $  A $
 +
can be oriented), i.e.  $  i _ {*} [ A] = 0 $,
 +
$  i _ {*} :  H _ {k-1} ( A) \rightarrow H _ {k-1} ( X) $,
 +
where  $  i _ {*} $
 +
is the homomorphism induced by the imbedding  $  i:  A\rightarrow X $.
 +
To solve the multi-dimensional problem in this new and extended formulation, a geometrical approach has been developed [[#References|[1]]], [[#References|[2]]], in which one minimizes a function of the  $  k $-dimensional Hausdorff measure (volume) defined on  $  k $-dimensional measurable compact sets (surfaces) in  $  M  ^ {n} $,
 +
and a theory has been developed [[#References|[3]]], [[#References|[4]]] of integral currents and varifolds with  $  k $-rectifiable subsets in  $  M  ^ {n} $
 +
as supports. In both directions fundamental theorems on the existence of minimal surfaces with a given boundary have been proved (E.R. Reifenberg, C.B. Morrey, H. Federer, W. Fleming, F.J. Almgren, E. de Giorgi, R. Harvey, H.B. Lawson, J. Simons, E. Giusti, and others). For a review on the tremendous literature on this question, see [[#References|[1]]], [[#References|[3]]], [[#References|[4]]]. In particular, in the well-known work of Reifenberg the multi-dimensional Plateau problem has been solved in terms of spectral homology (Čech homology). It was also proved that a minimal surface, spanned over a "multi-dimensional" contour, is a manifold of corresponding smoothness class almost-everywhere, except at, possibly, a set of singular points of measure zero. Famous theorems on the existence of minimal surfaces in terms of minimal currents, minimal varifolds with a fixed boundary or without boundary, were proved by Federer, Fleming and Almgren [[#References|[3]]], [[#References|[4]]]. As in the previous case, the minimal surfaces turned out to be manifolds outside, possibly, a set of singular points of measure zero. Later the equivariant Plateau problem was solved by W.Y. Hsiang and Lawson [[#References|[16]]]. More precisely, the existence of a minimal surface in a Euclidean space having the same symmetry groups on the multi-dimensional boundary "contour" has been proved. The transition of this theorem to arbitrary Riemannian manifolds was completed by J.E. Brothers [[#References|[17]]]. The complex version of Plateau's problem was obtained by Harvey and Lawson . In particular, existence conditions for complex minimal films with a given boundary were discovered. Later, the "Lagrange variant" of the multi-dimensional Plateau problem was obtained by Harvey and Lawson [[#References|[19]]]. As a result, minimality conditions for Lagrange submanifolds in the symplectic complex linear space  $  \mathbf C  ^ {n} $
 +
were obtained. Deep results and existence theorems for minimal surfaces were obtained by S.-T. Yau [[#References|[20]]]. He revealed the link between the existence of complex minimal surfaces and Kohn–Rossi cohomology. Using the theory of minimal surfaces, clear results were obtained by W.H. Meeks and Yau on the theory of three-dimensional manifolds, [[#References|[21]]]. Note that if one has a theorem on the existence of a minimal solution in the homology class  $  X( A) $,
 +
one can as before still say nothing on the existence of a minimal solution in the class of all films that are continuous transforms of manifolds with boundaries, i.e. that allow a parametrization. The fact is that if a manifold  $  A $
 +
is homologous to zero (as a cycle) in a film  $  X _ {0} $,
 +
then  $  X _ {0} $
 +
does not necessarily have a representation in the form  $  X _ {0} = f( W _ {0} ) $,
 +
where  $  W _ {0} $
 +
is some  $  k $-dimensional manifold with boundary.
 +
 
 +
In [[#References|[5]]], [[#References|[6]]] a solution to a variant of the multi-dimensional Plateau problem was given in terms of spectral bordism. The spectral bordism groups are defined, for any compact space, using a Čech process analogous to the definition of spectral (Čech) homology. This process allows one to extend ordinary bordism groups of polyhedral classes and cell complexes to the wider class of compacta (e.g., in Riemannian manifolds). An element of a spectral bordism group can be represented by a sequence of manifolds, connected by mappings. For finite cell complexes this element is represented by one manifold (ordinary bordism). If a topological space is, e.g., a finite cell complex, then its spectral bordism group coincides with the ordinary singular bordisms. It was found that the classical problem has an equivalent formulation in the language of bordisms (cf. [[Bordism|Bordism]]). Let $  V $
 +
be a compact oriented closed $  ( k- 1) $-dimensional manifold and let $  f: V\rightarrow M  ^ {n} $
 +
be a continuous mapping; the pair $  ( V, f  ) $
 +
is called a singular bordism of $  M  ^ {n} $.  
 +
Two bordisms $  ( V _ {1} , f _ {1} ) $
 +
and $  ( V _ {2} , f _ {2} ) $
 +
are said to be equivalent if there exists a $  k $-dimensional oriented manifold $  W $
 +
with boundary $  \partial  W = V _ {1} \cup (- V _ {2} ) $ (where $  - V _ {2} $
 +
denotes $  V _ {2} $
 +
with the opposite orientation) and a continuous mapping $  F: W \rightarrow M  ^ {n} $
 +
such that $  F\mid  _ {V _ {1}  } = f _ {1} $,  
 +
$  F\mid  _ {V _ {2}  } = f _ {2} $.  
 +
The bordism $  ( V, f  ) $
 +
is equivalent to zero if $  V = \partial  W = V _ {1} $,  
 +
$  V _ {2} = \emptyset $.  
 +
The equivalence classes of singular bordisms form an Abelian group, which after stabilization forms one of the generalized homology theories (bordism theory). The multi-dimensional Plateau problem is formulated (in this language) as follows: a) Can one find an $  X _ {0} $
 +
with least volume $  \mathop{\rm vol} _ {k}  X _ {0} $
 +
among all films $  X \subset  M $,  
 +
$  A \subset  X $,  
 +
having the property that the singular bordism $  ( A, i) $
 +
is equivalent to zero in $  X $,  
 +
where $  i : A \rightarrow X $
 +
is the imbedding? b) Can one find a bordism $  ( V _ {0} , g _ {0} ) $
 +
among all singular bordisms $  ( V, g) $
 +
equivalent to a given bordism $  ( V ^ { \prime } , g  ^  \prime  ) $(
 +
where $  g: V \rightarrow M  ^ {n} $)  
 +
such that the volume of the film $  g _ {0} ( X _ {0} ) \subset  M  ^ {n} $
 +
is minimal?
  
 
The classical multi-dimensional Plateau problem differs considerably from the homological variant.
 
The classical multi-dimensional Plateau problem differs considerably from the homological variant.
Line 11: Line 88:
 
Figure: p072850a
 
Figure: p072850a
  
Fig. a shows the contour <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285079.png" /> and the film <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285080.png" /> that tends to occupy a position in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285081.png" /> corresponding to minimal area. At a certain instant, the film links up and collapses, and instead of the two-dimensional tube <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285082.png" /> one gets a one-dimensional segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285083.png" />. In the two-dimensional case, the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285084.png" /> may be mapped continuously into a two-dimensional disc glued to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285085.png" />. In the multi-dimensional case, this effect of zones with fewer dimensions occurring in a minimal film is present to an even greater extent, and whereas all such parts <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285086.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285087.png" />, in the two-dimensional case can be mapped without loss of the parametrizing properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285088.png" /> into a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285089.png" />-dimensional (two-dimensional) part of this film, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285090.png" /> these zones of fewer dimensions, in general, cannot be eliminated (if one wishes to retain the topological property of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285091.png" /> of annihilating the bordism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285092.png" />). For the same reasons, the zones of fewer dimensions cannot be discarded, since a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285093.png" />-dimensional part <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285094.png" /> of a film <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285095.png" /> need not have a continuous parametrization, and thus, generally speaking, need not annihilate the bordism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285096.png" />. This shows that it is necessary to introduce the stratified volume of the film <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285097.png" />, composed of the volumes of all zones <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285098.png" />, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p07285099.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850100.png" />. A theorem representing a solution to a variant of the multi-dimensional Plateau problem in terms of spectral bordism is as follows [[#References|[5]]], [[#References|[6]]]: There exists a globally-minimal surface that minimizes the stratified volume.
+
Fig. a shows the contour $  A = S  ^ {1} $
 +
and the film $  X $
 +
that tends to occupy a position in $  \mathbf R  ^ {3} $
 +
corresponding to minimal area. At a certain instant, the film links up and collapses, and instead of the two-dimensional tube $  T $
 +
one gets a one-dimensional segment $  P $.  
 +
In the two-dimensional case, the segment $  P $
 +
may be mapped continuously into a two-dimensional disc glued to $  A $.  
 +
In the multi-dimensional case, this effect of zones with fewer dimensions occurring in a minimal film is present to an even greater extent, and whereas all such parts $  P $,  
 +
$  \mathop{\rm dim}  P \leq  k- 1 $,  
 +
in the two-dimensional case can be mapped without loss of the parametrizing properties of $  X _ {0} $
 +
into a $  k $-dimensional (two-dimensional) part of this film, for $  k> 2 $
 +
these zones of fewer dimensions, in general, cannot be eliminated (if one wishes to retain the topological property of $  X _ {0} $
 +
of annihilating the bordism $  ( A, i) $).  
 +
For the same reasons, the zones of fewer dimensions cannot be discarded, since a $  k $-dimensional part $  X  ^ {(k)} $
 +
of a film $  X $
 +
need not have a continuous parametrization, and thus, generally speaking, need not annihilate the bordism $  ( A, i) $.  
 +
This shows that it is necessary to introduce the stratified volume of the film $  X $,  
 +
composed of the volumes of all zones $  X  ^ {(i)} $,  
 +
i.e. $  \mathop{\rm vol} _ {k}  X  ^ {(k)} $,
 +
$  \mathop{\rm vol} _ {k-1}  X  ^ {(k- 1)} ,\dots $.  
 +
A theorem representing a solution to a variant of the multi-dimensional Plateau problem in terms of spectral bordism is as follows [[#References|[5]]], [[#References|[6]]]: There exists a globally-minimal surface that minimizes the stratified volume.
  
Consequence: For any fixed oriented smooth closed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850101.png" />-dimensional submanifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850102.png" /> in a Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850103.png" /> (in the case where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850104.png" />), there exists a globally-minimal surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850105.png" /> that annihilates the spectral bordism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850106.png" />. If the minimal film <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850107.png" /> is a finite cell complex, it is representable in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850108.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850109.png" /> is some manifold and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850110.png" /> is a mapping that is a homeomorphism from the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850111.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850112.png" /> onto the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850113.png" />, [[#References|[5]]], . Also, the film <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850114.png" /> is minimal in each of its dimensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850115.png" />; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850116.png" /> is the part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850117.png" /> having dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850118.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850119.png" /> contains a subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850120.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850121.png" />-dimensional volume zero, while the complement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850122.png" /> is an open <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850123.png" />-dimensional everywhere-dense analytic submanifold in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850124.png" />. Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850125.png" /> is the set of singular points in dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850126.png" />.
+
Consequence: For any fixed oriented smooth closed $  ( k- 1) $-dimensional submanifold $  A $
 +
in a Riemannian space $  M  ^ {n} $ (in the case where $  X( A) \neq \emptyset $),  
 +
there exists a globally-minimal surface $  X _ {0} $
 +
that annihilates the spectral bordism $  ( A , i ) $.  
 +
If the minimal film $  X _ {0} $
 +
is a finite cell complex, it is representable in the form $  X _ {0} = f ( W _ {0} ) $,  
 +
where $  W _ {0} $
 +
is some manifold and $  f :  W _ {0} \rightarrow M $
 +
is a mapping that is a homeomorphism from the boundary $  \partial  W _ {0} $
 +
of $  W _ {0} $
 +
onto the manifold $  A $,  
 +
[[#References|[5]]], . Also, the film $  X _ {0} $
 +
is minimal in each of its dimensions $  \leq  k $;  
 +
if $  X  ^ {(s)} $
 +
is the part of $  X $
 +
having dimension $  s $,  
 +
then $  X  ^ {(s)} $
 +
contains a subset $  Z  ^ {(s)} $
 +
of $  s $-dimensional volume zero, while the complement $  X  ^ {(s)} \setminus  Z  ^ {(s)} $
 +
is an open $  s $-dimensional everywhere-dense analytic submanifold in $  M  ^ {n} $.  
 +
Here $  Z  ^ {(s)} $
 +
is the set of singular points in dimension $  s $.
  
 
This result is a particular case of a general theorem on the existence and almost-everywhere regularity of a globally-minimal surface, which has been proved [[#References|[5]]], [[#References|[6]]],
 
This result is a particular case of a general theorem on the existence and almost-everywhere regularity of a globally-minimal surface, which has been proved [[#References|[5]]], [[#References|[6]]],
  
for any generalized (co)homology theory and for any set of boundary conditions. Also, such a surface exists in each stable homotopy class. The following is an example of a variational problem formulated and solved in cohomology terms. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850127.png" /> be a stably non-trivial vector bundle on a compact Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850128.png" />; let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850129.png" /> be the class of all surfaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850130.png" /> such that the restriction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850131.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850132.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850133.png" /> is stably non-trivial (i.e., <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850134.png" /> is the support of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850135.png" />). Then there always exists a globally-minimal surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850136.png" /> having least volume in the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850137.png" />. The general existence theorem can be formulated and proved also in the language of integral currents, for which one introduces filtered currents consisting of currents with various dimensions. In this way a solution to the multi-dimensional Plateau problem was obtained in homotopy classes of multi-varifolds [[#References|[14]]].
+
for any generalized (co)homology theory and for any set of boundary conditions. Also, such a surface exists in each stable homotopy class. The following is an example of a variational problem formulated and solved in cohomology terms. Let $  \xi $
 +
be a stably non-trivial vector bundle on a compact Riemannian space $  M  ^ {n} $;  
 +
let $  X( \xi ) $
 +
be the class of all surfaces $  X \subset  M  ^ {n} $
 +
such that the restriction $  \xi \mid  _ {X} $
 +
of $  \xi $
 +
to $  X $
 +
is stably non-trivial (i.e., $  X $
 +
is the support of $  \xi $).  
 +
Then there always exists a globally-minimal surface $  X _ {0} \in X( \xi ) $
 +
having least volume in the class $  X( \xi ) $.  
 +
The general existence theorem can be formulated and proved also in the language of integral currents, for which one introduces filtered currents consisting of currents with various dimensions. In this way a solution to the multi-dimensional Plateau problem was obtained in homotopy classes of multi-varifolds [[#References|[14]]].
  
In the circle of problems related to the multi-dimensional Plateau problem one may distinguish research on particular analytic and topological features of globally-minimal surfaces. For example, there is the current problem of representing particular surfaces in Riemannian spaces. For example, it is known [[#References|[3]]] that complex-algebraic subvarieties in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850138.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850139.png" /> are globally-minimal surfaces. One of the results has an explicit complex character. In the case of real subvarieties, for a long time there were no methods for detecting particular globally-minimal surfaces. The first result in this field [[#References|[6]]], which incorporated the topology, was a method that enabled one to show that each compact Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850140.png" /> can be put into correspondence with a universal function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850141.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850142.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850143.png" /> is an integer, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850144.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850145.png" /> is a globally-minimal surface that realizes a non-trivial (co)cycle in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850146.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850147.png" /> for any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850148.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850149.png" /> is a homogeneous space, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850150.png" /> is independent of the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850151.png" />. The function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850152.png" /> is calculated in explicit form and gives a general lower bound to the volumes of all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850153.png" />-dimensional (co)cycles in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850154.png" />. This bound cannot be improved in the general case, i.e. there exist infinite series of globally-minimal films <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850155.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850156.png" />. A result for symmetric spaces ([[#References|[6]]], , [[#References|[15]]]) is a complete description of all surfaces for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850157.png" />. Further methods have been devised [[#References|[11]]], [[#References|[12]]], [[#References|[14]]], [[#References|[15]]] for obtaining particular globally-minimal surfaces.
+
In the circle of problems related to the multi-dimensional Plateau problem one may distinguish research on particular analytic and topological features of globally-minimal surfaces. For example, there is the current problem of representing particular surfaces in Riemannian spaces. For example, it is known [[#References|[3]]] that complex-algebraic subvarieties in $  \mathbf C  ^ {n} $
 +
and $  \mathbf C P  ^ {n} $
 +
are globally-minimal surfaces. One of the results has an explicit complex character. In the case of real subvarieties, for a long time there were no methods for detecting particular globally-minimal surfaces. The first result in this field [[#References|[6]]], which incorporated the topology, was a method that enabled one to show that each compact Riemannian space $  M  ^ {n} $
 +
can be put into correspondence with a universal function $  \Omega _ {x} ( k) $,  
 +
where $  x \in M  ^ {n} $
 +
and $  k $
 +
is an integer, $  1 \leq  k \leq  n $.  
 +
If $  X _ {0} $
 +
is a globally-minimal surface that realizes a non-trivial (co)cycle in $  H _ {k} ( M  ^ {n} ) $,  
 +
then $  \mathop{\rm vol} _ {k}  X _ {0} \geq  \Omega _ {x} ( k) $
 +
for any point $  x \in X _ {0} $.  
 +
If $  M = G/H $
 +
is a homogeneous space, then $  \Omega _ {x} ( k) \equiv \Omega ( k) $
 +
is independent of the point $  x $.  
 +
The function $  \Omega _ {x} ( k) $
 +
is calculated in explicit form and gives a general lower bound to the volumes of all $  k $-dimensional (co)cycles in $  M  ^ {n} $.  
 +
This bound cannot be improved in the general case, i.e. there exist infinite series of globally-minimal films $  X _ {0} $
 +
for which $  \mathop{\rm vol} _ {k}  X _ {0} = \Omega ( k) $.  
 +
A result for symmetric spaces ([[#References|[6]]], , [[#References|[15]]]) is a complete description of all surfaces for which $  \mathop{\rm vol} _ {k}  X _ {0} = \Omega ( k) $.  
 +
Further methods have been devised [[#References|[11]]], [[#References|[12]]], [[#References|[14]]], [[#References|[15]]] for obtaining particular globally-minimal surfaces.
  
There are various problems in variational calculus, topology, algebraic geometry, and complex analysis that give rise to the following situation: One is given a manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850158.png" /> and an exhaustion of it by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850159.png" />-dimensional regions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850160.png" /> that expand as the parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850161.png" /> increases; in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850162.png" />, there is a definite globally-minimal surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850163.png" />; the question is raised of the rate at which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850164.png" /> increases, considered as a function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850165.png" />. This question arises for example in the calculation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850166.png" />, in the problem of the structure of bases in spaces of entire functions, in theorems of Stoll type [[#References|[11]]], etc. It has been found [[#References|[6]]], [[#References|[15]]] that there exists a universal exact effectively-computable lower bound to the rate of increase of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850167.png" />, which implies as particular cases explicit formulas for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850168.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850169.png" /> is a globally-minimal surface. For example, the volume of such a surface enclosed in a sphere <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850170.png" /> and passing through the centre of the sphere (and having its boundary at the boundary of the sphere) is always at least that of a standard <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850171.png" />-dimensional sphere <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850172.png" /> (a planar section) passing through the centre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850173.png" /> , [[#References|[15]]].
+
There are various problems in variational calculus, topology, algebraic geometry, and complex analysis that give rise to the following situation: One is given a manifold $  M  ^ {n} $
 +
and an exhaustion of it by $  n $-dimensional regions $  D _ {r} $
 +
that expand as the parameter $  r $
 +
increases; in $  M  ^ {n} $,  
 +
there is a definite globally-minimal surface $  X  ^ {k} $;  
 +
the question is raised of the rate at which $  \mathop{\rm vol} _ {k} ( X  ^ {k} \cap D _ {r} ) $
 +
increases, considered as a function of $  r $.  
 +
This question arises for example in the calculation of $  \Omega _ {x} ( k) $,  
 +
in the problem of the structure of bases in spaces of entire functions, in theorems of Stoll type [[#References|[11]]], etc. It has been found [[#References|[6]]], [[#References|[15]]] that there exists a universal exact effectively-computable lower bound to the rate of increase of $  \mathop{\rm vol} _ {k} ( X  ^ {k} \cap D _ {r} ) $,  
 +
which implies as particular cases explicit formulas for $  \mathop{\rm vol} _ {k}  X  ^ {k} $,  
 +
where $  X  ^ {k} $
 +
is a globally-minimal surface. For example, the volume of such a surface enclosed in a sphere $  B  ^ {n} \subset  \mathbf R  ^ {n} $
 +
and passing through the centre of the sphere (and having its boundary at the boundary of the sphere) is always at least that of a standard $  k $-
 +
dimensional sphere $  B  ^ {k} $ (a planar section) passing through the centre of $  B  ^ {n} $,  
 +
[[#References|[15]]].
  
A particular line of research is represented by the multi-dimensional Plateau problem of codimension one: One considers globally-minimal surfaces of codimension 1 in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850174.png" />. For example, Bernstein's problem (S.N. Bernshtein) has been solved [[#References|[7]]]: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850176.png" /> be a smooth complete locally-minimal submanifold in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850177.png" /> allowing of one-to-one projection onto a certain hyperplane, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850178.png" /> is given by the graph of a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850179.png" /> defined in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850180.png" />; is it true that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850181.png" /> is a linear function? The answer is positive for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850182.png" /> [[#References|[8]]]. The minimality of such hypersurfaces is closely related to the minimality of cones in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850183.png" />: The existence of a locally-minimal surface implies the existence of a minimal cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850184.png" />, i.e. of a surface composed of points on radii running from a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850185.png" /> to points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850186.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850187.png" /> is a locally-minimal surface in the sphere <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850188.png" />. It has been established [[#References|[8]]] that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850189.png" /> is a closed locally-minimal submanifold (i.e. one that annihilates the Euler operator) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850190.png" /> that is not the equator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850191.png" />, then for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850192.png" /> the cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850193.png" /> with base <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850194.png" /> and vertex at the centre of the sphere does not minimize the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850195.png" />-dimensional volume <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850196.png" /> (for a fixed boundary in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850197.png" />), i.e. there exists a variation (with support localized around the centre of the sphere) that reduces the volume of the cone. This implies that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850198.png" /> is a linear function for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850199.png" />. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850200.png" /> the answer is negative: There exist [[#References|[7]]] locally- and even globally-minimal surfaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850201.png" /> defined as graphs of non-linear functions. The construction can be performed explicitly; it is then found that cones specified in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850202.png" /> by the equation
+
A particular line of research is represented by the multi-dimensional Plateau problem of codimension one: One considers globally-minimal surfaces of codimension 1 in $  \mathbf R  ^ {n} $.  
 +
For example, Bernstein's problem (S.N. Bernshtein) has been solved [[#References|[7]]]: Let $  V  ^ {n-1} $
 +
be a smooth complete locally-minimal submanifold in $  \mathbf R  ^ {n} $
 +
allowing of one-to-one projection onto a certain hyperplane, i.e. $  V  ^ {n-1} $
 +
is given by the graph of a function $  f $
 +
defined in $  \mathbf R  ^ {n-1} $;  
 +
is it true that $  f $
 +
is a linear function? The answer is positive for $  3\leq  n\leq  8 $[[#References|[8]]]. The minimality of such hypersurfaces is closely related to the minimality of cones in $  \mathbf R  ^ {n} $:  
 +
The existence of a locally-minimal surface implies the existence of a minimal cone $  CM  ^ {n-2} $,  
 +
i.e. of a surface composed of points on radii running from a point $  O \in \mathbf R  ^ {n} $
 +
to points $  x \in M  ^ {n-2} $,  
 +
where $  M  ^ {n-2} $
 +
is a locally-minimal surface in the sphere $  S  ^ {n-1} $.  
 +
It has been established [[#References|[8]]] that if $  M  ^ {n-2} $
 +
is a closed locally-minimal submanifold (i.e. one that annihilates the Euler operator) in $  S  ^ {n-1} $
 +
that is not the equator $  S  ^ {n-2} \subset  S  ^ {n-1} $,  
 +
then for $  n \leq  7 $
 +
the cone $  CM  ^ {n-2} $
 +
with base $  M  ^ {n-2} $
 +
and vertex at the centre of the sphere does not minimize the $  ( n- 1) $-dimensional volume $  \mathop{\rm vol} _ {n-1} $ (for a fixed boundary in $  M  ^ {n-2} $),  
 +
i.e. there exists a variation (with support localized around the centre of the sphere) that reduces the volume of the cone. This implies that $  f $
 +
is a linear function for $  n < 9 $.  
 +
For $  n= 9 $
 +
the answer is negative: There exist [[#References|[7]]] locally- and even globally-minimal surfaces $  V  ^ {n-1} \subset  \mathbf R  ^ {n} $
 +
defined as graphs of non-linear functions. The construction can be performed explicitly; it is then found that cones specified in $  \mathbf R  ^ {2m} $
 +
by the equation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850203.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
+
$$ \tag{* }
 +
x _ {1}  ^ {2} + \dots + x _ {m}  ^ {2}  = x _ {m+1}  ^ {2} + \dots + x _ {2m}  ^ {2}
 +
$$
  
are globally-minimal surfaces with a fixed boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850204.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850205.png" />. These cones represent a particular case of cones of more general form that are globally-minimal surfaces [[#References|[10]]].
+
are globally-minimal surfaces with a fixed boundary $  V = S  ^ {m-1} \times S  ^ {m-1} $,  
 +
$  m \geq  4 $.  
 +
These cones represent a particular case of cones of more general form that are globally-minimal surfaces [[#References|[10]]].
  
There is a new line of research on the multi-dimensional Plateau problem, namely that of equivariant multi-dimensional Plateau problems. Among the globally-minimal surfaces, one naturally distinguishes the class of films that are transformed into themselves under the action of a certain symmetry group [[#References|[9]]], [[#References|[10]]]. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850206.png" /> be a compact connected Lie group acting smoothly on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850207.png" /> by isometries and stratifying it into orbits <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850208.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850209.png" />. Then to find the globally-minimal surfaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850210.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850211.png" /> that are invariant with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850212.png" /> it is sufficient to transfer to the quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850213.png" /> and endow <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850214.png" /> with a Riemannian metric of the form
+
There is a new line of research on the multi-dimensional Plateau problem, namely that of equivariant multi-dimensional Plateau problems. Among the globally-minimal surfaces, one naturally distinguishes the class of films that are transformed into themselves under the action of a certain symmetry group [[#References|[9]]], [[#References|[10]]]. Let $  G $
 +
be a compact connected Lie group acting smoothly on $  M  ^ {n} $
 +
by isometries and stratifying it into orbits $  G( x) $,  
 +
$  x \in M  ^ {n} $.  
 +
Then to find the globally-minimal surfaces $  X  ^ {k} $
 +
in $  M  ^ {n} $
 +
that are invariant with respect to $  G $
 +
it is sufficient to transfer to the quotient space $  P = M  ^ {n} /G $
 +
and endow $  P $
 +
with a Riemannian metric of the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850215.png" /></td> </tr></table>
+
$$
 +
dl _ {p}  = v  ^ {1/p}  d \widetilde{s}  ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850216.png" /> and
+
where $  v = \mathop{\rm vol}  G( x) $
 +
and
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850217.png" /></td> </tr></table>
+
$$
 +
=   \mathop{\rm dim}  X  ^ {k} -  \mathop{\rm dim}  G( x)  = k - \mathop{\rm dim}  G( x),
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850218.png" /> denotes the dimension of an orbit in general position in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850219.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850220.png" /> is the natural projection metric arising in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850221.png" /> under the isometric action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850222.png" />. To find globally-minimal surfaces in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850223.png" /> invariant with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850224.png" /> it is sufficient to describe such surfaces in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850225.png" /> endowed with the metric <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850226.png" /> [[#References|[9]]], so one gets a reduction of the multi-dimensional Plateau problem in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850227.png" /> to the same problem in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850228.png" /> in fewer dimensions. This method has provided a number of particular globally-minimal surfaces having large symmetry groups .
+
where $  \mathop{\rm dim}  G( x) $
 +
denotes the dimension of an orbit in general position in $  M  ^ {n} $
 +
and $  d \widetilde{s}  $
 +
is the natural projection metric arising in $  P $
 +
under the isometric action of $  G $.  
 +
To find globally-minimal surfaces in $  M  ^ {n} $
 +
invariant with respect to $  G $
 +
it is sufficient to describe such surfaces in $  M  ^ {n} /G $
 +
endowed with the metric $  dl _ {p} $[[#References|[9]]], so one gets a reduction of the multi-dimensional Plateau problem in $  M  ^ {n} $
 +
to the same problem in $  M  ^ {n} /G $
 +
in fewer dimensions. This method has provided a number of particular globally-minimal surfaces having large symmetry groups .
  
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/p072850b.gif" />
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/p072850b.gif" />
Line 43: Line 258:
 
Figure: p072850b
 
Figure: p072850b
  
In particular, "Simons cones" , defined by (*), are represented by the line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850229.png" /> (Fig. b) on the two-dimensional quotient space
+
In particular, "Simons cones" , defined by (*), are represented by the line $  OD $ (Fig. b) on the two-dimensional quotient space
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850230.png" /></td> </tr></table>
+
$$
 +
{\mathbf R  ^ {2m} } / { \mathop{\rm SO} _ {m} }
 +
\times  \mathop{\rm SO} _ {m}  = \{ x \geq  0, y\geq  0 \} ,
 +
$$
  
 
endowed with the metric
 
endowed with the metric
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850231.png" /></td> </tr></table>
+
$$
 +
( xy)  ^ {2(2m- 2)} ( dx  ^ {2} + dy  ^ {2} )
 +
$$
  
and representing the first quadrant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850232.png" /> in the plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850233.png" /> [[#References|[10]]]. To find a globally-minimal surface with boundary
+
and representing the first quadrant $  K $
 +
in the plane $  \mathbf R  ^ {2} $[[#References|[10]]]. To find a globally-minimal surface with boundary
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850234.png" /></td> </tr></table>
+
$$
 +
S  ^ {m-1} \times S  ^ {m-1}  = G( D),\ \
 +
=   \mathop{\rm SO} _ {m} \times  \mathop{\rm SO} _ {m} ,
 +
$$
  
it is sufficient to find geodesics running from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850235.png" /> to the boundary of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850236.png" /> and having minimum length. Fig. bshows a pencil of geodesics running from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850237.png" />; this pencil can be understood as a pencil of light rays propagating from a source <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850238.png" /> in a transparent medium filling <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850239.png" /> with refraction index <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850240.png" />. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850241.png" />, in addition to the surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850242.png" /> there exists a further minimal solution of smaller length, which is represented by the geodesic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850243.png" />; this means that this Simons cone is not a globally-minimal surface. As <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850244.png" /> increases, the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850245.png" /> tends to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850246.png" />, and for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850247.png" /> there exists a unique geodesic joining <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850248.png" /> to the boundary of the quadrant, i.e. this Simons cone is a globally-minimal surface [[#References|[10]]].
+
it is sufficient to find geodesics running from $  D $
 +
to the boundary of $  K $
 +
and having minimum length. Fig. bshows a pencil of geodesics running from $  D $;  
 +
this pencil can be understood as a pencil of light rays propagating from a source $  D $
 +
in a transparent medium filling $  K $
 +
with refraction index $  ( xy)  ^ {2m-2} $.  
 +
For $  m< 5/2+ \sqrt 2 $,  
 +
in addition to the surface $  OD $
 +
there exists a further minimal solution of smaller length, which is represented by the geodesic $  OQ $;  
 +
this means that this Simons cone is not a globally-minimal surface. As $  m $
 +
increases, the point $  Q $
 +
tends to $  O $,  
 +
and for $  m> 5/2+ \sqrt 2 $
 +
there exists a unique geodesic joining $  D $
 +
to the boundary of the quadrant, i.e. this Simons cone is a globally-minimal surface [[#References|[10]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> C. Morrey, "Multiple integrals in the calculus of variations" , Springer (1966) {{MR|0202511}} {{ZBL|0142.38701}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> E. Reifenberg, "Solution of Plateau's problem for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850249.png" />-dimensional surfaces of varying topological type" ''Acta Math.'' , '''104''' : 1/2 (1960) pp. 1–92  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> H. Federer, "Geometric measure theory" , Springer (1969) {{MR|0257325}} {{ZBL|0176.00801}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> F.J. Almgren, "Existence and regularity almost everywhere of solutions to elliptic variational problems among surfaces of varying topological type and singularity structure" ''Ann. of Math. (2)'' , '''87''' : 2 (1968) pp. 321–391 {{MR|0225243}} {{ZBL|0162.24703}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> A.T. Fomenko, "The multidimensional Plateau problem in Riemannian manifolds" ''Math. USSR Sb.'' , '''18''' : 3 (1972) pp. 487–527 ''Mat. Sb.'' , '''89''' : 3 (1972) pp. 475–519 {{MR|0348599}} {{ZBL|0276.49032}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> A.T. Fomenko, "Minimal compacta in Riemannian manifolds and Reifenberg's conjecture" ''Math. USSR Izv.'' , '''6''' : 5 (1972) pp. 1037–1066 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''36''' : 5 (1972) pp. 1049–1079  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> E. Bombieri, E. de Giorgi, E. Giusti, "Minimal cones and the Bernstein problem" ''Invent. Math.'' , '''7''' : 3 (1969) pp. 243–268 {{MR|0250205}} {{ZBL|0183.25901}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> J. Simons, "Minimal varieties in Riemannian manifolds" ''Ann. of Math.'' , '''88''' : 1 (1968) pp. 62–105 {{MR|0233295}} {{ZBL|0181.49702}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> H. Lawson, "The equivalent Plateau problem and interior regularity" ''Trans. Amer. Math. Soc.'' , '''173''' : 446 (1972) pp. 231–249  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> H. Lawson, J. Simons, "On stable currents and their application to global problems in real and complex geometry" ''Ann. of Math.'' , '''98''' : 3 (1973) pp. 427–450 {{MR|0324529}} {{ZBL|0283.53049}} {{ZBL|0594.53037}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> A.T. Fomenko, "Bott periodicity from the point of view of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850250.png" />-dimensional Dirichlet functional" ''Math. USSR Izv.'' , '''5''' : 3 (1971) pp. 681–695 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''35''' : 3 (1971) pp. 667–681  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> Dao Chong Tkhi, "Multivarifolds and classical multidimensional Plateau problems" ''Math. USSR Izv.'' , '''17''' (1981) pp. 271–298 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''44''' : 5 (1980) pp. 1031–1065 {{MR|}} {{ZBL|0504.58015}} </TD></TR><TR><TD valign="top">[13a]</TD> <TD valign="top"> A.T. Fomenko, "Multidimensional Plateau problem in Riemannian manifolds and extraordinary homology and cohomology theories I" , ''Proc. Sem. Vektor. Tenzor. Anal.'' , '''17''' (1974) pp. 3–176 (In Russian) {{MR|433501}} {{ZBL|}} </TD></TR><TR><TD valign="top">[13b]</TD> <TD valign="top"> A.T. Fomenko, "Multidimensional Plateau problem in Riemannian manifolds and extraordinary homology and cohomology theories II" , ''Proc. Sem. Vektor. Tenzor. Anal.'' , '''18''' (1978) pp. 4–93 (In Russian) {{MR|504523}} {{ZBL|}} </TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> Dao Chong Tkhi, "On the stability of the homology of compact Riemannian manifolds" ''Math. USSR Izv.'' , '''12''' (1978) pp. 463–468 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''42''' : 3 (1978) pp. 500–505 {{MR|}} {{ZBL|0416.58003}} </TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top"> A.T. Fomenko, "Multi-dimensional variational methods in the topology of extremals" ''Russian Math. Surveys'' , '''36''' : 6 (1981) pp. 127–165 ''Uspekhi Mat. Nauk'' , '''36''' : 6 (1981) pp. 125–169 {{MR|643070}} {{ZBL|}} </TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top"> W.Y. Hsiang, H.B. Lawson, "Minimal submanifolds of low cohomogenety" ''J. Diff. Geom.'' , '''5''' : 1 (1971) pp. 1–38  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top"> J.E. Brothers, "Invariance of solutions to invariant parametric variational problems" ''Trans. Amer. Math. Soc.'' , '''262''' : 1 (1980) pp. 159–180 {{MR|0583850}} {{ZBL|0471.49038}} </TD></TR><TR><TD valign="top">[18a]</TD> <TD valign="top"> R. Harvey, H.B. Lawson, "On boundaries of complex analytic varieties I" ''Ann. of Math.'' , '''102''' (1975) pp. 233–290 {{MR|0425173}} {{ZBL|0317.32017}} </TD></TR><TR><TD valign="top">[18b]</TD> <TD valign="top"> R. Harvey, H.B. Lawson, "On boundaries of complex analytic varieties II" ''Ann. of Math.'' , '''106''' (1977) pp. 213–238 {{MR|0499285}} {{ZBL|0361.32010}} </TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top"> R. Harvey, H.B. Lawson, "Calibrated geometries" ''Acta Math.'' , '''148''' (1982) pp. 47–157 {{MR|0666108}} {{ZBL|0584.53021}} </TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top"> S.S.-T. Yau, "Kohn–Rossi cohomology and its application to the complex Plateau problem" ''Ann. of Math.'' , '''113''' : 1 (1981) pp. 67–110 {{MR|0604043}} {{ZBL|0464.32012}} </TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top"> W.H. Meeks, S.S.-T. Yau, "The classical Plateau problem and the topology of three-dimensional manifolds. The embedding of the solution given by Dehn's lemma" ''Topology'' , '''21''' : 4 (1982) pp. 409–442 {{MR|0670745}} {{ZBL|}} </TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top"> A.T. Fomenko, "Plateau problem" , '''1–2''' , Gordon &amp; Breach (1990) (Translated from Russian) {{MR|1055827}} {{MR|1055826}} {{ZBL|0729.53001}} </TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> C. Morrey, "Multiple integrals in the calculus of variations" , Springer (1966) {{MR|0202511}} {{ZBL|0142.38701}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> E. Reifenberg, "Solution of Plateau's problem for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850249.png" />-dimensional surfaces of varying topological type" ''Acta Math.'' , '''104''' : 1/2 (1960) pp. 1–92  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> H. Federer, "Geometric measure theory" , Springer (1969) {{MR|0257325}} {{ZBL|0176.00801}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> F.J. Almgren, "Existence and regularity almost everywhere of solutions to elliptic variational problems among surfaces of varying topological type and singularity structure" ''Ann. of Math. (2)'' , '''87''' : 2 (1968) pp. 321–391 {{MR|0225243}} {{ZBL|0162.24703}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> A.T. Fomenko, "The multidimensional Plateau problem in Riemannian manifolds" ''Math. USSR Sb.'' , '''18''' : 3 (1972) pp. 487–527 ''Mat. Sb.'' , '''89''' : 3 (1972) pp. 475–519 {{MR|0348599}} {{ZBL|0276.49032}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> A.T. Fomenko, "Minimal compacta in Riemannian manifolds and Reifenberg's conjecture" ''Math. USSR Izv.'' , '''6''' : 5 (1972) pp. 1037–1066 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''36''' : 5 (1972) pp. 1049–1079  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> E. Bombieri, E. de Giorgi, E. Giusti, "Minimal cones and the Bernstein problem" ''Invent. Math.'' , '''7''' : 3 (1969) pp. 243–268 {{MR|0250205}} {{ZBL|0183.25901}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> J. Simons, "Minimal varieties in Riemannian manifolds" ''Ann. of Math.'' , '''88''' : 1 (1968) pp. 62–105 {{MR|0233295}} {{ZBL|0181.49702}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> H. Lawson, "The equivalent Plateau problem and interior regularity" ''Trans. Amer. Math. Soc.'' , '''173''' : 446 (1972) pp. 231–249  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> H. Lawson, J. Simons, "On stable currents and their application to global problems in real and complex geometry" ''Ann. of Math.'' , '''98''' : 3 (1973) pp. 427–450 {{MR|0324529}} {{ZBL|0283.53049}} {{ZBL|0594.53037}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> A.T. Fomenko, "Bott periodicity from the point of view of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850250.png" />-dimensional Dirichlet functional" ''Math. USSR Izv.'' , '''5''' : 3 (1971) pp. 681–695 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''35''' : 3 (1971) pp. 667–681  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> Dao Chong Tkhi, "Multivarifolds and classical multidimensional Plateau problems" ''Math. USSR Izv.'' , '''17''' (1981) pp. 271–298 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''44''' : 5 (1980) pp. 1031–1065 {{MR|}} {{ZBL|0504.58015}} </TD></TR><TR><TD valign="top">[13a]</TD> <TD valign="top"> A.T. Fomenko, "Multidimensional Plateau problem in Riemannian manifolds and extraordinary homology and cohomology theories I" , ''Proc. Sem. Vektor. Tenzor. Anal.'' , '''17''' (1974) pp. 3–176 (In Russian) {{MR|433501}} {{ZBL|}} </TD></TR><TR><TD valign="top">[13b]</TD> <TD valign="top"> A.T. Fomenko, "Multidimensional Plateau problem in Riemannian manifolds and extraordinary homology and cohomology theories II" , ''Proc. Sem. Vektor. Tenzor. Anal.'' , '''18''' (1978) pp. 4–93 (In Russian) {{MR|504523}} {{ZBL|}} </TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> Dao Chong Tkhi, "On the stability of the homology of compact Riemannian manifolds" ''Math. USSR Izv.'' , '''12''' (1978) pp. 463–468 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''42''' : 3 (1978) pp. 500–505 {{MR|}} {{ZBL|0416.58003}} </TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top"> A.T. Fomenko, "Multi-dimensional variational methods in the topology of extremals" ''Russian Math. Surveys'' , '''36''' : 6 (1981) pp. 127–165 ''Uspekhi Mat. Nauk'' , '''36''' : 6 (1981) pp. 125–169 {{MR|643070}} {{ZBL|}} </TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top"> W.Y. Hsiang, H.B. Lawson, "Minimal submanifolds of low cohomogenety" ''J. Diff. Geom.'' , '''5''' : 1 (1971) pp. 1–38  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top"> J.E. Brothers, "Invariance of solutions to invariant parametric variational problems" ''Trans. Amer. Math. Soc.'' , '''262''' : 1 (1980) pp. 159–180 {{MR|0583850}} {{ZBL|0471.49038}} </TD></TR><TR><TD valign="top">[18a]</TD> <TD valign="top"> R. Harvey, H.B. Lawson, "On boundaries of complex analytic varieties I" ''Ann. of Math.'' , '''102''' (1975) pp. 233–290 {{MR|0425173}} {{ZBL|0317.32017}} </TD></TR><TR><TD valign="top">[18b]</TD> <TD valign="top"> R. Harvey, H.B. Lawson, "On boundaries of complex analytic varieties II" ''Ann. of Math.'' , '''106''' (1977) pp. 213–238 {{MR|0499285}} {{ZBL|0361.32010}} </TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top"> R. Harvey, H.B. Lawson, "Calibrated geometries" ''Acta Math.'' , '''148''' (1982) pp. 47–157 {{MR|0666108}} {{ZBL|0584.53021}} </TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top"> S.S.-T. Yau, "Kohn–Rossi cohomology and its application to the complex Plateau problem" ''Ann. of Math.'' , '''113''' : 1 (1981) pp. 67–110 {{MR|0604043}} {{ZBL|0464.32012}} </TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top"> W.H. Meeks, S.S.-T. Yau, "The classical Plateau problem and the topology of three-dimensional manifolds. The embedding of the solution given by Dehn's lemma" ''Topology'' , '''21''' : 4 (1982) pp. 409–442 {{MR|0670745}} {{ZBL|}} </TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top"> A.T. Fomenko, "Plateau problem" , '''1–2''' , Gordon &amp; Breach (1990) (Translated from Russian) {{MR|1055827}} {{MR|1055826}} {{ZBL|0729.53001}} </TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
For minimal surfaces in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072850/p072850251.png" /> see also [[#References|[a4]]], [[#References|[a5]]].
+
For minimal surfaces in $  \mathbf C  ^ {n} $
 +
see also [[#References|[a4]]], [[#References|[a5]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> A.T. Fomenko, "Variational principles in topology - Multidimensional minimal surface theory" , Kluwer (1990) (Translated from Russian) {{MR|}} {{ZBL|0697.49044}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> E. Giusti, "Minimal surfaces and functions of bounded variation" , Birkhäuser (1984) {{MR|0775682}} {{ZBL|0545.49018}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> A.T. Fomenko, Dao Chong Tkhi, "Minimal surfaces and Plateau's problem" , Amer. Math. Soc. (Forthcoming) (Translated from Russian)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> G. Stolzenberg, "Volumes, limits, and extensions of analytic varieties" , Springer (1966) {{MR|0206337}} {{ZBL|0142.33801}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> E.M. Chirka, "Complex analytic sets" , Kluwer (1989) pp. §19 (Translated from Russian) {{MR|1111477}} {{ZBL|0683.32002}} </TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> A.T. Fomenko, "Variational principles in topology - Multidimensional minimal surface theory" , Kluwer (1990) (Translated from Russian) {{MR|}} {{ZBL|0697.49044}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> E. Giusti, "Minimal surfaces and functions of bounded variation" , Birkhäuser (1984) {{MR|0775682}} {{ZBL|0545.49018}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> A.T. Fomenko, Dao Chong Tkhi, "Minimal surfaces and Plateau's problem" , Amer. Math. Soc. (Forthcoming) (Translated from Russian)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> G. Stolzenberg, "Volumes, limits, and extensions of analytic varieties" , Springer (1966) {{MR|0206337}} {{ZBL|0142.33801}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> E.M. Chirka, "Complex analytic sets" , Kluwer (1989) pp. §19 (Translated from Russian) {{MR|1111477}} {{ZBL|0683.32002}} </TD></TR></table>

Latest revision as of 11:43, 3 March 2022


A term denoting a number of problems related to research on extremals and global minima of functionals in the $ k $-dimensional volume $ \mathop{\rm vol} _ {k} $ defined on $ k $-dimensional generalized surfaces that are imbedded in an $ n $-dimensional Riemannian space $ M ^ {n} $ and that satisfy certain boundary conditions.

In the history of this variational problem (see Plateau problem) one may distinguish several periods, characterized by different approaches to the concepts of a "surface" , a "boundary" and "minimization" , and, correspondingly, to methods of obtaining the minimal solution. The multi-dimensional Plateau problem is formulated as follows. Let $ A ^ {k-1 } \subset M ^ {n} $ be a fixed closed smooth $ ( k- 1) $-dimensional submanifold in a Riemannian space $ M ^ {n} $ and let $ X( A) $ be the class of all films (surfaces) $ X \subset M ^ {n} $ having $ A $ as boundary. Here, each film $ X \in X( A) $ allows a continuous parametrization (it can be represented as the transform of some manifold with boundary), i.e. $ f( W)= X $, where $ W $ is a certain $ k $-dimensional manifold with boundary $ \partial W $ homeomorphic to $ A $, while $ f: W\rightarrow M ^ {n} $ is a continuous mapping that coincides with a given homeomorphism at $ \partial W $, i.e. $ f: \partial W\rightarrow A $. The question is whether one can find in the class $ X( A) $ a film $ X _ {0} $ that would in some reasonable sense be minimal, i.e. such that its $ k $-dimensional volume is less than those of other films $ X $ of the same class. The transfer of classical "two-dimensional" methods to the multi-dimensional case encounters serious difficulties. E.g., the classical formulation of the multi-dimensional Plateau problem was set aside for some time and the problem was formulated in other (homological) terms. If one discards the concept of a manifold-film with boundary $ \partial W = A $ and extensively generalizes the concepts of a film and its boundary, while weakening the link between the two (in particular, if one considers non-parametrized films), and if one discards the condition $ X= f( W) $, then the multi-dimensional problem can be formulated in the language of the ordinary integer homology groups $ H _ {*} $: Find the minimal film $ X _ {0} $ that annihilates the fundamental cycle $ [ A] \in H _ {k-1} ( A) $ of a manifold $ A $( on the assumption that $ A $ can be oriented), i.e. $ i _ {*} [ A] = 0 $, $ i _ {*} : H _ {k-1} ( A) \rightarrow H _ {k-1} ( X) $, where $ i _ {*} $ is the homomorphism induced by the imbedding $ i: A\rightarrow X $. To solve the multi-dimensional problem in this new and extended formulation, a geometrical approach has been developed [1], [2], in which one minimizes a function of the $ k $-dimensional Hausdorff measure (volume) defined on $ k $-dimensional measurable compact sets (surfaces) in $ M ^ {n} $, and a theory has been developed [3], [4] of integral currents and varifolds with $ k $-rectifiable subsets in $ M ^ {n} $ as supports. In both directions fundamental theorems on the existence of minimal surfaces with a given boundary have been proved (E.R. Reifenberg, C.B. Morrey, H. Federer, W. Fleming, F.J. Almgren, E. de Giorgi, R. Harvey, H.B. Lawson, J. Simons, E. Giusti, and others). For a review on the tremendous literature on this question, see [1], [3], [4]. In particular, in the well-known work of Reifenberg the multi-dimensional Plateau problem has been solved in terms of spectral homology (Čech homology). It was also proved that a minimal surface, spanned over a "multi-dimensional" contour, is a manifold of corresponding smoothness class almost-everywhere, except at, possibly, a set of singular points of measure zero. Famous theorems on the existence of minimal surfaces in terms of minimal currents, minimal varifolds with a fixed boundary or without boundary, were proved by Federer, Fleming and Almgren [3], [4]. As in the previous case, the minimal surfaces turned out to be manifolds outside, possibly, a set of singular points of measure zero. Later the equivariant Plateau problem was solved by W.Y. Hsiang and Lawson [16]. More precisely, the existence of a minimal surface in a Euclidean space having the same symmetry groups on the multi-dimensional boundary "contour" has been proved. The transition of this theorem to arbitrary Riemannian manifolds was completed by J.E. Brothers [17]. The complex version of Plateau's problem was obtained by Harvey and Lawson . In particular, existence conditions for complex minimal films with a given boundary were discovered. Later, the "Lagrange variant" of the multi-dimensional Plateau problem was obtained by Harvey and Lawson [19]. As a result, minimality conditions for Lagrange submanifolds in the symplectic complex linear space $ \mathbf C ^ {n} $ were obtained. Deep results and existence theorems for minimal surfaces were obtained by S.-T. Yau [20]. He revealed the link between the existence of complex minimal surfaces and Kohn–Rossi cohomology. Using the theory of minimal surfaces, clear results were obtained by W.H. Meeks and Yau on the theory of three-dimensional manifolds, [21]. Note that if one has a theorem on the existence of a minimal solution in the homology class $ X( A) $, one can as before still say nothing on the existence of a minimal solution in the class of all films that are continuous transforms of manifolds with boundaries, i.e. that allow a parametrization. The fact is that if a manifold $ A $ is homologous to zero (as a cycle) in a film $ X _ {0} $, then $ X _ {0} $ does not necessarily have a representation in the form $ X _ {0} = f( W _ {0} ) $, where $ W _ {0} $ is some $ k $-dimensional manifold with boundary.

In [5], [6] a solution to a variant of the multi-dimensional Plateau problem was given in terms of spectral bordism. The spectral bordism groups are defined, for any compact space, using a Čech process analogous to the definition of spectral (Čech) homology. This process allows one to extend ordinary bordism groups of polyhedral classes and cell complexes to the wider class of compacta (e.g., in Riemannian manifolds). An element of a spectral bordism group can be represented by a sequence of manifolds, connected by mappings. For finite cell complexes this element is represented by one manifold (ordinary bordism). If a topological space is, e.g., a finite cell complex, then its spectral bordism group coincides with the ordinary singular bordisms. It was found that the classical problem has an equivalent formulation in the language of bordisms (cf. Bordism). Let $ V $ be a compact oriented closed $ ( k- 1) $-dimensional manifold and let $ f: V\rightarrow M ^ {n} $ be a continuous mapping; the pair $ ( V, f ) $ is called a singular bordism of $ M ^ {n} $. Two bordisms $ ( V _ {1} , f _ {1} ) $ and $ ( V _ {2} , f _ {2} ) $ are said to be equivalent if there exists a $ k $-dimensional oriented manifold $ W $ with boundary $ \partial W = V _ {1} \cup (- V _ {2} ) $ (where $ - V _ {2} $ denotes $ V _ {2} $ with the opposite orientation) and a continuous mapping $ F: W \rightarrow M ^ {n} $ such that $ F\mid _ {V _ {1} } = f _ {1} $, $ F\mid _ {V _ {2} } = f _ {2} $. The bordism $ ( V, f ) $ is equivalent to zero if $ V = \partial W = V _ {1} $, $ V _ {2} = \emptyset $. The equivalence classes of singular bordisms form an Abelian group, which after stabilization forms one of the generalized homology theories (bordism theory). The multi-dimensional Plateau problem is formulated (in this language) as follows: a) Can one find an $ X _ {0} $ with least volume $ \mathop{\rm vol} _ {k} X _ {0} $ among all films $ X \subset M $, $ A \subset X $, having the property that the singular bordism $ ( A, i) $ is equivalent to zero in $ X $, where $ i : A \rightarrow X $ is the imbedding? b) Can one find a bordism $ ( V _ {0} , g _ {0} ) $ among all singular bordisms $ ( V, g) $ equivalent to a given bordism $ ( V ^ { \prime } , g ^ \prime ) $( where $ g: V \rightarrow M ^ {n} $) such that the volume of the film $ g _ {0} ( X _ {0} ) \subset M ^ {n} $ is minimal?

The classical multi-dimensional Plateau problem differs considerably from the homological variant.

Figure: p072850a

Fig. a shows the contour $ A = S ^ {1} $ and the film $ X $ that tends to occupy a position in $ \mathbf R ^ {3} $ corresponding to minimal area. At a certain instant, the film links up and collapses, and instead of the two-dimensional tube $ T $ one gets a one-dimensional segment $ P $. In the two-dimensional case, the segment $ P $ may be mapped continuously into a two-dimensional disc glued to $ A $. In the multi-dimensional case, this effect of zones with fewer dimensions occurring in a minimal film is present to an even greater extent, and whereas all such parts $ P $, $ \mathop{\rm dim} P \leq k- 1 $, in the two-dimensional case can be mapped without loss of the parametrizing properties of $ X _ {0} $ into a $ k $-dimensional (two-dimensional) part of this film, for $ k> 2 $ these zones of fewer dimensions, in general, cannot be eliminated (if one wishes to retain the topological property of $ X _ {0} $ of annihilating the bordism $ ( A, i) $). For the same reasons, the zones of fewer dimensions cannot be discarded, since a $ k $-dimensional part $ X ^ {(k)} $ of a film $ X $ need not have a continuous parametrization, and thus, generally speaking, need not annihilate the bordism $ ( A, i) $. This shows that it is necessary to introduce the stratified volume of the film $ X $, composed of the volumes of all zones $ X ^ {(i)} $, i.e. $ \mathop{\rm vol} _ {k} X ^ {(k)} $, $ \mathop{\rm vol} _ {k-1} X ^ {(k- 1)} ,\dots $. A theorem representing a solution to a variant of the multi-dimensional Plateau problem in terms of spectral bordism is as follows [5], [6]: There exists a globally-minimal surface that minimizes the stratified volume.

Consequence: For any fixed oriented smooth closed $ ( k- 1) $-dimensional submanifold $ A $ in a Riemannian space $ M ^ {n} $ (in the case where $ X( A) \neq \emptyset $), there exists a globally-minimal surface $ X _ {0} $ that annihilates the spectral bordism $ ( A , i ) $. If the minimal film $ X _ {0} $ is a finite cell complex, it is representable in the form $ X _ {0} = f ( W _ {0} ) $, where $ W _ {0} $ is some manifold and $ f : W _ {0} \rightarrow M $ is a mapping that is a homeomorphism from the boundary $ \partial W _ {0} $ of $ W _ {0} $ onto the manifold $ A $, [5], . Also, the film $ X _ {0} $ is minimal in each of its dimensions $ \leq k $; if $ X ^ {(s)} $ is the part of $ X $ having dimension $ s $, then $ X ^ {(s)} $ contains a subset $ Z ^ {(s)} $ of $ s $-dimensional volume zero, while the complement $ X ^ {(s)} \setminus Z ^ {(s)} $ is an open $ s $-dimensional everywhere-dense analytic submanifold in $ M ^ {n} $. Here $ Z ^ {(s)} $ is the set of singular points in dimension $ s $.

This result is a particular case of a general theorem on the existence and almost-everywhere regularity of a globally-minimal surface, which has been proved [5], [6],

for any generalized (co)homology theory and for any set of boundary conditions. Also, such a surface exists in each stable homotopy class. The following is an example of a variational problem formulated and solved in cohomology terms. Let $ \xi $ be a stably non-trivial vector bundle on a compact Riemannian space $ M ^ {n} $; let $ X( \xi ) $ be the class of all surfaces $ X \subset M ^ {n} $ such that the restriction $ \xi \mid _ {X} $ of $ \xi $ to $ X $ is stably non-trivial (i.e., $ X $ is the support of $ \xi $). Then there always exists a globally-minimal surface $ X _ {0} \in X( \xi ) $ having least volume in the class $ X( \xi ) $. The general existence theorem can be formulated and proved also in the language of integral currents, for which one introduces filtered currents consisting of currents with various dimensions. In this way a solution to the multi-dimensional Plateau problem was obtained in homotopy classes of multi-varifolds [14].

In the circle of problems related to the multi-dimensional Plateau problem one may distinguish research on particular analytic and topological features of globally-minimal surfaces. For example, there is the current problem of representing particular surfaces in Riemannian spaces. For example, it is known [3] that complex-algebraic subvarieties in $ \mathbf C ^ {n} $ and $ \mathbf C P ^ {n} $ are globally-minimal surfaces. One of the results has an explicit complex character. In the case of real subvarieties, for a long time there were no methods for detecting particular globally-minimal surfaces. The first result in this field [6], which incorporated the topology, was a method that enabled one to show that each compact Riemannian space $ M ^ {n} $ can be put into correspondence with a universal function $ \Omega _ {x} ( k) $, where $ x \in M ^ {n} $ and $ k $ is an integer, $ 1 \leq k \leq n $. If $ X _ {0} $ is a globally-minimal surface that realizes a non-trivial (co)cycle in $ H _ {k} ( M ^ {n} ) $, then $ \mathop{\rm vol} _ {k} X _ {0} \geq \Omega _ {x} ( k) $ for any point $ x \in X _ {0} $. If $ M = G/H $ is a homogeneous space, then $ \Omega _ {x} ( k) \equiv \Omega ( k) $ is independent of the point $ x $. The function $ \Omega _ {x} ( k) $ is calculated in explicit form and gives a general lower bound to the volumes of all $ k $-dimensional (co)cycles in $ M ^ {n} $. This bound cannot be improved in the general case, i.e. there exist infinite series of globally-minimal films $ X _ {0} $ for which $ \mathop{\rm vol} _ {k} X _ {0} = \Omega ( k) $. A result for symmetric spaces ([6], , [15]) is a complete description of all surfaces for which $ \mathop{\rm vol} _ {k} X _ {0} = \Omega ( k) $. Further methods have been devised [11], [12], [14], [15] for obtaining particular globally-minimal surfaces.

There are various problems in variational calculus, topology, algebraic geometry, and complex analysis that give rise to the following situation: One is given a manifold $ M ^ {n} $ and an exhaustion of it by $ n $-dimensional regions $ D _ {r} $ that expand as the parameter $ r $ increases; in $ M ^ {n} $, there is a definite globally-minimal surface $ X ^ {k} $; the question is raised of the rate at which $ \mathop{\rm vol} _ {k} ( X ^ {k} \cap D _ {r} ) $ increases, considered as a function of $ r $. This question arises for example in the calculation of $ \Omega _ {x} ( k) $, in the problem of the structure of bases in spaces of entire functions, in theorems of Stoll type [11], etc. It has been found [6], [15] that there exists a universal exact effectively-computable lower bound to the rate of increase of $ \mathop{\rm vol} _ {k} ( X ^ {k} \cap D _ {r} ) $, which implies as particular cases explicit formulas for $ \mathop{\rm vol} _ {k} X ^ {k} $, where $ X ^ {k} $ is a globally-minimal surface. For example, the volume of such a surface enclosed in a sphere $ B ^ {n} \subset \mathbf R ^ {n} $ and passing through the centre of the sphere (and having its boundary at the boundary of the sphere) is always at least that of a standard $ k $- dimensional sphere $ B ^ {k} $ (a planar section) passing through the centre of $ B ^ {n} $, [15].

A particular line of research is represented by the multi-dimensional Plateau problem of codimension one: One considers globally-minimal surfaces of codimension 1 in $ \mathbf R ^ {n} $. For example, Bernstein's problem (S.N. Bernshtein) has been solved [7]: Let $ V ^ {n-1} $ be a smooth complete locally-minimal submanifold in $ \mathbf R ^ {n} $ allowing of one-to-one projection onto a certain hyperplane, i.e. $ V ^ {n-1} $ is given by the graph of a function $ f $ defined in $ \mathbf R ^ {n-1} $; is it true that $ f $ is a linear function? The answer is positive for $ 3\leq n\leq 8 $[8]. The minimality of such hypersurfaces is closely related to the minimality of cones in $ \mathbf R ^ {n} $: The existence of a locally-minimal surface implies the existence of a minimal cone $ CM ^ {n-2} $, i.e. of a surface composed of points on radii running from a point $ O \in \mathbf R ^ {n} $ to points $ x \in M ^ {n-2} $, where $ M ^ {n-2} $ is a locally-minimal surface in the sphere $ S ^ {n-1} $. It has been established [8] that if $ M ^ {n-2} $ is a closed locally-minimal submanifold (i.e. one that annihilates the Euler operator) in $ S ^ {n-1} $ that is not the equator $ S ^ {n-2} \subset S ^ {n-1} $, then for $ n \leq 7 $ the cone $ CM ^ {n-2} $ with base $ M ^ {n-2} $ and vertex at the centre of the sphere does not minimize the $ ( n- 1) $-dimensional volume $ \mathop{\rm vol} _ {n-1} $ (for a fixed boundary in $ M ^ {n-2} $), i.e. there exists a variation (with support localized around the centre of the sphere) that reduces the volume of the cone. This implies that $ f $ is a linear function for $ n < 9 $. For $ n= 9 $ the answer is negative: There exist [7] locally- and even globally-minimal surfaces $ V ^ {n-1} \subset \mathbf R ^ {n} $ defined as graphs of non-linear functions. The construction can be performed explicitly; it is then found that cones specified in $ \mathbf R ^ {2m} $ by the equation

$$ \tag{* } x _ {1} ^ {2} + \dots + x _ {m} ^ {2} = x _ {m+1} ^ {2} + \dots + x _ {2m} ^ {2} $$

are globally-minimal surfaces with a fixed boundary $ V = S ^ {m-1} \times S ^ {m-1} $, $ m \geq 4 $. These cones represent a particular case of cones of more general form that are globally-minimal surfaces [10].

There is a new line of research on the multi-dimensional Plateau problem, namely that of equivariant multi-dimensional Plateau problems. Among the globally-minimal surfaces, one naturally distinguishes the class of films that are transformed into themselves under the action of a certain symmetry group [9], [10]. Let $ G $ be a compact connected Lie group acting smoothly on $ M ^ {n} $ by isometries and stratifying it into orbits $ G( x) $, $ x \in M ^ {n} $. Then to find the globally-minimal surfaces $ X ^ {k} $ in $ M ^ {n} $ that are invariant with respect to $ G $ it is sufficient to transfer to the quotient space $ P = M ^ {n} /G $ and endow $ P $ with a Riemannian metric of the form

$$ dl _ {p} = v ^ {1/p} d \widetilde{s} , $$

where $ v = \mathop{\rm vol} G( x) $ and

$$ p = \mathop{\rm dim} X ^ {k} - \mathop{\rm dim} G( x) = k - \mathop{\rm dim} G( x), $$

where $ \mathop{\rm dim} G( x) $ denotes the dimension of an orbit in general position in $ M ^ {n} $ and $ d \widetilde{s} $ is the natural projection metric arising in $ P $ under the isometric action of $ G $. To find globally-minimal surfaces in $ M ^ {n} $ invariant with respect to $ G $ it is sufficient to describe such surfaces in $ M ^ {n} /G $ endowed with the metric $ dl _ {p} $[9], so one gets a reduction of the multi-dimensional Plateau problem in $ M ^ {n} $ to the same problem in $ M ^ {n} /G $ in fewer dimensions. This method has provided a number of particular globally-minimal surfaces having large symmetry groups .

Figure: p072850b

In particular, "Simons cones" , defined by (*), are represented by the line $ OD $ (Fig. b) on the two-dimensional quotient space

$$ {\mathbf R ^ {2m} } / { \mathop{\rm SO} _ {m} } \times \mathop{\rm SO} _ {m} = \{ x \geq 0, y\geq 0 \} , $$

endowed with the metric

$$ ( xy) ^ {2(2m- 2)} ( dx ^ {2} + dy ^ {2} ) $$

and representing the first quadrant $ K $ in the plane $ \mathbf R ^ {2} $[10]. To find a globally-minimal surface with boundary

$$ S ^ {m-1} \times S ^ {m-1} = G( D),\ \ G = \mathop{\rm SO} _ {m} \times \mathop{\rm SO} _ {m} , $$

it is sufficient to find geodesics running from $ D $ to the boundary of $ K $ and having minimum length. Fig. bshows a pencil of geodesics running from $ D $; this pencil can be understood as a pencil of light rays propagating from a source $ D $ in a transparent medium filling $ K $ with refraction index $ ( xy) ^ {2m-2} $. For $ m< 5/2+ \sqrt 2 $, in addition to the surface $ OD $ there exists a further minimal solution of smaller length, which is represented by the geodesic $ OQ $; this means that this Simons cone is not a globally-minimal surface. As $ m $ increases, the point $ Q $ tends to $ O $, and for $ m> 5/2+ \sqrt 2 $ there exists a unique geodesic joining $ D $ to the boundary of the quadrant, i.e. this Simons cone is a globally-minimal surface [10].

References

[1] C. Morrey, "Multiple integrals in the calculus of variations" , Springer (1966) MR0202511 Zbl 0142.38701
[2] E. Reifenberg, "Solution of Plateau's problem for -dimensional surfaces of varying topological type" Acta Math. , 104 : 1/2 (1960) pp. 1–92
[3] H. Federer, "Geometric measure theory" , Springer (1969) MR0257325 Zbl 0176.00801
[4] F.J. Almgren, "Existence and regularity almost everywhere of solutions to elliptic variational problems among surfaces of varying topological type and singularity structure" Ann. of Math. (2) , 87 : 2 (1968) pp. 321–391 MR0225243 Zbl 0162.24703
[5] A.T. Fomenko, "The multidimensional Plateau problem in Riemannian manifolds" Math. USSR Sb. , 18 : 3 (1972) pp. 487–527 Mat. Sb. , 89 : 3 (1972) pp. 475–519 MR0348599 Zbl 0276.49032
[6] A.T. Fomenko, "Minimal compacta in Riemannian manifolds and Reifenberg's conjecture" Math. USSR Izv. , 6 : 5 (1972) pp. 1037–1066 Izv. Akad. Nauk SSSR Ser. Mat. , 36 : 5 (1972) pp. 1049–1079
[7] E. Bombieri, E. de Giorgi, E. Giusti, "Minimal cones and the Bernstein problem" Invent. Math. , 7 : 3 (1969) pp. 243–268 MR0250205 Zbl 0183.25901
[8] J. Simons, "Minimal varieties in Riemannian manifolds" Ann. of Math. , 88 : 1 (1968) pp. 62–105 MR0233295 Zbl 0181.49702
[9] H. Lawson, "The equivalent Plateau problem and interior regularity" Trans. Amer. Math. Soc. , 173 : 446 (1972) pp. 231–249
[10] H. Lawson, J. Simons, "On stable currents and their application to global problems in real and complex geometry" Ann. of Math. , 98 : 3 (1973) pp. 427–450 MR0324529 Zbl 0283.53049 Zbl 0594.53037
[11] A.T. Fomenko, "Bott periodicity from the point of view of an -dimensional Dirichlet functional" Math. USSR Izv. , 5 : 3 (1971) pp. 681–695 Izv. Akad. Nauk SSSR Ser. Mat. , 35 : 3 (1971) pp. 667–681
[12] Dao Chong Tkhi, "Multivarifolds and classical multidimensional Plateau problems" Math. USSR Izv. , 17 (1981) pp. 271–298 Izv. Akad. Nauk SSSR Ser. Mat. , 44 : 5 (1980) pp. 1031–1065 Zbl 0504.58015
[13a] A.T. Fomenko, "Multidimensional Plateau problem in Riemannian manifolds and extraordinary homology and cohomology theories I" , Proc. Sem. Vektor. Tenzor. Anal. , 17 (1974) pp. 3–176 (In Russian) MR433501
[13b] A.T. Fomenko, "Multidimensional Plateau problem in Riemannian manifolds and extraordinary homology and cohomology theories II" , Proc. Sem. Vektor. Tenzor. Anal. , 18 (1978) pp. 4–93 (In Russian) MR504523
[14] Dao Chong Tkhi, "On the stability of the homology of compact Riemannian manifolds" Math. USSR Izv. , 12 (1978) pp. 463–468 Izv. Akad. Nauk SSSR Ser. Mat. , 42 : 3 (1978) pp. 500–505 Zbl 0416.58003
[15] A.T. Fomenko, "Multi-dimensional variational methods in the topology of extremals" Russian Math. Surveys , 36 : 6 (1981) pp. 127–165 Uspekhi Mat. Nauk , 36 : 6 (1981) pp. 125–169 MR643070
[16] W.Y. Hsiang, H.B. Lawson, "Minimal submanifolds of low cohomogenety" J. Diff. Geom. , 5 : 1 (1971) pp. 1–38
[17] J.E. Brothers, "Invariance of solutions to invariant parametric variational problems" Trans. Amer. Math. Soc. , 262 : 1 (1980) pp. 159–180 MR0583850 Zbl 0471.49038
[18a] R. Harvey, H.B. Lawson, "On boundaries of complex analytic varieties I" Ann. of Math. , 102 (1975) pp. 233–290 MR0425173 Zbl 0317.32017
[18b] R. Harvey, H.B. Lawson, "On boundaries of complex analytic varieties II" Ann. of Math. , 106 (1977) pp. 213–238 MR0499285 Zbl 0361.32010
[19] R. Harvey, H.B. Lawson, "Calibrated geometries" Acta Math. , 148 (1982) pp. 47–157 MR0666108 Zbl 0584.53021
[20] S.S.-T. Yau, "Kohn–Rossi cohomology and its application to the complex Plateau problem" Ann. of Math. , 113 : 1 (1981) pp. 67–110 MR0604043 Zbl 0464.32012
[21] W.H. Meeks, S.S.-T. Yau, "The classical Plateau problem and the topology of three-dimensional manifolds. The embedding of the solution given by Dehn's lemma" Topology , 21 : 4 (1982) pp. 409–442 MR0670745
[22] A.T. Fomenko, "Plateau problem" , 1–2 , Gordon & Breach (1990) (Translated from Russian) MR1055827 MR1055826 Zbl 0729.53001

Comments

For minimal surfaces in $ \mathbf C ^ {n} $ see also [a4], [a5].

References

[a1] A.T. Fomenko, "Variational principles in topology - Multidimensional minimal surface theory" , Kluwer (1990) (Translated from Russian) Zbl 0697.49044
[a2] E. Giusti, "Minimal surfaces and functions of bounded variation" , Birkhäuser (1984) MR0775682 Zbl 0545.49018
[a3] A.T. Fomenko, Dao Chong Tkhi, "Minimal surfaces and Plateau's problem" , Amer. Math. Soc. (Forthcoming) (Translated from Russian)
[a4] G. Stolzenberg, "Volumes, limits, and extensions of analytic varieties" , Springer (1966) MR0206337 Zbl 0142.33801
[a5] E.M. Chirka, "Complex analytic sets" , Kluwer (1989) pp. §19 (Translated from Russian) MR1111477 Zbl 0683.32002
How to Cite This Entry:
Plateau problem, multi-dimensional. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Plateau_problem,_multi-dimensional&oldid=28261
This article was adapted from an original article by A.T. Fomenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article