## Smooth models of motivic spheres and the clutching construction

Aravind Asok ∗

Brent Doran †

Jean Fasel

## Abstract

We study the representability of motivic spheres by smooth varieties. We show that certain explicit 'split' quadric hypersurfaces have the A 1 -homotopy type of motivic spheres over the integers and that the A 1 -homotopy types of other motivic spheres do not contain smooth schemes as representatives. We then study some applications of these representability/nonrepresentability results to the construction of new exotic A 1 -contractible smooth schemes. Then, we study vector bundles on even dimensional 'split' quadric hypersurfaces by developing an algebro-geometric variant of the classical construction of vector bundles on spheres via clutching functions.

## Contents

| 1                                                                   |   Introduction 1 |
|---------------------------------------------------------------------|------------------|
| 2 Geometric models of motivic spheres                               |                5 |
| 3 A 1 -contractible subvarieties of quadrics                        |               10 |
| 4 Clutching functions for principal G -bundles on algebraic spheres |               13 |

## 1 Introduction

This note is concerned with several results about spheres in the Morel-Voevodsky A 1 -homotopy theory [MV99], also known as motivic spheres. First, we make precise the idea that (split) smooth affine quadric hypersurfaces are motivic spheres. Second, we try to better understand the situations in which motivic spheres admit models as smooth schemes. Finally, we use homotopic ideas in an attempt to understand how to explicitly construct all vector bundles on split smooth affine quadrics. We now explain our results more precisely.

Given a commutative ring k , the Morel-Voevodsky A 1 -homotopy category H ( k ) is constructed by first enlarging the category Sm k of schemes smooth over Spec k to a category Spc k of spaces over Spec k and then performing a categorical localization. The category Spc k has all small limits and colimits, but the functor Sm k → Spc k does not preserve all colimits that exist in Sm k , e.g., quotients in Sm k that exist need not coincide with quotients computed in Spc k .

∗ Aravind Asok was partially supported by National Science Foundation Award DMS-1254892.

† Brent Doran was partially supported by Swiss National Science Foundation Award 200021 138071.

The resulting homotopy theory of schemes bears a number of similarities to the classical homotopy category. For example, there are two objects of Spc k that play a role analogous to that played by the circle in classical homotopy theory. On the one hand, one can view the circle as I/ { 0 1 , } where I is the unit interval [0 , 1] . If we view A 1 as analogous to the unit interval, we can form the quotient space A 1 / { 0 1 , } (pointed by the image of { 0 1 , } in the quotient), and we call this space S 1 s . This quotient does exist as a singular scheme (i.e., a nodal curve). However, it is not a priori clear whether S 1 s is isomorphic in H ( k ) to a smooth scheme. On the other hand, if we emphasize the fact that S 1 has a group structure, then we could also think of G m (pointed by 1 ) as a version of the circle. Of course, G m is a smooth k -scheme.

General motivic spheres are obtained by taking smash products (this notion makes sense in Spc k because of existence of colimits) of copies of S 1 s and G m [MV99, § 3.2]; by convention, we set S 0 s to be the disjoint union of two copies of Spec k . While in classical topology spheres are by construction smooth manifolds, the example of S 1 s shows that, in stark contrast, the following question in A 1 -homotopy theory has no obvious answer.

Question 1. Which motivic spheres S i s ∧ G ∧ j m have the A 1 -homotopy type of a smooth scheme?

Throughout this paper, we consider the smooth affine quadric hypersurfaces

$$\text{Throughout this paper, we consider the smooth affine quadric hypersurfaces} \\ Q _ { 2 m - 1 } \coloneqq & \text{Spec} k [ x _ { 1 }, \dots, x _ { m }, y _ { 1 }, \dots, y _ { m } ] / \langle \sum _ { i } x _ { i } y _ { i } - 1 \rangle, \text{ and} \\ Q _ { 2 m } \coloneqq & \text{Spec} k [ x _ { 1 }, \dots, x _ { m }, y _ { 1 }, \dots, y _ { m }, z ] / \langle \sum _ { i } x _ { i } y _ { i } - z ( 1 + z ) \rangle. \\ \text{immediately verifies that all of these hypersurfaces are in fact smooth over Spec} k.$$

One immediately verifies that all of these hypersurfaces are in fact smooth over Spec k .

Note that Q 0 is the subscheme of A 1 given by the two points 0 1 , and thus coincides with S 0 s . The hypersurface Q 2 m -1 is well-known to be A 1 -weakly equivalent to A m \ 0 (by projection onto x , . . . , x 1 m ) and the latter is A 1 -weakly equivalent to the motivic sphere S m -1 s ∧ G ∧ m m [MV99, Example 2.20]. Our first result provides an explicit description of the A 1 -homotopy type of the other family of quadrics, thus answering Question 1 in a collection of cases.

Theorem 2 (See Theorem 2.2.5) . Let k be a commutative unital ring and n ≥ 0 an integer. There are explicit A 1 -weak equivalences

$$Q _ { n } \sim _ { \mathbb { A } ^ { 1 } } & \begin{cases} S _ { s } ^ { m - 1 } \wedge \mathbf G _ { m } ^ { \wedge m } & \text{if $n=2m-1$ and} \\ S _ { s } ^ { m } \wedge \mathbf G _ { m } ^ { \wedge m } & \text{if $n=2m$} \end{cases}$$

of spaces over Spec k .

Remark 3 . The interesting part of Theorem 2 is the case where n = 2 m , and the result was known previously for m = 1 2 , by special geometric considerations. On the other hand, the S 1 -stable homotopy types of the quadrics Q 2 m were known over fields having characteristic unequal to 2 by unpublished work of Morel [Mor08], and Dugger and Isaksen [DI08]. We emphasize that Theorem 2 is an unstable result. In contrast to the corresponding proof for n odd, it uses the Nisnevich topology in an essential way, via the Morel-Voevodsky homotopy purity theorem.

While Theorem 2 tells us that some motivic spheres do have the A 1 -homotopy type of smooth schemes, the following result shows that not all motivic spheres have this property.

Proposition 4 (See Proposition 2.3.1) . If i, j are integers with i &gt; j , the spheres S i s ∧ G ∧ j m do not have the A 1 -homotopy type of smooth (affine) schemes.

Classically, S n admits an open cover by two contractible subspaces homemorphic to R n (via stereographic projection), namely S n \{ N } and S n \{ S } , where N and S are the North and South poles. The intersection of these two open sets is homeomorphic to the total space of a line bundle over S n -1 and, in particular, homotopy equivalent to S n -1 . Pursuing the analogy between the classical spheres and the quadrics further, one can ask whether analogous covers exist in algebraic geometry. We begin by establishing the existence of A 1 -contractible open subschemes covering Q 2 n ; the main results are summarized in the following theorem (see Subsection 2.1 and Remark 3.1.2 for detailed explanations of the connections with [AD07]).

Theorem 5 (See Theorem 3.1.1 and Corollary 3.2.3) . Suppose k is a commutative unital ring. Write X 2 m for the open subscheme of Q 2 m defined as the complement of x 1 = · · · = x m = 0 , z = -1 .

- 1. The variety X 2 m is A 1 -contractible over Spec k .
- 2. For m ≥ 3 , X 2 m cannot be realized as a quotient of an affine space by a (scheme-theoretically) free action of a unipotent k -group scheme.

The identification of the A 1 -homotopy type of spheres has a number of applications. Pursing the analogy with the classical geometry of S n further, recall that the open cover of S n described above also yields the 'clutching construction' which provides a bijection between pointed homotopy classes of maps S n -1 → GL n ( R ) and isomorphism classes of real vector bundles on S n . We pursue an analogous construction in algebraic geometry. The open subscheme X 2 m has an 'opposite' defined as the complement of x 1 = · · · = x m = z = 0 ; this subscheme is A 1 -contractible as well (if 2 is a unit in k , then X 2 m and its opposite are isomorphic algebraic varieties). When m = 1 , the intersection of X 2 m and its opposite is isomorphic to A 1 × G m . For m ≥ 2 , the situation is more complicated as the intersection of X 2 m and its opposite is a quasi-affine but not affine variety, so every regular function on the intersection extends to Q 2 m itself. As a consequence, considering the intersection of X 2 m and its opposite does not produce a reasonable analog of the clutching construction.

Instead, we produce two variants (abstract and concrete) of the clutching construction (see Theorems 4.1.6 and 4.3.6). The abstract clutching construction works rather generally and, roughly speaking, yields a surjection from the set of 'naive' A 1 -homotopy classes of pointed maps from Q 2 m -1 to GL r to the set of isomorphism classes of rank r vector bundles on Q 2 m ; this result holds over Z (or, more generally, any base ring that is smooth over a Dedekind domain with perfect residue fields).

The concrete clutching construction refines the abstract clutching construction and shows how to produce explicit GL m -valued 1 -cocycles on a suitable open cover of Q 2 m realizing any rank r vector bundle, at least under suitable additional restrictions on the base k . More precisely, consider the open affine subschemes V 0 2 m := D z ⊂ Q 2 m and V 1 2 m := D 1+ z ⊂ Q 2 m . The subschemes V 1 2 m and V 0 2 m are not A 1 -contractible. Nevertheless, there is an explicit morphism ψ m : V 0 2 m ∩ V 1 2 m → Q 2 m -1 such that the vector bundle on Q 2 m attached to a pointed morphism f : Q 2 m -1 → GL r is obtained by gluing copies of the trivial bundle of rank r on V i 2 m along V 0 2 m ∩ V 1 2 m via the composite map f ◦ ψ m . One consequence of this construction is the following result, which is perhaps of independent interest.

Theorem 6 (See Theorem 4.3.6(2)) . If k is a regular ring, then for every integer n ≥ 1 , there exists an explicit matrix β m : Q 2 m -1 → GL m , constructed by Suslin, such that the rank n vector bundle on Q 2 m obtained by gluing trivial bundles via the automorphism β m ◦ ψ m yields a generator of the rank 1 free K k 0 ( ) -module ˜ K Q 0 ( 2 m ) .

These results have a number of applications which will be developed elsewhere, but which we mention here for the sake of context. Naive homotopy classes of maps from a smooth affine k -scheme X to Q 2 n appear in problems related to complete intersection ideals [Fas15, § 2]. On the other hand, the set of naive A 1 -homotopy classes of maps from a smooth affine scheme to Q 2 n was identified, at least if k is an infinite field having characteristic unequal to 2 , with [ X,Q 2 n ] A 1 in [AHW15b, Theorem 4.2.2]. These ideas will be put together with the results established here in [AF15]. Among other things, the set [ X,Q 2 m ] A 1 is a 'motivic cohomotopy group' (provided the dimension of X is 'small' compared to m ): it can be equipped with a functorial abelian group structure and this additional structure can be used to study various classical problems, e.g., related to comparison of 'Euler class groups.'

## Note on prerequisites

We close this introduction with a warning: the prerequisites required to read this paper are nonuniform. The proofs of Theorem 2 and (the first part of) Theorem 5 use only basic algebraic geometry, standard results about cofiber sequences in pointed model categories [Hov99, Chapter 6] and knowledge of the basic aspects of [MV99] (see the preliminaries for further discussion regarding relaxation of hypotheses on the base); we have attempted to make them as accessible as possible. The proofs of Proposition 4 and the second part of Theorem 5 are slightly more algebrogeometrically involved: the first requires some knowledge of properties of motivic cohomology [MVW06] while the second requires knowledge about Cousin complexes for coherent sheaves. The results of Section 4 on the clutching construction require some familiarity with some of the results of [AHW15a, AHW15b] (which we review), together with some ideas from [Mor12]. The proof of Theorem 6 requires familiarity with some results of Suslin.

## Acknowledgements

Some of the results claimed in this paper were announced in talks by first and second named authors as early as 2007. For example, the original proof of Theorem 2 we envisioned, specifically the description of A 1 -homotopy types of Q n for n even ≥ 6 , was an elementary geometric argument that was supposed to work over Spec Z ; this argument contained a gap. The authors would also like to thank Paul Balmer, Dan Isaksen, Christian Haesemeyer, and Fabien Morel, for useful discussions over the course of the project and Matthias Wendt for a number of useful comments on a first draft of this note. Finally, we thank Marc Hoyois for helpful discussions about the A 1 -homotopy category over non-Noetherian base schemes.

## Preliminaries/Notation

Throughout the paper the phrase ' k is a ring' will always mean ' k is a commutative unital ring'. We write Sm k for the category of schemes that are separated, finite type and smooth over Spec k ,

and Spc k , i.e., the category of 'spaces over k ', is the category of simplicial presheaves on Sm k . We write H Nis s ( k ) (resp. H Nis s, · ( k ) ) for the Nisnevich local homotopy category (as in [MV99, § 2.1]) and H ( k ) (resp. H · ( k ) ) for the (pointed) Morel-Voevodsky A 1 -homotopy category [MV99].

The assumptions here require further discussion if k is not Noetherian of finite Krull dimension, which are the explicit assumptions on k used in [ MV99 in the construction of the Morel-Voevodsky ] A 1 -homotopy category. In contrast to [MV99], but following [AHW15a], we define the Nisnevich topology on Sm k to be the topology generated by finite families of ´ etale maps { U i → X } admitting a splitting sequence by finitely presented closed subschemes, in the sense of [MV99, § 3, p. 97]. This definition, which is equivalent to the 'standard' definition [MV99, § 3 Definition 1.2] if k is Noetherian by [MV99, § 3 Lemma 1.5], is studied in more detail in [Lur11, § 1]. We refer the reader to [Hoy14, Appendix C] for a 'good' version of the A 1 -homotopy category over a quasi-compact, quasi-separated base scheme. We note here that arbitrary affine schemes are quasicompact and quasi-separated. In addition, in the construction of the A 1 -homotopy category when k is not Noetherian, one imposes Nisnevich descent (not hyperdescent) as discussed in [AHW15a, § 3.1] and A 1 -invariance.

As usual, smooth schemes are, via the Yoneda embedding, identified with their corresponding representable (simplicially constant) presheaves. If X ∈ Spc k , we write X + for the pointed space X ∐ Spec k , pointed by the disjoint copy of Spec k . If Y → X is a closed immersion of smooth scheme, we write ν Y/X for the normal bundle to Y in X . In that case, Th ν ( Y/X ) is the Thom space of the vector bundle ν Y/X as in [MV99, § 3 Definition 2.16].

↦

Suppose ( X , x ) and ( Y , y ) are pointed spaces. We use the notation Σ i s X := S i s ∧ X for simplicial suspension, and suppress the base-point. Likewise, we write R Ω 1 s X for the derived simplicial loops of X : i.e., first apply Nisnevich fibrant replacement and then apply Ω 1 s . We set [( X , x ) , ( Y , y )] s := Hom H Nis s, · ( k ) (( X , x ) , ( Y , y )) , [( X , x ) , ( Y , y )] A 1 := Hom H · ( k ) (( X , x ) , ( Y , y )) [ X Y , ] s := Hom H Nis s ( k ) ( X Y , ) and [ X Y , ] A 1 := Hom H ( k ) ( X Y , ) . Finally, if ( X , x ) is a pointed space, we write π A 1 i ( X , x ) for the Nisnevich sheaf associated with the presheaf U → Hom H · ( k ) ( S i s ∧ U , + ( X , x )) (such sheaves are typically denoted with boldface symbols).

## 2 Geometric models of motivic spheres

This section is devoted to establishing Theorem 2 from the introduction. The argument proceeds by induction. Subsection 2.1 gives an elementary geometric argument showing that Q 2 is A 1 -weakly equivalent to P 1 , and a related (mostly elementary) argument showing that Q 4 is A 1 -weakly equivalent to ( P 1 ) ∧ 2 ; the first computation is the base-case for the induction argument. Subsection 2.2 contains the proof of the main result, which is Theorem 2.2.5. Finally, Subsection 2.3 establishes some non-geometrizability results for motivic spheres.

## 2.1 On the A 1 -homotopy types of Q 2 and Q 4

Proposition 2.1.1. If k = Z , then there is a (pointed) A 1 -weak equivalence Q 2 ∼ → P 1 .

Proof. We can identify Q 2 as the quotient of SL 2 by its maximal torus T := diag t, t ( -1 ) = ∼ G m acting by right multiplication; this follows from a straightforward computation of invariants. If B

is the linear algebraic group of upper triangular matrices with determinant 1 , then the closed immersion group homomorphism T ↪ → B induces a morphism of homogeneous spaces SL /T 2 → SL /B 2 . This morphism of homogeneous spaces is Zariski locally trivial with fibers isomorphic to A 1 (use the standard open cover of P 1 by two copies of A 1 ), in particular an A 1 -weak equivalence. To conclude, we observe that the quotient SL /B 2 is isomorphic to P 1 , and we can make this morphism a pointed morphism by picking any k -point in SL /T 2 and looking at the image of this k -point in P 1 .

There are two 'natural' (pointed) A 1 -weak equivalences of Q 2 → P 1 that we know. In the previous proof, the A 1 -weak equivalence we wrote down arose from the structure of Q 2 as a homogeneous space, but as we now explain this seems to be an 'exceptional' low-dimensional phenomenon. If k is a ring in which 2 is invertible, the varieties Q 2 n are all isomorphic to homogeneous spaces for suitable orthogonal groups, but this seems false if 2 is not invertible in k .

The other 'natural' (pointed) A 1 -weak equivalence arises as follows. The locus of points where x 1 = 0 and z = -1 is a closed subscheme of Q 2 isomorphic to A 1 ; the open complement of this closed subscheme is isomorphic to A 2 . The normal bundle to this embedding of A 1 comes equipped with a prescribed trivialization, and we can use homotopy purity together with A 1 -contractibility of A 2 to construct another A 1 -weak equivalence of Q 2 with P 1 . We now explain how to identify the A 1 -homotopy type of Q 4 using the method just sketched.

Proposition 2.1.2. If k = Z , then there is a (pointed) A 1 -weak equivalence Q 4 ∼ → P 1 ∧ 2 .

Proof. Let E 2 be the closed subscheme of Q 4 defined by x 1 = x 2 = 0 and z = -1 . Observe that E 2 is isomorphic to A 2 . The normal bundle to E 2 is trivial, and we fix a choice of trivialization. Let X 4 := Q 4 \ E 2 . The homotopy purity theorem gives a cofiber sequence of the form

$$X _ { 4 } \longrightarrow Q _ { 4 } \longrightarrow T h ( \nu _ { E _ { 2 } / Q _ { 4 } } ) \longrightarrow \cdots.$$

The choice of trivialization determines an isomorphism Th ν ( E /Q 2 4 ) ∼ = P 1 ∧ 2 ∧ ( E 2 ) + . The map E 2 → Spec k is an A 1 -weak equivalence, it follows that Th ν ( E /Q 2 4 ) ∼ = P 1 ∧ 2 in H · ( k ) . We showed in [AD08, Corollary 3.1 and Remark 3.3] that X 4 is A 1 -contractible over Spec Z (indeed, it is the base of a Zariski locally trivial morphism with total space A 5 and fibers isomorphic to A 1 ). Properness of the A 1 -local model structure [MV99, § 2 Theorem 3.2] guarantees that pushouts of A 1 -weak equivalences along cofibrations are A 1 -weak equivalences. Applying this fact to the diagram ∗ ← X 4 → Q 4 , one concludes that the map Q 4 → Th ν ( E /Q 2 4 ) is an A 1 -weak equivalence and the proposition follows by combining the stated isomorphisms.

Remark 2.1.3 . The variety Q 4 is isomorphic to the variety HP 1 studied in [PW10, § 3]. The variety we call X 4 appears in the 'cell decomposition' of HP 1 described in [PW10, Theorem 3.1] (it is the variety they call X 0 ).

## 2.2 On the A 1 -homotopy type of Q 2 n , n ≥ 3

## The 'octahedral' axiom in a pretriangulated category

If C is a pointed model category, then recall that one can understand the homotopy cofiber of a composite in terms of the homotopy cofibers of the constituents by means of the following result,

which is sometimes called the 'octahedral' axiom, by analogy with a corresponding result for stable model categories [Hov99, Proposition 6.3.6].

Proposition 2.2.1. Suppose given a sequence of maps in a pointed model category C of the form:

$$X \stackrel { u } { \longrightarrow } Y \stackrel { v } { \longrightarrow } Z.$$

If U = hocofib( u ) , V = hocofib( uv ) , W = hocofib( v ) , then there is a commutative diagram of the form

u

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0413v3-figure-a024ba43-00f9-476d-aefc-b13b07f9f752.jpg)

/d15

/d15

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

where the rows and the third column are cofiber sequences, and the maps r and s are the maps induced by functoriality of the homotopy cofiber construction.

## The induction step

Consider the quadric Q 2 n introduced in the introduction over Z . The open subscheme U n defined by the non-vanishing of x n is isomorphic to A 2 n -1 × G m (with coordinates ( x , . . . , x 1 n -1 , y 1 , . . . , y n -1 , z ) on the first factor and x n on the second factor). The closed complement of this open subscheme, which we will call Z n , is isomorphic to Q 2 n -2 × A 1 , with coordinates x , . . . , x 1 n -1 , y 1 , . . . , y n -1 , z on the first factor and y n on the second factor. The subvariety Z n has a distinguished point '0' corresponding to x 1 = · · · = x n = y 1 = · · · = y n = z = 0 . Moreover, the normal bundle to Z n in Q 2 n is a line bundle equipped with a chosen trivialization (coming from x n ).

The closed subscheme of U n defined by x 1 = · · · = x n -1 = y 1 = · · · = y n -1 = z = 0 is isomorphic to G m with coordinate x n and the inclusion map

$$G _ { \text{m} } \longrightarrow U _ { n }$$

is a cofibration and A 1 -weak equivalence (it even admits a retraction). The closed subscheme of Q 2 n defined by x 1 = · · · = x n -1 = y 1 = · · · = y n -1 is isomorphic to Q 2 . Imposing further the condition y n = 0 , the resulting variety is isomorphic to two copies of A 1 (corresponding to z = 0 and z = -1 ). Imposing yet further the condition z = 0 gives a subvariety of Q 2 n isomorphic to A 1 with coordinate x n . Note that, by construction, the intersection of this copy of the affine line with Z n is precisely the point '0', i.e., there is a pullback square (of smooth schemes) of the form:

/d47

/d47

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0413v3-figure-36db94aa-c565-4e75-9351-ffbf8a858095.jpg)

/d47

Moreover, the natural map from the pullback of the normal bundle to Z n in Q 2 n to the normal bundle of 0 in A 1 is an isomorphism compatible with the specified trivializations.

/d47

/d47

/d47

/d47

It follows from the construction of the purity isomorphism [MV99, § 3 Theorem 2.23] that, given a pullback square as in the previous paragraph, the diagram

/d47

/d47

/d15

/d15

/d15

/d15

/d47

$$\mathbb { A } ^ { 1 } / \mathbf G _ { \text{m} } & \xrightarrow { T h ( \nu _ { 0 / \mathbb { A } ^ { 1 } } ) } \\ \Big \downarrow \\ Q _ { 2 n } / U _ { n } & \xrightarrow { T h ( \nu _ { Z _ { n } } / Q _ { 2 n } ) }$$

/d47

is commutative in H · ( k ) (cf. [Voe03a, Lemma 2.1]). Moreover, the specified trivializations yield A 1 -weak equivalences of the form Th ν ( 0 / A 1 ) = ∼ P 1 and Th ν ( Z /Q n 2 n ) = ∼ P 1 ∧ ( Z n ) + by [MV99, § 3 Proposition 2.17.2] and their compatibility ensures that the diagram

/d47

/d47

/d15

/d15

/d15

/d15

/d47

$$T h ( \nu _ { 0 / \mathbb { A } ^ { 1 } } ) \xrightarrow { \mathbb { P } ^ { 1 } } \mathbb { P } ^ { 1 } \\ \downarrow \downarrow _ { T h ( \nu _ { Z _ { n } / Q _ { 2 n } } ) \xrightarrow { \mathbb { P } ^ { 1 } } \wedge ( Z _ { n } ) _ { + } }$$

/d47

commutes (this time in the category of pointed spaces). Furthermore, under these identifications, we can make the right vertical map in the diagram very explicit. Indeed, consider the map S 0 s → ( Z n ) + sending the base-point of S 0 s to the base-point of ( Z n ) + and the point 1 of S 0 s to the point ' 0 ' in Z n described above; the right hand vertical map is the P 1 -suspension of this map.

Now, we apply Proposition 2.2.1 to the composition

$$( G _ { m } ) _ { + } \stackrel { u } { \longrightarrow } ( \mathbb { A } ^ { 1 } ) _ { + } \stackrel { v } { \longrightarrow } ( Q _ { 2 n } ) _ { + }.$$

Observe that the cofiber of v is Q 2 n pointed with the image of '0' , while the cofiber of u is, by means of the purity isomorphism, P 1 . It remains to identify the cofiber of ( G m + ) → ( Q 2 n ) + , which is the content of the next lemma.

Lemma 2.2.2. If k = Z , then the cofiber of the map ( G m + ) → ( Q 2 n ) + is A 1 -weakly equivalent to P 1 ∧ ( Q 2 n -2 ) + .

Proof. The projection map Z n → Q 2 n -2 is an A 1 -weak equivalence, it follows that it induces an A 1 -weak equivalence P 1 ∧ ( Z n ) + ∼ → P 1 ∧ ( Q 2 n -2 ) + . On the other hand, by the purity isomorphism, the space P 1 ∧ ( Z n ) + is A 1 -weakly equivalent to Q 2 n /U n . Since the map G m → U n described above is an A 1 -weak equivalence and cofibration and since the induced map G m → Q 2 n is a cofibration, it follows that the induced map of cofibers

$$Q _ { 2 n } / G _ { \mathfrak { m } } \rightarrow Q _ { 2 n } / U _ { n }$$

is an A 1 -weak equivalence. Moreover, the same statement remains true for the cofibers of the pointed morphisms ( G m + ) → ( Q 2 n ) + and ( U n ) + → ( Q 2 n ) + .

Combining Proposition 2.2.1 and Lemma 2.2.2, we deduce the following result.

Corollary 2.2.3. If k = Z , then for any integer n ≥ 1 , there is a cofiber sequence of the form

$$\mathbb { P } ^ { 1 } \longrightarrow \mathbb { P } ^ { 1 } \wedge ( Q _ { 2 n - 2 } ) _ { + } \longrightarrow Q _ { 2 n } \longrightarrow \cdots.$$

To finish, we provide an alternative identification of the cofiber of P 1 → P 1 ∧ ( Q 2 n -2 ) + . Recall that this map is induced by P 1 -suspension of a map S 0 s → ( Z n ) + . We prove a more general statement about smashing this map with the identity map.

Proposition 2.2.4. Assume ( X , x ) is a pointed space, and X + is X with a disjoint base-point attached. Let ι : S 0 s → X + be the map that sends the base-point of S 0 s to the (disjoint) basepoint of X + and the non-base-point to x ∈ X ( k ) . If ( Y , y ) is a pointed space, then the map Y ∼ = S 0 s ∧ Y -→ X ι ∧ id + ∧ Y fits into a split cofiber sequence of the form

$$\mathcal { Y } \stackrel { \iota \wedge i d } { \longrightarrow } \mathcal { X } _ { + \wedge } \mathcal { Y } \longrightarrow \mathcal { X } _ { \wedge } \mathcal { Y }.$$

Proof. The splitting is given by the map X + → S 0 s that collapses the non base-point component of X + to the non-base-point of S 0 s . In particular, the map ι ∧ id is a cofibration. The homotopy cofiber of this map is then computed by the actual quotient.

The quotient X + ∧ Y is, by definition, the quotient X + × Y by X + ∨ Y , where the latter is the disjoint union of X × + y and Spec k ×Y . Identify X ×Y + as ( X×Y ) ∐ (Spec k ×Y ) . Wedescribe the quotient in two steps. First, we collapse Spec k ×Y to the base-point and then the image of X + × y to the base-point. We conclude that there is an isomorphism of spaces X + ∧ Y ∼ = ( X ×Y ) / ( X × y ) . To conclude, we simply observe that X × Y / ( X × y ) modulo the image of x ×Y is X Y ∧ .

Theorem 2.2.5. For any base ring k , there is an isomorphism in H · ( k ) of the form Q 2 n ∼ → P 1 ∧ n .

Proof. Since both sides of the weak equivalence are preserved by base-change, it suffices to prove the result for k = Z . In that case, by Proposition 2.1.1, we know that Q 2 ∼ → P 1 in H · ( k ) . Combining Proposition 2.2.4 and Corollary 2.2.3, we conclude that for every n ≥ 2 that there is an isomorphism in H · ( k ) of the form Q 2 n ∼ = Q 2 n - ∧ 2 P 1 . The result follows by a straightforward induction.

## 2.3 Non-geometric motivic spheres

Proposition 2.3.1. If k is a base ring, and if i &gt; j are integers, then S i s ∧ G ∧ j m does not have the A 1 -homotopy type of a smooth scheme.

Proof. Assume to the contrary that X is a smooth k -scheme having the A 1 -homotopy type of S i s ∧ G ∧ j m . By picking a a geometric point of Spec k , we can, without loss of generality, assume k is an algebraically closed field, in particular perfect. Then, by A 1 -representability of motivic cohomology (see, e.g., [V oe03b, § 2]), we know that for arbitrary integers p, q

$$H ^ { p, q } ( X, \mathbb { Z } ) = [ X, K ( \mathbb { Z } ( q ), p ) ] _ { \mathbb { A } ^ { 1 } }.$$

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0413v3-figure-6059745a-37ce-4223-8eec-14215861b4a9.jpg)

Next, observe that by the cancellation theorem [Voe10, Corollary 4.10] and the (simplicial) suspension isomorphism, there is a non-trivial morphism S i s ∧ G ∧ j m → K ( Z ( j ) , i + ) j , giving a non-trivial class in H i + j,j ( X, Z ) . However, if X is a smooth scheme, and i &gt; j , then this latter group must vanish by [MVW06, Theorem 19.3].

Remark 2.3.2 . One can obtain another more 'homotopic' proof of the proposition at the expense of introducing slightly different terminology; we freely use the conventions of [AF14a] and some terminology from [Mor12]. Consider an Eilenberg-Mac Lane space K ( K M j , i ) , i.e., a space with exactly 1 non-vanishing A 1 -homotopy sheaf in degree j , in which degree it is isomorphic to the unramified Milnor K-theory sheaf K M j . If X is a smooth scheme, the explicit Gersten resolution of K M j shows that H X, i ( K M j ) vanishes for i &gt; j . On the other hand, there is a non-trivial (pointed) morphism S i s ∧ G ∧ j m → K ( K M j , i ) . Indeed, by [Mor12, Theorem 6.13], we have π A 1 i,j ( K ( K M j , i )) = ∼ ( K M j ) -j and by applying, e.g., [AF14a, Lemma 2.7] we deduce ( K M j ) -j ∼ = Z .

The following conjecture summarizes our expectations regarding representability of the remaining motivic spheres by smooth schemes.

Conjecture 2.3.3. If k is a base ring, and if i, j ∈ N with i &lt; j -1 , the sphere S i s ∧ G ∧ j m does not have the A 1 -homotopy type of a smooth k -scheme.

## 3 A 1 -contractible subvarieties of quadrics

A smooth k -scheme X is A 1 -contractible if the structure map X → Spec k is an isomorphism in H ( k ) , i.e., an A 1 -weak equivalence. The affine space A n k is A 1 -contractible by construction of the A 1 -homotopy category. An exotic A 1 -contractible smooth scheme is an A 1 -contractible smooth scheme that is not isomorphic to an affine space. In [AD07] the first two authors constructed many exotic A 1 -contractible smooth schemes as quotients of an affine space by a free action of the additive group G a (or, more generally, free actions of unipotent groups on affine spaces). All of the examples constructed in [AD07] could be realized as open subschemes of affine schemes with complement of codimension ≤ 2 .

Let E n ⊂ Q 2 n be the closed subscheme defined by x 1 = · · · = x n = 0 and z = -1 . Observe that E n ∼ = A n and has codimension n in Q 2 n . Set

$$X _ { 2 n } \coloneqq Q _ { 2 n } \, \bigwedge E _ { n }.$$

It is straightforward to check that X 2 ∼ = A 2 , and we recalled in the proof of Proposition 2.1.2 that X 4 is A 1 -contractible. The main results of this section are Theorem 3.1.1, which shows that X 2 n is A 1 -contractible for n ≥ 1 , and Corollary 3.2.3, which establishes that X 2 n is not a unipotent quotient of affine space for n ≥ 3 .

## 3.1 On the A 1 -contractibility of X 2 n

If k = C , one can check that X 2 m ( C ) is a contractible complex manifold. Over C , the variety Q 2 m is isomorphic to the variety defined by ∑ 2 m +1 i =1 x 2 i = 1 . Wood explains [Woo93, § 2] how to identify the last variety with the tangent bundle of a sphere. Under this isomorphism, the variety E m can be identified with the tangent space at a point. The complement of E m is then a contractible topological space diffeomorphic to R 4 m . Here is the generalization of this result to A 1 -homotopy theory.

Theorem 3.1.1. If k is a base ring, then the variety X 2 n is A 1 -contractible over Spec k .

Proof. Once more, since both sides are preserved by base-change, it suffices to prove the result with k = Z . We continue with the notation of Subsection 2.2. The proof is essentially a repeat of the Proof of Theorem 2.2.5, so we will explain only the changes required. Consider the closed subvariety Z n ⊂ Q 2 n defined by x n = 0 . Wesaw that Z n ∼ = Q 2 n -2 × A 1 and that the normal bundle to Z n comes equipped with a specified trivialization. Observe that, by construction E n ⊂ Z n and therefore we see that X 2 n := Q 2 n \ E n contains U n := Q 2 n \ Z n as an open subscheme. Moreover, the subvariety Z n \ E n is isomorphic to X 2 n -2 × A 1 .

Recall that U n ∼ = A 2 n -1 × G m with coordinates x , . . . , x 1 n -1 , y 1 , . . . , y n -1 , z on the first factor and x n on the last factor. The closed subscheme G m ↪ → U n is defined by x 1 = · · · = x n -1 = y 1 = · · · y n -1 = 0 and z = 0 . The intersection of X 2 n and Q 2 , viewed as a subvariety of Q 2 n by imposing x 1 = · · · = x n -1 = y 1 = · · · = y n -1 = 0 is isomorphic to A 2 . The copy of A 1 ⊂ Q 2 identified by further imposing the conditions y n = z = 0 is disjoint from E n and therefore contained in X 2 n . Note that the point '0' of Q 2 n is contained in X 2 n .

We therefore have a diagram of the form

$$G _ { m } \stackrel { u } { \longrightarrow } \mathbb { A } ^ { 1 } \stackrel { v } { \longrightarrow } X _ { 2 n }.$$

We understand the cofiber of this composite map using Proposition 2.2.1 again. In particular, repeating the proofs of Lemma 2.2.2 and Corollary 2.2.3 with all instances of Q 2 i replaced by X 2 i , we deduce the existence of a cofiber sequence of the form

$$\mathbb { P } ^ { 1 } \stackrel { \iota } { \longrightarrow } ( X _ { 2 n - 2 } ) _ { + } \wedge \mathbb { P } ^ { 1 } \longrightarrow X _ { 2 n } \longrightarrow \cdots$$

Now, applying Proposition 2.2.4, we conclude that the cofiber of ι is A 1 -weakly equivalent to X 2 n - ∧ 2 P 1 . The induction hypothesis guarantees that X 2 n -2 is A 1 -contractible, so the smash product X 2 n - ∧ 2 P 1 is A 1 -contractible as well. Since X 2 n - ∧ 2 P 1 is A 1 -weakly equivalent to X 2 n , it follows that X 2 n is A 1 -contractible.

Remark 3.1.2 . Theorem 3.1.1 gives an alternative proof of Theorem 2.2.5, this time repeating the argument of Proposition 2.1.2. In this case, the map Q 2 n → Th ν ( E /Q n 2 n ) obtained by collapsing X 2 n to a point and then using the homotopy purity theorem is an A 1 -weak equivalence by properness of the A 1 -local model structure, as explained in the proof of Proposition 2.1.2. The explicit trivialization of the normal bundle to E n that arises by its presentation as a (connected component of a) complete intersection defined by a regular sequence of Q 2 n yields an isomorphism Th ν ( E /Q n 2 n ) ∼ = P 1 ∧ n ∧ ( E n ) + , and the projection map E n → Spec k then yields an A 1 -weak equivalence Q 2 n ∼ → P 1 ∧ n that is perhaps slightly more explicit than the one arising in the proof of Theorem 2.2.5.

## 3.2 A 1 -contractibles that are not unipotent quotients

We will now see that for m ≥ 3 , the varieties X 2 m studied in Theorem 3.1.1 cannot be realized as quotients of affine space by free actions of unipotent groups U . We begin by proving a general 'excision' style result (Theorem 3.2.1) for (Zariski) cohomology with coefficients in a unipotent group; the main result then follows from this excision result when applied in the special case of degree 1 cohomology (Corollary 3.2.2). Indeed, the degree 1 cohomology group in question can be

identified as the (pointed) set of U -torsors on the scheme X . We warn the reader that, contrary to 'understood' prior conventions, the letter U in this section stands for a unipotent group, as opposed to an open subscheme; we refer the reader to [Bor91, § 15 (Definition 15.1)] for general information on split unipotent groups.

Theorem 3.2.1 (Excision for unipotent groups) . Let d ≥ 3 be an integer. Suppose X is a regular scheme over a field and j : W ↪ → X is an open immersion whose closed complement has codimension ≥ d . Suppose U is a (not necessarily commutative) split unipotent group. The restriction map

$$j ^ { * } \colon H ^ { 1 } _ { Z \text{ar} } ( X, U ) \longrightarrow H ^ { 1 } _ { Z \text{ar} } ( W, U )$$

is a pointed bijection, i.e., every U -torsor on W extends uniquely to a U -torsor on X .

Proof. Since U is split, by definition it admits an increasing filtration by normal subgroups 1 = U 0 ⊂ U 1 ⊂ · · · U n = U with subquotients U i +1 /U i isomorphic to G a . We first show that, working inductively with respect to the dimension of U , it suffices to prove the result in the case U = G a .

Indeed, suppose we know the result holds true for all unipotent groups of dimension n and all open immersions of regular schemes with closed complement of codimension d ≥ 3 . In that case, suppose U has dimension n + 1 and we are given a U -torsor ϕ : P → W . We know that there is a normal subgroup U ′ of U such that U/U ′ ∼ = G a . In that case, the quotient map U → G a gives rise to a G a -torsor W ′ := P × U G a → W ; note that W ′ is again regular. The pullback of ϕ along W ′ → W gives a U ′ -torsor on W ′ . Now, again by induction, we also know that the G a -torsor W ′ → W extends (uniquely) to a G a -torsor X ′ → X ; again, X ′ is regular. Moreover, working over a Zariski trivialization of X ′ → X , we conclude that W ′ ⊂ X ′ is open with closed complement having codimension ≥ 3 as well. However, the induction hypothesis guarantees that the U ′ -torsor over W ′ extends uniquely to a U ′ -torsor on X ′ , and this extension provides the required extension of ϕ over W .

Now, assume U = G a . In this case, one knows that by definition H q ( X, G a ) = H q ( X, O X ) . We will show that the map

$$j ^ { * } \colon H ^ { q } ( X, \mathcal { O } _ { X } ) \longrightarrow H ^ { q } ( W, \mathcal { O } _ { W } )$$

induced by pull-back along j is an isomorphism for q ≤ d -2 .

To prove the last fact, we use the Cousin complex for O X as discussed in, e.g., [Har66, IV.2]. Under the assumption that X is regular, the Cousin complex provides an injective resolution of O X (see especially ibid. p. 239). If X ( p ) denote the set of codimension p points in X (recall this means dim O X,x = p ), the p -th term of the Cousin complex is

$$\coprod _ { x \in X ^ { ( p ) } } ( i _ { x } ) _ { * } ( H _ { x } ^ { p } ( \mathcal { O } _ { X } ) ). \\ \dots \dots \dots.$$

Since j is an open immersion, it is an affine morphism and the Leray spectral sequence for j degenerates to yield isomorphisms j ∗ : H q ( W, O W ) ∼ → H q ( X,j ∗ O W ) . Adjunction gives rise to a morphism O X → j ∗ O W . The push-forward of the Cousin complex for O W to X by j remains a flasque resolution of j ∗ O W on X . Since the inclusion W ↪ → X is, by definition, an isomorphism on points of codimension d -1 , it follows that the cokernel of the induced morphism of Cousin complexes, which provides a flasque resolution of the cone of the map O X → j ∗ O X , only depends

on points of codimension ≥ d and the isomorphism of the theorem statement follows immediately from the long exact sequence in cohomology.

Corollary 3.2.2. If X is a regular affine scheme and W ⊂ X is an open subscheme whose complement has codimension d ≥ 3 , then every torsor under a split unipotent group over W is trivial. In particular, the varieties X 2 m cannot be realized as quotients of affine space by free actions of split unipotent groups.

Proof. BySerre's vanishing theorem [Gro61, Th´ eor` eme 1.3.1], we know that all higher cohomology of a quasi-coherent sheaf on an affine scheme vanishes. By Theorem 3.2.1, we conclude that if W is as in the the theorem statement, and if U is a (split) unipotent group, then H 1 ( W,U ) = ∗ , so every U -torsor over W is trivial. In particular, the total space of any U -torsor over W is of the form W × U , which is itself a quasi-affine variety that is not affine.

Corollary 3.2.3. If k is a base ring, and m ≥ 3 is an integer, then X 2 m is not a quotient of an affine space by the free action of a unipotent group.

Proof. Pick an algebraically closed field F such that Spec k has a Spec F -point. Assume that X 2 m is a quotient of A n by the free action of a unipotent group. By base change, we conclude that the unipotent group is necessarily smooth. Base-change to Spec F then allows us to assume that the unipotent group in question is also split. For m ≥ 3 , X 2 m has codimension m ≥ 3 in Q 2 m , so the result then follows immediately from Corollary 3.2.2.

Question 3.2.4. If Z → X 2 n is a Jouanolou device, then Z is an affine A 1 -contractible variety. Is Z ∼ = A m for some integer m ?

Remark 3.2.5 . If k is a field having characteristic p &gt; 0 , work of N. Gupta [Gup14, Gup13] shows that there exist smooth affine k -varieties of every dimension d ≥ 3 that are stably isomorphic to affine k -space, yet which are not isomorphic to affine k -space. Such varieties are necessarily exotic smooth affine A 1 -contractible varieties. At the moment, we do not have any examples of exotic smooth affine A 1 -contractible varieties over a fields having characteristic 0 . Nevertheless, it seems reasonable to ask: if k is an arbitrary field, is every smooth affine A 1 -contractible k -variety a retract of an affine k -space?

## 4 Clutching functions for principal G -bundles on algebraic spheres

In this section, we provide an algebro-geometric analog of the clutching construction of vector bundles on even-dimensional spheres. As an application, we provide an explicit vector bundle yielding a generator of ˜ K Q 0 ( 2 n ) for n ≥ 1 . For n = 1 2 , , such explicit generators are given by classical geometric constructions (Hopf bundles). For n ≥ 3 , while it is easy to write down virtual vector bundle representatives, writing down explicit vector bundles is more complicated.

The main results of this section are Theorem 4.1.6, which provides a version of the clutching construction for any smooth affine scheme Y whose (simplicial) suspension has the A 1 -homotopy type of a smooth affine scheme. Making the abstract clutching construction explicit depends on the choice of weak equivalence Σ 1 s Y with an affine scheme X . In the special case where Y = Q 2 n -1 in

Theorem 4.2.3, we construct an explicit weak equivalence Σ 1 s Q 2 n -1 → Q 2 n , at least under suitable additional hypotheses. Finally in Theorem 4.3.6, we combine these two observations to obtain a version of the clutching construction that gives explicit cocycle representatives of vector bundles.

## 4.1 The abstract clutching construction

We begin by providing an abstract analog of the clutching construction in algebraic geometry. Let us begin by quickly reviewing the topological situation, where the clutching construction is sometimes phrased as follows. Suppose M is a pointed finite CW complex, and consider the (reduced) suspension Σ M . The usual identification G ∼ = Ω BG together with the loop-suspension adjunction yield a canonical bijection between sets of pointed homotopy classes of maps of the form [ M,G ] · ∼ = [Σ M,BG ] · . By the representability theorem for principal G -bundles, the forgetful map [Σ M,BG ] · → [Σ M,BG ] from based to free homotopy classes yields a surjection from [Σ M,BG ] · to the set of isomorphism classes of principal G -bundles on Σ M . If G is furthermore connected, then BG is necessarily 1 -connected, then the set of pointed homotopy classes of maps [ M,G ] · is actually in bijection with the set of isomorphism classes of principal G -bundles on Σ M . By Theorem 2.2.5, we find ourselves in an analogous situation. Indeed, we know that Q 2 n ∼ = P 1 ∧ n in H · ( k ) for n ≥ 0 . Using the standard identification Q 2 n -1 ∼ = Σ n -1 s G ∧ n m , we can then conclude that Q 2 n is A 1 -weakly equivalent to Σ 1 s Q 2 n -1 if n ≥ 1 , though providing an explicit A 1 -weak equivalence of this form is more complicated. More abstractly, we are given a (pointed) smooth affine scheme Y such that Σ 1 s Y has the A 1 -homotopy type of a smooth affine scheme. (If k is a regular ring, using Jouanolou-Thomason devices, it suffices to assume that Σ 1 s Y has the A 1 -homotopy type of a smooth scheme).

We would like to link principal G -bundles on a smooth affine model of Σ 1 s Y with 'clutching functions' on Y itself. As Σ 1 s Y only has the A 1 -homotopy type of a smooth affine scheme, we appeal to the results of [AHW15a, AHW15b] on A 1 -representability results for principal G -bundles (which themselves extend results of F. Morel [Mor12] and M. Schlichting [Sch15]). We break the argument into three pieces along the lines of what is sketched above: (i) adjunction, to obtain a bijection of A 1 -homotopy classes of maps, (ii) connectivity statements, to obtain a suitable surjectivity statement, and (iii) representability, to connect A 1 -homotopy classes with actual geometric objects (i.e., morphisms on the one side and bundles on the other). These three pieces are put together in the main result of this section, Theorem 4.1.6.

Webegin by recalling some notation. Recall that a presheaf F on Sm k is called A 1 -invariant on affines if, for any smooth affine k -scheme X , the map F ( X ) → F ( X × A 1 ) induced by pullback along the projection X × A 1 → X is a bijection. Write Sing A 1 ( -) for the singular construction of [MV99, p. 87]; briefly, this space is the diagonal of the bisimplicial object obtained by considering the internal hom Hom(∆ · k , X ) . Write R Zar for a Zariski fibrant replacement functor on the category of simplicial presheaves. With this notation, we can recall the results from [AHW15a, AHW15b] that we need.

Lemma4.1.1. Suppose k is a base ring, G is a smooth k -group scheme and assume that the presheaf H 1 Nis ( -, G ) on Sm k is A 1 -invariant on affines.

- 1. The spaces R Zar Sing A 1 BG and R Zar Sing A 1 G are Nisnevich local and A 1 -invariant.

- 2. For any smooth affine k -algebra A , the maps Sing A 1 BG A ( ) → R Zar Sing A 1 BG A ( ) and Sing A 1 G A ( ) → R Zar Sing A 1 G A ( ) are weak equivalences.
- 3. For any smooth affine k -algebra A , the canonical map Sing A 1 R Ω 1 s BG A ( ) → R Ω Sing 1 s A 1 BG A ( ) is a weak equivalence.

Proof. The first two statements are contained in [AHW15b, Theorems 2.2.5 and 2.3.2]. The third statement follows from [AHW15b, Corollary 2.1.2].

We begin by establishing the 'adjunction' part of the clutching construction.

Lemma4.1.2. Suppose k is a base ring, G is a smooth k -group scheme and assume that the presheaf H 1 Nis ( -, G ) on Sm k is A 1 -invariant on affines. If ( Y, y ) is a (pointed) smooth affine scheme such that Σ 1 s Y has the A 1 -homotopy type of a smooth affine scheme, then for any (pointed) smooth affine model ( X,x ) of Σ 1 s Y there is a pointed bijection

$$[ ( Y, y ), ( G, 1 ) ] _ { \mathbb { A } ^ { 1 } } \longrightarrow [ ( X, x ), ( B G, * ) ] _ { \mathbb { A } ^ { 1 } }.$$

Proof. By Lemma 4.1.1(1), we know that R Zar Sing A 1 G is Nisnevich local and A 1 -invariant, i.e., A 1 -fibrant [MV99, § 2 Proposition 3.19]. By Lemma 4.1.1(2), we know that the map Sing A 1 G → R Zar Sing A 1 G is a Nisnevich local weak equivalence. In particular, we know that Sing A 1 ( G ) is A 1 -local and thus that [( Y, y ) , ( G, 1)] A 1 ∼ = [( Y, y ) , (Sing A 1 ( G , ) 1)] s .

The evident map G → R Ω 1 s BG is a Nisnevich local weak equivalence, e.g., by [AHW15b, Lemma 2.2.2(iii)]. It follows that the induced map Sing A 1 G → Sing A 1 R Ω 1 s BG , which can be written as a homotopy colimit of Nisnevich local weak equivalences, is again a Nisnevich local weak equivalence. On the other hand, Lemma 4.1.1(3) allows us to conclude that the map Sing A 1 R Ω 1 s BG → R Ω Sing 1 s A 1 BG is a Nisnevich local weak equivalence. Combining these two observations, we deduce that the induced map Sing A 1 G → R Ω Sing 1 s A 1 BG is a Nisnevich local weak equivalence. Together with the conclusion of the previous paragraph, we deduce that

$$[ ( Y, y ), ( \text{Sing} ^ { A ^ { 1 } } ( G ), 1 ) ] _ { s } \longrightarrow [ ( Y, y ), \text{R} \Omega _ { s } ^ { 1 } \text{Sing} ^ { A ^ { 1 } } B G ] _ { s }$$

is a bijection.

By the using the loop-suspension adjunction, we conclude that [( Y, y ) , R Ω Sing 1 s A 1 BG ] s ∼ = [Σ ( 1 s Y, y ) , Sing A 1 BG ] s . However, arguing as in the first paragraph, we also know that Sing A 1 BG is A 1 -local, i.e., [Σ ( 1 s Y, y ) , Sing A 1 BG ] s ∼ = [Σ ( 1 s Y, y ) , Sing A 1 BG ] A 1 = [Σ ( 1 s Y, y ) , BG ] A 1 . Thus, combining all these identifications, we conclude that [( Y, y ) , ( G, 1)] A 1 ∼ → [Σ ( 1 s Y, y ) , BG ] A 1 . Now, since Σ 1 s Y has the A 1 -homotopy type of a smooth scheme X (and explicitly writing base-points for BG ), we conclude that

$$[ ( Y, y ), ( G, 1 ) ] _ { \mathbb { A } ^ { 1 } } = [ ( X, x ), ( B G, * ) ] _ { \mathbb { A } ^ { 1 } },$$

which is precisely what we wanted to show.

Next, we establish the analog of the surjectivity and bijectivity statements in the topological clutching construction.

Lemma4.1.3. Suppose k is a base ring, G is a smooth k -group scheme and assume that the presheaf H 1 Nis ( -, G ) on Sm k is A 1 -invariant on affines. If ( X,x ) is a pointed smooth affine scheme, then the evident map [( X,x , ) ( BG, ∗ )] A 1 → [ X,BG ] A 1 is surjective; if G is furthermore A 1 -connected, then this map is bijectictive.

Proof. As in the Proof of Lemma 4.1.2 we know that Sing A 1 G and Sing A 1 BG are A 1 -local and that Sing A 1 G → R Ω Sing 1 s A 1 BG is a Nisnevich local weak equivalence. Therefore, we conclude there are identifications of homotopy sheaves π A 1 0 ( G ) = π 0 (Sing A 1 G ) = ∼ π 0 ( R Ω Sing 1 s A 1 BG ) = ∼ π 1 (Sing A 1 BG ) = π A 1 1 ( BG ) .

The space BG is always 0 -connected by construction, and therefore by [MV99, § 2 Corollary 3.22] it is always A 1 -connected. In particular, Sing A 1 BG is always 0 -connected. Since X is a pointed smooth scheme, any morphism X → R Zar Sing A 1 BG can be pointed and this yields the surjectivity statement. If G is A 1 -connected, then we similarly conclude that BG is A 1 -1 -connected. In that case, the map of the theorem statement is a bijection by [AF14a, Lemma 2.1].

Remark 4.1.4 . The space BGL n is not A 1 -1 -connected in general, and thus the map from pointed to free homotopy classes is not a bijection in general; see [AF14a, Corollary 4.12] for an explicit example to see that injectivity can indeed fail in this case. On the other hand, the set of pointed homotopy classes of maps [( X,x , ) ( BG, ∗ )] A 1 also has a 'concrete' description in terms of pairs consisting of a G -torsor P on X equipped with a trivialization of x ∗ P ; we will not need this description.

Now, we give a concrete description of elements of [( Y, y ) , ( G, 1)] A 1 in terms of pointed morphisms of smooth schemes Y → G . Suppose Y = Spec A , where A is a k -algebra, a choice of k -point y of Y corresponds to a homomorphism y : A → k . This homomorphism induces a surjective morphism res y of simplicial groups res y : G A ( [∆ ]) · → G k ( [∆ ]) · , and we set

$$\text{Sing} ^ { \mathbb { A } ^ { 1 } } G ( Y, y ) \coloneqq \ker ( r e s _ { y } ) \colon G ( A [ \Delta ^ { \bullet } ] ) \longrightarrow G ( k [ \Delta ^ { \bullet } ] ).$$

Equivalently, Sing A 1 G Y,y ( ) is the (pointed) subsimplicial set of Sing A 1 G Y ( ) consisting of morphisms Y × ∆ n → G whose restriction to { y }× ∆ n are constant with image 1 ∈ G , which explains the choice of terminology.

Lemma4.1.5. Suppose k is a base ring, G is a smooth k -group scheme and assume that the presheaf H 1 Nis ( -, G ) on Sm k is A 1 -invariant on affines. Assume ( Y, y ) is a (pointed) smooth affine scheme.

- 2. There is a pointed bijection [ Y, BG ] A 1 ∼ = H 1 Nis ( Y, G ) .
- 1. The map π 0 (Sing A 1 G Y,y ( )) → [( Y, y ) , ( G, 1)] A 1 is a bijection, i.e., [( Y, y ) , ( G, 1)] A 1 coincides with the set of naive homotopy classes of pointed maps from Y to G .

Proof. For Point (1), we proceed as follows. The map Sing A 1 G → R Zar Sing A 1 G is a morphism of pointed simplicial presheaves and upon evaluation at any smooth affine scheme Y is a weak equivalence. We can assume that R Zar commutes with finite limits (it has a model given by the 'Godement resolution' [MV99, § 2 Theorem 1.66]). Therefore, R Zar Sing A 1 G is again a simplicial group and R Zar res y : R Zar Sing A 1 G Y ( ) → R Zar Sing A 1 G k ( ) is a homomorphism; this homomorphism is surjective because res y admits a set-theoretic section corresponding to the structure morphism. We set F y := ker( R Zar res y ) .

By functoriality, we obtain the following commutative diagram:

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0413v3-figure-d06823e1-5ccf-49b0-9f8d-050acc318166.jpg)

/d47

/d47

/d47

The two right vertical maps in this diagram are weak equivalences by Lemma 4.1.1(2). On the other hand, as res y and R Zar res y are both surjective group homomorphism, they are fibrations, with fibers isomorphic to the respective kernels, i.e., the diagram is a morphism of homotopy fiber sequences [Cur71, Lemma 3.2]. Therefore, we conclude that the leftmost vertical map Sing A 1 G Y,y ( ) → F y is also a (pointed) weak equivalence.

On the other hand, π 0 ( F y ) coincides with the quotient of the group of pointed morphisms Y → R Zar Sing A 1 G by the homotopy relation. Then, since R Zar Sing A 1 G is Nisnevich local and A 1 -fibrant by Lemma 4.1.1(1), we conclude that [( Y, y ) , ( G, 1)] A 1 coincides with π 0 ( F y ) . Bythe results of the previous paragraphs, we conclude that π 0 ( F y ) = ∼ π 0 (Sing A 1 G Y,y ( )) , which is precisely what we wanted to show.

$$<_Python_>$$

The simplicial weak equivalence G ∼ = R Ω 1 s BG yields, by adjunction, a canonical morphism Σ 1 s G → BG . If ( Y, y ) is a pointed smooth scheme, a pointed morphism f : Y → G then determines a morphism ˜ cl G ( f ) : Σ 1 s Y → Σ 1 s G → BG . If Σ 1 s Y has the A 1 -homotopy of a smooth scheme X , then fixing an A 1 -weak equivalence Σ 1 s Y ∼ = X , the element ˜ cl G ( f ) determines an element of [ X,BG ] A 1 by forgetting the base-point. The resulting assignment factors through naive A 1 -weak equivalence and determines a 'clutching' function

$$c l _ { G } \colon \pi _ { 0 } ( \text{Sing} ^ { \mathbb { A } ^ { 1 } } G ( Y, y ) ) \longrightarrow [ X, B G ] _ { \mathbb { A } ^ { 1 } }.$$

Regarding this clutching function, we have the following result, which puts everything above together.

↦

Theorem 4.1.6. Suppose k is a base ring, G is a smooth k -group scheme and assume that the presheaf H 1 Nis ( -, G ) on Sm k is A 1 -invariant on affines. If Y is a (pointed) smooth affine scheme such that Σ 1 s Y has the A 1 -homotopy type of a smooth affine scheme, then the assignment f → cl G ( f ) yields a surjective 'clutching' function of the form

$$c l _ { G } \colon \pi _ { 0 } ( \text{Sing} ^ { \mathbb { A } ^ { 1 } } G ( Y, y ) ) \longrightarrow H ^ { 1 } _ { \text{Nis} } ( \Sigma ^ { 1 } _ { s } Y, G ) ;$$

this assignment is functorial in both G and Y , and bijective if G is A 1 -connected. Moreover, the A 1 -invariance on affines hypothesis is satisified if:

- (i) G is GL ,SL n n or Sp 2 n , and k is smooth over a Dedekind domain with perfect residue fields, or
- (ii) k is an infinite field, and G is an isotropic reductive k -group (in the sense of [AHW15b, Definition 3.3.4] );

and the A 1 -connectedness hypothesis is satisfied if, e.g., G = SL n or Sp 2 n .

Proof. For the first statement, simply combine Lemmas 4.1.2, 4.1.3 and 4.1.5. Points (i) and (ii) are a consequence of [AHW15a, Theorem 5.2.1] and [AHW15a, Theorems 3.3.1, 3.3.2 and 3.3.6]. The A 1 -connectedness of SL n or Sp 2 n if k is infinite follows from existence of elementary matrix factorizations combined with [Mor05, Lemma 6.1.3].

Remark 4.1.7 . One criticism of Theorem 4.1.6 is that, given an explicit pointed map f : Y → G , we have only 'abstractly' produced the bundle cl G ( f ) as an A 1 -homotopy class of maps. While we will see this is sufficient to make interesting existence statements, to 'concretely' produce a bundle, say in terms of a suitable G -valued 1 -cocycle on a smooth affine model X of Σ 1 s Y , requires specifying an A 1 -weak equivalence Σ 1 s Y ∼ = X .

## 4.2 Mayer-Vietoris cofiber sequences and an explicit weak equivalence

We now turn our attention to producing an explicit A 1 -weak equivalence Q 2 n ∼ → Σ 1 s Q 2 n -1 ; this is accomplished in Theorem 4.2.3 below. We begin with some preliminaries on Mayer-Vietoris cofiber sequences. Suppose ( X , x ) and ( Y , y ) are pointed spaces. Write C ( X ) for the usual cone on X , i.e., X ∧ ∆ 1 s , where the latter is pointed by 1 . If f : X → Y , the map collapsing Y to a point yields a morphism of diagrams:

/d111

/d111

/d47

/d47

/d15

/d15

/d15

/d15

/d111

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0413v3-figure-b1aee657-b0fa-40e4-9497-104c227e5bc7.jpg)

/d15

/d15

/d111

/d47

/d47

The induced map of homotopy pushouts along the rows yields a morphism C f ( ) -→ Σ 1 s X , functorial in all the inputs.

Now, suppose we are given a smooth scheme X and a Nisnevich distinguished square of the form

/d47

/d47

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0413v3-figure-7c93aa14-d08f-40ac-a0f3-8090ab76e9aa.jpg)

/d47

Let us assume that ( U × X V )( k ) is non-empty and fix a base-point; we point U V , and X by the image of this base-point under the various maps. In that case, the morphism ¯ : ψ V/ U ( × X V ) → X/U induced by ψ is an isomorphism by [MV99, § 3 Lemma 1.6]. On the other hand, since all horizontal morphism in the diagram are cofibrations, the quotients V/ U ( × X V ) and X/U are models for the homotopy cofibers of j and j ′ . Thus, ψ -1 provides a weak equivalence C j ( ) → C j ( ′ ) . On the other hand, there is a map C j ( ′ ) → Σ ( 1 s U × X V ) by the discussion of the previous paragraph. Therefore, one obtains a composite morphism of the form

$$X \longrightarrow C ( j ^ { \prime } ) \stackrel { \sim } { \longrightarrow } C ( j ) \longrightarrow \Sigma _ { s } ^ { 1 } ( U \times _ { X } V ) ;$$

we use this connecting morphism below.

Example 4.2.1 . If X is a smooth scheme, and X = U ∪ V is a Zariski cover of X by two open subschemes such that ( U ∩ V )( k ) is non-empty, then the construction just described yields a morphism

$$X \longrightarrow \Sigma _ { s } ^ { 1 } ( U \cap V ).$$

As we will see below, the assumption ( U ∩ V )( k ) = ∅ is a non-trivial restriction.

/negationslash

Let us now specialize the constructions just made taking X = Q 2 n . Before proceeding, recall that the scheme Q 2 n -1 has a standard base-point (1 0 , , . . . , 0 1 0 , , , . . . , 0) . Consider the two principal open subschemes V 0 2 n := D z and V 1 2 n := D 1+ z . The intersection V 0 2 n ∩ V 1 2 n is the principal open subscheme D z (1+ ) z ⊂ Q 2 n on which the 2 n sections

$$( x _ { 1 } / z, \dots, x _ { n } / z, y _ { 1 } / ( 1 + z ), \dots, y _ { n } / ( 1 + z ) )$$

satsify the equation defining the quadric Q 2 n -1 . We thus obtain a morphism ψ n : V 0 2 n ∩ V 1 2 n → Q 2 n -1 .

Remark 4.2.2 . The set ( V 0 2 n ∩ V 1 2 n )( k ) can be empty if, e.g., k = F 2 .

If ( V 0 2 n ∩ V 1 2 n )( k ) is non-empty, then we can pick a base-point here. Up to post-composing with an automorphism of Q 2 n -1 , we can assume that this base-point is mapped to the standard base-point of Q 2 n -1 . Therefore, we obtain a morphism Σ ( 1 s V 0 2 n ∩ V 1 2 n ) -→ Σ 1 s Q 2 n -1 . Then, the connecting homomorphism in the Mayer-Vietoris cofiber sequence as in Example 4.2.1 composed with the morphism of the previous sentence yields a morphism

$$\varphi _ { n } \colon Q _ { 2 n } \longrightarrow \Sigma _ { s } ^ { 1 } ( V _ { 2 n } ^ { 0 } \cap V _ { 2 n } ^ { 1 } ) \longrightarrow \Sigma _ { s } ^ { 1 } Q _ { 2 n - 1 }.$$

Regarding this composite morphism, we have the following result:

Theorem 4.2.3. If the base k is an (infinite) perfect field, then, for any integer n ≥ 2 , the morphism ϕ n : Q 2 n → Σ 1 s Q 2 n -1 is an A 1 -weak-equivalence.

Remark 4.2.4 . The careful reader will note that the results of Morel to which we appeal only require k to be perfect. However, the precise results to which we appeal, specifically [Mor12, Theorem 5.46] and [Mor12, Theorem 6.1] implicitly make use of [Mor12, Lemma 1.15], which is a form of a presentation lemma of Gabber. Morel does not provide a proof for this statement; the published version of Gabber's presentation lemma [CTHK97] requires that base field is infinite and so we have made this assumption as well.

Proof. In the proof, we appeal to the results of [ Mor12 and this is the reason we require the base to ] be an (infinite) perfect field. The assumption that k is infinite also guarantees that ( V 0 2 n ∩ V 1 2 n )( k ) is non-empty. By Theorem 2.2.5, we have an explicit weak-equivalence Q 2 n → ( P 1 ) ∧ n . In particular, by [Mor12, Corollary 6.38], Q 2 n is A 1 -( n -1) -connected. On the other hand, we know that Q 2 n -1 /similarequal S n -1 ∧ G ∧ n m by [MV99, § 3 Example 2.20]. Since n ≥ 2 , Σ 1 s Q 2 n -1 is at least A 1 -1 -connected, and it follows from [AF14a, Lemma 2.1] that for any pointed space ( X , x ) the map [( X , x ) , Σ 1 s Q 2 n -1 ] A 1 → [ X , Σ 1 s Q 2 n -1 ] is a bijection (this bijection allows us to be sloppy with pointed and free homotopy classes below). Combining this observation with the conclusion of [Mor12, Corollary 6.43], which computes [( Q 2 n , 0) Σ , 1 s Q 2 n -1 ] A 1 , we conclude that

[ Q 2 n , Σ 1 s Q 2 n -1 ] ∼ = K MW 0 ( k ) . Then, it suffices then to show that the class of the morphism ϕ n corresponds to an invertible element of K MW 0 ( k ) under the previous identifications.

Observe that any morphism f : Q 2 n → Σ 1 s Q 2 n -1 yields a function

$$[ \Sigma _ { s } ^ { 1 } Q _ { 2 n - 1 }, Q _ { 2 n } ] _ { \mathbb { A } ^ { 1 } } \longrightarrow [ Q _ { 2 n }, Q _ { 2 n } ] _ { \mathbb { A } ^ { 1 } }$$

by precomposing with f . Identifying both terms with K MW 0 ( k ) , this map is precisely the multiplication by the class of f in [ Q 2 n , Σ 1 s Q 2 n -1 ] A 1 = K MW 0 ( k ) .

Next, we claim that [ Q 2 n , Q 2 n ] A 1 ∼ → H n Nis ( Q 2 n , K MW n ) . Indeed, we know Q 2 n is A 1 -( n -1) -connected and π A 1 n ( Q 2 n ) ∼ = K MW n by [Mor12, Theorem 6.40]. Therefore, we conclude that there is an A 1 -weak equivalence Q ( n ) 2 n ∼ = K ( K MW n , n ) between the n -th stage of the A 1 -Postnikov tower (see [AF14b, Theorem 6.1]) of Q 2 n , and the Eilenberg-Mac Lane space K ( K MW n , n ) . The functorial morphism Q 2 n → Q ( n ) 2 n thus yields a homomorphism

$$[ Q _ { 2 n }, Q _ { 2 n } ] _ { \mathbb { A } ^ { 1 } } \longrightarrow H _ { \text{Nis} } ^ { n } ( Q _ { 2 n }, \mathbf K _ { n } ^ { M W } ).$$

By [AF14a, Lemma 4.5] and the suspension isomorphism, for any strictly A 1 -invariant sheaf A there are isomorphisms of the form

$$H ^ { i } _ { \text{Niis} } ( Q _ { 2 n }, \mathbf A ) \cong H ^ { i } _ { \text{Niis} } ( \Sigma ^ { 1 } _ { s } Q _ { 2 n - 1 }, \mathbf A ) \cong H ^ { i - 1 } _ { \text{Niis} } ( Q _ { 2 n - 1 }, \mathbf A ) = 0$$

if i &gt; n . Thus, arguing as in [AF14b, Proposition 6.2], this vanishing implies that the map [ Q 2 n , Q 2 n ] A 1 → [ Q 2 n , Q ( n ) 2 n ] A 1 ∼ = [ Q 2 n , K ( K MW n , n )] A 1 is a bijection. Reading through the above, one has also deduced that [Σ 1 s Q 2 n -1 , Q 2 n ] A 1 ∼ → H n -1 Nis ( Q 2 n -1 , K MW n ) .

To establish the theorem, it suffices to prove that ϕ n : Q 2 n → Σ 1 s Q 2 n -1 yields an isomorphism

$$H _ { \text{Ni} } ^ { n - 1 } ( Q _ { 2 n - 1 }, \mathbf K _ { n } ^ { M W } ) \longrightarrow H _ { \text{Ni} } ^ { n } ( Q _ { 2 n }, \mathbf K _ { n } ^ { M W } ).$$

Now, by construction, the morphism induced by ϕ n is the composite

$$H _ { N i s } ^ { n - 1 } ( Q _ { 2 n - 1 }, \mathbf K _ { n } ^ { M W } ) \longrightarrow H _ { N i s } ^ { n - 1 } ( V _ { 2 n } ^ { 0 } \cap V _ { 2 n } ^ { 1 }, \mathbf K _ { n } ^ { M W } ) \longrightarrow H _ { N i s } ^ { n } ( Q _ { 2 n }, \mathbf K _ { n } ^ { M W } )$$

where the first morphism is the pull-back along the map ϕ n : V 0 2 n ∩ V 1 2 n → Q 2 n -1 and the second morphism is the connecting homomorphism in the Mayer-Vietoris exact sequence. The result then rests on the explicit cohomological computations performed in Lemmas 4.2.5, 4.2.6 and 4.2.7.

We recall a few consequences of [Mor12, Corollary 5.43] concerning cohomology with coefficients in the sheaves K MW n , which will be helpful in performing the necessary computations. For any smooth scheme X , the canonical map H i Zar ( X, K MW n ) ∼ → H i Nis ( X, K MW n ) is an isomorphism, and the groups H i Zar ( X, K MW n ) can be computed using an explicit flasque resolution; the degree m term of this complex takes the form

$$\Re s u e \, \text{forml} \\ x \in X ^ { ( m ) } \\ \dots \colon = \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.$$

where Λ x = ∧ m m x / m 2 x , m x is the maximal ideal in the local ring O X,x and Λ ∗ x is the set of nonzero elements in the (one dimensional) k x ( ) -vector space Λ x (usually, one considers the dual of m x / m 2 x but this makes no difference in our analysis [Mor12, § 5.1] and we drop it to lighten the notation). In particular, in the lemmas below, cohomology could be taken either with respect to the Zariski or Nisnevich topologies.

Lemma 4.2.5. For any n ≥ 1 , the group H n -1 Zar ( Q 2 n -1 , K MW n ) is a free K MW 0 ( k ) -module of rank one generated by the class of the cycle [ x n ] ⊗ x 1 ∧ . . . ∧ x n -1 in K MW 1 ( k s ( )) ⊗ Z [ k s ( ) × ] Z [Λ ]) ∗ s where s is the complete intersection given by the equations x 1 = . . . = x n -1 = 0 (and s is the generic point if n = 1 ).

Proof. See [Fas11, § 3.3].

Lemma 4.2.6. For any n ≥ 1 , the group H n Zar ( Q 2 n , K MW n ) is a free K MW 0 ( k ) -module of rank one generated by the class of the cycle 〈 1 〉 ⊗ x 1 ∧ . . . ∧ x n in K MW 0 ( k t ( )) ⊗ Z [ k t ( ) × ] Z [Λ ]) ∗ t where t is the closed subscheme defined by the vanishing locus of the sections x , . . . , x 1 n , 1 + z .

Proof. By Theorem 3.1.1, we know that the open subscheme X 2 n ⊂ Q 2 n is A 1 -contractible and has closed complement E n /similarequal A n . It suffices then to use the long exact sequence associated with this embedding, together with homotopy invariance of cohomology with coefficients in Milnor-Witt K-theory sheaves to obtain the result.

## Lemma 4.2.7. The composite

$$H _ { Z a r } ^ { n - 1 } ( Q _ { 2 n - 1 }, \mathbf K _ { n } ^ { M W } ) \longrightarrow H _ { Z a r } ^ { n - 1 } ( V _ { 2 n } ^ { 0 } \cap V _ { 2 n } ^ { 1 }, \mathbf K _ { n } ^ { M W } ) \longrightarrow H _ { Z a r } ^ { n } ( Q _ { 2 n }, \mathbf K _ { n } ^ { M W } )$$

induced by ϕ n maps the generator of Lemma 4.2.5 to 〈 -( 1) n 〉 times the generator of Lemma 4.2.6 .

Proof. Pulling-back the generator of Lemma 4.2.5 to V 0 2 n ∩ V 1 2 n we find the cycle [ x /z n ] ⊗ x /z 1 ∧ . . . ∧ x n -1 /z . Its image under the boundary map H n -1 Zar ( V 0 2 n ∩ V 1 2 n , K MW n ) → H n 1+ z ( V 0 2 n , K MW n ) is the cycle 〈 1 〉 ⊗ x /z 1 ∧ . . . ∧ x /z n in K MW 0 ( k t ( )) ⊗ Z [ k t ( ) × ] Z [Λ ]) ∗ t . As z = -1 in k t ( ) , the above cycle corresponds to 〈 -( 1) n 〉⊗ x 1 ∧ . . . ∧ x n , which can be seen as an element of H n 1+ z ( Q 2 n , K MW n ) . The result follows.

## 4.3 The concrete clutching construction

We now apply the results of the abstract clutching construction with Y = Q 2 n -1 and X = Q 2 n ∼ = Σ 1 s Y . Assume k = Z momentarily. In that case, Theorem 4.1.6 yields a surjective function

$$c l _ { G L _ { m } } \colon \pi _ { 0 } ( \text{Sing} ^ { \mathbb { A } ^ { 1 } } G L _ { m } ( Q _ { 2 n - 1 }, 1 ) ) \longrightarrow \mathcal { V } _ { m } ( Q _ { 2 n } ).$$

In particular, all rank m vector bundles on Q 2 n are obtained from pointed morphisms from the quadric to GL m .

We are particularly interested in the clutching function in the case where m = n . The weak equivalence Q 2 n ∼ = P 1 ∧ n of Theorem 2.2.5, together with A 1 -representability of algebraic K-theory [MV99, § 4 Theorem 3.13], determines an isomorphism of reduced K-theory ˜ K Q 0 ( 2 n ) = ∼ K 0 ( Z ) = ∼ Z . In fact if k is (Noetherian) regular, then we conclude that ˜ K Q 0 ( 2 n ) is a free K k 0 ( ) -module of rank 1 . 1 Our goal, accomplished in Theorem 4.3.4, is to describe an explicit vector bundle generator for this K k 0 ( ) -module.

1 Note: these kinds of representability statements continue to hold if k is not Noetherian. As observed in [Hoy14, Appendix C], algebraic K-theory is representable in the version of H ( k ) we use. Likewise, the proof of geometric representability (by the Grassmannian) goes through in this setting; one may modify [ST15, Theorem 4] as necessitated by [ST15, Remark 2] to check it when k = Z and then use base-change to treat the general case.

Example 4.3.1 . For small values of n , the generator of ˜ K Q 0 ( 2 n ) are given by classical geometric constructions. For n = 1 , the generator is simply the class of O (1) , viewed as an element of Pic Q ( 2 ) . Alternatively, this line bundle is the line bundle associated with Hopf map η : Q 3 → Q 2 , which is a G m -torsor. Similarly, for n = 2 , a generator is given by a Hopf bundle. Indeed, consider the associated vector bundle to the SL 2 -torsor corresponding with the motivic Hopf map ν : Q 7 → Q 4 . The map ν can can be defined as follows: given a pair of 2 × 2 -matrices ( M ,M 1 2 ) such that det M 1 -det M 2 = 1 , send ( M ,M 1 2 ) to ( M M , 1 2 det M 2 ) . A corresponding generator can also be given for Q 8 in terms of the motivic Hopf map σ , which can be defined using split octonion algebras.

Remark 4.3.2 . For n ≥ 3 , it is easy to write down generators using the isomorphism K Q 0 ( 2 n ) = ∼ G 0 ( Q 2 n ) and taking the pushforward i ∗ [ O Q 2 n \ X 2 n ] , but an explicit projective resolution of this class yields only a virtual vector bundle representative.

If x = ( x , . . . , x 1 n ) and y = ( y , . . . , y 1 n ) be elements of a ring A such that xy t = 1 . Attached to such a pair, Suslin inductively defined matrices α n ( x y , ) ∈ GL 2 n -1 [Sus77, § 5]. The universal such example corresponds to a morphism α n : Q 2 n -1 → GL 2 n -1 . By means of elementary row operations, the matrix α n can be reduced to an invertible n × n -matrix (non-uniquely). Equivalently, the morphism Q 2 n -1 → GL 2 n -1 lifts (non-uniquely) up to (naive) A 1 -homotopy to a morphism β n : Q 2 n -1 → GL n [Sus77, p. p. 489 Point (b)].

Remark 4.3.3 . A more topologically inclined reader may prefer the following description of the matrices α n . Atiyah-Bott and Shapiro constructed an explicit generator of the topological K-theory group ˜ K S 0 ( n ) in terms of Clifford algebras [ABS64]. Suslin's matrix α can be thought of as an algebraic version of Clifford multiplication; this has been worked out in more detail in [Chi15]. The morphisms α n (resp. β n ) are closely related to algebraic K-theory. Indeed, for any integer i , there is an isomorphism of reduced K-theory ˜ ( K Q i 2 n -1 ) = ∼ ˜ K i -1 ( Z ) using the fact that Q 2 n -1 ∼ = Σ n -1 s G ∧ n m and A 1 -representability of algebraic K -theory. Suslin showed [Sus82, Theorem 2.3] that this isomorphism is given by multiplication by α n (or, equivalently, β n ); see [AF14c, § 3] for more discussion of Suslin matrices in the context of A 1 -homotopy theory.

Theorem 4.3.4. If k is a (Noetherian) regular base ring, then for every n ≥ 1 , cl GL n ( β n ) determines a rank n vector bundle on Q 2 n ; the stable isomorphism class of this vector bundle yields a generator of K Q 0 ( 2 n ) .

For the second statement, recall that under these hypotheses ˜ K Q 0 ( 2 n ) is a free K k 0 ( ) -module of rank 1 . By functoriality, it suffices to produce a generator over Spec Z . In that case, we appeal to functoriality of the clutching construction for the map GL n → GL , the fact that the clutching construction is given by suspension and appeal to Suslin's results. Indeed, it suffices to show that cl GL ( β n ) is a generator of ˜ K Q 0 ( 2 n ) . However, Suslin showed that the map β n : Q 2 n -1 → GL is a generator of [ Q 2 n -1 , GL ] A 1 ∼ = Z ; this is contained in [Sus82, Theorem 2.3], but see [AF14c, Theorem 3.4.1] for a translation in this language. The statement then follows from the suspension isomorphism in K-theory together with the identification [ Q 2 n -1 , GL ] A 1 ∼ = [ Q 2 n , BGL ] A 1 ∼ = ˜ K Q 0 ( 2 n ) .

˜ Proof. The first statement follows from Theorem 4.1.6(i). Indeed, cl GL n ( β n ) gives a vector bundle on Q 2 n over Spec Z , which we may then pullback to Q 2 n over Spec k .

Remark 4.3.5 . The results of [AF14c, Proposition 3.3.3] together with obstruction theory arguments can be used to show that the generators of ˜ K Q 0 ( 2 n ) described in Theorem 4.3.4 admit reductions of structure group in certain situations: if n ≡ 0 mod 4 , then the vector bundle cl GL n ( β n ) admits a reduction of structure group to the split orthogonal group, while if n ≡ 2 mod 4 , then it admits a reduction of structure group to the symplectic group.

Now, using Theorem 4.2.3, we show how to refine Theorem 4.1.6 to obtain explicit cocycles representing vector bundles on Q 2 n from the associated clutching functions. To this end, assume that k is an (infinite) perfect field, and consider the commutative diagram

/d111

/d47

/d47

/d111

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0413v3-figure-a27ead28-9957-4768-ad7b-e8e81a631829.jpg)

/d15

/d15

/d15

/d15

/d15

/d111

/d111

/d47

/d47

The induced map of homotopy pushouts gives a reinterpretation of the map ϕ n and thus is an A 1 -weak equivalence by Theorem 4.2.3. Moreover, the induced A 1 -weak equivalence Q 2 n → Σ 1 s Q 2 n -1 factors through a morphism Q 2 n → Σ ( 1 s V 0 2 n ∩ V 1 2 n ) → Σ 1 s Q 2 n -1 . The following result, which can be viewed as a refinement of some of the results in [NRS10, § 6], is our concrete version of the clutching construction in the case of Q 2 n .

Theorem 4.3.6. Assume k is a field, and n, r ≥ 2 are integers and G is an isotropic reductive k -group (in the sense of [AHW15b, Definition 3.3.4] ).

- 1. If k is infinite and perfect, given a pointed k -morphism f : Q 2 n -1 → G , the G -torsor cl G ( f ) on Q 2 n attached to f is obtained, up to isomorphism, by gluing the trivial G -torsor on V 0 2 n with a trivial G -torsor on V 1 2 n along the function f ◦ ψ n .
- 2. For arbitrary k , the rank n vector bundle on Q 2 n corresponding to cl GL n ( β n ) is that associated with β n ◦ ψ n by the construction of the previous point.

Proof. Here the assumption that k is infinite is used in conjunction with the assumption that G is isotropic to appeal to Theorem 4.1.6(ii). Considering the diagram above, point (1) follows from the functoriality assertion in Theorem 4.1.6 combined with Theorem 4.2.3. In more detail, given a vector bundle on [ Q 2 n , BG ] A 1 , we can lift it to a pointed homotopy class [( Q 2 n , 0) ( , BG, ∗ )] A 1 . Since the weak equivalence Q 2 n → Σ 1 s Q 2 n -1 factors through V 0 2 n ∩ V 1 2 n , every element of [( Q 2 n , 0) ( , BG, ∗ )] A 1 corresponds to an element of [Σ 1 s Q 2 n -1 , ( BG, ∗ )] A 1 and thus determines an element of [Σ ( 1 s V 0 2 n ∩ V 1 2 n ) , ( BG, ∗ )] A 1 . The adjoints to these elements are precisely a pointed map f : Q 2 n -1 → G and the composite map f ◦ ψ n .

The clutching construction proceeds by composing Σ 1 s f with the canonical morphism Σ 1 s G → BG . The factorization through V 0 2 n ∩ V 1 2 n in the previous paragraph, then corresponds, by contemplating the diagram before the statement, to gluing two homotopically constant maps V i 2 n → ∗ → BG , i.e., trivial G -torsors on V i 2 n along the morphism f ◦ ψ n as claimed.

For Point (2), begin by observing that the function cl GL n ( β n ) over the field k is obtained by base-change from a morphism of schemes over Spec Z . In particular, the function cl GL n ( β n ) over k is obtained by extending scalars from a function defined over the prime field F ⊂ k , which is perfect. Now, since an algebraic closure ¯ F of the prime field is infinite and perfect, Point (2) follows by combining Theorem 4.3.4 with the conclusion of Point (1). However, by Galois descent,

there is an equivalence between vector bundles over F and Gal F/F ( ¯ ) -invariant cocycles over ¯ F . Therefore, the vector bundle corresponding to cl GL n ( β n ) over ¯ F descends to a vector bundle over F . Pulling back this bundle to k yields the required vector bundle.

Remark 4.3.7 . Note that Point (2) makes sense even if the intersection V 0 2 n ∩ V 1 2 n is empty. More generally, using faithfully flat descent techniques, it is possible to build G -torsors over fields that arise from clutching functions given by k -morphisms f : Q 2 n -1 → G defined over perfect subfields F ⊂ k . For example, if k is a finite field, every G -torsor over Q 2 n under an isotropic reductive G is described by means of a clutching function Q 2 n -1 → G . Lacking any applications of the result in this form at the moment, we leave the proof of this fact to the reader.

Example 4.3.8 . Unwinding the definitions, the Suslin matrix Q 3 → SL 2 corresponds to the identity map SL 2 → SL 2 under the isomorphism of Q 3 with SL 2 given by sending ( x , x 1 2 , y 1 , y 2 ) to the 2 × 2 -matrix, ( x 1 x 2 -y 2 y 1 ) . From this, one can see that the resulting vector bundle on Q 4 is precisely the Hopf bundle.

We close with one final application of our results. Recall that, since the inclusion X 2 n ↪ → Q 2 n has complement of codimension n , whenever n ≥ 2 the restriction functor on categories of vector bundles is fully-faithful [AD08, Lemma 2.4]. Combining this fact with Theorem 4.3.4 one obtains the following result, which is a generalization of [AD08, Corollary 3.1].

Corollary 4.3.9. If k is a (Noetherian) regular base ring, then for every n ≥ 2 , the A 1 -contractible k -scheme X 2 n has a non-trivial vector bundle.

## References

| [ABS64]   | M. F. Atiyah, R. Bott, and A. Shapiro. Clifford modules. Topology , 3(suppl. 1):3-38, 1964. 22                                                                                                                              |
|-----------|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [AD07]    | A. Asok and B. Doran. Unipotent groups and some A 1 -contractible smooth schemes. Int. Math. Res. Pap. , 5, 2007. Art. ID rpm005. 3, 10                                                                                     |
| [AD08]    | A. Asok and B. Doran. Vector bundles on contractible smooth schemes. Duke Math. J. , 143(3):513-530, 2008. 6, 24                                                                                                            |
| [AF14a]   | A. Asok and J. Fasel. Algebraic vector bundles on spheres. J. Topology , 7(3):894-926, 2014. doi:10.1112/jtopol/jtt046. 10, 16, 19, 20                                                                                      |
| [AF14b]   | A. Asok and J. Fasel. A cohomological classification of vector bundles on smooth affine threefolds. Duke Math. J. , 163(14):2561-2601, 2014. 20                                                                             |
| [AF14c]   | A. Asok and J. Fasel. An explicit KO -degree map and applications. Preprint , available at http://arxiv.org/abs/1403.4588 , 2014. 22, 23                                                                                    |
| [AF15]    | A. Asok and J. Fasel. Euler class groups are motivic cohomotopy groups. In preparation , 2015. 4                                                                                                                            |
| [AHW15a]  | A. Asok, M. Hoyois, and M. Wendt. Affine representability results in A 1 -homotopy theory I: vector bundles. Preprint , available at http://arxiv.org/abs/1506.07093 , 2015. 4, 5, 14, 18                                   |
| [AHW15b]  | A. Asok, M. Hoyois, and M. Wendt. Affine representability results in A 1 -homotopy theory II: principal bun- dles and homogeneous spaces. Preprint , available at http://arxiv.org/abs/1507.08020 , 2015. 4, 14, 15, 17, 23 |
| [Bor91]   | A. Borel. Linear algebraic groups , volume 126 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1991. 12                                                                                                       |
| [Chi15]   | V. Chintala. On Suslin matrices and their connection to spin groups. Doc. Math. , 20:531-550, 2015. 22                                                                                                                      |

| [CTHK97]   | J.-L. Colliot-Th´l`ne, e e R. T. Hoobler, and B. Kahn. The Bloch-Ogus-Gabber theorem. In Algebraic K -theory (Toronto, ON, 1996) , volume 16 of Fields Inst. Commun. , pages 31-94. Amer. Math. Soc., Providence, RI, 1997. 19                                                             |
|------------|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Cur71]    | E. B. Curtis. Simplicial homotopy theory. Advances in Math. , 6:107-209 (1971), 1971. 17                                                                                                                                                                                                   |
| [DI08]     | D. Dugger and D. Isaksen. Unpublished work , 2008. 2                                                                                                                                                                                                                                       |
| [Fas11]    | J. Fasel. Some remarks on orbit sets of unimodular rows. Comment. Math. Helv. , 86(1):13-39, 2011. 21                                                                                                                                                                                      |
| [Fas15]    | J. Fasel. On the number of generators of ideals in polynomial rings. Preprint , available at http://arxiv.org/abs/1507.05734 , 2015. 4                                                                                                                                                     |
| [Gro61]    | A. Grothendieck. ´ El´ments e de g´om´trie e e alg´brique. e III. ´ Etude cohomologique des faisceaux coh´rents. e I. Inst. Hautes ´ Etudes Sci. Publ. Math. , 11:167, 1961. 13                                                                                                            |
| [Gup13]    | N. Gupta. On Zariski's cancellation problem in positive characteristic. Adv. Math. , 264:296-307, 2013. 13                                                                                                                                                                                 |
| [Gup14]    | N. Gupta. On the cancellation problem for the affine space A 3 in characteristic p . Invent. Math. , 195(1):279- 288, 2014. 13                                                                                                                                                             |
| [Har66]    | R. Hartshorne. Residues and duality . Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64. With an appendix by P. Deligne. Lecture Notes in Mathematics, No. 20. Springer-Verlag, Berlin, 1966. 12                                                         |
| [Hov99]    | M. Hovey. Model Categories , volume 63 of Math. Surveys and Monographs . American Mathematical Society, Providence, RI, 1999. 4, 7                                                                                                                                                         |
| [Hoy14]    | M. Hoyois. A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula. Algebr. Geom. Topol. , 14(6):3603-3658, 2014. 5, 21                                                                                                                                                 |
| [Lur11]    | J. Lurie. Derived algebraic geometry XI: Descent theorems. 2011. Preprint, available at http://www.math.harvard.edu/˜lurie/papers/DAG-XI.pdf . 5                                                                                                                                           |
| [Mor05]    | F. Morel. The stable A 1 -connectivity theorems. K -Theory , 35(1-2):1-68, 2005. 18                                                                                                                                                                                                        |
| [Mor08]    | F. Morel. Personal communication dated April 3, 2008. 2                                                                                                                                                                                                                                    |
| [Mor12]    | F. Morel. A 1 -algebraic topology over a field , volume 2052 of Lecture Notes in Mathematics . Springer, Heidelberg, 2012. 4, 10, 14, 19, 20                                                                                                                                               |
| [MV99]     | F. Morel and V. Voevodsky. A 1 -homotopy theory of schemes. Inst. Hautes ´ Etudes Sci. Publ. Math. , 90:45- 143 (2001), 1999. 1, 2, 4, 5, 6, 8, 14, 15, 16, 18, 19, 21                                                                                                                     |
| [MVW06]    | C. Mazza, V. Voevodsky, and C. Weibel. Lecture notes on motivic cohomology , volume 2 of Clay Mathe- matics Monographs . American Mathematical Society, Providence, RI, 2006. 4, 9                                                                                                         |
| [NRS10]    | M. V. Nori, R. A. Rao, and R. G. Swan. Non-self-dual stably free modules. In J.-L. Colliot-Th´l`ne, e e S. Garibaldi, R. Sujatha, and V. Suresh, editors, Quadratic forms, linear algebraic groups, and cohomology , volume 18 of Dev. Math. , pages 315-324. Springer, New York, 2010. 23 |
| [PW10]     | I. Panin and C. Walter. Quaternionic grassmannians and pontryagin classes in algebraic geometry. Preprint available at http://arxiv.org/abs/1011.0649 , 2010. 6                                                                                                                            |
| [Sch15]    | M. Schlichting. Euler class groups, and the homology of elementary and special linear groups. Preprint , available at http://arxiv.org/abs/1502.05424 , 2015. 14                                                                                                                           |
| [ST15]     | M. Schlichting and G. S. Tripathi. Geometric models for higher Grothendieck-Witt groups in A 1 -homotopy theory. Math. Ann. , 362(3-4):1143-1167, 2015. 21                                                                                                                                 |
| [Sus77]    | A. A. Suslin. Stably free modules. Mat. Sb. (N.S.) , 102(144)(4):537-550, 632, 1977. 22                                                                                                                                                                                                    |
| [Sus82]    | A. A. Suslin. Mennicke symbols and their applications in the K -theory of fields. In Algebraic K -theory, Part I (Oberwolfach, 1980) , volume 966 of Lecture Notes in Math. , pages 334-356. Springer, Berlin-New York, 1982. 22                                                           |
| [Voe03a]   | V. Voevodsky. Motivic cohomology with Z / 2 -coefficients. Publ. Math. Inst. Hautes ´ Etudes Sci. , 98:59-104, 2003. 8                                                                                                                                                                     |

[Voe03b]

V. Voevodsky. Reduced power operations in motivic cohomology. Publ. Math. Inst. Hautes Etudes Sci. ´ ,

- 98:1-57, 2003. 9

[Voe10]

V. Voevodsky. Cancellation theorem. Doc. Math. , Extra volume: Andrei A. Suslin sixtieth birthday:671-685, 2010. 9

[Woo93] R.M.W. Wood. Polynomial maps of affine quadrics. Bull. London Math. Soc. , 25(5):491-497, 1993. 10

- A. Asok, DEPARTMENT OF MATHEMATICS, UNIVERSITY OF SOUTHERN CALIFORNIA, 3620 S. VERMONT AVE. KAP 104, LOS ANGELES, CA 90089-2532, UNITED STATES; E-mail address: asok@usc.edu
- B. Doran, DEPARTEMENT MATHEMATIK, EIDGEN ¨SSISCHE TECHNISCHE HOCHSCHULE, R ¨MISTRASSE 101, O A 8092 Z ¨RICH SWITZERLAND; U E-mail address: brent.doran@math.ethz.ch
- J. Fasel, INSTITUT FOURIER - UMR 5582, UNIVERSIT´ E GRENOBLE ALPES, 100 RUE DES MATH´ EMATIQUES BP 74, F-38000 GRENOBLE; E-mail address: jean.fasel@gmail.com
Aravind Asok Brent Doran Jean Fasel
Smooth models of motivic spheres
We study the representability of motivic spheres by smooth varieties. We show
that certain explicit "split" quadric hypersurfaces have the $\mathbb
A^1$-homotopy type of motivic spheres over the integers and that the $\mathbb
A^1$-homotopy types of other motivic spheres do not contain smooth schemes as
representatives. We then study some applications of these
representability/non-representability results to the construction of new exotic
$\mathbb A^1$-contractible smooth schemes. Then, we study vector bundles on
even dimensional "split" quadric hypersurfaces by developing an
algebro-geometric variant of the classical construction of vector bundles on
spheres via clutching functions.