E_n-cohomology with coefficients as functor cohomology
在Livernet和Richter工作的基础上，我们证明了系数在对称双模中的交换代数的E_n-同调和E_n-上同调可以解释为函子同调和上同调.此外，我们证明了相关的Yoneda代数是平凡的。
2015-02-19 math.AT math.KT
A higher limit approach to homology theories
许多著名的函子如代数的群同调、循环同调都可以描述为某些简单定义的函子在表示范畴上的极限。在本文中，我们开发技术的描述的上限类别的介绍，并表明，某些同调函子可以用这种方式来描述。特别地，我们给出了霍赫希尔德同调和张量、对称和外幂的导出函子在Dold和Puppe意义下的上限.
2013-09-19 math.AT math.GR math.KT
On stable homology of congruence groups
我们表明，在这项工作中，同源度D的同余组，在一个非常一般的框架，定义了一个弱多项式函子的程度最多2D，我们描述了这个函子模多项式函子的程度较小。我们的主要工具是一个谱序列，它连接了类同余群的同调（在一个接近于2010年Vespa为正交群引入的形式设置中）和函子同调。我们证明并使用了多项式函子上某些张量结构的性质和导出的Kan扩张，用不同的方法推广了Suslin关于整数代数K理论中切除的工作和Church-Miller-Nagpal-Reinhold的一个预印本.
2017-12-11 math.AT math.CT math.KT
On the derived functor analogy in the Cuntz-Quillen framework for cyclic homology
Cuntz和Quillen证明了对于域$char(k)=0$上的代数，周期循环同调在某种意义上可以看作是（非交换）de Rham（余）同调的导出函子。本文的目的是形式化这个导出函子类比。我们证明了可数原代数范畴$\Cal{PA}$在（无穷小）形变类上的局部化${Def}^{-1}\Cal{PA}$存在（在任何特征中）（定理3.2），并且在特征零中，周期循环同调是de Rham上同调关于这个局部化的导出函子（推论5.4）。我们还计算了$\Bbb Q$上代数的有理$K$ -理论的导出函子，我们证明了它本质上是陈特征标到负循环同调的纤维（定理6.2）。
2000-01-31 math.KT
On the Andre-Quillen homology of Tambara functors
我们解除等变代数三个密切相关的经典代数概念：阿贝尔群对象在增广交换代数，导子，凯勒微分。我们定义麦基函子对象的范畴中的Tambara函子扩大到一个固定的Tambara函子$\underline{R}$，我们表明，通常的平方零扩展给出了等价的范畴之间的这些麦基函子对象和普通的模块在$\underline{R}$。然后，我们描述了自然推广到Tambara函子的推导，建立在直觉上，一个Tambara函子的产品扭曲任意有限$G$ -集，我们连接到平方零扩展在预期的方式。最后，我们证明了存在一个适当的Kähler微分形式，它满足经典关系式：从$\underline{R}$导出的导子与从Kähler微分导出的映射相同.
2017-01-22 math.AT math.GR math.KT
The homotopy invariance of cyclic homology of $A_\infty$-algebras over rings
本文构造了从交换酉环$K$上的$A_\infty$ -代数范畴到分次$K$ -模范畴的循环同调函子.进一步证明了该函子将$A_\infty$ -代数的同伦等价变换为分次模的同构.作为推论，得到了域上$A_\infty$ -代数的循环同调同构于源$A_\infty$-代数的同调的$A_\infty$-代数的循环同调.
2019-05-27 math.AT math.KT
The homology of additive functors in prime characteristic
Université Sorbonne Paris Nord（索邦巴黎北大学）；Univ. Lille, CNRS, UMR 8524 - Laboratoire Paul Painlevé（里尔大学，法国国家科学研究中心，联合研究单位8524-保罗·潘勒韦实验室）
本文研究了在素特征下加法函子的同调计算，通过Ext和Tor群的子范畴计算，获得了通用线性群的群同调结果。
2026-03-09 math.KT
Witt Vectors, Polynomial Maps, and Real Topological Hochschild Homology
我们表明，各种口味的维特向量是函的乘法多项式的法律有限程度。然后我们推出了$p$ -典型Witt向量在次数至多为$p-1$的乘法多项式映射中是函子的.这种额外的函子性使我们能够将$p$ -典型的Witt向量函子从交换环推广到$\mathbb{Z}/2$ -Tambara函子，对于奇素数$p$ .我们使用这些Tambara函子的Witt向量来描述实拓扑霍赫希尔德同调谱在奇素数上的二面角不动点的分量。
2020-10-16 math.AC math.AT math.KT
On endomorphisms of topological Hochschild homology
本文计算了稳定∞-范畴上拓扑Hochschild同调（THH）函子及其变体（包括HH_k和稳定对称幺半范畴上的THH）的自同态。
2025-03-06 math.AG math.AT math.KT
The homotopy invariance of dihedral homology of involutive $A_\infty$-algebras over rings
构造了从任意交换酉环$K$上的对合$A_\infty$ -代数范畴$A_\infty^{\rm inv}(K)$到分次$K$ -模范畴$GrM(K)$的二面体同调函子$HD:A_\infty^{\rm inv}(K)\to GrM(K)$.进一步证明了该函子将对合$A_\infty$ -代数的同伦等价变换为分次模的同构.
2019-06-14 math.AT math.KT
Interpolation categories for homology theories
对于从三角范畴到阿贝尔范畴的同调函子，在满足一些技术假设的条件下，我们构造了一个插值范畴塔。这些范畴是函子对其进行因式分解的范畴，并且根据函子的像的内射维数捕获越来越多的信息。通过证明截断版本的决议或$E_2$ -模型结构的存在性的类别。函子拟合在我们的框架的例子给出了每一个广义同调论表示的环谱满足亚当斯-阿蒂亚条件。这些结构与修正的Adams谱序列密切相关，并为相关的模问题和障碍理论提供了一种非常概念性的方法。作为应用，我们建立了某些E（n）-局部Picard群与某些Ext-群之间的同构。
2006-02-25 math.AT math.KT
The fundamental isomorphism conjecture via non-commutative motives
给定一个群，在其轨道范畴上构造一个基本可加函子。我们证明，任何同构猜想有效的基本同构函子持有的所有加法函子，如K-理论，循环同调，拓扑霍赫希尔德同调等，最后，我们减少了基本同构猜想K-理论的。
2012-02-28 math.AT math.KT
Higher limits, homology theories and fr-codes
本文是根据作者在2015年夏天的讲座。它包含对表示范畴的极限理论的介绍，并以不同的知名函子为例，例如同调或非加性函子的导出函子（以导出极限的形式）。还发展了所谓的${\bf fr}$码的理论。这是一种方法如何从群范畴到阿贝尔群范畴的不同函子，如群同调，阿贝尔化的张量积，可以用两个符号${\bf f}$和${\bf r}$在字母表中编码为句子。
2015-10-30 math.AT math.CT math.GR
Topological equivariant coarse K-homology
本文构造了具有严格群作用的$C^{*}$-范畴上的等变粗同调理论，通过引入受控于有界粗空间的Roe范畴并应用同调函子，验证了轨道范畴上的CP-函子性质，进而影响装配映射的单射性。
2023-04-04 math.AT math.KT math.MG
Cyclic theory for commutative differential graded algebras and s-cohomology
本文考虑流形范畴$hH^\ast, cH^\ast, sH^\ast,$上的三个同伦函子，并将它们与连通交换微分分次代数范畴$HH^\ast, CH^\ast, SH^\ast.$上的其他三个同伦函子平行，如果$P$是光滑1-连通流形，且代数是$P$的de-Rham代数，则这两对函子一致，但一般不一致.函子$ HH^\ast $和$CH^\ast$也可以分别导出为Hochschild。交换微分分次代数的循环同调，但这里不是这样介绍它们的。第三个$SH^\ast ,$虽然是从负循环同调中得到的启发，但不能与任何代数的任何种类的循环同调相一致。函子$sH^\ast$可能在拓扑学中扮演某种角色。构造函子$HH^\ast, CH^\ast $和$SH^\ast ,$的重要工具除了循环理论所建议的线性代数外，还有本文所描述的Sullivan极小模型定理和“自由环”构造。
2009-05-10 math.AT math.KT
THH and TC are (very) far from being homotopy functors
计算了拓扑Hochschild同调（$\mathrm{THH}$）、拓扑循环同调（$\mathrm{TC}$）和拓扑周期循环同调（$\mathrm{TP}$）等几个不变量的$\mathbb{A}^1$-局部化.这个过程非常残酷，并且杀死了大多数这些不变量的完整版本。消失陈述的主要成分是$\mathbb{A}^1$的消失-德·拉姆上同调（以及最终的结晶上同调）在正特征中的局部化。
2020-11-08 math.AG math.AT math.KT
Magnitude homology is a derived functor
本文证明充实范畴的 magnitude（共）同调可由 Abel 范畴间的导出函子描述，并具体给出拟度量空间、有限拟度量空间及有限有向图中的 Ext、Tor、距离代数与 Yoneda 代数刻画。
2024-05-20 math.KT
Sur l'homologie des groupes d'automorphismes des groupes libres à coefficients polynomiaux
本文研究了系数为多项式函子扭的自由群的自同构群的稳定同调。我们表明，这种同源性是零的减少协变多项式函子。对于约化的反变函子，我们计算第一个同调群，它一般不为零。我们的方法依赖于函子范畴的使用。-On étudie dans cet article l'homologie stable des groupes d'automorphismes des groupes libres à coefficients tordus par un foncteur polynomial.在montre que cette homologie est nulle pour un foncteur polynomial covariant réduit.在一个函数多项式反变的情况下，计算第一个同调群，它不是一般的。Nos methodes reposent sur l'utilisation de catégories de foncestrian.
2013-09-09 math.AT math.KT
The Witt vectors for Green functors
定义了格林函子的扭曲霍赫希尔德同调。这种构造是相对拓扑霍赫希尔德同调调$THH_{C_n}(-)$的代数类似物，它描述了相对$THH$的Künneth谱序列的$E_2$项。应用于普通环，我们得到了新的代数不变式。推广了Hesselholt关于非交换环的Witt向量的构造，我们把我们的构造解释为Green函子提供了Witt向量.
2019-12-30 math.AT math.GR math.KT
On the homology of the dual de Rham complex
研究了对偶de Rham复形作为函子在阿贝尔群范畴上的同调性。本文给出了自由阿尔贝群的对偶de Rham复形的7次同调的描述，并给出了Jean计算第零个同调群的证明的修正版本.
2010-01-18 math.AT math.KT
Transfers in coarse homology
我们通过增加转移态射扩大了代数粗空间的范畴，并引入了带转移的等变粗同调论的概念。然后，我们表明，等变粗代数$K$ -同调和等变粗普通同调可以扩展到等变粗同调论与转让。在有限群的情况下，我们观察到，等变粗同调论与转让提供麦基函子。我们表示标准的建设与麦基函子在粗糙的几何，我们展示了使用的转让，以证明注入性的结果组装地图。
2018-09-21 math.AT math.KT math.MG
Homology of strict polynomial functors over Fp-linear additive categories
本研究将经典强比较定理推广到Fp-线性加法范畴，推动函子同调显式计算，为群稳定同调、K-理论新应用铺路，并例证了无限完美域上经典代数群上同调的比较定理。
2024-07-15 math.AT math.CT math.GR
Real topological Hochschild homology
本文用乘法范数的构造方法解释了Hesselholt和Madsen的实拓扑霍赫希尔德同调函子THR。我们证明THR满足共尾性和森田不变性，并且它是适当的乘法。然后计算了它的几何不动点和分支的Mackey函子，并给出了群代数的一个分解结果。利用这些结构结果，我们确定了THR（$\mathbb{F}_p$）的同伦类型，并证明了它的双分次同伦群是$H\mathbb{F}_p$的双分次同伦群上关于一个生成元的多项式.然后我们计算了THR（$\mathbb{Z}$）远离素$2$的同伦类型，以及几何不动点谱$Φ^{\mathbb{Z}/2}$ THR（$\mathbb{Z}$）的同伦环.
2017-11-28 math.AT math.KT
Higher Dimensional Homology Algebra V:Injective Resolutions and Derived 2-Functors in ($\cR$-2-Mod)
本文构造了任意$\cR$ -2-模的内射分解，定义了右导2-函子，并给出了导2-函子在（$\cR$ -2-Mod）中的一些相关性质.
2010-08-27 hep-th math.CT math.KT
Higher Dimensional Homology Algebra IV:Projective Resolutions and Derived 2-Functors in ($\cR$-2-Mod)
本文构造了任意$\cR$ -2-模的投射分解，定义了导2-函子，并给出导2-函子的一些相关性质。
2010-08-19 math-ph math.CT math.KT
Homotopy cofinality for Non-Abelian homology of group diagrams
本文证明了同伦余终结函子诱导同伦余极限弱等价，据此确立群图非阿贝尔同调在同伦余终结函子原像及左 Kan 扩张下的不变性，并推广构建了单纯集与预层的非阿贝尔 Gabriel-Zisman 及 Baues-Wirsching 同调理论。
2024-03-26 math.AT math.CT math.KT
Transgressions and Chern characters in coarse homotopy theory
本文探讨了粗同调论中超越现象与 Chern 特征类之间的关系，研究了它们之间的可交换性及数学结构。
2026-01-20 math.AT math.KT
Higher Dimensional Homology Algebra III:Projective Resolutions and Derived 2-Functors in (2-SGp)
本文将通过任意对称2-群的投射分解定义导2-函子，并给出导2-函子的一些相关性质。
2010-08-20 hep-th math-ph math.CT
Deconstructing Auslander's formulas, I. Fundamental sequences associated with additive functors
Northeastern University（东北大学）
该研究针对加法函子构造长正合序列，半正合函子所得序列正合，一般函子非平凡同调可能仅在导出函子处。专门针对有限表现模上的Hom和张量积函子恢复奥斯特兰德公式，结果适用于任意环和模，还得出任意复形同调与上同调的通用系数定理。
2026-07-28 math.AT math.CT math.KT
The third homology of stem-extensions and Whitehead's quadratic functor
令$A \rightarrowtail G\twoheadrightarrow Q$为词干扩展，令$ρ: A\times G\to G$为乘法映射。证明了存在一个自然映射$φ: H_1(Σ_2^ε, {\rm Tor}_1^{\mathbb{Z}}({}_{2^\infty}A,{}_{2^\infty}A))\to H_3(G,\mathbb{Z})/ρ_\ast(A \otimes_{\mathbb{Z}} H_2(G,\mathbb{Z}))$，使得$φ$的像与自然映射$H_3(A,\mathbb{Z})\to H_3(G,\mathbb{Z})/ρ_\ast(A \otimes_{\mathbb{Z}} H_2(G,\mathbb{Z}))$的像重合.这里使用的一个重要工具是怀特黑德的二次函子$Γ$。作为主要结果证明的一部分，我们给出了自然映射$Γ(A) \to A\otimes_{\mathbb{z}} A$，$γ(a)\mapsto a\otimes a$的核的精确同调描述.
2022-02-11 math.KT
The Yoneda isomorphism commutes with homology
我们表明，对于一个正确的确切函子从阿贝尔范畴的阿贝尔群，米田的同构与同源性，因此，与函子导子。然后将这个结果推广到半交换域。以下是根据卫星和更高的中央扩展的解释。作为一个应用，我们开发了半交换（高）挠理论和相关的（高）泛（中心）扩张理论。
2015-09-06 math.KT
Cyclotomic complexes
我们构建了一个三角范畴的分圆复形，Bokstedt和Madsen的分圆谱的同调对应。我们还构造了一个版本的拓扑循环同调函子TC的分圆复合物，和一个等变的同源函子从分圆光谱的分圆复合物与TC交换。另一方面，我们证明了分圆复形范畴本质上是Fontaine和Lafaille的滤Dieudonne模范畴的扭2-周期导出范畴.我们还证明了在一定的条件下，分圆复形上的函子TC是同分上同调函子。
2010-03-14 math.AG math.AT math.KT
Galois theory and homology in quasi-abelian functor categories
本文研究有限范畴T上的函子范畴[T,A]（A为拟阿贝尔范畴），定义并证明其子范畴F为无挠Birkhoff子范畴，从而用于研究中心扩张和同调的广义Hopf公式。
2024-03-19 math.CT math.KT
Homologically optimal categories of sequences lead to N-complexes
本文研究了阿贝尔范畴上的$\mathbb{Z}$ -指标序列范畴以及这类序列的广义同调函正整数$a$和$b$ .通过研究相应的衍生范畴，我们证明了对于我们的广义同调函子的每一个选择，都有一个序列的“最优”子范畴，即$N$ -复合物的范畴（差分$d$满足$d^N = 0$的序列），其中$N = a + b$。在这种最佳情况下，我们表明，我们的同源函子减少Kapranov的同源函子$\operatorname{ker} d^a / \operatorname{im} d^b$。
2014-05-15 math.CT math.KT math.RT
Entropies of Serre functors for higher hereditary algebras
该研究计算了高遗传代数的Serre函子相关熵与维数不变量，证明了Hochschild同调熵的Yomdin型不等式，证实了相关问题的肯定答案与Gromov-Yomdin型等式成立。
2024-04-12 math.KT math.RA math.RT
A filtered Hochschild-Kostant-Rosenberg theorem for real Hochschild homology
本文在$ C_2 $-Mackey函子中引入导出对合代数，证明其实Hochschild同调存在滤过且相关分次等同对合de Rham复形，并特化为Raksit的HKR-滤过Hochschild同调。
2025-03-04 math.AG math.AT math.KT
Syntactic categories for Nori motives
基于范畴逻辑，我们给出了Nori的$\mathbb Q$ -线性阿贝尔混合模范畴的一个新的构造，该范畴与$\mathbb Q$上的有限维向量空间中的上同调或同调函子有关.这种新的构造对于无限维向量空间也是有意义的，因此它将混合基元的$\mathbb Q$ -线性阿贝尔范畴与任何（上）同调函子联系起来，不仅是贝蒂同调（如诺里所做的），而且，例如，$\ell$ -adic、$p$ -adic或基元上同调。我们证明了与不同的（上）同调函子相关联的混合动机的$\mathbb Q$ -线性阿贝尔范畴是等价的当且仅当这些不同的函子共享一族（逻辑性质的）显式性质。因此，普遍上同调理论的存在性问题和不同经典上同调函子所编码的信息的等价性问题就归结为检查这些明确条件的问题。
2016-05-15 math.AG math.CT math.KT
Derived Representation Schemes and Cyclic Homology
我们描述了仿射表示方案Rep_V（A）的导出函子DRep_V（A），参数化了有限维向量空间V上结合k-代数A的表示。我们构造了特征映射Tr_V（A）_n：HC_n（A）\to H_n[DRep_V（A）]，扩展了规范迹Tr_V（A）：HC_0（A）\to k[Rep_V（A）]与代数A的高阶循环同调的关系，并描述了M.范登伯格。本文研究了由已知的A的循环同调和霍赫希尔德同调的运算所诱导的DRep_V（A）的同调的各种运算。
2013-06-26 math.KT math.QA math.RA
(Co)homology of Γ-groups and Γ-homological algebra
本文是对同调代数中的群作用在Γ-单群的同调，特别是Γ-等变同调和上同调的情形下的进一步研究.这种方法可称为Γ-同调代数。将群的非交换扩张的抽象核、它与非交换扩张存在性的障碍以及与群的第二上同调的关系推广到了Γ-群的非交换Γ-扩张的情形。计算了有限循环Γ-群的有理Γ-等变（余）同调群.证明了一个Γ-群G的n重Γ-等变扩张群与一个Go Γ-模A的同构，其中G的第n+1阶Γ-等变群上同调的系数在A中.定义了当基环含有有理数时，包含循环同调的Γ- Hochschild复形的同调为Γ-等变霍赫希尔德同调，推广了Γ-等变（上）同调的性质.当群Γ在Hochschild复形上的作用由它在基环上的作用引起时，建立了与Kahler微分、Morita等价和导出函子有关的Γ-等变霍赫希尔德同调的重要性质.引入并利用相关导出函子研究了交叉Γ-模的群（上）同调和Γ-等变群（上）同调，最后给出了它们在代数K理论、交换环的伽罗瓦论和群的上同调维数中的应用.
2021-07-23 math.KT
Universal birational invariants and $\mathbb{A}^1$-homology
设$k$是一个允许奇点分解的域。本文证明了第0个$\mathbb{A}^1$ -同调$\mathbf{H}^{\mathbb{A}^1}_0$的函子作为取值于交换群范畴的光滑真$k$ -簇的函子双有理不变量是泛函子.对于一个光滑的真$k$簇$X$，我们还证明了$\mathbf{H}^{\mathbb{A}^1}_0(X;\mathbb{Q})(\mathrm{Spec} k)$的维数与$X(k)$的$R$等价类的个数一致.我们推导出这些结果的结构定理的后果，对于一个光滑的适当的$k$ -品种$X$，层$\mathbf{H}^{\mathbb{A}^1}_0(X)$是自由阿贝尔预层所产生的双有理$\mathbb{A}^1$ -连接组件$π_0^{b\mathbb{A}^1}(X)$的Asok-Morel。
2020-05-25 math.AG math.KT
Hopf--Hochschild (co)homology of module algebras
我们定义了一个版本的霍赫希尔德同调和上同调适合于一类代数，允许相容作用的双代数，称为模代数。我们表明，这种（上）同调，称为霍普夫-Hochschild（上）同调，也可以被定义为一个导出函子的类别表示的交叉产品代数。我们调查我们的理论与Hopf循环上同调的关系，并证明了Morita不变性的Hopf-Hochschild（上）同调。
2006-08-24 math.KT math.RA
Derived Hochschild functors over commutative adic algebras
设$\k$是一个交换环，$(A,\mfrak{a})$是一个adic环，它是一个$\k$ -代数.研究了$\k$上$A$的霍赫希尔德同调和上同调函子的完备和扭形式.为此，我们首先建立了诺特环的平基变换中某些理想的弱预正则性。接下来，我们发展了一个DG-仿射形式概形的理论，扩展了Greenlees-May对偶和MGM等价。最后，我们在这种设置中定义了完全的和挠导出的霍赫希尔德同调和上同调函子，并证明如果$\k$是诺特式的，并且$(A,\mfrak{a})$本质上是$\k$上的有限型（在adic意义上），则存在计算它们的公式，这些公式保持在诺特范畴内。在经典情形下，当$\k$是一个域时，我们证明了拓扑Hochschild上同调与离散Hochschild上同调是同构的.
2013-08-27 math.AC math.AG math.KT
A comonadic interpretation of Baues-Ellis homology of crossed modules
引入并研究了交换交叉模中系数的交叉模的一个同调论。我们讨论了这些新的同调群的基本性质，并给出了一些应用。然后，我们限制我们的注意力的情况下，整系数。在这种情况下，我们重新获得了交叉模的同源性，最初由Baues定义，并由Ellis进一步发展。我们证明了它是Barr-Beck余单元同调的一个例子，从而我们可以利用Everaert和Gran的一个结果得到所有维数的Hopf公式.
2018-05-20 math.CT math.KT
