Related papers: Free modules of a multigraded resolution from simp…

Let $\mathcal{R}$ be a free Lie conformal algebra of rank $2$ with $\mathbb{C}[\partial]$-basis $\{L,I\}$ and relations \begin{eqnarray*} \left[L_{\lambda} L\right]=(\partial+2 \lambda) (L+I),\ \left[L_{\lambda} I\right]=(\partial+\lambda)…

For an ideal $I_{m,n}$ generated by all square-free monomials of degree $m$ in a polynomial ring $R$ with $n$ variables, we obtain a specific embedding of a canonical module of $R/I_{m,n}$ to $R/I_{m,n}$ itself. The construction of this…

Let $R=\Bbbk[x_1,\..., x_n]$ and $M=R^s/I$ a multigraded squarefree module. We discuss the construction of cochain complexes associated to $M$ and we show how to interpret homological invariants of $M$ in terms of topological computations.…

In this paper we propose a general method for computing a minimal free right resolution of a finitely presented graded right module over a finitely presented graded noncommutative algebra. In particular, if such module is the base field of…

Given a sequence of related modules $M_n$ over a sequence of related Noetherian polynomial rings, where each $M_n$ is a representation of the symmetric group on $n$ letters, one may ask how to simultaneously compute an equivariant free…

In this paper we study algebras of modular forms on unitary groups of signature $(n,1)$. We give a necessary and sufficient condition for an algebra of unitary modular forms to be free in terms of the modular Jacobian. As a corollary we…

Let $R = k[x]/I$ where $I$ is the defining ideal of a rational normal $k$-scroll. We compute the Betti numbers of the ground field $\mathbb{k}$ as a module over $R$. For $k = 2$, we give the minimal free resolution of $\mathbb{k}$ over $R$.

Let $\Bbbk$ be a field and let $I$ be a monomial ideal in the polynomial ring $Q=\Bbbk[x_1,\ldots,x_n]$. In her thesis, Taylor introduced a complex which provides a finite free resolution for $Q/I$ as a $Q$-module. Later, Gemeda constructed…

Let $M$ be a perfect module of projective dimension 3 in a Gorenstein, local or graded ring $R$. We denote by $\FF$ the minimal free resolution of $M$. Using the generic ring associated to the format of $\FF$ we define higher structure…

Motivated by Kraji\v{c}ek and Scanlon's definition of the Grothendieck ring $K_0(M)$ of a first-order structure $M$, we introduce the definition of $K$-groups $K_n(M)$ for $n\geq0$ via Quillen's $S^{-1}S$ construction. We provide a recipe…

In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely…

Building on work of Brandt and Terao in their study of $k$-formality, we introduce a co-chain complex associated to a multi-arrangement and prove that its cohomologies determine freeness of the associated module of multi-derivations. This…

It is shown that the methods and algorithms, developed in (A. Capani et al., Computing minimal finite free resolutions, {\it Journal of Pure and Applied Algebra}, (117& 118)(1997), 105 -- 117; M. Kreuzer and L. Robbiano, {\it Computational…

To a complex reflection arrangement with an invariant multiplicity function one can relate the space of logarithmic vector fields and the space of quasi-invariants, which are both modules over invariant polynomials. We establish a close…

Let $R = k[x_1, \dotsc , x_n]$ denote the standard graded polynomial ring over a field $k$. We study certain classes of equigenerated monomial ideals with the property that the so-called complementary ideal has no linear relations on the…

We define pullback and separated presentations of modules over pullback rings, and, if the ring is a pullback of epimorphisms over a semisimple ring, an algorithm reducing such a presentation of a module to an $R$-diagram. The latter is the…

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…

If $\rho$ denotes a finite dimensional complex representation of $\textbf{SL}_2(\textbf{Z})$, then it is known that the module $M(\rho)$ of vector valued modular forms for $\rho$ is free and of finite rank over the ring $M$ of scalar…

For associative algebras in many different categories, it is possible to develop the machinery of Gr\"obner bases. A Gr\"obner basis of defining relations for an algebra of such a category provides a "monomial replacement" of this algebra.…

We ask some questions and make some observations about the (complete) theory T (infinity, V) of free algebras in V on infinitely many generators, where V is a variety in the sense of universal algebra. We focus on the case T(infinity, R)…