首页/论文/math/0212197

arXiv math/02121972002-12-15math.CTmath.AG

关于Deligne一个定理的注记

A remark on a theorem by Deligne

M. Van den Bergh

备注：: 2 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文给出了Deligne分解定理的一个避免谱序列的证明。

英文摘要：

We give a proof avoiding spectral sequences of Deligne's decomposition theorem for objects in a triangulated category admitting a Lefschetz homomorphism.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

Deligne-Riemann-Roch 定理与相交丛

Deligne-Riemann-Roch and intersection bundles

本文为推进Deligne提出的拓展Grothendieck-Riemann-Roch定理余维1部分的研究计划，建立了取值于线丛的相对函子性相交理论，推广了Deligne与Elkik的相关构造。

2023-06-08math.AGmath.CTmath.KT

张量范畴（根据P. Deligne）

Tensor categories (after P. Deligne)

这些注记给出了Deligne关于超纤维函子的超张力定理的一个说明。

2004-01-25math.CTmath.RT

哥德尔完备性定理和德利涅定理

Godel's Completeness Theorem and Deligne's Theorem

这些笔记是为2012年1月在巴黎第七大学的一次演讲而写的。其目的是解释一个著名的定理证明P.德利涅有关连贯拓扑（连贯拓扑有足够的点），并显示这个定理是如何等价于哥德尔的完备性定理的一阶逻辑。因为不可能在三个小时内涵盖所有内容，所以重点放在巴尔定理和德利涅定理上。这就解释了为什么对相应的章节给予了更多的关注。增加第1节和附录是为了使本文件自成一体，并使具有良好拓扑理论知识的读者能够理解。相干拓扑是等价于Grothendieck拓扑的拓扑，其允许一个站点$(C,J)$使得$C$具有有限极限并且存在具有有限覆盖族的$J$的基。为了证明任何相干拓扑都有足够的点，只要证明对于任何相干拓扑$\mathcal{E}$，有一个从有足够点的拓扑到$\mathcal{E}$的满射几何态射就足够了。当拓扑空间上的层拓扑有足够的点时，从某个$Sh(X)$到$\mathcal{E}$的任何满射几何态射都是充分的，其中$X$是拓扑空间。这是由巴尔定理提供的。这就是我们在这里所要采取的方法（遵循MacLane和Moerdijk的《几何和逻辑中的层组》）。

2013-09-02math.CTmath.LO

Deligne完备性定理的无穷推广

Infinitary generalizations of Deligne's completeness theorem

给定正则基数$κ$使得$κ^{<κ}=κ$，研究了一类具有足够点数的拓扑，即$κ$ -可分拓扑.这些等价于在一个具有$κ$ -小极限的点上的层拓扑，该点至多具有$κ$许多对象和态射，拓扑（的基础）由至多$κ$许多覆盖族生成，并且满足进一步的正合性质$T$。我们证明了这些toposes有足够的$κ$ -点，即，点的逆像保持所有$κ$ -小限制。这推广了Makkai和Reyes的可分命题，这是当$κ=ω$，当性质$T$平凡满足时的特殊情况。这个结果本质上是一个完备性定理，我们称之为$κ$ -几何的某种无穷逻辑，其中允许小于$κ$公式的合取和小于$κ$许多变量的存在量化。我们证明了$κ$ -几何理论有一个$κ$ -分类拓扑具有属性$T$，泛性质是，模型的理论在Grothendieck拓扑与属性$T$对应于$κ$ -几何态射（几何态射的逆像，其中保留所有$κ$ -小限制）到该拓扑。证明了$κ$ -可分拓扑作为至多$κ$多个公理的$κ$ -几何理论的$κ$ -分类拓扑以标准形式出现，并且每个这样的$κ$ -分类拓扑都是$κ$ -可分的.最后，我们考虑的情况下，当$κ$是弱紧的和研究的$κ$分类拓扑的$κ$ -相干理论（与最多$κ$许多公理），即理论中，只有小于$κ$的析取公式是允许的，获得一个版本的Deligne定理的$κ$ -相干拓扑。

2017-09-06math.CTmath.LO

有限范畴的Eilenberg-Watts演算和双模Radford $S^4$定理

Eilenberg-Watts calculus for finite categories and a bimodule Radford $S^4$ theorem

我们获得森田不变版本的Eilenberg-Watts型定理，有关Deligne产品的有限线性类别的左确切的类别，以及正确的函子。这使得可以在不同的函子类别和Deligne产品之间切换，这通常非常方便。例如，我们可以证明，将从左正合函子到右正合函子的等价应用于被视为左正合函子的单位函子，得到中山函子。我们给出的范畴的等价性与有限张量范畴上模范畴的结构相容。这导致Radford的$S^4$ -定理推广到双模范畴。我们还解释了我们的建设，相对塞尔函子的模块类别，通过内部霍姆函子。

2019-11-14math.CTmath.QAmath.RA

哥德尔完备性定理的句法和范畴推导

A Syntactic and Categorical Derivation of Gödel's Completeness Theorem

考虑到经典的一阶逻辑与平等，我们给出了一个“完全句法”的建设（弱）的语法范畴$\text{Syn}(T)$与一致的理论$T$，我们表明它是一个一致的连贯范畴，我们表明，态射的连贯范畴$\text{Syn}(T)\to \bf{Set}$产生的模型$\mathcal{M}$的$T$在通常意义上。然后，我们调用Deligne的小一致连贯范畴定理。

2021-11-11math.CTmath.LO

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

关于正特征的对称融合范畴

On symmetric fusion categories in positive characteristic

本文将Deligne关于超纤维函子存在性的定理推广到正特征情形。我们证明了我们的猜想的特殊情况下，半单范畴的简单对象的同构类的n个。

2015-03-04math.CTmath.QA