24 research outputs found

    Associated Primes of Spline Complexes

    Full text link
    The spline complex R/J[Σ]\mathcal{R}/\mathcal{J}[\Sigma] whose top homology is the algebra Cα(Σ)C^\alpha(\Sigma) of mixed splines over the fan ΣRn+1\Sigma\subset\mathbb{R}^{n+1} was introduced by Schenck-Stillman in [Schenck-Stillman 97] as a variant of a complex R/I[Σ]\mathcal{R}/\mathcal{I}[\Sigma] 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α(Σ)C^\alpha(\Sigma), including cases where vanishing is imposed along arbitrary codimension one faces of the boundary of Σ\Sigma, generalizing the computations in [Geramita-Schenck 98,McDonald-Schenck 09]. The second is a description of the fourth coefficient of the Hilbert polynomial of HP(Cα(Σ))HP(C^\alpha(\Sigma)) for simplicial fans Σ\Sigma. We use this to derive the result of Alfeld, Schumaker, and Whiteley on the generic dimension of C1C^1 tetrahedral splines for d0d\gg 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.Comment: 40 pages, 10 figure

    Regularity of Mixed Spline Spaces

    Full text link
    We derive bounds on the regularity of the algebra Cα(P)C^\alpha(\mathcal{P}) of mixed splines over a central polytopal complex PR3\mathcal{P}\subset\mathbb{R}^3. As a consequence we bound the largest integer dd (the postulation number) for which the Hilbert polynomial HP(Cα(P),d)HP(C^\alpha(\mathcal{P}),d) disagrees with the Hilbert function HF(Cα(P),d)=dimCα(P)dHF(C^\alpha(\mathcal{P}),d)=\dim C^\alpha(\mathcal{P})_d. The polynomial HP(Cα(P),d)HP(C^\alpha(\mathcal{P}),d) has been computed in [DiPasquale 2014], building on [McDonald-Schenck 09] and [Geramita-Schenck 98]. Hence the regularity bounds obtained indicate when a known polynomial gives the correct dimension of the spline space Cα(P)dC^\alpha(\mathcal{P})_d. In the simplicial case with all smoothness parameters equal, we recover a bound originally due to [Hong 91] and [Ibrahim and Schumaker 91].Comment: 35 pages, 8 figure

    Splines on polytopal complexes

    Get PDF
    This thesis concerns the algebra C^r(\PC) of CrC^r piecewise polynomial functions (splines) over a subdivision by convex polytopes \PC of a domain ΩRn\Omega\subset\R^n. Interest in this algebra arises in a wide variety of contexts, ranging from approximation theory and computer-aided geometric design to equivariant cohomology and GKM theory. A primary goal in approximation theory is to construct bases of the vector space C^r_d(\PC) of splines of degree at most dd on \PC, although even computing the dimension of this space proves to be challenging. From the perspective of GKM theory it is more important to have a good description of the generators of C^r(\PC) as an algebra; one would especially like to know the multiplication table for these generators (the case r=0r=0 is of particular interest). For certain choices of \PC and rr there are beautiful answers to these questions, but in most cases the answers are still out of reach. In the late 1980s Billera formulated an approach to spline theory using the tools of commutative algebra, homological algebra, and algebraic geometry~\cite{Homology}, but focused primarily on the simplicial case. This thesis details a number of results that can be obtained using this algebraic perspective, particularly for splines over subdivisions by convex polytopes. The first three chapters of the thesis are devoted to introducing splines and providing some background material. In Chapter~\ref{ch:Introduction} we give a brief history of spline theory. In Chapter~\ref{ch:CommutativeAlgebra} we record results from commutative algebra which we will use, mostly without proof. In Chapter~\ref{ch:SplinePreliminaries} we set up the algebraic approach to spline theory, along with our choice of notation which differs slightly from the literature. In Chapter~\ref{ch:Continuous} we investigate the algebraic structure of continous splines over a central polytopal complex (equivalently a fan) in R3\R^3. We give an example of such a fan where the link of the central vertex is homeomorphic to a 22-ball, and yet the C0C^0 splines on this fan are not free as an algebra over the underlying polynomial ring in three variables, providing a negative answer to a question of Schenck~\cite[Question~3.3]{Chow}. This is interesting for several reasons. First, this is very different behavior from the case of simplicial fans, where the ring of continuous splines is always free if the link of the central vertex is homeomorphic to a disk. Second, from the perspective of GKM theory and toric geometry, it means that the multiplication tables of generators will be much more complicated. In the remainder of the chapter we investigate criteria that may be used to detect freeness of continuous splines (or lack thereof). From the perspective of approximation theory, it is important to have a basis for the vector space C^r_d(\PC) of splines of degree at most dd which is `locally supported' in some reasonable sense. For simplicial complexes, such a basis consists of splines which are supported on the union of simplices surrounding a single vertex. Such bases are well known in the case of planar triangulations for d3r+2d\ge 3r+2~\cite{HongDong,SuperSpline}. In Chapter~\ref{ch:LSSplines} we show that there is an analogue of locally-supported bases over polyhedral partitions, in the sense that, for d0d\gg 0, there is a basis for C^r_d(\PC) consisting of splines which are supported on certain `local' sub-partitions. A homological approach is particularly useful for describing what these sub-partitions must look like; we call them `lattice complexes' due to their connection with the intersection lattice of a certain hyperplane arrangement. These build on work of Rose \cite{r1,r2} on dual graphs. It is well-known that the dimension of the vector space C^r_d(\PC) agrees with a polynomial in dd for d0d\gg 0. In commutative algebra this polynomial is in fact the Hilbert polynomial of the graded algebra C^r(\wPC) of splines on the cone \wPC over \PC. In Chapter~\ref{ch:AssPrimes} we provide computations for Hilbert polynomials of the algebra Cα(Σ)C^\alpha(\Sigma) of mixed splines over a fan ΣR3\Sigma\subset\R^3, giving an extension of the computations in~\cite{FatPoints,TMcD,TSchenck09,Chow}. We also give a description of the fourth coefficient of the Hilbert polynomial of HP(Cα(Σ))HP(C^\alpha(\Sigma)) where \Sigma=\wDelta is the cone over a simplicial complex ΔR3\Delta\subset\R^3. We use this to re-derive a result of Alfeld-Schumaker-Whiteley on the generic dimension of C1C^1 tetrahedral splines for d0d\gg 0~\cite{ASWTet} and indicate via example how this description may be used to give the fourth coefficient in particular non-generic configurations. These computations are possible via a careful analysis of associated primes of the spline complex \cR/\cJ introduced by Schenck-Stillman in~\cite{LCoho} as a refinement of a complex first introduced by Billera~\cite{Homology}. Once the Hilbert polynomials which give the dimension of the spaces C^r_d(\PC) for d0d\gg 0 are known, one would like to know how large dd must be in order for this polynomial to give the correct dimension of the vector space C^r_d(\PC). Indeed the formulas are useless in practice without knowing when they give the correct answer. In the case of a planar triangulation, Hong and Ibrahim-Schumaker have shown that if d3r+2d\ge 3r+2 then the Hilbert polynomial of C^r(\wPC) gives the correct dimension of C^r_d(\PC)~\cite{HongDong,SuperSpline}. In the language of commutative algebra and algebraic geometry, this question is equivalent to asking about the \textit{Castelnuovo-Mumford regularity} of the graded algebra C^r(\wPC). In Chapter~\ref{ch:Regularity}, we provide bounds on the regularity of the algebra Cα(Σ)C^\alpha(\Sigma) of mixed splines over a polyhedral fan ΣR3\Sigma\subset\R^3. Our bounds recover the 3r+23r+2 bound in the simplicial case. The proof of these bounds rests on the homological flexibility of regularity, similar in philosophy to the Gruson-Lazarsfeld-Peskine theorem bounding the regularity of curves in projective space (see~\cite[Chapter 5]{Syz})

    Planar splines on a triangulation with a single totally interior edge

    Full text link
    We derive an explicit formula, valid for all integers r,d0r,d\ge 0, for the dimension of the vector space Cdr(Δ)C^r_d(\Delta) of piecewise polynomial functions continuously differentiable to order rr and whose constituents have degree at most dd, where Δ\Delta is a planar triangulation that has a single totally interior edge. This extends previous results of Toh\v{a}neanu, Min\'{a}\v{c}, and Sorokina. Our result is a natural successor of Schumaker's 1979 dimension formula for splines on a planar vertex star. Indeed, there has not been a dimension formula in this level of generality (valid for all integers d,r0d,r\ge 0 and any vertex coordinates) since Schumaker's result. We derive our results using commutative algebra.Comment: 20 pages, 3 figure

    Toric Arrangements

    Get PDF
    This thesis addresses some fundamental questions on the topology of toric arrangement complements. We prove two main result which generalize well known results about hyperplane arrangements. Namely, we define a Salvetti complex for toric arrangements and prove that it encodes the topology of the complement of the corresponding arrangement. Then we use the same complex to prove that complements of toric arrangements are minimal spaces and therefore have no torsion in homology and cohomology. In doing this we use a number of combinatorial tools. In fact, we need to extend some of the usual notions of combinatorial topology, to adapt them to our purposes
    corecore