Excellent metrics on triangulated categories, and the involutivity of the map taking $\mathcal{S}$ to $\mathfrak{S}({\mathcal{S})^{\mathrm{op}}}$

Amnon Neeman

Home/Archive/arXiv

arXiv · 2505.09120

Excellent metrics on triangulated categories, and the involutivity of the map taking $\mathcal{S}$ to $\mathfrak{S}({\mathcal{S})^{\mathrm{op}}}$

Amnon Neeman

View original source ↗Read source document ↗Export metadata ↓

Abstract

In the article arXiv:1806.06471 we defined good metrics on triangulated categories, and then studied the construction, that began with a triangulated category $\mathcal{S}$ together with a good metric $\{\mathcal{M}_i,\,i\in\mathbb{N}\}$, and out of it cooked up another triangulated category $\mathfrak(\mathcal{S})$. We went on to study examples, and produced many for which the construction is involutive. By this we mean that, if you let $\mathcal{T}=\mathfrak{S}(\mathcal{S})^{\mathrm{op}}$, then there is a choice of metric on $\mathcal{T}$ for which $\mathcal{S}=\mathfrak{S}(\mathcal{T})^{\mathrm{op}}$. In this article we study this phenomenon much more carefully, with the focus being on understanding the metrics for which involutivity occurs. As it turns out there is a large class of them, the excellent metrics on triangulated categories. At the end we will produce a few new examples of excellent metrics. And our reason for going to all this trouble is that the results of this article will permit us to prove new and surprising statements about uniqueness of enhancements. Those results will come in a sequel to this article, which is joint with Canonaco and Stellari.

Explore related subjects

math.CT math.AG math.AT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Amnon Neeman. 2025-05-14. Excellent metrics on triangulated categories, and the involutivity of the map taking $\mathcal{S}$ to $\mathfrak{S}({\mathcal{S})^{\mathrm{op}}}$. https://arxiv.org/abs/2505.09120

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

KEEP EXPLORING

Related papers

arXiv2026

A Categorical Generalization of Counterpoint

We extend Mazzola's counterpoint model using category theory, generalizing from the category $\mathbf{Set}$ to an arbitrary topos other than $\mathbf{Set}$. This generalization suggests that counterpoint's essential structure depends on specific categorical conditions rather than classical set-theoretic reasoning. A key contribution is identifying sufficient requirements for a well-behaved counterpoint theory in a topos: some version of Zorn's Lemma (GJZL), and two-valuedness and split supports (NS). Within a topos, we introduce (weak) quasidichotomies alongside the classical notion of dichotomy. These structures capture varying degrees of oppositional structure between consonance and dissonance, with weak quasidichotomies preserving the non-Boolean flexibility essential to musical practice while quasidichotomies represent maximal opposition short of complete partition. We prove a generalized counterpoint theorem giving sufficient conditions for the existence of admitted successors. When the ambient topos turns non-zero successor objects into points, admitted succession can be iterated to form counterpoint paths, which may terminate at consonances with no admitted successor. The framework naturally accommodates counterpoint with sets instead of pure pitches, relaxing the ``yes/no'' character of classical consonance definitions and emphasizing context-dependence. Mazzola's model allows a Kuratowski closure operator induced by a polarity, which defines an internal topology enabling algebraic-topological analysis of counterpoint structure. We conclude by showing this construction generalizes to involutive morphisms. This categorical approach provides foundations for understanding both the historical evolution of contrapuntal practice and cross-cultural divergences in interval organization.

math.CT↗

arXiv2026

From 3-crossed modules to Gray-type 4-categories

In this paper, we investigate the relation between the category of 3-crossed modules and the category of Gray-type 4-groups. The notion of a 3-crossed module was first introduced by Arvasi \textit{et al.}, motivated by the question of what kind of algebraic structure completely encodes a homotopy 4-type. On the other hand, from the point of view that higher groups are equivalent to algebraic realizations of higher categories -- as exemplified by the relationship between 2-crossed modules and Gray 3-groups established by Sarikaya--Ulualan -- it had not been clear how the 3-crossed modules of Arvasi \textit{et al.} relate to any higher category. In our previous paper, we proposed a new definition of a 3-crossed module and observed that it admits a natural interpretation in terms of higher categories. In this paper, we make this interpretation precise: we introduce a 4-category, which reduces to a semistrict braided monoidal 2-category when restricted to a single object and a single 1-morphism, and prove that the category of our 3-crossed modules is equivalent to the category of Gray 4-groups, defined as single-object versions of this 4-category in which all morphisms are invertible. We therefore expect that these structures can correctly capture the topological nature of surface knots and higher-dimensional manifolds.

math.CT↗

arXiv2026

Observations on the variety of equationally linear Heyting semilattices

In previous work, we analysed a number of categorical properties, of interest in the context of Janelidze-Márki-Tholen semi-abelian categories, for the variety $\mathsf{HSLat}$ of Heyting semilattices. In this paper, we focus on the subvariety $\mathsf{ELHSLat}$ of equationally linear Heyting semilattices. Our main objective is to show that, unlike $\mathsf{HSLat}$, this category is algebraically coherent. We furthermore prove that it is neither locally algebraically cartesian closed nor cosmash associative.

math.CT↗