Basic harmonic homology conjecture for traversing vector fields

Let XX be a connected compact smooth manifold with boundary, and let vv be a traversing and boundary generic vector field on XX. Let Harmb(X,v)\mathsf{Harm}^\ast_{\mathsf b}(X,v) denote the complex of basically harmonic basic forms, with differential dd, and let T(v)\mathcal T(v) be the trajectory space of the vv-flow.

Basic harmonic homology conjecture. For every degree kk,

Hk(Harmb(X,v),d)Hk(X;R)Hk1(X;R)H^k\big(\mathsf{Harm}^\ast_{\mathsf b}(X,v),d\big) \approx H^k(X;\mathbb R)\oplus H^{k-1}(X;\mathbb R)

and

Hk(Harmb(X,v),d)Hk(T(v);R)Hk1(T(v);R).H^k\big(\mathsf{Harm}^\ast_{\mathsf b}(X,v),d\big) \approx H^k(\mathcal T(v);\mathbb R)\oplus H^{k-1}(\mathcal T(v);\mathbb R).

The conjecture is based on a theorem asserting that, for traversing vector fields, the manifold and trajectory space are homology equivalent. The stated identification of basic harmonic homology with the displayed cohomology groups remains unresolved in the supplied text.

Sources & referencesView supporting material

Primary source

Gabriel Katz, “Contact de Rham cohomology and Hodge structures transversal to the Reeb foliations”, arXiv:2502.09773 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.