1 · The essentials
The manuscript concerns the ways a collection of symmetries can move points of a space. The spaces it considers look locally like ordinary finite-dimensional space, are connected, and have no boundary. The symmetries must vary continuously, and two different symmetries must not move every point in exactly the same way. Under additional technical conditions on both the space and the collection of symmetries, the manuscript claims that this collection must have the smooth structure of a Lie group. It states this conclusion for every finite dimension, describing it as a resolution of the Hilbert–Smith conjecture in that setting. The supplied abstract states the result but does not explain its argument. The main result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine a collection of controls that rearrange a flexible sheet without tearing it, with different controls producing genuinely different rearrangements. The claim is that, under the stated conditions, the whole collection of controls must admit a smooth mathematical description—not that each rearrangement of the sheet must itself be smooth.
Why it matters
The claimed result connects continuous symmetries of a topological space with the more structured notion of a Lie group. Its scope is every finite dimension, subject to the precise assumptions in the abstract. Assessing the claim requires more than the supplied abstract, which gives no details of the argument.
2 · Going further
The precise claim is that if a locally compact, second-countable Hausdorff group acts faithfully and jointly continuously on a connected, Hausdorff, second-countable, finite-dimensional topological manifold without boundary, then is a Lie group. Faithfulness means that only the identity element acts as the identity on all of . Joint continuity means that the action map is continuous in the group element and the point together.
The repository summary and the main manuscript's abstract both identify this statement as the Hilbert–Smith conjecture in every finite dimension. The conclusion concerns the structure of the acting group; the hypothesis requires only a continuous action on a topological manifold. The supplied abstract gives no intermediate results, construction, or main idea of the argument, so an account of its mechanism cannot be extracted from this source. Only the main manuscript is supplied, and no relationship to companion manuscripts is described. The result is not formalized in Lean and has not been formally verified.
Useful notions
- Groups and their actions on spaces
- Continuity and product spaces
- Topological manifolds
- Local compactness and countability conditions
- Lie groups
What was known before / what is new
Before
The source names the target statement as the Hilbert–Smith conjecture. It supplies no earlier partial results, dimension-specific cases, or historical account, so it does not establish a more detailed baseline of prior knowledge.
New
The manuscript claims the Lie-group conclusion in every finite dimension under the listed hypotheses. The repository summary presents this as a resolution for Hausdorff second-countable manifolds without boundary, but the supplied material contains only the assertion, not the argument.
Limits and assumptions
The group must be locally compact, second-countable, and Hausdorff. The manifold must be connected, Hausdorff, second-countable, finite-dimensional, and without boundary, and the action must be faithful and jointly continuous. The supplied statement does not cover cases obtained by dropping these assumptions, and the source does not identify what remains open outside its scope. No argument is included in the supplied abstract. The main result is not formalized in Lean and has not been formally verified.
Mini glossary
- Topological manifold without boundary —
- A space in which every point has a neighborhood homeomorphic to an open subset of a fixed finite-dimensional Euclidean space.
- Lie group —
- A group with a compatible smooth manifold structure for which multiplication and inversion are smooth.
- Faithful action —
- An action in which no group element other than the identity fixes every point.
- Jointly continuous action —
- An action whose map from the product of the group and the space to the space is continuous.
- Locally compact —
- Having a compact neighborhood around each point.
- Second-countable —
- Having a countable collection of open sets from which every open set can be formed as a union.
Keywords : Hilbert–Smith conjecture · Group actions · Lie groups
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Every locally compact second-countable Hausdorff group acting faithfully and jointly continuously on a connected finite-dimensional topological manifold is a Lie group. This proves the Hilbert–Smith conjecture in all finite dimensions, for Hausdorff second-countable manifolds without boundary.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
The Hilbert–Smith conjecture in every finite dimension
23/09/2026We prove the Hilbert–Smith conjecture in every finite dimension: every locally compact second-countable Hausdorff group acting faithfully and jointly continuously on a connected Hausdorff second-countable finite-dimensional topological manifold without boundary is a Lie group.