首页/论文/1002.3622

arXiv 1002.36222010-02math.KTmath.AT

一个逆K理论函子

An Inverse K-Theory Functor

Michael A. Mandell

备注：: Minor corrections. Final version
发表信息：: Documenta Math. 15 (2010) 765--791

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

Mesquason证明了对称幺半范畴的K理论可以模拟所有的连接谱。本文从Gamma-空间中构造了一个置换范畴，并利用它重新证明了Gesason定理和一个不完全变式。

英文摘要：

Thomason showed that the K-theory of symmetric monoidal categories models all connective spectra. This paper describes a new construction of a permutative category from a Gamma-space, which is then used to re-prove Thomason's theorem and a non-completed variant.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

同伦端与同伦模型范畴

Homotopy Ends and Thomason Model Categories

在他生命的最后一年，鲍勃·巴基森（英语：Bob Bagarason）重新定义了模型范畴的概念，用于将同伦理论应用于代数，并使用同伦端点肯定地解决了格罗滕迪克提出的一个问题：找到一个由函子范畴继承的模型结构的概念。在本文中，我们解释和证明的结果，根据他的私人笔记本。前半部分介绍了Mesquason关于同伦结束及其推广的思想。这些材料可能是独立的利益。然后定义了多模型范畴并给出了一些例子。通常的证明表明同伦范畴存在。在最后两节中，我们证明了主要定理：函子范畴继承了一个新的模型结构，至少当原始范畴在单纯集上被丰富并且纤维化被极限保持时。

2001-06-07math.ATmath.KT

范畴的上同调

Thomason cohomology of categories

本文从单形范畴出发，引入了具有一般系数系的小范畴的上同调和同调论。这些理论同时推广了Baues-Wirsching上同调和同调以及其他更经典的理论。我们分析了这些理论的自然性和函性性质，并构造了小范畴之间函子的关联谱序列。

2012-08-14math.ATmath.CTmath.KT

基于多范畴的联结谱建模

Modelling Connective Spectra via Multicategories

我们把一个满子范畴的基础multicategories，其中的弱等价创建的K-理论函子的Elmendorf-Mandell的模型结构，提供了一个模型的范畴提升的Mesquason定理的建模的连接谱的对称幺半范畴。我们注意到，这提升到基于多类别本身的半模型结构。作为一个推论，我们表明，模型连接谱稳定等价它足以限制对称monoidal广群。

2019-09-24math.ATmath.KT

关于逆像保持范畴上同调的准则

Criteria for preserving the category cohomology for the inverse image

本文研究小范畴间函子逆像保持上同调群的条件，指出左伴随函子对部分上同调的失效并提供反例，进而提出并证明了多种范畴上同调不变性的充要条件及其推广准则。

2023-06-28math.ATmath.CTmath.KT

多类别模型所有连接谱

Multicategories Model All Connective Spectra

从多范畴到置换范畴有一个自由结构，自同态多范畴结构有左伴随。主要结果表明，这些函子诱导同伦理论的等价性。这一结果推广了Mrsason的一个类似结果，即置换范畴模型化了所有的联结谱。

2022-03-19math.ATmath.CTmath.KT

精确分类

Exact Categories

我们在Quillen意义下的正合范畴中考察了同调代数的基本性质。所有的图引理都是直接从公理证明的，特别是five引理，3 x 3-引理和snake引理。简要讨论了正合函子、幂等完备性和弱幂等完备性。然后，我们表明，它是可能的，以构建一个确切的类别没有任何嵌入到阿贝尔范畴的导出范畴，我们素描德利涅的方法导出函子。构造具有阿贝尔范畴中的值的经典导出函子可以轻松地转换为精确范畴，即，给出了投射分解的比较定理和马蹄引理的证明。在讨论了一些例子后，我们在附录中详细说明了Gabriel-Quillen嵌入定理的证明。

2009-04-22math.CTmath.HOmath.KT

更多相关论文收起更多论文

高等代数K理论的一个普适刻画

A universal characterization of higher algebraic K-theory

本文在小稳定无穷范畴的背景下建立了高等代数K理论的一个普适刻画。具体地说，我们证明了连接代数K理论是通用的加法不变量，即，的普遍函子与频谱的价值，反转森田等价，保持过滤colimits，并满足瓦尔德豪森的可加性定理。同样，我们证明了非连接代数K理论是泛局部化不变量，即，普遍函子，而且满足“Mesquason-Trobaugh-Neeman”本地化定理。为了证明这些结果，我们构建和研究两个稳定的无穷大类别的“非交换动机”，一个与可加性和本地化。在这些稳定无穷范畴中，Waldhausen的S.构造对应于悬置函子，并且连接和非连接代数K理论谱变得可由球谱的非对易动机来共表示。特别是，每一个方案、栈和环谱的代数K理论都可以从这些非对易动机的范畴中恢复出来。为了与这些类别的非交换动机，我们建立了比较定理的范围内的谱范畴本地化的森田等价和范畴的小幂等完全稳定的无穷大范畴。我们还详细解释了Waldhausen K-理论的无穷范畴版本与经典定义之间的比较。作为我们理论的应用，我们得到了从高等代数K理论到拓扑霍赫希尔德同调（THH）和拓扑循环同调（TC）的自然变换的完全分类.值得注意的是，我们得到一个优雅的概念描述的分圆迹映射。

2013-02-05math.ATmath.KT

Mandell逆K理论中的乘法性

Multiplicativity in Mandell's Inverse K-theory

我们证明了从$Γ$ -范畴到置换范畴的Mandell逆$K$ -理论函子保持乘法结构。这是迈向同变推广的第一步，这将与Bohmann和Osorno的构造相反。

2021-10-14math.ATmath.KT

六函子形式化的唯一性

Uniqueness of six-functor formalisms

本研究提出抽象六函子形式化下上同调真与平展概念的新表述，证明Scholze猜想（满足条件的六函子形式化由张量积和逆像函子唯一确定且可由Liu-Zheng与Mann构造得到），同时指出猜想推广不成立并给出K-理论度量方式。

2025-06-12math.AGmath.KT

替换提供的范畴局部化之间的等价性

Equivalences between localisations of categories provided by replacements

本文给出了函子的一个特征，其诱导函子在局部化水平上是等价的，并且同构逆是由某种置换诱导的，如投射分解或凝聚置换.

2018-10-09math.ATmath.CTmath.KT

多函子逆$K$ -理论

Multifunctorial Inverse $K$-Theory

我们证明了Mandell的逆$K$ -理论函子是一个范畴丰富的非对称多函子。特别是，它保留了由非对称操作参数化的代数结构。作为应用，我们描述了如何环范畴出现的逆$K$ -理论的图像。

2022-07-15math.ATmath.CTmath.KT

Gorenstein投射模的Frobenius函子、稳定等价和$K$ -理论

Frobenius functors, stable equivalences and $K$-theory of Gorenstein projective modules

由于$K$ -理论的不同，Dugger和Shipley的一个例子暗示Gorenstein投射模的稳定范畴的等价不应该是Quillen等价.给出了两个阿贝尔范畴之间的忠实函子的Frobenius对是Quillen等价的一个充分和必要条件，它等价于Frobenius函子诱导Gorenstein投射对象的稳定范畴之间的相互逆等价.证明了Gorenstein投射对象的范畴是Waldhausen范畴，引入并刻划了Gorenstein $K$ -群.作为应用，我们证明了Morita型的稳定等价保持Gorenstein $K$ -群、CM-有限性和CM-自由性.给出了路代数的两个具体例子，并计算了Gorenstein $K_0$和$K_1$ -群.

2022-09-30math.CTmath.KT

利用逆半群范畴局部化定义Baum-Connes映射的尝试

Attempts to define a Baum--Connes map via localization of categories for inverse semigroups

Meyer和Nest证明了Baum-Connes映射等价于$K$上的映射--两个不同的交叉乘积的理论。这种方法在方法上是强范畴的，因为它的基础是把卡斯帕罗夫的理论$KK^G$看作一个三角范畴。我们曾试图将这种方法的领域逆半群等变$C^*$ -代数，但可以证明存在的Baum-Connes映射只有在一些未经验证的额外的假设，我们然而强烈激励。我们的一些结果可能是独立的兴趣，例如博特周期性，感应函子的定义，定义一个全新的兼容$L^2(G)$ -空间，一个Cuntz图片$KK^G$，并验证$KK^G$是一个三角范畴。

2017-07-12math.KT