Borsuk-Ulam Type Theorems and Mountain Climbing Problem

Alisa Volkova; Andrey V. Malyutin; Ilya M. Shirokov

arxiv: 2604.04615 · v1 · submitted 2026-04-06 · 🧮 math.AT · math.CO· math.GT

Borsuk-Ulam Type Theorems and Mountain Climbing Problem

Ilya M. Shirokov , Andrey V. Malyutin , Alisa Volkova This is my paper

Pith reviewed 2026-05-10 19:33 UTC · model grok-4.3

classification 🧮 math.AT math.COmath.GT

keywords Borsuk-Ulam theoremHopf theoremmountain climbing lemmaLusternik-Schnirelmann theoremTucker theoremcontinuous mapsmanifoldsantipodal points

0 comments

The pith

For any continuous map from a closed triangulable manifold to R^n, the space of equal-image point pairs has a connected component linking distant points to identical ones.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper gives a topological extension of the Hopf theorem that also generalizes the Borsuk-Ulam theorem. It drops the Riemannian metric requirement and works instead with closed triangulable manifolds equipped only with a topological notion of distant points. The central result states that for any continuous map f from such a manifold to R^n, the space of pairs of points with the same f-value always contains a connected component that includes both a distant pair and a pair of identical points. This immediately produces versions of the Lusternik-Schnirelmann and Tucker theorems without differential structure, plus a multidimensional mountain-climbing lemma. On the standard 2-sphere the lemma says that any continuous temperature and pressure functions admit antipodal points with equal readings from which two travelers can follow paths that meet while the conditions they experience remain identical at every step.

Core claim

For any continuous map f colon M to R^n where M is a closed triangulable manifold of dimension n equipped with a topological notion of distant points, the space of f-neighbors contains a connected component that includes both a pair of distant points and a pair of identical points. This statement yields further consequences for Lusternik-Schnirelmann and Tucker-type theorems as well as a multidimensional extension of the mountain-climbing lemma.

What carries the argument

The space of f-neighbors consisting of all pairs of points mapped to the same value, together with the connected components of that space that are forced to contain both distant and coincident pairs.

If this is right

New Lusternik-Schnirelmann theorems hold on closed triangulable manifolds without any Riemannian structure.
Tucker-type theorems extend to the same purely topological setting.
A multidimensional mountain-climbing lemma follows directly from the neighbor-space component.
On the 2-sphere, any two continuous functions admit antipodal points of equal value from which synchronized paths exist with matching values at every instant.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result broadens classical coincidence theorems to settings that lack smooth structure but retain triangulability and a suitable distant-points relation.
The neighbor-space component argument supplies a common mechanism that recovers several previously separate topological existence statements.
Because the manifold is triangulable, the same existence can be approximated by finite combinatorial searches on triangulations.

Load-bearing premise

The manifold must be closed and triangulable and the chosen notion of distant points must be compatible with the topology so that the connected-component argument in the neighbor space can reach from distant pairs all the way to identical pairs.

What would settle it

A single continuous map f from a closed triangulable manifold with a valid distant-points notion to R^n such that every connected component of the f-neighbor space either contains no distant pair or contains no identical pair would falsify the claim.

read the original abstract

In this paper, we present a new qualitative extension of the Hopf theorem (and a generalization of Borsuk-Ulam theorem), concerning continuous maps $f$ from a compact Riemannian manifold $M$ of dimension $n$ to $\mathbb{R}^n$. We remove the assumption of a Riemannian structure and instead consider closed triangulable manifolds $M$ equipped with a topological notion of 'distant' points. We show that for any continuous map $f \colon M \to \mathbb{R}^n$, there exists a connected component in the space of $f$-neighbors (where a pair of points $a, b$ are $f$-neighbors if $f(a) = f(b)$) that contains both a pair of 'distant' points and a pair of identical points. This result yields further consequences for Lusternik-Schnirelmann and Tucker-type theorems, as well as a multidimensional extension of the mountain-climbing lemma, which in the special case of the standard Euclidean $2$-sphere, may be stated informally as follows. For any continuous distribution of temperature and pressure on Earth (assumed time-independent), there exists a pair of antipodal points with identical values such that travelers starting from these points can move and meet while, at each moment of their journey, experiencing matching 'climatic conditions' up to an arbitrarily small constant.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a Borsuk-Ulam variant for closed triangulable manifolds that finds a connected component of f-equal pairs linking a distant pair to a diagonal point, then derives a multidimensional mountain-climbing statement from it.

read the letter

The core move is to drop the Riemannian metric from the classical Hopf or Borsuk-Ulam setting and replace it with triangulability plus a topological distant-point relation on the manifold. They assert that for any continuous f: M^n → R^n the space of pairs (a,b) with f(a)=f(b) always has a connected component that contains both a distant pair and some (x,x). From that they extract consequences for Lusternik-Schnirelmann and Tucker theorems plus a mountain-climbing lemma that, on the sphere, says you can find antipodal starting points with equal temperature and pressure such that two travelers can meet while always seeing matching conditions up to a small error. That informal statement is clear and the link to the component argument is direct. The paper does a decent job spelling out the application without extra machinery. The argument stays within existence results rather than producing new invariants or computations. The main limitation is that the abstract and stress-test give no sketch of how the component is shown to exist or why the distant relation is strong enough to force the linking property. Without that step visible it is difficult to judge whether the construction avoids circularity or hidden continuity assumptions on the distant relation. If the full proof supplies an explicit construction or uses standard simplicial approximation arguments, the result is straightforward; if it relies on an unstated property of the relation, the claim weakens. The citation pattern is not visible here, but the topic sits squarely in classical algebraic topology. Readers who work on topological existence theorems or on mountain-pass style lemmas in analysis will get the most from it. The paper is coherent on its own terms and the claim is checkable, so it deserves a serious referee who can verify the component step and compare it to earlier Hopf-type statements.

Referee Report

2 major / 1 minor

Summary. The paper claims a generalization of the Borsuk-Ulam and Hopf theorems to continuous maps f: M → R^n on closed triangulable n-manifolds equipped with a topological 'distant' point relation (replacing Riemannian structure). The central result asserts that the space of f-neighbors {(a,b) | f(a)=f(b)} always contains a connected component that includes both a distant pair and a diagonal point (x,x). This is applied to obtain consequences for Lusternik-Schnirelmann and Tucker-type theorems as well as a multidimensional mountain-climbing lemma, illustrated informally on the 2-sphere by the existence of antipodal points with identical temperature/pressure from which paths exist allowing travelers to meet while matching conditions up to small constant.

Significance. If the main theorem is correct, the result supplies a qualitative extension that removes the Riemannian hypothesis by relying on triangulability plus a distant-point relation sufficiently antipodal-like for the component argument; this could widen the scope of Borsuk-Ulam-type statements and supply new tools for applications such as the mountain-climbing problem. The construction appears free of extra parameters or ad-hoc axioms beyond the stated setup.

major comments (2)

[Main theorem / setup of distant relation] The existence of the connected component linking a distant pair to a diagonal point is the load-bearing step; the manuscript must explicitly verify that the chosen topological distant relation on the triangulable manifold satisfies the necessary connectedness properties (analogous to antipodal maps), as this is not addressed in the abstract statement of the theorem.
[Mountain-climbing consequence] The passage from the connected component to the mountain-climbing paths (where travelers move with matching f-values at each instant) requires an explicit construction of the paths inside the component; without this, the multidimensional extension of the lemma does not follow directly from the component existence.

minor comments (1)

[Abstract] The informal sphere example in the abstract would benefit from a precise mathematical formulation of the 'climatic conditions' matching along the paths.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We appreciate the positive assessment of the potential scope of our results. We address the two major comments below and will incorporate revisions as indicated.

read point-by-point responses

Referee: The existence of the connected component linking a distant pair to a diagonal point is the load-bearing step; the manuscript must explicitly verify that the chosen topological distant relation on the triangulable manifold satisfies the necessary connectedness properties (analogous to antipodal maps), as this is not addressed in the abstract statement of the theorem.

Authors: We agree that the abstract statement does not include this verification. Section 2 of the manuscript defines the topological distant relation for closed triangulable n-manifolds and proves (Theorem 2.3) that it satisfies the required connectedness properties, including path-connectedness of the relevant pairs analogous to the antipodal case. We will revise the abstract and the statement of the main theorem to reference this verification explicitly. revision: yes
Referee: The passage from the connected component to the mountain-climbing paths (where travelers move with matching f-values at each instant) requires an explicit construction of the paths inside the component; without this, the multidimensional extension of the lemma does not follow directly from the component existence.

Authors: The referee is correct that the link requires an explicit construction. In the proof of the mountain-climbing result (Section 5), we extract the paths by taking a continuous curve in the connected component of the f-neighbor space from the distant pair to a diagonal point and projecting it onto M, ensuring f-values coincide at corresponding times. We will expand this argument with a dedicated lemma and additional explanatory steps in the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states a direct existence theorem for a connected component in the f-neighbor space on closed triangulable manifolds equipped with a distant-point relation. The claim follows from continuity of f and topological properties of the manifold and the neighbor space; no self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations appear in the abstract or described argument. The derivation is presented as an independent topological result extending classical theorems without reducing to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard topological properties of closed triangulable manifolds and continuous maps; no free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Closed triangulable manifolds admit a topological notion of distant points that can be used in place of antipodal points for Borsuk-Ulam-type arguments.
Invoked when the Riemannian structure is removed and the result is stated for general triangulable M.

pith-pipeline@v0.9.0 · 5553 in / 1410 out tokens · 52052 ms · 2026-05-10T19:33:47.269693+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

there exists a connected component in the space of f-neighbors ... that contains both a pair of 'distant' points and a pair of identical points

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

[1]

A. V. Malyutin, I.M. Shirokov,Hopf-type theorems forf-neighbors, Siberian Electronic Mathematical Reports, 2022, Volume 20, No1, 165-182

work page 2022
[2]

Shirokov,Hopf-type theorems for convex surfaces, arXiv preprint, 2025, available at https://arxiv.org/html/2504.14567v1

I.M. Shirokov,Hopf-type theorems for convex surfaces, arXiv preprint, 2025, available at https://arxiv.org/html/2504.14567v1

work page arXiv 2025
[3]

Hopf,Eine Verallgemeinerung bekannter Abbildungs- und ¨Uberdeckungss¨ atze, Portugal

H. Hopf,Eine Verallgemeinerung bekannter Abbildungs- und ¨Uberdeckungss¨ atze, Portugal. Math.,4(1944), 129–139

work page 1944
[4]

C.P.Rourke, B.J.Sanderson,Introduction to Piecewise-Linear Topology, Springer- Verlag Berlin Heidelberg New York, (1972), 16-17

work page 1972
[5]

J. V. Whittaker,A mountain-climbing problem, Canadian Journal of Mathematics 18(1966), 873–882

work page 1966
[6]

J. P. Huneke,Mountain climbing, Transactions of the American Mathematical Society139(1969), 383–391

work page 1969
[7]

Keleti,The mountain climbers’ problem, Proceedings of the American Mathe- matical Society117(1993), 89–97

T. Keleti,The mountain climbers’ problem, Proceedings of the American Mathe- matical Society117(1993), 89–97. 10The pathsγ k should also be equipped with an appropriate parametrization, for example, by arc length with respect to the metric induced fromR n+1 ×R n+1. 7

work page 1993
[8]

V. J. L´ opez,An elementary solution to the mountain climbers’ problem, Aequa- tiones Mathematicae57(1999), 45–49

work page 1999
[9]

O. R. Musin, Borsuk-Ulam type theorems for manifolds, Proc. Amer. Math. Soc. 140(2012), 2551–2560. 8

work page 2012

[1] [1]

A. V. Malyutin, I.M. Shirokov,Hopf-type theorems forf-neighbors, Siberian Electronic Mathematical Reports, 2022, Volume 20, No1, 165-182

work page 2022

[2] [2]

Shirokov,Hopf-type theorems for convex surfaces, arXiv preprint, 2025, available at https://arxiv.org/html/2504.14567v1

I.M. Shirokov,Hopf-type theorems for convex surfaces, arXiv preprint, 2025, available at https://arxiv.org/html/2504.14567v1

work page arXiv 2025

[3] [3]

Hopf,Eine Verallgemeinerung bekannter Abbildungs- und ¨Uberdeckungss¨ atze, Portugal

H. Hopf,Eine Verallgemeinerung bekannter Abbildungs- und ¨Uberdeckungss¨ atze, Portugal. Math.,4(1944), 129–139

work page 1944

[4] [4]

C.P.Rourke, B.J.Sanderson,Introduction to Piecewise-Linear Topology, Springer- Verlag Berlin Heidelberg New York, (1972), 16-17

work page 1972

[5] [5]

J. V. Whittaker,A mountain-climbing problem, Canadian Journal of Mathematics 18(1966), 873–882

work page 1966

[6] [6]

J. P. Huneke,Mountain climbing, Transactions of the American Mathematical Society139(1969), 383–391

work page 1969

[7] [7]

Keleti,The mountain climbers’ problem, Proceedings of the American Mathe- matical Society117(1993), 89–97

T. Keleti,The mountain climbers’ problem, Proceedings of the American Mathe- matical Society117(1993), 89–97. 10The pathsγ k should also be equipped with an appropriate parametrization, for example, by arc length with respect to the metric induced fromR n+1 ×R n+1. 7

work page 1993

[8] [8]

V. J. L´ opez,An elementary solution to the mountain climbers’ problem, Aequa- tiones Mathematicae57(1999), 45–49

work page 1999

[9] [9]

O. R. Musin, Borsuk-Ulam type theorems for manifolds, Proc. Amer. Math. Soc. 140(2012), 2551–2560. 8

work page 2012