Richard Hamilton | |
---|---|
![]() Hamilton in 1982 | |
Born | |
Nationality | American |
Alma mater | Yale University (BA) Princeton University (PhD) |
Known for | Convergence theorems for Ricci flow Dirichlet problem for harmonic maps and harmonic map heat flow Li–Yau inequalities for Ricci flow and other geometric flows Maximum principle for parabolic systems Nash–Moser theorem Ricci flow with surgery in four dimensions for positive isotropic curvature |
Awards | Veblen Prize (1996) Clay Research Award (2003) Leroy P. Steele Prize (2009) Shaw Prize (2011) |
Scientific career | |
Fields | Mathematics |
Institutions | Cornell University University of California, San Diego Columbia University University of Hawaiʻi at Mānoa |
Thesis | Variation of structure on Riemann surfaces (1969) |
Doctoral advisor | Robert Gunning |
Doctoral students | Martin Lo |
Richard Streit Hamilton (born 10 January 1943) is an American mathematician who serves as the Davies Professor of Mathematics at Columbia University. He is known for contributions to geometric analysis and partial differential equations. Hamilton is best known for foundational contributions to the theory of the Ricci flow and the development of a corresponding program of techniques and ideas for resolving the Poincaré conjecture and geometrization conjecture in the field of geometric topology. Grigori Perelman built upon Hamilton's results to prove the conjectures, and was awarded a Millennium Prize for his work. However, Perelman declined the award, regarding Hamilton's contribution as being equal to his own.
Hamilton received his B.A. in 1963 from Yale University and Ph.D. in 1966 from Princeton University. Robert Gunning supervised his thesis. He has taught at University of California, Irvine, University of California, San Diego, Cornell University, and Columbia University.
Hamilton's mathematical contributions are primarily in the field of differential geometry and more specifically geometric analysis. He is best known for having discovered the Ricci flow and starting a research program that ultimately led to the proof, by Grigori Perelman, of William Thurston's geometrization conjecture and the Poincaré conjecture.
For his work on the Ricci flow, Hamilton was awarded the Oswald Veblen Prize in Geometry in 1996 and the Clay Research Award in 2003. He was elected to the National Academy of Sciences in 1999 and the American Academy of Arts and Sciences in 2003. He also received the AMS Leroy P. Steele Prize for Seminal Contribution to Research in 2009, for his 1982 article Three-manifolds with positive Ricci curvature, in which he introduced and analyzed the Ricci flow. [H82b]
In March 2010, the Clay Mathematics Institute, having listed the Poincaré conjecture among their Millennium Prize Problems, awarded Perelman with one million USD for his 2003 proof of the conjecture. [1] In July 2010, Perelman turned down the award and prize money, saying that he believed his contribution in proving the Poincaré conjecture was no greater than that of Hamilton, who had developed the program for the solution. [2]
In June 2011, it was announced that the million-dollar Shaw Prize would be split equally between Hamilton and Demetrios Christodoulou "for their highly innovative works on nonlinear partial differential equations in Lorentzian and Riemannian geometry and their applications to general relativity and topology." [3] [4]
In 2022, Hamilton joined University of Hawaiʻi at Mānoa as an adjunct professor. [5]
As of 2022, Hamilton has been the author of forty-six research articles, around forty of which are in the field of geometric flows.
In 1986, Peter Li and Shing-Tung Yau discovered a new method for applying the maximum principle to control the solutions of the heat equation. [6] Among other results, they showed that if one has a positive solution u of the heat equation on a closed Riemannian manifold of nonnegative Ricci curvature, then one has
for any tangent vector v. Such inequalities, known as "differential Harnack inequalities" or "Li–Yau inequalities," are useful since they can be integrated along paths to compare the values of u at any two spacetime points. They also directly give pointwise information about u, by taking v to be zero.
In 1993, Hamilton showed that the computations of Li and Yau could be extended to show that their differential Harnack inequality was a consequence of a stronger matrix inequality. [H93a] His result required the closed Riemannian manifold to have nonnegative sectional curvature and parallel Ricci tensor (such as the flat torus or the Fubini–Study metric on complex projective space), in the absence of which he obtained with a slightly weaker result. Such matrix inequalities are sometimes known as Li–Yau–Hamilton inequalities.
Hamilton also discovered that the Li–Yau methodology could be adapted to the Ricci flow. In the case of two-dimensional manifolds, he found that the computation of Li and Yau can be directly adapted to the scalar curvature along the Ricci flow. [H88] In general dimensions, he showed that the Riemann curvature tensor satisfies a complicated inequality, formally analogous to his matrix extension of the Li–Yau inequality, in the case that the curvature operator is nonnegative. [H93b] As an immediate algebraic consequence, the scalar curvature satisfies an inequality which is almost identical to that of Li and Yau. This fact is used extensively in Hamilton and Perelman's further study of Ricci flow.
Hamilton later adapted his Li–Yau estimate for the Ricci flow to the setting of the mean curvature flow, which is slightly simpler since the geometry is governed by the second fundamental form, which has a simpler structure than the Riemann curvature tensor. [H95c] Hamilton's theorem, which requires strict convexity, is naturally applicable to certain singularities of mean curvature flow due to the convexity estimates of Gerhard Huisken and Carlo Sinestrari. [7] [8]
In 1956, John Nash resolved the problem of smoothly isometrically embedding Riemannian manifolds in Euclidean space. [9] The core of his proof was a novel "small perturbation" result, showing that if a Riemannian metric could be isometrically embedded in a certain way, then any nearby Riemannian metric could be isometrically embedded as well. Such a result is highly reminiscent of an implicit function theorem, and many authors have attempted to put the logic of the proof into the setting of a general theorem. Such theorems are now known as Nash–Moser theorems.
In 1982, Hamilton published his formulation of Nash's reasoning, casting the theorem into the setting of tame Fréchet spaces; Nash's fundamental use of restricting the Fourier transform to regularize functions was abstracted by Hamilton to the setting of exponentially decreasing sequences in Banach spaces. [H82a] His formulation has been widely quoted and used in the subsequent time. He used it himself to prove a general existence and uniqueness theorem for geometric evolution equations; the standard implicit function theorem does not often apply in such settings due to the degeneracies introduced by invariance under the action of the diffeomorphism group. [H82b] In particular, the well-posedness of the Ricci flow follows from Hamilton's general result. Although Dennis DeTurck gave a simpler proof in the particular case of the Ricci flow, Hamilton's result has been used for some other geometric flows for which DeTurck's method is inaccessible.
In 1964, James Eells and Joseph Sampson initiated the study of harmonic map heat flow, using a convergence theorem for the flow to show that any smooth map from a closed manifold to a closed manifold of nonpositive curvature can be deformed to a harmonic map. In 1975, Hamilton considered the corresponding boundary value problem for this flow, proving an analogous result to Eells and Sampson's for the Dirichlet condition and Neumann condition. [H75] The analytic nature of the problem is more delicate in this setting, since Eells and Sampson's key application of the maximum principle to the parabolic Bochner formula cannot be trivially carried out, due to the fact that size of the gradient at the boundary is not automatically controlled by the boundary conditions.
By taking limits of Hamilton's solutions of the boundary value problem for increasingly large boundaries, Richard Schoen and Shing-Tung Yau observed that a finite-energy map from a complete Riemannian manifold to a closed Riemannian manifold of nonpositive curvature could be deformed into a harmonic map of finite energy. [10] By proving extension of Eells and Sampson's vanishing theorem in various geometric settings, they were able to draw striking geometric conclusions, such as that if (M, g) is a complete Riemannian manifold of nonnegative Ricci curvature, then for any precompact open set D with smooth and simply-connected boundary, there cannot exist a nontrivial homomorphism from the fundamental group of D into any group which is the fundamental group of a closed Riemannian manifold of nonpositive curvature.
In 1986, Hamilton and Michael Gage applied Hamilton's Nash–Moser theorem and well-posedness result for parabolic equations to prove the well-posedness for mean curvature flow; they considered the general case of a one-parameter family of immersions of a closed manifold into a smooth Riemannian manifold. [GH86] Then, they specialized to the case of immersions of the circle S1 into the two-dimensional Euclidean space ℝ2, which is the simplest context for curve shortening flow. Using the maximum principle as applied to the distance between two points on a curve, they proved that if the initial immersion is an embedding, then all future immersions in the mean curvature flow are embeddings as well. Furthermore, convexity of the curves is preserved into the future.
Gage and Hamilton's main result is that, given any smooth embedding S1 → ℝ2 which is convex, the corresponding mean curvature flow exists for a finite amount of time, and as the time approaches its maximal value, the curves asymptotically become increasingly small and circular. [GH86] They made use of previous results of Gage, as well as a few special results for curves, such as Bonnesen's inequality.
In 1987, Matthew Grayson proved a complementary result, showing that for any smooth embedding S1 → ℝ2, the corresponding mean curvature flow eventually becomes convex. [11] In combination with Gage and Hamilton's result, one has essentially a complete description of the asymptotic behavior of the mean curvature flow of embedded circles in ℝ2. This result is sometimes known as the Gage–Hamilton–Grayson theorem. It is somewhat surprising that there is such a systematic and geometrically defined means of deforming an arbitrary loop in ℝ2 into a round circle.
The modern understanding of the results of Gage–Hamilton and of Grayson usually treat both settings at once, without the need for showing that arbitrary curves become convex and separately studying the behavior of convex curves. Their results can also be extended to settings other than the mean curvature flow. [12]
Hamilton extended the maximum principle for parabolic partial differential equations to the setting of symmetric 2-tensors which satisfy a parabolic partial differential equation. [H82b] He also put this into the general setting of a parameter-dependent section of a vector bundle over a closed manifold which satisfies a heat equation, giving both strong and weak formulations. [H86]
Partly due to these foundational technical developments, Hamilton was able to give an essentially complete understanding of how Ricci flow behaves on three-dimensional closed Riemannian manifolds of positive Ricci curvature [H82b] and nonnegative Ricci curvature [H86] , four-dimensional closed Riemannian manifolds of positive or nonnegative curvature operator [H86] , and two-dimensional closed Riemannian manifolds of nonpositive Euler characteristic or of positive curvature [H88] . In each case, after appropriate normalizations, the Ricci flow deforms the given Riemannian metric to one of constant curvature. This has strikingly simple immediate corollaries, such as the fact that any closed smooth 3-manifold which admits a Riemannian metric of positive curvature also admits a Riemannian metric of constant positive sectional curvature. Such results are notable in highly restricting the topology of such manifolds; the space forms of positive curvature are largely understood. There are other corollaries, such as the fact that the topological space of Riemannian metrics of positive Ricci curvature on a closed smooth 3-manifold is path-connected. These "convergence theorems" of Hamilton have been extended by later authors, in the 2000s, to give a proof of the differentiable sphere theorem, which had been a major conjecture in Riemannian geometry since the 1960s.
In 1995, Hamilton extended Jeff Cheeger's compactness theory for Riemannian manifolds to give a compactness theorem for sequences of Ricci flows. [H95a] Given a Ricci flow on a closed manifold with a finite-time singularity, Hamilton developed methods of rescaling around the singularity to produce a sequence of Ricci flows; the compactness theory ensures the existence of a limiting Ricci flow, which models the small-scale geometry of a Ricci flow around a singular point. [H95b] Hamilton used his maximum principles to prove that, for any Ricci flow on a closed three-dimensional manifold, the smallest value of the sectional curvature is small compared to its largest value. This is known as the Hamilton–Ivey estimate; it is extremely significant as a curvature inequality which holds with no conditional assumptions beyond three-dimensionality. An important consequence is that, in three dimensions, a limiting Ricci flow as produced by the compactness theory automatically has nonnegative curvature. [H95b] As such, Hamilton's Harnack inequality is applicable to the limiting Ricci flow. These methods were extended by Grigori Perelman, who due to his "noncollapsing theorem" was able to apply Hamilton's compactness theory in a number of extended contexts.
In 1997, Hamilton was able to combine the methods he had developed to define "Ricci flow with surgery" for four-dimensional Riemannian manifolds of positive isotropic curvature. [H97] For Ricci flows with initial data in this class, he was able to classify the possibilities for the small-scale geometry around points with large curvature, and hence to systematically modify the geometry so as to continue the Ricci flow. As a consequence, he obtained a result which classifies the smooth four-dimensional manifolds which support Riemannian metrics of positive isotropic curvature. Shing-Tung Yau has described this article as the "most important event" in geometric analysis in the period after 1993, marking it as the point at which it became clear that it could be possible to prove Thurston's geometrization conjecture by Ricci flow methods. The essential outstanding issue was to carry out an analogous classification, for the small-scale geometry around high-curvature points on Ricci flows on three-dimensional manifolds, without any curvature restriction; the Hamilton–Ivey curvature estimate is the analogue to the condition of positive isotropic curvature. This was resolved by Grigori Perelman in his renowned "canonical neighborhoods theorem." Building off of this result, Perelman modified the form of Hamilton's surgery procedure to define a "Ricci flow with surgery" given an arbitrary smooth Riemannian metric on a closed three-dimensional manifold. This led to the resolution of the geometrization conjecture in 2003.
In one of his earliest works, Hamilton proved the Earle–Hamilton fixed point theorem in collaboration with Clifford Earle. [EH70] In unpublished lecture notes from the 1980s, Hamilton introduced the Yamabe flow and proved its long-time existence. In collaboration with Shiing-Shen Chern, Hamilton studied certain variational problems for Riemannian metrics in contact geometry. [13] He also made contributions to the prescribed Ricci curvature problem. [14]
EH70. | Earle, Clifford J.; Hamilton, Richard S. (1970). "A fixed point theorem for holomorphic mappings". In Chern, Shiing-Shen; Smale, Stephen (eds.). Global analysis. American Mathematical Society summer institute held at the University of California (Berkeley, CA) July 1–26, 1968. Proceedings of Symposia in Pure Mathematics. Vol. 16. Providence, RI: American Mathematical Society. pp. 61–65. doi: 10.1090/pspum/016 . ISBN 9780821814161. MR 0266009. Zbl 0205.14702. |
H75. | Hamilton, Richard S. (1975). Harmonic Maps of Manifolds with Boundary. Lecture Notes in Mathematics. Vol. 471. Berlin–New York: Springer-Verlag. doi:10.1007/BFb0087227. ISBN 978-3-540-07185-3. MR 0482822. Zbl 0308.35003. |
H82a. | Hamilton, Richard S. (1982). "The inverse function theorem of Nash and Moser". Bulletin of the American Mathematical Society . New Series. 7 (1): 65–222. doi: 10.1090/s0273-0979-1982-15004-2 . MR 0656198. Zbl 0499.58003. |
H82b. | Hamilton, Richard S. (1982). "Three-manifolds with positive Ricci curvature". Journal of Differential Geometry . 17 (2): 255–306. Reprinted in Cao et al. (2003). doi: 10.4310/jdg/1214436922 . MR 0664497. Zbl 0504.53034. Hamilton, Richard S. (2003). "Three-orbifolds with positive Ricci curvature". In Cao, H. D.; Chow, B.; Chu, S. C.; Yau, S. T. (eds.). Collected papers on Ricci flow. Series in Geometry and Topology. Vol. 37. Somerville, MA: International Press. pp. 521–524. ISBN 1-57146-110-8. MR 2143256. |
GH86. | Gage, M.; Hamilton, R. S. (1986). "The heat equation shrinking convex plane curves". Journal of Differential Geometry . 23 (1): 69–96. doi: 10.4310/jdg/1214439902 . MR 0840401. Zbl 0621.53001. |
H86. | Hamilton, Richard S. (1986). "Four-manifolds with positive curvature operator". Journal of Differential Geometry . 24 (2): 153–179. Reprinted in Cao et al. (2003). doi: 10.4310/jdg/1214440433 . MR 0862046. Zbl 0628.53042. |
H88. | Hamilton, Richard S. (1988). "The Ricci flow on surfaces". In Isenberg, James A. (ed.). Mathematics and general relativity: proceedings of a summer research conference held June 22−28, 1986. Contemporary Mathematics. Vol. 71. Providence, RI: American Mathematical Society. pp. 237–262. Reprinted in Cao et al. (2003). doi:10.1090/conm/071. ISBN 9780821850794. MR 0954419. Zbl 0663.53031. |
H93a. | Hamilton, Richard S. (1993). "A matrix Harnack estimate for the heat equation". Communications in Analysis and Geometry. 1 (1): 113–126. doi: 10.4310/CAG.1993.v1.n1.a6 . MR 1230276. Zbl 0799.53048. |
H93b. | Hamilton, Richard S. (1993). "The Harnack estimate for the Ricci flow". Journal of Differential Geometry . 37 (1): 225–243. Reprinted in Cao et al. (2003). doi: 10.4310/jdg/1214453430 . MR 1198607. Zbl 0804.53023. |
H95a. | Hamilton, Richard S. (1995). "A compactness property for solutions of the Ricci flow". American Journal of Mathematics . 117 (3): 545–572. Reprinted in Cao et al. (2003). doi:10.2307/2375080. JSTOR 2375080. MR 1333936. Zbl 0840.53029. |
H95b. | Hamilton, Richard S. (1995). "The formation of singularities in the Ricci flow". In Hsiung, C.-C.; Yau, S.-T. (eds.). Proceedings of the conference on geometry and topology held at Harvard University, April 23–25, 1993. Surveys in Differential Geometry. Vol. II. Cambridge, MA: International Press. pp. 7–136. Reprinted in Cao et al. (2003). doi: 10.4310/SDG.1993.v2.n1.a2 . MR 1375255. Zbl 0867.53030. |
H95c. | Hamilton, Richard S. (1995). "Harnack estimate for the mean curvature flow". Journal of Differential Geometry . 41 (1): 215–226. doi: 10.4310/jdg/1214456010 . MR 1316556. Zbl 0827.53006. |
H97. | Hamilton, Richard S. (1997). "Four-manifolds with positive isotropic curvature". Communications in Analysis and Geometry. 5 (1): 1–92. Reprinted in Cao et al. (2003). doi: 10.4310/CAG.1997.v5.n1.a1 . MR 1456308. Zbl 0892.53018. |
H99. | Hamilton, Richard S. (1999). "Non-singular solutions of the Ricci flow on three-manifolds". Communications in Analysis and Geometry. 7 (4): 695–729. Reprinted in Cao et al. (2003). doi: 10.4310/CAG.1999.v7.n4.a2 . MR 1714939. Zbl 0939.53024. |
The collection
contains twelve of Hamilton's articles on Ricci flow, in addition to ten related articles by other authors.
In the mathematical field of geometric topology, the Poincaré conjecture is a theorem about the characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dimensional space.
Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, defined as smooth manifolds with a Riemannian metric. This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other global quantities can be derived by integrating local contributions.
Grigori Yakovlevich Perelman is a Russian mathematician who is known for his contributions to the fields of geometric analysis, Riemannian geometry, and geometric topology. In 2005, Perelman abruptly quit his research job at the Steklov Institute of Mathematics, and in 2006 stated that he had quit professional mathematics, due to feeling disappointed over the ethical standards in the field. He lives in seclusion in Saint Petersburg, and has not accepted offers for interviews since 2006.
In the mathematical field of Riemannian geometry, the scalar curvature is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry of the metric near that point. It is defined by a complicated explicit formula in terms of partial derivatives of the metric components, although it is also characterized by the volume of infinitesimally small geodesic balls. In the context of the differential geometry of surfaces, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In higher dimensions, however, the scalar curvature only represents one particular part of the Riemann curvature tensor.
In the mathematical fields of differential geometry and geometric analysis, the Ricci flow, sometimes also referred to as Hamilton's Ricci flow, is a certain partial differential equation for a Riemannian metric. It is often said to be analogous to the diffusion of heat and the heat equation, due to formal similarities in the mathematical structure of the equation. However, it is nonlinear and exhibits many phenomena not present in the study of the heat equation.
Shing-Tung Yau is a Chinese-American mathematician. He is the director of the Yau Mathematical Sciences Center at Tsinghua University and Professor Emeritus at Harvard University. Until 2022 he was the William Caspar Graustein Professor of Mathematics at Harvard, at which point he moved to Tsinghua.
In the mathematical field of differential geometry, Ricci-flatness is a condition on the curvature of a (pseudo-)Riemannian manifold. Ricci-flat manifolds are a special kind of Einstein manifold. In theoretical physics, Ricci-flat Lorentzian manifolds are of fundamental interest, as they are the solutions of Einstein's field equations in vacuum with vanishing cosmological constant.
Mikhael Leonidovich Gromov is a Russian-French mathematician known for his work in geometry, analysis and group theory. He is a permanent member of Institut des Hautes Études Scientifiques in France and a professor of mathematics at New York University.
In mathematics, the soul theorem is a theorem of Riemannian geometry that largely reduces the study of complete manifolds of non-negative sectional curvature to that of the compact case. Jeff Cheeger and Detlef Gromoll proved the theorem in 1972 by generalizing a 1969 result of Gromoll and Wolfgang Meyer. The related soul conjecture, formulated by Cheeger and Gromoll at that time, was proved twenty years later by Grigori Perelman.
Richard Melvin Schoen is an American mathematician known for his work in differential geometry and geometric analysis. He is best known for the resolution of the Yamabe problem in 1984.
Geometric analysis is a mathematical discipline where tools from differential equations, especially elliptic partial differential equations (PDEs), are used to establish new results in differential geometry and differential topology. The use of linear elliptic PDEs dates at least as far back as Hodge theory. More recently, it refers largely to the use of nonlinear partial differential equations to study geometric and topological properties of spaces, such as submanifolds of Euclidean space, Riemannian manifolds, and symplectic manifolds. This approach dates back to the work by Tibor Radó and Jesse Douglas on minimal surfaces, John Forbes Nash Jr. on isometric embeddings of Riemannian manifolds into Euclidean space, work by Louis Nirenberg on the Minkowski problem and the Weyl problem, and work by Aleksandr Danilovich Aleksandrov and Aleksei Pogorelov on convex hypersurfaces. In the 1980s fundamental contributions by Karen Uhlenbeck, Clifford Taubes, Shing-Tung Yau, Richard Schoen, and Richard Hamilton launched a particularly exciting and productive era of geometric analysis that continues to this day. A celebrated achievement was the solution to the Poincaré conjecture by Grigori Perelman, completing a program initiated and largely carried out by Richard Hamilton.
Tian Gang is a Chinese mathematician. He is a professor of mathematics at Peking University and Higgins Professor Emeritus at Princeton University. He is known for contributions to the mathematical fields of Kähler geometry, Gromov-Witten theory, and geometric analysis.
In differential geometry, a Kähler–Einstein metric on a complex manifold is a Riemannian metric that is both a Kähler metric and an Einstein metric. A manifold is said to be Kähler–Einstein if it admits a Kähler–Einstein metric. The most important special case of these are the Calabi–Yau manifolds, which are Kähler and Ricci-flat.
Huai-Dong Cao is a Chinese–American mathematician. He is the A. Everett Pitcher Professor of Mathematics at Lehigh University. He is known for his research contributions to the Ricci flow, a topic in the field of geometric analysis.
Thierry Aubin was a French mathematician who worked at the Centre de Mathématiques de Jussieu, and was a leading expert on Riemannian geometry and non-linear partial differential equations. His fundamental contributions to the theory of the Yamabe equation led, in conjunction with results of Trudinger and Schoen, to a proof of the Yamabe Conjecture: every compact Riemannian manifold can be conformally rescaled to produce a manifold of constant scalar curvature. Along with Yau, he also showed that Kähler manifolds with negative first Chern classes always admit Kähler–Einstein metrics, a result closely related to the Calabi conjecture. The latter result, established by Yau, provides the largest class of known examples of compact Einstein manifolds. Aubin was the first mathematician to propose the Cartan–Hadamard conjecture.
The Geometry Festival is an annual mathematics conference held in the United States.
Gerhard Huisken is a German mathematician whose research concerns differential geometry and partial differential equations. He is known for foundational contributions to the theory of the mean curvature flow, including Huisken's monotonicity formula, which is named after him. With Tom Ilmanen, he proved a version of the Riemannian Penrose inequality, which is a special case of the more general Penrose conjecture in general relativity.
Shi Yuguang is a Chinese mathematician at Peking University. His areas of research are geometric analysis and differential geometry.
In the mathematical fields of differential geometry and geometric analysis, the Gauss curvature flow is a geometric flow for oriented hypersurfaces of Riemannian manifolds. In the case of curves in a two-dimensional manifold, it is identical with the curve shortening flow. The mean curvature flow is a different geometric flow which also has the curve shortening flow as a special case.
Media related to Richard Hamilton (mathematician) at Wikimedia Commons