The Long-Moody construction and polynomial functors
1994年,Long和Moody给出了辫群表示的一个构造,它将\mathbf{B} \_{n}的表示与\mathbf{B} \_{n+1}的表示联系起来.在本文中,我们证明了这个结构是函子,可以扩展:它激发了endofunctors,称为长穆迪函子,从奎伦的括号建设与辫子广群的一个模块范畴的函子之间的范畴。然后我们研究了Long-Moody函子对强多项式函子的影响:证明了Long-Moody函子使强多项式性的次数增加一次。
2021-08-16 math.AT math.CT
On Extensions of Polynomial Functors
基于投射分解,建立了一个计算多项式函子(主要是整数)扩张的公式。样本计算进行,其中,特别是,表现出一个令人惊讶的非平凡的扩展划分立方体对称立方体。对后者给出了明确的描述。
2013-05-12 math.AT math.RA math.RT
Weak and Strong Fibrations of Functors
Departamento de Matemáticas, Universidade de Santiago de Compostela(圣地亚哥-德孔波斯特拉大学数学系);Universidade de Vigo(维戈大学);CITMAga(计算、建模与技术应用研究中心)
本文提出了一种针对小范畴的同调框架,扩展了代数拓扑的经典不变量到范畴设置。通过构造真正的路径范畴,定义了函子的强和弱纤维化,并引入了纤维化替代和扩展了如Svarc genus和sectional category等同调不变量到小范畴。最后,将该框架应用于小范畴中的运动规划,提供了Farber拓扑复杂度的范畴类比,并消除了现有方法中常见的有限性约束。
2026-05-18 math.AT math.CO math.CT
The Levelwise Finite Generation of Free Tambara Functors
Columbia University(哥伦比亚大学)
研究有限戴德金群\(G\)时自由多项式\(G\)-Tambara函子的分层有限生成,通过确立Tambara函子相关有限性条件的持久性,包括弱希尔伯特基定理来实现。
2026-07-21 math.AC math.AT math.GR
Polynomial functors from Algebras over a set-operad and non-linear Mackey functors
本文利用非线性Mackey函子,推广了Baues-Dreckmann-Franjou-Pirashvili在2001年发表的文章中给出的多项式函子,给出了从(n-生成自由)群到阿贝尔群的多项式函子的一种描述.这个描述是我们的两个主要结果的一个结果:一个描述函子从(有限生成的自由)P-代数(P的一个集运算)到阿贝尔群的非线性Mackey函子和多项式函子之间的同构(有限生成的自由)幺半群和(有限生成的自由)群。本文用交叉效应和满足一系列关系的映射明确地刻画了从(非生成自由)P-代数到阿贝尔群和从(非生成自由)P-代数到阿贝尔群的多项式函子.
2012-09-11 math.AT
Homogeneous strict polynomial functors as unstable modules
Schur代数和Steenrod代数之间的关系在[Hai10]中得到了证明,其中作者给每个严格多项式函子都关联了一个不稳定模.证明了Hai函子对给定次数的严格多项式函子范畴的限制是完全忠实的。
2015-06-12 math.AT
The Ring of Polynomial Functors of Prime Degree
设$\hat\Z_p$是$p$ -adic整数环.本文证明了一类多项式函子,它是从自由自由阿尔贝群到次数至多为$p$的$\hat \Z_p$ -模的,等价于一类格林阶环上的有限生成模.尤里·德罗兹德证实了这一点。
2013-08-15 math.AT math.GR math.RT
Polynomial functors over free nilpotent groups
本文研究了有限生成自由 nilpotent 组上的多项式函子,比较了不同 nilpotency 类和多项式次数之间的差异,并提出了模的类比。
2025-12-30 math.AT math.CT
A functorial control of integral torsion in homology
研究了定义在整数上的严格多项式函子的值的整挠。我们解释了一些经典的同调不变量作为严格的多项式函子的值,因此获得这些不变量的积分扭转的估计,包括取消结果。
2015-08-25 math.AT math.RT
Highest weight categories and strict polynomial functors
最高权范畴用标准对象和阿贝尔范畴的基本元素来描述,并在任意交换基环上工作。然后利用Schur和Weyl函子理论解释了严格多项式函子范畴的最高权结构。一个结果是众所周知的事实,舒尔代数是拟遗传的。
2015-12-22 math.AC math.AT math.RT
(Non-)vanishing results for extensions between simple outer functors on free groups
本文研究自由群上多项式外函子范畴的上同调性质,证明了单外函子间Ext群的消失与非消失结果,发现其在特定度数外也可存在非平凡分量,补充了Vespa关于更大多项式函子范畴的相关结论。
2025-08-04 math.AT math.CT
On the splitting of polynomial functors
我们开发的方法证明,多项式函子的某些扩展不自然分裂。作为应用,我们给出了自由阿尔贝群的分类空间的第三和第四稳定同伦群的函子刻划。
2012-10-04 math.AT math.KT
PROPs associated to Lawvere theories and their relation to polynomial functors
KIAS(韩国高等研究院)
本文研究了与Lawvere理论相关的PROPs及其与多项式函子的关系,构造了一个自然的线性PROPs,用于研究多项式模块的结构。
2026-07-28 math.AT math.CT
Profinite $\infty$-operads
我们表明,一个profinite完成函子(单纯或拓扑)具有良好的同伦性质的操作可以构造为一个左Quillen函子从一个适当的模型范畴的无穷大运算到一定的模型范畴的profinite无穷大运算。该结构是基于精益无穷运算的概念,我们刻画了这些无穷运算弱等价于精益同伦有限性的性质。还讨论了该构造的几个变体,例如单位(或封闭)无穷操作数和无穷范畴的情况。
2021-07-21 math.AT math.CT
Classification of polynomial functors in manifold calculus, Part I
对光滑流形M,定义了一个拓扑空间X(k,M),证明了从M的开子集偏序集到单纯模型范畴的次多项式函子O(M)--> C <= k可分类为O(X(k,M))到C的线性函子的一个版本.
2019-03-15 math.AT
K-theory and polynomial functors
证明了稳定无穷范畴的代数K理论空间在多项式函子中是标准函子的。从而得到了Bökstedt关于$\mathrm{THH}(\mathbb{F}_p)$计算的一个新的证明.
2022-05-18 math.AT math.KT
Polynomial functors from free groups to a stable infinity-category
研究从有限生成自由群到稳定无穷范畴D的多项式函子范畴,证明其与可切除函子范畴、截断右余模范畴等价,借此计算自由群到阿贝尔群多项式函子间的Ext,并应用于自由群自同构群稳定上同调。
2026-07-09 math.AT
Generalized Long-Moody functors
本文将辫群表示的Long-Moody构造原理推广到其它群,如曲面的映射类群。也就是说,我们引入endofunctors的函子类别编码表示的一个家庭的群体。它们被称为Long-Moody函子,并提供了新的表示。在此背景下,多项式函子的概念被定义,并在同调稳定性的研究中发挥了重要作用。我们证明了,在额外的假设下,一个长穆迪函子增加了非常强和弱的多项式次数函子。
2021-08-17 math.AT math.CT
A Dwyer-Rezk classification for polynomial functors in Weiss calculus
Queen's University Belfast(贝尔法斯特女王大学);Radboud University Nijmegen(奈梅亨拉德堡德大学)
本文通过不同方法证明了Weiss微分学中多项式函子的分类,并给出了同质函子分类的新证明。
2025-11-26 math.AT
Ext-groups in the Category of Strict Polynomial Functors
本文利用已有数学工具研究Frobenius twist对严格多项式函子范畴中Ext-群的影响,并得到正交群与辛群上同调的显式公式。
2023-06-21 math.AT
Bar complexes and extensions of classical exponential functors
我们计算经典指数函子(即对称,外部或除幂)和它们的Frobenius扭曲之间的Ext群。我们的方法依赖于酒吧的建设,并桥梁这些Ext群的同调的Eilenberg-Mac巷空间。与文章“Troesch复形和扭曲谱序列“(arXiv 1005.3133)一起,本文提供了域上严格多项式函子范畴中经典Ext计算的另一种方法。我们还获得了显着的外计算严格多项式函子的整数。
2013-09-09 math.AT math.RT
Representation stability, secondary stability, and polynomial functors
我们证明了多项式系数系统的一般表示稳定性结果,这使我们能够证明许多多项式系数群族的表示稳定性和次同调稳定性。这就给出了扭系数同调稳定性定理的两个推广。我们应用这些结果证明了具有扭系数的超椭圆映射类群的同调稳定性,证明了同余子群的表示稳定性的新结果,建立了曲面的自同态群作为离散群的次同调稳定性,并改进了球谱的一般线性群的同调稳定性的已知稳定范围.
2021-06-21 math.AG math.AT math.RT
On polynomial functors and polynomial comonads over infinity groupoids
Fudan University(复旦大学)
本文研究了无穷群oids上多项式函子与余monad的性质,并探讨了其与完整Segal空间的联系。
2026-01-30 math.AT
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
Homology of strict polynomial functors over Fp-linear additive categories
本研究将经典强比较定理推广到Fp-线性加法范畴,推动函子同调显式计算,为群稳定同调、K-理论新应用铺路,并例证了无限完美域上经典代数群上同调的比较定理。
2024-07-15 math.AT math.CT math.GR
HR-length of a free group via polynomial functors
本文利用 $\mathbb Q$ 上的多项式函子理论,证明秩至少为 2 的自由群在子环 $R\subseteq\mathbb Q$ 上的 Bousfield $HR$-局部化塔长度至少为 $\omega+\omega$。
2023-04-26 math.AT math.GR
Higher Hochschild homology and exponential functors
该研究将圆楔和上的高阶Hochschild同调视为自由群范畴函子,引入外函子范畴,用多项式外函子刻画该同调,在特征零域得到显式计算,提供非平凡多项式外函子的自然来源。
2024-12-11 math.AT
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
Goodwillie calculus and Mackey functors
我们证明了从谱的$\infty$范畴到目标稳定$\infty$范畴$\mathbf{E}$的$n$ -除函子范畴等价于由有限集和满射建立的索引范畴上的$\mathbf{E}$ -值Mackey函子范畴.这种新的分类多项式函子产生于交叉效应的结构调查。这一结果的路径涉及到一对令人惊讶的多项式函子的扩张定理和半加性$\infty$ -范畴论中的一些有趣的话题的讨论,包括一个公式的自由半加性$\infty$-范畴上的$\infty$-范畴。
2018-10-03 math.AT
Tate cohomology and periodic localization of polynomial functors
在本文中,我们表明,古德威利演算,适用于函子从稳定同伦本身,相互作用的显着方式与色方面的稳定范畴。设T(n)是有限n型S-模的v_n自映射的望远镜,T(n)局部化在固定素数p上.霍普金斯和史密斯的周期性定理意味着与T(n)相关联的Bousfield局部化函子与选择无关。Goodwillie的一般理论认为,对于从S-模到S-模的任何同伦函子F,在F下有一个相关的塔{P_dF},使得F -> P_dF是到d-除函子的万有箭头。我们的第一个定理说,P_dF --> P_{d-1} F在关于T(n)的局部化之后总是容许同伦部分(因此在关于Morava K--理论K(n)的局部化之后也是如此)。因此,在周期局部化之后,多项式函子分裂为它们的齐次因子的乘积。这个定理是从我们的第二个定理推出的,它等价于:对任何有限群G,Tate谱t_G(T(n))是弱可缩的。这加强和推广以前的定理Greenlees-Sadofsky,Hovey-Sadofsky,和Mahowald-Shick。在我们的证明中,周期性定理是必不可少的。这两个定理之间的联系是通过一个重新制定的结果麦卡锡对偶演算。
2003-07-11 math.AT
Combinatorial models for Taylor polynomials of functors
古德威利的同伦函子演算将一个多项式逼近的塔(泰勒塔)与一个固定空间上的拓扑空间的函子联系起来。我们定义了一个新的塔,变中心塔,函子的类别与一个固定的始对象,如代数下一个固定的环谱。我们构造这个新的塔使用元素的泰勒塔建设的鲍尔,约翰逊和麦卡锡函子的单纯模型类别,并显示如何不同的中心塔不同于泰勒塔的属性,其个别条款和收敛行为。我们证明,有一个组合模型的变化中心塔作为一个亲之间的等价关系的变化中心塔和塔的cosimplicial对象,这推广埃尔德雷德的cosimplicial模型有限阶段的泰勒塔。作为一个应用,我们提出了模型的德拉姆复杂的有理交换环谱由于Rezk的一方面,和Goodwillie和Waldhausen的另一方面,并使用我们的结果得出结论,这两个模型将是等价的,当扩展到$E_{\infty}$ -环谱。
2016-08-25 math.AT
Formality and finiteness in rational homotopy theory
本文研究有理同伦论中微分分次代数模型的形式性与有限性,将其与空间基本群的Malcev李代数性质及同调跳跃簇几何联系起来,并用复代数几何、紧李群作用及三维流形实例加以说明。
2022-10-15 math.AT
Exponential Functors, R-Matrices and Twists
在本文中,我们证明了每个多项式指数函子在复杂的有限维内积空间的定义,直到等价的monoidal函子的对合解的杨-巴克斯特方程(对合$R$ -矩阵),这决定了一个极值特征的$S_{\infty}$。由多项式指数函子产生的Thoma参数是一类特殊的参数。此外,我们证明了每一个$R$ -矩阵与托马参数的这种产生相应的多项式指数函子。在本文的第二部分中,我们使用这些函子构建一个更高的扭曲超过$SU(n)$的本地化的$K$ -理论,概括了一个由基本gerbe。我们计算的有理特征类的不可分解的部分,这些扭曲的托马参数的$R$ -矩阵。
2019-09-25 math.AT math.KT
On the Passi and the Mal'cev functors
本文加强$\mathbf{gr}$上共变函子的结果,引入多项式函子塔范畴并用Mal'cev函子描述其投射生成元,证明其等价于Lie operad的PROP右模范畴,进而应用于双函子与Casimir PROP,恢复Habiro-Massuyeau范畴$\mathbf{A}$。
2023-09-14 math.AT
Witt vectors as a polynomial functor
对于每一个交换环$A$,都有一个$p$的函子交换环$W(A)$--$A$的典型Witt向量,它是$A$自身的迭代扩张。如果$A$不是可交换的,则从L. Hesselholt证明了$W(A)$只是一个交换群,而不是一个环,它是Hochschild同调群$HH_0(A)$自身的迭代扩张。很自然地,我们可以预期这种构造可以推广到更高的次数和任意的系数,这样就可以对域$k$上的结合代数$A$上的任何双模$M$定义“Hochschild-Witt同调”$WHH_*(A,M)$。此外,如果人们希望所得到的理论是arXiv:1308.3743意义上的迹理论,那么为$A=k$定义它就足够了。这就是我们在本文中所做的,对于一个正特征$p$的理想场$k$。也就是说,我们构造了一个序列的多项式函子$W_m$,$m \geq 1$从$k$ -向量空间到阿贝尔群,相关的限制映射,我们证明了它们的基本性质,如存在的Frobenius和Vernebung映射,我们表明,$W_m$是在arXiv:1308.3743意义下的迹函子。它的构造非常简单,只依赖于有限循环群的基本性质。
2017-10-12 math.AG math.AT math.KT