The sigma orientation is an H-infinity map

Matthew Ando, Michael J. Hopkins, Neil P. Strickland

英文摘要：

In "Elliptic spectra, the Witten genus, and the Theorem of the cube" (Invent. Math. 146 (2001)), the authors constructed a natural map from the Thom spectrum MU<6> to any elliptic spectrum, called the "sigma orientation". MU<6> is an H-infinity ring spectrum, and in this paper we show that if E is a K(2)-local H-infinity elliptic spectrum, then the sigma orientation is a map of H-infinity spectra.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

The sigma orientation for analytic circle-equivariant elliptic cohomology

We construct a canonical Thom isomorphism in Grojnowski's equivariant elliptic cohomology, for virtual T-oriented T-equivariant spin bundles with vanishing Borel-equivariant second Chern class, which is natural under pull-back of vector bundles and exponential under Whitney sum. It extends in the complex-analytic case the non-equivariant sigma orientation of Hopkins, Strickland, and the author. The construction relates the sigma orientation to the representation theory of loop groups and Looijenga's weighted projective space, and sheds light even on the non-equivariant case. Rigidity theorems …

2003-03-09math.AT

Orientations and Topological Modular Forms with Level Structure

Using the methods of Ando-Hopkins-Rezk, we describe the characteristic series arising from E-infinity genera valued in topological modular forms with level structure. We give examples of such series for tmf_0(N) and show that the Ochanine genus comes from an E-infinity ring map. We also show that, away from 6, certain tmf orientations of String cobordism descend to orientations of Spin cobordism.

2015-07-17math.AT

Discrete torsion for the supersingular orbifold sigma genus

The first purpose of this paper is to examine the relationship between equivariant elliptic genera and orbifold elliptic genera. We apply the character theory of Hopkins et. al. to the Borel-equivariant genus associated to the sigma orientation of Ando-Hopkins-Strickland to define an orbifold genus for certain total quotient orbifolds and supersingular elliptic curves. We show that our orbifold genus is given by the same sort of formula as the orbifold ``two-variable'' genus of Dijkgraaf et al. In the case of a finite cyclic orbifold group, we use the characteristic series for the two-variable…

2003-08-07math.AT

The Jacobi orientation and the two-variable elliptic genus

We explain the relationship between the sigma orientation and Witten genus on the one hand and the two-variable elliptic genus on the other. We show that if E is an elliptic spectrum, then the Theorem of the Cube implies the existence of canonical SU-orientation of the associated spectrum of Jacobi forms. In the case of the elliptic spectrum associated to the Tate curve, this gives the two-variable elliptic genus. We also show that the two-variable genus arises as an instance of the circle-equivariant sigma orientation.

2007-11-08math.AGmath.AT

Circle-equivariant classifying spaces and the rational equivariant sigma genus

The circle-equivariant spectrum MString_C is the equivariant analogue of the cobordism spectrum MU<6> of stably almost complex manifolds with c_1=c_2=0. Given a rational elliptic curve C, the second author has defined a ring T-spectrum EC representing the associated T-equivariant elliptic cohomology. The core of the present paper is the construction, when C is a complex elliptic curve, of a map of ring T-spectra MString_C --> EC which is the rational equivariant analogue of the sigma orientation of Ando-Hopkins-Strickland. We support this by a theory of characteristic classes for calculation, …

2010-07-22math.AT

穿孔管状邻域与无穷远处的稳定同伦

Punctured tubular neighborhoods and stable homotopy at infinity

本文增加了∞-范畴余极限综述、穿孔管状邻域显式模型框架及定向类新理论，重新表述主定理并展示如何生成通过基域Grothendieck-Witt环上Smith形式计算的二次Mumford矩阵。

2025-09-16math.AGmath.AT

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

Strictly commutative realizations of diagrams over the Steenrod algebra and topological modular forms at the prime 2

Previous work constructed a generalized truncated Brown-Peterson spectrum of chromatic height 2 at the prime 2 as an E_infinity-ring spectrum, based on the study of elliptic curves with level-3 structure. We show that the natural map forgetting this level structure induces an E_infinity-ring map from the spectrum of topological modular forms to this truncated Brown-Peterson spectrum, and that this orientation fits into a diagram of E_infinity-ring spectra lifting a classical diagram of modules over the mod-2 Steenrod algebra. In an appendix we document how to organize Morava's forms of K-theor…

2013-01-15math.AT

Units of ring spectra and Thom spectra

We review and extend the theory of Thom spectra and the associated obstruction theory for orientations. We recall (from May, Quinn, and Ray) that a commutative ring spectrum A has a spectrum of units gl(A). To a map of spectra f: b -> bgl(A), we associate a commutative A-algebra Thom spectrum Mf, which admits a commutative A-algebra map to R if and only if b -> bgl(A) -> bgl(R) is null. If A is an associative ring spectrum, then to a map of spaces f: B -> BGL(A) we associate an A-module Thom spectrum Mf, which admits an R-orientation if and only if B -> BGL(A) -> BGL(R) is null. We also note t…

2009-11-08math.AT

An $\infty$-categorical approach to $R$-line bundles, $R$-module Thom spectra, and twisted $R$-homology

We develop a generalization of the theory of Thom spectra using the language of infinity categories. This treatment exposes the conceptual underpinnings of the Thom spectrum functor: we use a new model of parametrized spectra, and our definition is motivated by the geometric definition of Thom spectra of May-Sigurdsson. For an associative ring spectrum $R$, we associate a Thom spectrum to a map of infinity categories from the infinity groupoid of a space $X$ to the infinity category of free rank one $R$-modules, which we show is a model for $BGL_1 R$; we show that $BGL_1 R$ classifies homotopy…

2014-03-18math.AT