Showing 1–2 of 2 results for author: Sireeshan, D

The mapping cone of an Eisenbud operator and applications to exact zero divisors

Authors: Liana M. Şega, Deepak Sireeshan

Abstract: Let $(Q,\mathfrak{m},{\sf k})$ be a local ring that admits an exact pair of zero divisors $(f,g)$, $M$ a $Q$-module with $fM = 0$ and $U$ a free resolution of $M$ over $Q$. We construct a degree $-2$ chain map, which we call an Einsenbud operator, on the complex $U \otimes_Q Q/(f,g)$ and use the mapping cone of the operator to study two exact sequences that relate homology over $Q$ to homology ove… ▽ More Let $(Q,\mathfrak{m},{\sf k})$ be a local ring that admits an exact pair of zero divisors $(f,g)$, $M$ a $Q$-module with $fM = 0$ and $U$ a free resolution of $M$ over $Q$. We construct a degree $-2$ chain map, which we call an Einsenbud operator, on the complex $U \otimes_Q Q/(f,g)$ and use the mapping cone of the operator to study two exact sequences that relate homology over $Q$ to homology over $Q/(f)$. Several applications are given. △ Less

Submitted 19 March, 2024; originally announced March 2024.

DG module structures and minimal free resolutions modulo an exact zero-divisor

Authors: Liana M. Şega, Deepak Sireeshan

Abstract: Let $Q$ be a local ring with maximal ideal $\mathfrak{n}$ and let $f,g\in \mathfrak{n}\smallsetminus\mathfrak{n}^2$ with $fg=0$. When $M$ is a finite $Q$-module with $fM=0$, we show that a minimal free resolution of $M$ over $Q$ has a differential graded module structure over the differential graded algebra $Q\langle y,t\mid \partial(y)=f, \partial(t)=gy\rangle$. When $(f,g)$ is a pair of exact ze… ▽ More Let $Q$ be a local ring with maximal ideal $\mathfrak{n}$ and let $f,g\in \mathfrak{n}\smallsetminus\mathfrak{n}^2$ with $fg=0$. When $M$ is a finite $Q$-module with $fM=0$, we show that a minimal free resolution of $M$ over $Q$ has a differential graded module structure over the differential graded algebra $Q\langle y,t\mid \partial(y)=f, \partial(t)=gy\rangle$. When $(f,g)$ is a pair of exact zero divisors, we use this structure to describe a minimal free resolution of $M$ over $Q/(f)$. △ Less

Submitted 14 June, 2023; v1 submitted 8 August, 2022; originally announced August 2022.

Comments: minor revisions