Title: The motivic lambda algebra and motivic Hopf invariant one problem

Abstract: We introduce the $F$-motivic lambda algebra for any field $F$ of characteristic not equal to $2$. This is an explicit differential graded algebra whose homology is the $E_2$-page of the $F$-motivic Adams spectral sequence. Using the $\mathbb{R}$-motivic lambda algebra, we compute the cohomology of the $\mathbb{R}$-motivic Steenrod algebra through filtration $3$. This is the algebraically universal case, yielding information about the cohomology of the $F$-motivic Steenrod algebra for any base field $F$.
We then study the $1$-line of the $F$-motivic Adams spectral sequence in detail. In particular, we produce differentials $d_2(h_{a+1}) = (h_0 + \rho h_1)h_a^2$ valid over any base field $F$, as well as the following computations in the $F$-motivic Adams spectral sequence for particular base fields $F$. For $F$ of the form $\mathbb{R}$, $\mathbb{F}_q$ with $q$ an odd prime-power, $\mathbb{Q}_p$ with $p$ any prime, or $\mathbb{Q}$, we determine the $1$-line of the $E_3$-page of the $F$-motivic Adams spectral sequence, as well as all higher differentials in stems $s\leq 7$; for $F = \mathbb{R}$, we determine all permanent cycles on the $1$-line; and for $F = \mathbb{F}_q$ or $F = \mathbb{Q}_p$ with $q,p\equiv 1\pmod{4}$, we determine all differentials out of the $1$-line.
These computations are stable motivic analogues of the classic Hopf invariant one problem. We also consider the unstable motivic analogue, showing that it reduces to known results with a finite number of exceptions. As an application, we classify which unstable motivic spheres may be represented by smooth schemes admitting a unital product.