pith. sign in

arxiv: 2210.04730 · v3 · submitted 2022-10-10 · 🧮 math.FA

Weak and strong L^p-limits of vector fields with finitely many integer singularities in dimension n

Riccardo Caniato , Filippo Gaia This is my paper

Pith reviewed 2026-05-24 10:38 UTC · model grok-4.3

classification 🧮 math.FA
keywords L^p closurevector fieldstopological singularitiesminimal connectionweak sequential closurebi-Lipschitz domainsinteger singularitiesfunctional analysis
0
0 comments X

The pith

The strong L^p-closure of vector fields with finitely many integer singularities equals the fields whose singular sets admit a minimal connection, on domains bi-Lipschitz equivalent to a cube.

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

The paper identifies the strong L^p-closure L_Z^p(D) of vector fields having finitely many integer topological singularities. This holds for every p in [1, infinity) on domains D that are bi-Lipschitz equivalent to the open unit n-cube or to the boundary of the unit (n+1)-cube. It further shows that L_Z^p(D) is weakly sequentially closed for p in (1, infinity) when D is an open domain bi-Lipschitz equivalent to the cube and n is at least 2. The identification yields a characterization of the class by the existence of a minimal connection for the singular set. A sympathetic reader cares because the result describes exactly which limits of singular approximating sequences remain inside the class in both strong and weak topologies.

Core claim

For every p in [1, +infty) and n >= 1 the strong L^p-closure L_Z^p(D) of the class of vector fields having finitely many integer topological singularities is identified on a domain D which is either bi-Lipschitz equivalent to the open unit n-dimensional cube or to the boundary of the unit (n+1)-dimensional cube. Moreover, for every n >= 2 the class L_Z^p(D) is weakly sequentially closed for every p in (1, +infty) whenever D is an open domain in R^n which is bi-Lipschitz equivalent to the open unit cube. As a byproduct a useful characterisation of such class of objects is obtained in terms of existence of a (minimal) connection for their singular set.

What carries the argument

The minimal connection for the singular set, which characterises membership in the identified strong closure L_Z^p(D).

If this is right

  • Any strong L^p limit of vector fields with finitely many integer singularities must have a singular set that admits a minimal connection.
  • The class L_Z^p(D) is closed under strong L^p convergence on the stated domains for all p >= 1.
  • For p > 1 the class is also closed under weak sequential convergence on open cube-like domains when n >= 2.
  • The characterisation supplies an explicit criterion to decide whether a given vector field belongs to the strong closure without constructing approximating sequences.

Where Pith is reading between the lines

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

  • The same minimal-connection criterion might continue to describe the closure after the bi-Lipschitz assumption is relaxed to weaker regularity on the domain boundary.
  • The result supplies a concrete test for whether a numerically generated sequence of singular fields converges to a limit inside the class: check whether the limiting singular set supports a minimal connection.
  • The weak-closure statement for p > 1 suggests that variational problems whose energy is weakly lower semicontinuous can be approximated by fields with finite singularities while preserving the energy limit.

Load-bearing premise

The domain D must be bi-Lipschitz equivalent to the open unit n-cube or the boundary of the unit (n+1)-cube.

What would settle it

A concrete sequence of vector fields each having only finitely many integer singularities that converges strongly in L^p to a limit field whose singular set admits no minimal connection, on a domain bi-Lipschitz equivalent to the cube.

read the original abstract

For every given $p\in [1,+\infty)$ and $n\in\mathbb{N}$ with $n\ge 1$, the authors identify the strong $L^p$-closure $L_{\mathbb{Z}}^p(D)$ of the class of vector fields having finitely many integer topological singularities on a domain $D$ which is either bi-Lipschitz equivalent to the open unit $n$-dimensional cube or to the boundary of the unit $(n+1)$-dimensional cube. Moreover, for every $n\in\mathbb{N}$ with $n\ge 2$ the authors prove that $L_{\mathbb{Z}}^p(D)$ is weakly sequentially closed for every $p\in (1,+\infty)$ whenever $D$ is an open domain in $\mathbb{R}^n$ which is bi-Lipschitz equivalent to the open unit cube. As a byproduct of the previous analysis, a useful characterisation of such class of objects is obtained in terms of existence of a (minimal) connection for their singular set.

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 / 2 minor

Summary. The manuscript identifies the strong L^p-closure L_Z^p(D) of the class of vector fields having finitely many integer topological singularities, for every p in [1, +infty) and n >=1, on domains D bi-Lipschitz equivalent to the open unit n-cube or the boundary of the unit (n+1)-cube. It further establishes that L_Z^p(D) is weakly sequentially closed for p in (1, +infty) when n >=2 on open domains bi-Lipschitz equivalent to the unit cube, and obtains a characterization of the class in terms of the existence of a minimal connection for the singular set.

Significance. If the identifications and closure properties hold, the results supply a precise description of strong and weak L^p-limits for vector fields with prescribed integer singularities on geometrically restricted domains. This could serve as a useful reference point for subsequent work on Sobolev-type spaces with topological constraints or minimal connections in geometric analysis.

minor comments (2)
  1. [Introduction] The abstract states the domain restrictions explicitly as part of the result; consider adding a sentence in the introduction clarifying whether the bi-Lipschitz assumption is essential or merely sufficient for the stated conclusions.
  2. Notation for the singular set and the minimal connection should be introduced with a forward reference to the precise definition used in the characterization theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity; domain restrictions stated explicitly as hypotheses

full rationale

The abstract and claim description present the identification of L_Z^p(D) and its weak sequential closure only under the explicit hypothesis that D is bi-Lipschitz equivalent to the unit cube (or boundary of the (n+1)-cube). This geometric scoping is part of the stated result rather than an unstated or derived assumption. No equations, self-citations, fitted parameters, or ansatzes are shown reducing the target closures or minimal-connection characterization back to quantities defined from themselves. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard properties of L^p spaces, topological degree for integer singularities, and the geometric assumption that domains are bi-Lipschitz equivalent to cubes; no free parameters or new entities are introduced.

axioms (2)
  • standard math L^p spaces are Banach spaces whose norm and weak topology behave according to standard functional-analysis theorems.
    Invoked throughout the statements about strong and weak closures.
  • domain assumption Bi-Lipschitz maps between domains preserve the relevant measure-theoretic and topological properties needed for the singularity analysis.
    Explicitly required for the domains D in both main theorems.

pith-pipeline@v0.9.0 · 5708 in / 1448 out tokens · 38804 ms · 2026-05-24T10:38:43.531602+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

27 extracted references · 27 canonical work pages

  1. [1]

    Functions with pres cribed singularities

    G. Alberti, S. Baldo, and G. Orlandi. “Functions with pres cribed singularities”. In: J. Eur. Math. Soc. (JEMS) 5.3 (2003), pp. 275–311

    work page 2003

  2. [2]

    Currents in metric spaces

    L. Ambrosio and B. Kirchheim. “Currents in metric spaces” . In: Acta Math. 185.1 (2000), pp. 1–80

    work page 2000

  3. [3]

    Berger and B

    M. Berger and B. Gostiaux. Degree Theory. Springer New York, 1988, 244–276. isbn: 978-1-4612-1033-7. doi: 10.1007/978-1-4612-1033-7_8. url: https://doi.org/10.1007/978-1-4612-1033-7_8

    work page doi:10.1007/978-1-4612-1033-7_8 1988

  4. [4]

    A coh omological criterion for density of smooth maps in Sobolev spaces between two mani folds

    F. Bethuel, J.-M. Coron, F. Demengel, and F. Hélein. “A coh omological criterion for density of smooth maps in Sobolev spaces between two mani folds”. In: Nematics (Orsay, 1990) . Vol. 332. NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci. Kluwe r Acad. Publ., Dordrecht, 1991, pp. 15–23. 66

    work page 1990

  5. [5]

    Density of smooth functions be tween two manifolds in Sobolev spaces

    F. Bethuel and X. M. Zheng. “Density of smooth functions be tween two manifolds in Sobolev spaces”. In: J. Funct. Anal. 80.1 (1988), pp. 60–75

    work page 1988

  6. [6]

    Bott and L

    R. Bott and L. W. Tu. Differential forms in algebraic topology . Vol. 82. Graduate Texts in Mathematics. Springer-Verlag, New York-Berlin, 1982, pp . xiv+331

    work page 1982

  7. [7]

    Liquid crystals and energy estimates for S2-valued map

    H. Brezis. “Liquid crystals and energy estimates for S2-valued map”. In: Theory and Applications of Liquid Crystals . Springer, 1987, pp. 31–52

    work page 1987

  8. [8]

    Harmonic maps with defects

    H. Brezis, J.-M. Coron, and E. H. Lieb. “Harmonic maps with defects”. In: Comm. Math. Phys. 107.4 (1986), pp. 649–705

    work page 1986

  9. [9]

    W 1, 1-maps with values into S1

    H. Brezis, P. Mironescu, and A. C. Ponce. “ W 1, 1-maps with values into S1”. In: Ge- ometric analysis of PDE and several complex variables . Vol. 368. Contemp. Math. Amer. Math. Soc., Providence, RI, 2005, pp. 69–100

    work page 2005

  10. [10]

    Degree theory and BMO; part I: Compact manifolds without boundaries

    H. Brezis and L. Nirenberg. “Degree theory and BMO; part I: Compact manifolds without boundaries”. In: Selecta Mathematica 1 (1995), pp. 197–263

    work page 1995

  11. [11]

    The strong Lp-closure of vector fields with finitely many integer singu- larities on B3

    R. Caniato. “The strong Lp-closure of vector fields with finitely many integer singu- larities on B3”. In: J. Funct. Anal. 281.6 (2021), Paper No. 109095, 50

    work page 2021

  12. [12]

    A variational approach to S1-harmonic maps and applica- tions

    F. Gaia and T. Rivière. “A variational approach to S1-harmonic maps and applica- tions”. In: (2021). url: https://arxiv.org/abs/2111.14769

    work page arXiv 2021

  13. [13]

    Giaquinta, G

    M. Giaquinta, G. Modica, and J. Souček. Cartesian currents in the calculus of vari- ations. II . Vol. 38. Ergebnisse der Mathematik und ihrer Grenzgebiete . 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathema tics and Related Ar- eas. 3rd Series. A Series of Modern Surveys in Mathematics]. Variational integrals. Springer-Verlag, Berlin...

    work page 1998

  14. [14]

    Connecting topological Hopf s ingularities

    R. Hardt and T. Rivière. “Connecting topological Hopf s ingularities”. In: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 2.2 (2003), pp. 287–344

    work page 2003

  15. [15]

    Ensembles singuliers topolog iques dans les espaces fonc- tionnels entre variétés

    R. Hardt and T. Rivière. “Ensembles singuliers topolog iques dans les espaces fonc- tionnels entre variétés”. In: Séminaire: Équations aux Dérivées Partielles, 2000–2001 . Sémin. Équ. Dériv. Partielles. École Polytech., Palaiseau , 2001, Exp. No. VII, 14

    work page 2000

  16. [16]

    Singular bundles with bounde d L2-curvatures

    T. Kessel and T. Rivière. “Singular bundles with bounde d L2-curvatures”. In: Boll. Unione Mat. Ital. (9) 1.3 (2008), pp. 881–901

    work page 2008

  17. [17]

    Kobayashi and K

    S. Kobayashi and K. Nomizu. Foundations of differential geometry. Vol. I . Wiley Clas- sics Library. Reprint of the 1963 original, A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1996, pp. xii+329

    work page 1963

  18. [18]

    Kobayashi and K

    S. Kobayashi and K. Nomizu. Foundations of differential geometry. Vol. II . Wiley Classics Library. Reprint of the 1969 original, A Wiley-Int erscience Publication. John Wiley & Sons, Inc., New York, 1996, pp. xvi+468

    work page 1969

  19. [19]

    S. G. Krantz and H. R. Parks. Geometric integration theory. Cornerstones. Birkhäuser Boston, Boston, MA, 2008, pp. xvi+339

    work page 2008

  20. [20]

    F. Maggi. Sets of finite perimeter and geometric variational problems . Vol. 135. Cam- bridge Studies in Advanced Mathematics. An introduction to geometric measure the- ory. Cambridge University Press, Cambridge, 2012, pp. xx+4 54. 67

    work page 2012

  21. [21]

    An integrability result for Lp-vector fields in the plane

    M. Petrache. “An integrability result for Lp-vector fields in the plane”. In: Adv. Calc. Var. 6.3 (2013), pp. 299–319

    work page 2013

  22. [22]

    The resolution of the Yang- Mills Plateau problem in super-critical dimensions

    M. Petrache and T. Rivière. “The resolution of the Yang- Mills Plateau problem in super-critical dimensions”. In: Adv. Math. 316 (2017), pp. 469–540

    work page 2017

  23. [23]

    Weak closure of singular ab elianLp-bundles in 3 dimen- sions

    M. Petrache and T. Rivière. “Weak closure of singular ab elianLp-bundles in 3 dimen- sions”. In: Geom. Funct. Anal. 21.6 (2011), pp. 1419–1442

    work page 2011

  24. [24]

    On the distributions of the form ∑ i(δpi − δni)

    A. C. Ponce. “On the distributions of the form ∑ i(δpi − δni)”. In: Journal of Functional Analysis 210 (2004), pp. 391–435

    work page 2004

  25. [25]

    A regularity theory for har monic maps

    R. Schoen and K. Uhlenbeck. “A regularity theory for har monic maps”. In: J. Differ- ential Geometry 17.2 (1982), pp. 307–335

    work page 1982

  26. [26]

    Boundary regularity and the Dirichlet problem for harmonic maps

    R. Schoen and K. Uhlenbeck. “Boundary regularity and the Dirichlet problem for harmonic maps”. In: J. Differential Geom. 18.2 (1983), pp. 253–268

    work page 1983

  27. [27]

    Lp theory of differential forms on manifolds

    C. Scott. “ Lp theory of differential forms on manifolds”. In: Trans. Amer. Math. Soc. 347.6 (1995), pp. 2075–2096. R. Caniato, Depar tment of Ma thema tics, ETH, Rämistrasse 101, CH-8093 Z ürich, Switzerland riccardo.caniato@math.ethz.ch F. Gaia, Depar tment of Ma thema tics, ETH, Rämistrasse 101, CH-8093 Z ürich, Switzerland filippo.gaia@math.ethz.ch 68

    work page 1995