Generic topological screening and approximation of Sobolev maps

Augusto C. Ponce; Jean Van Schaftingen; Pierre Bousquet

REVIEW 3 major objections 5 minor 109 references

Generic topological screening and approximation of Sobolev maps

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read A Sobolev map can be approximated by smooth maps exactly when it passes a generic extendability test, and only the integer part of kp matters.

desk verdict A serious, substantial monograph that introduces a genuinely new generic-composition framework and sharp if-and-only-if criteria for strong approximation on manifolds, but the manifold reduction in the final chapter rests on an unproved inheritance claim that needs close checking. read the letter →

arxiv 2501.18149 v1 pith:2TMFEIUY submitted 2025-01-30 math.FA math.APmath.CA

Pierre Bousquet , Augusto C. Ponce , Jean Van Schaftingen This is my paper · ORCID

classification math.FAmath.APmath.CA MSC 58D1546E3558C2547H1126A9955S35

keywords SobolevmapsbetweenmanifoldsstrongapproximationofsmoothFugledeextensionpropertyVMOHurewiczcurrentsdistributionalJacobianhigher-orderspaces

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

This monograph answers, for maps between compact manifolds, the question of when a Sobolev map can be strongly approximated by smooth maps. The answer is an extendability condition: when the domain dimension $m$ exceeds $kp$, a map $u\in W^{k,p}(M;N)$ lies in the closure of smooth maps if and only if $u$ is $(\lfloor kp\rfloor,m)$-extendable, meaning that for every generic Lipschitz map from an $m$-dimensional simplicial complex into $M$, the composition $u\circ\gamma$ is homotopic in the VMO sense to a continuous map defined on the whole complex. More generally, $u$ is $(\lfloor kp\rfloor,e)$-extendable for $e$ between $\lfloor kp\rfloor+1$ and $m$ if and only if $u$ can be approximated by maps that are smooth except on structured singular sets of rank $m-e-1$. The framework makes the obstruction quantitative: only the integer part of $kp$ controls approximability, and all approximability criteria are tested through compositions with a single summable "detector" function. If correct, this reduces the approximation problem for any given map to a topological test on generic spheres or simplices.

What carries the argument

The load-bearing object is the Fuglede map/detector pair. For every Sobolev function $u$ there is a summable function $w$—the detector—such that any Lipschitz map $\gamma$ with $w\circ\gamma$ integrable is a Fuglede map, and the composition $u\circ\gamma$ is Sobolev with the chain rule holding almost everywhere. This converts the classical notion of generic restriction (almost every sphere, almost every translation) into a single composition condition that is stable under limits and works uniformly on spheres, simplices, and simplicial complexes. On top of this, the paper builds VMO-homotopy, where maps are compared by continuous paths in VMO, and the $(\ell,e)$-extendability conditions that package local and global topological obstructions. The final chapter's opening, thickening, adaptive smoothing, and shrinking constructions are what convert extendability into actual approximating sequences.

What would settle it

A decisive calculation is to take the degree-one radial map $u(x)=x/|x|$ on $B^m$ into $S^{m-1}$ with $m-1<kp<m$: the theory predicts non-approximability because it is not $(\lfloor kp\rfloor,m)$-extendable, and indeed its distributional Jacobian is a nonzero delta at the origin. One can implement the detector selection numerically, sample generic spheres, and check whether any smooth sequence converges strongly in $W^{k,p}$; if such a sequence exists, the dichotomy collapses.

Watch

Extended reading notes

Core claim

On its own terms, the paper establishes Theorems 1.14 and 1.17: for $kp<m$, a map $u\in W^{k,p}(M;N)$ belongs to $H^{k,p}(M;N)$ if and only if $u$ is $(\lfloor kp\rfloor,m)$-extendable, and for each $e\in\{\lfloor kp\rfloor+1,\dots,m\}$ it is $(\lfloor kp\rfloor,e)$-extendable if and only if it is the $W^{k,p}$ limit of maps in $R_{m-e-1}(M;N)$. The $(\ell,e)$-extendability condition is defined through Fuglede maps: a summable detector $w$ on $M$ selects Lipschitz maps $\gamma$ from an $e$-dimensional simplicial complex such that $w\circ\gamma$ is integrable, and the condition asks that $u\circ\gamma$ restricted to the $\ell$-skeleton be VMO-homotopic to the restriction of a continuous map on the whole complex. The proof runs through opening, thickening, adaptive smoothing, and shrinking, which turn extendability into an explicit approximating sequence, first on Lipschitz open sets and then on compact manifolds via a smooth retraction of a tubular neighborhood. For maps into a sphere $S^n$ with $n\le kp<n+1$, the paper also shows that $\lfloor kp\rfloor$-extendability is equivalent to the vanishing of the distributional Jacobian $d(u^\#\omega_{S^n})=0$.

Load-bearing premise

The entire machinery assumes the generic composition lemma and its higher-order, manifold version: for every Sobolev map there really is a single summable detector $w$ that makes all admissible compositions Sobolev and obeys the chain rule; if this lemma fails for the Lipschitz domains or polytopes used later, the equivalence between extendability and approximability loses its foundation.

Editorial extensions

If this is right

If correct, deciding whether a given Sobolev map is approximable by smooth maps reduces to checking extendability on generic simplices or spheres, without assuming anything global about the homotopy groups of the target manifold.
Approximability depends only on $\lfloor kp\rfloor$: $u\in H^{k,p}(M;N)$ if and only if $u\in H^{1,\lfloor kp\rfloor}(M;N)$, so higher-order regularity beyond the integer part of $kp$ does not change the topological obstruction.
Every map in $W^{k,p}(M;N)$ with $kp<m$ can be approximated by maps that are smooth outside a structured singular set of dimension $m-\lfloor kp\rfloor-1$, and approximation by maps with fewer singularities is possible exactly when the corresponding extendability test is passed.
For sphere-valued maps, the extendability criterion becomes cohomological: $d(u^\#\omega)=0$ in the sense of currents is equivalent to being in the smooth-approximation class, giving a computable obstruction in the range $n\le kp<n+1$.
The same machinery gives a concrete handle on the weak density problem, including cases where weak density fails and the obstruction depends on analytical energy rather than only on topology.

Reading between the lines

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

The detector-based genericity suggests an algorithmic route: sample Lipschitz maps $\gamma$ from a suitable family, check numerical integrability of $w\circ\gamma$ and homotopy triviality of $u\circ\gamma$, and thereby certify approximability of a given map without resolving the full homotopy groups of $N$.
The equality $H^{k,p}(M;N)=H^{1,\lfloor kp\rfloor}(M;N)$ suggests that in higher-order variational problems the topological selection of minimizers is governed by first-order data, which could simplify regularity arguments for polyharmonic maps.
The same framework may extend to fractional Sobolev maps $W^{s,p}$ with $sp$ playing the role of $kp$; if the chain of arguments adapts, only $\lfloor sp\rfloor$ should matter for smooth approximability.
A natural testable extension is to apply the extendability criterion to maps with singularities along lower-dimensional strata and ask whether the hierarchy $R_{m-e-1}$ gives a complete stratification of the space $W^{k,p}(M;N)$.
The paper's own Chapter 10 adaptation of the higher-order detector lemma to manifolds is the place to look for a potential gap; if that adaptation fails for some Lipschitz polytope, the equivalence between extendability and approximability would need a new foundation.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

You should know this paper is the real thing, not a routine extension. The authors build a new framework around Fuglede maps and generic composition: for each Sobolev map u they produce a summable detector w such that composing u with any Lipschitz map that satisfies w∘γ∈L1 lands in the right Sobolev or VMO class. That detector idea is genuinely novel and much more flexible than the old generic-restriction approach. They use it to define ℓ-extendability and (ℓ,e)-extendability, and then prove the expected characterization: a map in W^{k,p}(M;N) is strongly approximable by smooth maps iff it is (⌊kp⌋,m)-extendable, and approximable by maps with singular sets of rank m-e-1 iff it is (⌊kp⌋,e)-extendable. These are new results for compact manifolds and for higher k, and they subsume Bethuel's k=1 work on the ball.

The visible chapters are carefully written. Proposition 2.8 and its higher-order variant are solid; the VMO-detector machinery in Chapters 3 and 4 is coherent; the simplex-restriction characterization (Theorem 1.12) and the cohomological criterion (Theorem 1.13) are clean and genuinely useful. The paper credits prior work properly — Bethuel, Hang–Lin, White, and their own earlier paper — and I found no circularity or parameter fitting. The authors even include a limitation statement: Proposition 2.16's proof is omitted ("details are omitted"), which is honest but worth noting.

The soft spot is exactly where the stress-test points. For the manifold case, the proof reduces to a bounded Lipschitz open set by extending u to v = u∘~Π on a tubular neighborhood of dimension κ>m. The introduction asserts that v "inherits the same extendability properties as u". That inheritance is load-bearing: the open-set theorem is proved for (ℓ,m)-extendability, while v would need (ℓ,κ)-extendability, and the extension from the ℓ-skeleton to a κ-dimensional complex involves higher obstruction groups not controlled by the hypothesis on u. No proof of this inheritance lemma appears in the visible text, and the final approximation chapter (10.4–10.9) is not fully visible for audit. I cannot say the claim is false — the higher-order adaptation may handle it — but as it stands the main theorems are not independently verifiable from the material provided. That is a presentation gap, not a demonstrated error.

This is a monograph for specialists: anyone working on Sobolev maps between manifolds, calculus of variations, or the topology of VMO maps will want the framework. It deserves a serious referee, and I would accept it for peer review despite my own skepticism about the unverified step; the referee needs to check Chapter 10 closely, especially the manifold reduction. I would cite the generic-composition lemma for my own work even before the full proof is sorted out.

Referee Report

3 major / 5 minor

Summary. The manuscript develops a framework for the strong approximation of Sobolev maps between manifolds, based on a new notion of genericity by composition: for each Sobolev map one constructs a summable 'detector' function w such that u∘γ is Sobolev or VMO for every Lipschitz map γ with w∘γ integrable (Fuglede maps). Using this screening tool and a VMO homotopy theory, the authors define ℓ-extendability and its refinement (ℓ,e)-extendability for maps u∈W^{k,p}(M;N) with kp<m. The central claims are that u∈H^{k,p}(M;N) if and only if u is (⌊kp⌋,m)-extendable (Theorem 1.14), and that (⌊kp⌋,e)-extendability exactly characterizes approximability by maps that are smooth off structured singular sets of rank m−e−1 (Theorem 1.17). The monograph also contains cohomological criteria (Hurewicz degree and currents), local-to-global criteria, and corollaries on weak density. The proof strategy is to establish the approximation theorem first for bounded Lipschitz open sets in R^m and then pass to compact manifolds by extending u to a tubular neighborhood of M in an ambient Euclidean space.

Significance. If correct, the results give a precise and largely self-contained answer to a long-standing question: the exact topological and analytical obstruction to strong approximation of Sobolev maps by smooth maps, unifying and extending work of Bethuel, Hang–Lin, White, and the authors' earlier paper. The detector/Fuglede-map formalism is an original and potentially reusable tool, and the visible chapters contain detailed, largely self-contained proofs with explicit constructions and examples. The claims are falsifiable and involve no fitted parameters. The VMO machinery, the cohomological criteria, and the approximation constructions in Chapters 2–7 are internally coherent and appropriately reference prior work. The main unresolved issue is the reduction from manifolds to open sets in Chapter 10, which is load-bearing for the central theorems stated for compact manifolds.

major comments (3)

[§10.9 and Introduction, p. 10–11] The reduction of Theorems 1.14 and 1.17 from a compact manifold M to the open-set case proceeds by extending u to v:=u∘Π on a tubular neighborhood U⊂R^κ of M, and the introduction asserts that v 'inherits the same extendability properties as u'. No statement or proof of this inheritance lemma is visible in the provided text. This step is load-bearing: the open-set theorem requires v to be (⌊kp⌋,κ)-extendable, while the hypothesis on u gives only (⌊kp⌋,m)-extendability with κ>m. Since β:=Π∘γ maps a κ-dimensional complex into the m-dimensional manifold M, the higher obstructions H^{j+1}(K^κ,K^ℓ;π_j(N)) for j≥m are not controlled by (ℓ,m)-extendability. The authors should either prove the inheritance statement or replace this reduction by an argument that does not require extendability in dimension κ.
[§2.3, Propositions 2.14 and 2.16] The higher-order generic composition result is proved only for smooth maps Φ with bounded derivatives, and Proposition 2.16, the W^{k,p} analogue of Proposition 2.10, is stated with its proof omitted ('The details of the argument are omitted'). The later approximation theorems for k≥2 rely on higher-order composition and chain-rule estimates in the opening, thickening, and adaptive-smoothing constructions. The text should state precisely which regularity of Φ is needed in each application, and either supply the missing proof of Proposition 2.16 or give a complete reference. As written, the higher-order part of the framework is not independently verifiable from the material provided.
[§5.2, Definition 5.10 and Proposition 5.11] The transversal-perturbation axiom (c) in Definition 5.10 is used to prove the averaging estimate of Proposition 5.15, which in turn underpins the approximation of Fuglede maps and the stability arguments in Chapters 5, 6, and 10. For the Euclidean translation example the property is immediate, and for the tubular-neighborhood retraction it is plausible, but the verification for general compact manifolds is not given in the visible text. Since this is the only mechanism by which the constructions pass from R^m to manifolds, a short verification of (c) for Example 5.13 should be included.

minor comments (5)

[§2.3, proof of Proposition 2.14] The word 'Lispchitz' appears and should be corrected to 'Lipschitz'.
[§2.1, p. 17] The phrase 'symetric difference' should read 'symmetric difference'.
[Example 2.25] The statement refers to 'every summable function w : R^2→R', but detectors are [0,+∞]-valued; the codomain should be [0,+∞].
[Introduction, Definition 3.17] The class R_i(M;N) is used in the introduction before the formal definition of structured singular sets appears; it would help the reader to state the definition of R_i(M;N) explicitly at first use rather than only in the introduction.
[Chapter 4, Proposition 4.11] In the proof, the path t↦Π∘v_{i,δt} uses the convention v_{i,0}=v_i; this convention is introduced only in the middle of the proof and should be stated before it is used.

Circularity Check

0 steps flagged · score 1.0 of 10

No definitional circularity: extendability is a VMO-homotopy extension property, not a disguised approximability condition; cited self-citations are auxiliary, while the manifold inheritance assertion is an omitted-proof risk rather than a circular reduction.

full rationale

The central equivalence (Theorems 1.10, 1.14, 1.17) compares two distinct notions: (ℓ,e)-extendability is defined via generic composition with Lipschitz maps into e-dimensional simplicial complexes and VMO-homotopy to a continuous extension, while H^{k,p} or R_{m-e-1} approximability is a norm-density statement. The paper does not define one notion in terms of the other, and the proof supplies substantive constructions (Fuglede detectors, opening, thickening, adaptive smoothing, shrinking) for both directions. No parameter is fitted to a subset of data and then renamed a prediction; there are no fitted inputs. Self-citations to the authors' previous work [16] for the k≥2 case of Theorem 1.3 and for opening estimates are attributions and technical predecessors; the present manuscript reproves the relevant inclusion via Theorem 1.10 and gives its own proofs of the composition lemmas, so the central claim does not reduce to a self-citation chain. A real concern is the manifold reduction in §10.9: the text asserts that v := u∘~Π on a tubular neighborhood 'inherits the same extendability properties as u' without displaying a proof in the provided material, and this inheritance is load-bearing for passing from open sets to compact manifolds. This is an omitted-proof and correctness risk, not a circularity: extendability is not defined as approximability, so the equivalence is not true by construction. Overall, the derivation is self-contained modulo standard topology and the authors' earlier technical lemmas, and no circular step satisfying the quoted-reduction standard is present.

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

The paper introduces no physical entities, forces, or fitted parameters. The new mathematical notions, such as Fuglede maps, VMO-detectability, and extendability, are definitions rather than postulated entities with independent evidence. The central claim rests on standard analysis and topology plus two nonstandard constructions: the summable detector and transversal perturbations of the identity, both of which the paper proves exist.

assumptions (6)

standard math Sobolev space definitions and Gagliardo-Nirenberg interpolation W^{k,p} cap L^infty subset W^{1,kp}.
Invoked in the introduction after Example 1.11 to justify that W^{k,p}(M;N) maps are controlled by kp and to identify the relevant Sobolev scale.
standard math Brezis-Nirenberg VMO theory: BUC is dense in VMO, VMO maps have well-defined homotopy classes, and VMO homotopy agrees with classical homotopy on continuous maps.
Used throughout Chapters 4 and 5 as the topological substitute for continuity, specifically Propositions 4.6 and 4.11.
standard math The polytope of a finite simplicial complex, equipped with Hausdorff measure, satisfies doubling, metric continuity, and uniform nondegeneracy.
Assumed in Chapter 3 and verified in Example 3.2 so that the VMO density and homotopy results apply on skeleta.
domain assumption Domain V is either a Lipschitz open subset of R^m or a compact Riemannian manifold without boundary; target N is a compact smooth manifold.
Stated in the notational conventions and used in every definition and theorem; this is the natural setting for the problem.
ad hoc to paper There exists a summable detector w for each Sobolev map u such that u composed with gamma is Sobolev whenever w composed with gamma is integrable.
This is the foundational generic-composition lemma, Proposition 2.8, which is not a standard textbook result and is load-bearing for all extendability definitions.
ad hoc to paper Transversal perturbations of the identity exist on V and satisfy the coarea-type bounds in Definition 5.10.
Used to perturb arbitrary Lipschitz maps into Fuglede maps, as in Examples 5.12 to 5.14 and Proposition 5.11. The existence relies on tubular neighborhoods for compact manifolds.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Generic topological screening and approximation of Sobolev maps." pith.science (2026). https://pith.science/paper/2TMFEIUY

@misc{pith2026250118149,
  author       = {Pith},
  title        = {Pith review of: Generic topological screening and approximation of Sobolev maps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2TMFEIUY}},
  note         = {Machine review of arXiv:2501.18149}
}

abstract

This manuscript develops a framework for the strong approximation of Sobolev maps with values in compact manifolds, emphasizing the interplay between local and global topological properties. Building on topological concepts adapted to VMO maps, such as homotopy and the degree of continuous maps, it introduces and analyzes extendability properties, focusing on the notions of $\ell$-extendability and its generalization, $(\ell, e)$-extendability. We rely on Fuglede maps, providing a robust setting for handling compositions with Sobolev maps. Several constructions -- including opening, thickening, adaptive smoothing, and shrinking -- are carefully integrated into a unified approach that combines homotopical techniques with precise quantitative estimates. Our main results establish that a Sobolev map $u \in W^{k, p}$ defined on a compact manifold of dimension $m > kp$ can be approximated by smooth maps if and only if $u$ is $(\lfloor kp \rfloor, e)$-extendable with $e = m$. When $e < m$, the approximation can still be carried out using maps that are smooth except on structured singular sets of rank $m - e - 1$.

Figures

Figures reproduced from arXiv: 2501.18149 by the authors.

**Figure 2.1.** u ◦ Φ op is constant in the green region The proof of (2.15) is based on Tonelli’s theorem and an affine change of variables: ˆ Qm δ ˆ Qm 5δ w(ζ(x + z) − z) dx dz = ˆ Qm δ ˆ Qm 5δ+z w(ζ(y) − z) dy dz ≤ ˆ Qm 6δ ˆ Rm w(ζ(y) − z) dz dy = ˆ Qm 6δ ˆ Rm w(a) da dy = |Q m 6δ | ˆ Rm w. Although this simple argument relies strongly on the Euclidean space setting, this approach fits more generally in the context o… view at source ↗

**Figure 3.1.** The polytope of Example 3.12 concerning the imbedding of W1,ℓ into VMO on ℓ-dimensional domains. However, as observed by White [108], the latter step fails on polytopes Kℓ that are not sufficiently regular: Example 3.12. Let K2 be the polytope in R 2 formed by the union of two (solid) triangles: Σ 2 1 with vertices (0, 0), (1, 0), (1, 1), and Σ 2 2 with vertices (0, 0), (−1, 0), (−1, 1), see [PITH_FULL_IMAGE:figure… view at source ↗

Figures from the paper (11 more)

**Figure 10.1.** Figure 10.1: Opening around vertices (left) and then edges (right) function u ∈ Wk,p(R 2 ). We can first apply the opening technique around each vertex and then orthogonally around each side, see [PITH_FULL_IMAGE:figures/full_fig_p163_10_1.png]

**Figure 10.2.** Figure 10.2: Thickening in a disc and in a square 10.3. Thickening The thickening tool has been used in problems involving compact target manifolds [7,10,60], and allows one to extend a Sobolev map u defined on the boundary of a star-shaped domain to the whole domain, preservin…

**Figure 10.3.** Figure 10.3: Values of u ◦ Φ sh on the smaller disk (gray) are computed using u mostly from the larger yellow region (iii) there exists C ′′′ > 0 depending on m, r and ρ such that JmΦ sh(x) ≥ C ′′′ τm for every x ∈ B m τ . Proof. Given γ > 0, we take Φ sh : B m → B m of the form…

**Figure 10.4.** Figure 10.4: Cubication of a square and its good and bad cubes (colored blue and red, respectively) 10.7. Density on open sets We now focus on the proof of the direct implication of Theorem 10.4 when V = Ω is a bounded Lipschitz open subset of R m. To this end, in Parts 1–6 we c…

**Figure 10.5.** Figure 10.5: Construction of u op on a bad cube (left) and on the entire domain (right) where the constants are independent of u, η and U m. Indeed, by Corollary 10.8 there exists a summable function w1 for which (10.48) holds when Φ op ∈ Fugw1 (R m; R m). Since we also have tha…

**Figure 10.** Figure 10: illustrates opening applied to the [PITH_FULL_IMAGE:figures/full_fig_p189_10.png]

**Figure 10.6.** Figure 10.6: Opening used to construct u op η (left) and u fop η (right) a ∈ U ℓ + Qm ρη/2 and every 0 < r ≤ ρη/2, [PITH_FULL_IMAGE:figures/full_fig_p190_10_6.png]

**Figure 10.7.** Figure 10.7: Inside the pink squares, u sm can be far from N Proof of Theorem 10.4 — Part 3. We apply the adaptive smoothing to u op η to obtain a map u sm η : S m +Qm ρη → R ν whose images of S m \U m and U ℓ +Qm ρη/2 are contained in a small tubular neighborhood of N . We expl…

**Figure 10.8.** Figure 10.8: u th η is singular at the center of each cube Proof of Theorem 10.4 — Part 4. Denoting by Z ℓ ∗ the dual skeleton of U ℓ , we apply thickening to obtain an Rℓ ∗ map u th η : (S m + Qm ρη/2 ) \ Z ℓ ∗ → R ν with singular set Z ℓ ∗ such that u th η (S m \ Z ℓ ∗ ) ⊂ N +…

**Figure 10.** Figure 10: illustrates thickening applied to the 1-dimensional skeleton of the bad [PITH_FULL_IMAGE:figures/full_fig_p193_10.png]

**Figure 10.9.** Figure 10.9: u sh η,τ,µ is smooth in each cube Although u ex η,µ is an Re ∗ map in int S m, it is not suitable for the approximation problem in the Wk,p scale as we have no L p estimate of its derivatives in a neighborhood of T ℓ ∗ . To remedy this issue, the next step of the p…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

109 extracted references · 79 canonical work pages

[1]

Alberti, S

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

2003
[2]

Angelsberg and D

G. Angelsberg and D. Pumberger,A regularity result for polyharmonic maps with higher integrability, Ann. Global Anal. Geom.35 (2009), 63–81.↑1

2009
[3]

Ball,Convexity conditions and existence theorems in nonlinear elasticity,Arch

J.M. Ball,Convexity conditions and existence theorems in nonlinear elasticity,Arch. Rational Mech. Anal. 63 (1976/77), no. 4, 337–403.↑100

1976
[4]

J. M. Ball and A. Zarnescu,Orientability and energy minimization in liquid crystal models, Arch. Ration. Mech. Anal.202 (2011), no. 2, 493–535.↑1

2011
[5]

Bernard, J.-F

P.-E. Bernard, J.-F. Remacle, N. Kowalski, and C. Geuzaine,Hex-dominant meshing approach based on frame field smoothness, Procedia Engineering82 (2014), 175–186.↑1

2014
[6]

Bethuel,A characterization of maps inH 1(B3, S2) which can be approximated by smooth maps, Ann

F. Bethuel,A characterization of maps inH 1(B3, S2) which can be approximated by smooth maps, Ann. Inst. H. Poincaré C Anal. Non Linéaire7 (1990), 269–286.↑9, 113

1990
[7]

167 (1991), 153–206.↑3, 10, 11, 162, 181, 197, 198

, The approximation problem for Sobolev maps between two manifolds, Acta Math. 167 (1991), 153–206.↑3, 10, 11, 162, 181, 197, 198

1991
[8]

Math.219 (2020), 507–651.↑11

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

2020

Show all 109 references

[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, Nematics (Orsay, 1990), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 332, Kluwer Acad. Publ., Dordrecht, 1991, pp. 15–23.↑9, 113

1990
[10]

Bethuel and X

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

1988
[11]

Bott and L

R. Bott and L. W. Tu,Differential forms in algebraic topology, Graduate Texts in Mathe- matics, vol. 82, Springer-Verlag, New York, 1982.↑99, 115

1982
[12]

Bourgain, H

J. Bourgain, H. Brezis, and P. Mironescu,Lifting, degree, and distributional Jacobian revisited, Comm. Pure Appl. Math.58 (2005), 529–551.↑114

2005
[13]

Bousquet,Topological singularities inW s,p(SN , S1), J

P. Bousquet,Topological singularities inW s,p(SN , S1), J. Anal. Math.102 (2007), 311–346. ↑114

2007
[14]

Bousquet and P

P. Bousquet and P. Mironescu,Prescribing the Jacobian in critical spaces, J. Anal. Math. 122 (2014), 317–373.↑114

2014
[15]

Bousquet, A

P. Bousquet, A. C. Ponce, and J. Van Schaftingen,Density of smooth maps for fractional Sobolev spaces W s,p into ℓ simply connected manifolds whens ⩾ 1, Confluentes Math.5 (2013), 3–22.↑11, 124

2013
[16]

, Strong density for higher order Sobolev spaces into compact manifolds, J. Eur. Math. Soc. (JEMS) 17 (2015), 763–817.↑3, 10, 12, 13, 26, 27, 153, 154, 158, 160, 163, 165, 166, 170, 179, 180, 182, 185, 187, 188

2015
[17]

, Density of bounded maps in Sobolev spaces into complete manifolds, Ann. Mat. Pura Appl. (4)196 (2017), no. 6, 2261–2301.↑12, 158

2017
[18]

Branding, S

V. Branding, S. Montaldo, C. Oniciuc, and A. Ratto,Higher order energy functionals, Adv. Math. 370 (2020), 107236.↑1

2020
[19]

Brezis,Relaxed energies for harmonic maps and liquid crystals, Ricerche Mat.40 (1991), 163–173.↑1 203 Preprint – January 2025 204 BIBLIOGRAPHY

H. Brezis,Relaxed energies for harmonic maps and liquid crystals, Ricerche Mat.40 (1991), 163–173.↑1 203 Preprint – January 2025 204 BIBLIOGRAPHY

1991
[20]

, The interplay between analysis and topology in some nonlinear PDE problems, Bull. Amer. Math. Soc. (N.S.)40 (2003), no. 2, 179–201.↑1

2003
[21]

, Functional analysis, Sobolev spaces and partial differential equations, Universitext, Springer, New York, 2011.↑21

2011
[22]

, Some of my favorite open problems, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 34 (2023), no. 2, 307–335.↑198

2023
[23]

Brezis, J.-M

H. Brezis, J.-M. Coron, and E. H. Lieb,Harmonic maps with defects, Comm. Math. Phys. 107 (1986), no. 4, 649–705.↑100, 102

1986
[24]

Brezis and Y

H. Brezis and Y. Li,Topology and Sobolev spaces, J. Funct. Anal.183 (2001), 321–369.↑12, 26

2001
[25]

Brezis and P

H. Brezis and P. Mironescu,Sobolev maps to the circle: From the perspective of analysis, geometry, and topology, Birkhäuser/Springer, 2021.↑155, 164, 198

2021
[26]

Brezis and L

H. Brezis and L. Nirenberg,Degree theory and BMO. I. Compact manifolds without bound- aries, Selecta Math. (N.S.)1 (1995), 197–263.↑3, 7, 12, 39, 49, 59, 62, 64, 65, 68

1995
[27]

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 Differential Equations58 (2019), no. 2, Paper No. 72, 40.↑114

2019
[28]

, Topological singular set of vector-valued maps, II:Γ-convergence for Ginzburg- Landau type functionals, Arch. Ration. Mech. Anal.241 (2021), no. 2, 1065–1135, DOI 10.1007/s00205-021-01671-2. MR4275752↑114

2021 doi
[29]

S.-Y. A. Chang, L. Wang, and P. C. Yang,A regularity theory of biharmonic maps, Comm. Pure Appl. Math.52 (1999), 1113–1137.↑1

1999
[30]

Coron, J.-M

J.-M. Coron, J.-M. Ghidaglia, and F. Hélein (eds.),Nematics: Mathematical and physical aspects, NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences, vol. 332, Kluwer, Dordrecht, 1991.↑1

1991
[31]

Demengel,Une caractérisation des applications deW 1,p(BN , S1) qui peuvent être ap- prochées par des fonctions régulières, C

F. Demengel,Une caractérisation des applications deW 1,p(BN , S1) qui peuvent être ap- prochées par des fonctions régulières, C. R. Acad. Sci. Paris Sér. I Math.310 (1990), 553–557. ↑9, 113

1990
[32]

de Rham,Differentiable manifolds

G. de Rham,Differentiable manifolds. Forms, currents, harmonic forms, Grundlehren der Mathematischen Wissenschaften, vol. 266, Springer-Verlag, Berlin, 1984.↑111

1984
[33]

Detaille,A complete answer to the strong density problem in Sobolev spaces with values into compact manifolds

A. Detaille,A complete answer to the strong density problem in Sobolev spaces with values into compact manifolds. arXiv:2305.12589.↑12, 192
[34]

arXiv:2402.17373.↑156

, An improved dense class in Sobolev spaces to manifolds. arXiv:2402.17373.↑156
[35]

Detaille, P

A. Detaille, P. Mironescu, and K. Xiao,Pullback of closed forms by low regularity maps to manifolds, and applications. In preparation.↑99
[36]

Detaille and J

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

arXiv
[37]

Eells and B

J. Eells and B. Fuglede,Harmonic maps between Riemannian polyhedra, Cambridge Tracts in Mathematics, vol. 142, Cambridge Univ. Press, Cambridge, 2001.↑1

2001
[38]

Eells and L

J. Eells and L. Lemaire,Two reports on harmonic maps, World Scientific Publishing, River Edge, NJ, 1995.↑1

1995
[39]

Eells and J

J. Eells and J. H. Sampson,Énergie et déformations en géométrie différentielle, Ann. Inst. Fourier (Grenoble)14 (1964), no. 1, 61–69.↑1

1964
[40]

U.S.-Japan Seminar in Differential Geom- etry (Kyoto, 1965), Nippon Hyoronsha, Tokyo, 1966, pp

, Variational theory in fibre bundles, Proc. U.S.-Japan Seminar in Differential Geom- etry (Kyoto, 1965), Nippon Hyoronsha, Tokyo, 1966, pp. 22–33.↑1

1965
[41]

L. C. Evans and R. F. Gariepy,Measure theory and fine properties of functions, Textbooks in Mathematics, CRC Press, Boca Raton, FL, 2015.↑44

2015
[42]

Federer,Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, Band 153, Springer-Verlag, New York, 1969.↑75

H. Federer,Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, Band 153, Springer-Verlag, New York, 1969.↑75

1969
[43]

Federer and W

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

1960
[44]

Fuglede,Extremal length and functional completion, Acta Math.98 (1957), 171–219.↑6, 19, 37 Preprint – January 2025 BIBLIOGRAPHY 205

B. Fuglede,Extremal length and functional completion, Acta Math.98 (1957), 171–219.↑6, 19, 37 Preprint – January 2025 BIBLIOGRAPHY 205

1957
[45]

Gastel,The extrinsic polyharmonic map heat flow in the critical dimension, Adv

A. Gastel,The extrinsic polyharmonic map heat flow in the critical dimension, Adv. Geom. 6 (2006), no. 4, 501–521.↑1

2006
[46]

, Partial regularity of polyharmonic maps to targets of sufficiently simple topology, Z. Anal. Anwend. 35 (2016), no. 4, 397–410.↑1, 12

2016
[47]

Gastel and C

A. Gastel and C. Scheven,Regularity of polyharmonic maps in the critical dimension, Comm. Anal. Geom. 17 (2009), 185–226.↑1

2009
[48]

Giaquinta and L

M. Giaquinta and L. Martinazzi,An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs, 2nd ed., Appunti. Scuola Normale Superiore di Pisa (Nuova Serie), vol. 11, Edizioni della Normale, Pisa, 2012.↑48

2012
[49]

Giaquinta, G

M. Giaquinta, G. Modica, and J. Souček,The gap phenomenon for variational integrals in Sobolev spaces, Proc. Roy. Soc. Edinburgh Sect. A120 (1992), no. 1-2, 93–98.↑198

1992
[50]

, Cartesian currents in the calculus of variations. I. Cartesian currents, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 37, Springer-Verlag, Berlin, 1998.↑104

1998
[51]

, Cartesian currents in the calculus of variations. II. Variational integrals, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 38, Springer-Verlag, Berlin, 1998.↑113

1998
[52]

Giaquinta and D

M. Giaquinta and D. Mucci,Maps into manifolds and currents: area andW 1,2-, W 1/2-, BV-energies, Centro di Ricerca Matematica Ennio De Giorgi (CRM) Series, vol. 3, Edizioni della Normale, Pisa, 2006.↑1

2006
[53]

Giusti,Direct methods in the calculus of variations, World Scientific Publishing, River Edge, NJ, 2003.↑48

E. Giusti,Direct methods in the calculus of variations, World Scientific Publishing, River Edge, NJ, 2003.↑48

2003
[54]

Goldstein, P

P. Goldstein, P. Strzelecki, and A. Zatorska-Goldstein,On polyharmonic maps into spheres in the critical dimension, Ann. Inst. H. Poincaré Anal. Non Linéaire26 (2009), 1387–1405. ↑1

2009
[55]

Gol’dshtein and M

V. Gol’dshtein and M. Troyanov, Sobolev inequalities for differential forms and Lq,p- cohomology, J. Geom. Anal.16 (2006), 597–631.↑111, 117

2006
[56]

H. Gong, T. Lamm, and C. Wang,Boundary partial regularity for a class of biharmonic maps, Calc. Var. Partial Differential Equations45 (2012), 165–191.↑1

2012
[57]

Hadwin and H

D. Hadwin and H. Yousefi,A general view of BMO and VMO, Banach spaces of analytic functions, Contemp. Math., vol. 454, Amer. Math. Soc., Providence, RI, 2008, pp. 75–91.↑59

2008
[58]

Hajłasz,Approximation of Sobolev mappings, Nonlinear Anal.22 (1994), 1579–1591.↑3, 9, 11, 124, 125

P. Hajłasz,Approximation of Sobolev mappings, Nonlinear Anal.22 (1994), 1579–1591.↑3, 9, 11, 124, 125

1994
[59]

Hang,Density problems forW 1,1(M, N), Comm

F. Hang,Density problems forW 1,1(M, N), Comm. Pure Appl. Math.55 (2002), 937–947. ↑11

2002
[60]

Hang and F.-H

F. Hang and F.-H. Lin,Topology of Sobolev mappings, II, Acta Math.191 (2003), 55–107. ↑9, 10, 12, 73, 123, 125, 126, 141, 162

2003
[61]

Pure Appl

, Topology of Sobolev mappings, III, Comm. Pure Appl. Math.56 (2003), 1383–1415. ↑27, 197

2003
[62]

IV, Discrete Contin

, Topology of Sobolev mappings. IV, Discrete Contin. Dyn. Syst.13 (2005), 1097–1124. ↑198

2005
[63]

Hardt, D

R. Hardt, D. Kinderlehrer, and F.-H. Lin, Stable defects of minimizers of constrained variational principles, Ann. Inst. H. Poincaré Anal. Non Linéaire5 (1988), 297–322.↑27

1988
[64]

Hardt and F.-H

R. Hardt and F.-H. Lin,A remark onH 1 mappings, Manuscripta Math.56 (1986), no. 1, 1–10.↑198

1986
[65]

Pure Appl

, Mappings minimizing theLp norm of the gradient, Comm. Pure Appl. Math.40 (1987), no. 5, 555–588.↑1, 198

1987
[66]

Hardt and T

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

2008
[67]

Hatcher,Algebraic topology, Cambridge University Press, Cambridge, 2002.↑99, 126, 149

A. Hatcher,Algebraic topology, Cambridge University Press, Cambridge, 2002.↑99, 126, 149

2002
[68]

W. He, R. Jiang, and L. Lin,Existence of extrinsic polyharmonic maps in critical dimensions, J. Funct. Anal.285 (2023), Paper No. 110020, 34.↑1, 198

2023
[69]

Hebey,Sobolev spaces on Riemannian manifolds, Lecture Notes in Mathematics, vol

E. Hebey,Sobolev spaces on Riemannian manifolds, Lecture Notes in Mathematics, vol. 1635, Springer-Verlag, Berlin, 1996.↑46 Preprint – January 2025 206 BIBLIOGRAPHY

1996
[70]

Hélein and J

F. Hélein and J. C. Wood,Harmonic maps, Handbook of global analysis, Elsevier, Amsterdam, 2008, pp. 417–491.↑1

2008
[71]

S. Herr, T. Lamm, T. Schmid, and R. Schnaubelt,Biharmonic wave maps: local wellposedness in high regularity, Nonlinearity 33 (2020), no. 5, 2270–2305.↑1

2020
[72]

S. Herr, T. Lamm, and R. Schnaubelt,Biharmonic wave maps into spheres, Proc. Amer. Math. Soc. 148 (2020), no. 2, 787–796.↑1

2020
[73]

Hoffmann and Q

K.-H. Hoffmann and Q. Tang,Ginzburg-Landau phase transition theory and superconductivity, International Series of Numerical Mathematics, vol. 134, Birkhäuser, Basel, 2001.↑1

2001
[74]

Hopf,Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche, Math

H. Hopf,Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche, Math. Ann. 104 (1931), 637–665.↑114

1931
[75]

Huang, Y

J. Huang, Y. Tong, H. Wei, and H. Bao,Boundary aligned smooth 3D cross-frame field, ACM Trans. Graph.30 (2011), no. 6, 1–8.↑1

2011
[76]

Hubert and R

A. Hubert and R. Schäfer,Magnetic domains: The analysis of magnetic microstructures, Springer, Berlin, 1998.↑1

1998
[77]

Isobe,Characterization of the strong closure ofC∞(B4; S2) in W 1,p(B4; S2) ( 16 5 ≤ p < 4), J

T. Isobe,Characterization of the strong closure ofC∞(B4; S2) in W 1,p(B4; S2) ( 16 5 ≤ p < 4), J. Math. Anal. Appl.190 (1995), 361–372.↑120

1995
[78]

Z.252 (2006), 691–730.↑196

, On global singularities of Sobolev mappings, Math. Z.252 (2006), 691–730.↑196

2006
[79]

Iwaniec, C

T. Iwaniec, C. Scott, B. Stroffolini, A. Hubert, and R. Schäfer,Magnetic domains: The analysis of magnetic microstructures, Ann. Mat. Pura Appl. (4)177 (1998), 37–115.↑118

1998
[80]

Jost, Riemannian geometry and geometric analysis, 6th ed., Universitext, Springer, Heidelberg, 2011.↑1

J. Jost, Riemannian geometry and geometric analysis, 6th ed., Universitext, Springer, Heidelberg, 2011.↑1

2011
[81]

Lamm,Heat flow for extrinsic biharmonic maps with small initial energy, Ann

T. Lamm,Heat flow for extrinsic biharmonic maps with small initial energy, Ann. Global Anal. Geom. 26 (2004), no. 4, 369–384.↑1

2004
[82]

Lamm and C

T. Lamm and C. Wang,Boundary regularity for polyharmonic maps in the critical dimension, Adv. Calc. Var.2 (2009), 1–16.↑1

2009
[83]

Y. Li, Y. Liu, W. Xu, W. Wang, and B. Guo,All-hex meshing using singularity-restricted field, ACM Trans. Graph.31 (2012), no. 6, article 177.↑1

2012
[84]

E. H. Lieb,Remarks on the Skyrme model, Differential geometry: geometry in mathematical physics and related topics (Los Angeles, CA, 1990), Proc. Sympos. Pure Math., vol. 54, Amer. Math. Soc., Providence, RI, 1993, pp. 379–384.↑1

1990
[85]

Lin,Mapping problems, fundamental groups and defect measures, Acta Math

F. Lin,Mapping problems, fundamental groups and defect measures, Acta Math. Sin. (Engl. Ser.) 15 (1999), 25–52.↑198

1999
[86]

Lin and C

F. Lin and C. Wang,The analysis of harmonic maps and their heat flows, World Scientific Publishing, Hackensack, NJ, 2008.↑1

2008
[87]

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

1979
[88]

Montaldo and C

S. Montaldo and C. Oniciuc,A short survey on biharmonic maps between Riemannian manifolds, Rev. Un. Mat. Argentina47 (2006), 1–22.↑1

2006
[89]

C. B. Morrey Jr.,Multiple integrals in the calculus of variations, Springer-Verlag, Berlin, 2008.↑116

2008
[90]

Moser, Partial regularity for harmonic maps and related problems, World Scientific Publishing, Hackensack, NJ, 2005.↑1

R. Moser, Partial regularity for harmonic maps and related problems, World Scientific Publishing, Hackensack, NJ, 2005.↑1

2005
[91]

Partial Differential Equations 33 (2008), 1654–1689.↑1

, A variational problem pertaining to biharmonic maps, Comm. Partial Differential Equations 33 (2008), 1654–1689.↑1

2008
[92]

Mucci,Maps into projective spaces: liquid crystal and conformal energies, Discrete Contin

D. Mucci,Maps into projective spaces: liquid crystal and conformal energies, Discrete Contin. Dyn. Syst. Ser. B17 (2012), no. 2, 597–635.↑1

2012
[93]

J. R. Munkres,Elementary differential topology, Princeton University Press, Princeton, NJ, 1966.↑43, 89, 143

1966
[94]

Neff,A geometrically exact Cosserat shell-model including size effects, avoiding degeneracy in the thin shell limit

P. Neff,A geometrically exact Cosserat shell-model including size effects, avoiding degeneracy in the thin shell limit. I:Formal dimensional reduction for elastic plates and existence of minimizers for positive Cosserat couple modulus, Contin. Mech. Thermodyn.16 (2004), no. 6,...

2004
[95]

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

2003
[96]

A. C. Ponce and J. Van Schaftingen,Closure of smooth maps inW 1,p(B3; S2), Differential Integral Equations 22 (2009), 881–900.↑9

2009
[97]

Rubinstein and P

J. Rubinstein and P. Sternberg,Homotopy classification of minimizers of the Ginzburg- Landau energy and the existence of permanent currents, Comm. Math. Phys.179 (1996), 257–263.↑71

1996
[98]

Sarason,Functions of vanishing mean oscillation, Trans

D. Sarason,Functions of vanishing mean oscillation, Trans. Amer. Math. Soc.207 (1975), 391–405.↑59

1975
[99]

Scheven,Dimension reduction for the singular set of biharmonic maps, Adv

C. Scheven,Dimension reduction for the singular set of biharmonic maps, Adv. Calc. Var.1 (2008), 53–91.↑1

2008
[100]

Schoen and K

R. Schoen and K. Uhlenbeck,Boundary regularity and the Dirichlet problem for harmonic maps, J. Differential Geom.18 (1983), 253–268.↑1, 2, 68, 98, 115

1983
[101]

Scott, Lp theory of differential forms on manifolds, Trans

C. Scott, Lp theory of differential forms on manifolds, Trans. Amer. Math. Soc.347 (1995), 2075–2096.↑116

1995
[102]

Serre,Homologie singulière des espaces fibrés

J.-P. Serre,Homologie singulière des espaces fibrés. Applications, Ann. of Math. (2)54 (1951), 425–505.↑120

1951
[103]

Simon,Theorems on regularity and singularity of energy minimizing maps, Lectures in Mathematics ETH Zürich, Birkhäuser Verlag, Basel, 1996.↑1

L. Simon,Theorems on regularity and singularity of energy minimizing maps, Lectures in Mathematics ETH Zürich, Birkhäuser Verlag, Basel, 1996.↑1

1996
[104]

E. M. Stein,Singular integrals and differentiability properties of functions, Princeton Mathe- matical Series, No. 30, Princeton University Press, Princeton, NJ, 1970. MR290095↑169

1970
[105]

Struwe,Partial regularity for biharmonic maps, revisited, Calc

M. Struwe,Partial regularity for biharmonic maps, revisited, Calc. Var. Partial Differential Equations 33 (2008), 249–262.↑1

2008
[106]

Urakawa,The geometry of biharmonic maps, Harmonic maps and differential geometry, Contemp

H. Urakawa,The geometry of biharmonic maps, Harmonic maps and differential geometry, Contemp. Math., vol. 542, Amer. Math. Soc., Providence, RI, 2011, pp. 159–175.↑1

2011
[107]

White, Infima of energy functionals in homotopy classes of mappings, J

B. White, Infima of energy functionals in homotopy classes of mappings, J. Differential Geom. 23 (1986), 127–142.↑12, 70, 73, 82, 142, 171, 175

1986
[108]

160 (1988), 1–17.↑12, 19, 49, 70, 142

, Homotopy classes in Sobolev spaces and the existence of energy minimizing maps, Acta Math. 160 (1988), 1–17.↑12, 19, 49, 70, 142

1988
[109]

J. H. C. Whitehead,An expression of Hopf’s invariant as an integral, Proc. Nat. Acad. Sci. U.S.A. 33 (1947), 117–123.↑114 Preprint – January 2025 Preprint – January 2025

1947

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [1]

Alberti, S

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

2003

[2] [2]

Angelsberg and D

G. Angelsberg and D. Pumberger,A regularity result for polyharmonic maps with higher integrability, Ann. Global Anal. Geom.35 (2009), 63–81.↑1

2009

[3] [3]

Ball,Convexity conditions and existence theorems in nonlinear elasticity,Arch

J.M. Ball,Convexity conditions and existence theorems in nonlinear elasticity,Arch. Rational Mech. Anal. 63 (1976/77), no. 4, 337–403.↑100

1976

[4] [4]

J. M. Ball and A. Zarnescu,Orientability and energy minimization in liquid crystal models, Arch. Ration. Mech. Anal.202 (2011), no. 2, 493–535.↑1

2011

[5] [5]

Bernard, J.-F

P.-E. Bernard, J.-F. Remacle, N. Kowalski, and C. Geuzaine,Hex-dominant meshing approach based on frame field smoothness, Procedia Engineering82 (2014), 175–186.↑1

2014

[6] [6]

Bethuel,A characterization of maps inH 1(B3, S2) which can be approximated by smooth maps, Ann

F. Bethuel,A characterization of maps inH 1(B3, S2) which can be approximated by smooth maps, Ann. Inst. H. Poincaré C Anal. Non Linéaire7 (1990), 269–286.↑9, 113

1990

[7] [7]

167 (1991), 153–206.↑3, 10, 11, 162, 181, 197, 198

, The approximation problem for Sobolev maps between two manifolds, Acta Math. 167 (1991), 153–206.↑3, 10, 11, 162, 181, 197, 198

1991

[8] [8]

Math.219 (2020), 507–651.↑11

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

2020