首页/论文/0912.0839

arXiv 0912.08392009-12-04math.AT

关于Singer函子R_1和Fix函子

On the Singer functor R_1 and the functor Fix

Geoffrey Powell

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

利用Lannes的T-函子构造了Steenrod代数A上不稳定模范畴U上的Singer函子R_1。这就直接证明了复合函子Fix R_1与恒等式自然等价。进一步推导了函子R_1的性质，特别是当应用于约化和零闭不稳定模时。

英文摘要：

Lannes' T-functor is used to give a construction of the Singer functor R_1 on the category U of unstable modules over the Steenrod algebra A. This leads to a direct proof that the composite functor Fix R_1 is naturally equivalent to the identity. Further properties of the functors R_1 are deduced, especially when applied to reduced and nilclosed unstable modules.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

代数无限去环与导出失稳

Algebraic infinite delooping and derived destabilization

在特征为2的素域上，研究了Steenrod代数与大Dyer-Lashof代数之间的Koszul对偶性的结果，着重讨论了Steenrod代数作用的不稳定性与Dyer-Lashof运算的不稳定性之间的相互影响.中心代数框架是Steenrod代数上的长度-分次模范畴，它具有Dyer-Lashof代数的不稳定作用，通过Nishida关系具有相容性。第一个成分是一个函子定义的模块上的Steenrod代数，出现在工作的库恩和麦卡蒂的同源性无限闭路空间。这个函子是根据从Steenrod代数上的模范畴到不稳定模的不稳定化的导出函子给出的，通过考虑Dyer-Lashof操作的作用而丰富。第二个成分是Steenrod代数上的Dyer-Lashof不可分解函子到长度-分次模的导出函子。这些都涉及函子使用米勒在他的研究一个谱序列计算同源性的无限delooping。一个重要的事实是，这些函子可以计算为显式Koszul复形的同调，其中的项表示为某些Steinberg函子。后者是二次对偶更熟悉的辛格函子。通过利用明确的复形从辛格函子计算导出函子的不稳定，Koszul对偶导致代数无限delooping谱序列。这在概念上类似于米勒的谱序列，但似乎没有直接的关系。谱序列揭示了Steenrod代数上不稳定模与所有模之间的关系。

2017-05-11math.AT

分类空间上的同伦幂等函子

Homotopy idempotent functors on classifying spaces

修复主$p$。由于同伦函子$P_{B\Z/p}$和$CW_{B\Z/p}$是在局部化理论的背景下定义的，它们已经被证明是理解和描述空间的模$p$结构的强大工具。本文研究了这类函子对一大类空间的作用，这类空间包括紧李群及其同伦类似物的分类空间。此外，我们调查他们的关系，在这种情况下与其他相关的函子在分析的mod $p$同伦，如Bousfield Kan完成和Bousfield同调本地化。

2012-10-29math.AT

Gysin函子与Grothendieck-Witt范畴，第I部分

Gysin functors and the Grothendieck-Witt category, Part I

定义了固定基环上的Grothendieck-Witt范畴。为了研究这一范畴的结构，我们介绍了Gysin函子的一般理论及其对应范畴。后者推广了有限群上的Burnside范畴的构造。我们证明了各种结果的结构，这些对应类别，我们证明了一个“识别定理”松散地说，这些对应类别自然出现的情况下，一个既有对称monoidal结构和转让。回到Grothendieck-Witt范畴，给出了几个例子。

2016-02-01math.AT

链复形函子的无基演算

Unbased calculus for functors to chain complexes

最近，同伦函子的Johnson-McCarthy离散演算被扩展到包括从无基单纯模型范畴到谱的函子。本文完成了在固定交换环上从无基单纯模型范畴到链复形的函子存在一个离散微积分塔所需的构造。许多构造函子到谱的泰勒塔的工作都延续到了这一背景。然而，构造的一个基本步骤需要证明一个特定的函子是一个余三元组的一部分。为此，我们需要证明某些包含同伦极限的恒等式能够保持同构，而不仅仅是弱等价。由于链复形的目标范畴不是单纯模型范畴，所以对于链复形，函子对谱的自变量需要进行调整。本文利用迭代纤维可以构造一个显式模型的特点，直接证明了函子是余三元组。我们使用相关的想法，以提供具体的无限deloopings的第一项在所产生的泰勒塔时，评估在源类别中的始对象。

2014-09-05math.AT

等变同伦理论中的模固定点

Modular fixed points in equivariant homotopy theory

Warwick Mathematics Institute（华威数学研究所）

研究等变同伦理论中置换模相关范畴，通过特定方法定义模固定点函子，将其与已有函子等同，应用此结果得出p-群模范畴皮卡群由满足特定条件的类函数群给出。

2026-07-17math.ATmath.RT

层次范畴、几何不动点和一个推广的Arone-Ching定理

Stratified categories, geometric fixed points and a generalized Arone-Ching theorem

本文发展了外轨范畴上的Mackey函子理论，它同时推广了有限群$G$的真$G$ -谱理论和谱范畴上的$n$ -消去函子理论.利用一个新的稳定$\infty$ -范畴沿有限偏序集的分层理论，我们证明了两个重构定理的同时推广：一个是Abram和Kriz关于从交换$G$的几何不动点谱上的结构恢复$G$ -谱的定理，另一个是Arone和Ching关于从其导数上的结构恢复$n$ -消去函子的定理.本文导出了$K(n)$ -局部$G$ -谱的强Tom Dieck分裂定理，并改进了Kuhn关于Taylor塔的$K(n)$ -局部分裂的一个定理.

2017-11-20math.ATmath.CT

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

多项式函子的Tate上同调与周期局部化

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-11math.AT

有限群的有理G-层与有理G-Mackey函子的等价性

The equivalence between rational G-sheaves and rational G-Mackey functors for profinite G

对于投射有限群G，我们构造了有理G-Mackey函子与G的闭子群空间上的G-层的某个满子范畴（称为Weyl-G-层）之间的等价关系.这个子范畴由那些在子群K上的茎是K-固定的层组成。这将Thévenaz和Webb，Greenlees和May的有限G的有理G-Mackey函子的分类扩展到一类新的例子。此外，正如第二作者的论文中所给出的那样，这种等价性对于确定G的有理G-谱的分类很有帮助。

2022-04-27math.ATmath.RT

适用于单纯复形的流形演算

Manifold calculus adapted for simplicial complexes

我们开发了一个推广的流形微积分的意义上的Goodwillie-Weiss的流形是由一个单纯复形。我们考虑函子从一个固定的单纯复形的开子集范畴到拓扑空间范畴，并证明了一个类似的逼近定理。也就是说，在某些条件下，这样的函子可以近似为塔（适当适应）多项式函子。

2017-11-20math.ATmath.GT

导出Mackey函子

Derived Mackey functors

对于有限群$G$，所谓的$G$-Mackey函子形成了一个阿贝尔范畴$M(G)$，它在研究$G$ -等变稳定同伦中有许多应用.人们会期望导出的范畴$D(M(G))$与$G$ -等变稳定同伦范畴的“同调”对应物同样重要。事实并非如此-- $D(M(G))$在很多方面都是病态的。我们提出并研究了$D(M(G))$的一个替代品，一个包含$M(G)$但不同于$D(M(G))$的“派生Mackey函子”的三角范畴$DM(G)$。我们证明了$G$ -等变稳定同伦范畴的标准特征，如两种类型的不动点函子与范畴$DM(G)$有精确的类似物。

2010-03-16math.ATmath.KT

同伦代数中的Eilenberg-Watts定理

The Eilenberg-Watts theorem in homotopical algebra

本文的目的是证明同伦理论的标准范畴，如拓扑空间，单纯集，阿贝尔群的链复形，以及任何一种好的谱模型，都是同伦自包含的。这个陈述的左半部分实质上意味着，任何看起来可能是与固定对象的张量积（或积，或smash积）的函子，实际上是这样一个张量积，直到同伦。右半部分说的是任何看起来像是可以从一个固定的对象中自由移动的函子，都是如此，直到同伦。更精确地说，假设我们有一个闭对称幺半范畴范畴（分别是）。Quillen模型范畴）M.则将A带到A张量B的函子T_{B}是M-函子和左伴随。如果B是E-E '-双模也是如此，其中E和E'是M中的幺半群，并且T_{B}取E-模A到A张量，其中B在E上。定义一个闭对称幺半范畴（分别为模型类别）保持独立（分别同伦左自包含）如果每个从E-模到E '-模的函子F是M-函子且是左伴随（分别是和左Quillen函子）是自然同构的（分别为）。自然弱等价）到T_{B}。代数中经典的艾伦伯格-瓦茨定理只是说阿贝尔群的范畴是左自包含的，所以我们推广了这个定理。

2009-10-21math.ATmath.CT

导Mackey函子与$C_{p^n}$ -等变上同调

Derived Mackey functors and $C_{p^n}$-equivariant cohomology

建立了一种计算有限群$G$的$G$ -等变上同调的新方法，并在$G = C_{p^n}$ .对任意交换环谱$R$，证明了一个关于真$G$ - $R$ -模的对称monoidal重构定理，该定理用它们的几何不动点以及包含它们的Tate上同调的胶合映射来记录它们.这个重建定理遵循从对称monoidal分层（在\cite{AMR-strat}的意义上），在这里，我们确定胶合函子的分层泰特上同调。从真正的$G$ -光谱传递到真正的$G$ - $\mathbb{Z}$ -模块（也称为导出的Mackey函子）为计算等变上同调提供了一个方便的中间范畴。实际上，由于$\mathbb{Z}$ -线性Tate上同调比$\mathbb{S}$ -线性Tate上同调简单得多，上述重构定理给出了真正的$G$ - $\mathbb{Z}$ -模的特别简单的代数描述。我们应用这一情况下，$G = C_{p^n}$的一个奇素数$p$，计算皮卡群真正的$G$ - $\mathbb{Z}$ -模块（因此，真正的$G$ -谱）以及$RO(G)$ -分级和皮卡分级$G$ -等变上同调的一个点。

2023-03-30math.ATmath.GR

Bott-Samelson簇的分类

Categories of Bott-Samelson varieties

我们考虑具有极大环面$T$的固定连通半单复代数群的所有Bott-Samelson簇${\rm BS}(s)$作为某个范畴的对象类。这个范畴的态射类是规范态射类（插入中性元）${\rm BS}(s)\hookrightarrow{\rm BS}(s')$的扩展，其中$s$是$s'$的子序列。新范畴的每一个态射在$T$ -不动点之间导出一个映射，但不一定在整个变种之间导出。从这个新范畴到分次$H^\bullet_T({\rm pt})$ -模范畴构造了一个反变函子，它与通常的取$T$ -等变上同调的函子$H_T^\bullet$重合.我们还讨论了如何从一个更小的子范畴定义一个函子到$T$ -空间范畴的问题。确切的答案是得到的群体的根系简单地花边不可约的组成部分，明确构建态射之间的Bott-Samelson品种（不同于典型的）。

2017-08-11math.AGmath.ATmath.CT

导出的Mackey函子的谱

The spectrum of derived Mackey functors

我们计算了所有有限群的导出Mackey函子范畴（在Kaledin意义下）的谱。我们发现，这个空间准确地捕捉到了等变稳定同伦范畴的谱的顶层和底层（即高度无穷大和高度零部分）。由于这种截断的色信息，我们能够获得一个完整的描述的频谱的所有有限群，尽管我们不完整的知识的拓扑结构的谱的等变稳定同伦范畴。从另一个角度，我们证明了导出的Mackey函子的谱可以理解为Burnside环的谱通过对闭点进行“ungluing”而得到的空间。为了计算谱，我们提供了一个新的描述Kaledin的范畴，导出范畴的等变环谱，这可能是独立的兴趣。事实上，我们澄清了几个不同的类别之间的关系，建立对称monoidal等价和卡列丁，光谱麦基函子的巴维克，普通的导出范畴的麦基函子，并在某些等变环谱的模块类别之间的建设比较。我们还说明了一个有趣的功能，普通的导出范畴的麦基函子，区别于其他等变范畴有关的行为，其几何不动点。

2021-05-13math.AGmath.ATmath.CT

阶化-坦纳基动机范畴

Graded-Tannakian categories of motives

给定一个刚性张量三角范畴和一个向量空间值同调函子，且Künneth同构成立，我们构造了一个泛分次Tannakian范畴，给定的同调函子通过它分解.我们用这个（无条件）构建分级Tannakian类别的纯动机相关的一个固定的Weil上同调理论，与纤维函子实现给定的上同调理论。对于$\ell$ -adic上同调和有限域上代数的基域，这个范畴是Tannakian的.在这种情况下，我们得到特别motivic伽罗瓦群自然作用于$\ell$ -adic上同调，而不假设任何标准的代数。我们表明，这些分次Tannakian范畴是等价的Grothendieck的范畴的纯动机，如果标准猜想D成立。

2020-01-23math.AGmath.ATmath.CT