Associated primes of spline complexes

DOI10.1016/J.JSC.2016.01.004MaRDI QIDQ5963399zbMATH OpenOpenAlexFDO

Publication date 19 February 2016

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1410.6894

Hilbert function localization polyhedral spline polytopal complex

Structure, classification theorems for modules and ideals in commutative rings (13C05) Projective and free modules and ideals in commutative rings (13C10) Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25)

Abstract: The spline complex

m a t h c a l R / m a t h c a l J [S i g m a]

whose top homology is the algebra

C^{a} l p h a (S i g m a)

of mixed splines over the fan

S i g m a s u b s e t m a t h b b R^{n + 1}

was introduced by Schenck-Stillman in [Schenck-Stillman 97] as a variant of a complex

m a t h c a l R / m a t h c a l I [S i g m a]

of Billera [Billera 88]. 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

C^{a} l p h a (S i g m a)

, including cases where vanishing is imposed along arbitrary codimension one faces of the boundary of

S i g m a

, generalizing the computations in [Geramita-Schenck 98,McDonald-Schenck 09]. The second is a description of the fourth coefficient of the Hilbert polynomial of

H P (C^{a} l p h a (S i g m a))

for simplicial fans

S i g m a

. We use this to derive the result of Alfeld, Schumaker, and Whiteley on the generic dimension of

C^{1}

tetrahedral splines for

d g g 0

[Alfeld-Schumaker-Whiteley 93] and indicate via an example how this description may be used to give the fourth coefficient in particular nongeneric configurations.

Review text

The spline complexes were introduced by \textit{H. Schenck} and \textit{M. Stillman} in [J. Pure Appl. Algebra 117--118, 535--548 (1997; Zbl 0902.41010)]. In the paper under review, the author studies the associated primes of homology modules of spline complex. He identifies the associated primes of the homology modules of the spline complex as linear primes arising from the hyperplane arrangement of affine spans of codimension one faces (Theorem 5.5). Then he identifies the associated primes of minimal possible codimension (Theorem 5.7). In this way, he extends Theorem 2.6 of [\textit{H. Schenck}, Trans. Am. Math. Soc. 364, No. 8, 4041--4051 (2012; Zbl 1408.14166)].NEWLINENEWLINEThe author uses Theorems 5.5 and 5.7 to give two applications to computations of dimension of the algebra of mixed splines over a fan. The first application is a computation of the third coefficient of the Hilbert polynomial of this algebra, 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 one is a description of the fourth coefficient of the Hilbert polynomial of the algebra of mixed splines over simplicial fans. Using this, a result of Alfeld- Schumaker-Whiteley on the generic dimension of \(\mathrm{C}^1\) tetrahedral splines in large degree is re-derived.

Recommendations

Cites work

Cited in

(6)

Describes a project that uses

Uses Software

Macaulay2

This page was built for publication: Associated primes of spline complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5963399)