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

Finding planar surfaces in knot- and link-manifolds

Immersed surfaces with knot group $\mathbb{Z}$

Topologically trivial proper 2-knots

Totally Geodesic Surfaces in Hyperbolic 3-Manifolds: Algorithms and Examples

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

Some fast algorithms for curves in surfaces

Untangling Graphs on Surfaces

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

Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space

Flattening knotted surfaces

Rank-$N$ Dimer Models on Surfaces

Notes on unknotting algorithms using normal surface theory

Structure of Three-Manifolds - Poincare and geometrization conjectures

Right-angled links in thickened surfaces

Unknotting number 21 knots are slice in K3

Polynomial bounds for surfaces in cusped 3-manifolds

Standard position for surfaces in link complements in arbitrary 3-manifolds

Triangulations of the 3-sphere with knotted edge

Constant mean curvature surfaces from ring patterns: Geometry from combinatorics

A plat form presentation for surface-links

A group-theoretic framework for low-dimensional topology