--- abstract: 'In this article we study the subgroup of the Picard group of Voevodsky's category of geometric motives ${{\operatorname{DM}}_{gm}(k;{{\Bbb Z}}/2)}$ generated by the reduced motives of affine quadrics. Our main tools here are the functors of Bachmann - @BQ, but we also provide an alternative method. We show that the group in question can be described in terms of indecomposable direct summands in the motives of projective quadrics over $k$. In particular, we describe all the relations among the reduced motives of affine quadrics. We also extend the Criterion of motivic equivalence of projective quadrics.' author: - 'Alexander Vishik[^1]' title: Affine quadrics and the Picard group of the motivic category --- xy =15.5cm \[1\]<span><span>*\#1*</span>:</span> \[section\]<span>****</span><span>**</span> \[prop\]<span>Theorem</span><span>****</span><span>**</span> \[prop\]<span>Lemma</span><span>****</span><span>**</span> \[prop\]<span>Sublemma</span><span>****</span><span>**</span> \[prop\]<span>Definition</span><span>****</span><span>**</span> \[prop\]<span>Conjecture</span><span>****</span><span>**</span> \[prop\]<span>Observation</span><span>****</span><span>**</span> \[prop\]<span>Example</span><span>****</span><span>**</span> \[prop\]<span>Remark</span><span>****</span> \[prop\]<span>Question</span><span>****</span><span>**</span> \[prop\]<span>Statement</span><span>****</span><span>**</span> \[prop\]<span>Claim</span><span>****</span><span>**</span> \[prop\]<span>Corollary</span><span>****</span><span>**</span> \[prop\]<span>Observation</span><span>****</span><span>**</span> Introduction ============ The study of the Picard group of the motivic category in the algebro-gemetric context was initiated by Po Hu in @Hu, who considered the case of the ${{\Bbb A}}^1$-stable homotopy category of Morel-Voevodsky. It was established there that the reduced classes of affine Pfister quadrics $\{{\langle\!\langle}a_1,\ldots,a_r{\rangle\!\rangle}=b\}$ of small fold-ness represent invertible objects in ${{\cal SH}(k)}$, and some relations among these classes in ${\operatorname{Pic}}({{\cal SH}(k)})$ were found. It was conjectured that the same should hold for arbitrary $r$. The topic was picked up by T.Bachmann in @BQ. Here, instead of the ${{\Bbb A}}^1$-stable homotopic category ${{\cal SH}(k)}$, the Voevodsky's category of motives ${{\operatorname{DM}}(k;{{\Bbb Z}}/2)}$ was considered. This simplified the task somewhat. As a result, not only the conjectures of Po Hu were proven in this context, but it was shown that the reduced motive $\widetilde{M}(A_q)$ of any affine quadric $A_q=\{q=1\}$ is invertible in ${{\operatorname{DM}}(k;{{\Bbb Z}}/2)}$. This was established with the help of functors $\Phi^E$ of Bachmann. These tensor triangulated functors, defined for every finitely generated field extension $E/k$, map the tensor triangulated category ${{\operatorname{DQM}}^{gm}}$ generated by the motives of smooth projective quadrics to the category ${K^b(Tate({{\Bbb Z}}/2))}$ of bi-graded ${{\Bbb Z}}/2$-vector spaces. They are characterized by the property that $\Phi^E(T(i)[j])=T(i)[j]$ (the 1-dimensional vector space of the specified bi-degree), where $T$ is the monoidal unit, while $\Phi^E(M(Q))=0$, for every projective quadric $Q/k$ which stays anisotropic over $E$. It was shown in @BQ that the collection of these functors (for all finitely generated $E/k$) is conservative, detects invertible objects, and is injective on the ${\operatorname{Pic}}$. In @BV it was proven that the map: $q\mapsto\widetilde{M}(A_q)$ defines an embedding of sets: $GW(k)\hookrightarrow{\operatorname{Pic}}({{\operatorname{DM}}(k;{{\Bbb Z}}/2)})$ of the Grothendieck-Witt ring of quadratic forms (or, by the result of F.Morel @morel2004motivic-pi0, of $\pi_{(0)[0]}^s({\Bbb{S}})$) into the Picard group of the motivic category. In the current paper, we study the relations among these elements in ${\operatorname{Pic}}$. Or, which is the same, the subgroup ${{\operatorname{Pic}}_{qua}}$ of ${\operatorname{Pic}}({{\operatorname{DM}}(k;{{\Bbb Z}}/2)})$ generated by the reduced motives of affine quadrics. It appears that these can be described in terms of motives of projective quadrics and the direct sum operation. Inside ${{\operatorname{Pic}}_{qua}}$ there is a subgroup ${{\Bbb T}}\cong{{\Bbb Z}}\oplus{{\Bbb Z}}$ consisting of Tate-motives $T(i)[j]$. It is enough to describe ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$. This group is generated by our (shifted) reduced motives $e^q:=\widetilde{M}(A_q)[1]$ of affine quadrics. First of all, in Proposition \[inverse\], we complement the invertibility result of T.Bachmann by observing that our set of generators is closed under inverses: $(e^q)^{-1}=e^{q'}$ in ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$, where $q'={\langle}1{\rangle}\perp -q$ (note, that the operation $q\mapsto q'$ is a "square root" of $q\mapsto q\perp{{\Bbb H}}$). In particular, this gives that $e^{{\langle\!\langle}\alpha{\rangle\!\rangle}}$ is the inverse of the reduced Rost motive $\widetilde{M}_{\alpha}$ (here $\alpha$ is a pure symbol in $K^M_*(k)/2$). In Theorem \[Dedekind\] we provide a large supply of linearly independent elements in ${{\operatorname{Pic}}_{qua}}$. Namely, the collection $\{e^{q_i}\}_i$ will be linearly independent as long as all the projective quadrics $Q'_i$ are anisotropic and pair-wise not stably bi-rationally equivalent. Moreover, it is shown in Proposition \[conditional-sta\] that if the Question \[old-question\] has positive answer, then a maximal such collection will form a ${{\Bbb Z}}$-basis of ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$ (note, that the fact that this group is torsion free follows from @BQ). Every smooth projective quadric $Q$ can be cut into affine ones (using some flag of plane sections). Multiplying the respective elements $e^q$ we get the new element ${\operatorname{det}}(Q)$. From some basic relations among $e^q$'s it follows that this does not depend on the choice of a flag, and is an invariant of $Q$, and even of the motive of $Q$. The set $\{{\operatorname{det}}(Q)\}_Q$, where $Q$ runs over all smooth projective quadrics over $k$ provides another set of generators of ${{\operatorname{Pic}}_{qua}}$. In Theorem \[relations\] we establish all the relations among these elements in ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$. Namely, $\prod_i{\operatorname{det}}(P_i)=\prod_j{\operatorname{det}}(Q_j)\in{{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$ if and only if $\oplus_iM(P_i)$ and $\oplus_jM(Q_j)$ are <span>*Tate-equivalent*</span>, i.e. if we ignore the Tate-summands in both, then the respective indecomposable (anisotropic) direct summands of both hand sides can be identified up to Tate-shift. This embeds ${{\operatorname{Pic}}_{qua}}$ into the free abelian group with the basis consisting of indecomposable direct summands in the motives of $k$-quadrics considered up to Tate-shift. What is remarkable here is that the question about Voevodsky's triangulated motives and the tensor product operation is reduced to the one about classical Chow motives and the direct sum operation. As a small by-product we can complement the classical Criterion of motivic equivalence of projective quadrics (@IMQ [@lens], see also @Kar2) with the equality ${\operatorname{det}}(P)={\operatorname{det}}(Q)\in{{\operatorname{Pic}}_{qua}}$. Thus, in ${{\operatorname{Pic}}_{qua}}$ we have two generating subsets: one identified with the isomorphism classes of quadratic forms, another with the isomorphism classes of motives of projective quadrics. All the above results are obtained with the help of the Bachmann's functors $\Phi^E$ which provide a very effective tool for comparing elements of ${{\operatorname{Pic}}_{qua}}$. In Section \[alternative\] we introduce an alternative method which permits to perform the same calculations. Here we use the Čech simplicial schemes and some ideas from @IMQ. The idea is very simple: for a smooth projective $P$, the motive ${{\cal X}}_P$ of the Čech simplicial scheme is an idempotent: ${{\cal X}}_P^{\otimes 2}\cong{{\cal X}}_P$, and so is it's "complement" ${\widetilde{{\cal X}}}_P={\operatorname{Cone}}({{\cal X}}_P{\rightarrow}T)$. As a result, we get two orthogonal projections $\otimes{{\cal X}}_P$ and $\otimes{\widetilde{{\cal X}}}_P$ on ${{\operatorname{DM}}(k)}$ which define a semi-orthogonal decomposition of this category. For different varieties, these projectors naturally commute, and we can consider a poly-semi-orthogonal decomposition corresponding to a finite collection ${\mathbf X}=\{X_i\}_{i\in I}$ of smooth projective varieties. The resulting functor is obviously conservative and so, detects invertible geometric objects. It is shown in Proposition \[inj-pic-XJ\] that it is also injective on the ${\operatorname{Pic}}$. It follows from the results of @IMQ that, for any object $A$ of ${{\operatorname{DQM}}^{gm}}$, there is an appropriate collection ${\mathbf X}$, for which all the projections of $A$ will be extensions of Tate-motives. And, if $A$ represents an element of ${{\operatorname{Pic}}_{qua}}$, then there is a collection, where all the projections are the Tate-motives $T(i)[j]$. In particular, we re-prove the Bachmann's result on the invertibility of the reduced motives of affine quadrics - see Proposition \[eq-invert\]. Moreover, two elements of ${{\operatorname{Pic}}_{qua}}$ are equal if and only if the respective functions $(i)[j]$ on the set of (non-trivial) projectors are the same. This creates an environment which permits to substitute the functors of Bachmann in the study of ${{\operatorname{Pic}}_{qua}}$. The new approach is not restricted to the subcategory ${{\operatorname{DQM}}^{gm}}$ only, but permits to study the whole ${\operatorname{Pic}}$ of ${{\operatorname{DM}}(k)}$. We will address this question in a sequel to this paper. Motives of affine quadrics ========================== Notations and some basic facts ------------------------------ Let $k$ be a field of characteristic different from $2$, and $q$ be a (non-degenerate) quadratic form of dimension $n$ over $k$. We denote as $A_q$ the affine quadric $\{q=1\}$. Then $A_q$ can be considered as a (not necessarily split) sphere. In particular, over ${\overline{k}}$, the motive $M(A_q)_{{\overline{k}}}=T\oplus T([n/2])[n-1]$ is a sum of just two Tate-motives. This motive is a complete invariant of $q$ - see @BV [Theorem 2.1]. We have a natural projection $A_q{\rightarrow}{\operatorname{Spec}}(k)$, and it was shown in @BV that the reduced motive $\widetilde{M}(A_q)={\operatorname{Cone}}[-1](M(A_q){\rightarrow}T)$ of $A_q$ determines $q$ as well. This reduced motive is a <span>*form*</span> of a Tate-motive, as over ${\overline{k}}$ it becomes isomorphic to $T([n/2])[n-1]$. It belongs to the category ${{\operatorname{DM}}_{gm}(k;{{\Bbb Z}}/2)}$ of geometric motives of Voevodsky - see @voevodsky-triang-motives. Moreover, it was shown by T.Bachmann in @BQ that this motive is invertible there, i.e. it represents an element of ${{\operatorname{Pic}}({{\operatorname{DM}}_{gm}(k;{{\Bbb Z}}/2)})}$. And for $p=q\perp{{\Bbb H}}$, one has $\widetilde{M}(P)\cong\widetilde{M}(Q)(1)[2]$ - @BQ [Lemma 34]. Hence, we get an embedding $$\begin{split} &GW(k) \hookrightarrow {{\operatorname{Pic}}({{\operatorname{DM}}_{gm}(k;{{\Bbb Z}}/2)})}\\ &q-r{{\Bbb H}}\mapsto \widetilde{M}(A_q)(-r)[-2r+1] \end{split}$$ of sets of the Grothendieck-Witt ring of quadratic forms into the Picard of the category of geometric motives. In other words, we get a complete invariant of the $(0)[0]$-stable ${{\Bbb A}}^1$-homotopy group of spheres (as, by the result of F.Morel @morel2004motivic-pi0 [Theorem 6.2.1] this group coincides with the $GW(k)$). The corresponding map in topology is the map ${{\mathbf{Z}}}=\pi_0^s({\Bbb{S}}){\rightarrow}{\operatorname{Pic}}(D(Ab))$ sending $n$ to $T[n]$ which happens to be an isomorphism. The aim of the current paper is to study the motivic variant of such a map. We start by introducing some notations. Let us denote as $e^q\in{{\operatorname{Pic}}({{\operatorname{DM}}_{gm}(k;{{\Bbb Z}}/2)})}$ the shifted reduced motive $\widetilde{M}(A_q)[1]$ and as ${{\operatorname{Pic}}_{qua}}$ the subgroup of ${{\operatorname{Pic}}({{\operatorname{DM}}_{gm}(k;{{\Bbb Z}}/2)})}$ generated by $e^q$, for all quadratic forms $q/k$. For a quadratic form $q$, let $q'$ be the quadratic form ${\langle}1{\rangle}\perp -q$, and $Q,Q'$ be the respective smooth projective quadrics. Then $A_q=Q'\backslash Q$, and we have the Gysin triangle: $$\label{AQ'Q} M(Q'){\rightarrow}M(Q)(1)[2]{\rightarrow}M(A_q)[1]{\rightarrow}M(Q')[1].$$ When both quadratic forms $q$ and $q'$ are split, $M(Q')$ and $M(Q)$ are sums of (pure) Tate-motives, which implies that $M(A_q)=T\oplus T([n/2])[n-1]$ and $e^q=T([n/2])[n]$ (one can also see it from @BQ [Lemma 34]). In particular, ${{\operatorname{Pic}}_{qua}}$ contains a subgroup ${{\Bbb T}}\cong{{\Bbb Z}}\times{{\Bbb Z}}$ consisting of Tate-motives $T(i)[j],\,i,j\in{{\Bbb Z}}$, which coincides with the whole ${{\operatorname{Pic}}_{qua}}$ for an algebraically closed field (since all quadrics are split there). Restriction to ${\overline{k}}$ together with the projection provide an isomorphism ${{\operatorname{Pic}}_{qua}}\stackrel{\cong}{{\longrightarrow}}{{\Bbb T}}\times({{\operatorname{Pic}}_{qua}}/{{\Bbb T}})$. Thus, the description of ${{\operatorname{Pic}}_{qua}}$ is reduced to that of ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$, which amounts to describing the relations among $e^q$'s there. First, we will describe the inverse of $e^q$. \[inverse\] Let $q'={\langle}1{\rangle}\perp -q$. Then in ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$, $$(e^q)^{-1}=e^{q'}.$$ Let $q''={\langle}1{\rangle}\perp -q'={{\Bbb H}}\perp q$ and ${\operatorname{dim}}(q)=n$. Considering the ${\operatorname{Cone}}[-1]$ of the map of triangles $$\xymatrix{ M(A_q) \ar[d] \ar[r] & M(Q') \ar[d] \ar[r] & M(Q)(1)[2] \ar[d]^{0} \ar[r] & M(A_q)[1] \ar[d] \\ T \ar[r] & 0 \ar[r] & T[1] \ar@{=}[r] & T[1], }$$ where $M(A_q){\rightarrow}T$ is the standard projection, we obtain a distinguished triangle $$\xymatrix{ {\widetilde{M}}(A_q) \ar[r] & M(Q') \ar[r]^(0.4){(a,b)} & M(Q)(1)[2]\oplus T \ar[r]^(0.55){(c,d)} & {\widetilde{M}}(A_q)[1], }$$ where $c$ is the unique lifting of the map $M(Q)(1)[2]{\rightarrow}M(A_q)[1]$ from (\[AQ'Q\]), $d$ is the canonical map from the definition of ${\widetilde{M}}(A_q)$, $a$ is a map from (\[AQ'Q\]), and from the diagram chase one can see that the standard projection $M(Q'){\rightarrow}T$ factors through $b$, which means that these two maps coincide. The same applies to the pair $Q'\subset Q''$. We get exact triangles (after shifting): $$\begin{aligned} &M(Q'){\rightarrow}M(Q)(1)[2]\oplus T{\rightarrow}\widetilde{M}(A_q)[1]{\rightarrow}M(Q')[1].\\ &M(Q''){\rightarrow}M(Q')(1)[2]\oplus T{\rightarrow}\widetilde{M}(A_{q'})[1]{\rightarrow}M(Q'')[1].\end{aligned}$$ Since $q''={{\Bbb H}}\perp q$, $Q''$ is isotropic, and $Q$ can be identified with the quadric of lines $l$ on $Q''$ passing through a fixed rational point $p$. This gives the decomposition $M(Q'')=T\oplus M(Q)(1)[2]\oplus T(n)[2n]$, where the map $M(Q)(1)[2]{\rightarrow}M(Q'')$ is given by the cycle $A=\{(l,x)|x\in l\}\subset Q\times Q''$. The map $M(Q''){\rightarrow}M(Q')(1)[2]$ from the Gysin triangle is dual of the embedding $M(Q'){\rightarrow}M(Q'')$ and given by the cycle $B=\Delta_{Q''}\cap (Q'\times Q'')$. Taking $p$ outside $Q'\subset Q''$, we obtain that the composition $M(Q)(1)[2]{\rightarrow}M(Q''){\rightarrow}M(Q')(1)[2]$ is given by the cycle $C=\Delta_{Q'}\cap (Q\times Q')$, where the embedding $Q\subset Q'$ is given by the choice of $p$. In other words, this composition is dual of the embedding $M(Q){\rightarrow}M(Q')$. The map $T(n)[2n]{\rightarrow}M(Q'')$ is given by the generic cycle of $Q''$, so the composition $T(n)[2n]{\rightarrow}M(Q''){\rightarrow}M(Q')(1)[2]$ is given by the generic cycle of $Q'$ and, hence, is dual of the projection $M(Q'){\rightarrow}T$. Thus, the resulting map $M(Q)(1)[2]\oplus T(n)[2n]{\rightarrow}M(Q')(1)[2]$ is dual to the map $M(Q'){\rightarrow}M(Q)(1)[2]\oplus T$, and we obtain that $e^{q'}={\underline{\operatorname{Hom}}}(e^q,T(n)[2n+1])$, where ${\underline{\operatorname{Hom}}}(-,-)$ is the internal ${\operatorname{Hom}}$ in ${{\operatorname{DM}}_{gm}(k;{{\Bbb Z}}/2)}$. By @BQ [Theorem 33] (see also Proposition \[eq-invert\] below), $e^q$ is an invertible object. It follows from the standard properties of duality that the dual of an invertible object is the inverse of it. Thus, $$e^q\cdot e^{q'}=T(n)[2n+1]\in{{\operatorname{Pic}}_{qua}}.$$ <span>$\square$</span> Let $\alpha\in K^M_*(k)/2$ be some pure symbol, and ${\langle\!\langle}\alpha{\rangle\!\rangle}$ be the respective Pfister form. Then ${\langle\!\langle}\alpha{\rangle\!\rangle}=q_{\alpha}={\langle}1{\rangle}\perp -\widetilde{q}_{\alpha}$, and the motive of the affine quadric $Q_{\alpha}\backslash\widetilde{Q}_{\alpha}$ is the Rost-motive $M_{\alpha}$ @R2. Hence, in ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$, $e^{{\langle\!\langle}\alpha{\rangle\!\rangle}}=(e^{\widetilde{q}_{\alpha}})^{-1}$ is the inverse of the reduced Rost-motive $\widetilde{M}_{\alpha}={\operatorname{Cone}}[-1](M_{\alpha}{\rightarrow}T)$. The functors of Bachmann ------------------------ In @BQ T.Bachmann considers ${{\operatorname{DQM}}^{gm}}$ - the thick tensor triangulated subcategory of ${{\operatorname{DM}}_{gm}(k;{{\Bbb Z}}/2)}$ generated by motives of smooth projective quadrics over $k$. Then, for any field extension $E/k$ he constructs a tensor triangulated functor: $$\Phi^E:{{\operatorname{DQM}}^{gm}}{\longrightarrow}{K^b(Tate({{\Bbb Z}}/2))},$$ where ${K^b(Tate({{\Bbb Z}}/2))}$ is the category of finite-dimensional bi-graded ${{\Bbb Z}}/2$-vector spaces (which we can view as direct sums of Tate-motives $T(i)[j]$). This functor is essentially defined by the following two properties: - $\Phi^E(T(i)[j])=T(i)[j]$; - If smooth projective quadric $Q_E$ is anisotropic, then $\Phi^E(Q)=0$. The main result of $\cite{BQ}$ is: <span>(Bachmann, @BQ [Theorem 31])</span> \[MT-B\] The collection of functors $\{\Phi^E\}$ for all finitely generated extensions $E/k$ is conservative, and it is injective on the Picard. Since ${\operatorname{Pic}}({K^b(Tate({{\Bbb Z}}/2))})={{\Bbb Z}}\times{{\Bbb Z}}$, in particular, this implies: <span>(Bachmann, @BQ [Corollary 32])</span> \[no-torsion\] The group ${{\operatorname{Pic}}_{qua}}$ has no torsion. The above functors of Bachmann will represent the main tool in our calculations. Structure of ${{\operatorname{Pic}}_{qua}}$ {#structure-picq} =========================================== Linearly independent elements ----------------------------- We will identify the elements of ${\operatorname{Pic}}({K^b(Tate({{\Bbb Z}}/2))})$ with the Tate-motives $T(i)[j]$ (with identification given by $\Phi^E$). It follows from the results of Bachmann @BQ that, for any quadratic form $q/k$ and any extension $E/k$, the value of $\Phi$ on $e^q$ is a single Tate motive $T(f(q,E))[g(q,E)]$. Thus, we get two functions: $(q,E)\mapsto f(q,E),g(q,E)\in{{\Bbb Z}}$. We can identify targets of various $\Phi^E$'s, and since $\Phi^E(e^q)$ is invertible, we can consider expressions like $\frac{\Phi^E}{\Phi^F}(e^q)$ which is still a single Tate-motive. We would like to describe the group ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$. Since $\Phi^E$ maps ${{\Bbb T}}$ isomorphically to the ${\operatorname{Pic}}({K^b(Tate({{\Bbb Z}}/2))})$, this quotient-group is still torsion-free. Here is a large supply of linearly independent elements there. \[Dedekind\] Let $\{q_i\}_{i\in I}$ be a collection of quadratic forms over $k$, s.t. $q'_i$ is anisotropic, for all $i$, and for $i\neq j$, the forms $q'_i$ and $q'_j$ are not stably bi-rationally equivalent. Then the collection of elements $\{e^{q_i}\}_{i\in I}$ is linearly independent in ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$. Recall, that two quadrics $P$ and $Q$ are stably bi-rationally equivalent if and only if there are rational maps $P\dashrightarrow Q$ and $Q\dashrightarrow P$ - @Lam [Theorem X.4.25]. Suppose, we have some linear relation in ${{\operatorname{Pic}}_{qua}}$: $$\prod_i(e^{q_i})^{m_i}=T(*)[*'].$$ Consider a directed graph whose vertices are $q'_i$ (for $q_i$ appearing in the above equation), and where we have an arrow $q'_i{\rightarrow}q'_j$ if and only if there exists a rational map $Q'_i\dashrightarrow Q'_j$ (note, that this condition just means that $Q'_j|_{k(Q'_i)}$ has a rational point, or in other words, that $i_W(q'_j|_{k(Q'_i)})>0$). Since this property is transitive (by the valuative criterion of properness - @Har [Theorem II.4.7]), and all our forms $q'_i$ are pairwise not stably birationally equivalent, we obtain that our graph has no oriented cycles. Hence, there is (at least one) final vertex $q'_l$. Consider $F_l=k(Q'_l)$. Then $i_W(q'_j|_{F_l})=0$, for $j\neq l$ (as the vertex is final), while $i_W(q'_l|_{F_l})\neq 0$ (because any quadric is isotropic over its own function field). Since the forms $q'_j$, and so $q_j$, for $j\neq l$, stay anisotropic over $F_l$, it follows that $\Phi^{F_l}$ acts in the same way on $e^{q_j}$ as $\Phi^{k}$. At the same time, since $q'_l$ is anisotropic over $k$ and isotropic over $F_l$, these functors act differently on $e^{q_l}$ - see @BV [Sect. 3], or Proposition \[phiE-on-ePQ\] below. As a result, we obtain that $$\frac{\Phi^{F_l}}{\Phi^k}\left(\prod_i(e^{q_i})^{m_i}\right)=T(x\cdot m_l)[y\cdot m_l],\hspace{3mm}\text{where}\hspace{2mm}T(x)[y]\neq T.$$ And this must be equal to $T$, since all $\Phi^E$'s act the same (identical) way on Tate-motives. Hence, $m_l=0$, and we managed to exclude one term from our relation. Then we argue by induction. <span>$\square$</span> \[Pfister-indep\] Let $\{{\langle\!\langle}\alpha{\rangle\!\rangle}\}_{\alpha}$ be the collection of all Pfister forms (of various fold-ness) for all non-zero pure symbols $\alpha\in K^M_*(k)/2$. Then the collection $\{e^{{\langle\!\langle}\alpha{\rangle\!\rangle}}\}_{\alpha}$ is linearly independent in ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$. Indeed, let ${\langle\!\langle}\alpha{\rangle\!\rangle}=q_{\alpha}={\langle}1{\rangle}\perp -\widetilde{q}_{\alpha}$, where $\widetilde{q}_{\alpha}$ is a <span>*pure part*</span> of a Pfister form. Then the collection $\{\widetilde{q}_{\alpha}\}_{\alpha}$ satisfies the conditions of the Theorem \[Dedekind\], since different Pfister forms are not stably bi-rationally equivalent (because the existence of a rational map $Q_{\alpha}\dashrightarrow Q_{\beta}$ means that $Q_{\beta}|_{k(Q_{\alpha})}$ is isotropic and hence hyperbolic (being a Pfister form), which implies that $q_{\beta}$ is divisible by $q_{\alpha}$ - see @EKM [Corollary 23.6]). Finally, by Proposition \[inverse\], $e^{{\langle\!\langle}\alpha{\rangle\!\rangle}}=(e^{\widetilde{q}_{\alpha}})^{-1}$. <span>$\square$</span> The new generators ------------------ Let $Q\supset P$ be a co-dimension one embedding of smooth projective quadrics. We will use the notation $e^{Q\backslash P}$ for the (shifted) reduced motive of the affine quadric $Q\backslash P$. Let us explicitly describe the value of the functor $\Phi^E$ on $e^{Q\backslash P}$ in terms of the Witt-indices of both projective quadrics - cf. @BV [Sect. 3]. Below we will use the additive notation $(x)[y]$ for the elements of the abelian group ${{\Bbb Z}}^2$. \[phiE-on-ePQ\] Let $P'\supset P$ be a co-dimension one embedding of smooth projective quadrics, ${\operatorname{dim}}(P')=m'$, ${\operatorname{dim}}(P)=m$ (of course, $m'=m+1$), $E/k$ be some field extension and $j_{P'}=i_W(P'_E)$, $j_P=i_W(P_E)$ be the Witt indices of $P'$ and $P$ over $E$. Then $\Phi^E(e^{P'\backslash P})=T(x)[y]$, where $(x)[y]=(f(P')-f(P))[g(P')-g(P)]$, for some functions $f$ and $g$. More precisely, $$(x)[y]=\sum_{l'=0}^{j_{P'}-1}(m'-2l')[2m'-4l'+1]-\sum_{l=0}^{j_P-1}(m-2l)[2m-4l+1].$$ We have an exact triangle $$M(P'){\rightarrow}M(P)(1)[2]\oplus T{\rightarrow}\widetilde{M}(P'\backslash P)[1]{\rightarrow}M(P')[1].$$ Our Witt indices are related as follows: $j_{P}{\leqslant}j_{P'}{\leqslant}j_{P}+1$ (since $p\subset p'\subset p\perp{{\Bbb H}}$). From the defining property of Bachmann's functors (as well as from @BQ) we see that $\Phi^E(e^{P'\backslash P})$ will be a single Tate-motive $T(x)[y]$ whose grading depends only on the above Witt indices. It remains to determine the exact shape of such a dependence. If $(j_{P'},j_P)=(l,l)$, then the "non-cancelled" Tate-motive is on the $P$-side and $(x)[y]=(l)[2l]$, while if $(j_{P'},j_P)=(l+1,l)$, then the "non-cancelled" Tate-motive is on the $P'$-side and $(x)[y]=(m'-l)[2m'-2l+1]$. Consider $(x)[y]$ as a function of $(l',l)$ (for $l{\leqslant}l'{\leqslant}l+1$) defined by these formulas. We can move from the pair $(0,0)$ to $(j_{P'},j_{P})$ in $j_{P'}+j_{P}$ steps: $(0,0){\rightarrow}(1,0){\rightarrow}(1,1){\rightarrow}(2,1){\rightarrow}\ldots$. When we move $(l',l'){\rightarrow}(l'+1,l')$, $(x)[y]$ jumps up by $(m'-2l')[2m'-4l'+1]$. When we move $(l+1,l){\rightarrow}(l+1,l+1)$, then $(x)[y]$ jumps down by $(m-2l)[2m-4l+1]$. Finally, for $(l',l)=(0,0)$, $(x)[y]=(0)[0]$. Hence, the formula. <span>$\square$</span> \[PQRS\] Suppose, we have co-dimension one embeddings $$\xymatrix @-1.2pc{ & Q \ar[dl] & \\ S & & P \ar[dl] \ar[ul] \\ & R \ar[ul] & }$$ of smooth projective quadrics. Then in ${{\operatorname{Pic}}_{qua}}$, $$e^{S\backslash Q}\cdot e^{Q\backslash P}=e^{S\backslash R}\cdot e^{R\backslash P}.$$ Let $E/k$ be some field extension, and $j_S,j_R,j_Q,j_P$ be the Witt indices of our quadrics over $E$. Then, by Proposition \[phiE-on-ePQ\], we have that both $\Phi^E(e^{S\backslash Q}\cdot e^{Q\backslash P})$ and $\Phi^E(e^{S\backslash R}\cdot e^{R\backslash P})$ are isomorphic to $T(x)[y]$, where $$(x)[y]=\sum_{i=0}^{j_{S}-1}({\operatorname{dim}}(S)-2i)[2{\operatorname{dim}}(S)-4i+1]-\sum_{l=0}^{j_P-1}({\operatorname{dim}}(P)-2l)[2{\operatorname{dim}}(P)-4l+1].$$ By the Theorem \[MT-B\], $e^{S\backslash Q}\cdot e^{Q\backslash P}=e^{S\backslash R}\cdot e^{R\backslash P}$ in ${{\operatorname{Pic}}_{qua}}$. <span>$\square$</span> The above relations among $e^q$ permit to introduce new generators of ${{\operatorname{Pic}}_{qua}}$. \[def-det\] Let $Q$ be an $m$-dimensional smooth projective quadric with the complete flag of subquadrics: $Q=Q_m\supset Q_{m-1}\supset\ldots\supset Q_0$. Define: $${\operatorname{det}}(Q):=e^{Q_m\backslash Q_{m-1}}\cdot e^{Q_{m-1}\backslash Q_{m-2}}\cdot\ldots\cdot e^{Q_0}\in{{\operatorname{Pic}}_{qua}}.$$ Clearly, one can express the shifted reduced motive $e^{Q\backslash P}$ of an affine quadric $Q\backslash P$ as ${\operatorname{det}}(Q)/{\operatorname{det}}(P)$. Thus, determinants of smooth projective quadrics is another system of generators of ${{\operatorname{Pic}}_{qua}}$. It follows from Proposition \[PQRS\] that ${\operatorname{det}}(Q)$ does not depend on the choice of a complete flag in $Q$ and is an invariant of $Q$. Moreover, it actually depends on $M(Q)$ only. \[Phidet-MQ\] Let $Q$ be a smooth projective quadric of dimension $m$. Then: - For any $E/k$, $\Phi^E({\operatorname{det}}(Q))=T(x)[y]$, where $$(x)[y]=\sum_{i=0}^{i_W(Q_E)-1}(m-2i)[2m-4i+1].$$ - ${\operatorname{det}}(Q)$ depends on $M(Q)$ only. 1\) Follows straight from the Definition \[def-det\] and Proposition \[phiE-on-ePQ\]. 2\) It follows from part 1) that $\Phi^E({\operatorname{det}}(Q))$ depends only on $m$ and $i_W(Q_E)$. By the Criterion of motivic equivalence of projective quadrics - @IMQ [Prop 5.1], or @lens [Thm 4.18] (see also @Kar2), the motives $M(P)$ and $M(Q)$ of two smooth projective quadrics are isomorphic if and only if ${\operatorname{dim}}(P)={\operatorname{dim}}(Q)$ and $i_W(P_E)=i_W(Q_E)$, for any field extension $E/k$. Thus, $\Phi^E({\operatorname{det}}(Q))$ depends only on $M(Q)$, and by Theorem \[MT-B\], so does ${\operatorname{det}}(Q)$ itself. <span>$\square$</span> Let $N$ be a direct summand of the (possibly shifted) motive $M(Q)(i)[2i]$ of anisotropic quadric. Then, over ${\overline{k}}$, it splits into a direct sum of pure Tate-motives $T(l)[2l]$. These Tate-motives are of two kinds: the <span>*lower*</span> and the <span>*upper*</span> ones. The lower ones are characterized by the property that the splitting map $N{\rightarrow}T(l)[2l]$ is defined already over the ground field $k$, while for the upper ones, the splitting map $T(l)[2l]{\rightarrow}N$ is defined over $k$ - see @EC [Appendix] for details. Similarly, for an extension $E/k$, we denote as $Tate^{up}(N_E)$ the collection of <span>*upper*</span> Tate-motives splitting from $N_E$, and as $Tate_{lo}(N_E)$ - the collection of <span>*lower*</span> Tate-motives splitting from $N$ over $E$. Let us define certain auxiliary elements of ${\operatorname{Pic}}({K^b(Tate({{\Bbb Z}}/2))})$ we will use. \[def-PhiEk-detN\] Let $N$ be a direct summand of $M(Q)(i)[2i]$ with $Q$ anisotropic. Define: $$\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(N)):=\left(\otimes_{T(l)[2l]\in Tate^{up}(N_E)}T(l)[2l]\right)\otimes \left(\otimes_{T(l)[2l]\in Tate_{lo}(N_E)}T(l)[2l-1]\right)^{-1}.$$ If $N$ is a direct summand of the motive of a possibly isotropic quadric $Q$, then we can define $\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(N))$ by the same formula, where we ignore those Tate-summands of $N_E$ which already split over $k$. Note, that the number of upper Tate motives splitting from $N_E$ is equal to the number of the lower Tate-motives splitting there (by @lens [Thm 4.19]), for any anisotropic $N$. Hence, the Tate shift of $N$ does not affect the result: $$\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(N(i)[2i]))=\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(N)).$$ Our elements behave multiplicatively with respect to the direct sum of motives: $$\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(N_1\oplus N_2))= \frac{\Phi^E}{\Phi^k}({\operatorname{det}}(N_1))\otimes\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(N_2)).$$ And, consequently, it can be extended to arbitrary direct sums of direct summands as above. In the case of $N=M(Q)$ with ${\operatorname{dim}}(Q)=m$, we have the decomposition over $E$: $$M(Q_E)=\oplus_{i=0}^{i_W(Q_E)-1}(T_{lo}(i)[2i]\oplus T^{up}(m-i)[2m-2i])\oplus M((Q_E)_{anis})(i_W(Q_E))[2i_W(Q_E)].$$ From Proposition \[Phidet-MQ\](1) we get: $$\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(M(Q)))=\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(Q)).$$ This explains the notation. A'priori, it is unclear, if the element $\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(N))$ comes from some element "${\operatorname{det}}(N)$" in ${{\operatorname{Pic}}_{qua}}$ (so, the notations are somewhat misleading). But, in certain cases, we can produce ${\operatorname{det}}(N)\in{{\operatorname{Pic}}_{qua}}$. \[Pfister-decomp\] Let $\alpha\in K^M_r(k)/2$ be a pure symbol, and ${\langle\!\langle}\alpha{\rangle\!\rangle}$ be the respective Pfister form. Then ${\langle\!\langle}\alpha{\rangle\!\rangle}=q_{\alpha}={\langle}1{\rangle}\perp -\widetilde{q}_{\alpha}$, the Gysin triangle $$M(Q_{\alpha}){\rightarrow}M(\widetilde{Q}_{\alpha})(1)[2]{\rightarrow}M(Q_{\alpha}\backslash\widetilde{Q}_{\alpha})[1]{\rightarrow}M(Q_{\alpha})[1]$$ is split, and the motive $M(Q_{\alpha}\backslash\widetilde{Q}_{\alpha})$ is the Rost-motive $M_{\alpha}$. Also, $e^{Q_{\alpha}\backslash\widetilde{Q}_{\alpha}}={\operatorname{det}}(Q_{\alpha})/{\operatorname{det}}(\widetilde{Q}_{\alpha})$. Since $M(Q_{\alpha})=M(\widetilde{Q}_{\alpha})(1)[2]\oplus M_{\alpha}$, we obtain that $$\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(Q_{\alpha})/{\operatorname{det}}(\widetilde{Q}_{\alpha}))=\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(M_{\alpha})).$$ So, we can define ${\operatorname{det}}(M_{\alpha})\in{{\operatorname{Pic}}_{qua}}$ as ${\operatorname{det}}(Q_{\alpha})/{\operatorname{det}}(\widetilde{Q}_{\alpha})=e^{Q_{\alpha}\backslash\widetilde{Q}_{\alpha}}$. It is nothing else, but the shifted reduced Rost-motive $\widetilde{M}_{\alpha}[1]$. By the result of Rost @R [@R2], $$M(Q_{\alpha})=\oplus_{i=0}^{2^{r-1}-1}M_{\alpha}(i)[2i].$$ Due to the multiplicativity property of the $\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(-))$ and Bachmann's injectivity result - Theorem \[MT-B\] (comparing also $\Phi^k$ of both parts), we obtain: $${\operatorname{det}}(Q_{\alpha})=\left(e^{Q_{\alpha}\backslash\widetilde{Q}_{\alpha}}\right)^{2^{r-1}}.$$ In particular, by Proposition \[inverse\], in ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$ we have an identity: $${\operatorname{det}}(Q_{\alpha})=\left(e^{{\langle\!\langle}\alpha{\rangle\!\rangle}}\right)^{-2^{r-1}}.$$ Consider the full additive subcategory ${Chow_{qua}(k,{{\Bbb Z}}/2)}$ of $Chow(k,{{\Bbb Z}}/2)$ which is the pseudo-abelian envelope of the subcategory generated by the motives of smooth projective quadrics. Then in this category holds the Krull-Schmidt principle, i.e. the decomposition into irreducible objects is unique - see @lens and @CM. Let us introduce the following equivalence relation on the set of objects of ${Chow_{qua}(k,{{\Bbb Z}}/2)}$. \[T-equiv\] Suppose $N$ and $M$ are objects of ${Chow_{qua}(k,{{\Bbb Z}}/2)}$. We say that $N\stackrel{T}{\sim}M$ if anisotropic indecomposable direct summands of $N$ can be identified up to (reordering and) Tate-shifts with such summands of $M$. More precisely, if $N\cong(\oplus Tates)\oplus \oplus_{i=1}^rN_i$, $M\cong(\oplus Tates)\oplus \oplus_{i=1}^rM_i$, where $M_i\cong N_i(a_i)[2a_i]$, for some $a_i\in{{\Bbb Z}}$ and some choice of ordering. In particular, the $T$-equivalence ignores Tate-motives, but it keeps the total rank of anisotropic direct summands, and it is stable under field extensions. We will use a minor modification of Bachmann's injectivity Theorem \[MT-B\]. Observe that, for any $E/k$, the map $\frac{\Phi^E}{\Phi^k}:{{\operatorname{Pic}}_{qua}}/{{\Bbb T}}{\rightarrow}{\operatorname{Pic}}({K^b(Tate({{\Bbb Z}}/2))})$ is well defined. \[inj-T\] The collection of maps $\frac{\Phi^E}{\Phi^k}$, for all finitely generated $E/k$, is injective on ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$. Suppose all the homomorphisms $\frac{\Phi^E}{\Phi^k}$ vanish on certain element $x\in{{\operatorname{Pic}}_{qua}}$. That means that $\Phi^E(x)=\Phi^k(x)=T(a)[b]$, for any $E/k$, and some fixed $a,b\in{{\Bbb Z}}$. But $\Phi^E(T(a)[b])$ is also equal to $T(a)[b]$. By the Bachmann's injectivity Theorem, $x=T(a)[b]$. <span>$\square$</span> Let us recall some facts about indecomposable direct summands in the motives of quadrics. Suppose, $N$ is such a summand in the motive of a quadric $Q$, s.t. the smallest Tate-motive in the decomposition of $N_{{\overline{k}}}$ is $T(n)[2n]$. Then we can assign to $N$ the Grassmannian $X_N=G(Q,n)$ of $n$-dimensional projective subspaces on $Q$, and to the latter variety we can assign the motive ${{\cal X}}_{X_N}$ of the respective Čech simplicial scheme $\check{C}ech(X_N)$ (where all our motives are with ${{\Bbb Z}}/2$-coefficients). Recall that this is a <span>*form*</span> of a Tate-motive which becomes isomorphic to Tate-motive if and only if our variety has a zero-cycle of degree 1 - see @IMQ [Sect. 2.3]. For quadratic Grassmannians the latter condition is equivalent to the existence of a rational point (by Springer's theorem). \[dir-sum-facts\] With notations as above, let $N$ and $L$ be indecomposable direct summands in the motives of quadrics. Then the following are equivalent: - $N$ is isomorphic to $L$ up to Tate-shift; - $X_N$ and $X_L$ are stably bi-rationally equivalent; - ${{\cal X}}_{X_N}\cong{{\cal X}}_{X_L}$ (in this case, this isomorphism is unique). The fact that the lowest Tate-motive $T(n)[2n]$ splits from $N$ is equivalent to the fact that it splits from the motive of the respective quadric $Q$. This, in turn, is equivalent to the fact that $i_W(Q)>n$ (by @R [Prop. 1] and @lens [Prop. 2.6]), which means exactly that the Grassmannian $X_N$ has a rational point. Thus (1) implies that $X_N$ and $X_L$ have rational points simultaneously, i.e. there are rational maps both ways. For quadratic Grassmannians the latter condition is equivalent to stable bi-rational equivalence. Indeed, clearly, $X_N=G(Q,n)$ is stably bi-rationally equivalent to the flag variety $F(Q,n)$ of subspaces of dimensions from $0$ to $n$ (as the latter variety is a consecutive projective bundle over the former one). And flag variety is rational as soon as it has a rational point (as a consecutive quadric fibration $F(Q,n){\rightarrow}F(Q,n-1){\rightarrow}\ldots{\rightarrow}Q{\rightarrow}{\operatorname{Spec}}(k)$). If $F(P,l)$ is the flag variety corresponding to the motive $L$, then $F(Q,n)\times F(P,l)$ is stably bi-rationally equivalent to both $F(Q,n)$ and $F(P,l)$, since each variety is rational over the generic point of the other (recall, that these varieties have rational points simultaneously). Thus, (1) implies (2). The opposite implication follows from @lens [Theorem 4.17] taking into account @lens [Corollary 4.4]. Finally, (2) $\Leftrightarrow$ (3) by @IMQ [Theorem 2.3.4] and above considerations, since for quadratic Grassmannians the existence of a zero-cycle of degree 1 is equivalent to that of a rational point (by the Theorem of Springer). <span>$\square$</span> Now we can describe the relations among ${\operatorname{det}}(Q)$ in ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$. Any such relation can be reduced to the form $\prod_i{\operatorname{det}}(P_i)=\prod_j{\operatorname{det}}(Q_j)$. \[relations\] Let $P_i$, $Q_j$ be some smooth projective quadrics. The following conditions are equivalent: - $\prod_i{\operatorname{det}}(P_i)=\prod_j{\operatorname{det}}(Q_j)\in{{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$; - $\oplus_iM(P_i)\stackrel{T}{\sim}\oplus_jM(Q_j)$. $(2\Rightarrow 1)$ Let $\oplus_iM(P_i)=(\oplus Tates)\oplus\oplus_lN_l$ and $\oplus_jM(Q_j)=(\oplus Tates)\oplus\oplus_lM_l$ be the decompositions of both sides of (2) into Tates and anisotropic irreducibles. Then (after reordering) we have isomorphisms $M_l\cong N_l(a_l)[2a_l]$, for some $a_l\in{{\Bbb Z}}$. Then as $\frac{\Phi^E}{\Phi^k}$ ignores Tate-motives and Tate-shifts, we get: $$\begin{split} &\frac{\Phi^E}{\Phi^k}\left(\prod_i{\operatorname{det}}(P_i)\right)=\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(\oplus_i M(P_i)))= \frac{\Phi^E}{\Phi^k}({\operatorname{det}}(\oplus_lN_l))=\\ &\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(\oplus_lM_l))= \frac{\Phi^E}{\Phi^k}({\operatorname{det}}(\oplus_j M(Q_j)))=\frac{\Phi^E}{\Phi^k}\left(\prod_j{\operatorname{det}}(Q_j)\right). \end{split}$$ By Proposition \[inj-T\], $\prod_i{\operatorname{det}}(P_i)=\prod_j{\operatorname{det}}(Q_j)\in{{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$. $(1\Rightarrow 2)$ Let $\oplus_iM(P_i)=(\oplus Tates)\oplus\oplus_lN_l$ and $\oplus_jM(Q_j)=(\oplus Tates)\oplus\oplus_rM_r$ be the decomposition into a direct sum of Tates and anisotropic irreducibles. From (1) we know that $$\begin{split} &\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(\oplus_lN_l))=\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(\oplus_i M(P_i)))= \frac{\Phi^E}{\Phi^k}\left(\prod_i{\operatorname{det}}(P_i)\right)=\\ &\frac{\Phi^E}{\Phi^k}\left(\prod_j{\operatorname{det}}(Q_j)\right)=\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(\oplus_j M(Q_j)))= \frac{\Phi^E}{\Phi^k}({\operatorname{det}}(\oplus_rM_r)). \end{split}$$ Let us cancel as many isomorphic (up to Tate-shift) direct summands from both sides as possible. Suppose, the remaining relation is non-trivial. So we can assume that, $N_l$ is not isomorphic to $M_r$ for any $l,r$, while we have: $$\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(\oplus_lN_l))=\frac{\Phi^E}{\Phi^k}({\operatorname{det}}(\oplus_rM_r)).$$ Each such irreducible is a direct summand in the (possibly, shifted) motive of some smooth projective anisotropic quadric. To each such summand $N_l$ (respectively $M_r$), we can associate the field extension $F_l/k$ (respectively $E_r/k$) as follows. Let $N_l$ be a direct summand of $M(R)$, s.t. the smallest Tate in $(N_l)_{{\overline{k}}}$ is $T(m)[2m]$. Then take $F_l=k(X_l)$ - the function field of the Grassmannian $X_l=G(R,m)$ of $m$-dimensional projective subspaces on $R$, and similarly for $E_r=k(Y_r)$. If any two of the above extensions are stably bi-rationally equivalent, then the respective indecomposable direct summands are isomorphic (up to shift) by Proposition \[dir-sum-facts\]. Consider the directed graph whose vertices are isomorphism (up to shift) classes of $\{N_l\}_l$, $\{M_r\}_r$ and where we have an arrow $N_l{\rightarrow}M_r$ (respectively, $N_l{\rightarrow}N_{l'}$, $M_r{\rightarrow}M_{r'}$) iff there is a rational map $X_l\dashrightarrow Y_r$ ($X_l\dashrightarrow X_{l'}$, etc.). Since the existence of such a map is a transitive property, our graph has no directed cycles (as we have chosen a single representative from each isomorphism class of direct summands). Hence, our graph has (at least one) final vertex. Suppose, it is $N_l$. Then, every indecomposable summand (from our list) which is not isomorphic to $N_l$ will stay anisotropic over $F_l$. Indeed, if $L$ is this other summand, and some Tate-motive would split from $L_{F_l}$ (by @lens [Theorem 4.19] we can always assume it to be the "lower" one - see @EC [Appendix]), then the lowest Tate-motive (from which $L$ "starts") will split there as well (since splitting from $L$ is equivalent to the splitting from the motive of the respective quadric $L$ is part of, and for quadrics the splitting of the larger "lower" Tate-motive implies the splitting of the smaller one). But the lowest such Tate-motive can't split from the motive of the mentioned quadric, since the respective Grassmannian has no rational point over $F_l$. In particular, since no $M_r$'s were isomorphic to $N_l$, we get that all $M_r$'s stay anisotropic over $F_l$. Hence, $\frac{\Phi^{F_l}}{\Phi^k}({\operatorname{det}}(\oplus_rM_r))=T$. Similarly, $\frac{\Phi^{F_l}}{\Phi^k}({\operatorname{det}}(N_{l'}))=T$, for all $N_{l'}$ not isomorphic to $N_l$. At the same time, some (actually, exactly two) Tate-motives split from $N_l$ over $F_l$, since the Tate-motive $T(m)[2m]$ splits from $M(R)|_{F_l}$. The fact that the number of the "lower" Tate-summands split from $N_l|_{F_l}$ is equal to the number of the "upper" Tate-summands split follows from @lens [Theorem 4.19] (while the fact that there is only one of each kind follows from @lens [Theorem 4.17], but we don't need this). Hence $\frac{\Phi^{F_l}}{\Phi^k}({\operatorname{det}}(N_l))=T(x)[y]\neq T$ (follows from the Definition \[def-PhiEk-detN\] taking into account that no "lower" Tate-motive of $N_l$ can be "above" an "upper" one (since it is so for the quadric)). Then $\frac{\Phi^{F_l}}{\Phi^k}({\operatorname{det}}(\oplus_nN_n))=T(d\cdot x)[d\cdot y]$, where $d$ is the number of indecomposables $N_{l'}$ isomorphic (up to shift) to $N_l$. We obtain a contradiction: $T=T(d\cdot x)[d\cdot y]$. Thus, we can cancel all the terms, and so, $\oplus_iM(P_i)\stackrel{T}{\sim}\oplus_jM(Q_j)$. <span>$\square$</span> In particular, we can see that ${\operatorname{det}}(Q)\in{{\operatorname{Pic}}_{qua}}$ is a complete invariant of $M(Q)$. This extends the Criterion of motivic equivalence of projective quadrics - @IMQ [Prop 5.1], or @lens [Thm 4.18] (see also @Kar2). \[mot-eq-proj\] Let $P$ and $Q$ be smooth projective quadrics. Then the following conditions are equivalent: - $M(P)\cong M(Q)$; - ${\operatorname{det}}(P)={\operatorname{det}}(Q)\in{{\operatorname{Pic}}_{qua}}$. $(1\Rightarrow 2)$ This is Proposition \[Phidet-MQ\](2). $(2\Rightarrow 1)$ Since ${\operatorname{det}}(P_{{\overline{k}}})={\operatorname{det}}(Q_{{\overline{k}}})$, we obtain that ${\operatorname{dim}}(P)={\operatorname{dim}}(Q)$. It follows from 2) and Theorem \[relations\] that $M(P)\stackrel{T}{\sim} M(Q)$. Since $T$-equivalence preserves the rank of anisotropic summand, and the total rank is the same (since dimensions are the same), we obtain that the number of Tate-summands in $M(P_E)$ and $M(Q_E)$ is the same, hence, $i_W(Q_E)=i_W(P_E)$, for all $E/k$. By the criterion of motivic equivalence, $M(P)\cong M(Q)$. <span>$\square$</span> Let $\{X_l\}_l$ be the collection of all anisotropic quadratic Grassmannians for all quadrics from the set $\{P_i\}_i$ (considered with multiplicities), and $\{Y_r\}_r$ be the collection of all anisotropic quadratic Grassmannians for all quadrics from the set $\{Q_j\}_j$. Let $\{{{\cal X}}_{X_l}\}_l$ be the collection of the motives of the respective Čech simplicial schemes $\check{C}ech(X_l)$ (again, with multiplicity), and similarly for $\{{{\cal X}}_{Y_r}\}_r$. Repeating the arguments of the proof of @IMQ [Proposition 5.1] we obtain: \[hii-3\] The conditions $(1)$ and $(2)$ of Theorem \[relations\] are equivalent to: - $\{{{\cal X}}_{X_l}\}_l\cong\{{{\cal X}}_{Y_r}\}_r$. Note, that by @IMQ [Theorem 3.1], the anisotropic part of $\oplus_iM(P_i)$ is an extension of (shifted) ${{\cal X}}$'s from the union of the two copies of the set $\{{{\cal X}}_{X_l}\}_l$ (corresponding to the "upper" and "lower" Tate-motives, respectively) which I will denote "2"$\{{{\cal X}}_{X_l}\}_l$, and similarly for the RHS. Let $N_l$ be some indecomposable (anisotropic) irreducible summand of the $\oplus_{i}M(P_i)$, and $X_l$ be the respective Grassmannian (corresponding to the lowest Tate-motive in $N_l$). Then (3) implies that ${{\cal X}}_{X_l}$ is isomorphic to some ${{\cal X}}_{Y_r}$, and it follows from @lens [Theorem 4.17] that $\oplus_{j}M(Q_j)$ contains an irreducible summand isomorphic up to shift to $N_l$. By @IMQ [Theorem 3.1, Theorem 3.7], $N_l$ is an extension of (shifted) motives of Čech simplicial schemes of Grassmannians and the respective ${{\cal X}}$'s are determined uniquely by $N_l$ (since such a ${{\cal X}}$ is trivial if and only if the respective Tate-motive splits from $N_l$, and this information determines ${{\cal X}}$ by @IMQ [Theorem 2.3.4]). Hence, we can identify the respective subsets in "2"$\{{{\cal X}}_{X_l}\}_l$ and "2"$\{{{\cal X}}_{Y_r}\}_r$. Canceling $N_l$'s on both sides as well as the mentioned subsets, we reduce to smaller identical collections in "2"(3) and to shorter sums of indecomposables in (2). Continuing this way, we cancel all the indecomposables in (2). This shows that (3) implies (2). The converse is clear, since $N_l$ is an extension of ${{\cal X}}$'s which are uniquely determined by $N_l$ as explained above. Thus, (2) implies that "2"$\{{{\cal X}}_{X_l}\}_l$ $\cong$ "2"$\{{{\cal X}}_{Y_r}\}_r$. <span>$\square$</span> Denote as ${{\cal N}}(k)$ the set of isomorphism (up to shift) classes of indecomposable anisotropic direct summands in the motives of smooth projective quadrics over $k$. Then Theorem \[relations\] shows that we have an embedding of ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$ into a free abelian group generated by the set ${{\cal N}}(k)$: $$\xymatrix{ {{\operatorname{Pic}}_{qua}}/{{\Bbb T}}\,\, \ar@{^{(}->}[r] & \,\oplus_{N\in{{\cal N}}(k)}{{\Bbb Z}}\cdot{\operatorname{det}}(N) }$$ mapping ${\operatorname{det}}(Q)$ to the sum of determinants of anisotropic irreducible summands $M(Q)$ is a direct sum of (Tate-summands are ignored). Indeed, since ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$ is a quotient of a free abelian group generated by ${\operatorname{det}}(Q)$ where $Q$ runs over (isomorphism classes of) smooth projective quadrics over $k$ modulo relations in (1) of Theorem \[relations\], this theorem (together with Definition \[T-equiv\] and the fact that ${\operatorname{det}}$ is stable under Tate-shift) ensures that the map is well-defined and injective, since $\prod_i{\operatorname{det}}(P_i)/\prod_j{\operatorname{det}}(Q_j)=1$ in ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$ if and only if the respective element $\sum_{l}{\operatorname{det}}(N_l)-\sum_{r}{\operatorname{det}}(M_r)$ is zero in $\oplus_{N\in{{\cal N}}(k)}{{\Bbb Z}}\cdot{\operatorname{det}}(N)$. Note also that our map maps ${\operatorname{det}}(Q)$ the same way as the determinant of its anisotropic part. So, we get: \[descr-picq\] The group ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$ is isomorphic to the image of the map: $${\varphi}:\displaystyle\oplus_{Q\in{{\cal Q}}}{{\Bbb Z}}\cdot{\operatorname{det}}(Q){\longrightarrow}\oplus_{N\in{{\cal N}}(k)}{{\Bbb Z}}\cdot{\operatorname{det}}(N),$$ where ${{\cal Q}}$ is the set of isomorphism classes of smooth anisotropic projective quadrics over $k$. In particular, ${{\operatorname{Pic}}_{qua}}$ is a free abelian group. It is an interesting question, if ${\varphi}$ is surjective, or not. It is related to an old and non-trivial motivic question: <span>(@lens [Question 4.16])</span> \[old-question\] Let $Q$ be a smooth projective quadric and $N$ be an indecomposable direct summand in $M(Q)$. Is it true that there exists a smooth projective quadric $P$ over $k$ with direct summand $M$ of $M(P)$, such that $M$ is isomorphic to $N$ up to Tate-shift, and $M_{{\overline{k}}}$ contains $T$? We get: \[conditional-sta\] Suppose, Question \[old-question\] has a positive answer. Then $${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}\cong\oplus_{N\in{{\cal N}}(k)}{{\Bbb Z}}\cdot{\operatorname{det}}(N).$$ Alternatively, in ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$ we can choose a basis $\{e^{q_i}\}_i$, where we take exactly one representative $q'_i$ in every class of stable bi-rational equivalence of anisotropic quadratic forms over $k$. If the Question \[old-question\] has a positive answer, then any $N\in{{\cal N}}(k)$ will be represented by a direct summand in $M(Q'_i)$, for some $i$, a direct summand starting from $T$ (over ${\overline{k}}$). By @lens [Thm 4.13] (taking into account @lens [Cor 4.4] and Proposition \[dir-sum-facts\]) the multiplicity (up to shift) of such a summand in $M(Q'_i)$ is equal to the 1-st higher Witt index $i_1(q'_i)$ of our quadric - see @lens [Sect. 7]. Since $Q_i$ is a subquadric of co-dimension 1 in $Q'_i$, by @lens [Cor 4.9], the multiplicity of $N$ in $M(Q'_i)$ will be exactly 1 more than that in $M(Q_i)$. Indeed, recall that $size(N)={\operatorname{max}}(i|{\operatorname{Ch}}^i(N_{{\overline{k}}})\neq 0)- {\operatorname{min}}(i|{\operatorname{Ch}}^i(N_{{\overline{k}}})\neq 0)$ - @lens [Def. 4.6]. Then, either $i_1(q'_i)=1$, in which case, $size(N)={\operatorname{dim}}(Q'_i)$ - @lens [Prop 4.5] and $M(Q_i)$ does not contain such summands at all, or $i_1(q'_i)>1$, in which case, $N$ is also a direct summand of $M(Q_i)$ of multiplicity $i_1(q_i)=i_1(q'_i)-1$. Also, by the same results, the remaining indecomposable direct summands of $M(Q_i)$ and $M(Q'_i)$ will be of strictly smaller size. Indeed, the "outer shell" (all the Tate-motives split over the generic point) of $M(Q'_i)$ as well as that of $M(Q_i)$ (if $i_1(q'_i)>1$) are completely covered by the copies of $N$, by @lens [Thm. 4.13]. Hence, remaining direct summands start and end in "higher shells", and so, have smaller $size$ - @lens [Cor. 4.14]. Hence, ${\operatorname{det}}(Q'_i)={\operatorname{det}}(N)^{i_1(q'_i)}\cdot {\operatorname{det}}(\text{of smaller motives})$, while ${\operatorname{det}}(Q_i)={\operatorname{det}}(N)^{i_1(q'_i)-1}\cdot {\operatorname{det}}(\text{of smaller motives})$ and so, $e^{q_i}/{\operatorname{det}}(N)={\operatorname{det}}(Q'_i)/({\operatorname{det}}(Q_i)\cdot{\operatorname{det}}(N))$ is expressible in terms of ${\operatorname{det}}(M)$, for $size(M)<size(N)$. By induction on $size(N)$, we get that the map ${\varphi}$ is surjective and the collection $\{e^{q_i}\}_i$ generates ${{\operatorname{Pic}}_{qua}}/{{\Bbb T}}$. The fact that it is linearly independent follows from Theorem \[Dedekind\]. <span>$\square$</span> \[real\] Let $k={{\Bbb R}}$. Then the only indecomposable anisotropic direct summands in the motives of real quadrics are Rost motives corresponding to the pure symbols $\{-1\}^r,\,r\in{{\Bbb N}}$, and so, it follows from Example \[Pfister-decomp\] that the map ${\varphi}$ is surjective and $$({{\operatorname{Pic}}_{qua}}/{{\Bbb T}})({{\Bbb R}})= \operatornamewithlimits{\oplus}_{r\in{{\Bbb N}}}{{\Bbb Z}}\cdot e^{{\langle\!\langle}-1{\rangle\!\rangle}^{r}}.$$ An alternative to the method of Bachmann {#alternative} ======================================== In this section I present an approach which can serve as an alternative to the one used by T.Bachmann. Here I instead employ some ideas of @IMQ. This permits to look at the same questions from a slightly different point of view. Still, there are certain similarities in both approaches. At the same time, the new method is applicable not just to the category generated by the motives of quadrics, but to arbitrary geometric motives and can be used for the study of the whole ${\operatorname{Pic}}$ group of ${{\operatorname{DM}}_{gm}(k)}$. This approach in the end leads to the "motivic category of an extension" which has many remarkable properties and permits to study Voevodsky motives "locally". It will be discussed in details in a separate paper. Let ${{\operatorname{DM}}(k;F)}$ be Voevodsky triangulated category of motives with coefficients in an arbitrary commutative (unital) ring $F$. Let $Q$ be smooth projective variety (not necessarily connected) over $k$. Let $\check{C}ech(Q)$ be the respective Čech simplicial scheme, where $(\check{C}ech(Q))_n=Q^{\times n+1}$ with faces and degeneracy maps being partial diagonals and partial projections. Denote its motive as ${{\cal X}}_{Q}$. We get the natural projection $\check{C}ech(Q){\rightarrow}{\operatorname{Spec}}(k)$, which gives a distinguished triangle $\Delta_Q$ in ${{\operatorname{DM}}(k;F)}$: $$\label{dtQ} {{\cal X}}_{Q}{\longrightarrow}T{\longrightarrow}{\widetilde{{\cal X}}}_{Q}{\longrightarrow}{{\cal X}}_{Q}[1].$$ Motives ${{\cal X}}_{Q}$ and ${\widetilde{{\cal X}}}_{Q}$ are mutually orthogonal idempotents in ${{\operatorname{DM}}(k;F)}$: $${{\cal X}}_{Q}^{\otimes 2}\stackrel{\cong}{{\rightarrow}}{{\cal X}}_{Q};\hspace{5mm} {\widetilde{{\cal X}}}_{Q}^{\otimes 2}\stackrel{\cong}{{\leftarrow}}{\widetilde{{\cal X}}}_{Q}; \hspace{5mm}{{\cal X}}_{Q}\otimes{\widetilde{{\cal X}}}_{Q}\cong 0.$$ Denote as $\pi_Q:{{\operatorname{DM}}(k;F)}{\rightarrow}{{\operatorname{DM}}(k;F)}$ and $\widetilde{\pi}_Q:{{\operatorname{DM}}(k;F)}{\rightarrow}{{\operatorname{DM}}(k;F)}$ the projection functors given by $\otimes{{\cal X}}_{Q}$ and $\otimes{\widetilde{{\cal X}}}_{Q}$, respectively. Then the image of $\pi_Q$ is the full localizing subcategory ${{\operatorname{DM}}_{Q}(k;F)}$ consisting of objects which are stable under $\otimes{{\cal X}}_{Q}$, while the image of $\widetilde{\pi}_Q$ is the full localizing subcategory ${{\operatorname{DM}}_{\widetilde{Q}}(k;F)}$ consisting of objects which are killed by $\otimes{{\cal X}}_{Q}$. It follows from @IMQ [Thm 2.3.2] (which is, basically, @Vo-BKMK [Lem 4.9]) that $$\label{polu-ort} {\operatorname{Hom}}_{{{\operatorname{DM}}(k;F)}}(U,V)=0,\hspace{3mm}\text{for any}\,\, U\in Ob({{\operatorname{DM}}_{Q}(k;F)})\,\,\text{ and }\,\, V\in Ob({{\operatorname{DM}}_{\widetilde{Q}}(k;F)}).$$ At the same time, any object $W$ in ${{\operatorname{DM}}(k;F)}$ has a functorial decomposition: $$\pi_Q(W){\longrightarrow}W{\longrightarrow}\widetilde{\pi}_{Q}(W){\longrightarrow}\pi_Q(W)[1].$$ If $P$ and $Q$ are two smooth projective varieties over $k$, then there are natural identifications: $${{\cal X}}_{P\times Q}\stackrel{\cong}{{\rightarrow}}{{\cal X}}_{P}\otimes{{\cal X}}_{Q};\hspace{5mm} {\widetilde{{\cal X}}}_{P\sqcup Q}\stackrel{\cong}{{\leftarrow}}{\widetilde{{\cal X}}}_{P}\otimes{\widetilde{{\cal X}}}_{Q}.$$ The respective functors $\pi_Q,\widetilde{\pi}_Q,\pi_P,\widetilde{\pi}_P$ commute up to isomorphism, and we have identifications of functors: $\pi_{Q\times P}\cong\pi_{Q}\circ\pi_{P}$ and $\widetilde{\pi}_{Q\sqcup P}\cong\widetilde{\pi}_Q\otimes\widetilde{\pi}_P$. It is also worth recalling (@IMQ [Thm 2.3.4]) that there is an identification ${{\cal X}}_{Q}\cong{{\cal X}}_{P}$ if and only if $P$ has a zero-cycle of degree 1 over every generic point of $Q$, and vice-versa. Let now ${\mathbf X}=\{X_i\}_{i\in I}$ be some finite collection of smooth projective varieties. For any subset $J\subset I$ denote: $${{\cal X}}_{{\mathbf X}_J}:=\left(\otimes_{i\in J}{{\cal X}}_{X_i}\right)\otimes\left(\otimes_{i\not\in J}{\widetilde{{\cal X}}}_{X_i}\right).$$ Note, that these are still idempotents: ${{\cal X}}_{{\mathbf X}_J}^{\otimes 2}\cong{{\cal X}}_{{\mathbf X}_J}$. Denote as $\pi_{{\mathbf X}_J}$ the respective projector. Its image is a full localizing subcategory ${{\operatorname{DM}}_{{\mathbf X}_J}(k;F)}$ of ${{\operatorname{DM}}(k;F)}$ made out of objects which are stable under $\otimes{{\cal X}}_{X_i}$, for $i\in J$, and are killed by $\otimes{{\cal X}}_{X_i}$, for $i\not\in J$. Tensoring the distinguished triangles $\Delta_{X_i}$ from (\[dtQ\]) for every $X_i,\,i\in I$ we obtain what I will call a <span>*distinguished poly-triangle*</span> $\Delta_{{\mathbf X}}$. It presents the unit $T$ of the tensor structure of ${{\operatorname{DM}}(k;F)}$ as an extension of graded pieces ${{\cal X}}_{{\mathbf X}_J}$, for all $J\subset I$. Note, that it follows from (\[polu-ort\]) that, for $J_1,J_2\subset I$, we have: $$\label{polu-poly-ort} {\operatorname{Hom}}_{{{\operatorname{DM}}(k;F)}}(U,V)=0,\,\,\text{for}\,\, U\in Ob({{\operatorname{DM}}_{{\mathbf X}_{J_1}}(k;F)}),\,V\in Ob({{\operatorname{DM}}_{{\mathbf X}_{J_2}}(k;F)}),\,\,\,\text{if}\,\,J_1\not\subset J_2.$$ As any object $W$ of ${{\operatorname{DM}}(k)}$ is an extension of $\pi_{{\mathbf X}_J}(W)$, for $J\subset I$, we get: \[cons-piJ\] The functor: $$\times_{J\subset I}\pi_{{\mathbf X}_J}:{{\operatorname{DM}}(k;F)}{\longrightarrow}\times_{J\subset I}{{\operatorname{DM}}_{{\mathbf X}_{J}}(k;F)}$$ is conservative. Since $\pi_{{\mathbf X}_J}$ is symmetric monoidal, it preserves duals. Hence, using Proposition \[cons-piJ\], we obtain: \[dist-pic-XJ\] The functor: $$\times_{J\subset I}\pi_{{\mathbf X}_J}:{{\operatorname{DM}}_{gm}(k;F)}{\longrightarrow}\times_{J\subset I}{{\operatorname{DM}}_{{\mathbf X}_{J}}(k;F)}$$ detects invertible objects. Moreover, we have: \[inj-pic-XJ\] The functor $\times_{J\subset I}\pi_{{\mathbf X}_J}$ is injective on the ${\operatorname{Pic}}$. Denote as $T_P$, respectively $T_{P\times{\widetilde{Q}}}$, the unit objects of the category ${{\operatorname{DM}}_{P}(k;F)}$, respectively, ${{\operatorname{DM}}_{P\times{\widetilde{Q}}}(k;F)}$. \[l1-inj\] Let $P$ and $Q$ be smooth projective varieties, and $V\in{\operatorname{Pic}}({{\operatorname{DM}}_{P}(k;F)})$ be such an invertible object that $V\otimes{{\cal X}}_{Q}\cong T_{P\times Q}$ and $V\otimes{\widetilde{{\cal X}}}_{Q}\cong T_{P\times\widetilde{Q}}$. Then $V\cong T_P$. Moreover, this identification $\otimes{{\cal X}}_{Q}$ coincides with the original identification of $V\otimes{{\cal X}}_{Q}$ and $T_{P\times Q}$. Let $U\in{\operatorname{Pic}}({{\operatorname{DM}}_{P}(k;F)})$ be the inverse of $V$. Tensoring $V$ and $T_P$ with $\Delta_Q$ we get two exact triangles in ${{\operatorname{DM}}_{P}(k;F)}$, where we can identify the $T_{P\times Q}$-terms: $$\label{diag-TV} \xymatrix{ T_P \ar[r] & T_{P\times\widetilde{Q}} \ar[r] & T_{P\times Q}[1] \ar[r] \ar@<1ex>[d]^{{\varphi}} & T_P[1] \\ V \ar[r] & T_{P\times\widetilde{Q}} \ar[r] & T_{P\times Q}[1] \ar[r] \ar@<1ex>[u]^{\psi} & V[1]. }$$ Since $U=V^{-1}$ is invertible, we have: $${\operatorname{Hom}}(T_{P\times\widetilde{Q}},V[1])={\operatorname{Hom}}(U\otimes T_{P\times\widetilde{Q}},T_P[1])={\operatorname{Hom}}(T_{P\times\widetilde{Q}},T_P[1]).$$ By @IMQ [Thm 2.3.2] (or @Vo-BKMK [Lemma 4.9]), we can identify: $$\begin{split} &{\operatorname{Hom}}(T_P,T_P[1])={\operatorname{Hom}}(T_P,T[1])={\operatorname{H}_{{{\cal M}}}}^{1,0}(\check{C}ech(P),F)={\operatorname{H}}^1_{Zar}(\check{C}ech(P),F),\\ &{\operatorname{Hom}}(T_{P\times Q},T_P[1])={\operatorname{Hom}}(T_{P\times Q},T[1])={\operatorname{H}_{{{\cal M}}}}^{1,0}(\check{C}ech(P\times Q),F)={\operatorname{H}}^1_{Zar}(\check{C}ech(P\times Q),F). \end{split}$$ And since $\check{C}ech(P)$ and $\check{C}ech(P\times Q)$ in étale topology are both contractible to ${\operatorname{Spec}}(k)$, by the Beilinson-Lichtenbaum Conjecture in weight zero (classical), the groups ${\operatorname{H}_{{{\cal M}}}}^{1,0}(\check{C}ech(P),F)$ and ${\operatorname{H}_{{{\cal M}}}}^{1,0}(\check{C}ech(P\times Q),F)$ both embed into ${\operatorname{H}}^{1}_{et}({\operatorname{Spec}}(k),F)$, as the map from Zariski to étale cohomology is injective on the 1-st diagonal - @VoMil [Cor. 6.9]. In particular, the natural map ${\operatorname{Hom}}(T_P,T_P[1])\hookrightarrow{\operatorname{Hom}}(T_{P\times Q},T_P[1])$ is injective. On the other hand, ${\operatorname{Hom}}(T_{P\times Q}[1],T_P[1])={\operatorname{Hom}}(T_{P\times Q},T)=F$, ${\operatorname{Hom}}(T_P[1],T_P[1])={\operatorname{Hom}}(T_P,T)=F$ and the map ${\operatorname{Hom}}(T_P[1],T_P[1]){\rightarrow}{\operatorname{Hom}}(T_{P\times Q}[1],T_P[1])$ is an isomorphism. Considering long exact sequences of ${\operatorname{Hom}}$'s from the triangle $T_{P\times Q}{\rightarrow}T_P{\rightarrow}T_{P\times{\widetilde{Q}}}{\rightarrow}T_{P\times Q}[1]$ to $T_P$ and $V$, we get that both groups: ${\operatorname{Hom}}(T_{P\times\widetilde{Q}},T_P[1])$ and ${\operatorname{Hom}}(T_{P\times\widetilde{Q}},V[1])$ are trivial. Hence the above mutually inverse isomorphisms ${\varphi},\psi$ can be extended to maps of exact triangles. In particular, we get maps $\xymatrix{T_P \ar@<0.5ex>[r]^{f} & V \ar@<0.5ex>[l]^{g}}$. Moreover, since by (\[polu-ort\]), there are no hom's from $T_{P\times Q}[1]$ to $T_{P\times\widetilde{Q}}$, it follows that $(g\circ f)\otimes T_{P\times Q}=(\psi\circ{\varphi})$. Indeed, let $u:T_{P\times Q}[1]{\rightarrow}T_P[1]$, then $u\circ(\psi\circ{\varphi})=(g\circ f)\circ u$. On the other hand, $u\circ((g\circ f)\otimes T_{P\times Q})=(g\circ f)\circ u$, and so, the difference $(\psi\circ{\varphi})-(g\circ f)\otimes T_{P\times Q}$ lifts to a map to $T_{P\times\widetilde{Q}}$ which must be zero. Since ${\operatorname{End}}(T_{P})=F={\operatorname{End}}(T_{P\times Q})$ with the isomorphism (from left to right) given by $\otimes T_{P\times Q}$, and $(\psi\circ{\varphi})$ is invertible, we obtain that $(g\circ f)$ is invertible as well. That means that $T_P$ is a direct summand in $V$. By @Bac18 [Lem. 30], this implies that $V\cong T_P$[^2]. Alternatively, applying the same considerations to the bottom row of (\[diag-TV\]) instead of the top one, one obtains that $(f\circ g)\otimes T_{P\times Q}=({\varphi}\circ\psi)$ and so, $(f\circ g)$ is invertible too, which gives the same isomorphism $V\cong T_P$. <span>$\square$</span> \[l2-inj\] If $P$ and $Q$ are smooth projective varieties, and $V\in{\operatorname{Pic}}({{\operatorname{DM}}(k;F)})$ be such that $V\otimes{{\cal X}}_{P}\cong T_P$, $V\otimes{{\cal X}}_{Q}\cong T_Q$ and $V\otimes{{\cal X}}_{P\times Q}\cong T_{P\times Q}$, and moreover, these identifications commute with the maps $T_P{\leftarrow}T_{P\times Q}{\rightarrow}T_Q$. Then there is an identification $V\otimes{{\cal X}}_{P\sqcup Q}\cong T_{P\sqcup Q}$ and this commutes with the maps $T_P{\rightarrow}T_{P\sqcup Q}{\leftarrow}T_Q$. The natural projections provide a complex $$T_{P\times Q} {\longrightarrow}T_P\oplus T_Q{\longrightarrow}T_{P\sqcup Q}.$$ I claim, that it extends to a distinguished triangle. Indeed, tenzoring it with ${{\cal X}}_Q$ and ${\widetilde{{\cal X}}}_Q$, we get split exact complexes $T_{P\times Q}{\rightarrow}T_{P\times Q}\oplus T_Q{\rightarrow}T_Q$ and $0{\rightarrow}T_{P\times{\widetilde{Q}}}{\rightarrow}T_{P\times{\widetilde{Q}}}$. Since the unit $T$ is an extension of ${{\cal X}}_Q$ and ${\widetilde{{\cal X}}}_Q$, we obtain the Mayer-Vietoris type distinguished triangle: $$T_{P\times Q} {\longrightarrow}T_P\oplus T_Q{\longrightarrow}T_{P\sqcup Q}{\longrightarrow}T_{P\times Q}[1].$$ Tensoring it with $V$ and identifying both in $T_{P\times Q}$ and $T_P\oplus T_Q$ terms $$\xymatrix{ T_{P\times Q} \ar[r] \ar[d]^{\cong}& T_P\oplus T_Q \ar[r] \ar[d]^{\cong} & T_{P\sqcup Q} \ar[r] & T_{P\times Q}[1] \ar[d]^{\cong}\\ T_{P\times Q} \ar[r] & T_P\oplus T_Q \ar[r] & V_{P\sqcup Q} \ar[r] & T_{P\times Q}[1] }$$ we extend it to an isomorphism of distinguished triangles. In particular, we get an identification $T_{P\sqcup Q}\cong V_{P\sqcup Q}$ commuting with the needed maps. <span>$\square$</span> Return to the proof of Proposition \[inj-pic-XJ\]. Let ${\mathbf X}^J=\prod_{i\in J}X_i$, and $T_{{\mathbf X}^J}={{\cal X}}_{{\mathbf X}^J}$. Let us now prove by the decreasing induction on $|J|$ that $V\otimes T_{{\mathbf X}^J}\cong T_{{\mathbf X}^J}$ and these identifications commute with the canonical maps $T_{{\mathbf X}^L}{\rightarrow}T_{{\mathbf X}^J}$, for $J\subset L$. For $J=I$ we have ${{\cal X}}_{{\mathbf X}^I}={{\cal X}}_{{\mathbf X}_I}$, and we get the identification from the conditions of Proposition \[inj-pic-XJ\]. Suppose, we want to prove the inductive step for a given $J$. By the inductive assumption, we have (coherent) isomorphisms for all $T_{{\mathbf X}^{J'}}$ with $J\subsetneqq J'$. It follows from the inductive application of Lemma \[l2-inj\] that we can add to this coherent collection the isomorphism for $T_{{\mathbf X}^J\times(\sqcup_{i\not\in J}X_i)}$. Since $T_{{\mathbf X}^J\times\widetilde{(\sqcup_{i\not\in J}X_i)}}={{\cal X}}_{{\mathbf X}_J}$, from the conditions of Proposition \[inj-pic-XJ\] and Lemma \[l1-inj\], we get that $T_{{\mathbf X}^{J}}$ can be added to our collection as well. Induction step is proven. For $J=\emptyset$ we get an isomorphism $V\cong T$. Hence our map is injective on ${\operatorname{Pic}}$. <span>$\square$</span> To start with, let us reprove the result of T.Bachmann claiming that the reduced motives of affine quadrics are invertible. <span>(Bachmann, @BQ [Thm 33])</span> \[eq-invert\] Let $A_q$ be an affine quadric $\{q=1\}$. Then the reduced motive $\widetilde{M}(A_q)$ is invertible in ${{\operatorname{DM}}_{gm}(k;{{\Bbb Z}}/2)}$. Let ${\operatorname{dim}}(q)=n$ and $q'={\langle}1{\rangle}\perp -q$. Then $A_q=Q'\backslash Q$, and we have an exact triangle in ${{\operatorname{DM}}(k;{{\Bbb Z}}/2)}$: $$M(Q'){\rightarrow}M(Q)(1)[2]\oplus T{\rightarrow}\widetilde{M}(A_q)[1]{\rightarrow}M(Q')[1].$$ For a smooth projective quadric $R$ let us denote as $R^{i}$ the Grassmannian of the $i$-dimensional projective planes on $R$. Since $Q$ is a co-dimension one subquadric of $Q'$, we have that, for any extension $E/k$, the following inequalities on the Witt indices hold: $i_W(q|_E){\leqslant}i_W(q'|_E){\leqslant}i_W(q|_E)+1$. In particular, we have a chain of rational maps between the respective Grassmannians: $$\xymatrix@-0.1pc{Q'^{0} & Q^{0}\ar @{-->}[l] & Q'^{1}\ar @{-->}[l] & Q^{1}\ar @{-->}[l] & \ldots \ar @{-->}[l] }$$ which induces a chain of morphisms of Motives of their Čech simplicial schemes (cf. @BV [proof of Prop 2.3]): $${{\cal X}}_{Q'^{0}}{\leftarrow}{{\cal X}}_{Q^{0}}{\leftarrow}{{\cal X}}_{Q'^{1}}{\leftarrow}{{\cal X}}_{Q^{1}}{\leftarrow}{{\cal X}}_{Q'^{2}}{\leftarrow}{{\cal X}}_{Q^{2}}{\leftarrow}\ldots.$$ Let us rename it as: $${{\cal X}}_{X_1}{\leftarrow}{{\cal X}}_{X_2}{\leftarrow}{{\cal X}}_{X_3}{\leftarrow}\ldots{\leftarrow}{{\cal X}}_{X_n}.$$ Consider the collection ${\mathbf X}=\{X_i\}_{i=1}^n$. We can use the standard poly-binary approach as above, but since our motives of Čech simplicial schemes are ordered, we can substitute it by an "ordered" version. We have a Postnikov system in ${{\operatorname{DM}}(k;{{\Bbb Z}}/2)}$: $$\xymatrix{ & {{\cal X}}_{X_{0/1}} \ar[d]^{[1]} & {{\cal X}}_{X_{1/2}} \ar[d]^{[1]} & & & {{\cal X}}_{X_{n-1/n}} \ar[d]^{[1]} & {{\cal X}}_{X_{n/n+1}} \ar[d]^{[1]}\\ T \ar[ru] & {{\cal X}}_{X_1} \ar[l] \ar[ru] \ar@{}[lu]|-(0.2){\star} & {{\cal X}}_{X_2} \ar[l] \ar@{}[lu]|-(0.2){\star} & \ldots & {{\cal X}}_{X_{n-1}} \ar[ru] & {{\cal X}}_{X_n} \ar[l] \ar[ru] \ar@{}[lu]|-(0.2){\star} & 0 \ar[l] \ar@{}[lu]|-(0.35){\star} }$$ where ${{\cal X}}_{X_{i/i+1}}={{\cal X}}_{X_i}\otimes{\widetilde{{\cal X}}}_{X_{i+1}}$. Thus, the unit $T$ is an extension of idempotents ${{\cal X}}_{X_{i/i+1}}$, $i=1,\ldots,n$. Note that ${{\cal X}}_{X_i}\otimes{{\cal X}}_{X_j}={{\cal X}}_{{\operatorname{max}}(i,j)}$, while ${\widetilde{{\cal X}}}_{X_i}\otimes{\widetilde{{\cal X}}}_{X_j}={\widetilde{{\cal X}}}_{{\operatorname{min}}(i,j)}$, and so ${{\cal X}}_{X_{i/i+1}}\otimes{{\cal X}}_{X_j}={{\cal X}}_{X_{i/i+1}}$, for $j{\leqslant}i$, and is zero otherwise. Let $N'=n-1={\operatorname{dim}}(Q')$ and $N=n-2={\operatorname{dim}}(Q)$. By @IMQ [Prop 3.6], for a quadric $R$ of dimension $M$, we have an exact triangle in ${{\operatorname{DM}}(k;{{\Bbb Z}}/2)}$: $$\oplus_{l=0}^{k}{{\cal X}}_{R^{k/k+1}}(M-l)[2M-2l]{\longrightarrow}M(R)\otimes{{\cal X}}_{R^{k/k+1}}{\longrightarrow}\oplus_{l=0}^{k}{{\cal X}}_{R^{k/k+1}}(l)[2l]{\longrightarrow}\ldots,$$ where the maps are induced by the plane section cycles $T(M-l)[2M-2l]{\rightarrow}M(R)$ and the dual ones $M(R){\rightarrow}T(l)[2l]$. (in loc. cit. it is stated for odd-dimensional quadrics only as motives were integral there, but the same arguments work for all quadrics for motives with ${{\Bbb Z}}/2$-coefficients). Considering $R=Q'$ and $R=Q$, and tensoring the above triangle with the appropriate ${{\cal X}}_{X_{i/i+1}}$ (with $k=[i-1/2]$, resp. $k=[i-2/2]$), we obtain exact triangles in ${{\operatorname{DM}}(k;{{\Bbb Z}}/2)}$: $$\begin{split} \oplus_{l=0}^{[i-1/2]}{{\cal X}}_{X_{i/i+1}}(N'-l)[2N'-2l]{\longrightarrow}M(Q')\otimes{{\cal X}}_{X_{i/i+1}}{\longrightarrow}\oplus_{l=0}^{[i-1/2]}{{\cal X}}_{X_{i/i+1}}(l)[2l]{\longrightarrow}\ldots;\\ \oplus_{l=0}^{[i-2/2]}{{\cal X}}_{X_{i/i+1}}(N-l)[2N-2l]{\longrightarrow}M(Q)\otimes{{\cal X}}_{X_{i/i+1}}{\longrightarrow}\oplus_{l=0}^{[i-2/2]}{{\cal X}}_{X_{i/i+1}}(l)[2l]{\longrightarrow}\ldots, \end{split}$$ Thus $\widetilde{M}(A_q)\otimes{{\cal X}}_{X_{i/i+1}}\cong{{\cal X}}_{X_{i/i+1}}(i/2)[i-1]$, for $i$-even, and $\cong{{\cal X}}_{X_{i/i+1}}(N'-(i-1/2))[2N'-i+1]$, for $i$-odd. In any case, $\widetilde{M}(A_q)\otimes{{\cal X}}_{X_{i/i+1}}$ is invertible in ${{\operatorname{DM}}_{X_{i/i+1}}(k;{{\Bbb Z}}/2)}$, for every $i$. By the "ordered" version of Proposition \[dist-pic-XJ\], the functor $$\times(\otimes{{\cal X}}_{X_{i/i+1}}):{{\operatorname{DM}}_{gm}(k;{{\Bbb Z}}/2)}{\rightarrow}\times_i{{\operatorname{DM}}_{X_{i/i+1}}(k;{{\Bbb Z}}/2)}$$ is conservative and detects invertible objects. Hence, $\widetilde{M}(A_q)$ is invertible in ${{\operatorname{DM}}(k;{{\Bbb Z}}/2)}$. <span>$\square$</span> Denote as $Tate_{{\mathbf X}_{J}}=Tate({{\operatorname{DM}}_{{\mathbf X}_{J}}(k;F)})$ the thick tensor triangulated subcategory of ${{\operatorname{DM}}_{{\mathbf X}_{J}}(k;F)}$ generated by the Tate motives $T_{{\mathbf X}_{J}}(a)$. Then ${\operatorname{Pic}}(Tate_{{\mathbf X}_{J}})$ contains the subgroup ${{\Bbb T}}$ consisting of Tate-motives $T_{{\mathbf X}_{J}}(a)[b],\,a,b\in{{\Bbb Z}}$. \[z+z\] Suppose the category ${{\operatorname{DM}}_{{\mathbf X}_{J}}(k;F)}$ is non-zero. Then ${{\Bbb T}}\cong{{\Bbb Z}}\oplus{{\Bbb Z}}$. Suppose that $T_{{\mathbf X}_{J}}\cong T_{{\mathbf X}_{J}}(a)[b]$, for some $(a)[b]\neq (0)[0]$. Our projector ${{\cal X}}_{{\mathbf X}_{J}}$ has the form ${{\cal X}}_P\otimes{\widetilde{{\cal X}}}_Q$ for some smooth projective $P$ and $Q$. This projector will be non-zero if and only if $Q$ has no zero-cycle of degree 1 over the function field $E$ of some connected component of $P$. Indeed, it follows from @IMQ [Thm 2.3.4, Thm 2.3.5] that if $Q$ has a zero-cycle of degree $1$ over each such function field, then $M(P)\otimes{\widetilde{{\cal X}}}_Q=0$. Since ${{\cal X}}_P$ belongs to the localizing subcategory generated by $M(P)$, ${{\cal X}}_P\otimes{\widetilde{{\cal X}}}_Q$ is zero as well. For the converse, it is sufficient to restrict to $E$ and observe that ${\widetilde{{\cal X}}}_Q|_E$ is non-zero by @IMQ [Thm 2.3.3]. Hence, in our situation, ${{\cal X}}_P\otimes{\widetilde{{\cal X}}}_Q|_E={\widetilde{{\cal X}}}_{Q_E}$ is still non-zero. Thus, by passing to $E$, we can assume that our projector is ${\widetilde{{\cal X}}}_Q$. As we have $(a)[b]$-periodicity, we obtain: $$0\neq {\operatorname{Hom}}(T_{\widetilde{Q}},T_{\widetilde{Q}})={\operatorname{Hom}}(T_{\widetilde{Q}},T_{\widetilde{Q}}(a)[b])= {\operatorname{Hom}}(T_{\widetilde{Q}},T_{\widetilde{Q}}(-a)[-b]).$$ From the fact that ${\operatorname{Hom}}(T_Q,T_{\widetilde{Q}}(*)[*'])=0$, we have: ${\operatorname{Hom}}(T_{\widetilde{Q}},T_{\widetilde{Q}}(c)[d])={\operatorname{Hom}}(T,T_{\widetilde{Q}}(c)[d])$, and we have an exact sequence ${\operatorname{Hom}}(T,T_Q(c)[d+1]){\leftarrow}{\operatorname{Hom}}(T,T_{\widetilde{Q}}(c)[d]){\leftarrow}{\operatorname{Hom}}(T,T(c)[d])$. The group ${\operatorname{Hom}}(T,T(c)[d])$ is zero, for $d>c$ and for $c<0$, while the group ${\operatorname{Hom}}(T,T_Q(c)[d+1])$ is zero, for $d{\geqslant}c$. Thus, one of the groups: ${\operatorname{Hom}}(T_{\widetilde{Q}},T_{\widetilde{Q}}(a)[b])$, or ${\operatorname{Hom}}(T_{\widetilde{Q}},T_{\widetilde{Q}}(-a)[-b])$ will be zero - a contradiction. Hence, all the Tate-motives $T_{{\mathbf X}_{J}}(a)[b]$ are different. <span>$\square$</span> For ${\mathbf X}=\{X_i\}_{i\in I}$, denote as ${\underline{2^I}}$ the set of those $J\subset I$, for which the projector ${{\cal X}}_{{\mathbf X}_J}$ is non-zero. \[dist-TJ\]
{'source': 'arXiv_out/1802'}