Associated primes of spline complexes

详细信息    查看全文

• 作者：Michael DiPasquale¹ ; ^{mdipasq@okstate.edu" class="auth_mail" title="E-mail the corresponding author}
• 关键词：primary ; 13C05 ; secondary ; 13P25 ; 13C10
• 刊名：Journal of Symbolic Computation
• 出版年：2016
• 出版时间：September-October 2016
• 年：2016
• 卷：76
• 期：Complete
• 页码：158-199
• 全文大小：4280 K

文摘

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¹$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.