Associated primes of spline complexes. (September 2016)

• Record Type: Journal Article
• Authors: DiPasquale, Michael
• Is Part Of: Journal of symbolic computation. Volume 76(2016)
• Page Start: 158
• Page End: 199
• Publication Date: 2016-09
• Subjects: primary 13C05 -- secondary 13P25 13C10; Polyhedral spline -- Polytopal complex -- Localization -- Hilbert function; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2016.01.004
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: The spline complex whose top homology is the algebra of mixed splines over a fan was introduced by Schenck–Stillman as a variant of a complex of Billera. In this paper we analyze the associated primes of homology modules of this complex. In particular, we show that all such primes are linear. We give two applications to computations of dimensions. The first is a computation of the third coefficient of the Hilbert polynomial of the algebra of mixed splines over a fan, including cases where vanishing is imposed along arbitrary codimension one faces of the boundary of the fan, extending computations by Geramita–Schenck in the simplicial case and McDonald–Schenck in the polytopal case. The second is a description of the fourth coefficient of the Hilbert polynomial of the algebra of mixed splines over simplicial fans. We use this to re-derive a result of Alfeld–Schumaker–Whiteley on the generic dimension of C 1 tetrahedral splines in large degree and indicate via an example how this description may be used to give the fourth coefficient in particular non-generic configurations.