\(
\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}}$
}}
\)
Curtis McMullen, Fields Medal Winner
Patrick Reany
5 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 Curtis McMullen, Fields Medal Winner?
Copilot:
Curtis McMullen is an American mathematician who won the Fields Medal in 1998 for his groundbreaking work in complex dynamics, hyperbolic geometry, and Teichmüller theory.< He is currently the Cabot Professor of Mathematics at Harvard University.
Key Biography
- Born: May 21, 1958, in Berkeley, California
- Education: BA from Williams College (1980, valedictorian); PhD from Harvard University (1985), supervised by Dennis Sullivan
- Career: Held positions at MIT, Princeton, UC Berkeley, and joined Harvard in 1997. He later served as chair of Harvard's Mathematics Department (2017--2020).
- Mentorship: His doctoral students include Maryam Mirzakhani, the first woman to win the Fields Medal.
Honors and Awards
- Salem Prize (1991)
- Fields Medal (1998) -- awarded at the International Congress of Mathematicians in Berlin
- Guggenheim Fellowship (2004)
- Humboldt Research Award (2011)
- Elected to the National Academy of Sciences (2007)
Mathematical Contributions
- Complex Dynamics: McMullen studied iteration of rational maps, showing deep connections between dynamics and geometry.
- Hyperbolic Geometry & 3-Manifolds: He extended William Thurston’s program, proving that large classes of manifolds admit hyperbolic structures.
- Teichmüller Theory: His work illuminated the geometry of moduli spaces of Riemann surfaces.
- Algorithmic Insights: Early in his career, he proved that generally convergent algorithms for solving polynomial equations exist only for polynomials of degree ≤ 3.
Selected Works
- Complex Dynamics and Renormalization (1995)
- Renormalization and 3-Manifolds which Fiber over the Circle (1996)
McMullen's career exemplifies the fusion of dynamical systems, geometry, and topology, making him one of the most influential mathematicians of his generation. His recognition with the Fields Medal places him alongside other giants of modern mathematics.
Would you like me to also connect McMullen's work to the broader 1998 Fields Medal cohort (Borcherds, Gowers, Kontsevich), to see how his contributions fit into the landscape of late 20th-century mathematics?
Patrick:
Can you expand a bit on McMullen's contributions to each of those three disciplines: complex dynamics, hyperbolic geometry, and Teichmüller theory?
Copilot:
Curtis McMullen's Fields Medal (1998) recognized his deep and interconnected contributions to three areas: complex dynamics, hyperbolic geometry, and Teichmüller theory. Each discipline reflects his ability to unify dynamical, geometric, and analytic perspectives.
Complex Dynamics
- Julia and Fatou sets: McMullen advanced the study of rational maps on the Riemann sphere, clarifying the fine structure of Julia sets and their measure-theoretic properties.
- Renormalization theory: In his book Complex Dynamics and Renormalization (1994), he developed renormalization techniques for quadratic polynomials, showing how small-scale structures recur infinitely within the Mandelbrot set.
- Density of hyperbolic maps: He provided evidence toward the conjecture that hyperbolic rational maps (those with stable dynamics) are dense, a central theme in the field.
- Algorithmic insights: His early work proved that iterative root-finding algorithms generally converge only for polynomials of degree ≤ 3, ruling out universal convergence for higher degrees.
Hyperbolic Geometry
- 3-manifolds and Thurston's program: McMullen extended William Thurston's geometrization ideas, proving rigidity results for hyperbolic 3-manifolds and exploring how geometric structures evolve under renormalization.
- Cusps and density: His paper Cusps are dense (1991) showed that cusps (degenerate structures in moduli space) occur densely, linking hyperbolic geometry with dynamics.
- Geodesic planes: Later work studied geodesic planes in hyperbolic 3-manifolds, connecting geometric finiteness with dynamical systems.
- Renormalization and 3-manifolds: His book Renormalization and 3-Manifolds which Fiber over the Circle (1996) demonstrated how renormalization techniques could classify certain fibered 3-manifolds.
Teichmüller Theory
- Iteration on Teichmüller space: McMullen introduced dynamical methods into Teichmüller theory, studying how iteration acts on moduli spaces of Riemann surfaces.
- Teichmüller curves: He constructed explicit Teichmüller curves inside moduli space, linking billiards in polygons to algebraic geometry and dynamics.
- Weil–Petersson metric: His work showed that the moduli space of Riemann surfaces is "Kähler hyperbolic," a profound geometric property with implications for curvature and dynamics.
- Connections to number theory: McMullen tied Teichmüller dynamics to Diophantine approximation and rational points on curves, bridging geometry and arithmetic.
Synthesis
McMullen's genius lies in cross-pollination:
- Complex dynamics provided tools (renormalization, quasiconformal maps) that he applied to hyperbolic geometry.
- Hyperbolic geometry gave rigidity phenomena that informed his work on moduli spaces.
- Teichmüller theory became the meeting ground, where dynamical systems, geometry, and arithmetic converged.
His work exemplifies the late 20th-century trend of unifying dynamics, geometry, and topology, and it continues to influence both pure mathematics and its computational/algorithmic frontiers.
Would you like me to compare McMullen's contributions with those of the other 1998 Fields Medalists (Borcherds, Gowers, Kontsevich) to show how each represented a different frontier of mathematics at the time?
Patrick:
What is a Teichmüller curve?
Copilot:
A Teichmüller curve is a special type of algebraic curve inside the moduli space of Riemann surfaces that is totally geodesic with respect to the Teichmüller metric. In simpler terms, it's a "straight line" (geodesic) in the highly curved space of all possible complex structures on surfaces, and it arises from very rigid dynamical and geometric data.
Formal Definition
- A Teichmüller curve is the projection to moduli space of the orbit of a flat surface (a Riemann surface equipped with a holomorphic 1-form or quadratic differential) under the action of \(SL(2,\mathbb{R})\).
- These curves are totally geodesic: every geodesic in the Teichmüller metric that starts tangent to the curve stays inside it.
- They are rare and highly structured objects, often linked to special dynamical systems like billiards in polygons.
Origins and Examples
- Veech surfaces: The pioneering work of William Veech showed that certain translation surfaces (like square-tiled surfaces) generate Teichmüller curves.
- McMullen’s contribution: Curtis McMullen discovered new classes of Teichmüller curves beyond the square-tiled examples, connecting them to Hilbert modular surfaces.
- Square-tiled surfaces: These are simple examples where the surface is built from unit squares glued together, and their dynamics generate Teichmüller curves.
Why They Matter
- Dynamics: Teichmüller curves encode optimal dynamical behavior of flows on surfaces (e.g., billiard trajectories in rational polygons).
- Geometry: They provide explicit, rigid subspaces of moduli space, helping mathematicians understand its geometry.
- Arithmetic connections: Many Teichmüller curves have deep ties to number theory, Hilbert modular surfaces, and Diophantine approximation.
Intuitive Picture
Imagine the moduli space of Riemann surfaces as a vast, curved landscape. Most paths through it are winding and irregular. A Teichmüller curve is like a perfectly straight highway cutting through that landscape, created by the symmetry of a special surface.
Would you like me to illustrate with a concrete example, such as the Teichmüller curve arising from billiards in a square or from McMullen's Hilbert modular surfaces? That way, we can see how abstract geometry connects to something tangible.
Afterword: