An upper bound on the first homology of spline complexes

Abstract

Let $\Delta$ be a connected, pure $2$-dimensional simplicial complex embedded in ${\mathbb{R}}^2$ and let $C^r(\hat{\Delta })$ be the homogenized spline module of $\Delta$ with smoothness $r$. To study $C^r(\hat{\Delta })$, Schenck and Stillman developed the spline complex $S_{\bullet }/J_{\bullet }$. Schenck and Stiller conjectured that the regularity of $H_1(S_{\bullet }/J_{\bullet })$ is less than $2r+1$. In this article, we first consider the case when $\Delta$ has only one totally interior edge, because it is the simplest non-trivial case. Then we may apply the formula we find here to get an upper bound on some more general cases.