SearcharxivSearch

arXiv subjects

Maya Banks

Publications and source records attributed to Maya Banks.

9 recordsLinked to original sources

Weighted Syzygies of Pointed Curves

For a point $P$ on a smooth projective curve $C$ of genus $g$, the section ring $R_d = R(C,\mathcal{O}_C(dP))$ can be minimally presented as a quotient $S_d/I_d$ where $S_d$ is a $\mathbb{Z}$-graded polynomial ring. Motivated by Green's $N_p$ properties for projective embeddings, we investigate the syzygies of $R_d$ over $S_d$ in low degrees $d$ when $R_d$ is not generated in degree 1. We bound the degrees of the generators of $R_d$ and prove uniform column-by-column bounds on the support of the Betti table of $R_d$ over $S_d$. We compute the weighted regularity of $R_d$ and show that if $d$ is larger than the Frobenius number of $P$ then $R_d$ satisfies the weighted $N_p$ condition, where $p=g-1-\binom{d-g}{2}$. Finally, we give sufficient criteria for the Betti numbers to be determined explicitly and show that for ordinary points, the resolution of $R_{g+1}$ is pure.

math.AG

Obstructions to embedding singular curves in toric varieties

For every integer $d \geq 2$, we show that there exists an irreducible, reduced curve which embeds in $\mathbb{P}^d$ but in no projective normal toric variety of dimension less than $d$. In particular, there exist reduced irreducible curves that embed in $\mathbb{P}^d$ but do not embed in any weighted projective space of dimension less than $d$.

math.AG

Varieties of minimal degree in weighted projective space

We initiate a study of varieties of minimal degree in weighted projective spaces. We call a weighted projective space $\mathbf{P}(w_0,\dots,w_n)$ divisible if $w_i \mid w_{i+1}$ for all $i$. We provide sharp bounds for when a non-degenerate subvariety of a divisible weighted projective space has minimal degree. We define a weighted notion of $1$-generic matrices and, in analogy with the classical theory, show that there is a theory of weighted determinantal scrolls. Moreover, we characterize precisely when these have minimal degree and determine their weighted $N_p$ properties, and tie this to two weighted notions of regularity. Finally, we propose conjectural bounds for more general weighted threefolds and pose several natural questions. Throughout, we highlight the differences between this theory and the classical case.

math.AC

The multigraded BGG correspondence in Macaulay2

We give an overview of a Macaulay2 package for computing with the multigraded BGG correspondence. This software builds on the package BGG due to Abo-Decker-Eisenbud-Schreyer-Smith-Stillman, which concerns the standard graded BGG correspondence. In addition to implementing the multigraded BGG functors, this package includes an implementation of differential modules and their minimal free resolutions, and it contains a method for computing strongly linear strands of multigraded free resolutions.

math.AC

Differential modules and Deformations of Free Complexes

We classify (up to quasi-isomorphism) the free differential modules whose homology is equal to a given module $M$ by developing a theory for deforming an arbitrary free complex into a differential module. We use an iterative approach to parameterize the deformations and obstructions in terms of certain Ext groups, giving an algorithmic realization of a result of Brown-Erman. We apply this theory to study certain rigidity properties of free resolutions and related rank conjectures.

math.AC

Boij-S\"oderberg Conjectures for Differential Modules

Boij-S\"oderberg theory gives a combinatorial description of the set of Betti tables belonging to finite length modules over the polynomial ring $S = k[x_1, \ldots, x_n]$. We posit that a similar combinatorial description can be given for analogous numerical invariants of graded differential $S$-modules, which are natural generalizations of chain complexes. We prove several results that lend evidence in support of this conjecture, including a categorical pairing between the derived categories of graded differential $S$-modules and coherent sheaves on $\mathbb{P}^{n-1}$ and a proof of the conjecture in the case where $S = k[t]$.

math.AC

Differential Modules with Complete Intersection Homology

Differential modules are natural generalizations of complexes. In this paper, we study differential modules with complete intersection homology, comparing and contrasting the theory of these differential modules with that of the Koszul complex. We construct a Koszul differential module that directly generalizes the classical Koszul complex and investigate which properties of the Koszul complex can be generalized to this setting.

math.AC

Subcomplexes of Certain Free Resolutions

What are the subcomplexes of a free resolution? This question is simple to state, but the naive approach leads to a computational quagmire that is infeasible even in small cases. In this paper, we invoke the Bernstein--Gelfand--Gelfand (BGG) correspondence to address this question for free resolutions given by two well-known complexes, the Koszul and the Eagon--Northcott. This novel approach provides a complete characterization of the ranks of free modules in a subcomplex in the Koszul case and imposes numerical restrictions in the Eagon--Northcott case.

math.AC

Deletion and contraction in configuration spaces of graphs

The aim of this article is to provide space level maps between configuration spaces of graphs that are predicted by algebraic manipulations of cellular chains. More explicitly, we consider edge contraction and half-edge deletion, and identify the homotopy cofibers in terms of configuration spaces of simpler graphs. The construction's main benefit lies in making the operations functorial - in particular, graph minors give rise to compatible maps at the level of fundamental groups as well as generalized (co)homology theories. As applications we provide a long exact sequence for half-edge deletion in any generalized cohomology theory, compatible with cohomology operations such as the Steenrod and Adams operations, allowing for inductive calculations in this general context. We also show that the generalized homology of unordered configuration spaces is finitely generated as a representation of the opposite graph minor category.

math.AT