Lifting in compact covering spaces for fractional Sobolev mappings

DOI10.2140/APDE.2021.14.1851MaRDI QIDQ2236624zbMATH OpenOpenAlexWikidataFDO

Authors Petru Mironescu, Jean Van Schaftingen

Publication date 25 October 2021

Published in Analysis \& PDE (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.01373

zbMATH Keywords

finite-sheeted coveringRiemannian coveringanalytical obstructionfractional Sobolev spaces of mappings

Mathematics Subject Classification ID

Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Manifolds of mappings (58D15)

Abstract: Let $pi:widetildemathcalNomathcalN$ be a Riemannian covering, with $mathcalN$, $widetildemathcalN$ smooth compact connected Riemannian manifolds. If $mathcalM$ is an $m$-dimensional compact simply-connected Riemannian manifold, $0<s<1$ and $2lesp<m$, we prove that every mapping $uin{W}^{s,p}(mathcalM,mathcalN)$ has a lifting in $W^{s,p}$, i.e., we have $u=pi,circ,widetildeu$ for some mapping $widetildeuin{W}^{s,p}(mathcalM,widetildemathcalN)$. Combined with previous contributions of Bourgain, Brezis and Mironescu and Bethuel and Chiron, our result emph{settles completely} the question of the lifting in Sobolev spaces over covering spaces. The proof relies on an a priori estimate of the oscillations of $W^{s,p}$ maps with $0<s<1$ and $sp>1$, in dimension $1$. Our argument also leads to the existence of a lifting when $0<s<1$ and $1<sp<2lem$, provided there is no topological obstruction on $u$, i.e., $u=pi,circ,widetildeu$ holds in this range provided $u$ is in the strong closure of $C^{i}nfty(mathcalM,mathcalN)$. However, when $0<s<1$, $sp=1$ and $mge2$, we show that an (analytical) obstruction still arises, even in absence of topological obstructions. More specifically, we construct some map $uin{W}^{s,p}(mathcalM,mathcalN)$ in the strong closure of $C^{i}nfty(mathcalM,mathcalN)$, such that $u=pi,circ,widetildeu$ does not hold for any $widetildeuin{W}^{s,p}(mathcalM,widetildemathcalN)$.

Recommendations

• Lifting in Sobolev spaces
• Compact embedding theorems for fractional Sobolev spaces with variable exponents
• Lipschitz functions and fractional Sobolev spaces
• Fonctions lipschitziennes et espaces de Sobolev fractionnaires
• Compact Sobolev-Slobodeckij embeddings and positive solutions to fractional Laplacian equations
• Fractional Laplacian, homogeneous Sobolev spaces and their realizations
• Lifting in Besov spaces
• scientific article; zbMATH DE number 1996003
• Compact embedding theorems and a Lions' type lemma for fractional Orlicz-Sobolev spaces
• Fractional Sobolev Spaces and Inequalities

Cites work

• scientific article; zbMATH DE number 3491650 (Why is no real title available?)
• scientific article; zbMATH DE number 7002421 (Why is no real title available?)
• A new obstruction to the extension problem for Sobolev maps between manifolds
• Gagliardo-Nirenberg, composition and products in fractional Sobolev spaces
• Interpolation of Besov Spaces
• Introduction to topological manifolds
• Lifting default for S^1-valued maps
• Lifting in Sobolev spaces
• Orientability and energy minimization in liquid crystal models
• Sobolev Maps to the Circle
• Sobolev maps into the projective line with bounded total variation
• Strong density results in trace spaces of maps between manifolds
• Traces of weighted Sobolev spaces. Old and new
• Wavelets and Besov spaces
• \(H^{1/2}\) maps with values into the circle: minimal connections, lifting, and the Ginzburg-Landau equation

Cited in

(6)

• Improved partial regularity for manifold-constrained minimisers of subquadratic energies
• Truncations and compositions in function spaces
• Quantitative characterization of traces of Sobolev maps
• Lifting in Besov spaces
• Phases of unimodular complex valued maps: optimal estimates, the factorization method, and the sum-intersection property of Sobolev spaces
• Some questions related to the lifting problem in Sobolev spaces

This page was built for publication: Lifting in compact covering spaces for fractional Sobolev mappings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2236624)