c.curionodeThe Fields Archive

1998 · Fields Medal

Timothy Gowers

Combinatorial reasoning reveals a sharp structural alternative within every infinite-dimensional Banach space.

Birth location
Wiltshire, England
Country labels
United Kingdom
At the award
University of Cambridge
Subject
Analysis & PDEs
Read the award story ↗
Illustrated portrait of Timothy Gowers
Original AI-generated illustration by Curionode. Heidelberg Laureate Forum Foundation; named institutional laureate profile · Likeness reference ↗

01 · A life in mathematics

The person behind the work

Timothy Gowers was born in Wiltshire, England, and was working at Cambridge when he received the 1998 Fields Medal. His research brought combinatorial reasoning into the geometry of infinite-dimensional Banach spaces, resolving longstanding questions about their subspaces and symmetries. His dichotomy theorem showed that every infinite-dimensional Banach space contains a subspace with an unconditional basis or a hereditarily indecomposable subspace. With Bernard Maurey, he constructed spaces that defeated earlier expectations about decompositions. His work also developed powerful connections with combinatorics. The unifying theme is that infinite-dimensional geometry contains both highly regular structures and strikingly rigid counterexamples.

The contribution, explained

A Banach space is a vector space with a complete notion of length; its vectors may encode functions rather than ordinary arrows. Finite-dimensional intuition suggests choosing coordinates and splitting a space into simpler pieces. Gowers showed how dramatically this intuition can fail. His dichotomy finds either a subspace with an unconditional basis, whose convergent expansions tolerate changes of signs, or a hereditarily indecomposable subspace, none of whose infinite-dimensional subspaces splits into two infinite-dimensional closed pieces. Combinatorial selection arguments uncover this alternative. The conclusion organises possible subspaces rather than declaring all Banach spaces equivalent or easily classifiable.

Why it matters

The work solved central problems in Banach-space theory and made combinatorial methods indispensable to understanding infinite-dimensional geometry, including spaces with unexpectedly few possible decompositions or symmetries.

Sources & further reading

  1. Official IMU citation ↗www.mathunion.org
  2. Heidelberg Laureate Forum ↗www.heidelberg-laureate-forum.org
  3. Gowers: An infinite Ramsey theorem and some Banach-space dichotomies ↗annals.math.princeton.edu