BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Hal Schenck

Hal Schenck appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.ACmath.COmath.NAComputational Complexitymath.ATmath.CAmath.SGNumerical Analysis

Catalog footprint

What is connected

29works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2020arXiv

A new bound for smooth spline spaces

For a planar simplicial complex Delta contained in R^2, Schumaker proved that a lower bound on the dimension of the space C^r_k(Delta) of planar splines of smoothness r and polynomial degree at most k on Delta is given by a polynomial P_Delta(r,k), and Alfeld-Schumaker showed this polynomial gives the correct dimension when k >= 4r+1. Examples due to Morgan-Scott, Tohaneanu, and Yuan show that the equality dim C^r_k(Delta) = P_Delta(r,k) can fail when k = 2r or 2r+1. We prove that the equality dim C^r_k(Delta)= P_Delta(r,k) cannot hold in general for k <= (22r+7)/10.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quadratic Gorenstein rings and the Koszul property I

Let $R$ be a standard graded Gorenstein algebra over a field presented by quadrics. Conca, Rossi, and Valla have shown that such a ring is Koszul if $\mathrm{reg}\, R \leq 2$ or if $\mathrm{reg}\, = 3$ and $c= \mathrm{codim}\, R \leq 4$, and they ask whether this is true for $\mathrm{reg}\, R = 3$ in general. We determine sufficient conditions on a non-Koszul quadratic Cohen-Macaulay ring $R$ that guarantee the Nagata idealization $\tilde{R} = R \ltimes ω_R(-a-1)$ is a non-Koszul quadratic Gorenstein ring. We use this to negatively answer the question of Conca-Rossi-Valla, constructing non-Koszul quadratic Gorenstein rings of regularity 3 for all $c \geq 9$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Algebraic methods in approximation theory

This survey gives an overview of several fundamental algebraic constructions which arise in the study of splines. Splines play a key role in approximation theory, geometric modeling, and numerical analysis, their properties depend on combinatorics, topology, and geometry of a simplicial or polyhedral subdivision of a region in R^k, and are often quite subtle. We describe four algebraic techniques which are useful in the study of splines: homology, graded algebra, localization, and inverse systems. Our goal is to give a hands-on introduction to the methods, and illustrate them with concrete examples in the context of splines. We highlight progress made with these methods, such as a formula for the third coefficient of the polynomial giving the dimension of the spline space in high degree, much of which builds on pioneering work of Schumaker, Alfeld-Schumaker, and Billera. The objects appearing here may be computed using the Macaulay2 software system.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Polynomial interpolation in higher dimension: from simplicial complexes to GC sets

Geometrically characterized (GC) sets were introduced by Chung-Yao in their work on polynomial interpolation in R^d. Conjectures on the structure of GC sets have been proposed by Gasca-Maeztu for the planar case, and in higher dimension by de Boor and Apozyan-Hakopian. We investigate GC sets in dimension three or more, and show that one way to obtain such sets is from the combinatorics of simplicial complexes.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Subdivision and spline spaces

A standard construction in approximation theory is mesh refinement. For a simplicial or polyhedral mesh D in R^k, we study the subdivision D' obtained by subdividing a maximal cell of D. We give sufficient conditions for the module of splines on D' to split as the direct sum of splines on D and splines on the subdivided cell. As a consequence, we obtain dimension formulas and explicit bases for several commonly used subdivisions and their multivariate generalizations.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The method of shifted partial derivatives cannot separate the permanent from the determinant

The method of shifted partial derivatives was used to prove a super-polynomial lower bound on the size of depth four circuits needed to compute the permanent. We show that this method alone cannot prove that the padded permanent $\ell^{n-m} perm_m$ cannot be realized inside the $GL_{n^2}$-orbit closure of the determinant $ det_n$ when $n>2m^2+2m$. Our proof relies on several simple degenerations of the determinant polynomial, Macaulay's theorem that gives a lower bound on the growth of an ideal, and a lower bound estimate from Gupta et. al. regarding the shifted partial derivatives of the determinant.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Tensor product surfaces and linear syzygies

Let U be a basepoint free four-dimensional subpace of the space of sections of bidegree (a,b) on X = P^1 x P^1, with a and b at least 2. The sections corresponding to U determine a regular map from X to P^3. We show that there can be at most one linear syzygy on the associated bigraded ideal I_U in the bigraded ring k[s,t;u,v]. Existence of a linear syzygy, coupled with the assumption that U is basepoint free, implies the existence of an additional "special pair" of minimal first syzygies. Using results of Botbol, we show that these three syzygies are sufficient to determine the implicit equation of the image of X in P^3; we also show that the singular locus must contain a line.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Orlik-Terao algebra and 2-formality

The Orlik-Solomon algebra is the cohomology ring of the complement of a hyperplane arrangement A in C^n; it is the quotient of an exterior algebra E(V) on |A| generators. Orlik and Terao introduced a commutative analog S(V)/I of the Orlik-Solomon algebra to answer a question of Aomoto and showed the Hilbert series depends only on the intersection lattice L(A). Motivated by topological considerations, Falk and Randell introduced the property of 2-formality; we study the relation between 2-formality and the Orlik-Terao algebra. Our main result is a necessary and sufficient condition for 2-formality in terms of the quadratic component I_2 of the Orlik-Terao ideal I: 2-formality is determined by the tangent space T_p(V(I_2)) at a generic point p.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Logarithmic vector fields for quasihomogeneous curve configurations in P^2

Let A be a union of smooth plane curves C_i, such that each singular point of A is quasihomogeneous. We prove that if C is a smooth curve such that each singular point of A U C is also quasihomogeneous, then there is an elementary modification of rank two bundles, which relates the O_{P^2} module Der(log A) of vector fields on P^2 tangent to A to the module Der(log A U C). This yields an inductive tool for studying the splitting of the bundles Der(log A) and Der(log A U C), depending on the geometry of the divisor A|_C on C.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Splines on the Alfeld split of a simplex and type A root systems

Alfeld introduced a subdivision AS(n) of an n-simplex, generalizing the Clough-Tocher split of a triangle. A formula for the dimension of the spline space C^r_k(AS(n)) was conjectured recently by Foucart-Sorokina. We prove that the graded module of C^r-splines on the cone over AS(n) is isomorphic to the module D^{r+1}(A_n) of multiderivations on the type A_n Coxeter arrangement. A theorem of Terao shows that the module of multiderivations of a Coxeter arrangement is free and gives an explicit basis. As a consequence the conjectured formula holds.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Few smooth d-polytopes with n lattice points

We prove that, for fixed n there exist only finitely many embeddings of Q-factorial toric varieties X into P^n that are induced by a complete linear system. The proof is based on a combinatorial result that for fixed nonnegative integers d and n, there are only finitely many smooth d-polytopes with n lattice points. We also enumerate all smooth 3-polytopes with at most 12 lattice points. In fact, it is sufficient to bound the singularities and the number of lattice points on edges to prove finiteness.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Geometry of Wachspress surfaces

Let P_d be a convex polygon with d vertices. The associated Wachspress surface W_d is a fundamental object in approximation theory, defined as the image of the rational map w_d from P^2 to P^{d-1}, determined by the Wachspress barycentric coordinates for P_d. We show w_d is a regular map on a blowup X_d of P^2, and if d>4 is given by a very ample divisor on X_d, so has a smooth image W_d. We determine generators for the ideal of W_d, and prove that in graded lex order, the initial ideal of I(W_d) is given by a Stanley-Reisner ideal. As a consequence, we show that the associated surface is arithmetically Cohen-Macaulay, of Castelnuovo-Mumford regularity two, and determine all the graded betti numbers of I(W_d).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Hyperplane Arrangements: Computations and Conjectures

This paper provides an overview of selected results and open problems in the theory of hyperplane arrangements, with an emphasis on computations and examples. We give an introduction to many of the essential tools used in the area, such as Koszul and Lie algebra methods, homological techniques, and the Bernstein-Gelfand-Gelfand correspondence, all illustrated with concrete calculations. We also explore connections of arrangements to other areas, such as De Concini-Procesi wonderful models, the Feichtner-Yuzvinsky algebra of an atomic lattice, fatpoints and blowups of projective space, and plane curve singularities.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Local cohomology of logarithmic forms

Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a free divisor. We consider arrangements of hyperplanes as a source of examples and counterexamples. In particular, we make a complete calculation of the local cohomology of logarithmic forms of generic hyperplane arrangements.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Syzygies and singularities of tensor product surfaces of bidegree (2,1)

Let U be a basepoint free four-dimensional subspace of the space of sections of O(2,1) on P^1 x P^1. The sections corresponding to U determine a regular map p_U: P^1 x P^1 --> P^3. We study the associated bigraded ideal I_U in k[s,t;u,v] from the standpoint of commutative algebra, proving that there are exactly six numerical types of possible bigraded minimal free resolution. These resolutions play a key role in determining the implicit equation of the image p_U(P^1 x P^1), via work of Buse-Jouanolou, Buse-Chardin, Botbol and Botbol-Dickenstein-Dohm on the approximation complex. In four of the six cases I_U has a linear first syzygy; remarkably from this we obtain all differentials in the minimal free resolution. In particular this allows us to describe the implicit equation and singular locus of the image.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Equivariant Chow cohomology of nonsimplicial toric varieties

For a toric variety X_P determined by a rational polyhedral fan P in a lattice N, Payne shows that the equivariant Chow cohomology of X_P is the Sym(N)--algebra C^0(P) of integral piecewise polynomial functions on P. We use the Cartan-Eilenberg spectral sequence to analyze the associated reflexive sheaf on Proj(N), showing that the Chern classes depend on subtle geometry of P and giving criteria for the splitting of the sheaf as a sum of line bundles. For certain fans associated to the reflection arrangement A_n, we describe a connection between C^0(P) and logarithmic vector fields tangent to A_n.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Euler characteristic of coherent sheaves on simplicial torics via the Stanley-Reisner ring

We combine work of Cox on the total coordinate ring of a toric variety and results of Eisenbud-Mustata-Stillman and Mustata on cohomology of toric and monomial ideals to obtain a formula for computing the Euler characteristic of a Weil divisor D on a complete simplicial toric variety in terms of graded pieces of the Cox ring and Stanley-Reisner ring. The main point is to use Alexander duality to pass from the toric irrelevant ideal, which appears in the computation of the Euler characteristic of D, to the Stanley-Reisner ideal of the fan, which is used in defining the Chow ring. The formula also follows from work of Maclagan-Smith.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Inverse systems, Gelfand-Tsetlin patterns and the weak Lefschetz property

Migliore-Miró-Roig-Nagel [Trans. A.M.S. 2011, arXiv: 0811.1023] show that the weak Lefschetz property (WLP) can fail for an ideal I in K[x_1,x_2,x_3,x_4] generated by powers of linear forms. This is in contrast to the analogous situation in K[x_1,x_2,x_3], where WLP always holds [H.Schenck, A.Seceleanu, Proc. A.M.S. 2010, arXiv:0911.0876]. We use the inverse system dictionary to connect I to an ideal of fat points and show that failure of WLP for powers of linear forms is connected to the geometry of the associated fat point scheme. Recent results of Sturmfels-Xu in [J. Eur. Math. Soc. 2010, arXiv:0803.0892] allow us to relate WLP to Gelfand-Tsetlin patterns. See the paper "On the weak Lefschetz property for powers of linear forms" by Migliore-Miró-Roig-Nagel [arXiv:1008.2149] for related results.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Recent developments and open problems in linear series

In the week 3--9, October 2010, the Mathematisches Forschungsinstitut at Oberwolfach hosted a mini workshop Linear Series on Algebraic Varieties. These notes contain a variety of interesting problems which motivated the participants prior to the event, and examples, results and further problems which grew out of discussions during and shortly after the workshop. A lot of arguments presented here are scattered in the literature or constitute folklore. It was one of our aims to have a usable and easily accessible collection of examples and results.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

High rank linear syzygies on low rank quadrics

We study the linear syzygies of a homogeneous ideal I in a polynomial ring S, focusing on the graded betti numbers b_(i,i+1) = dim_k Tor_i(S/I, k)_(i+1). For a variety X and divisor D with S = Sym(H^0(D)*), what conditions on D ensure that b_(i,i+1) is nonzero? Eisenbud has shown that a decomposition D = A + B such that A and B have at least two sections gives rise to determinantal equations (and corresponding syzygies) in I_X; and conjectured that if I_2 is generated by quadrics of rank at most 4, then the last nonvanishing b_(i,i+1) is a consequence of such equations. We describe obstructions to this conjecture and prove a variant. The obstructions arise from toric specializations of the Rees algebra of Koszul cycles, and we give an explicit construction of toric varieties with minimal linear syzygies of arbitrarily high rank. This gives one answer to a question posed by Eisenbud and Koh about specializations of syzygies.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Resonance varieties via blowups of P^2 and scrolls

Conjectures of Suciu relate the fundamental group of the complement M = C^n\A of a hyperplane arrangement A to the first resonance variety of H^*(M,Z). We describe a connection between the first resonance variety and the Orlik-Terao algebra C(A) of the arrangement. In particular, we show that non-local components of R^1(A) give rise to determinantal syzygies of C(A). As a result, Proj(C(A)) lies on a scroll, placing geometric constraints on R^1(A). The key observation is that C(A) is the homogeneous coordinate ring associated to a nef but not ample divisor on the blowup of P^2 at the singular points of A.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Holonomy Lie algebras and the LCS formula for subarrangements of A_n

If X is the complement of a hypersurface in P^n, then Kohno showed that the nilpotent completion of the fundamental group is isomorphic to the nilpotent completion of the holonomy Lie algebra of X. When X is the complement of a hyperplane arrangement A, the ranks phi_k of the lower central series quotients of the fundamental group of X are known for isolated examples, and for two special classes: if X is hypersolvable (in which case the quadratic closure of the cohomology ring is Koszul), or if the holonomy Lie algebra decomposes in degree three as a direct product of local components. In this paper, we use the holonomy Lie algebra to obtain a formula for phi_k when A is a subarrangement of A_n. This extends Kohno's result for braid arrangements, and provides an instance of an LCS formula for arrangements which are not decomposable or hypersolvable.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Freeness of Conic-Line Arrangements in $\mathbb P^2$

Let ${\mathcal C}= \bigcup_{i=1}^n C_i \subseteq \mathbb{P}^2$ be a collection of smooth rational plane curves. We prove that the addition-deletion operation used in the study of hyperplane arrangements has an extension which works for a large class of arrangements of smooth rational curves, giving an inductive tool for understanding the freeness of the module $Ω^1({\mathcal C})$ of logarithmic differential forms with pole along ${\mathcal C}$. We also show that the analog of Terao's conjecture (freeness of $Ω^1({\mathcal C})$ is combinatorially determined if ${\mathcal C}$ is a union of lines) is false in this setting.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Derivation modules of orthogonal duals of hyperplane arrangements

Let A be an n by d matrix having full rank n. An orthogonal dual A^{\perp} of A is a (d-n) by d matrix of rank (d-n) such that every row of A^{\perp} is orthogonal (under the usual dot product) to every row of A. We define the orthogonal dual for arrangements by identifying an essential (central) arrangement of d hyperplanes in n-dimensional space with the n by d matrix of coefficients of the homogeneous linear forms for which the hyperplanes are kernels. If n is at least 5, we show that if the matroid (or the intersection lattice) of an n-dimensional essential arrangement A contains a modular copoint whose complement spans, then the derivation module of the orthogonally dual arrangement \A^{\perp} has projective dimension at least [n(n+2)/4] - 3,([ ] denotes ceiling).

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Syzygies, multigraded regularity and toric varieties

Using multigraded Castelnuovo-Mumford regularity, we study the equations defining a projective embedding of a variety X. Given globally generated line bundles B_1, ..., B_k on X and integers m_1, ..., m_k, consider the line bundle L := B_1^m_1 \otimes ... \otimes B_k^m_k. We give conditions on the m_i which guarantee that the ideal of X in P(H^0(X,L)) is generated by quadrics and the first p syzygies are linear. This yields new results on the syzygies of toric varieties and the normality of polytopes.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Toric surface codes and Minkowski sums

Toric codes are evaluation codes obtained from an integral convex polytope $P \subset \R^n$ and finite field $\F_q$. They are, in a sense, a natural extension of Reed-Solomon codes, and have been studied recently by J. Hansen and D. Joyner. In this paper, we obtain upper and lower bounds on the minimum distance of a toric code constructed from a polygon $P \subset \R^2$ by examining Minkowski sum decompositions of subpolygons of $P$. Our results give a simple and unifying explanation of bounds of Hansen and empirical results of Joyner; they also apply to previously unknown cases.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

A case study in bigraded commutative algebra

We study the commutative algebra of three bihomogeneous polynomials p_0,p_1,p_2 of degree (2,1) in variables x,y;z,w, assuming that they never vanish simultaneously on P^1 x P^1. Unlike the situation for P^2, the Koszul complex of the p_i is never exact. The purpose of this article is to illustrate how bigraded commutative algebra differs from the classical graded case and to indicate some of the theoretical tools needed to understand the free resolution of the ideal generated by p_0,p_1,p_2.

0 citations0 reviewsNo code linkedOpen access