pith. sign in

arxiv: 2606.29382 · v1 · pith:LRAIWC5Hnew · submitted 2026-06-28 · 🧮 math.AP

The distance between homotopy classes of Sobolev maps on spheres

Rupert L. Frank , Paata Ivanisvili This is my paper

Pith reviewed 2026-06-30 02:20 UTC · model grok-4.3

classification 🧮 math.AP
keywords Sobolev mapsBrouwer degreehomotopy classessphere mapscritical Sobolev spacedirected distanceW^{1,n}
0
0 comments X

The pith

The directed distance between Sobolev self-maps of the n-sphere equals an explicit constant times their Brouwer degree difference.

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

Maps from the n-sphere to itself in the critical Sobolev space W^{1,n} are classified by their Brouwer degree, an integer. The paper proves that the directed distance between any two such maps depends only on the difference of their degrees and is proportional to it with an explicit factor. This holds uniformly for all maps of given degrees. In the special case n equals 2, the result settles an open question raised by Brezis about the separation of homotopy classes. The finding matters because it equips the space of maps with a concrete metric that respects the topological classification.

Core claim

The main result states that the directed distance between maps of different degrees in W^{1,n}(S^n, S^n) is equal to an explicit constant times the difference in degrees.

What carries the argument

The directed distance on the space of W^{1,n} maps with prescribed Brouwer degree, shown to be finite and to scale linearly with the degree difference.

If this is right

  • Maps with the same degree can be connected by paths of arbitrarily small directed distance.
  • The distance between degree d and degree e is exactly |d - e| times the constant separating degree 0 and degree 1.
  • For the 2-sphere this gives the exact distance between degree 0 and degree 1 maps.
  • The homotopy classes are metrically separated in a simple arithmetic way.

Where Pith is reading between the lines

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

  • One could use this distance to study the geometry of the space of maps and find shortest paths between classes.
  • The result might generalize to maps between other manifolds where degree is defined.
  • Numerical approximation of the distance for specific maps could verify the constant.
  • It suggests that changing the degree requires a minimal fixed cost independent of the starting map.

Load-bearing premise

The directed distance is well-defined and finite for maps in the critical Sobolev space W^{1,n}(S^n,S^n) with prescribed Brouwer degree.

What would settle it

A direct calculation showing that the infimum distance between a degree-zero map and a degree-one map differs from the predicted explicit constant.

read the original abstract

We consider self-maps of a sphere in the critical Sobolev space with a given Brouwer degree. Our main result is that the (directed) distance between maps of different degrees is equal to an explicit constant times the difference in degrees. In the case of the 2-sphere this resolves an open problem by Brezis.

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.

Referee Report

0 major / 3 minor

Summary. The manuscript studies self-maps of the n-sphere belonging to the critical Sobolev space W^{1,n}(S^n,S^n) with prescribed Brouwer degree. Its central claim is that the directed distance between the homotopy classes of maps with degrees k and m equals an explicit constant C_n times |k-m|. For n=2 the result is presented as a resolution of an open problem posed by Brezis.

Significance. If the stated equality holds, the work supplies the first explicit, sharp formula for the distance between distinct degree classes in the critical Sobolev space. The result is consistent with the known continuity of Brouwer degree on W^{1,n} and supplies both a lower bound (via a degree-controlled inequality) and an upper bound (via explicit approximating sequences). The resolution of the n=2 case is a concrete advance; the higher-dimensional extension is a natural and useful generalization.

minor comments (3)
  1. [§1] §1, first paragraph after the statement of the main theorem: the directed distance is introduced without an explicit formula or reference to its precise definition; a self-contained definition (or a clear pointer to the relevant equation) should appear before the theorem is stated.
  2. [§3] §3, the construction of the upper bound: the approximating sequence is described only qualitatively; adding one or two explicit formulas for the test maps would make the argument easier to verify.
  3. Notation: the constant C_n is referred to as 'explicit' but its closed-form expression is not displayed until later; placing the formula immediately after the main theorem would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the supportive summary, significance assessment, and recommendation of minor revision. No major comments appear in the report, so we provide no point-by-point responses below.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper states a main result equating directed distance between degree classes in W^{1,n}(S^n,S^n) to an explicit constant times degree difference, resolving Brezis' problem on S^2. This rests on standard continuity of Brouwer degree in the critical Sobolev space together with independent lower bounds from degree-controlled inequalities and upper bounds from explicit approximating sequences. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided text; the claim is externally falsifiable against known Sobolev embedding and degree theory without reducing to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result relies on the standard theory of Sobolev spaces, the definition of Brouwer degree for maps in W^{1,n}, and the existence of a metric on the space of maps; no free parameters or invented entities are visible in the abstract.

axioms (2)
  • standard math Brouwer degree is well-defined and integer-valued for maps in the critical Sobolev space W^{1,n}(S^n, S^n)
    Invoked in the first sentence of the abstract as the given data for each map.
  • domain assumption The directed distance is a well-defined non-negative real number on the space of such maps
    Central to the statement that the distance equals C times degree difference.

pith-pipeline@v0.9.1-grok · 5565 in / 1345 out tokens · 43630 ms · 2026-06-30T02:20:26.304060+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    Bethuel, H

    F. Bethuel, H. Brezis, and J.-M. Coron, Relaxed energies for harmonic maps, in Variational Methods (Paris, 1988), Progress in Nonlinear Differential Equations and Their Applications, vol. 4, Birkh\"auser Boston, Boston, MA, 1990, pp. 37--52. doi:10.1007/978-1-4757-1080-9\_3 https://doi.org/10.1007/978-1-4757-1080-9_3

    work page doi:10.1007/978-1-4757-1080-9 1988

  2. [2]

    Brezis, Some of my favorite open problems, Rend

    H. Brezis, Some of my favorite open problems, Rend. Lincei Mat. Appl. 34 (2023), no. 2, 307--335. doi:10.4171/RLM/1008 https://doi.org/10.4171/RLM/1008

    work page doi:10.4171/rlm/1008 2023

  3. [3]

    Brezis and J.-M

    H. Brezis and J.-M. Coron, Large solutions for harmonic maps in two dimensions, Comm. Math. Phys. 92 (1983), no. 2, 203--215. doi:10.1007/BF01210846 https://doi.org/10.1007/BF01210846

    work page doi:10.1007/bf01210846 1983

  4. [4]

    Brezis and Y

    H. Brezis and Y. Li, Topology and Sobolev spaces, J. Funct. Anal. 183 (2001), no. 2, 321--369. doi:10.1006/jfan.2000.3736 https://doi.org/10.1006/jfan.2000.3736

    work page doi:10.1006/jfan.2000.3736 2001

  5. [5]

    Brezis, P

    H. Brezis, P. Mironescu, and I. Shafrir, Distances between homotopy classes of W^ s,p ( S^N; S^N) , ESAIM Control Optim. Calc. Var. 22 (2016), no. 4, 1204--1235. doi:10.1051/cocv/2016037 https://doi.org/10.1051/cocv/2016037

    work page doi:10.1051/cocv/2016037 2016

  6. [6]

    Brezis, P

    H. Brezis, P. Mironescu, and I. Shafrir, Distances between classes in W^ 1,1 ( ; ^1) , Calc. Var. Partial Differential Equations 57 (2018) no. 1, Art. 14, 32. doi:10.1007/s00526-017-1280-z https://doi.org/10.1007/s00526-017-1280-z

    work page doi:10.1007/s00526-017-1280-z 2018

  7. [7]

    Brezis and L

    H. Brezis and L. Nirenberg, Degree theory and BMO. I. Compact manifolds without boundaries, Selecta Math. (N.S.) 1 (1995), no. 2, 197--263. doi:10.1007/BF01671566 https://doi.org/10.1007/BF01671566

    work page doi:10.1007/bf01671566 1995

  8. [8]

    Detaille and J

    A. Detaille and J. Van Schaftingen, Heterotopic energy for Sobolev mappings, Commun. Contemp. Math. 28 (2026), no. 5, Paper No. 2640006. doi:10.1142/S0219199726400067 https://doi.org/10.1142/S0219199726400067

    work page doi:10.1142/s0219199726400067 2026

  9. [9]

    Levi and I

    S. Levi and I. Shafrir, On the distance between homotopy classes of maps between spheres, J. Fixed Point Theory Appl. 15 (2014), no. 2, 501--518. doi:10.1007/s11784-014-0156-5 https://doi.org/10.1007/s11784-014-0156-5

    work page doi:10.1007/s11784-014-0156-5 2014

  10. [10]

    Rubinstein and I

    J. Rubinstein and I. Shafrir, The distance between homotopy classes of S^1 -valued maps in multiply connected domains, Israel J. Math. 160 (2007), 41--59. doi:10.1007/s11856-007-0055-1 https://doi.org/10.1007/s11856-007-0055-1

    work page doi:10.1007/s11856-007-0055-1 2007

  11. [11]

    Schoen and K

    R. Schoen and K. Uhlenbeck, Boundary regularity and the Dirichlet problem for harmonic maps, J. Differ. Geom. 18 (1983), 253--268. doi:10.4310/jdg/1214437663 https://doi.org/10.4310/jdg/1214437663

    work page doi:10.4310/jdg/1214437663 1983

  12. [12]

    Shafrir, On the distance between homotopy classes in W^ 1/p,p ( S^1; S^1) , Confluentes Math

    I. Shafrir, On the distance between homotopy classes in W^ 1/p,p ( S^1; S^1) , Confluentes Math. 10 (2018), no. 1, 125--136. doi:10.5802/cml.48 https://doi.org/10.5802/cml.48

    work page doi:10.5802/cml.48 2018