arXiv++ Combinatorics

Generalized splines are a simultaneous generalization of GKM theory -- which studies equivariant cohomology -- and classical splines, which provide piecewise approximations of functions. Generalized splines can also be understood via schemes, with the interpolation constraints -- or so-called GKM-condition -- encoded by gluing along certain closed subschemes. This view provides a local-global principle, with the local pictures retaining the generalized spline structure. Consequently, the behavior of generalized splines over local rings controls certain global phenomena, such as projectivity and often freeness. We introduce an interface between the homological study of local rings and the combinatorial study of generalized splines. We identify precisely how the generalized spline structure coordinates with the existing homological local ring machinery. This is accomplished by two exact sequences that provide a regulatory structure on the local cohomology of a generalized spline module. As an application, we use this to prove that for any edge-labeled graph $G$ with principal ideal labels, and any Cohen-Macaulay ring $R$ of Krull dimension 2 at each maximal ideal, the module of splines $R_G$ is free, provided it has finite projective dimension. As a special case, this implies every generalized spline module over $k[x,y]$ with principal edge labels is free.

Classical splines feature prominently in approximation theory and numerical analysis, while GKM theory arises in the study of equivariant cohomology. More recently, generalized splines have been studied which simultaneously generalize both classical splines and GKM theory. We show that generalized splines can be understood as a scheme-theoretic phenomenon, and establish the foundations for working with generalized splines via scheme theory. To do this, we first prove that the ring of generalized splines over an edge-labeled graph is isomorphic to the limit of a diagram associated to the edge-labeled graph. This is used to establish the connection to scheme theory, and in particular to secure a local--global principle for generalized splines. The secondary aim of the paper is to catalog a variety of initial local--global results. We prove a module of multivariate generalized splines over $k[x,y]$ is free when an edge-labeled graph is locally trivial or determined by a cycle on a standard cover, provide criteria for generalized splines over UFDs to be finite projective, for multivariate generalized splines to be free, along with other results. The appendix includes a variety of examples which demonstrate precise experimental control over when a module of splines is free, with computer verification by Macaulay2. We conclude with an account of how deletion and contraction affect the spectrum of a ring of splines.