A geometer runs a finger along an invisible surface, and by how the geodesics bend, lifts its fingerprint. That fingerprint can be the maximum normal curvature κ(F): the largest curvature among all geodesics passing through a point of the immersed manifold. But what if the fingerprint is left by the internal structure itself — say, the fundamental 2-form of an almost complex manifold, which happens to be harmonic? New work shows: this single condition is enough to force the curvature κ(F) to be no smaller than a certain threshold, and when that threshold is reached, the form rigidly predetermines the entire immersion.
The key to the proof is the marriage of two classic ideas. Gauss taught us to link the extrinsic curvature of a surface to its intrinsic metric via the shape operators Aα. A century later, Riemann laid the foundations for spectral analysis of curvature, and the Bochner formula turned this link into an integral identity. For a harmonic p-form Ψ, the integral of the square of its covariant derivative |∇Ψ|² and a curvature term sum to zero. Using the Gauss equation, we can rewrite the curvature term in terms of the shape operators Aα — tensors that encode the bending. An algebraic integral identity emerges, from which a nonlinear inequality on κ(F) follows after a pointwise estimate for symmetric endomorphisms.
The result: the inequality κ(F) ≥ √(2n/(n+1)). For n=2, this gives κ ≈ 1.155.
Thus, the harmonic 'fingerprint' doesn't just bound the curvature: it uniquely identifies the immersion. The minimizers are exactly the projective planes with their canonical geometry. This is a complete classification.
The Bochner–Gauss method, turning internal harmonicity into external rigidity, opens a new page in differential geometry. Traditionally Bochner technique was used to analyze topology and holonomy; now it serves as a bridge between differential forms and the geometry of submanifolds. In prospect — testing an analogous mechanism for the octonionic projective plane OP² with Spin(9)-structure, which will require analysis of an 8-form, and for manifolds with holonomy G₂ and Spin(7). Perhaps other 'fingerprints'—closed and co-closed forms of special types — obey equally rigid universal bounds. This is a step toward a general rigidity theory for immersions with prescribed calibration forms.
So a single form's fingerprint, just the condition of harmonicity, leaves an indelible mark on the immersed manifold. A mark by which the geometer unmistakably recognizes the Veronese projective space, inscribed in a higher-dimensional sphere. Henceforth we have a detector that can read geometry by its internal rhythms.
The Veronese embedding of CP² into a seven-dimensional sphere, discovered in the 19th century, today defines optimal spherical codes and plays a role in quantum computing.