arXiv++ Combinatorics

Let $R$ be a commutative ring with identity and $G$ a graph. Extending generalized splines are a further extension of generalized splines by allowing vertex labels of $G$ to lie in varying modules rather than in a fixed ring $R$. Geometrically, this corresponds to the construction of equivariant cohomology by Braden and MacPherson (see [5]). Therefore, characterizing such splines has immediate implications in geometry, particularly in the computation of equivariant cohomology. In this paper, we study extending generalized splines as a $R$- module in which each vertex $v$ is labeled by $M_v = m_v R$ and each edge $e$ is labeled by $M_e = R/r_e R$ together with quotient $R$-module homomorphisms $M_v\to M_e$ for each vertex $v$ incident to the edge $e$, where $R$ is a greatest common divisor domain (GCD). We characterize module bases of such splines in terms of determinants so that it provides a criterion for freeness of spline modules.

Let $R$ be a commutative ring with identity and $G$ a graph. An extending generalized spline on $G$ is a vertex labeling $f \in \prod_{v} M_v$, where for each edge $e=uv$ there exists an $R$-module $M_{uv}$ together with homomorphisms $ \varphi_u : M_u \to M_{uv}$ and $ \varphi_v : M_v \to M_{uv}$ such that $\varphi_u(f_u)=\varphi_v(f_v).$ Extending generalized splines are further generalizations for generalized splines. They can also be considered as generalized splines over modules. In this paper, we prove that some of the results for splines can be extended to generalized splines over modules $M_v=m_v\mathbb Z$ at each vertex $v$ and we define a method of a graph reduction based on graph operations on vertices and edges to produce an explicit $\mathbb{Z}$-module basis for generalized splines over modules. This corresponds to a sequence of surjective homomorphisms between the associated spline modules so that the space of splines decomposes as a direct sum of certain submodules.

Let $R$ be a commutative ring with identity and $G$ a graph. \emph{An extending generalized spline} on $G$ is a vertex labeling $f \in \prod_{v} M_v$ such that at each edge $e=uv$ there is an $R$-module $M_{uv}$ together with homomorphisms $ \varphi_u : M_u \to M_{uv}$ and $ \varphi_v : M_v \to M_{uv}$ for each vertex $u, v$ incident to the edge $e$ so that $\varphi_u(f_u)=\varphi_v(f_v).$ Extending generalized splines are further generalizations for generalized splines. They can also be considered as generalized splines over modules. The main goal of this paper is to study the $R$-module structure of extending generalized splines. We concentrate on two following questions: which of the results for general splines extend to generalized splines over modules and if there is an algorithm or an explicit formula for special basis classes, called a flow up basis, for generalized splines over modules. We show that certain results concerning generalized splines can be extended to a setting where each vertex $v$ is assigned a module $M_v=m_v\mathbb Z$. We provide an algorithm to construct a special basis for generalized splines over these modules on paths. Additionally, we introduce a new technique to construct a flow-up basis on arbitrary graphs using the idea of an algorithm on paths.

Let $G$ be a graph whose edges are labeled by ideals of a commutative ring $R$ with identity. Such a graph is called an edge-labeled graph over $R$. A generalized spline is a vertex labeling so that the difference between the labels of any two adjacent vertices lies in the ideal corresponding to the edge. These generalized splines form a module over $R$. In this paper, we consider complete graphs whose edges are labeled with proper ideals of $\mathbb{Z} / m\mathbb{Z}$. We compute minimum generating sets of constant flow-up classes for spline modules on edge-labeled complete graphs over $\mathbb{Z} / m\mathbb{Z}$ and their rank under some restrictions.