\(
\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}}$
}}
\)
Edward Witten, Fields Medal Winner
Patrick Reany
11 December 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:
Can you tell me a bit about Edward Witten, Fields Medal Winner?
Copilot:
Edward Witten is a fascinating figure because he bridges physics and mathematics in a way few others ever have.
Who He Is
- Profession: Theoretical physicist, primarily known for his work in string theory, quantum field theory, and mathematical physics.
- Affiliation: Institute for Advanced Study in Princeton, New Jersey.
- Unique Distinction: In 1990, Witten became the first physicist ever to win the Fields Medal, which is traditionally awarded to mathematicians under 40 for outstanding contributions.
Fields Medal Achievement (1990)
- Witten's award recognized his brilliant application of physical insight to mathematics, leading to new and deep theorems.
- His work connected quantum field theory and string theory with pure mathematics, opening new directions in geometry and topology.
- One of his most famous contributions is the use of quantum field theory to provide new proofs and insights into knot theory and low-dimensional topology.
Broader Impact
- Witten is often described as the most influential theoretical physicist of his generation.
- His research has shaped both modern physics and mathematics, inspiring entire fields such as topological quantum field theory.
- He has also been a central figure in the development of M-theory, a unifying framework in string theory.
Why He Stands Out
Unlike most Fields Medalists, Witten's training and career are rooted in physics rather than mathematics. His recognition by the mathematical community highlights how deeply intertwined the two disciplines can be when someone has the vision to connect them.
Would you like me to sketch out some of the specific mathematical breakthroughs Witten made that earned him the Fields Medal---like his work on knot invariants and the Jones polynomial---or keep it more at the big-picture level?
Patrick:
I think that we should specialize focus or risk writing a book on him. So, let's focus on his work on knot invariants and the Jones polynomials.
Copilot:
Edward Witten's Fields Medal–winning contribution was to reinterpret the Jones polynomial of knots using quantum field theory, specifically Chern–Simons theory, thereby creating a new bridge between physics and low-dimensional topology.
Core Idea
- The Jones polynomial (discovered by Vaughan Jones in 1984) is a powerful invariant of knots and links, distinguishing them in ways classical invariants could not.
- Witten showed in 1989 that the Jones polynomial could be understood as arising from a quantum field theory in 2+1 dimensions---namely, Chern–Simons gauge theory.
- This insight gave the Jones polynomial a natural, three-dimensional definition, rather than relying on two-dimensional projections of knots.
Witten's Breakthrough
- Chern–Simons theory: Witten demonstrated that a gauge theory with only the Chern–Simons term in the action is exactly solvable.
- Knots as observables: In this framework, knots and links correspond to Wilson loop observables in the quantum field theory. Their expectation values reproduce the Jones polynomial.
- Generalization: His approach extended the Jones polynomial from knots in \(S^3\) (the 3-sphere) to knots in arbitrary 3-manifolds, producing new invariants computable via surgery presentations.
- Impact: This work inaugurated the field of topological quantum field theory (TQFT), showing how physics could generate rigorous mathematical invariants.
Why It Mattered
- Mathematics: Witten's reinterpretation gave knot theory and 3-manifold topology a new toolkit, connecting them to quantum physics.
- Physics: It revealed that gauge theories could encode deep topological information, influencing later developments in string theory and quantum gravity.
- Recognition: This was one of the central reasons Witten received the Fields Medal in 1990, despite being a physicist.
Key Takeaway
Witten didn't just provide a new proof of the Jones polynomial---he reframed it entirely, showing that knot invariants are the shadow of quantum field theories. This conceptual leap transformed both mathematics and physics, and it remains a cornerstone of modern mathematical physics.
Would you like me to walk through a concrete example of how a knot invariant (like the Jones polynomial of the trefoil knot) emerges from Witten's Chern–Simons framework, step by step? That could make the abstraction more tangible.
Patrick:
Can you show an example computation, where Witten used knots and links corresponding to Wilson loop observables in QFT, where expectation values reproduce a Jones polynomial?
Copilot:
Perfect---let's walk through a concrete example of how Witten's Chern–Simons quantum field theory reproduces the Jones polynomial for a knot, such as the trefoil knot.
Setup: Chern–Simons Theory
- Action functional:
\[
S_{CS}(A) = \frac{k}{4\pi} \int_M \text{Tr}\left(A \wedge dA + \tfrac{2}{3} A \wedge A \wedge A\right)
\]
where \(A\) is a gauge connection on a 3-manifold \(M\), and \(k\) is the level (an integer).
- Wilson loop observable for a knot \(K\):
\[
W_R(K) = \text{Tr}_R \, P \exp\left(\oint_K A\right)
\]
where \(R\) is a representation of the gauge group (often \(SU(2)\)).
- Expectation value:
\[
\langle W_R(K) \rangle = \frac{\int \mathcal{D}A \, e^{i S_{CS}(A)} W_R(K)}{\int \mathcal{D}A \, e^{i S_{CS}(A)}}
\]
Witten showed that this expectation value is exactly the Jones polynomial (or its generalizations) evaluated at a root of unity determined by \(k\).
Example: Trefoil Knot
- Take \(M = S^3\) (the 3-sphere).
- Choose gauge group \(SU(2)\) and representation \(R\) = fundamental (spin-$\raise{0.8pt}{\scriptstyle{}^{1}\!/\!_{2}}$
).
- The Wilson loop expectation value for the trefoil knot is:
\[
\langle W_{\frac{1}{2}}(\text{Trefoil}) \rangle = V_{\text{Trefoil}}(q)
\]
where \(V_{\text{Trefoil}}(q)\) is the Jones polynomial, and
\[
q = e^{\frac{2\pi i}{k+2}}.
\]
Explicit Computation
The Jones polynomial for the trefoil knot is:
\[
V_{\text{Trefoil}}(q) = q + q^3 - q^4.
\]
From Witten's construction:
At level \(k\), the path integral gives \(q = e^{2\pi i/(k+2)}\).
For example, if \(k=2\), then \(q = e^{2\pi i/4} = i\).
Plugging in:
\[
V_{\text{Trefoil}}(i) = i + i^3 - i^4 = i - i - 1 = -1.
\]
This matches the expectation value of the Wilson loop in Chern–Simons theory at that level.
Why This Matters
- Physics $\rightarrow$ Knot Theory: Wilson loops in a quantum field theory become knot invariants.
- Mathematics $\rightarrow$ Physics: The Jones polynomial gains a natural interpretation as a quantum observable.
- Generalization: Different gauge groups and representations yield other polynomial invariants (HOMFLY, Kauffman, etc.).
So, Witten's insight was that the Jones polynomial isn't just a combinatorial gadget---it's the vacuum expectation value of a Wilson loop in a topological quantum field theory.
Would you like me to extend this to show how links (multiple knots together) are handled in the same framework---where the expectation value gives the multivariable Jones polynomial? That’s where the richness of his approach really shines.
Afterword: