arXiv subjects
Publications and source records attributed to Michael DiPasquale.
In this note we study the freeness of the module of derivations on all moduli of the $X_3$ arrangement with multiplicities. We use homological techniques stemming from work of Yuzvinsky, Brandt, and Terao which have recently been developed for multi-arrangements by the first author, Francisco, Mermin, and Schweig.
Let $M$ and $N$ be two monomials of the same degree, and let $I$ be the smallest Borel ideal containing $M$ and $N$. We show that the toric ring of $I$ is Koszul by constructing a quadratic Gröbner basis for the associated toric ideal. Our proofs use the construction of graphs corresponding to fibers of the toric map. As a consequence, we conclude that the Rees algebra is also Koszul.
We prove that, on a large cone containing the constant multiplicities, the only free multiplicities on the braid arrangement are those identified in work of Abe, Nuida, and Numata (2009). We also give a conjecture on the structure of all free multiplicities on braid arrangements.
We give a complete classification of free and non-free multiplicities on the $A_3$ braid arrangement. Namely, we show that all free multiplicities on $A_3$ fall into two families that have been identified by Abe-Terao-Wakefield (2007) and Abe-Nuida-Numata (2009). The main tool is a new homological obstruction to freeness derived via a connection to multivariate spline theory.
We define a chain complex for generalized splines on graphs, analogous to that introduced by Billera and refined by Schenck-Stillman for splines on polyhedral complexes. The hyperhomology of this chain complex yields bounds on the projective dimension of the ring of generalized splines. We apply this construction to the module of derivations of a graphic multi-arrangement, yielding homological criteria for bounding its projective dimension and determining freeness. As an application, we show that a graphic arrangement admits a free constant multiplicity iff it splits as a product of braid arrangements.
Semialgebraic splines are functions that are piecewise polynomial with respect to a cell decomposition into sets defined by polynomial inequalities. We study bivariate semialgebraic splines, formulating spaces of semialgebraic splines in terms of graded modules. We compute the dimension of the space of splines with large degree in two extreme cases when the cell decomposition has a single interior vertex. First, when the forms defining the edges span a two-dimensional space of forms of degree n---then the curves they define meet in n^2 points in the complex projective plane. In the other extreme, the curves have distinct slopes at the vertex and do not simultaneously vanish at any other point. We also study examples of the Hilbert function and polynomial in cases of a single vertex where the curves do not satisfy either of these extremes.
We derive bounds on the regularity of the algebra $C^α(\mathcal{P})$ of mixed splines over a central polytopal complex $\mathcal{P}\subset\mathbb{R}^3$. As a consequence we bound the largest integer $d$ (the postulation number) for which the Hilbert polynomial $HP(C^α(\mathcal{P}),d)$ disagrees with the Hilbert function $HF(C^α(\mathcal{P}),d)=\dim C^α(\mathcal{P})_d$. The polynomial $HP(C^α(\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^α(\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].
The spline complex $\mathcal{R}/\mathcal{J}[Σ]$ whose top homology is the algebra $C^α(Σ)$ of mixed splines over the fan $Σ\subset\mathbb{R}^{n+1}$ was introduced by Schenck-Stillman in [Schenck-Stillman 97] as a variant of a complex $\mathcal{R}/\mathcal{I}[Σ]$ 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^α(Σ)$, including cases where vanishing is imposed along arbitrary codimension one faces of the boundary of $Σ$, 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^α(Σ))$ for simplicial fans $Σ$. We use this to derive the result of Alfeld, Schumaker, and Whiteley on the generic dimension of $C^1$ tetrahedral splines for $d\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.
We study the module $C^r(\mathcal{P})$ of piecewise polynomial functions of smoothness $r$ on a pure $n$-dimensional polytopal complex $\mathcal{P}\subset\mathbb{R}^n$, via an analysis of certain subcomplexes $\mathcal{P}_W$ obtained from the intersection lattice of the interior codimension one faces of $\mathcal{P}$. We obtain two main results: first, we show that in sufficiently high degree, the vector space $C^r_k(\mathcal{P})$ of splines of degree $\leq k$ has a basis consisting of splines supported on the $\mathcal{P}_W$ for $k\gg0$. We call such splines lattice-supported. This shows that an analog of the notion of a star-supported basis for $C^r_k(Δ)$ studied by Alfeld-Schumaker in the simplicial case holds. Second, we provide a pair of conjectures, one involving lattice-supported splines, bounding how large $k$ must be so that $\mbox{dim}_\mathbb{R} C^r_k(\mathcal{P})$ agrees with the formula given by McDonald-Schenck. A family of examples shows that the latter conjecture is tight. The proposed bounds generalize known and conjectured bounds in the simplicial case.