Table of Contents
Fetching ...

Motivic Toda brackets II

Xiaowen Dong

TL;DR

The paper addresses constructing unstable motivic Toda brackets over $\mathrm{Spec}\mathbb{Z}$ using the first two Hopf maps $\eta$ and $\nu$ in the unstable regime. It employs join/cone techniques, explicit diagram-chasing, and a geometric realization functor to prove unstable null-Hopf relations, enabling the definition of Toda brackets $\{\eta_{3+(2)}, \nu_{3+(3)}, \eta_{4+(5)}\}$, $\{\nu_{3+(3)}, \eta_{4+(5)}, \nu_{4+(6)}\}$, and $\{\eta_{3+(2)}, (1-\epsilon)_{3+(3)}, \nu_{3+(3)}\circ \nu_{4+(5)}\}$, with key relations such as $1_{1+(2)}+\eta_{1+(2)}\circ \Delta_{1+(3)}=-\epsilon_{1+(2)}$ and $\eta_{3+(2)}\circ \nu_{3+(3)}=0$, $\nu_{3+(3)}\circ \eta_{4+(5)}=0$. The complex realization of these brackets maps to nontrivial topological Toda brackets, confirming their nontriviality and connecting unstable motivic phenomena to classical topology. Together, these results identify the smallest nontrivial unstable bidegrees and expand the toolkit for higher-order unstable operations in motivic homotopy theory.

Abstract

We construct more non-trivial examples for Toda brackets in unstable motivic homotopy theory via the first and second motivic Hopf maps.

Motivic Toda brackets II

TL;DR

The paper addresses constructing unstable motivic Toda brackets over using the first two Hopf maps and in the unstable regime. It employs join/cone techniques, explicit diagram-chasing, and a geometric realization functor to prove unstable null-Hopf relations, enabling the definition of Toda brackets , , and , with key relations such as and , . The complex realization of these brackets maps to nontrivial topological Toda brackets, confirming their nontriviality and connecting unstable motivic phenomena to classical topology. Together, these results identify the smallest nontrivial unstable bidegrees and expand the toolkit for higher-order unstable operations in motivic homotopy theory.

Abstract

We construct more non-trivial examples for Toda brackets in unstable motivic homotopy theory via the first and second motivic Hopf maps.

Paper Structure

This paper contains 3 sections, 17 theorems, 28 equations.

Key Result

Lemma 2.1

In $\mathcal{H}_{\bullet}(\mathbb{Z})$ the permutation $\mathbb{P}^1\wedge \mathbb{P}^1\cong \mathbb{P}^1\wedge \mathbb{P}^1$ corresponds to $-\epsilon_{1+(1)}\wedge \mathrm{id}_{1+(1)}$ if we identify $\mathbb{P}^1$ with $S^1\wedge \mathbb{G}_{m}$ via the isomorphism given in levine2010slices.

Theorems & Definitions (32)

  • Lemma 2.1: cf. morelintro
  • proof
  • Corollary 2.2
  • Corollary 2.3
  • proof
  • Corollary 2.4
  • Lemma 2.5: cf. motihopf
  • proof
  • Proposition 2.6
  • proof
  • ...and 22 more