首页/论文/1502.06573

arXiv 1502.065732015-02math.KT

完全复形导出范畴的严格函子小dg-加强

A strictly-functorial and small dg-enhancement of the derived category of perfect complexes

Emanuel Rodríguez Cirone

备注：: 6 pages; minor changes

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

设k是交换诺特环。在有限型k-概型范畴上构造了k上小dg-范畴的严格函子预层，给出了完全复形的导出范畴的dg-增强.

英文摘要：

Let k be a commutative noetherian ring. We construct a strictly-functorial presheaf of small dg-categories over k on the category of k-schemes of finite type, which gives dg-enhancements of the derived categories of perfect complexes.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

具有支撑的Hochschild上同调

Hochschild cohomology with support

本文研究了映射分次Hochschild复形的泛函性质。我们证明了映射分次范畴的范畴MAP自然是一个叠加在具有3-覆盖的Grothendieck拓扑的小范畴上的范畴.对于MAP中的同态上的无穷覆盖的一个相关拓扑，我们证明了取映射分次Hochschild复形定义一个层。从映射分次范畴之间的“注入”的函性出发，得到了“有支撑”的Hochschild复形.我们从这个角度重新凯勒的箭头类别的论点，并介绍和调查一般Grothendieck建设，其中包括映射分级类别与预层的代数和某些广义箭头类别，它们共同构成了一对互补的工具解构Hochschild复形。

2013-04-28math.KT

关于范畴上同调的函性

On the functoriality of cohomology of categories

本文证明了用于定义范畴上同调的Baues-Wirsching复形是从阿贝尔群的自然系统的某个2-范畴到链复形、链同态和链同伦的相对同伦类的2-范畴的2-函子。因此，我们得出（共）本地化定理，这个上同调。

2004-11-22math.CTmath.KT

有界同伦理论与加权复形的$K$ -理论

Bounded homotopy theory and the $K$-theory of weighted complexes

给定一个边界类$B$，我们构造了Quillen的$K$ -理论函子从环到空间的有界加细$BK(-)$. $BK(-)$是从加权环到空间的函子，并配有由“遗忘控制”诱导的比较映射$BK \to K$。与$B$有界上同调的情形相反，存在函子分裂$BK(-) \simeq K(-) \times BK^{rel}(-)$，其中$BK^{rel}(-)$是比较映射的同伦纤维.

2011-03-11math.KT

标准向量丛

Standard Vector Bundles

构造了概型上的标准向量丛范畴，定义了直和与张量积。这些范畴等价于具有附加性质的通常的向量丛范畴。张量积是严格结合的，与线丛是严格交换的，并且在基变换上是严格函子的。

2014-04-05math.AGmath.CTmath.KT

Artin映射的K-理论方法

A K-theoretic approach to Artin maps

我们定义了一个附在任何小的$\bf{Z}$ -线性稳定$\infty$ -范畴上的函子“Artin映射”，它在全域上的完全复形的情况下，将通常的Artin映射从Idele类群恢复到阿贝尔化的绝对伽罗瓦群.特别地，这给出了阿廷互反律的一个新证明。

2017-04-03math.KTmath.NT

权重结构与$t$ -结构;权重过滤、谱序列和复合体（用于动机和一般情况）

Weight structures vs. $t$-structures; weight filtrations, spectral sequences, and complexes (for motives and in general)

本文致力于研究具有权重结构的三角范畴（一个新概念; D。Pauksztello独立地将它们作为co-t-结构引入）。这公理化了$K(B)$中复形的愚蠢截断的性质。我们还构造Voevodsky的类别的动机和光谱的各种类别的权重结构。一个重量结构$w$定义Postnikov塔的对象;这些塔是规范和函子的“上同调为零的态射”。对于$Hw$是$w$的核心（在$DM_{gm}$中，我们有$Hw=Chow$），我们定义了一个典型的保守的“弱精确”函子$t$从我们的$C$到某个弱范畴的复合物$K_w(Hw)$。对于任意交换$A$的同调函子$H:C\to A$，我们构造一个权谱序列$T:H(X^i[j])\implies H(X[i+j])$，其中$(X^i)=t(X)$ ;它是从$E_2$开始的规范和函子。这谱序列专门为“通常”（德利涅）的重量谱序列的“经典”实现的动机和Atiyah-Hirzebruch谱序列的光谱。在一定的限制条件下，证明了$K_0(C)\cong K_0(Hw)$和$K_0(End C)\cong K_0(End Hw)$ .权结构的定义几乎与t-结构的定义是对偶的，但有几个性质不同。人们通常可以构建与$w$“相邻”的某种$t$ -结构，反之亦然。这是Voevodsky的$DM^{eff}_-$（人们得到了它的某些新的Chow权和t-结构;后者的核心是$Chow^{eff}…

2016-03-18math.AGmath.ATmath.KT

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

导出的algebraic geometry，完全复形的行列式及在映射和复形的阻塞理论中的应用

Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes

我们展示了如何一个准光滑的Deligne-Mumford堆栈X的增强自然赋予X的函子完美的障碍理论的意义上的Bewend-Fantechi。然后将该结果应用于光滑复射影簇上的映射和完全复形的模。对于映射的模，我们认为X=S是一个代数K ~ 3-曲面，$g\geq 0$，和$β$是一个曲线类，并且我们构造了一个导出的堆栈，其截断是从亏格g到S的曲线的点稳定映射的通常堆栈，这些曲线击中类$β$，并且使得截断的包含导致完全阻塞理论，其切线和阻塞空间与对应的约化空间一致，奥库科夫-莫里克-潘达里潘德-托马斯。我们给出复体模的两个进一步的应用。对于K3-曲面S，我们证明了S上的简单完全复形的堆叠是光滑的。Inaba对相应的粗模空间用不同的方法证明了这一结果。最后，我们构建了一个映射，从导出堆栈的稳定嵌入的曲线（到一个光滑的复杂的射影品种X）的导出堆栈的简单完美的复杂的X与消失的负Ext的，并显示这个映射如何诱导相应的障碍理论的态射时，X是一个Calabi-Yau三倍。我们的建设的一个重要组成部分是一个完美的行列式映射从派生堆栈的完美复形派生堆栈的线丛的切线态射是，逐点，Illusie的完美复形的跟踪地图。我们希望这个决定性映射在其他情况下也是有用的。

2011-11-04math.AGmath.KT

Deligne关于1-模扩张的猜想

Deligne's conjecture on extensions of 1-motives

我们引入了1-动机扩张的概念。使用字典之间的严格交换皮卡德堆栈和复合物的阿贝尔层集中在度-1和0，我们检查，1动机的扩展导致相应的严格交换皮卡德堆栈的扩展。我们计算的霍奇，德拉姆和l-adic实现的1-动机的扩展。利用这些结果，我们可以证明Deligne关于1-模扩张的猜想.

2010-04-12math.AGmath.KT

非交换n元Γ-半环的K-理论中的基本比较、基变换和下降定理

Fundamental comparison, base-change, and descent theorems in the $K$-theory of non-commutative n-ary Gamma-semirings

本文在非交换n元Γ-半环的代数K-理论中，通过双有限、槽敏感的Γ-模和完美复形，建立了由标量扩张和限制诱导的函子性映射，证明了导出的Morita不变性、Beck-Chevalley型基变换和投影公式，并推导了Zariski超下降、切除和局部化序列以及fpqc下降，最后给出了K_Γ(X)的几何解释及其在Γ-线性非交换动机中的泛性质。

2026-05-29math.KTmath.RA

导出范畴

Derived Categories

这是一本关于导出范畴的书的第四个（也是最后一个）预出版版本，将由剑桥大学出版社出版。这本书的目的是提供坚实的基础理论的导出范畴，并提出几个应用这一理论在交换和非交换代数。重点是结构和例子，而不是公理。以下是书中涉及的主题：-关于阿贝尔范畴的标准事实的回顾。- 微分分次代数（DG环，DG模，DG范畴和DG函子）. - 三角范畴和它们之间的三角函子。他们是如何从DG背景中产生的。M中DGA-模的同伦范畴K（A，M）. - 分类的本地化。导出范畴D（A，M），它是K（A，M）关于拟同构的局部化. - 三角化函子的左、右导出函子。- K-内射、K-投射和K-平坦DG模。它们的作用，以及它们在几个重要的代数情形中的存在。- 交换诺特环上的对偶和剩余复形，包括Van den Bergh刚性。- NC（非交换）DG环上的完全DG模和倾斜DG双模。- NC连通分次环，包括Artin-Schelter正则环. NC连通分次环的导挠，它与Artin-Zhang的chi条件的关系，以及NC MGM等价平衡对偶复形的唯一性、存在性与迹函性。- NC刚性对偶复合物，遵循Van den Bergh。这些复形的唯一性和存在性，一些例子，以及它们与Calabi-Yau环的关系。本预览版的读者请写信给作者，对错误，建议或问题提出任何意见。

2019-04-14math.AGmath.CTmath.KT

交换DG环的平方运算

The Squaring Operation for Commutative DG Rings

设A -> B是交换环的同态.平方运算是从复B-模的导出范畴D（B）到自身的函子Sq_{B/A}。平方运算是刚性复形的定义所必需的（在Van den Bergh的意义上），这反过来又导致了一种新的方法来研究环、方案甚至DM栈的Grothendieck对偶。在我们与J. J. Zhang于2008年发表的论文中，我们介绍了平方运算，并探讨了它的一些性质。不幸的是，这篇论文中的一些证明存在严重的缺陷。在本文中，我们重现的平方运算的建设。这是在比第一篇论文更一般的背景下完成的：在这里，我们考虑交换DG环的同态A -> B。我们的第一个主要结果是DG B-模M的平方Sq_{B/A}（M）与表示它的分解无关，我们的第二个主要结果是平方运算的迹函性。我们给出了精确的陈述和完整的正确证明。在随后的论文中，我们将复制2008年论文中需要修改的其余部分。这将使我们能够继续与其他文件，提到的参考书目，对刚性的方法格罗滕迪克对偶。主要结果的证明需要大量的基础工作交换和非交换DG环，包括研究半自由DG环，他们的提升性质，和他们的同伦。文件的这一部分可以是独立的。

2015-10-24math.ACmath.AGmath.KT