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

We construct two families of free resolutions that resolve the ideals of certain opposite Schubert varieties restricted to the big open cell. We conjecture that these examples have genericity properties translating to structure theorems for…

A motivation to study Gr\"{o}bner theory for fields with valuations comes from tropical geometry, for example, they can be used to compute tropicalization of varieties \citep{maclagan2009introduction}. The computational aspect of this…

In this paper we give some relationships among the Groebner-Shirshov bases in free associative algebras, free left modules and "double-free" left modules (free modules over a free algebra). We give the Chibrikov's Composition-Diamond lemma…

Let $G$ be a group which admits the structure of an iterated semidirect product of finitely generated free groups. We construct a finite, free resolution of the integers over the group ring of $G$. This resolution is used to define…

The purpose of this paper is to investigate properties of the minimal free resolution of the modules of multi-logarithmic forms along a reduced equidimensional subspace. We first consider a notion of freeness for reduced complete…

Let $R$ be a Noetherian ring of dimension $d$ and $A$ be a graded $R$-subalgebra of $R[X,1/X]$. Let $P$ be a projective module over $A$ of rank $r \geq \max\{d+1,2\}$ and $\v=(a,p)$ be a unimodular element of $A \oplus P$. We find an…

We study the minimal free resolution of the Veronese modules of the polynomial ring in n variables, by giving a formula for the Betti numbers in terms of the reduced homology of some skeleton of a simplicial complex. We characterize when…

With the goal of computing the Grothendieck group of certain multigraded infinite polynomial rings and the $K$-series of infinite matrix Schubert spaces, we introduce a new type of $\Gamma$-graded $k$-algebra (which we call a PDCF algebra)…

It is proved that the minimal free resolution of a module M over a Gorenstein local ring R is eventually periodic if, and only if, the class of M is torsion in a certain Z[t,t^{-1}]-module associated to R. This module, denoted J(R), is the…

Let $S$ be the polynomial ring over a field $K$ in a finite set of variables, and let $ \mathfrak{m}$ be the graded maximal ideal of $S$. It is known that for a finitely generated graded $S$-module $M$ and all integers $k\gg 0$, the module…

Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. We give a necessary and sufficient condition for X to be free of given rank d over A. In the case…

Let kK be the path algebra of the Kronecker quiver and consider the category of finite dimensional right modules over kK (called Kronecker modules). We prove that extensions of Kronecker modules are field independent up to Segre classes, so…

The notion of commutative integro-differential algebra was introduced for the algebraic study of boundary problems for linear ordinary differential equations. Its noncommutative analog achieves a similar purpose for linear systems of such…

Let $\k$ be a global function field in 1-variable over a finite extension of $\Fp$, $p$ prime, $\infty$ a fixed place of $\k$, and $\A$ the ring of functions of $\k$ regular outside of $\infty$. Let $E$ be a Drinfeld module or $T$-module.…

First we construct a free resolution for the Milnor (or Jacobian) algebra $M(f)$ of a complex projective Chebyshev plane curve $\CC_d:f=0$ of degree $d$. In particular, this resolution implies that the dimensions of the graded components…

A free resolution of free partially commutative monoids is constructed and with its help the homological dimension of these monoids is calculated.

We build on the results of [6] to show that the homology groups $\mathrm{H}_{r_1+r_2}(Y_0(\mathcal{N}_\Sigma),\mathcal{O})_{\mathfrak{m}_\Sigma}$ of arithmetic manifolds are free over certain deformation rings $R_\Sigma$, when there are…

For an essential, central hyperplane arrangement A in V=k^{n+1}, we show that \Omega^1(A) (the module of logarithmic one forms with poles along A) gives rise to a locally free sheaf on P^n if and only if for all X in L_A with rank X<dim V,…

Foxby defined the (Krull) dimension of a complex of modules over a commutative Noetherian ring in terms of the dimension of its homology modules. In this note it is proved that the dimension of a bounded complex of free modules of finite…

We introduce a method for obtaining new classes of free divisors from representations $V$ of connected linear algebraic groups $G$ where $\dim(G)=\dim(V)$, with $V$ having an open orbit. We give sufficient conditions that the complement of…