Table of Contents
Fetching ...

Tate-valued Characteristic Classes II: Applications

Shachar Carmeli, Kiran Luecke

TL;DR

This work builds a general sharp construction to realize $\mathrm{MU}$-based $\mathbb{E}_\infty$ maps into Tate fixed-point objects, yielding explicit Frobenius formulas and cyclotomic lifts. It develops an obstruction theory for $\mathbb{E}_n$ complex orientations, obtaining concrete nonexistence results at small primes and clarifying the rigidity of $\mathrm{MU}$ as a cyclotomic base. The results unify representations, Todd-type coordinates, and Tate theories to constrain possible orientations, and extend to applications such as height restrictions, Steenrod-type operations on $\mathrm{MU}$, and computational tools. The framework provides a computational pathway to analyze orientation problems across chromatic heights and shows that Frobenius lifts and cyclotomic structures impose strong structural constraints on $\mathrm{MU}$-based oriented rings.

Abstract

We present a construction that manufactures $\E_\infty$ orientations of Tate fixed-point objects together with useful formulas for these maps, and then give a number of applications. For example, we produce a formula for the Frobenius homomorphisms of Thom spectra such as $\MU$ as well as certain lifts of Frobenius. We prove a rigidity property of $\MU$ as a \emph{cyclotomic} object. We construct a general obstruction theory for $\E_n$ complex orientations and establish various non-existence results for $p$-typical $\E_n$ orientations for low values of $p$ and $n$. We end with some miscellaneous further applications.

Tate-valued Characteristic Classes II: Applications

TL;DR

This work builds a general sharp construction to realize -based maps into Tate fixed-point objects, yielding explicit Frobenius formulas and cyclotomic lifts. It develops an obstruction theory for complex orientations, obtaining concrete nonexistence results at small primes and clarifying the rigidity of as a cyclotomic base. The results unify representations, Todd-type coordinates, and Tate theories to constrain possible orientations, and extend to applications such as height restrictions, Steenrod-type operations on , and computational tools. The framework provides a computational pathway to analyze orientation problems across chromatic heights and shows that Frobenius lifts and cyclotomic structures impose strong structural constraints on -based oriented rings.

Abstract

We present a construction that manufactures orientations of Tate fixed-point objects together with useful formulas for these maps, and then give a number of applications. For example, we produce a formula for the Frobenius homomorphisms of Thom spectra such as as well as certain lifts of Frobenius. We prove a rigidity property of as a \emph{cyclotomic} object. We construct a general obstruction theory for complex orientations and establish various non-existence results for -typical orientations for low values of and . We end with some miscellaneous further applications.

Paper Structure

This paper contains 14 sections, 26 theorems, 94 equations.

Key Result

Theorem 1

(Frob_is_sharp) Let $\rho$ be the complex regular representation of $C_p$. Let $\mathrm{id}$ be the identity map of $\mathrm{MU}$. Then the map gotten by sharp_construction is homotopic to the Frobenius as an $\mathbb{E}_\infty$ ring map.

Theorems & Definitions (68)

  • Theorem 1
  • Corollary 1.1
  • Remark 1.2
  • Corollary 1.3
  • Theorem 2
  • Theorem 3
  • Definition 2.1
  • Definition 2.2
  • Lemma 2.3
  • proof
  • ...and 58 more