English

Empirical Hodge Laplacians, Cohomology Ring, and Manifold Learning

Differential Geometry 2026-05-26 v2 Algebraic Topology Probability Statistics Theory Statistics Theory

Abstract

Let MnM^n be a compact orientable smooth Riemannian submanifold of dimension n3n\geq 3 in Rd\mathbb R^d. We construct a family of deformed Hodge Laplacians Δt\Delta_t^*, t>0t>0, acting on differential forms and defined through the extrinsic geometry of MnM^n. We prove that these operators converge uniformly, in the appropriate operator topology, to the classical Hodge Laplacian Δ\Delta^* as t0+t\to0^+. Given a point cloud SmMnS_m \subset M^n, we define empirical operators Δt,Sm\Delta^*_{t, S_m} and establish their spectral convergence in probability to Δ\Delta^*, as t0+t \to 0^+, under a suitable scaling regime t=m12nt = m ^{-\frac{1}{2n}}. This rigorously extends the scalar Belkin--Niyogi Laplacian Eigenmaps framework to differential forms. As applications, we obtain consistent recovery procedures for the de Rham cohomology ring H(Mn,R)H^* (M^n,\mathbf R), the second fundamental form of MnM^n, hence for the Riemannian curvature tensor, and consequently for the Pontryagin characteristic classes and Pontryagin numbers of MnM^n from sampled data.

Keywords

Cite

@article{arxiv.2605.22265,
  title  = {Empirical Hodge Laplacians, Cohomology Ring, and Manifold Learning},
  author = {Hông Vân Lê},
  journal= {arXiv preprint arXiv:2605.22265},
  year   = {2026}
}

Comments

Revised version, condition $ n \ge 3$ added. 68 p