A case study in bigraded commutative algebra

In this survey article we describe some geometric results in the theory of noncommutative rings and, more generally, in the theory of abelian categories. Roughly speaking and by analogy with the commutative situation, the category of graded modules modulo torsion over a noncommutative graded ring of quadratic, respectively cubic growth should be thought of as the noncommutative analogue of a projective curve, respectively surface. This intuition has lead to a remarkable num...

Perfect ideals of grade 3 can be classified based on algebra structures on their minimal free resolutions. The classification is incomplete in the sense that it remains open which of the possible algebra structures actually occur; this realizability question was formally posed by Avramov in 2012. Of five classes of algebra structures, the realizability question has been answered for one class. In this work, we answer the realizability question for two classes and contribute t...

We survey some recent results on the minimal graded free resolution of a square-free monomial ideal. The theme uniting these results is the point-of-view that the generators of a monomial ideal correspond to the maximal faces (the facets) of a simplicial complex \Delta.

A current research theme is to compare symbolic powers of an ideal $I$ with the regular powers of $I$. In this paper, we focus on the case that $I=I_X$ is an ideal defining an almost complete intersection (ACI) sets of points $X$ in $\mathbb{P}^1\times\mathbb{P}^1$. In particular, we describe a minimal free bigraded resolution of a non arithmetically Cohen-Macaulay (also non homogeneus) set of fat points $\mathcal Z$ whose support is an ACI. We call $\mathcal Z$ a fat ACI. We...

Let $I \subset R = \mathbb{F}[x_1,x_2]$ be a height two ideal minimally generated by three homogeneous polynomials of the same degree $d$, where $\mathbb{F}$ is a field of characteristic zero. We use the theory of $D$-modules to deduce information about the defining equations of the Rees algebra of $I$. Let $\mathcal{K}$ be the kernel of the canonical map $\alpha: \text{Sym}(I) \rightarrow \text{Rees}(I)$ from the symmetric algebra of $I$ onto the Rees algebra of $I$. We prov...

Let ${\sf k}$ be a field, $S$ be a bigraded ${\sf k}$-algebra, and $S_\Delta$ denote the diagonal subalgebra of $S$ corresponding to $\Delta = \{ (cs,es) \; | \; s \in \mathbb{Z} \}$. It is know that the $S_\Delta$ is Koszul for $c,e \gg 0$. In this article, we find bounds for $c,e$ for $S_\Delta$ to be Koszul, when $S$ is a geometric residual intersection. Furthermore, we also study the Cohen-Macaulay property of these algebras. Finally, as an application, we look at classes...

We study the syzygies of a codimension two ideal I = <f_1,f_2,f_3> in k[x,y,z]. Our main result is that the module of syzygies vanishing (scheme-theoretically) at the zero locus Z = V(I) is generated by the Koszul syzygies iff Z is a local complete intersection. The proof uses a characterization of complete intersections due to Herzog. When I is saturated, we relate our theorem to results of Weyman and of Simis and Vasconcelos. We conclude with an example of how our theorem f...

Motivated by applications to topological data analysis, we give an efficient algorithm for computing a (minimal) presentation of a bigraded $K[x,y]$-module $M$, where $K$ is a field. The algorithm takes as input a short chain complex of free modules $X\xrightarrow{f} Y \xrightarrow{g} Z$ such that $M\cong \ker{g}/\mathrm{im}{f}$. It runs in time $O(|X|^3+|Y|^3+|Z|^3)$ and requires $O(|X|^2+|Y|^2+|Z|^2)$ memory, where $|\cdot |$ denotes the rank. Given the presentation compute...

Let $L_i(R)$ denote the $i^{\text{th}}$ term of the lower central series of an associative algebra $R$, and let $B_i(R)=L_i(R)/L_{i+1}(R)$. We show that $B_2(\mathbb{C}<x, y>/ P)\cong \Omega^2((\mathbb{C}<x, y>/ P)_{ab})$, for all homogeneous or quasihomogeneous $P$ with square-free abelianization. Our approach generalizes that of Balagovic and Balasubramanian in 2010, which in turn developed from that of Dobrovolska, Kim, and Ma in 2007. We also use ideas of Feign and Shoikh...

Let $P$ be a commutative Noetherian ring and $F$ be a self-dual acyclic complex of finitely generated free $P$-modules. Assume that $F$ has length four and $F_0$ has rank one. We prove that $F$ can be given the structure of a Differential Graded Algebra with Divided Powers; furthermore, the multiplication on $F$ exhibits Poincar\'e duality. This result is already known if $P$ is a local Gorenstein ring and $F$ is a minimal resolution. The purpose of the present paper is to re...