On the Picard group of the stable \(\mathbb A^1\)-homotopy category (Q1771811)

In the paper the author considers the Picard group \(\text{Pic}({\mathcal S}{\mathcal H}(k))\) of the stable \({\mathbb A}^1\)-homotopy category for a field \(k,\) introduced by \textit{F. Morel} and \textit{V. Voevodsky} [Publ. Math., Inst. Hautes Étud. Sci 90, 45--143 (1999; Zbl 0983.14007)]. \(\text{Pic}({\mathcal S}{\mathcal H}(k))\) is the group of invertible objects with respect to smash product. As the structure of this group is unknown it is reasonable to construct some elements of \(\text{Pic}({\mathcal S}{\mathcal H}(k)).\) The author does this for a field \(k\) of characteristic not equal to \(2.\) Let \(S^1\) (resp. \(S^{\alpha}\) ) denote the simplicial circle (resp. twisted circle ). These objects are easily seen to be in \(\text{Pic}({\mathcal S}{\mathcal H}(k)).\) Let \(S^{{\alpha}_a}={\mathbb G}^{a}_m\) be the affine variety given by the equation \(x^2-ay^2=1\), where \(a\in {k^{\times}/(k^{\times})^2}.\) Let further \(L_a=k(\sqrt a)\) and \(S^{L_a}= {\widetilde {\text{Spec}(L_a)}}\) be the unreduced suspension of \(\text{Spec}(L_a).\) The author proves the following results: Proposition 1.1. For \(a\in k^{\times}\) not in \((k^{\times})^2\) there is a canonical isomorphism in \({\mathcal S}{\mathcal H}(k)\) \[ S^{{\alpha}_a}\wedge S^{L_a} \cong S^{1+{\alpha}}. \] Proposition 1.2. For \(a, b\in k^{\times}\), let \(Y_{(a,b)}\) denote the projective quadric defined by the homogeneous equation \(x^2 - ay^2=bz^2.\) Then the unreduced suspension \(\widetilde{Y_{(a,b)}}\) is invertible in \({\mathcal S}{\mathcal H}(k).\) \noindent For \(a_1,\dots ,a_n \in k^{\times}\), let \(<< a_1,\dots ,a_n >> = {\otimes}_{i=1}^n (x^2-a_{i}y^2)\) be the Pfister form and \(U_{(a_1,\dots ,a_n )}\) be the affine variety defined by the equation \(<< a_1,\dots ,a_{n-1}>>=a_n .\) The author states the following Conjecture. In \({\mathcal S}{\mathcal H}(k)\), for \(a_1,\dots ,a_n \in k^{\times},\) \[ U_{(a_1,\dots ,a_n,1)} \wedge {\tilde U}_{(a_1,\dots ,a_{n-1},a_n)}\cong {\Sigma}^{2^{n-1}(1+\alpha)}U_{(a_1,\dots ,a_{n-1},1)}. \] \noindent The case of \(n=1\) is the Proposition 1.1. The author proves also case \(n=2\) , under the assumption that \(k\) satisfies resolution of singularities in the sense of Hironaka (Prop.1.5) .