首页/论文/1507.08115

arXiv 1507.081152015-07math.AT

$C_2$ -谱$Tmf_1(3)$及其可逆模

The $C_2$-spectrum $Tmf_1(3)$ and its invertible modules

Michael A. Hill, Lennart Meier

备注：: Final version to appear in AGT. 51 pages
发表信息：: Algebr. Geom. Topol. 17 (2017) 1953-2011
DOI：: 10.2140/agt.2017.17.1953

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们研究了$C_2$等变谱$Tmf_1(3)$和$TMF_1(3)$ .特别地，我们计算了它们的$C_2$ -等变Picard群和$Tmf_1(3)$的$C_2$ -等变Anderson对偶.这意味着不动点光谱$TMF_0(3)$和$Tmf_0(3)$的相应结果。进一步证明了一个实Landweber正合函子定理。

英文摘要：

We explore the $C_2$-equivariant spectra $Tmf_1(3)$ and $TMF_1(3)$. In particular, we compute their $C_2$-equivariant Picard groups and the $C_2$-equivariant Anderson dual of $Tmf_1(3)$. This implies corresponding results for the fixed point spectra $TMF_0(3)$ and $Tmf_0(3)$. Furthermore, we prove a Real Landweber exact functor theorem.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

在频谱$b{\rm o} \wedge tmf$上

On the spectrum $b{\rm o} \wedge tmf$

M. Mahowald，在他的工作$b{\rm o}$ -决议，构建了一个$b{\rm o}$ -模块分裂的频谱$b{\rm o} \wedge b{\rm o}$到楔形的被加数有关的积分布朗-Gitler频谱。本文构造了$b{\rm o} \sm tmf$的一个类似分裂。然后使用此拆分来理解$b{\rm o}_* tmf$的$b{\rm o}_*$ -代数结构，并允许描述$b{\rm o}^* tmf$。

2009-03-01math.AT

拓扑模形式的Picard群的下降理论

The Picard group of topological modular forms via descent theory

本文首先阐述了研究$\mathbf{E}_{\infty}$ -环谱的Picard群的下降理论方法，从而引出了Picard谱的研究。然后，我们开发的工具，从而获得的皮卡德光谱的相关下降谱序列中的差异的有效和明确的确定。作为一个主要应用，我们计算了拓扑模形式周期谱$TMF$和非周期非连通$Tmf$的Picard群.我们发现，$\mathrm{Pic} (TMF)$是循环的顺序576，产生的悬浮$ΣTMF $（结果最初由于霍普金斯），而$\mathrm{Pic}(Tmf) = \mathbb{Z}\oplus \mathbb{Z}/24$。特别地，我们证明了存在一个可逆的$Tmf$ -模，它不等价于$Tmf$的一个悬置.

2015-12-08math.ATmath.CT

关于 $A_1$ 的 tmf-Hurewicz 像

On the tmf-Hurewicz image of $A_1$

本文研究了有限谱 $A_1$ 的 tmf-Hurewicz 像，证明了其 tmf-Hurewicz 映射是满射。

2019-12-14math.AT

真正的 $C_n$-等变 $\nathrm{TMF}$

Genuine $C_n$-equivariant $\mathrm{TMF}$

本文确定了 $C_2$ 和 $C_3$ 等变拓扑模形式的模结构，并提出通过 $U(1)$ 等变和对偶现象研究一般 $C_n$ 等变情况的策略。

2025-10-27hep-thmath.AT

通过拓扑模形式构造(3+1)维TQFT的新方法

A new approach to (3+1)-dimensional TQFTs via topological modular forms

本文提出一种位于低维拓扑与同伦论等交叉点的新型(3+1)维TQFT构造，通过导出代数几何定义TMF-模并赋予流形，推广了格的theta函数，并展示了其在区分量子场论相态等物理问题中的应用。

2025-09-15hep-thmath.ATmath.GT

tmf不是弦边数的环谱商

tmf Is Not a Ring Spectrum Quotient of String Bordism

本文证明了$\mathrm{tmf}[1/6]$不是$\mathrm{MO}\langle8\rangle[1/6]$的环谱商。事实上，对于任何素数$p>3$和$π_*\mathrm{MO}\langle8\rangle$的齐次元素的任何序列$X$，$π_*\mathrm{MO}\langle8\rangle$ -模$$π_*\big(\mathrm{MO}\langle8\rangle_{(p)}/X\big)$$不（甚至抽象地）同构于$π_*\mathrm{tmf}_{(p)}$。它通过表明，对于任何可交换环谱$R$和$π_*(R)$的齐次元素的任何序列$X$，存在分次$\mathbf{Q}$ -向量空间的同构$$π_*(R/X)\otimes\mathbf{Q} \cong \mathrm{H}_*(\mathrm{Tot}(\mathrm{K}(X)))\otimes\mathbf{Q},$$，其中右侧是$X$的（总）Koszul复形的有理同调，它严格大于$π_*(R)/(X)\otimes\mathbf{Q}$，除非$X$是$π_*(R)\otimes\mathbf{Q}$ -准正则序列。然后从$p$ -局部Witten亏格的核不能由一个$π_*\mathrm{MO}\langle8\rangle\otimes\mathbf{Q}$ -拟正则序列生成这一事实得出该结果.

2017-06-30math.AT

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

$C_2$ -等变拓扑模形式

$C_2$-equivariant topological modular forms

利用下降谱序列计算了等变拓扑模形式在素数$2$上的$C_2$不动点的同伦群.然后我们证明了作为一个$\mathrm{TMF}$ -模，它同构于$\mathrm{TMF}$与一个显式有限胞腔复形的张量积。

2022-04-01math.AT

典范扭链接配对与闭合3维流形的显式TMF状态空间

Canonical torsion linking pairings and explicit TMF state spaces of closed 3-manifolds

Tsinghua University（清华大学）

本文研究了闭合3维流形的TMF值TQFT，通过扭链接配对的典范不变量包，给出了TMF-模块状态空间的显式模型，并建立了时间反演对偶性。

2026-02-13math.ATmath.GTmath.QA

可逆$K(2)$ -局部$E$ -Spectra中的模块

Invertible $K(2)$-Local $E$-Modules in $C_4$-Spectra

我们计算皮卡德组的类别的$K(2)$ -本地模块频谱的环频谱$E^{hC_4}$，其中$E$是高度2摩拉瓦$E$ -理论和$C_4$是一个子群的相关摩拉瓦稳定剂组。这个群可以用真正的$C_4$ -谱中的$K(2)$ -局部$E$ -模的Picard群来识别。我们发现，除了循环子群的顺序32所产生的$ E\wedge S^1$的皮卡德组包含一个子群的顺序2所产生的$E\wedge S^{7+σ}$，其中$σ$是符号表示的组$C_4$。在这个过程中，我们完全计算了$C_4$ -谱$E$的$RO(C_4)$ -分次Mackey函子同伦不动点谱序列。

2021-01-28math.AT

motivic与Real配边中的同调切片谱序列

The homological slice spectral sequence in motivic and Real bordism

本文在motivic与Real配边中引入收敛于全局截面谱模2同调的切片谱序列，完整计算了$m\le 3$情形，并导出了预测的Wood型分裂。

2023-04-04math.AT

一类环谱上模的厚子范畴定理

A thick subcategory theorem for modules over certain ring spectra

我们分类厚子范畴的$\infty$ -范畴的完美模环谱上出现的功能，甚至定期派生堆栈满足仿射性和正则性条件。例如，我们证明了$\mathrm{TMF}$上完全模的厚子范畴与特殊化闭的椭圆曲线的模栈的底层空间的子集是自然双射的.

2014-11-22math.ATmath.CT

具有剩余域的交换$\mathbb{S}$ -代数的可逆模

Invertible modules for commutative $\mathbb{S}$-algebras with residue fields

本文通过取同伦群，研究交换S-代数上Elmendorf，Kriz，Mandell和May意义下的可逆模在什么条件下产生系数环上可逆分次模的代数Picard群中的元素.若连通交换S-代数R对R * 中的每个极大理想m都有凝聚局部化（R *）m，则对每个可逆R-模U，U * 是可逆分次R *-模.在某些非连通的情形下，如果R_* 的整体维数很小，或者R是2-周期的，其下有Noether完备局部正则环R_0，则在交换S-代数对R_* 中的所有极大理想m都有“剩余域”的条件下，我们可以推广这个结果.

2005-02-09math.ACmath.AT

等变同伦理论中的Picard群通过稳定模范畴

The Picard group in equivariant homotopy theory via stable module categories

我们开发了一种机制“各向同性分离紧凑的对象”，明确地描述了一个可逆的$G$ -频谱通过其收集的几何不动点和胶合数据位于某些变种的稳定模块类别。作为应用，我们对$G=A_5$情形的可逆G-谱进行了完整的分析.进一步的应用是通过证明$\mathrm{Sp}^G$的Picard群和一类导出的Mackey函子是一致的.

2020-08-12math.AT

有限型的可逆谱

Invertible spectra of finite type

本文给出了当$K(2)$ -局部范畴的Picard群中的元$X$为有限型时的充要数值条件，即：$π_kX$是作为所有$k \in \mathbb{Z}$的$\mathbb{Z}_p$模块自动生成的。

2021-10-15math.AT

关于素数为3且色数为2的Hopkins Picard群

On Hopkins' Picard groups for the prime 3 and chromatic level 2

本文给出了K（2）-局部可逆谱和E（2）-局部可逆谱的Picard群的一个计算，它们都是素数3。本文的主要贡献是计算了具有相同Morava模的可逆谱的子群。

2014-05-07math.AT

四元数群的Endotrivial模与色散同伦论中的迭代Joker

Endotrivial modules for the quaternion group and iterated Jokers in chromatic homotopy theory

本文证明在高度2的色散背景下，双重Joker的Morava K-理论实现了8阶四元数群上的一个仅存在于含本原立方根的特征2域中的例外endotrivial模。

2024-11-19math.AT

稳定模型分类

Classification of stable model categories

一个稳定的模型范畴是同伦理论的一个设定，其中悬挂函子是可逆的。典型的例子是稳定同伦理论意义下的谱范畴和环上模的无界链复形范畴。在本文中，我们开发的方法来决定当两个稳定的模型类别代表“相同的同伦理论”。我们表明，稳定的模型范畴与一个单一的紧凑的发电机是等价的模块在一个环谱。更一般地，具有一组生成元的稳定模型范畴被表征为“具有多个对象的环谱”上的模块，即，作为谱值图类别。我们还证明了一个森田定理，它表明如何在环谱上的模范畴之间的等价可以实现粉碎与一对双模。最后，我们刻画了表示环的导出范畴的稳定模型范畴。这是一个轻微的推广里卡德的工作派生等价环。我们还包括一个证明的模型范畴等价的模上的Eilenberg-MacLane谱HR和（无界）链复形的R-模的环R。

2001-08-21math.AT

比较 tempered 和等变椭圆上同调

Comparing tempered and equivariant elliptic cohomology

本文利用导出代数几何构造了 Lurie 与 Gepner–Meier 分别定义的 tempered 上同调与等变椭圆上同调重叠区域的自然等价，并将其应用于证明特定紧李群对应的等变拓扑模形式 G-不动点的可对偶性。

2026-08-04math.AGmath.ATmath.KT

Gross-Hopkins对偶与Gorenstein条件

Gross-Hopkins duality and the Gorenstein condition

Gross和Hopkins证明了在色稳定同伦中，Spanier-Whitehead对偶与Brown-Comenetz对偶几乎重合。我们的目标是在[代数和拓扑中的对偶性，Adv.Math.200（2006），357- 402]的意义下，根据环谱映射的Gorenstein条件，对这一现象给出概念性解释。arXiv：math.AT/0510247 ]。我们描述了环谱映射的Brown-Comenetz对偶模的一般概念，并证明了在这种情况下，这种对偶模对应于可逆K（n）-局部谱。

2010-08-28math.ACmath.AT

高维边界链理论中的Blanchfield和Seifert代数I：代数K理论

Blanchfield and Seifert algebra in high-dimensional boundary link theory I: Algebraic K-theory

高维mu-分量边界链的分类激发了群环A[F_mu]的代数K-群和非交换Cohn局部化Sigma^{-1}A[F_mu]的分解定理，对于任意mu>0和任意环A，其中F_mu是mu生成元上的自由群，Sigma是A[F_mu]上的矩阵集合，在A[F_mu]到A的增广下，它们在A上可逆。Blanchfield A[F_mu]-模和Seifert A-模是边界链环的外点和Seifert曲面的抽象代数模拟。利用A[F_mu]-模链复形的代数横截性，建立了Blanchfield模和Seifert模的代数K-群的长正合序列，得到了K_*（A[F_mu]）和K_*（Sigma^{-1}A[F_mu]）在Sigma^{-1}A[F_mu]上稳定平坦条件下的分解.

2009-03-02math.ATmath.GT