Using the Cartan-Kahler theory, and results on real algebraic structures, we
prove two embedding theorems. First, the interior of a smooth, compact
3-manifold may be isometrically embedded into a G_2-manifold as an associative
submanifold. Second, the interior of a smooth, compact 4-manifold K, whose
double has a trivial bundle of self-dual 2-forms, may be isometrically embedded
into a Spin(7)-manifold as a Cayley submanifold.
Using the Cartan-Kahler theory, and results on real algebraic structures, we
prove two embedding theorems. First, the interior of a smooth, compact
3-manifold may be isometrically embedded into a G_2-manifold as an associative
submanifold. Second, the interior of a smooth, compact 4-manifold K, whose
double has a trivial bundle of self-dual 2-forms, may be isometrically embedded
into a Spin(7)-manifold as a Cayley submanifold.
Previously the two of the authors defined a notion of dual Calabi-Yau
manifolds in a G_2 manifold, and described a process to obtain them. Here we
apply this process to a compact G_2 manifold, constructed by Joyce, and as a
result we obtain a pair of Borcea-Voisin Calabi-Yau manifolds, which are known
to be mirror duals of each other.