Generalized splines on arbitrary graphs

Simcha Gilbert, Julianna Tymoczko and Shira Viel

Vol. 281 (2016), No. 2, 333–364

DOI: 10.2140/pjm.2016.281.333

Abstract

Let $G$ be a graph whose edges are labeled by ideals of a commutative ring. We introduce a generalized spline, which is a vertex labeling of $G$ by elements of the ring so that the difference between the labels of any two adjacent vertices lies in the corresponding edge ideal. Generalized splines arise naturally in combinatorics (algebraic splines of Billera and others) and in algebraic topology (certain equivariant cohomology rings, described by Goresky, Kottwitz, and MacPherson, among others). The central question of this paper asks when an arbitrary edge-labeled graph has nontrivial generalized splines. The answer is “always”, and we prove the stronger result that the module of generalized splines contains a free submodule whose rank is the number of vertices in $G$. We describe the module of generalized splines when $G$ is a tree, and give several ways to describe the ring of generalized splines as an intersection of generalized splines for simpler subgraphs of $G$. We also present a new tool which we call the GKM matrix, an analogue of the incidence matrix of a graph, and end with open questions.

Keywords

splines, GKM theory, equivariant cohomology, algebraic graph theory

Mathematical Subject Classification 2010

Primary: 05C78, 05E15, 55N25

Milestones

Received: 4 March 2015

Revised: 20 August 2015

Accepted: 23 August 2015

Published: 16 February 2016