The paper proves a definitive non-existence theorem for smooth calibrations of cones over minimal products. Using a combination of Lawlor’s curvature criterion and geometric measure theory, the author demonstrates that the internal "minimal product" structure of submanifolds or stationary currents in spheres inherently obstructs the existence of globally defined smooth calibrations in Euclidean space.
TL;DR
In a significant refinement of geometric measure theory, Yongsheng Zhang’s latest paper proves that the minimal product structure is an inherent obstruction to smooth calibrations. Even if a cone is proven to be area-minimizing (via Lawlor’s criterion), if it is built as a product of minimal submanifolds in spheres, it is mathematically impossible for a globally defined smooth calibration to exist.
Executive Summary
For years, mathematicians relied on Calibrations—closed forms of comass one—to prove that certain surfaces are area-minimizing. It was a "golden tool": if you find a calibration that "fits" your surface, you've proven its minimality. However, Zhang’s work shows that this tool has a blind spot. By proving Theorem 1.3, this paper provides a categorical "No" to the long-standing question of whether high-codimensional area-minimizing cones are always calibratable by smooth forms.
The Problem: The High Codimension Mystery
In the study of minimal surfaces, Tangent Cones are the fundamental "zoomed-in" views of singularities. While codimension-one hypercones (like the Simons cone) were known to lack smooth calibrations, researchers wondered if increasing the dimension (codimension ) would provide enough "room" for a smooth calibration to exist.
The author identifies that the previous logic was missing a structural realization: The Minimal Product Structure—a way of creating new minimal submanifolds by combining existing ones in spheres—automatically breaks the smooth calibratability.
Methodology: The Geometry of Contradiction
The core of the proof lies in the behavior of forms at the origin of the cone.
1. Decomposition of Forms
Zhang utilizes a Decomposition Lemma (Lemma 3.2). If a calibration existed, its value at the origin () must be a constant-coefficient calibration. The author decomposes this form relative to the tangent space of the minimal product.
2. The Homological Trap
The author constructs a specific -form derived from the hypothetical calibration.
- Because the ambient space (Euclidean space) has trivial homology, the integral of this closed form over a null-homologous cycle (the minimal submanifold ) must be zero.
- However, the algebraic structure of the minimal product forces the integral to be exactly proportional to the volume of (multiplied by a non-zero constant ).
