Discrete Hodge star operator on 3-manifolds

TL;DR

This paper proves the independence of discrete Hodge star operators on 3-manifolds from triangulation choices and constructs a canonical quadratic form on cuspidal cohomology, supporting conjectures related to the Langlands Program.

Contribution

It establishes the invariance of discrete Hodge star operators on 3-manifolds and introduces a canonical quadratic form on cuspidal cohomology, linking to Langlands conjectures.

Findings

Discrete Hodge star operators are independent of triangulation for 3-manifolds.

Constructed a canonical positive definite quadratic form on cuspidal cohomology.

Provides evidence supporting the Prasanna-Venkatesh conjecture in the Langlands Program.

Abstract

Scott Wilson introduced the notion of combinatorial Hodge star operators on a compact oriented triangulated manifold $M$, which act on the singular cohomology ring of $M$. Such an operator depends on both a triangulation $\mathscr K$ of $M$ and a metric on the simplicial cochain complex of $\mathscr K$. Taking the discrete metric, we arrive at the notion of the discrete Hodge star operator for each pair $(M,\mathscr K)$. We prove, when $M$ is a $3$-manifold, that the discrete Hodge star operators acting on the cuspidal cohomology groups $H^i_\mathrm{cusp}(M,\mathbb Q)$ are independent of $\mathscr K$ for $i=1,2$. As an application, we construct a canonical positive definite symmetric quadratic form on $H^i_\mathrm{cusp}(M,\mathbb Q)$ for $i=1,2$. On the other hand, we will interpret our result from a point of view on the Langlands Program; we provide a supporting evidence for the conjecture of Prasanna and Venkatesh, which predicts a degree-shifting action of a motivic cohomology group on the cohomology ring of an arithmetic group.