Skip to main content
2 of 4
added 3 characters in body

How does high dimensional combinatorial laplacian works?

When considering the boundary and coboundary maps, we have the common definitions that the boundary maps based on the space of chains $C_k(X)$ are $$\partial_k([v_0,...,v_k])=\sum_{i=0}^k (-1)^i[v_0,...,v_{i-1},v_{i+1},...,v_k],$$ and the coboundary maps $\delta_k$ based on the space of cochains $C^k(X)$ is the adjoint operator of $\partial_{k+1}$, as $$(\delta_k f)([v_0,...,v_{k+1}])=f(\partial_{k+1}[v_0,...,v_{k+1}]) =\sum_{i=0}^k (-1)^if([v_0,...,v_{i-1},v_{i+1},...,v_{k+1}])$$

See https://magnus.ece.gatech.edu/Papers/MuhammadEgerstedtMTNS06.pdf page 4.

In the paper, it defines the k-combinatorial Laplacians $\Delta_k:C^k(X;\mathbb{R})\to C^k(X;\mathbb{R})$ and $\mathcal{L}_k:C_k(X;\mathbb{R})\to C_k(X;\mathbb{R})$ by $$\Delta_k=\delta_{k-1} \delta^*_{k-1}+\delta^*_k\delta_k $$ $$\mathcal{L}_k=\partial_{k+1} \partial^*_{k+1}+\partial^*_k\partial_k $$

Here is my question:

For me, neither of these two k-combinatiorial Laplacians confirms me how it works. For example, $\delta_k$ works on a cochain $f\in C^k(X;\mathbb{R})$ and after that we get a cochain in $C^{k+1}(X;\mathbb{R})$, but how can we proceed with $\delta^*_k$? Since $\delta^*_k = \partial_{k+1}$, how can we put $\partial_{k+1}$ on a cochain?

In other words, can you possibly give me an example of the $\delta^*_k\delta_k$ on any cochain $f$?

Like, $\delta^*_1\delta_1 f([v_0,v_1])= \partial_2\delta_1 f([v_0,v_1])=?$