Related papers: Ideals generated by $a$-fold products of linear fo…

Let $S = K[x_1, \dots, x_n]$ be the standard graded polynomial ring over a field $K$. In this paper, we address and completely solve two fundamental open questions in Commutative Algebra: (i) For which degrees $d$, does there exist a…

We provide a categorical interpretation of a well-known identity from linear algebra as an isomorphism of certain functors between triangulated categories arising from finite dimensional algebras. As a consequence, we deduce that the Serre…

Given a symbolic power of a homogeneous ideal in a polynomial ring, we study the problem of determining which powers of the ideal contain it. For ideals defining 0-dimensional subschemes of projective space, as an immediate corollary of our…

Let $\mm=(m_0,m_1,m_2,n)$ be an almost arithmetic sequence, i.e., a sequence of positive integers with ${\rm gcd}(m_0,m_1,m_2,n) = 1$, such that $m_0<m_1<m_2$ form an arithmetic progression, $n$ is arbitrary and they minimally generate the…

Perfect ideals $I$ of grade $3$ in a local ring $(R,\mathfrak{m},\Bbbk)$ can be classified based on multiplicative structures on $\text{Tor}^R_{\bullet}(R/I,\Bbbk)$. The classification is incomplete in the sense that it remains open which…

In this paper we investigate the class of rigid monomial ideals. We give a characterization of the minimal free resolutions of certain classes of these ideals. Specifically, we show that the ideals in a particular subclass of rigid monomial…

Given distinct points $p_1,\cdots,p_r$ of the projective plane $P^2$ and a positive integer $m$, the homogeneous ideal defining the fat point subscheme $Z=m(p_1+\cdots+p_r)$ is the symbolic power $I^{(m)}$ of the homogeneous ideal $I$…

Physicists showed that the generating function of orbifold elliptic genera of symmetric orbifolds can be written as an infinite product. We show that there exists a geometric factorization on space level behind this infinite product formula…

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…

In this paper we give new upper bounds on the regularity of edge ideals whose resolutions are k-steps linear; surprisingly, the bounds are logarithmic in the number of variables. We also give various bounds for the projective dimension of…

In recent years, the combinatorial properties of monomials ideals and binomial ideals have been widely studied. In particular, combinatorial interpretations of free resolution algorithms have been given in both cases. In this present work,…

We prove that the Khovanov-Lauda-Rouquier algebras $R_\alpha$ of finite type are (graded) affine cellular in the sense of Koenig and Xi. In fact, we establish a stronger property, namely that the affine cell ideals in $R_\alpha$ are…

The germ of an analytic set $(X,p)$ in $\mathbb{C}^n$ has an associated $\mathscr{O}_{\mathbb{C}^n,p}$-module $\mathrm{Der}(-\log X)$ of `logarithmic vector fields', the ambient germs of holomorphic vector fields tangent to the smooth locus…

Working over a field of characteristic zero, we give structure theorems for all grade three licci ideals and their minimal free resolutions. In particular, we completely classify such ideals up to deformation. The descriptions of their…

Consider the affine space consisting of pairs of matrices $(A,B)$ of fixed size, and its closed subvariety given by the rank conditions $\operatorname{rank} A \leq a$, $\operatorname{rank} B \leq b$ and $\operatorname{rank} (A\cdot B) \leq…

In 2016, Ananyan and Hochster gave the first proof of a positive answer to Stillman's Question, which asked for a bound on the projective dimension of a graded polynomial ideal purely in terms of the number and degrees of its generators.…

Let $I_1,\dots,I_n$ be ideals generated by linear forms in a polynomial ring over an infinite field and let $J = I_1 \cdots I_n$. We describe a minimal free resolution of $J$ and show that it is supported on a polymatroid obtained from the…

Let $\Gamma$ be a finite graph, and for each vertex $i$ let $G_i$ be a finitely presented group. Let $G$ be the graph product of the $G_i$. That is, $G$ is the group obtained from the free product of the $G_i$ by factoring out by the…

With every $\sigma$-ideal $I$ on a Polish space we associate the $\sigma$-ideal $I^*$ generated by the closed sets in $I$. We study the forcing notions of Borel sets modulo the respective $\sigma$-ideals $I$ and $I^*$ and find connections…

Let $G$ be a simple finite graph. A famous theorem of Dirac says that $G$ is chordal if and only if $G$ admits a perfect elimination order. It is known by Fr\"oberg that the edge ideal $I(G)$ of $G$ has a linear resolution if and only if…