This paper shows a conditional regularity result for the three‑dimensional Navier–Stokes equations. The authors prove that if a solution satisfies two structural properties — a specific anisotropic bound on its angular average and exact axisymmetry in a small collapsing core — and the external force is real‑analytic in space, then the would‑be singular point is actually regular. In plain terms: under these assumptions a planned blowup cannot happen.

More precisely, the work considers “suitable weak solutions” of the forced Navier–Stokes equations. The assumptions are: (1) the angular mean (the average of the velocity around the axis) obeys particular Type II, anisotropic time‑dependent bounds; and (2) on a shrinking spatial core the full velocity is exactly axisymmetric. The force is required to be real‑analytic in the space variables (and bounded in C^2 up to the blowup time). Under these hypotheses the authors prove there is a small space–time neighborhood around the putative singularity where the velocity stays bounded, so the point is regular.

One motivation for the result is a recent construction announced elsewhere that claims finite‑time singularity for Navier–Stokes with a smooth body force. That construction does display the anisotropic bounds and the axisymmetric core used here. The present paper shows a consequence: if the forcing used in such a construction were real‑analytic in space (or if it vanished identically near the singular point while remaining bounded in C^2), then the construction could not produce a singularity. The authors point out that the force in the announced construction is not real‑analytic near the singular point, so their theorem does not contradict that construction.

The proof idea is geometric and analytic. The authors “zoom in” near the supposed singular point using the unequal length scales suggested by their anisotropic bounds. Passing to limits after rescaling produces ancient solutions (solutions defined for all past times). The evolution equations for those limits are rigid enough to forbid the singular behavior, which forces regularity of the original solution in a neighborhood of the point. The argument builds on earlier work by the same authors and on standard partial regularity theory for Navier–Stokes.