Title: Mathematical Theory of Cosmic Strings