geometry-topology / Continuum theory / Darboux maps

Darboux injections from closed manifolds: Banakh–Banakh Problems 1.7 and 1.8

Both problems are answered affirmatively, in every dimension at once: every connectedness-preserving injection from a connected closed nn-manifold into an nn-manifold is a homeomorphism onto a component, so in particular every Darboux self-bijection of Sn\mathbb S^n and of every closed manifold is a homeomorphism. This removes the finite-H1H_1 hypothesis of the 2020 theorem for 3-manifolds and extends it above dimension 3. Compactness of the source is essential: the companion preprint (Zenodo 10.5281/zenodo.22346412) shows the corresponding statement fails for Rn\mathbb R^n, n2n\ge2. The note does not address noncompact sources, manifolds with boundary, or targets of different dimension.

15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologyJun 1, 2026Significance 15/100Registry: unreviewed

Darboux injections from closed manifolds: Banakh–Banakh Problems 1.7 and 1.8

Prior state unknownproved

Both problems are answered affirmatively, in every dimension at once: every connectedness-preserving injection from a connected closed nn-manifold into an nn-manifold is a homeomorphism onto a component, so in particular every Darboux self-bijection of Sn\mathbb S^n and of every closed manifold is a homeomorphism. This removes the finite-H1H_1 hypothesis of the 2020 theorem for 3-manifolds and extends it above dim…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Both problems are answered affirmatively, in every dimension at once: every connectedness-preserving injection from a connected closed nn-manifold into an nn-manifold is a homeomorphism onto a component, so in particular every Darboux self-bijection of Sn\mathbb S^n and of every closed manifold is a homeomorphism. This removes the finite-H1H_1 hypothesis of the 2020 theorem for 3-manifolds and extends it above dimension 3. Compactness of the source is essential: the companion preprint (Zenodo 10.5281/zenodo.22346412) shows the corresponding statement fails for Rn\mathbb R^n, n2n\ge2. The note does not address noncompact sources, manifolds with boundary, or targets of different dimension.

Both problems are answered affirmatively, in every dimension at once: every connectedness-preserving injection from a connected closed nn-manifold into an nn-manifold is a homeomorphism onto a component, so in particular every Darboux self-bijection of Sn\mathbb S^n and of every closed manifold is a homeomorphism. This removes the finite-H1H_1 hypothesis of the 2020 theorem for 3-manifolds and extends it above dimension 3. Compactness of the source is essential: the companion preprint (Zenodo 10.5281/zenodo.22346412) shows the corresponding statement fails for Rn\mathbb R^n, n2n\ge2. The note does not address noncompact sources, manifolds with boundary, or targets of different dimension.

Recorded attempts

Evidence graph

Connected research record