Discoveries / analysis

Rivière’s regularity question for critical $n$-Laplace systems with antisymmetric potentials

For every $n>2$, the paper constructs a bounded map $U\in W^{1,n}(B^n,\mathbb{R}^{n+2})$, smooth on $B^n\setminus\{0\}$ but discontinuous at the origin, together with an antisymmetric potential $$ \Omega\in L^n(B^n,so(n+2)\otimes\mathbb{R}^n) $$ such that $$ -\mathrm{Div}\bigl(|\nabla U|^{n-2}\nabla U\bigr) = \Omega\cdot|\nabla U|^{n-2}\nabla U \qquad\text{in }D'(B^n). $$ Moreover, the potential satisfies the sharper Lorentz-space regularity $$ \Omega\in\bigcap_{q>2}L^{(n,q)}\setminus L^{(n,2)}, $$ and, for any prescribed $1<p<\infty$, the construction can be arranged so that $$ \nabla U\in L^{(n,p)} \qquad\text{but}\qquad \nabla U\notin L^{(n,1)}. $$ This gives a negative answer to Rivière’s general regularity question for critical $n$-Laplace systems with antisymmetric $L^n$ potentials: antisymmetry and critical $L^n$ control alone do not imply continuity.