Hilbert's fifth problem

Last updated

Hilbert's fifth problem is the fifth mathematical problem from the problem list publicized in 1900 by mathematician David Hilbert, and concerns the characterization of Lie groups.

Contents

The theory of Lie groups describes continuous symmetry in mathematics; its importance there and in theoretical physics (for example quark theory) grew steadily in the twentieth century. In rough terms, Lie group theory is the common ground of group theory and the theory of topological manifolds. The question Hilbert asked was an acute one of making this precise: is there any difference if a restriction to smooth manifolds is imposed?

The expected answer was in the negative (the classical groups, the most central examples in Lie group theory, are smooth manifolds). This was eventually confirmed in the early 1950s. Since the precise notion of "manifold" was not available to Hilbert, there is room for some debate about the formulation of the problem in contemporary mathematical language.

Formulation of the problem

A modern formulation of the problem (in its simplest interpretation) is as follows: [1]

Let G be a topological group that is also a topological manifold (that is, locally homeomorphic to a Euclidean space). Does it follow that G must be isomorphic (as a topological group) to a Lie group?

An equivalent formulation of this problem closer to that of Hilbert, in terms of composition laws, goes as follows: [2]

Let V ⊆ U be open subsets of Euclidean space, such that there is a continuous function f : V × V → U satisfying the group axiom of associativity. Does it follow that f must be smooth (up to continuous reparametrisation)?

In this form the problem was solved by Montgomery–Zippin and Gleason.

A stronger interpretation (viewing G as a transformation group rather than an abstract group) results in the Hilbert–Smith conjecture about group actions on manifolds, which in full generality is still open. It is known classically for actions on 2-dimensional manifolds and has recently been solved for three dimensions by John Pardon.

Solution

The first major result was that of John von Neumann in 1933, [3] giving an affirmative answer for compact groups. The locally compact abelian group case was solved in 1934 by Lev Pontryagin. The final resolution, at least in the interpretation of what Hilbert meant given above, came with the work of Andrew Gleason, Deane Montgomery and Leo Zippin in the 1950s.

In 1953, Hidehiko Yamabe obtained further results about topological groups that may not be manifolds: [lower-alpha 1]

Every locally compact connected group is the projective limit of a sequence of Lie groups. Further, it is a Lie group if it has no small subgroups.

It follows that every locally compact group contains an open subgroup that is a projective limit of Lie groups, by van Dantzig's theorem (this last statement is called the Gleason–Yamabe Theorem in Tao (2014 , Theorem 1.1.17)).

No small subgroups

An important condition in the theory is no small subgroups . A topological group G, or a partial piece of a group like F above, is said to have no small subgroups if there is a neighbourhood N of e containing no subgroup bigger than {e}. For example, the circle group satisfies the condition, while the p-adic integers Zp as additive group does not, because N will contain the subgroups: pk Zp, for all large integers k. This gives an idea of what the difficulty is like in the problem. In the Hilbert–Smith conjecture case it is a matter of a known reduction to whether Zp can act faithfully on a closed manifold. Gleason, Montgomery and Zippin characterized Lie groups amongst locally compact groups, as those having no small subgroups.

Infinite dimensions

Researchers have also considered Hilbert's fifth problem without supposing finite dimensionality. This was the subject of Per Enflo's doctoral thesis; his work is discussed in Benyamini & Lindenstrauss (2000 , Chapter 17).

See also

Notes

  1. ↑ According to Morikuni (1961, p. i), "the final answer to Hilbert’s Fifth Problem"; however this is not so clear since there have been other such claims, based on different interpretations of Hilbert's statement of the problem given by various researchers. For a review of such claims (ignoring the contributions of Yamabe) see Rosinger (1998, pp. xiii–xiv and pp. 169–170)
  1. ↑ Tao 2014, Theorem 1.1.13.
  2. ↑ Hilbert, David. "5. Lie's concept of a continuous group of transformations without the assumption of the differentiability of the functions defining the group". Mathematical Problems – via Wikisource.
  3. ↑ John, von Neumann (1933). "Die Einführung analytischer parameter in topologischen Gruppen". Annals of Mathematics. 34 (1): 170–190. doi:10.2307/1968347. JSTOR   1968347.

Related Research Articles

<span class="mw-page-title-main">Lie group</span> Group that is also a differentiable manifold with group operations that are smooth

In mathematics, a Lie group is a group that is also a differentiable manifold.

<span class="mw-page-title-main">Algebraic topology</span> Branch of mathematics

Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.

<span class="mw-page-title-main">Topological group</span> Group that is a topological space with continuous group action

In mathematics, topological groups are the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two structures together and consequently they are not independent from each other.

<span class="mw-page-title-main">Lipschitz continuity</span> Strong form of uniform continuity

In mathematical analysis, Lipschitz continuity, named after German mathematician Rudolf Lipschitz, is a strong form of uniform continuity for functions. Intuitively, a Lipschitz continuous function is limited in how fast it can change: there exists a real number such that, for every pair of points on the graph of this function, the absolute value of the slope of the line connecting them is not greater than this real number; the smallest such bound is called the Lipschitz constant of the function. For instance, every function that is defined on an interval and has bounded first derivative is Lipschitz continuous.

In differential geometry, the Atiyah–Singer index theorem, proved by Michael Atiyah and Isadore Singer (1963), states that for an elliptic differential operator on a compact manifold, the analytical index is equal to the topological index. It includes many other theorems, such as the Chern–Gauss–Bonnet theorem and Riemann–Roch theorem, as special cases, and has applications to theoretical physics.

In mathematics, a compactly generated (topological) group is a topological group G which is algebraically generated by one of its compact subsets. This should not be confused with the unrelated notion of a compactly generated space -- one whose topology is generated by its compact subspaces.

<span class="mw-page-title-main">Approximation property</span> Mathematical concept

In mathematics, specifically functional analysis, a Banach space is said to have the approximation property (AP), if every compact operator is a limit of finite-rank operators. The converse is always true.

In mathematics, the Hilbert–Smith conjecture is concerned with the transformation groups of manifolds; and in particular with the limitations on topological groups G that can act effectively (faithfully) on a (topological) manifold M. Restricting to groups G which are locally compact and have a continuous, faithful group action on M, the conjecture states that G must be a Lie group.

In mathematics, a locally compact topological group G has property (T) if the trivial representation is an isolated point in its unitary dual equipped with the Fell topology. Informally, this means that if G acts unitarily on a Hilbert space and has "almost invariant vectors", then it has a nonzero invariant vector. The formal definition, introduced by David Kazhdan (1967), gives this a precise, quantitative meaning.

In mathematics, a locally compact group is a topological group G for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are locally compact and such groups have a natural measure called the Haar measure. This allows one to define integrals of Borel measurable functions on G so that standard analysis notions such as the Fourier transform and spaces can be generalized.

<span class="mw-page-title-main">Richard Schoen</span> American mathematician

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.

<span class="mw-page-title-main">Andrew M. Gleason</span> American mathematician and educator

Andrew Mattei Gleason (1921–2008) was an American mathematician who made fundamental contributions to widely varied areas of mathematics, including the solution of Hilbert's fifth problem, and was a leader in reform and innovation in math­e­mat­ics teaching at all levels. Gleason's theorem in quantum logic and the Greenwood–Gleason graph, an important example in Ramsey theory, are named for him.

In mathematics, the Smith conjecture states that if f is a diffeomorphism of the 3-sphere of finite order, then the fixed point set of f cannot be a nontrivial knot.

<span class="mw-page-title-main">Deane Montgomery</span> American mathematician

Deane Montgomery was an American mathematician specializing in topology who was one of the contributors to the final resolution of Hilbert's fifth problem in the 1950s. He served as president of the American Mathematical Society from 1961 to 1962.

<span class="mw-page-title-main">Per Enflo</span> Swedish mathematician and concert pianist

Per H. Enflo is a Swedish mathematician working primarily in functional analysis, a field in which he solved problems that had been considered fundamental. Three of these problems had been open for more than forty years:

<span class="mw-page-title-main">Thierry Aubin</span> French mathematician

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.

Hidehiko Yamabe was a Japanese mathematician. Above all, he is famous for discovering that every conformal class on a smooth compact manifold is represented by a Riemannian metric of constant scalar curvature. Other notable contributions include his definitive solution of Hilbert's fifth problem.

In mathematics, especially in topology, a topological group is said to have no small subgroup if there exists a neighborhood of the identity that contains no nontrivial subgroup of An abbreviation '"NSS"' is sometimes used. A basic example of a topological group with no small subgroup is the general linear group over the complex numbers.

Hans Vilhem Rådström (1919–1970) was a Swedish mathematician who worked on complex analysis, continuous groups, convex sets, set-valued analysis, and game theory. From 1952, he was lektor at Stockholm University, and from 1969, he was Professor of Applied Mathematics at Linköping University.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.