English
Related papers

Related papers: Filtration Games and Potentially Projective Module…

200 papers

Let $R$ be a commutative Noetherian local ring of prime characteristic $p$ and $f:R\to R$ the Frobenius ring homomorphism. For $e\ge 1$ let $R^{(e)}$ denote the ring $R$ viewed as an $R$-module via $f^e$. Results of Peskine, Szpiro, and…

Commutative Algebra · Mathematics 2015-01-06 Thomas Marley , Marcus Webb

We characterize the modules of infinite projective dimension over the endomorphism algebras of Opperman-Thomas cluster tilting objects $X$ in $(n+2)$-angulated categories $(\mathcal C,\Sigma^n,\Theta)$. For an indecomposable object $M$ of…

Representation Theory · Mathematics 2023-02-07 Panyue Zhou , Xingjia Zhou

Let $R$ be a ring with unity and $\mathcal{X}$ a semibrick in the module category $\mathrm{Mod}\,R$, that is, a class of pairwise orthogonal finitely presented modules whose endomorphism rings are division rings. We study the full…

Representation Theory · Mathematics 2026-03-16 Frank Lukas

For an arbitrary category, we consider the least class of functors con- taining the projections and closed under finite products, finite coproducts, parameterized initial algebras and parameterized final coalgebras, i.e. the class of…

Logic in Computer Science · Computer Science 2016-10-21 Luigi Santocanale

The principle of open determinacy for class games---two-player games of perfect information with plays of length $\omega$, where the moves are chosen from a possibly proper class, such as games on the ordinals---is not provable in…

Logic · Mathematics 2016-07-08 Victoria Gitman , Joel David Hamkins

A number of model-comparison games central to (finite) model theory, such as pebble and Ehrenfeucht-Fra\"{i}ss\'{e} games, can be captured as comonads on categories of relational structures. In particular, the coalgebras for these comonads…

Logic in Computer Science · Computer Science 2025-05-07 Samson Abramsky , Thomas Laure , Luca Reggio

We define a notion of complexity for modules over infinite groups. We show that if $M$ is a module over the group ring $kG$, and $M$ has complexity $\leq f$ (where $f$ is some complexity function) over some set of finite index subgroups of…

K-Theory and Homology · Mathematics 2011-12-16 Ehud Meir

Let $k$ be a commutative ring, let $\mathcal{C}$ be a small, $k$-linear, Hom-finite, locally bounded category, and let $\mathcal{B}$ be a $k$-linear abelian category. We construct a Frobenius exact subcategory…

Category Theory · Mathematics 2019-01-17 Sondre Kvamme

Enochs' conjecture asserts that each covering class of modules (over any fixed ring) has to be closed under direct limits. Although various special cases of the conjecture have been verified, the conjecture remains open in its full…

Rings and Algebras · Mathematics 2021-11-11 Jan Šaroch

Covering spaces of graphs have long been useful for studying expanders (as "graph lifts") and unique games (as the "label-extended graph"). In this paper we advocate for the thesis that there is a much deeper relationship between…

Computational Complexity · Computer Science 2018-03-20 Joshua A. Grochow , Jamie Tucker-Foltz

The filtered derived category of an abelian category has played a useful role in subjects including geometric representation theory, mixed Hodge modules, and the theory of motives. We develop a natural generalization using current methods…

K-Theory and Homology · Mathematics 2020-06-02 Owen Gwilliam , Dmitri Pavlov

The object of this study are countably infinite games with perfect information that allow players to choose among arbitrarily many moves in a turn; in particular, we focus on the generalisations of the finite board games of Hex and…

Logic · Mathematics 2021-11-03 Davide Leonessi

Consider a situation with $n$ agents or players where some of the players form a coalition with a certain collective objective. Simple games are used to model systems that can decide whether coalitions are successful (winning) or not…

Computer Science and Game Theory · Computer Science 2016-09-19 Martin Olsen

It is well-known that within Zermelo-Fraenkel set theory (ZF), the Axiom of Choice (AC) implies the Maximal Ideal Theorem (MIT), namely that every nontrivial commutative ring has a maximal ideal. The converse implication MIT $\Rightarrow$…

Commutative Algebra · Mathematics 2025-06-30 Alexei Entin

We propose a unifying additive theory for standard conventions in Combinatorial Game Theory, including normal-, mis\`ere- and scoring-play, studied by Berlekamp, Conway, Dorbec, Ettinger, Guy, Larsson, Milley, Neto, Nowakowski, Renault,…

Combinatorics · Mathematics 2021-07-07 Urban Larsson , Richard J. Nowakowski , Carlos P. Santos

We consider bounded weight modules for the universal central extension ${\mathfrak{sl}}_2(J)$ of the Tits-Kantor-Koecher algebra of a unital Jordan algebra $J$. Universal objects called Weyl modules are introduced and studied, and a…

Representation Theory · Mathematics 2023-12-29 Michael Lau , Olivier Mathieu

Let $R$ be a ring and $\mathsf S$ be a class of strongly finitely presented (FP${}_\infty$) $R$-modules closed under extensions, direct summands, and syzygies. Let $(\mathsf A,\mathsf B)$ be the (hereditary complete) cotorsion pair…

Rings and Algebras · Mathematics 2025-05-08 Leonid Positselski

The literature specifies extensive-form games in many styles, and eventually I hope to formally translate games across those styles. Toward that end, this paper defines $\mathbf{NCF}$, the category of node-and-choice forms. The category's…

Theoretical Economics · Economics 2020-04-24 Peter A. Streufert

We prove a version of Shelah's Categoricity Conjecture for arbitrary deconstructible classes of modules. Moreover, we show that if $\mathcal{A}$ is a deconstructible class of modules that fits in an abstract elementary class…

Representation Theory · Mathematics 2024-10-01 Jan Šaroch , Jan Trlifaj

We provide various ways to characterise $\Sigma$-pure-injective objects in a compactly generated triangulated category. These characterisations mimic analogous well-known results from the model theory of modules. The proof involves two…

Category Theory · Mathematics 2021-03-09 Raphael Bennett-Tennenhaus