\(
\def\cuberoot#1{\sqrt[3]{#1}}
\def\fourthroot#1{\sqrt[4]{#1}}
\def\abspartial#1#2#3#4{\left|\,{\partial(#1,#2)\over\partial(#3,#4)}\,\right|}
\def\absdeltal#1#2#3#4{\left|\,{\d(#1,#2)\over\d(#3,#4)}\,\right|}
\def\dispop#1#2{\disfrac{\partial #1}{\partial #2}}
\def\definedas{\equiv}
\def\bb{{\bf b}}
\def\bB{{\bf B}}
\def\bsigma{\boldsymbol{\sigma}}
\def\bx{{\bf x}}
\def\bu{{\bf u}}
\def\Re{{\rm Re\hskip1pt}}
\def\Reals{{\mathbb R\hskip1pt}}
\def\Integers{{\mathbb Z\hskip1pt}}
\def\Im{{\rm Im\hskip1pt}}
\def\P{\mbox{P}}
\def\half{{\textstyle{1\over 2}}}
\def\third{{\textstyle{1\over3}}}
\def\fourth{{\textstyle{1\over 4}}}
\def\fifth{{\scriptstyle{1\over 5}}}
\def\sixth{{\textstyle{1\over 6}}}
\def\oA{\rlap{$A$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obA{\rlap{$A$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obX{\rlap{$X$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obY{\rlap{$Y$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obZ{\rlap{$Z$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obc{\rlap{$c$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obd{\rlap{$d$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obk{\rlap{$k$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\oba{\rlap{$a$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obb{\rlap{$b$}\kern1pt\overline{\phantom{\dis{}t}}\kern.5pt}
\def\obw{\rlap{$w$}\kern1pt\overline{\phantom{\dis{}t}}\kern.5pt}
\def\obz{\overline{z}}\kern.5pt}
\newcommand{\bx}{\boldsymbol{x}}
\newcommand{\by}{\boldsymbol{y}}
\newcommand{\br}{\boldsymbol{r}}
\renewcommand{\bk}{\boldsymbol{k}}
\def\cuberoot#1{\sqrt[3]{#1}}
\def\fourthroot#1{\sqrt[4]{#1}}
\def\fifthroot#1{\sqrt[5]{#1}}
\def\eighthroot#1{\sqrt[8]{#1}}
\def\twelfthroot#1{\sqrt[12]{#1}}
\def\dis{\displaystyle}
%\def\definedas{\equiv}
\def\bq{{\bf q}}
\def\bp{{\bf p}}
\def\abs#1{\left|\,#1\,\right|}
\def\disfrac#1#2{{\displaystyle #1\over\displaystyle #2}}
\def\select#1{ \langle\, #1 \,\rangle }
\def\autoselect#1{ \left\langle\, #1 \,\right\rangle }
\def\bigselect#1{ \big\langle\, #1 \,\big\rangle }
\renewcommand{\ba}{\boldsymbol{a}}
\renewcommand{\bb}{\boldsymbol{b}}
\newcommand{\bc}{\boldsymbol{c}}
\newcommand{\bh}{\boldsymbol{h}}
\newcommand{\bA}{\boldsymbol{A}}
\newcommand{\bB}{\boldsymbol{B}}
\newcommand{\bC}{\boldsymbol{C}}
\newcommand{\definedas}{\equiv}
\newcommand{\half}{\frac{1}{2}}
%\newcommand{\slfrac}[2]{\raisebox{0.5pt}{$\scriptstyle{}^{#1}\!/\!_{#2}$}}
\def\slfrac#1#2{\raise.8ex\hbox{$\scriptstyle#1$}\!/\!\lower.5ex\hbox{$\scriptstyle#2$}}
\newcommand{\bsigma}{\boldsymbol \sigma}
\newcommand{\abs}[1]{\left|\,#1\,\right|}
\newcommand{\Rectangle}{\sqsubset\!\sqsupset}
\newcommand{\rectangle}{{%
\ooalign{$\sqsubset\mkern3mu$\cr$\mkern3mu\sqsupset$\cr}%
% How to do fractions: for 1/2 use this in place: $\raise{0.8pt}{\scriptstyle{}^{1}\!/\!_{2}}$
% for n/m use this in place: $\raise{0.8pt}{\scriptstyle{}^{n}\!/\!_{m}}$
}}
\)
Math Related to String Theory
Patrick Reany
20 November 2025
Note: This chat I had with Copilot is likely edited for relevance and brevity. I often do not take the time to highlight all the words that Copilot highlights. Further, in the interest of being didactic, I might arbitrarily highlight an occasional word or phrase that Copilot did not. (Naturally, I get to correct my spelling, grammar, and other minor errors for free.)
I report as faithfully as I can what LLMs tell me, but I can't guarantee that they are correct on every factual matter. If the subject should touch on physical or mental self-care, regard the content merely for information sake, rather than medical advice.
Patrick:
I read that the long development of string theory helped to create or to further extend certain important fields of mathematics including moduli spaces, mirror symmetry, octonians, derived categories, conformal field theory, vertex algebras, and possibly others. Can you explain a little about each of these fields and explain which are connected to string theory and how?
Copilot:
Quick Answer: String theory has profoundly influenced mathematics, inspiring new fields and deepening existing ones. It connects directly to moduli spaces, mirror symmetry, derived categories, conformal field theory, and vertex algebras, while also stimulating interest in structures like octonions. Each of these areas arose as physicists tried to formalize string theory's geometry, symmetry, and quantum behavior.
Key Mathematical Fields Influenced by String Theory
1. Moduli Spaces
- Definition: Moduli spaces classify geometric structures (like shapes of Riemann surfaces or Calabi-Yau manifolds) up to equivalence.
- Connection to String Theory: Strings propagate on surfaces (worldsheets), and the moduli space of Riemann surfaces encodes all possible string interactions. Compactifications of string theory also depend on moduli spaces of Calabi-Yau manifolds, which describe possible "shapes" of extra dimensions.
2. Mirror Symmetry
- Definition: A duality between pairs of Calabi-Yau manifolds where complex geometry on one side corresponds to symplectic geometry on the other.
- Connection to String Theory: Discovered by physicists studying string compactifications. It allowed physicists to compute enumerative geometry problems (like counting rational curves) that were previously unsolved. Mathematically, it led to homological mirror symmetry (Kontsevich), relating derived categories of coherent sheaves to Fukaya categories.
3. Octonions
- Definition: An 8-dimensional non-associative extension of complex numbers and quaternions.
- Connection to String Theory: Octonions appear in exceptional Lie groups and special holonomy manifolds (like \(G_2\) manifolds), which are relevant in certain string/M-theory compactifications. While less central than mirror symmetry, they provide algebraic structures for exotic symmetries in higher dimensions.
4. Derived Categories
- Definition: A framework in algebraic geometry for organizing complexes of sheaves, capturing deep homological information.
- Connection to String Theory: In the B-model of topological string theory, D-branes correspond to objects in derived categories of coherent sheaves. Mirror symmetry predicts equivalences between derived categories and Fukaya categories (A-model), forming the basis of homological mirror symmetry.
5. Conformal Field Theory (CFT)
- Definition: Quantum field theories invariant under conformal transformations (angle-preserving maps).
- Connection to String Theory: The worldsheet theory of strings is a 2D CFT. Studying these theories rigorously led to advances in representation theory, modular forms, and connections with geometry. CFT provides the mathematical backbone for string quantization.
6. Vertex Algebras
- Definition: Algebraic structures encoding operator product expansions in CFT.
- Connection to String Theory: Developed to formalize the algebraic side of 2D CFTs. They underpin the mathematics of string theory's symmetry operations and are central to phenomena like monstrous moonshine, linking modular functions and finite groups.
Broader Impact
- Quantum Cohomology: Emerged from string theory as a deformation of classical cohomology, encoding intersection numbers of curves.
- Enumerative Geometry: String theory provided tools to solve longstanding problems in counting curves on manifolds.
- Representation Theory & K-theory: Deepened by string-theoretic insights into branes and dualities.
In summary:
- Directly tied to string theory: Moduli spaces, mirror symmetry, derived categories, conformal field theory, vertex algebras.
- Indirect but inspired: Octonions, exceptional groups, and related structures.
String theory acted as a bridge between physics and pure mathematics, often predicting results that mathematicians later proved rigorously.
Would you like me to create a visual map showing how these fields interconnect through string theory (like a diagram linking physics concepts to math structures)?
Patrick:
Yes, I'd like to see that visual map.
Copilot:
Mirror Symmetry $\leftrightarrow$ Derived Categories: This reflects homological mirror symmetry, where geometry and algebra meet.
Conformal Field Theory $\rightarrow$ Vertex Algebras: CFT's operator product expansions gave rise to the algebraic framework of vertex algebras.
Why it matters
This map highlights how string theory didn't just borrow mathematics---it created new mathematics. For example:
Mirror Symmetry solved long-standing problems in enumerative geometry.
Derived Categories became central to understanding D-branes.
Vertex Algebras formalized the algebraic side of conformal field theory.
Moduli Spaces became indispensable for describing string interactions.
Octonions connect to exotic symmetries and exceptional structures in higher-dimensional theories.
Patrick:
Can you provide some more explanation on derived categories and the octonians?
Copilot:
Absolutely --- let's dive deeper into derived categories and octonions, since they're both fascinating but often misunderstood.
Derived Categories
- What they are:
Derived categories come from homological algebra. Imagine you have a collection of objects (like sheaves on a variety) and morphisms between them. Instead of just looking at the objects themselves, you consider complexes of objects (chains of them linked by maps). The derived category organizes these complexes in a way that captures their essential homological information, while ignoring "inessential" differences.
- Why they matter in math:
They provide a powerful language for modern algebraic geometry, allowing mathematicians to study deep relationships between spaces. They're central to areas like:
- Homological mirror symmetry (Kontsevich's conjecture).
- Representation theory (categorical approaches).
- Algebraic geometry (coherent sheaves, perverse sheaves, etc.).
- Connection to string theory:
In string theory, D-branes (extended objects where strings can end) can be mathematically modeled as objects in derived categories of coherent sheaves (in the B-model of topological string theory). Mirror symmetry predicts equivalences between these derived categories and symplectic categories (Fukaya categories) on the mirror manifold.
$\rightarrow$ So derived categories became the mathematical language for describing brane dynamics and dualities.
Octonions
- What they are:
Octonions are an 8-dimensional number system, extending real numbers $\rightarrow$ complex numbers $\rightarrow$ quaternions $\rightarrow$ octonions. Unlike the others, octonions are non-associative (meaning \((ab)c \neq a(bc)\) in general). They're part of the "Cayley-Dickson construction" of normed division algebras.
- Why they matter in math:
Octonions are rare and exotic. They underpin the structure of exceptional Lie groups (like \(G_2\), \(F_4\), \(E_8\)), which are highly symmetric and unusual. They also appear in special holonomy manifolds (like \(G_2\)-manifolds), which are important in differential geometry.
- Connection to string theory:
Octonions show up in:
- M-theory compactifications on \(G_2\)-manifolds, where the geometry is tied to octonionic structures.
- Exceptional symmetries in higher-dimensional theories, where octonions help describe algebraic structures beyond the standard Lie groups.
- Triality and supersymmetry, where octonionic algebra provides natural frameworks for certain symmetry transformations.
Big Picture
- Derived categories: the language of branes and dualities.
- Octonions: the algebra of exceptional symmetries and exotic geometries.
Both are examples of how string theory didn't just use existing math --- it forced mathematicians to invent new frameworks to keep up with the physics.
Would you like me to sketch a timeline of when these mathematical ideas entered string theory (e.g., derived categories in the 1990s with mirror symmetry, octonions in relation to \(G_2\)-compactifications in the 2000s)? That could show how the dialogue between physics and math unfolded.
Afterword: