arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2304.10629

Model theory in compactly generated (tensor-)triangulated categories

Mike Prest·Rose Wagstaffe
View original source ↗Read source document ↗Export metadata ↓

Abstract

We give an account of model theory in the context of compactly generated triangulated and tensor-triangulated categories ${\cal T}$. We describe pp formulas, pp-types and free realisations in such categories and we prove elimination of quantifiers and elimination of imaginaries. We compare the ways in which definable subcategories of ${\cal T}$ may be specified. Then we link definable subcategories of ${\cal T}$ and finite-type torsion theories on the category of modules over the compact objects of ${\cal T}$. We briefly consider spectra and dualities. If ${\cal T}$ is tensor-triangulated then new features appear, in particular there is an internal duality in rigidly-compactly generated tensor-triangulated categories.

Explore related subjects

math.RTmath.CTmath.LO

Keep this discovery

BibTeXRIS

Mike Prest, Rose Wagstaffe. 2023-04-20. Model theory in compactly generated (tensor-)triangulated categories. https://doi.org/10.2140/mt.2024.3.147

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

KEEP EXPLORING

Related papers

arXiv2026

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT↗
arXiv2026

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT↗
arXiv2026

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT↗