Abstract:The Hodge decomposition is a fundamental result in differential geometry and algebraic topology, particularly in the study of differential forms on a Riemannian manifold. Despite extensive research in the past few decades, topology-preserving Hodge decomposition of scalar and vector fields on manifolds with boundaries in the Eulerian representation remains a challenge due to the implicit incorporation of appropriate topology-preserving boundary conditions. In this work, we introduce a comprehensive 5-component topology-preserving Hodge decomposition that unifies normal and tangential components in the Cartesian representation. Implicit representations of planar and volumetric regions defined by level-set functions have been developed. Numerical experiments on various objects, including single-cell RNA velocity, validate the effectiveness of our approach, confirming the expected rigorous $L^2$-orthogonality and the accurate cohomology.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: in the Eulerian representation, perform topologically - preserving Hodge Decomposition on scalar and vector fields on manifolds with boundaries. Although a great deal of research has been carried out in this area over the past few decades, how to correctly introduce appropriate topologically - preserving boundary conditions remains a challenge. Specifically, existing methods usually rely on the simplicial mesh discretization framework, which limits their scope of application and requires high - quality mesh generation tools.
### Main contributions of the paper:
1. **Propose a new 5 - component topologically - preserving Hodge Decomposition**: This method unifies the normal and tangential components in the Cartesian coordinate system, avoids explicit simplicial meshing, and thus simplifies the decomposition process.
2. **Directly construct a linear system based on the level - set function**: No meshing and data conversion are required, and it can be directly applied to compact domains embedded in regular Cartesian grids.
3. **Maintain L2 orthogonality between components and consistency with topology**: Ensure the accuracy and reliability of the decomposition results.
4. **Verify the effectiveness of the method through numerical experiments**: Including examples such as single - cell RNA velocity, proving that this method can achieve strict L2 orthogonality and accurate cohomology calculations.
### Mathematical background:
The Hodge Decomposition Theorem states that on an oriented compact Riemannian manifold, any differential form can be uniquely decomposed into an exact form, a co - exact form, and a harmonic form. For manifolds with boundaries, the situation becomes more complicated because specific boundary conditions need to be introduced to ensure the finite - dimensionality of the harmonic space.
### 5 - component Hodge Decomposition formula:
On a compact domain \(M\) with a boundary, a \(k\)-form \(\omega\in\Omega^{k}\) can be decomposed into five orthogonal components:
\[
\omega = d\alpha_n+\delta\beta_t + h_n+h_t+\eta
\]
where:
- \(d\alpha_n\) is an exact form with normal boundary conditions,
- \(\delta\beta_t\) is a co - exact form with tangential boundary conditions,
- \(h_n\) and \(h_t\) are normal and tangential harmonic forms respectively,
- \(\eta\) is a cross - term that belongs to both \(d\Omega^{k - 1}\) and \(\delta\Omega^{k + 1}\) simultaneously.
The definitions of these components are as follows:
- \(\alpha_n\in\Omega^{k - 1}_n\), that is, it satisfies \(\alpha_n|_{\partial M}=0\)
- \(\beta_t\in\Omega^{k + 1}_t\), that is, it satisfies \(\star\beta_t|_{\partial M}=0\)
- \(h_n\in H^k_n\), that is, it satisfies \(h_n|_{\partial M}=0\) and \(\delta h_n = 0\)
- \(h_t\in H^k_t\), that is, it satisfies \(\star h_t|_{\partial M}=0\) and \(dh_t = 0\)
Through this method, the paper successfully solves the problem of topologically - preserving Hodge Decomposition on manifolds with boundaries and provides an effective numerical algorithm for practical applications.