Abstract:Let N be a three dimensional Riemannian manifold. Let E be a closed embedded surface in N. Then it is a question of basic interest to see whether one can deform : in its isotopy class to some canonical embedded surface. From the point of view of geometry, a natural canonical surface will be the extremal surface of some functional defined on the space of embedded surfaces. The simplest functional is the area functional. The extremal surface of the area functional is called the minimal surface. Such minimal surfaces were used extensively by Meeks-Yau [MY21 in studying group actions on three dimensional manifolds. In [MY2], the theory of minimal surfaces was used to simplify and strengthen the classical Dehn's lemma, loop theorem and the sphere theorem. In the setting there, one minimizes area among all immersed surfaces and proves that the extremal object is embedded. In this paper, we minimize area among all embedded surfaces isotopic to a fixed embedded surface. In the category of these surfaces, we prove a general existence theorem (Theorem 1). A particular consequence of this theorem is that for irreducible manifolds an embedded incompressible surface is isotopic to an embedded incompressible surface with minimal area. We also prove that there exists an embedded sphere of least area enclosing a fake cell, provided the complementary volume is not a standard ball, and provided there exists no embedded one-sided RP2. By making use of the last result, and a cutting and pasting argument, we are able to settle a well-known problem in the theory of three dimensional manifolds. We prove that the covering space of any irreducible orientable three dimensional manifold is irreducible. It is possible to exploit our existence theorem to study

Analytic sphere eversion using ruled surfaces

DEFORMING CONVEX HYPERSURFACES BY THE LINEAR COMBINATION OF THE MEAN CURVATURE AND THE N-TH ROOT OF THE GAUSS-KRONECKER CURVATURE

Visualization of Geodesic Curves, Spheres and Equidistant Surfaces in S^2×R Space

Construction of Ruled Surfaces from the W-Curves and Their Characterizations in E3

The `Holiverse': holistic eversion of the 2-sphere in $\R^3$

Embedded minimal surfaces in $\mathbb{S}^3$ and $\mathbb{B}^3$ via equivariant eigenvalue optimization

Isometric deformations of isotropic surfaces

Geometric Algebra of Singular Ruled Surfaces

Embedded Minimal Surfaces, Exotic Spheres, and Manifolds with Positive Ricci Curvature

Characterization of imbricate-ruled surfaces via rotation-minimizing Darboux frame in Minkowski 3-space $ \mathrm{E}_1^3 $

Nonplanar minimal spheres in ellipsoids of revolution

Helicoidal minimal surfaces in the 3-sphere: An approach via spherical curves

Constant mean curvature surfaces from ring patterns: Geometry from combinatorics

Ruled surfaces and hyper-dual tangent sphere bundle

$q-$spherical surfaces in Euclidean space

Analytic pseudo-rotations II

Asymptotics of Willmore Minimizers with Prescribed Small Isoperimetric Ratio

Minimal Legendrian surfaces in the tangent sphere bundle of R3

Regular-equivalence of $2$-knot diagrams and sphere eversions

Generalized Rose Surfaces and their Visualizations

Adiabatic Isometric Mapping Algorithm for Embedding 2-Surfaces in Euclidean 3-Space