Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2611.08740

Uniform and Relative Non-Associativity on Minimal Free Resolutions

Michael Nelson
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study unital chain-map multiplications on minimal free resolutions of quotient rings. We prove that Katthän's example admits no associative multiplication over any field, without assuming graded commutativity or compatibility with an internal grading. The proof gives a relative obstruction in which associativity on a specified finite collection of triples forces failure at another triple. The argument extends to a family that includes nonmonomial ideals. We also give criteria for uniform non-associativity, where a fixed triple fails for every multiplication, by comparing either associators or their primitives under changes of multiplication. These criteria persist from monomial elimination ideals and give explicit obstructions for Avramov's example and the known eight-vertex Bier sphere over every field. As an application, we show that the edge ideal of the eight-cycle admits an injective Taylor comparison on five selected generators, while every selection of that size fails to admit a multiplicative comparison. Four generators admit a multiplicative embedding.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michael Nelson. 2026-11-05. Uniform and Relative Non-Associativity on Minimal Free Resolutions. https://arxiv.org/abs/2611.08740

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On local cohomology modules over ramified regular local rings

In this paper, we show examples of local cohomology modules over ramified regular local ring, having finite set of associated primes. In doing so we consider our ramified regular local ring as Eisenstein extension of an unramified regular local ring sitting inside it. In ramified regular local ring for extended ideal (from the unramified one) set of associated primes of a local cohomology module is always finite. Using the Mayer-Vietoris spectral sequence, we construct examples of local cohomology of non extended ideal, whose set of associated primes is finite. In particular, we choose those non extended ideals whose minimal primes are extended ideals which are all cohomologically complete intersection.

math.AC↗
arXiv2026

Topological insights into Monoids and Module systems

Let $H$ be a monoid and let $G$ denote its quotient groupoid. We introduce the Riemann-Zariski space $\textup{Zar}(G| H)$ associated with $H$ and prove that it is a spectral space. We then show that, if $H$ is an $s$-Prüfer monoid, the space $\textup{Zar}(G| H)$ is homeomorphic to the prime $s$-spectrum of $H$ endowed with the Zariski topology. Next, given a finitary ideal system $r$ on $H$, we prove that the space of $r$-ideals $\mathcal{I}_r(H)$, endowed with the Zariski topology, is spectral, and that the prime $r$-spectrum of $H$ is proconstructible in $\mathcal{I}_r(H)$. We also introduce a new topology on the set $\mathcal{X}$ of all generalized $H$-module systems and study its properties. In particular, we show that $\mathcal{X}$ and its subspace $\mathcal{X}_{\textup{fin}}$ of finitary generalized $H$-module systems are spectral spaces. Finally, we provide a characterization of those subsets of the set of overmonoids of $H$ that are quasi-compact.

math.AC↗
arXiv2026

The covariety of numerical semigroups with some prescribed pseudo-Frobenius numbers

If $S$ is a numerical semigroup, then we denote by $m(S)$, $F(S)$ and $\mathrm{PF}(S)$ its multiplicity, its Frobenius number and its set of pseudo-Frobenius numbers, respectively. Let $\mathcal P$ be a finite nonempty set of positive integers. In this paper, we prove that $\mathcal C(\mathcal P)=\{S\mid F(S)=\max(\mathcal P),\ \mathcal P\subseteq\mathrm{PF}(S)\}$ is a covariety. The associated tree provides algorithms to compute $\mathcal C(\mathcal P)$, its elements with a prescribed type or genus, and the set of numerical semigroups $S$ satisfying $\mathrm{PF}(S)=\mathcal P$. We show that every element of $\mathcal C(\mathcal P)$ has a unique minimal system of generators relative to $\mathcal C(\mathcal P)$, and we call its cardinality the $\mathcal C(\mathcal P)$-rank. Finally, we characterize the elements of $\mathcal C(\mathcal P)$ with $\mathcal C(\mathcal P)$-rank one.

math.AC↗