Related papers: Free modules of a multigraded resolution from simp…
Let $(R,\mathfrak{m})$ be a Noetherian local ring and $\widehat{R}$ its $\mathfrak{m}$-adic completion. We study the problem of determining when a finitely generated $\widehat{R}$-module arises from an $R$-module, i.e., when it is…
We let S denote the ring of polynomial functions on the space of m x n matrices, and consider the action of the group GL = GL_m x GL_n via row and column operations on the matrix entries. For a GL-invariant ideal I in S we show that the…
Let M in k[x,y] be a monomial ideal M=(m_1,m_2,...,m_r), where the m_i are a minimal generating set of M. We construct an explicit free resolution of k over S=k[x,y]/M for all monomial ideals M, and provide recursive formulas for the Betti…
In this paper we provide a tetrahedra-free algorithm to compute low-cardinality quadrature rules with a given degree of polynomial exactness, positive weights and interior nodes on a polyhedral element with arbitrary shape. The key tools…
Let $R$ be a commutative ring. One may ask when a general $R$-module $P$ that satisfies $P \oplus R \cong R^n$ has a free summand of a given rank. M. Raynaud translated this question into one about sections of certain maps between Stiefel…
In this paper we investigate the structure of algebraic cobordism of Levine-Morel as a module over the Lazard ring with the action of Landweber-Novikov and symmetric operations on it. We show that the associated graded groups of algebraic…
Let $k$ be a unital commutative ring. In this paper, we study polynomial functors from the category of finitely generated free nilpotent groups to the category of $k$-modules, focusing on comparisons across different nilpotency classes and…
Let A = (A,V) be a complex hyperplane arrangement and let L(A) denote its intersection lattice. The arrangement A is called supersolvable, provided its lattice L(A) is supersolvable, a notion due to Stanley. Jambu and Terao showed that…
Let R be a local ring with maximal ideal m admitting a non-zero element a\in\fm for which the ideal (0:a) is isomorphic to R/aR. We study minimal free resolutions of finitely generated R-modules M, with particular attention to the case when…
Let $\Lambda$ be a commutative Noetherian ring, and let $I$ be a proper ideal of $\Lambda$, $R=\Lambda /I$. Consider the polynomial rings $T=\Lambda [x_1,...x_n]$ and $A=R[x_1,...,x_n]$. Suppose that linear equations are solvable in…
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…
Let $K$ be a field, $R$ a standard graded $K$-algebra and $M$ be a finitely generated graded $R$-module. The rate of $M$, $rate_R(M)$, is a measure of the growth of the shifts in the minimal graded free resolution of $M$. In this paper, we…
We provide a framework connecting several well known theories related to the linearity of graded modules over graded algebras. In the first part, we pay a particular attention to the tensor products of graded bimodules over graded algebras.…
It is proved that if $\varphi\colon A\to B$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated $B$-module $N$ whose flat dimension over $A$ is at most $\mathrm{edim}\, A - \mathrm{edim}\, B$, is free…
We introduce the combinatorial Lyubeznik resolution of monomial ideals. We prove that this resolution is isomorphic to the usual Lyubezbnik resolution. As an application, we give a combinatorial method to determine if an ideal is a…
Let $M$ be a module over a Noetherian local ring $A$. We study $M$-independent sequences of elements of $\mathfrak{m}_A$ in the sense of Lech and Hanes. The main tool is a new characterization of the $M$-independence of a sequence in terms…
Given an ideal $\mathfrak{a}$ in $A[x_1, \ldots, x_n]$, where $A$ is a Noetherian integral domain, we propose an approach to compute the Krull dimension of $A[x_1,\ldots,x_n]/\mathfrak{a}$, when the residue class polynomial ring is a free…
We present an algorithm to compute the primary decomposition of a submodule $\mathcal{N}$ of the free module $\Z[x_1, \ldots, x_n]^m$. For this purpose we use algorithms for primary decomposition of ideals in the polynomial ring over the…
We give lower bounds for the degree of multiplicative combinations of iterates of rational functions (with certain exceptions) over a general field, establishing the multiplicative independence of said iterates. This leads to a…
In D-module theory, we have the notion of the restriction of a module along a smooth variety. T. Oaku and N. Takayama have described a process to compute the restriction, which starts from a free resolution adapted to the V-filtration of…