首页/论文/0901.1859

arXiv 0901.18592009-01-13math.AGmath.CT

奇点三角化范畴的形式完备化与幂等完备化

Formal completions and idempotent completions of triangulated categories of singularities

Dmitri Orlov

备注：: Dedicated to the blessed memory of my adviser Vasily Alexeevich Iskovskikh. 12 pages, LaTeX
发表信息：: Adv. Math. 226 (2011), no. 1, 206--217
DOI：: 10.1016/j.aim.2010.06.016

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文的主要目的是证明两个方案的三角化奇点范畴的幂等完备化是等价的，如果这些方案沿奇点的形式完备化是同构的。我们还讨论了稠密子范畴上的Kesason定理以及它与负K-理论的关系。

英文摘要：

The main goal of this paper is to prove that the idempotent completions of the triangulated categories of singularities of two schemes are equivalent if the formal completions of these schemes along singularities are isomorphic. We also discuss Thomason theorem on dense subcategories and a relation to the negative K-theory.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

三角范畴的完备化

Completions of triangulated categories

本文为奥胡斯大学硕士课程讲义，系统介绍三角范畴的完备化理论，涵盖基本概念与核心方法。

2023-09-03math.AGmath.CTmath.RT

同伦范畴与幂等完备性，权结构与权复函子

Homotopy categories and idempotent completeness, weight structures and weight complex functors

本文给出了权结构、权复函子和同伦范畴的一些基本结果。证明了加法范畴A的同伦范畴K（A）的满子范畴K（A）^{w < n}，K（A）^{w > n}，K（A）^-和K（A）^+（同构于适当有界复形的对象）是幂等完备的，从而证明了（K（A）^{w <= 0}，K（A）^{w >= 0}）是K（A）上的权结构.我们讨论了权复函子，并提供了M. Bondarko证明了如果w是一个三角化范畴T上的有界权结构，且T具有一个过滤三角化增强T'，则存在一个强权复函子T -> K（heart（w））^{anti}。令人惊讶的是，为了进行证明，我们需要在过滤的三角范畴T'上强加一个额外的公理，这似乎是新的。

2011-07-06math.AGmath.CTmath.KT

范畴沿子范畴的形式完备化

Formal completion of a category along a subcategory

根据Kontsevich的思想，我们引入并研究了紧生成（由一组对象）增强的三角范畴沿着一个完整的厚本质上小的三角子范畴的形式完成的概念。特别是，我们证明（回答一个问题的Kontsevich），使用范畴的正式完成，可以得到普通的正式完成诺特计划沿闭子概形。此外，我们表明，Beilinson-Parshin adeles也可以得到使用范畴形式完成。

2010-08-12math.AGmath.CT

等变矩阵分解范畴的幂等完备化

Idempotent completions of equivariant matrix factorization categories

本文证明了与henselian局部超曲面环相关的等变矩阵分解范畴是幂等完备的，将Dyckerhoff在非等变情形下的结果推广至等变情形。

2023-07-30math.ACmath.AG

张量三角几何中三角化范畴的支撑理论之旅

A tour of support theory for triangulated categories through tensor triangular geometry

这些说明试图给一个简短的调查的方法支持理论和研究格的三角形子类通过机械张量三角几何。一个主要目的是介绍陈述和证明局部到整体原理所需的材料。特别是，我们讨论了巴尔默的建设的频谱，广义Rickard幂等元和支持companies产生的三角范畴，张量三角范畴和行动。一路上也举了几个例子。这些笔记是基于2015年春季在巴塞罗那CRM的“表示论、代数拓扑和交换代数之间的相互作用”（IRTATCA）课程中的一系列讲座。

2016-01-14math.AGmath.CTmath.RT

在t-结构张量三角∞-范畴中的更高代数

Higher algebra in $t$-structured tensor triangulated $\infty$-categories

本文将传统在谱∞-范畴中发展的更高代数概念推广到更广泛的t-结构张量三角∞-范畴中，建立了更高范畴的Lazard定理的类比，并证明了Cohn局部化的存在性和普遍性质，同时推广了更高几乎环理论，展示了π₀-上可逆幂等代数与幂等理想之间的自然双射。

2026-08-28math.AGmath.ATmath.CT

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

关于等变三角范畴

On equivariant triangulated categories

考虑作用在三角范畴$\mathcal T$上的有限群$G$。本文研究了$\mathcal T$中$G$ -等变对象范畴$\mathcal T^G$上的三角结构.我们证明（在一定的技术条件下），这种结构存在。假设对$\mathcal T$的作用是由对$\mathcal T$的某些DG增强的DG作用引起的，我们构造了$\mathcal T^G$的DG增强。另外，我们还证明了“关于有限阿贝尔群作用成为等变范畴”的关系在幂等完备可加范畴上是对称的。

2015-10-21math.AG

有界 $t$-结构、有限维数与三角范畴的奇异范畴

Bounded $t$-structures, finitistic dimensions, and singularity categories of triangulated categories

本文引入三角范畴有限维数的新概念并沿完备化提升 $t$-结构，证明了三角范畴上有界 $t$-结构的存在性及其不变性的一般性结果，推广了 Neeman 的相关定理并给出了有界 $t$-结构存在性的范畴障碍。

2024-07-25math.AGmath.CTmath.RA

Tannaka对偶用于增强的三角分类I：重建

Tannaka duality for enhanced triangulated categories I: reconstruction

我们发展了dg范畴的Tannaka对偶理论。对于从dg范畴$\mathcal{A}$到有限维复形的任意dg函子，我们通过霍赫希尔德同调构造关联一个dg余代数$C$。当dg函子是忠实的时，这给出了$\mathcal{A}$ -模和$C$ -余模的dg范畴之间的拟等价性。当$\mathcal{A}$是Morita范畴（即幂等完备预三角范畴）时，它准等价于紧$C$ -余模的dg范畴。给出了motivic伽罗瓦群的几个应用.

2018-12-27math.AGmath.ATmath.KT

完备完备复形

Completing perfect complexes

本文基于柯西序列的概念，提出了一种新的三角范畴的完备化方法。我们把这一点应用于完全复形的范畴。本文证明了右凝聚环上的可表示模的有界导出范畴是完全复形范畴的完备化。结果扩展到非仿射noether计划，并产生了一个直接建设的奇异性类别。阿贝尔范畴的平行完备化理论与导出范畴的完备化理论是相容的。有三个附录。Tobias Barthel的第一篇文章讨论了环光谱的完全配合物。第二个是Tobias Barthel和Henning Krause对分离的Noether方案改进了对相干层的有界导出范畴的完备化的描述。Bernhard Keller的最后一个附录介绍了三角范畴的形态增强的概念，并为完成三角范畴提供了一个适当的基础。

2019-10-30math.AGmath.CTmath.RT

Hecke范畴、幂等元与交换栈

Hecke categories, idempotents, and commuting stacks

本研究建立了仿射Hecke范畴水平迹的幂等完备化这一拓扑范畴，与半幂零交换栈的等变导出范畴这一几何范畴间的联系，完善了此前的相关研究提案。

2024-12-09math.AGmath.GTmath.RT

Escherichon三角范畴

Metrics on triangulated categories

在这项调查中，我们解释了最近的文章arXiv：1806.06471的结果。根据Lawvere在1973年的一篇文章，人们可以定义类别的度量，而根据Kelly在1982年的书，人们可以根据其度量来完成一个类别。我们专门这些一般的结构，三角形的类别，并限制我们的注意力，以“良好的指标”。而值得注意的新定理是，当我们从一个具有良好度量的三角化范畴$\mathcal S$开始时，它的完备化$\mathfrak{L}(\mathcal{S})$包含一个有趣的子范畴$\mathfrak{S}(\mathcal{S})$，它总是三角化的。作为特殊情况，我们从彼此获得$\mathcal{H}^0(\mathrm{Perf}(X))$和$D^b_{\mathrm{coh}}(X)$。我们还举了几个其他的例子。

2021-06-24math.AGmath.ATmath.CT

可逼近三角范畴与自反 DG-范畴

Approximable Triangulated Categories and Reflexive DG-categories

本文利用可逼近三角范畴刻画 proper DG-范畴的自反性，给出其完备化的新描述，并应用于概形、连通 DG-代数与 Azumaya 代数。

2025-05-15math.AGmath.RT

童话动机

Étale motives

我们定义了一个理论的埃特尔动机超过诺特计划。这提供了一个系统的范畴的复杂的motivic层的积分系数，这是封闭下的六个操作的Grothendieck。这些范畴的理性部分与贝林森动机的三角范畴相一致（因此与代数$K$ -理论密切相关）。我们在一般基格式上推广了Suslin和Voevodsky的严格性定理。这可以重新表述为：挠合动机本质上与挠合层的通常复形一致（至少如果我们将自己限制为挠素于剩余特征的话）。因此，我们得到了预期的结果的绝对纯度，有限性，和Grothendieck对偶的etale动机与整系数，把他们的同行Beilinson动机和扭转etale层。根据Mesquason的见解，这也提供了动机的$\ell$ -adic实现的概念和方便的构造，作为同伦$\ell$ -完备函子。

2014-12-05math.AG

相对奇点范畴

Relative Singularity Categories

我们研究奇异范畴的下列推广。设X是具有孤立奇点的拟投射Gorenstein格式，A是X的奇点的非交换奇点的分解.我们引入相对奇异范畴作为A上凝聚层的有界导出范畴模X上完全复范畴的Verdier商。我们把它看作是X和A之间差异的度量。本文的主要研究成果如下。(i)我们证明了类似的Orlov的本地化结果在我们的设置。如果X有孤立奇点，那么这就把对相对奇点范畴的研究减少到仿射情形。(ii)证明了完备局部情形下相对奇异范畴的Hom有限性和幂等完备性，并确定了其Grothendieck群。(iii)当X只有结点奇点且解由Auslander代数的一层给出时，我们给出了相对奇点范畴的完整而明确的描述。(iv)研究了相对奇异范畴与经典奇异范畴之间的关系。对于一个简单的超曲面奇点及其Auslander分辨率，我们表明，这些类别相互确定。(v)所开发的技术导致以下“纯交换”的应用程序：一个合理的表面奇异性方面的奇异性类别的合理二重点决议的Iyama和Wemarty三角化类别的描述。(vi)给出了温柔代数的奇异范畴的刻划。

2017-09-14math.ACmath.AGmath.CT