Search arXiv⌕ Search

arXiv · 2610.39035

Comparing metric completions of triangulated categories with Verdier quotients

Abstract

Neeman's metric on a triangulated category assigns lengths to morphisms and allows us to construct triangulated metric completions of the category. We prove that the metric completion of a triangulated category with respect to a constant metric is always a subcategory of the Verdier quotient by the thick subcategory generated by cones of zero-length morphisms, and we provide a sufficient criterion for equality. To that end, we define continuous functors between completions which induce triangulated functors between completions. Moreover, we give two applications. First, we show that the additive equivalence discovered by Cummings and Gratz between the Paquette-Yildirim completion and a specific metric completion of an Igusa-Todorov discrete cluster category is, in fact, a triangulated equivalence. Second, we fully classify metric completions of bounded derived categories of coherent sheaves over weighted projective lines of domestic or tubular type.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Cyril Matoušek. 2026-10-28. Comparing metric completions of triangulated categories with Verdier quotients. https://arxiv.org/abs/2610.39035

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

KEEP EXPLORING

Related papers

Archimedean period relations for Rankin-Selberg convolutions

We formulate and prove the archimedean period relations for Rankin-Selberg convolutions of $\text{GL}(n)\times \text{GL}(n)$ and $\text{GL}(n)\times \text{GL}(n-1)$, for all generic cohomological representations. As a consequence, we prove the non-vanishing of the archimedean modular symbols. This extends the earlier results in [LLS24] for essentially tempered representations of $\text{GL}(n)\times\text{GL}(n-1)$.

math.RT↗

Rational structures on quivers and a generalization of Gelfand's equivalence

We introduce the notion of rational structure on a quiver and associated representations to establish a coherent framework for studying quiver representations in separable field extensions. This notion is linked to a refinement of the notion of $K$-species, which we term étale $K$-species. We establish a categorical anti-equivalence between $K$-rational quivers and étale $K$-species, which extends to an equivalence of their respective representation categories. For $K$-rational quivers there is a canonical notion of base change, which suggests a corresponding notion of base change for (étale) $K$-species which we elaborate. As a primary application, we generalize Gelfand's celebrated equivalence between certain blocks of Harish-Chandra modules for $\mathrm{SL}_2(\mathbb{R})$ and representations of the Gelfand quiver to a rational setting. To this end, we define a $\mathbb{Q}$-rational structure on the Gelfand quiver and its representations. A key technical tool, which we call unipotent stabilization, is developed to construct the functor from rational Harish-Chandra modules to nilpotent rational quiver representations. We prove that this functor is an equivalence. A similar result is established for the cyclic quiver. Both results hold over every field $E$ of characteristic $0$, for suitable $E$-rational structures on the two quivers; for $E=\mathbb{C}$ they recover Gelfand's equivalence. In this rational framework the defining relation of the Gelfand quiver acquires a descent-theoretic meaning: its Galois orbit is stable, it descends to a single relation on the associated $\mathbb{Q}$-species, and a $\mathbb{Q}$-rational representation satisfies it if and only if the composite of the two arrows through the vertex $-$ is a $\mathbb{Q}$-rational endomorphism of the space at the central vertex. This allows us to recast our results in the language of $\mathbb{Q}$-species.

math.RT↗

Perverse filtration on the cohomology of affine Springer fibers

We show that the top cohomology of any affine Springer fiber, as a Weyl group representation, contains a large part of the total cohomology of certain Springer fibers. The main ingredient of the proof is the construction of a ``perverse filtration'' on the pure part of the cohomology of affine Springer fibers.

math.RT↗