English
Related papers

Related papers: Free resolutions and marked families

200 papers

Let $I$ denote an ideal in a commutative Noetherian ring $R$. Let $M$ be an $R$-module. The $I$-adic completion is defined by $\hat{M}^I = \varprojlim{}_{\alpha} M/I^{\alpha}M$. Then $M$ is called $I$-adic complete whenever the natural…

Commutative Algebra · Mathematics 2013-12-16 Peter Schenzel

Let $k$ be a field with characteristic zero, $R$ be the ring $k[x_1, \cdots, x_n]$ and $I$ be a monomial ideal of $R$. We study the Artinian local algebra $R/I$ when considered as an $R$-module $M$. We show that the largest reduced…

Commutative Algebra · Mathematics 2023-07-14 Tilahun Abebaw , Nega Arega , Teklemichael Worku Bihonegn , David Ssevviiri

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…

Commutative Algebra · Mathematics 2023-08-07 Maya Banks , Keller VandeBogert

Let $\Gamma$ be a $T$-ideal of identities of an affine PI-algebra over an algebraically closed field $F$ of characteristic zero. Consider the family $\mathcal{M}_{\Gamma}$ of finite dimensional algebras $\Sigma$ with $Id(\Sigma) = \Gamma$.…

Rings and Algebras · Mathematics 2023-11-22 Eli Aljadeff , Yakov Karasik

Let M, N be free modules over a Noetherian commutative ring R and let F be a field such that card(F) does not exceed the continuum. Then : (1) The assertion that [Any two F-vector spaces with isomorphic duals are isomorphic] is equivallent…

Commutative Algebra · Mathematics 2026-03-31 Theodoros Kyriopoulos

Given a small category C, a C-module M is a functor from C to the category of finite-dimensional vector spaces over a field k. Associated to M is its local structure, given as a functor from C to the category of bi-closed multi-flags over…

Algebraic Topology · Mathematics 2021-11-23 Crichton Ogle , Sami Sultan

Let $(R, \mathfrak{m})$ be a $d$-dimensional Noetherian local ring that is formally equidimensional, and let $M$ be an arbitrary $R$-submodule of the free module $F = R^p$ with an analytic spread $s:=s(M)$. In this work, inspired by…

Commutative Algebra · Mathematics 2023-07-13 M. D. Ferrari , V. H. Jorge Perez , P. H. Lima

A recent result of Eisenbud-Schreyer and Boij-S\"oderberg proves that the Betti diagram of any graded module decomposes as a positive rational linear combination of pure diagrams. When does this numerical decomposition correspond to an…

Commutative Algebra · Mathematics 2019-02-20 David Eisenbud , Daniel Erman , Frank-Olaf Schreyer

The primary goal of this paper is to investigate the structure of irreducible monomorphisms to and irreducible epimorphisms from finitely generated free modules over a noetherian local ring. Then we show that over such a ring,…

Commutative Algebra · Mathematics 2017-07-04 Saeed Nasseh , Ryo Takahashi

Let $M$ be a finitely generated module over a Noetherian ring $R$ and $N$ a submodule. The index of reducibility ir$_M(N)$ is the number of irreducible submodules that appear in an irredundant irreducible decomposition of $N$ (this number…

Commutative Algebra · Mathematics 2015-04-13 Nguyen Tu Cuong , Pham Hung Quy , Hoang Le Truong

We prove two results about the derived functor of $a$-adic completion: (1) Let $K$ be a commutative noetherian ring, let $A$ be a flat noetherian $K$-algebra which is $a$-adically complete with respect to some ideal $a\subseteq A$, such…

Commutative Algebra · Mathematics 2017-10-04 Liran Shaul

We construct a minimal free resolution of the semigroup ring k[C] in terms of minimal resolutions of k[A] and k[B] when <C> is a numerical semigroup obtained by gluing two numerical semigroups <A> and <B>. Using our explicit construction,…

Commutative Algebra · Mathematics 2018-04-18 Philippe Gimenez , Hema Srinivasan

Let $R$ be a finite ring and let $M, N$ be two finite left $R$-modules. We present two distinct deterministic algorithms that decide in polynomial time whether or not $M$ and $N$ are isomorphic, and if they are, exhibit an isomorphism. As…

Rings and Algebras · Mathematics 2015-12-29 Iuliana Ciocănea-Teodorescu

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…

Commutative Algebra · Mathematics 2017-04-12 Ela Celikbas , Jai Laxmi , Jerzy Weyman

We study a family of monomial ideals, called block diagonal matching field ideals, which arise as monomial Gr\"obner degenerations of determinantal ideals. Our focus is on the minimal free resolutions of these ideals and all of their…

Commutative Algebra · Mathematics 2025-01-29 Oliver Clarke , Fatemeh Mohammadi

One can iteratively obtain a free resolution of any monomial ideal $I$ by considering the mapping cone of the map of complexes associated to adding one generator at a time. Herzog and Takayama have shown that this procedure yields a minimal…

Commutative Algebra · Mathematics 2015-10-12 Anton Dochtermann , Fatemeh Mohammadi

We study the combinatorial, algebraic and geometric properties of the free product operation on matroids. After giving cryptomorphic definitions of free product in terms of independent sets, bases, circuits, closure, flats and rank…

Combinatorics · Mathematics 2007-05-23 Henry Crapo , William Schmitt

For finitely generated modules $M$ and $N $ over a commutative Noetherian local ring $R$, we give various sufficient criteria for detecting freeness of $M$ or $N$ via vanishing of some finitely many Ext modules $\textrm{Ext}^i_R(M,N)$ and…

Commutative Algebra · Mathematics 2026-05-26 Souvik Dey , Dipankar Ghosh

Let A be a Noetherian local domain, N be a finitely generated torsion- free module, and M a proper submodule that is generically equal to N. Let A[N] be an arbitrary graded overdomain of A generated as an A-algebra by N placed in degree 1.…

alg-geom · Mathematics 2008-02-03 S. Kleiman , A. Thorup

Let $\Gamma$ be a finite group acting linearly on $\C^n$, freely outside the origin, and let $N$ be the number of conjugacy classes of $\Gamma$ minus one. A construction of Kronheimer of moduli spaces $X_\zeta$ of translation-invariant…

alg-geom · Mathematics 2008-02-03 Alexander V Sardo Infirri