The classification work [5], [8] left unsettled only those anomalous isoparametric hypersurfaces with four principal curvatures and multiplicity pair {4, 5}, {6, 9}, or {7, 8} in the sphere. By systematically exploring the ideal theory in commutative algebra in conjunction with the geometry of isoparametric hypersurfaces, we show that an isoparametric hypersurface with four principal curvatures and multiplicities {4, 5} in S19 is homogeneous, and, moreover, an isoparametric hypersurface with four principal curvatures and multiplicities {6, 9} in S31 is either the inhomogeneous one constructed by Ferus, Karcher, and M¨unzner, or the one that is homogeneous. This classification reveals the striking resemblance between these two rather different types of isoparametric hypersurfaces in the homogeneous category, even though the one with multiplicities {6, 9} is of the type constructed by Ferus, Karcher, and M¨unzner and the one with multiplicities {4, 5} stands alone. The quaternion and the octonion algebras play a fundamental role in their geometric structures. A unifying theme in [5], [8], and the present sequel to them is Serre’s criterion of normal varieties. Its technical side pertinent to our situation that we developed in [5], [8] and extend in this sequel is instrumental. The classification leaves only the case of multiplicity pair {7, 8} open.

In this note, we prove the sharp Davies-Gaffney-Grigor’yan lemma for minimal heat kernels on graphs.

In the first paper of this series, “Electrodynamics and the Gauss Linking Integral on the 3-sphere and in Hyperbolic 3-space,” we developed a steady-state version of classical electrodynamics in these two spaces, including explicit formulas for the vector-valued Green’s operator, explicit formulas of Biot-Savart type for the magnetic field, and a corresponding Amp`ere’s Law contained in Maxwell’s equations, and then used these to obtain explicit inte- gral formulas for the linking number of two disjoint closed curves. In this second paper, we obtain integral formulas for twisting, writhing, and helicity, and prove that link = twist + writhe on the 3-sphere and in hyperbolic 3-space. We then use these results to derive upper bounds for the helicity of vector fields and lower bounds for the first eigenvalue of the curl operator on subdomains of these two spaces. An announcement of these results, and a hint of their proofs, can be found in the Math ArXiv, math.GT/0406276, while an expanded version of the first paper, with full proofs, can be found at math.GT/0510388.

We develop some results from [4] on the positivity of direct image bundles in the particular case of a trivial ¯bration over a one-dimensional base. We also apply the results to study variations of KÄahler metrics.

We characterize H¨older continuously differentiable m dimensional submanifolds of Euclidean space among m rectifiable sets S in terms of growth conditions on the m density ratios of the Hausdorff measure Hm S.