Searcharxiv⌕ Search

arXiv · 2610.41566

The coanalyticity of the reduced K-theory on modules over free tensor algebras of dualizable t-categories

Abstract

In this paper, we formulate Land-Tamme's $\boxtimes$-construction and $\odot$-construction for continuous exact monads on dualizable stable $\infty$-categories, and establish the behaviour of localizing invariants on pushouts of left modules over continuous exact monads on dualizable stable $\infty$-categories. Combining the Land-Tamme theory of continuous exact monads with the theory of analytic functors in Goodwillie calculus, we show that the reduced K-theory on modules over free tensor algebras of dualizable t-categories is modified 1-coanalytic or modified 2-coanalytic, depending on the coconnectivity of the base algebras. In particular, this answers Efimov's question concerning coanalyticity in the affirmative.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Li He. 2026-10-30. The coanalyticity of the reduced K-theory on modules over free tensor algebras of dualizable t-categories. https://arxiv.org/abs/2610.41566

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

KEEP EXPLORING

Related papers

Algebraic $\mathbb{A}^{1}$-invariance of K-theory for affinoid Tate adic spaces of good reduction

We establish homotopy invariance for connective continuous K-theory of affinoid Tate adic spaces of good reduction with respect to the algebraic affine line, distinct from the adic affine line as analytic stacks. We approach this through an investigation of boundedness of t-structures on nuclear module categories, to which end we also study ultrasolid modules, a variant of solid modules, and their properties.

math.KT↗

$K$-theory of finite monoid sets

In this paper we classify the algebraic K-theory of sets equipped with an action by a finite abelian monoid. The main tool developed for this purpose is an Orbit-Stabilizer Theorem, which gives a decomposition of monoid sets analogous to the decomposition given by the Orbit-Stabilizer Theorem for G-sets.

math.KT↗

Koszul duality for boundary categories

We study how Koszul duality relates two kinds of boundary constructions associated with a smooth category and a proper category. For a smooth category with a proper Koszul-dualizing subcategory, we construct a fully faithful functor from its categorical neighborhood of infinity to the singularity category associated to the proper category. We prove that this functor is an equivalence precisely when the smooth category is reflexive, meaning that it can be reconstructed from its finite-dimensional module theory. Under a Gorenstein condition, satisfied in the Calabi--Yau setting, the functor is induced by restriction of modules. We give algebraic criteria that ensure equivalence and obtain an identification of Hochschild cohomology.

math.KT↗