Strict type-II blowup in harmonic map flow

1. Problem Statement and Context

The Harmonic Map Flow:
The paper studies the harmonic map flow, the gradient flow of the Dirichlet energy for maps $u: M \to N$ between Riemannian manifolds. In the critical dimension where $\dim(M)=2$, the flow is conformally invariant. The evolution equation is:
$$\frac{\partial u}{\partial t} = T(u)$$
where $T(u)$ is the tension field.

The Singularity Problem:
For finite-time singularities ($T < \infty$), Struwe's theory guarantees the existence of a "body map" $u(T) = \lim_{t \nearrow T} u(t)$ which is smooth away from a finite set of bubbling points. However, the continuity of $u(T)$ across these bubbling points is not guaranteed in general.

• Topping's Conjecture: Topping conjectured that if the target manifold $N$ has a real-analytic metric, the body map $u(T)$ should be continuous (and specifically Hölder continuous) across the bubbling set.
• Blowup Rates: Singularities are classified by the rate at which the "outer energy scale" $\lambda(t)$ vanishes as $t \to T$.
  • Type-I: $\lambda(t) \sim (T-t)^{1/2}$.
  • Type-II: $\lambda(t) = o((T-t)^{1/2})$.
  • Strict Type-II: A refinement defined in this paper where $\lambda(t) = O((T-t)^{(1+\alpha)/2})$ for some $0 < \alpha \le 1$.

The Gap:
Known examples of discontinuous body maps (Topping's examples) are not strictly type-II. Conversely, all known examples of strictly type-II blowup have continuous body maps. The central question addressed is: Does a strict type-II blowup necessarily imply the Hölder continuity of the body map?

2. Methodology

The proof relies on establishing decay estimates for the differential $du$ in the "neck region" (the area near the singularity but outside the vanishing energy scale). The methodology involves a sophisticated interplay of geometric analysis, parabolic PDE estimates, and a bootstrap argument.

Key Technical Tools:

1. Stress-Energy Tensor Identity:
   The author utilizes the stress-energy tensor $S_{ij} = \langle \partial_i u, \partial_j u \rangle - \frac{1}{2}g_{ij}|du|^2$. By contracting with a conformal Killing vector field $X_i$ and integrating, the author derives the fundamental identity (2.6):
   $$\int_{S^1_r} X_i X_j S_{ij} d\theta = \int_{D_r} \langle T(u), X_j \partial_j u \rangle dV$$
   This identity links the radial and angular components of the energy.

2. Decomposition of Energy:
   The energy density is split into angular ($f$) and radial ($g$) components:

   • $f(u;r,t) \approx \sqrt{\int |u_\theta|^2 + |\nabla_\theta u_\theta|^2}$
   • $g(u;r,t) \approx \sqrt{\int r^2 |u_r|^2}$
     Previous work (Song-Waldron) established decay for the angular component $f$. The novelty here is controlling the radial component $g$.

3. Parabolic Estimates and Supersolutions:
   The author derives evolution inequalities for $f$ and $g/r$ involving a modified heat operator $\square_\nu = \partial_t - (\partial_r^2 + \frac{1}{r}\partial_r - \frac{\nu^2}{r^2})$.

   • Lemma 2.1: Establishes that $f$ satisfies $\square_\nu f \le C\xi_0 \eta$ and $g/r$ satisfies a similar inequality driven by $f$.
   • Propositions 2.2 & 2.3: These are specialized parabolic estimates (using heat kernel bounds on annuli) that allow the conversion of integral bounds (derived from the stress-energy identity) into pointwise decay estimates.

4. Bootstrap Argument:
   The core of the proof (Theorem 3.3) is an inductive bootstrap argument.

   • Base Case: Uses standard $\epsilon$-regularity to establish bounds for large scales.
   • Inductive Step: Assumes bounds hold for a scale $\lambda_1$ and proves they hold for a smaller scale $\bar{\lambda}_1 = \lambda_1/2$.
   • The induction relies on the strict type-II assumption $\lambda(t) \sim (T-t)^{(1+\alpha)/2}$ to control the error terms in the parabolic estimates, specifically ensuring that the radial energy $g$ decays sufficiently fast to maintain the Hölder regularity.

3. Key Contributions

1. Definition of Strict Type-II Blowup:
   The paper formalizes the "strict type-II" condition as $\lambda(t) = O((T-t)^{(1+\alpha)/2})$. This distinguishes it from the standard type-II estimate $\lambda(t) = o((T-t)^{1/2})$ and provides a quantitative rate necessary for the regularity proof.

2. Decoupling Radial and Angular Estimates:
   While previous work relied on the angular energy decay, this paper successfully derives a pointwise bound for the radial component of the differential $du$ using the stress-energy identity and parabolic bootstrapping. This is the critical missing link to proving continuity.

3. Refined Parabolic Estimates:
   The author develops specific heat kernel estimates (Appendix B) for operators with singular potentials ($\nu^2/r^2$) on annuli, tailored to the geometry of the neck region in harmonic map flow.

4. Main Results

Theorem 1.1 (Main Theorem):
For any strict type-II blowup of the harmonic map flow in dimension two, where the outer energy scale satisfies $\lambda(t) = O((T-t)^{(1+\alpha)/2})$ with $0 < \alpha \le 1$, the body map $u(T)$ is Hölder continuous with exponent $\alpha/3$ (i.e., $u(T) \in C^{\alpha/3}$).

Corollary 3.4:
If a solution has bounded energy and the outer energy scale satisfies the strict type-II bound as $t \to T$, then the limit map $u(T)$ is $C^{\alpha/3}$ on the domain.

Implication:
The theorem confirms that the "strict type-II" condition is sufficient to prevent the formation of essential singularities (discontinuities) in the body map. This supports Topping's conjecture by showing that if the blowup is "slow enough" (strict type-II), the map remains regular.

5. Significance

• Resolution of a Specific Case of Topping's Conjecture: The paper provides a rigorous proof that strict type-II singularities do not lead to discontinuous body maps. This narrows the search for counterexamples to Topping's conjecture to non-strict type-II scenarios or different geometric settings.
• Geometric Applications: The continuity of the body map is a prerequisite for many geometric applications of the harmonic map flow (e.g., in the study of minimal surfaces or harmonic map heat flow in gauge theory). Establishing conditions under which the map remains continuous strengthens the utility of the flow in geometric analysis.
• Technical Advancement: The methods developed, particularly the combination of the stress-energy identity with refined parabolic bootstrapping in the neck region, offer a new toolkit for analyzing singularity formation in geometric flows where energy concentration occurs.

In summary, Waldron proves that the specific rate of energy concentration defined as "strict type-II" is strong enough to force the harmonic map to remain Hölder continuous at the singularity, effectively ruling out discontinuous body maps for this class of blowups.