Multivariate Splines and Algebraic Geometry

Multivariate splines are effective tools in numerical analysis and approximation theory. Despite an extensive literature on the subject, there remain open questions in finding their dimension, constructing local bases, and determining their approximation power. Much of what is currently known was developed by numerical analysts, using classical methods, in particular the so-called Bernstein-Bézier techniques. Due to their many interesting structural properties, splines have become of keen interest to researchers in commutative and homological algebra and algebraic geometry. Unfortunately, these communities have not collaborated much. The purpose of the half-size workshop is to intensify the interaction between the different groups by bringing them together. This could lead to essential breakthroughs on several of the above problems Mathematics Subject Classification (2010): 41A15, 13D40, 52C99. Introduction by the Organisers The workshop Multivariate Splines and Algebraic Geometry, was attended by 26 researchers interested in multivariate splines, polynomial approximation and algebraic geometry. A key problem in both pure and applied mathematics is to construct finite dimensional spaces of functions that are capable of approximating complicated or unknown functions well. Such spaces are especially important for scientific computing, where they are used in computer-aided geometric design, data fitting, and the solution of partial differential equations by the finite-element method. Historically, polynomials have played the central role, but more recently 1140 Oberwolfach Report 21/2015 it has been recognized that spaces of piecewise polynomials are much more efficient and effective. A C-differentiable piecewise polynomial function on a ddimensional simplicial complex ∆ ⊆ R is called a spline. Let S k(∆) denote the vector space of C splines on a fixed ∆, where each individual polynomial has degree at most k. But before we can use spline spaces, we need to solve several basic problems such as finding their dimension, constructing local bases, and determining their approximation power. Despite an extensive literature on the subject, there remain open questions in all of these areas. Much of what is currently known was developed by approximation theorists, using methods of classical analysis, in particular the so-called Bernstein-Bézier techniques. However, due to their many interesting structural properties, splines have also become of keen interest to researchers in commutative and homological algebra, geometry, combinatorics, and topology. Unfortunately, these various communities had not collaborated much. The main purpose of the workshop was to intensify the interaction between the different groups. We believe that the workshop brought together the two communities and fostered fruitful collaborations between individual researchers. We expect that such collaborations and the combined use of tools from the various mathematical fields will lead to essential breakthroughs on several of the above problems. The workshop began with a pair of introductory lecture series: Algebraic geometry for approximators and Approximation theory for geometers. These lectures established a firm grounding in common language and tools. We also held two open problems sessions that took place in the evenings. They highlighted the key conjectures as well. Several exciting new areas were discussed, such as T-Splines and the study of splines on polyhedral (rather than simplicial) complexes. We believe that the workshop generated strong ties between the two communities, and also emphasized to the younger participants the need for interdisciplinary techniques. Acknowledgement: The MFO and the workshop organizers would like to thank the National Science Foundation for supporting the participation of junior researchers in the workshop by the grant DMS-1049268, “US Junior Oberwolfach Fellows”. Multivariate Splines and Algebraic Geometry 1141 Workshop: Multivariate Splines and Algebraic Geometry

[1]  Hendrik Speleers,et al.  Local Hierarchical h-Refinements in IgA Based on Generalized B-Splines , 2012, MMCS.

[2]  Peter F. Stiller Certain reflexive sheaves on ⁿ_{} and a problem in approximation theory , 1983 .

[3]  Falai Chen,et al.  On the instability in the dimension of splines spaces over T-meshes , 2011, Comput. Aided Geom. Des..

[4]  Peter F. Stiller,et al.  Cohomology vanishing¶and a problem in approximation theory , 2002 .

[5]  Larry L. Schumaker,et al.  Approximation power of polynomial splines on T-meshes , 2012, Comput. Aided Geom. Des..

[6]  David R. Forsey,et al.  Hierarchical B-spline refinement , 1988, SIGGRAPH.

[7]  Larry L. Schumaker,et al.  Spline functions on triangulations , 2007, Encyclopedia of mathematics and its applications.

[8]  Tom Lyche,et al.  A Hermite interpolatory subdivision scheme for C2-quintics on the Powell-Sabin 12-split , 2014, Comput. Aided Geom. Des..

[9]  Anthony Iarrobino,et al.  Inverse system of a symbolic power III: thin algebras and fat points , 1997, Compositio Mathematica.

[10]  Hal Schenck,et al.  Equivariant Chow cohomology of nonsimplicial toric varieties , 2011, 1101.0352.

[11]  Gilbert Strang,et al.  The dimension of piecewise polynomial spaces, and one-sided approximation , 1974 .

[12]  P. Sattayatham,et al.  GB-splines of arbitrary order , 1999 .

[13]  Tom Lyche,et al.  Polynomial splines over locally refined box-partitions , 2013, Comput. Aided Geom. Des..

[14]  Bernard Mourrain,et al.  On the dimension of spline spaces on planar T-meshes , 2010, Math. Comput..

[15]  Larry L. Schumaker,et al.  Bounds on the dimension of spaces of multivariate piecewise polynomials , 1984 .

[16]  Hal Schenck,et al.  Computational Algebraic Geometry , 2003 .

[17]  Tom Lyche,et al.  A B-spline-like basis for the Powell-Sabin 12-split based on simplex splines , 2013, Math. Comput..

[18]  Ulrich Reif,et al.  Error bounds for polynomial tensor product interpolation , 2009, Computing.

[19]  D. Eisenbud Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[20]  Hal Schenck,et al.  Splines on the Alfeld split of a simplex and type A root systems , 2014, J. Approx. Theory.

[21]  Anthony Iarrobino,et al.  Inverse System of a Symbolic Power, I , 1995 .

[22]  Hong Dong,et al.  Spaces of bivariate spline functions over triangulation , 1991 .

[23]  Rick Miranda,et al.  LINEAR SYSTEMS OF PLANE CURVES , 1999 .

[24]  Michael Stillman,et al.  Local cohomology of bivariate splines , 1997 .

[25]  Ştefan O. Tohǎneanu Smooth planar r-splines of degree 2r , 2005, J. Approx. Theory.

[26]  Michael DiPasquale Regularity of Mixed Spline Spaces , 2014, 1411.2176.

[27]  J. Bramble,et al.  Estimation of Linear Functionals on Sobolev Spaces with Application to Fourier Transforms and Spline Interpolation , 1970 .

[28]  Hendrik Speleers,et al.  THB-splines: The truncated basis for hierarchical splines , 2012, Comput. Aided Geom. Des..

[29]  Hal Schenck,et al.  A Family of Ideals of Minimal Regularity and the Hilbert Series ofC r (Δ) , 1997 .

[30]  T. McDonald,et al.  Piecewise polynomials on polyhedral complexes , 2008, Adv. Appl. Math..

[31]  T. Dupont,et al.  Polynomial approximation of functions in Sobolev spaces , 1980 .

[32]  Juan Manuel Peña,et al.  Shape preserving alternatives to the rational Bézier model , 2001, Comput. Aided Geom. Des..

[33]  Hal Schenck,et al.  A Spectral Sequence for Splines , 1997 .

[34]  Bernard Mourrain,et al.  Homological techniques for the analysis of the dimension of triangular spline spaces , 2012, J. Symb. Comput..

[35]  L. Schumaker On the Dimension of Spaces Of Piecewise Polynomials in Two Variables , 1979 .

[36]  Larry L. Schumaker,et al.  On Hermite interpolation with polynomial splines on T-meshes , 2013, J. Comput. Appl. Math..

[37]  D. Kirby THE ALGEBRAIC THEORY OF MODULAR SYSTEMS , 1996 .