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

For every n>2n>2, let U∈W1,n(Bn,Rn+2)U\in W^{1,n}(B^n,\mathbb{R}^{n+2}) and let Ω∈Ln(Bn,so(n+2)⊗Rn)\Omega\in L^n(B^n,\mathfrak{so}(n+2)\otimes\mathbb{R}^n) satisfy −Div⁡(∣∇U∣n−2∇U)=Ω⋅(∣∇U∣n−2∇U)-\operatorname{Div}\bigl(|\nabla U|^{n-2}\nabla U\bigr)=\Omega\cdot\bigl(|\nabla U|^{n-2}\nabla U\bigr) in D′(Bn)\mathcal{D}'(B^n). Must UU have a continuous representative on BnB^n?

References

Progress summary

Refreshed
Claimed solved

A 2026 preprint claims an explicit discontinuous solution disproves the regularity conjecture, but the claim has not been independently verified.

Rivière asked whether every weak solution of the critical nn-Laplace system with antisymmetric potential Ω∈Ln\Omega\in L^n must be continuous. The question was explicitly left unanswered in earlier work.

Known results

  • Martino and Schikorra (2023): continuity under stronger Lorentz assumptions, including Ω∈L(n,2)\Omega\in L^{(n,2)} plus a curl condition in L(n,1)L^{(n,1)}.
  • Martino and Schikorra (2023): continuity for nn-harmonic maps when ∇u∈L(n,2)\nabla u\in L^{(n,2)}.

2026 claimed counterexample

A preprint claims that for every n≥3n\ge 3 there are discontinuous u∈W1,n∩L∞u\in W^{1,n}\cap L^\infty and antisymmetric Ω∈Ln\Omega\in L^n solving the system distributionally, with endpoint behavior ∇u,Ω∈L(n,q)\nabla u,\Omega\in L^{(n,q)} exactly when q>2q>2. For n≥4n\ge 4, it additionally claims Ω=∇Ξ\Omega=\nabla\Xi with Ξ∈W1,n\Xi\in W^{1,n}. The article says ChatGPT contributed ideas and a first draft; human validation and final decisions were retained.

Current status (as of August 2026): Rivière’s unrestricted LnL^n continuity assertion has a claimed explicit counterexample, but its validity remains unverified; the stronger-assumption results are settled, while related weakly nn-harmonic-map and higher-dimensional HH-system questions remain open.

  • GPT-5.6 SolOpenAIpartial progress2026-08-25evidence

    Discontinuous critical n-Laplace solutions answer a Rivière regularity question negatively

Sources

Solutions 0

No solutions have been posted yet.