# Hilbert's fifth problem

Template:Mergefrom
**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. 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.

## Classic formulation

A formulation that was accepted for a long period was that the question was to characterize Lie groups as the topological groups that were also topological manifolds. In terms closer to those that Hilbert would have used, near the identity element Template:Mvar of the group Template:Mvar in question, there is an open set Template:Mvar in Euclidean space containing Template:Mvar, and on some open subset Template:Mvar of Template:Mvar there is a continuous mapping

*F*:*V*×*V*→*U*

that satisfies the group axioms where those are defined. This much is a fragment of a typical locally Euclidean topological group. The problem is then to show that Template:Mvar is a smooth function near Template:Mvar (since topological groups are homogeneous spaces, they look the same everywhere as they do near Template:Mvar).

Another way to put this is that the possible differentiability class of Template:Mvar does not matter: the group axioms collapse the whole *C ^{ k}* gamut.

## Solution

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

In 1953, Hidehiko Yamabe obtained the final answer to Hilbert’s Fifth Problem:^{[2]}

- If a connected locally compact group Template:Mvar is a projective limit of a sequence of Lie groups, and if Template:Mvar "has no small subgroups" (a condition defined below), then Template:Mvar is a Lie group.

However, the question is still debated since in the literature there have been other such claims, largely based on different interpretations of Hilbert's statement of the problem given by various researchers.^{[3]}

More generally, every locally compact, almost connected group is the projective limit of a Lie group. If we consider a general locally compact group Template:Mvar and the connected component of the identity *G*_{0}, we have a group extension

*G*_{0}→*G*→*G*/*G*_{0}.

As a totally disconnected group *G*/*G*_{0} has an open compact subgroup, and the pullback *G′* of such an open compact subgroup is an open, almost connected subgroup of Template:Mvar. In this way, we have a smooth structure on Template:Mvar, since it is homeomorphic to (*G′* × *G′* )/*G*_{0}, where *G′*/*G*_{0} is a discrete set.

## Alternate formulation

Another view is that Template:Mvar ought to be treated as a transformation group, rather than abstractly. This leads to the formulation of the Hilbert–Smith conjecture, unresolved Template:As of.

## No small subgroups

An important condition in the theory is **no small subgroups**. A topological group Template:Mvar, or a partial piece of a group like Template:Mvar above, is said to have *no small subgroups* if there is a neighbourhood Template:Mvar of Template:Mvar containing no subgroup bigger than {*e*}. For example the circle group satisfies the condition, while the [[p-adic integers|Template:Mvar-adic integers]] **Z**_{p} as additive group does not, because Template:Mvar will contain the subgroups: *p ^{k}*

**Z**

_{p}, for all large integers Template:Mvar. 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

**Z**

_{p}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. The last chapter of Benyamini and Lindenstrauss discuss the thesis of Per Enflo, on Hilbert's fifth problem without compactness.

## Notes

- ↑ {{#invoke:Citation/CS1|citation |CitationClass=journal }}
- ↑ According to Template:Harvtxt.
- ↑ For a review of such claims (however completely ignoring the contributions of Yamabe) and for a new one, see Template:Harvtxt.

## See also

## References

- {{#invoke:Citation/CS1|citation

|CitationClass=journal }}. Available from Project Euclid.

- {{#invoke:citation/CS1|citation

|CitationClass=book }}.

- D. Montgomery and L. Zippin,
*Topological Transformation Groups* - Yamabe, Hidehiko,
*On an arcwise connected subgroup of a Lie group*, Osaka Mathematical Journal v.2, no. 1 Mar. (1950), 13–14. - Irving Kaplansky,
*Lie Algebras and Locally Compact Groups*, Chicago Lectures in Mathematics, 1971. - Benyamini, Yoav and Lindenstrauss, Joram,
*Geometric nonlinear functional analysis*Colloquium publications, 48. American Mathematical Society. - Enflo, Per. (1970) Investigations on Hilbert’s fifth problem for non locally compact groups. (Ph.D. thesis of five articles of Enflo from 1969 to 1970)
- Enflo, Per; 1969a: Topological groups in which multiplication on one side is differentiable or linear.
*Math. Scand.,*24, 195–197. - {{#invoke:Citation/CS1|citation

- Enflo, Per; 1969a: Topological groups in which multiplication on one side is differentiable or linear.

|CitationClass=journal }}

- Enflo, Per; 1969b: On a problem of Smirnov.
*Ark. Math*.**8**, 107–109. - Enflo, Per; 1970a: Uniform structures and square roots in topological groups I.
*Israel J. Math.***8**, 230–252. - Enflo, Per; 1970b: Uniform structures and square roots in topological groups II.
*Israel J. Math.***8**, 2530–272.

- Enflo, Per; 1969b: On a problem of Smirnov.