Pith. sign in

REVIEW 1 major objections 1 minor 52 references

Topological singular set of manifold-valued maps weakly approximable by smooth maps

T0 review · 1 major / 1 minor · reviewed 2026-06-29 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A flat chain with coefficients in the p-th homotopy group of the target manifold vanishes if and only if the map is locally strongly approximable by smooth maps.

desk verdict Paper gives a GMT characterization of approximability via vanishing of a π_p(N)-valued flat chain without (p-1)-connectivity, but the abstract leaves the construction and equivalence proof uncheckable. read the letter →

arxiv 2605.28622 v1 pith:P32QC4LH submitted 2026-05-27 math.FA

Giacomo Canevari , Giandomenico Orlandi This is my paper
classification math.FA
keywords W^{1p}mapsmanifoldvaluedstrongapproximabilityflatchainssingularsetshomotopygroupsgeometricmeasuretheory
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper considers Sobolev maps of class W^{1,p} from a domain of dimension p+1 into a closed Riemannian manifold N that satisfies a topological condition on its homotopy groups. It constructs an object using flat chains from geometric measure theory that records the singularities of such maps when they are weak limits of smooth maps. The central result is that this object vanishes precisely when the map admits local strong approximation by smooth maps. This matters because it provides a characterization of approximability even when the manifold is not highly connected.

What carries the argument

flat chains with coefficients in π_p(N) that capture the point singularities of the map

What would settle it

A counterexample would be a map in the weak closure whose associated flat chain is nonzero yet which is still locally strongly approximable by smooth maps.

Watch

Extended reading notes

Core claim

Given a positive integer p, we consider W^{1,p}-maps from a Euclidean domain of dimension p+1 into a closed Riemannian manifold N. The target manifold is required to satisfy suitable topological conditions; in particular, the action of π1(N) over the πp(N) must be trivial. However, we do not assume that N is (p-1)-connected. Using tools from geometric measure theory -- namely, flat chains with coefficients in πp(N) -- we associate to each map u in the weak sequential closure of smooth maps an object that captures its point singularities. The vanishing of this object characterizes local strong approximability by smooth maps.

Load-bearing premise

The action of π_1(N) on π_p(N) is trivial.

Editorial extensions

If this is right

  • The vanishing of the object implies local strong approximability by smooth maps.
  • The object captures the point singularities of maps in the weak sequential closure.
  • The result holds without assuming the manifold is (p-1)-connected.
  • It uses flat chains to provide a topological characterization of singularities.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • This approach might allow for a finer classification of maps based on their singular chains.
  • It could be extended to study global approximability or energy minimization problems.
  • Applications to specific cases like maps into spheres or projective spaces where the trivial action condition is satisfied.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 1 minor

Summary. The paper considers W^{1,p}-maps from a (p+1)-dimensional Euclidean domain to a closed Riemannian manifold N satisfying that the action of π_1(N) on π_p(N) is trivial. It associates to each map in the weak sequential closure of smooth maps a topological singular set, defined as a flat chain with coefficients in π_p(N), and claims that the vanishing of this object characterizes the local strong approximability of the map by smooth maps.

Significance. If the result holds, it offers a new GMT-based invariant to characterize approximability by smooth maps for manifold-valued Sobolev functions, extending the theory beyond cases where N is highly connected. The use of flat chains with group coefficients is a standard tool in the field and the construction appears novel in this context.

major comments (1)
  1. [Abstract] The abstract states the characterization but supplies neither the precise definition of the flat chain nor the argument establishing the equivalence. The full manuscript must include these sections to allow verification of the construction and the if-and-only-if direction.
minor comments (1)
  1. The notation for the manifold is Ψ{N}; ensure consistency throughout the manuscript.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report and for recognizing the potential significance of the result. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] The abstract states the characterization but supplies neither the precise definition of the flat chain nor the argument establishing the equivalence. The full manuscript must include these sections to allow verification of the construction and the if-and-only-if direction.

    Authors: The full manuscript contains both the required elements. Definition 2.3 gives the precise construction of the topological singular set as a flat chain with coefficients in π_p(N), using the standard GMT framework for rectifiable chains with group coefficients. The if-and-only-if characterization is stated as Theorem 1.1 and proved in full in Sections 3 and 4 (with the necessity direction in Theorem 3.1 and sufficiency in Theorem 4.2), relying on the trivial action of π_1(N) on π_p(N) and the weak sequential closure assumption. The abstract follows the conventional length and level of detail; all technical content is supplied in the body for verification. revision: no

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: standard GMT construction yields independent characterization

full rationale

The paper defines an object via flat chains with coefficients in π_p(N) applied to maps in the weak closure of smooth maps, then proves (under the stated trivial action of π_1(N) on π_p(N)) that vanishing of this object is equivalent to local strong approximability. This is a direct construction from the map using external GMT machinery, not a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation. The topological hypothesis is an explicit assumption, not derived from the object itself. No equations or steps reduce the central claim to its inputs by construction.

Assumptions & free parameters 0 free parameters · 1 assumptions · 1 invented entities

The result rests on standard background from Sobolev spaces, geometric measure theory, and algebraic topology; the key added assumption is the trivial action condition.

assumptions (1)
  • domain assumption The action of π_1(N) on π_p(N) is trivial
    Stated in the abstract as required for the construction; without it the flat chain association may not be well-defined or the characterization may fail.
invented entities (1)
  • topological singular set as flat chain with coefficients in π_p(N)
    purpose: Captures point singularities of the map
    Defined via GMT tools applied to the map; no independent evidence outside the paper's construction is provided in the abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Topological singular set of manifold-valued maps weakly approximable by smooth maps." pith.science (2026). https://pith.science/paper/P32QC4LH

@misc{pith2026260528622,
  author       = {Pith},
  title        = {Pith review of: Topological singular set of manifold-valued maps weakly approximable by smooth maps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/P32QC4LH}},
  note         = {Machine review of arXiv:2605.28622}
}
abstract

Given a positive integer $p$, we consider $W^{1,p}$-maps from a Euclidean domain of dimension $p+1$ into a closed Riemannian manifold $\mathcal{N}$. The target manifold is required to satisfy suitable topological conditions; in particular, the action of $\pi_1(\mathcal{N})$ over the $\pi_p(\mathcal{N})$ must be trivial. However, we do not assume that $\mathcal{N}$ is $(p-1)$-connected. Using tools from geometric measure theory -- namely, flat chains with coefficients in~$\pi_p(\mathcal{N})$ -- we associate to each map $u$ in the weak sequential closure of smooth maps an object that captures its point singularities. The vanishing of this object characterizes local strong approximability by smooth maps.

Figures

Figures reproduced from arXiv: 2605.28622 by the authors.

Figure 1
Figure 1. Proof of (4.47): construction of the map [PITH_FULL_IMAGE:figures/full_fig_p040_1.png] view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

52 extracted references · 4 canonical work pages

  1. [1]

    Alberti, S

    G. Alberti, S. Baldo, and G. Orlandi. Functions with prescribed singularities.J. Eur. Math. Soc. (JEMS), 5(3):275–311, 2003

    2003

  2. [2]

    Alberti, S

    G. Alberti, S. Baldo, and G. Orlandi. Variational convergence for functionals of Ginzburg- Landau type.Indiana Univ. Math. J., 54(5):1411–1472, 2005

    2005

  3. [3]

    AcharacterizationofmapsinH 1(B3,S 2)whichcanbeapproximatedbysmooth maps.Annales de l’Institut Henri Poincaré

    F.Bethuel. AcharacterizationofmapsinH 1(B3,S 2)whichcanbeapproximatedbysmooth maps.Annales de l’Institut Henri Poincaré. C, Analyse non linéaire, 7(4):269–286, 1990

    1990

  4. [4]

    F. Bethuel. The approximation problem for Sobolev maps between two manifolds.Acta Math., 167(3-4):153–206, 1991

    1991

  5. [5]

    F. Bethuel. Approximations in trace spaces defined between manifolds.Nonlinear Anal., 24(1):121–130, 1995

    1995

  6. [6]

    F. Bethuel. A new obstruction to the extension problem for Sobolev maps between mani- folds.J. Fixed Point Theory Appli., 15(1):155–183, Mar 2014

    2014

  7. [7]

    F. Bethuel. A counterexample to the weak density of smooth maps between manifolds in Sobolev spaces.Invent. Math., 219(2):507–651, 2020

    2020

  8. [8]

    Bethuel and D

    F. Bethuel and D. Chiron. Some questions related to the lifting problem in Sobolev spaces. Contemporary Mathematics, 446:125–152, 2007. 43

    2007

Show all 52 references
  1. [9]

    Bethuel, J.-M

    F. Bethuel, J.-M. Coron, F. Demengel, and F. Hélein. A cohomological criterion for density of smooth maps in Sobolev spaces between two manifolds. InNematics (Orsay, 1990), volume 332 ofNATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., pages 15–23. Kluwer Acad. Publ., Dordrecht, 1991

    1990

  2. [10]

    Bethuel and F

    F. Bethuel and F. Demengel. Extensions for Sobolev mappings between manifolds.Cal. Var. Partial Differential Equations, 3(4):475–491, 1995

    1995

  3. [11]

    Bethuel and X

    F. Bethuel and X. Zheng. Density of smooth functions between two manifolds in Sobolev spaces.J. Funct. Anal., 80(1):60 – 75, 1988

    1988

  4. [12]

    Bourgain, H

    J. Bourgain, H. Brezis, and P. Mironescu. Lifting in Sobolev spaces.Journal d’Analyse Mathématique, 80(1):37–86, 2000

    2000

  5. [13]

    Bousquet

    P. Bousquet. Topological singularities inWs,p(SN,S 1).Journal d’Analyse Mathématique, 102:311–346, 2007

    2007

  6. [14]

    Bousquet, A

    P. Bousquet, A. C. Ponce, and J. Van Schaftingen. Density of smooth maps for fractional Sobolev spacesW s,p intoℓ-simply connected manifolds whens≥1.Confluentes Mathem- atici, 5(2):3–24, 2013

    2013

  7. [15]

    Bousquet, A

    P. Bousquet, A. C. Ponce, and J. Van Schaftingen. Strong approximation of fractional Sobolev maps.J. Fixed Point Theory Appl., 15(2):133–153, 2014

    2014

  8. [16]

    Bousquet, A

    P. Bousquet, A. C. Ponce, and J. Van Schaftingen. Strong density for higher order Sobolev spaces into compact manifolds.J. Eur. Math. Soc., 17(4):763–817, 2015

    2015

  9. [17]

    Bousquet, A

    P. Bousquet, A. C. Ponce, and J. Van Schaftingen. Generic topological screening and approximation of sobolev maps. Preprint arXiv 2501.18149, 2025

    2025

  10. [18]

    Brezis and P

    H. Brezis and P. Mironescu. Density inW s,p(Ω;N).Journal of Functional Analysis, 269(7):2045–2109, 2015

  11. [19]

    Brezis and L

    H. Brezis and L. Nirenberg. Degree theory and BMO. I. Compact manifolds without bound- aries.Selecta Math. (N.S.), 1(2):197–263, 1995

    1995

  12. [20]

    Brezis and L

    H. Brezis and L. Nirenberg. Degree theory and BMO. II. Compact manifolds with boundar- ies.Selecta Math. (N.S.), 2(3):309–368, 1996. With an appendix by the authors and Petru Mironescu

    1996

  13. [21]

    Canevari, V

    G. Canevari, V. P. C. Le, R. Oliver-Bonafoux, and G. Orlandi.Γ-convergence of thep- Dirichlet energy for manifold-valued maps. Preprint, arXiv:2505.21257 [math.AP], 2025

    2025

  14. [22]

    Canevari and G

    G. Canevari and G. Orlandi. Topological singular set of vector-valued maps, I: Applications to manifold-constrained Sobolev and BV spaces.Calc. Var. Partial Differ. Equ., 58(2):72, Mar 2019. 44

    2019

  15. [23]

    Canevari and G

    G. Canevari and G. Orlandi. Topological singular set of vector-valued maps, II:Γ- convergenceforginzburg–landautypefunctionals.Arch. Rational Mech. Anal., 241(2):1065– 1135, 2021

    2021

  16. [24]

    Caselli, M

    M. Caselli, M. Freguglia, and N. Picenni. Coercivity and gamma-convergence of thep- energy of sphere-valued sobolev maps. Preprint, arXiv:2503.14142, 2025

    2025

  17. [25]

    Chemin, F

    A. Chemin, F. Henrotte, J.-F. Remacle, and J. van Schaftingen.Representing Three- Dimensional Cross Fields Using Fourth Order Tensors, pages89–108. SpringerInternational Publishing, Cham, 2019

    2019

  18. [26]

    De Pauw and R

    T. De Pauw and R. Hardt. Rectifiable and flatGchains in a metric space.Amer. J. Math., 134(1):1–69, 2012

    2012

  19. [27]

    Detaille

    A. Detaille. An improved dense class in Sobolev spaces to manifolds.J. Funct. Anal., 289(2):110894, 2025

    2025

  20. [28]

    Detaille and J

    A. Detaille and J. Van Schaftingen. Analytical obstructions to the weak approximation of Sobolev mappings into manifolds. Preprint, arXiv:2412.12889, 2024

    2024

  21. [29]

    Eells and L

    J. Eells and L. Lemaire. A report on harmonic maps [Bull. London Math. Soc.10(1978), no. 1, 1–68; MR0495450 (82b:58033)]. InTwo reports on harmonic maps, pages 1–68. World Sci. Publ., River Edge, NJ, 1995

    1978

  22. [30]

    Federer.Geometric measure theory

    H. Federer.Geometric measure theory. Die Grundlehren der mathematischen Wis- senschaften, Band 153. Springer-Verlag New York Inc., New York, 1969

    1969

  23. [31]

    Federer and W

    H. Federer and W. H. Fleming. Normal and integral currents.Ann. Math. (2), 72:458–520, 1960

    1960

  24. [32]

    W. H. Fleming. Flat chains over a finite coefficient group.Trans. Amer. Math. Soc., 121:160–186, 1966

    1966

  25. [33]

    Giaquinta, G

    M. Giaquinta, G. Modica, and J. Souček.Cartesian currents in the calculus of variations. I, volume 37 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Mode...

    1998

  26. [34]

    P. Hajłasz. Approximation of Sobolev mappings.Nonlinear Anal., 22(12):1579–1591, 1994

    1994

  27. [35]

    Hang and F.-H

    F. Hang and F.-H. Lin. Topology of Sobolev mappings. III.Comm. Pure Appl. Math., 56(10):1383–1415, 2003

    2003

  28. [36]

    Hardt, D

    R. Hardt, D. Kinderlehrer, and F.-H. Lin. Existence and partial regularity of static liquid crystal configurations.Comm. Math. Phys., 105(4):547–570, 1986

    1986

  29. [37]

    Hardt and T

    R. Hardt and T. Rivière. Connecting rational homotopy type singularities.Acta Math., 200(1):15–83, 2008. 45

    2008

  30. [38]

    Hélein and J

    F. Hélein and J. C. Wood. Harmonic maps. InHandbook of Global Analysis, pages 417–491,

  31. [39]

    Elsevier Sci. B. V., Amsterdam, 2008

    2008

  32. [40]

    Luckhaus

    S. Luckhaus. Partial Hölder continuity for minima of certain energies among maps into a Riemannian manifold.Indiana Univ. Math. J., 37(2):349–367, 1988

    1988

  33. [41]

    N. D. Mermin. The topological theory of defects in ordered media.Rev. Modern Phys., 51(3):591–648, 1979

    1979

  34. [42]

    Mironescu and J

    P. Mironescu and J. Van Schaftingen. Lifting in compact covering spaces for fractional Sobolev mappings.Anal. PDE, 14(6):1851–1871, 2021

    2021

  35. [43]

    Mironescu and J

    P. Mironescu and J. Van Schaftingen. Trace theory for Sobolev mappings into a manifold. Ann. Fac. Sci. Toulouse Math. (6), 30(2):281–299, 2021

    2021

  36. [44]

    D. Mucci. Strong density results in trace spaces of maps between manifolds.Manuscripta Mathematica, 128(4):421–441, 2009

    2009

  37. [45]

    M. R. Pakzad and T. Rivière. Weak density of smooth maps for the Dirichlet energy between manifolds.Geom. Funct. Anal., 13(1):223–257, 2003

    2003

  38. [46]

    T. H. Parker. Bubble tree convergence for harmonic maps.J. Diff. Geom., 44(3):595–633, 1996

    1996

  39. [47]

    T. Rivière. Minimizing fibrations andp-harmonic maps in homotopy classes fromS3 into S2.Comm. Anal. Geom., 6(3):427–483, 1998

    1998

  40. [48]

    Schoen and K

    R. Schoen and K. Uhlenbeck. Boundary regularity and the Dirichlet problem for harmonic maps.J. Diff. Geom., 18(2):253–268, 1983

    1983

  41. [49]

    B. White. Infima of energy functionals in homotopy classes of mappings.J. Diff. Geom., 23(2):127–142, 1986

    1986

  42. [50]

    B. White. The deformation theorem for flat chains.Acta Math., 183(2):255–271, 1999

    1999

  43. [51]

    B. White. Rectifiability of flat chains.Ann. Math. (2), 150(1):165–184, 1999

    1999

  44. [52]

    Whitney.Geometric integration theory

    H. Whitney.Geometric integration theory. Princeton University Press, Princeton, N. J., 1957. 46

    1957

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.