Source author record

Mike Stillman

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

ResearcherUnclaimed source record

math.AC math.AG hep-th math.NA Numerical Analysis

Catalog footprint

What is connected

5works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

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.

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

preprint2019arXiv

Minimal Surfaces and Weak Gravity

We show that the Weak Gravity Conjecture (WGC) implies a nontrivial upper bound on the volumes of the minimal-volume cycles in certain homology classes that admit no calibrated representatives. In compactification of type IIB string theory on an orientifold $X$ of a Calabi-Yau threefold, we consider a homology class $[Σ] \in H_4(X,\mathbb{Z})$ represented by a union $Σ_{\cup}$ of holomorphic and antiholomorphic cycles. The instanton form of the WGC applied to the axion charge $[Σ]$ implies an upper bound on the action of a non-BPS Euclidean D3-brane wrapping the minimal-volume representative $Σ_{\mathrm{min}}$ of $[Σ]$. We give an explicit example of an orientifold $X$ of a hypersurface in a toric variety, and a hyperplane $\mathcal{H} \subset H_4(X,\mathbb{Z})$, such that for any $[Σ] \in H$ that satisfies the WGC, the minimal volume obeys $\mathrm{Vol}(Σ_{\mathrm{min}}) \ll \mathrm{Vol}(Σ_{\cup})$: the holomorphic and antiholomorphic components recombine to form a much smaller cycle. In particular, the sub-Lattice WGC applied to $X$ implies large recombination, no matter how sparse the sublattice. Non-BPS instantons wrapping $Σ_{\mathrm{min}}$ are then more important than would be predicted from a study of BPS instantons wrapping the separate components of $Σ_{\cup}$. Our analysis hinges on a novel computation of effective divisors in $X$ that are not inherited from effective divisors of the toric variety.

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.

preprint2009arXiv

Geometric properties derived from generic initial spaces

For a vector space V of homogeneous forms of the same degree in a polynomial ring, we investigate what can be said about the generic initial ideal of the ideal generated by V, from the form of the generic initial space gin(V) for the revlex order. Our main result is a considerable generalisation of a previous result by the first author.