#### Vol. 14, No. 6, 2021

 Recent Issues
 The Journal About the Journal Editorial Board Editors’ Interests Subscriptions Submission Guidelines Submission Form Policies for Authors Ethics Statement ISSN: 1948-206X (e-only) ISSN: 2157-5045 (print) Author Index To Appear Other MSP Journals
Lifting in compact covering spaces for fractional Sobolev mappings

### Petru Mironescu and Jean Van Schaftingen

Vol. 14 (2021), No. 6, 1851–1871
##### Abstract

Let $\pi :\stackrel{˜}{\mathsc{𝒩}}\to \mathsc{𝒩}$ be a Riemannian covering, with $\mathsc{𝒩}$, $\stackrel{˜}{\mathsc{𝒩}}$ smooth compact connected Riemannian manifolds. If $\mathsc{ℳ}$ is an $m$-dimensional compact simply connected Riemannian manifold, $0 and $2\le sp, we prove that every mapping $u\in {W}^{s,p}\left(\mathsc{ℳ},\mathsc{𝒩}\right)$ has a lifting in ${W}^{s,p}$; i.e., we have $u=\pi \circ ũ$ for some mapping $ũ\in {W}^{s,p}\left(\mathsc{ℳ},\stackrel{˜}{\mathsc{𝒩}}\right)$. Combined with previous contributions of Bourgain, Brezis and Mironescu and Bethuel and Chiron, our result 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 and $sp>1$, in dimension $1$. Our argument also leads to the existence of a lifting when $0 and $1, provided there is no topological obstruction on $u$; i.e., $u=\pi \circ ũ$ holds in this range provided $u$ is in the strong closure of ${C}^{\infty }\left(\mathsc{ℳ},\mathsc{𝒩}\right)$.

However, when $0, $sp=1$ and $m\ge 2$, we show that an (analytical) obstruction still arises, even in the absence of topological obstructions. More specifically, we construct some map $u\in {W}^{s,p}\left(\mathsc{ℳ},\mathsc{𝒩}\right)$ in the strong closure of ${C}^{\infty }\left(\mathsc{ℳ},\mathsc{𝒩}\right)$ such that $u=\pi \circ ũ$ does not hold for any $ũ\in {W}^{s,p}\left(\mathsc{ℳ},\stackrel{˜}{\mathsc{𝒩}}\right)$.

##### Keywords
analytical obstruction, finite-sheeted covering, Riemannian covering, fractional Sobolev spaces of mappings
Primary: 46E35
Secondary: 58D15