A cohomological classification of vector bundles on smooth affine threefolds

Size: px
Start display at page:

Download "A cohomological classification of vector bundles on smooth affine threefolds"

Transcription

1 A cohomological classification of vector bundles on smooth affine threefolds Aravind Asok Department of Mathematics University of Southern California Los Angeles, CA Jean Fasel Mathematisches Institut Ludwig Maximilians Universität Theresienstrasse 39, D München Abstract We give a cohomological classification of vector bundles on smooth affine threefolds over algebraically closed fields having characteristic unequal to 2. As a consequence we deduce that cancellation holds for arbitrary rank projective modules over the corresponding algebras. The proofs of these results involve three main ingredients. First, we give a description of the second unstable A 1 -homotopy sheaf of the general linear group. Second, these computations can be used in concert with F. Morel s A 1 -homotopy classification of vector bundles on smooth affine schemes and obstruction theoretic techniques (stemming from a version of the Postnikov tower in A 1 -homotopy theory) to reduce the classification results to cohomology vanishing statements. Third, we prove the required vanishing statements. Contents 1 Introduction 2 2 A 1 -homotopy theory of SL n and Sp n: the stable range 5 3 A 1 -homotopy theory of SL n and Sp n: some non-stable results 10 4 Grothendieck-Witt groups 25 5 Vanishing theorems 34 6 Obstruction theory and classification results 38 A On the sheaf S n 44 Aravind Asok was partially supported by National Science Foundation Awards DMS and DMS Jean Fasel was supported by the Swiss National Science Foundation, grant PAOOP

2 2 1 Introduction 1 Introduction Assume k is an algebraically closed field. If X is a smooth affine k-variety of dimension 3, classical results of N. Mohan Kumar and M.P. Murthy [KM82] prove the existence of vector bundles on X with given Chern classes. Among other things, they prove that there is a unique rank 3 vector bundle with given Chern classes. Recent work of the second author [Fas11] further showed that stably free rank 2 bundles over such X are in fact free. The goal of this paper is to recover and extend these results while at the same time casting them in a unified framework. To state the results, write V n (X) for the set of isomorphism classes of rank n vector bundles on X. Theorem 1 (see Theorems 6.10 and 6.11). Suppose X is a smooth affine 3-fold over an algebraically closed field k having characteristic unequal to 2. The map assigning to a vector bundle of rank r 3 the sequence (c 1,..., c r ) of its Chern classes gives isomorphisms: V 2 (X) P ic(x) CH 2 (X) V 3 (X) P ic(x) CH 2 (X) CH 3 (X). One says that cancellation holds for projective modules of rank r over smooth affine algebras of dimension d if stably isomorphic projective modules of rank r are in fact isomorphic. The Bass-Schanuel cancellation theorem (see [BS62, Theorem 2] or [Bas64, Theorem 9.3]) shows that cancellation always holds for projective modules of rank r > d. Suslin s famous cancellation theorem [Sus77, Theorem 1] showed that cancellation holds for projective modules of rank r if r d. In [Sus79] (see the discussion after Theorem 6), Suslin asked whether cancellation holds for projective modules of rank r d+1 2. However, Mohan Kumar [MK85] constructed examples showing that cancellation sometimes fails for projective modules of rank r = d 2. Whether cancellation holds for rank d 1 projective modules over affine algebras of dimension d is, in general, an open problem. From the above theorem, we deduce the following result. Corollary 2 (see Corollary 6.13). If X is a smooth affine 3-fold over an algebraically closed field k having characteristic unequal to 2, then cancellation holds for projective modules of any rank over k[x]. Henceforth, assume k is an arbitrary field. Morel and Voevodsky [MV99] introduced H (k), the A 1 -homotopy category of smooth schemes over k. For spaces X and Y, set [X, Y ] A 1 := Hom H (k) (X, Y ) (we will clarify the word space later, but, for the time being, it suffices to believe that smooth schemes and BGL n are both spaces). One of the main results of [MV99] is that stable isomorphism classes of vector bundles on arbitrary smooth k-schemes could be understood in terms of A 1 -homotopy theory. More precisely, they introduced spaces BGL n and a space BGL such that the set [X, Z BGL ] is K 0 (X), i.e., the functor K 0 (restricted to smooth k-schemes) is representable in the A 1 -homotopy category. From the beginning, homotopy theoretic ideas have served as an important source of inspiration in the study of projective modules (see the introduction to [Bas64]). Thus, by analogy, extending the representability result of Morel-Voevodsky, one might expect that V n ( ) admits a description in terms of maps to the classifying space BGL n. Such representability statements hold true for n = 1, i.e., the Picard group is representable by BGL 1. Unfortunately, for n 2, the functor V n ( ) fails

3 3 1 Introduction to be A 1 -invariant for smooth schemes in general, i.e., the map V n (X) V n (X A 1 ) fails to be a bijection in general. Indeed, already for X = P 1, the failure of A 1 -homotopy invariance is well-known. Even worse, for arbitrary smooth schemes, the failure of homotopy invariance is, in a certain sense, as bad as can be [AD08]. Nevertheless, classical results of Lindel establishing the Bass-Quillen conjecture [Lin82] showed that the functor V n ( ) is A 1 -invariant when restricted to the category of smooth affine k-schemes. Using this result, together with some results of Suslin and Vorst on the so-called K 1 -analogue of the Serre problem, Morel showed [Mor12] that if X is a smooth affine k-scheme (at least over a perfect field k), then [X, BGL n ] A 1 = V n (X), at least for n 3, i.e., we have a partial representability result. Combined with recent results of Moser [Mos11], the above result can be extended to the case n = 2 as well. The above results can be viewed as an algebro-geometric analog of Steenrod s homotopy classification of topological vector bundles on CW complexes [Ste99, 19.3]. However, Steenrod also opened the door to enumeration of vector bundles on manifolds using techniques of obstruction theory. Notably, given results known at the time about homotopy groups of (classifying spaces of) special orthogonal groups, Dold and Whitney [DW59] provided explicit cohomological descriptions of sets of isomorphism classes of (real, oriented) vector bundles having a given rank on complexes of dimension 4 in terms of characteristic classes. One of the main impediments to applying techniques of obstruction theory in A 1 -homotopy theory arises from our limited knowledge of A 1 - homotopy sheaves. Thus, our first task is to provide some new computations of A 1 -homotopy sheaves. Before stating our results, and in order to provide some motivation, we briefly recall some known computations. Morel showed that SL n is connected from the standpoint of A 1 -homotopy theory. Geometrically, this corresponds to the fact that, over any extension field K/k, any two elements of SL n (K) can be connected by the image of a morphism from A 1 K ; that this can be done is a manifestation of the classical fact that SL n (K) is generated by elementary matrices. Morel also computed [Mor12] the sheaf 1 (SL n): 1 (SL n ) = { K MW 2 if n = 2 K M 2 if n > 2. Roughly speaking, the sheaf 1 (SL n) encodes information about the non-trivial relations between elementary matrices, and the above result can be viewed as an incarnation of a classical theorem of Steinberg/Matsumoto [Mat69], though it is independent of that statement. Here, K M n is the n-th unramified Milnor K-theory sheaf (the abelian group of sections of this sheaf over a field extension K/k is precisely the n-th Milnor K-theory group of K), and K MW n is the Milnor-Witt K-theory sheaf introduced in [Mor06, Mor12]. Furthermore, for n 3, the sheaf 1 (SL n) is in the stable range. We compute the next unstable A 1 -homotopy sheaf of SL n, which admits a somewhat more involved description. Theorem 3 (See Theorems 3.9 and 3.19). If k is an infinite perfect field having characteristic unequal to 2, there are canonical short exact sequences of strictly A 1 -invariant sheaves 0 S 4 2 (SL 2 ) K Sp S 4 2 (SL 3 ) K Q 3 0,

4 4 1 Introduction and for n 4 there are isomorphisms 2 (SL n) = K Q 3. Here, KQ n is the sheafification of the Quillen K-theory functor for the Nisnevich topology, K Sp 3 is the sheafification of the third symplectic K-theory group for the Nisnevich topology, and there are canonical epimorphisms K M 4 /6 S 4 and K M 4 /12 S 4. In fact, the description of 2 (SL 3) provided above is derived from a description of the first non-stable homotopy sheaf of SL n when n is odd. We summarize this in the following result. Theorem 4 (See Theorem 3.9). If k is an infinite perfect field, then for every odd integer n 3 there are canonical short exact sequences of the form 0 S n+1 n 1(SL n ) K Q n 0, where K Q n is the sheafification of the Quillen K-theory presheaf for the Nisnevich topology, and there is an epimorphism K M n+1 /n! S n+1. The proofs of Theorems 3 and 4 rely on the theory of A 1 -fiber sequences attached to Zariski locally trivial SL n and Sp n -bundles developed by Morel [Mor12] and Wendt [Wen11] and Morel s unstable connectivity results; these ideas are reviewed in Section 2. Moreover, these theorems immediately give descriptions of corresponding homotopy sheaves of GL n and also about homotopy sheaves of associated classifying spaces. Combining the results of Morel and Wendt, one obtains that 2 (GL 2) and 2 (GL 3) are extensions of something stable by a certain quotient of K MW 4. In a sense, the point of the theorems is to precisely identify this quotient, and this requires reinterpreting some classical results of Suslin [Sus84]; this is completed in Section 3, though some results of Section 4 are necessary as well. The first isomorphism reflects the fact that SL 2 = Sp 2 is just outside the stable range for symplectic K-theory, and the second A 1 -homotopy sheaf gets a contribution from symplectic K-theory. The second isomorphism reflects the fact that 2 (SL 3) is just outside the stable range for the general linear group. Remark 5. The question of whether the map K M n+1 /n! S n+1 is an isomorphism is equivalent to a question posed by Suslin in [Sus84]. Indeed, if F is a field, Suslin constructs a homomorphism K Q n+1 (F ) KM n+1 (F ) whose image is contained in n!km n+1 (F ). He observes that the question of whether the image of this map surjects onto n!kn+1 M (F ) is equivalent to a portion of Milnor s conjecture on quadratic forms for n = 3, and wonders about surjectivity in general? Our choice of the letter S in the notation is intended to remind the reader of both surjectivity and Suslin. Suslin s question is already non-trivial when n = 3. In that case, using the Voevodsky-Rost proof of the Bloch-Kato conjecture and the spectral sequence relating motivic cohomology to algebraic K-theory, one can give conditions involving motivic cohomology groups that imply S 4 is isomorphic to K M 4 /6; these points are discussed in detail in Appendix A. The question of whether K M n+1 /n! S n+1 is an isomorphism is yet more difficult. Nevertheless, these issues only appear over non-algebraically closed fields. For example, if F is algebraically closed, since K M i (F ) is divisible for arbitrary i 1, it follows that K M n+1 /n!(f ) is trivial. Likewise, the Bloch-Kato conjecture implies vanishing of K M n+1 /n!(f ) for fields F of étale cohomological dimension n. We use obstruction theory, in this case using a version of the Postnikov tower in A 1 -homotopy theory, to deduce Theorem 1 and Corollary 2; this is explained in Section 6. Indeed, at least over

5 5 2 A 1 -homotopy theory of SL n and Sp n: the stable range algebraically closed fields, the classification results can be deduced from the computations of A 1 - homotopy sheaves above by establishing certain vanishing theorems for cohomology of certain constituents of these sheaves. In particular, our approach necessitates understanding cohomology of K MW 2, K Q 3, KM 4 /6, KM 4 /12 and KSp 3. The cohomology of KQ 3 and KM 4 /6 (resp. KM 4 /12) can be studied by means of Bloch s formula [Blo86] and the Gersten resolution; the relevant vanishing theorems are established in Section 5. The cohomology of K Sp 3 can be studied by a careful analysis of the Gersten-Grothendieck-Witt spectral sequence (see, e.g., [FS09]), and this constitutes the bulk of Section 4, and the techniques of that section can be used to study the cohomology of K MW 2 as well. These observations are, in a sense, just the beginning of the story. The moral we draw is: additional information about unstable A 1 -homotopy groups of GL n can be directly translated into results about vector bundles on smooth affine schemes. To keep the length of this paper reasonable, we have deferred the discussion of some natural questions to subsequent work. In [AF12], we complement Theorem 4 by providing a description of 2n 1 (SL 2n); we also discuss compatibility of our computations with computations in classical homotopy theory by means of realization functors (these comparisons provide some of the impetus for the factor of n! or 12 that appears above), and study vector bundles on smooth affine schemes that have the A 1 -homotopy types of motivic spheres. Acknowledgements The authors would like to thank Fabien Morel for useful discussions (especially related to [Mor12]); these results played a formative role in some of the ideas in this paper. The authors would also like to thank Matthias Wendt for useful comments on a preliminary version of this paper. The first author would also like to thank Sasha Merkurjev for explanations about the motivic spectral sequence and its connections with Suslin s surjectivity question, and Ben Williams and Christian Haesemeyer for discussion about obstruction theory. This project was begun when both authors were attending the Summer school on rigidity and the conjecture of Friedlander and Milnor held in August 2011 at the University of Regensburg. 2 A 1 -homotopy theory of SL n and Sp n : the stable range In this section, we review some preliminaries from A 1 -homotopy theory, especially some results regarding classifying spaces in A 1 -homotopy theory, some results from the theory of A 1 -fiber sequences, due to Morel and Wendt, and Morel s classification theorem for vector bundles over smooth affine schemes. We then recall some stabilization results for A 1 -homotopy sheaves of linear and symplectic groups; these results are also due to Morel and Wendt. The ultimate goal of this section is to define the stable range, and understand the A 1 -homotopy sheaves in this range. Preliminaries from A 1 -homotopy theory Assume k is a field. Write Sm k for the category of schemes that are smooth, separated and have finite type over Spec k. Set Spc k := Shv Nis (Sm k ) (resp. Spc k, ) for the category of (pointed) simplicial sheaves on the site of smooth schemes equipped with the Nisnevich topology; objects of this category will be referred to as (pointed) k-spaces, or simply as (pointed) spaces if k is clear from

6 6 2 A 1 -homotopy theory of SL n and Sp n: the stable range context. Write Hs Nis (k) (resp Hs, Nis (k)) for the (pointed) Nisnevich simplicial homotopy category: this category can be obtained as the homotopy category of, e.g., the injective local model structure on Spc k (see, e.g., [MV99] for details). Write H (k) (resp. H (k)) for the associated A 1 -homotopy category, which is constructed as a Bousfield localization of H Nis s (k) (resp. Hs, Nis (k)). Given two (pointed) spaces X and Y, we set [X, Y ] s := Hom H Nis s (k) (X, Y ) and [X, Y ] A 1 := Hom H (k) (X, Y ); morphisms in pointed homotopy categories will be denoted similarly with basepoints explicitly written if it is not clear from context. We write S i s for the constant sheaf on Sm k associated with the simplicial i-sphere, and G m will always be pointed by 1. The A 1 -homotopy sheaves of a pointed space (X, x), denoted i (X, x) are defined as the Nisnevich sheaves asso- (X, x) for the Nisnevich ciated with the presheaves U [S i s U +, (X, x)] A 1. We also write i,j sheafification of the presheaf U [S i s G m j U +, (X, x)] A 1. A presheaf of sets F on Sm k is called A 1 -invariant if for any smooth k-scheme U the morphism F(U) F(U A 1 ) induced by pullback along the projection U A 1 U is a bijection. A Nisnevich sheaf of groups G is called strongly A 1 -invariant if the cohomology presheaves HNis i (, G) are A 1 -invariant for i = 0, 1. A Nisnevich sheaf of abelian groups A is called strictly A 1 -invariant if the cohomology presheaves HNis i (, A) are A1 -invariant for every i 0. A review of the theory of A 1 -fiber sequences If K is a compact Lie group, principal K-bundles are standard examples of Serre fibrations. Associated with a Serre fibration is a corresponding long exact sequence in homotopy groups. Constructing A 1 -fibrations is more delicate and not so many examples are known. If G is a (smooth) algebraic group over a field F, then in general, G-torsors are only locally trivial in the étale topology. This observation and the failure of homotopy invariance for the functor isomorphism classes of G-torsors make attaching fibrations in A 1 -homotopy theory to G-torsors somewhat delicate. Nevertheless, if G is a special group in the sense of Grothendieck-Serre, i.e., if all G-torsors are Zariski locally trivial, G-torsors give rise to A 1 -fiber sequences in a sense we now explain. Given a morphism f : (E, x) (B, y) of pointed spaces that is an A 1 -fibration in the sense of the A 1 -local model structure, there is an induced action of RΩ 1 sb (the simplicial loop space of a fibrant model of B) on the A 1 -homotopy fiber of f. An A 1 -fiber sequence is a sequence of morphisms of pointed spaces together with an action of the simplicial loop space of the base on the fiber that is isomorphic in H (k) to a sequence as in the previous line. Morphisms of fiber sequences are sequences of morphisms in H (k) that respect the actions of loop spaces. The main result about fiber sequences we will use is summarized in the following statement, which is quoted from [Wen11, Proposition 5.1, Proposition 5.2, and Theorem 5.3]; in any situation in this paper where a sequence of spaces is asserted to be an A 1 -fiber sequence (and for which no auxiliary reference is given), the sequence has this property because of the following result. Theorem 2.1 (Morel, Moser, Wendt). Assume F is a field, and (X, x) is a pointed smooth F - scheme. If P X is a G-torsor for G = G m, SL n, GL n or Sp 2n, then there is an A 1 -fiber sequence of the form G P X. If, moreover, Y is a pointed smooth quasi-projective F -scheme equipped with a left action of G, then the associated fiber space, i.e., the quotient P G Y, exists as a smooth scheme, and there is

7 7 2 A 1 -homotopy theory of SL n and Sp n: the stable range an A 1 -fiber sequence of the form Y P G Y X. Comments on the proof. As regards attribution: Morel proved the above result for G m, SL n or GL n (n 3) in [Mor12], and Wendt extended his result to treat a rather general class of reductive groups; the case where G = SL 2 requires the results of Moser [Mos11]. In [Wen11, Proposition 5.1], this result is stated under the apparently additional hypothesis that F be infinite. However, the assumption that F is infinite is only used by way of Proposition 4.1 of ibid to guarantee Nisnevich local triviality of G-torsors that are trivial upon restriction to the base point. In particular, since SL n and Sp n are special groups (in the sense of Grothendieck-Serre), G-torsors for such groups are automatically Zariski locally trivial over any base. In the second statement, quasi-projectivity of Y is only used to guarantee that the quotient P G Y exists as a smooth scheme and that this quotient coincides with the Nisnevich sheaf quotient of the functor represented by P Y by the functor represented by G. By the general theory of fiber sequences [Hov99, 6.2 and Proposition 6.5.3] together with a sheafification argument, an A 1 -local fiber sequence as above gives rise to an associated long exact sequence in A 1 -homotopy sheaves; we summarize this in the next statement; we will use this result without mention in the sequel. Proposition 2.2. If (F, x 0 ) (E, x) (B, y) is an A 1 -fiber sequence, then for any pair of integers i, j, there is a long exact sequence of the form δ i+1,j(b, y) πi,j A1 (F, x 0 ) i,j (E, x) i,j (B, y), where all the unmarked arrows are induced by covariant functoriality of homotopy sheaves, and the connecting homomorphism δ is defined by the composite RΩ 1 sb F RΩ 1 sb F, where the first map is given by inclusion of the base-point and the second map is given by the action of the simplicial loop space of the base on the fiber. Classifying spaces and vector bundles Suppose G is a Nisnevich sheaf of groups. Throughout the paper, we will always assume G is pointed by the identity Spec(k) G, and we will suppress the base-point. We write EG for the usual Cech-simplicial object associated with the morphism G Spec(k), i.e., EG n = G n+1 and the simplicial structures are induced by projections and partial diagonals. The sheaf G acts on EG (on the right), and the quotient EG /G = BG gives the usual simplicial bar construction [MV99, 4.1]. The space BG is a reduced simplicial sheaf (i.e., its sheaf of 0-simplices is the constant sheaf Spec(k)), and so BG has a canonical base-point. Morel and Voevodsky show [MV99, 4 Proposition 1.15] that if X is a space, then there is a canonical bijection [X, BG ] s H 1 Nis (X, G); to be clear, we are taking maps in the unpointed simplicial homotopy category here. In particular, if G is a linear algebraic group that is special, then it follows that isomorphism classes of G-torsors are in bijection with elements of [X, BG ] s.

8 8 2 A 1 -homotopy theory of SL n and Sp n: the stable range Write Gr n,n+n for the grassmannian parameterizing n-dimensional subspaces of an n + N- dimensional vector space. We let Gr n, be colim N Gr n,n+n for the morphisms induced by standard inclusions. The universal vector bundle on Gr n,n+n induces a simplicial homotopy class of morphisms Gr n,n+n BGL n,, and Morel and Voevodsky observe that the induced morphism Gr n, BGL n is an A 1 -weak equivalence [MV99, 4 Proposition 3.7]. Morel proves the following fact. Theorem 2.3 (Morel, Moser [Mor12, Theorem 7.1]). If k is a perfect field, and if X is a smooth affine k-scheme, then there is a canonical bijection [X, Gr n, ] A 1 = V n (X), where V n (X) is the set of isomorphism classes of rank n vector bundles on X. In a number of situations below, only the A 1 -homotopy type of BG plays a role. For that reason, we make the following convention. Notation 2.4. Write BG for any space that has the A 1 -homotopy type of BG. Stabilization sequences We now apply the results on fiber sequences above to the A 1 -fiber sequences and SL n 1 SL n SL n /SL n 1 Sp 2n 2 Sp 2n Sp 2n /Sp 2n 2. Each of these fiber sequences gives rise to a long exact sequence in A 1 -homotopy sheaves. Taken together, the next pair of results, observed by Morel and Wendt, shows that the quotients that appear are highly A 1 -connected. Proposition 2.5. The projection onto the first column morphism SL n A n \ 0 (resp. Sp 2n A 2n \ 0) factors through an A 1 -weak equivalence SL n /SL n 1 A n \ 0 (resp. Sp 2n /Sp 2n 2 A 2n \ 0). Proof. In the first case, SL n acts transitively on A n \ 0 and the stabilizer of a point can be identified with an extension of SL n 1 by a unipotent group. Furthermore, there is a Zariski locally trivial morphism SL n /SL n 1 A n \ 0 with affine space fibers. The case of the symplectic group is similar. The stable range Theorem 2.6 (Morel). For any integer n 2, the space A n \ 0 is (n 2)-A 1 -connected, and there is a canonical isomorphism n 1 (An \ 0) = K MW n. Remark 2.7. Explicit generators and relations for the sections of the sheaves K MW n are given in [Mor12, 2]. A number of basic properties of the sheaves we use will be quoted from this source.

9 9 2 A 1 -homotopy theory of SL n and Sp n: the stable range Corollary 2.8 (Morel, Wendt). The morphisms i (SL n 1 ) i (SL n ) are epimorphisms for i n 2 and isomorphisms for i n 3. The morphisms i (Sp 2n 2 ) i (Sp 2n ) are epimorphisms for i 2n 2 and isomorphisms for i 2n 3. Re-indexing slightly, the sheaves i (SL n ) coincide with the stable groups i (SL ) for i n 2 and homotopy sheaves in this range of indices will be said to be in the stable range. Likewise, the sheaves i (Sp 2n ) coincide with i (Sp ) for i 2n 1 and homotopy sheaves in this range of indices will again be said to be in the stable range. Homotopy sheaves of GL n in the stable range We quickly review the computation of the homotopy sheaves of GL n in the stable range, which is due to Morel. Forming a colimit in the index n there are spaces Gr, and BGL, together with an A 1 -weak equivalence Gr, BGL,. By [MV99, Theorem 3.13], the space Z Gr, represents Quillen K-theory for smooth k-schemes. Write K Q i for the Nisnevich sheaf associated with the presheaf U K i (U), where K i denotes Quillen K-theory; these sheaves are called Quillen K-theory sheaves. The next result describes the A 1 -homotopy sheaves of SL n or GL n in the stable range in terms of Quillen K-theory. Theorem 2.9. For any integers i > 0 and any n > 1 there are canonical isomorphisms i (SL n ) = i (GL n ) = i+1(bgl n, ). If furthermore, 0 i n 2, there are canonical isomorphisms of the form Proof. There are A 1 -fiber sequences of the form i+1(bgl n, ) = i+1(bgl, ) = K Q i+1. G m GL n SL n GL n EGL n, BGL n,. Since G m is A 1 -rigid [MV99, 4 Example 2.4], we have i (G m ) = 1 for i 1. It is straightforward to check that the inclusion G m GL n induces an isomorphism G m = 0 (G m) 0 (GL n). Combining these two observations gives the first isomorphism. For the second isomorphism, note that EGL n, BGL n, is a GL n -torsor (it can even be realized as a colimit of GL n -torsors over smooth schemes) and thus gives rise to an A 1 -fiber sequence. Since EGL n is A 1 -contractible, the second isomorphism is immediate. By representability of algebraic K-theory, K Q i can also be described as i (Z BGL ). Moreover, for i > 0, the only contribution to this sheaf comes from the A 1 -connected component of the base-point, so i (Z BGL, ) = i (BGL, ). The final statement can then be deduced from Corollary 2.8.

10 10 3 A 1 -homotopy theory of SL n and Sp n: some non-stable results Homotopy sheaves of Sp 2n in the stable range Replacing the general (or special) linear group by the symplectic group, there are analogous stability statements. Let HGr(2n, 2(n + N)) be the open subscheme of Gr 2n,2(n+N) parameterizing 2n-dimensional subspaces of a 2(n + N)-dimensional symplectic vector space to which the symplectic form restricts non-degenerately. One can give a more functorial description of this space, but let us note that, upon choice of a base-point, HGr(2n, 2(n + N)) becomes isomorphic to the homogeneous space Sp 2(n+N) /(Sp 2N Sp 2n ). The morphism Sp 2(n+N) /Sp 2N HGr(2n, 2(n + N)) is an Sp 2n -torsor and, as mentioned above, is therefore classified by a simplicial homotopy class of maps HGr(2n, 2(n + N)) BSp 2n,. Taking an appropriate colimit over N, there is an induced morphism HGr(2n, ) BSp 2n,. Likewise, taking a colimit over n, there is an induced morphism HGr(, ) BSp,. Panin and Walter show [PW10, Theorem 8.2] that the space Z HGr(, ) represents symplectic K-theory. Theorem For any integers i > 0 and any n > 1 there are canonical isomorphisms i (Sp 2n ) = i+1(bsp 2n, ). If 0 i 2n 1 and, furthermore, the base field k is assumed to have characteristic unequal to 2, there are canonical isomorphisms of the form i+1(bsp 2n, ) = i+1(bsp, ) = K Sp i+1. Proof. This result is proven in a fashion formally analogous to that for SL n. The first identification comes from the A 1 -fiber sequence associated with the torsor Sp 2(n+N) /Sp 2N HGr(2n, 2(n + N)) together with a colimit argument. The second isomorphism results by applying the stabilization isomorphisms of Corollary 2.8. This result was stated by Wendt in a slightly different form in [Wen11, Theorem 6.8 and Remark 6.12]. The hypothesis on the characteristic of the base-field is required to apply the results of [PW10]. Remark In [MV99, 4], a different geometric model B gm Sp 2n for the classifying space Sp 2n is constructed; this model is essentially Totaro s model. This model can also be used to construct a space representing symplectic K-theory as explained in [Hor05, Remark 3.8]. While the spaces B gm Sp 2n are A 1 -weakly equivalent to HGr(2n, ), and both spaces are given as colimits of finitedimensional approximations, the space B gm Sp 2n is not well-adapted to our needs since it is not a colimit of homogeneous spaces. The main technical difference between the finite dimensional smooth varieties approximating HGr(2n, ) and those approximating B gm Sp 2n is that the former do not form an admissible gadget in the sense of [MV99, 4 Definition 2.1]. Furthermore, the proof that the spaces Z HGr(, ) represent symplectic K-theory is very similar to that given for algebraic K-theory in [MV99, 4]. 3 A 1 -homotopy theory of SL n and Sp n : some non-stable results The main goal of this section is to describe the first non-stable A 1 -homotopy sheaf for SL n (resp. GL n ) for n 2. This result is broken into two largely independent parts. The case n 3 is treated

11 11 3 A 1 -homotopy theory of SL n and Sp n: some non-stable results first. In this range, the groups in question are meta-stable in the following loose sense: at least if n is odd, the sheaf n 1 (SL n) takes a form that depends in a uniform fashion on n. The first non-stable A 1 -homotopy sheaf of SL 2 was, as explained in the introduction, computed by Morel (see Theorem 2.6 and use the fact that SL 2 A 2 \ 0 is an A 1 -weak equivalence). The next nonstable A 1 -homotopy sheaf of SL 2 is treated, extending an idea of Wendt [Wen11, Proposition 6.11], by means of the exceptional isomorphism SL 2 = Sp2 and stabilization results for symplectic K- theory. Some of the results are proven in greater generality than necessary since we expect they will be useful in understanding n 1 (SL n) when n 2 is an even integer. A short exact sequence describing n 1 (SL n), n 2 The long exact sequence in A 1 -homotopy sheaves associated with the A 1 -fiber sequence gives rise to an exact sequence of the form SL n 1 SL n SL n /SL n 1 n 1(SL n ) n 1(SL n /SL n 1 ) n 2(SL n 1 ) n 2(SL n ) 0. In case n = 3, we furthermore observe that 1 (SL 2) and 1 (SL 3) are known to be sheaves of abelian groups and are therefore strictly A 1 -invariant [Mor12, Corollary 5.2], i.e., the sequence above is always a sequence of strictly A 1 -invariant sheaves of groups. Theorem 2.6 and Theorem 2.9 (the groups n 2 (SL n) are in the stable range) allow us to rewrite this sequence as n 1(SL n ) q n 1 K MW δ n 1 n n 2(SL n 1 ) K Q n 1 0. Our goal is to understand the image of n 1 (SL n) K MW n. The connecting homomorphism δ n 1 gives a homomorphism n 1 (SL n/sl n 1 ) The composite homomorphism q n 2 δ n 1 therefore gives a map K MW n n 2 (SL n 1). K MW n 1. Since SL n/sl n 1 is A 1 -(n 2)-connected by Proposition 2.5 and Theorem 2.6, if A is any strictly A 1 -invariant sheaf, [AD09, Theorem 3.30] gives a canonical bijection H n 1 Nis (SL n/sl n 1, A) Hom Ab A 1 k ( n 1(SL n /SL n 1 ), A). Applying these observations with A = K MW n 1, the morphism q n 2 δ n 1 is determined by an element of H n 1 Nis (SL n/sl n 1, K MW n 1 ). The connecting homomorphism in the long exact sequence is obtained (up to simplicial homotopy) by applying simplicial loops to the classifying morphism SL n /SL n 1 BSL n 1, of SL n 1 -torsor SL n SL n /SL n 1. The composite morphism Ω 1 ssl n /SL n 1 SL n 1 SL n 1 /SL n 2 comes from the action of SL n 1 on SL n 1 /SL n 2. There is an induced morphism from SL n 1 /SL n 2 to the A 1 -homotopy fiber of the morphism BSL n 2, BSL n 1, and this morphism is an A 1 -weak equivalence. As a consequence, the cohomology class determined by the homomorphism q n 2 δ n 1 is precisely the primary obstruction to lifting the classifying map

12 12 3 A 1 -homotopy theory of SL n and Sp n: some non-stable results of the SL n 1 -torsor SL n SL n /SL n 1 to a map SL n /SL n 1 BSL n 2,. By definition, the resulting class is therefore precisely Morel s Euler class of the SL n 1 -torsor in question. The A 1 -weak equivalence SL n /SL n 1 A n \ 0 also gives an identification SL n /SL n 1 = Σ n 1 s G n m. By means of the suspension isomorphism, the group H n 1 Nis (SL n/sl n 1, K MW n 1 ) is then canonically isomorphic to HNis 0 (G m n, K MW n 1 ). The group on the right hand side can be described in terms of contractions (see Proposition 5.4), and one obtains a canonical identification H n 1 Nis (SL n/sl n 1, K MW n 1 ) = K MW 1 (k). By [Mor12, Lemma 2.10], KMW 1 (k) = W (k), and every element of this group is of the form ηs for s GW (k). The next lemma gives a precise description of this Euler class. Lemma 3.1. The Euler class of the SL n 1 -torsor SL n SL n /SL n 1, which is an element of H n 1 Nis (SL n/sl n 1, K MW n 1 ), is the class of η if n is odd and 0 if n is even. Proof. Let A 2n 1 := k[x 1,..., x n, y 1,..., y n ]/ x i y i 1 and Q 2n 1 = Spec(A 2n 1 ). Projecting a matrix to its first row and the first column of its inverse yields a SL n 1 -equivariant morphism π n : SL n Q 2n 1, where SL n 1 acts trivially on the right-hand term; abusing notation, this morphism induces an isomorphism π n : SL n /SL n 1 Q 2n 1 for any integer n 2. The vector bundle given by the morphism SL n /SL n 1 BSL n 1, can be described as follows. Let V n be the standard n-dimensional representation of SL n. As usual, if V is a k-vector space, we write A(V ) := Spec SymV, where V is the k-vector space dual. We view A(V n ) as an SL n -scheme with the induced right action. Let i : SL n 1 SL n be the closed immersion group homomorphism given by ( ) 1 0 i(g) =. 0 G View SL n as an SL n 1 -scheme by means of left multiplication by i(g). The quotient map SL n SL n /SL n 1 is an SL n 1 -bundle and we can form the associated geometric vector bundle: E n := A(V n 1 ) SL n 1 SL n, i.e., the quotient of A(V n 1 ) SL n by the diagonal SL n 1 -action, where we view SL n 1 as a subgroup of SL n. Claim. Under the identification π n : SL n /SL n 1 Q 2n 1, E n is the total space associated with the stably free module P n of rank n 1 defined by the following (split) exact sequence: 0 A 2n 1 (x 1,...,x n) (A 2n 1 ) n P n 0. Viewing V n as an SL n 1 -module by restriction via i, it splits as a direct sum k V n 1. The short exact sequence of SL n 1 -modules 0 k V n V n 1 0 gives rise, by faithfully flat descent, to an exact sequence of geometric vector bundles 0 A 1 SL n 1 SL n A(V n ) SL n 1 SL n E n 0.

13 13 3 A 1 -homotopy theory of SL n and Sp n: some non-stable results Since SL n 1 acts trivially on A 1, the first vector bundle is simply the trivial bundle A 1 SL n /SL n 1. Since the morphism on the right hand side is split, it follows that this is a split short exact sequence. Next, define a morphism φ n : A(V n ) SL n A n Q 2n 1 by φ n (v, M) = (vm, π n (M)). This morphism is SL n 1 -equivariant for the action of SL n 1 on A(V n ) SL n specified above and for the trivial SL n 1 -action on A n Q 2n 1 and, once again abusing notation slightly, therefore descends to a morphism φ n : A(V n ) SL n 1 SL n A n Q 2n 1. Combining these facts, we get a commutative diagram whose vertical morphisms are isomorphisms 0 A 1 SL j n 1 SL n A(V n ) SL q n 1 SL n E n 0 0 A 1 Q 2n 1 j A n Q 2n 1 E n 0 φ n It suffices to check that j is the announced morphism to prove the claim. We now proceed to the computation of the Euler class of E n. If n is even, then the Euler class of E n is trivial since a stably free module given by a unimodular row of even length always has a free factor of rank one and thus a trivial Euler class. In case n is odd, the Euler class is computed in [Fas12, Proposition 3.2]. Lemma 3.2. For n 3 and odd, there is a short exact sequence of the form where S n+1 is a quotient of K M n+1. 0 S n+1 n 1(SL n ) K Q n 0, Proof. We combine the long exact sequences in A 1 -homotopy sheaves associated with the fibrations SL n 1 SL n SL n /SL n 1 and SL n 2 SL n 1 SL n 1 /SL n 2 to get a diagram of the form K MW n n 2 (SL n 2) δ n 1 n 2 (SL n 1) q n 2 K MW n 1 n 3 (SL n 2) K Q n 2 0 K Q n 1 0 Now, note that coker( η : K MW n K MW n 1 ) = KM n 1. Under the hypotheses, the composite map is multiplication by η by Lemma 3.1, a diagram chase shows that q n 2 δ n 1 : K MW n K MW n 1 there is an isomorphism coker(k Q n 1 KM n 1 ) coker(q n 2).

14 14 3 A 1 -homotopy theory of SL n and Sp n: some non-stable results Homological stabilization for GL n and the sheaf S n+1 By Lemma 3.2, the sheaf S n+1 is a quotient of K M n+1 by means of a homomorphism KQ n+1 K M n+1. As the proof of the aforementioned result makes clear, the factor of KQ n+1 that appears comes from the stabilization homomorphism SL n SL n+1. We now attempt to obtain a more concrete description of the image of this homomorphism. Because the sheaf S n+1 is strictly A 1 - invariant, which follows from the fact that the category of strictly A 1 -invariant sheaves over a field F is abelian [Mor05, 6], to describe S n+1, it suffices to describe its sections over any finitely generated separable extension L/F. The goal, which is realized in Lemma 3.8 after a number of preliminaries, is to connect the sections of the morphism K Q n+1 KM n+1 over L to some results of Suslin, which we recall below. The sections of the simplicial classifying space BGL n, over any field L give a simplicial set whose homology is precisely the standard bar complex used to compute group homology. The usual homomorphism GL n 1 GL n induces a morphism BGL n 1, BGL n,. In this context, we can state the result that we will refer to as Suslin s stabilization theorem in the sequel. Theorem 3.3 ([Sus84, Theorem 3.4]). If L is an infinite field, the stabilization homomorphism s m,n : H m (BGL n 1, (L), Z) H m (BGL n, (L), Z) is an isomorphism if m n 1, and s n,n has cokernel K M n (L). Using the above stabilization result, Suslin constructed a homomorphism from Quillen K-theory to Milnor K-theory [Sus84, 4]. Consider the sequence (3.1) Kn Q (L) := π n (BGL, (L) + ) H n (BGL, (L) +, Z) H n (BGL, (L), Z) H n (BGL n, (L), Z) Kn M (L), where the first homomorphism is the Hurewicz homomorphism, the second homomorphism comes from the definition of the plus construction, the third homomorphism is the inverse to the composites of the maps coming from the stabilization theorem, and the fourth homomorphism is the projection morphism coming from Theorem 3.3. First, let us reinterpret the short exact sequence from Lemma 3.2. We observed before that the canonical morphism Gr n, BGL n, is an A 1 -weak equivalence, so by means of the isomorphisms of Theorem 2.9, for i 2 the homotopy sheaves i (SL n ) can be replaced by homotopy sheaves of i+1 (Gr n, ). Furthermore, the inclusion SL n GL n induces an isomorphism SL n /SL n 1 GL n /GL n 1. If we identify Gr n, as a quotient of an A 1 -contractible space V n, by a free action of GL n, then we get an A 1 -fiber sequence of the form (cf. [Mor12, Proposition 7.11]) GL n /GL n 1 V n, GLn GL n /GL n 1 Gr n,. The space in the middle is A 1 -weakly equivalent to Gr n 1, by a standard argument. The connecting homomorphism in the long exact sequence of homotopy sheaves attached to this A 1 -fiber sequence fits into the exact sequence: (3.2) i (Gr n 1, ) i (Gr n, ) i 1(GL n /GL n 1 ).

15 15 3 A 1 -homotopy theory of SL n and Sp n: some non-stable results and one checks that the first homomorphism in the above sequence is precisely the stabilization homomorphism i 1 (SL n 1) i 1 (SL n) for i 2. For any space X, recall that the functor Sing A1 (X ) is obtained as the diagonal of the bisimplicial space (i, j) Hom( i, X j ), where i is the algebraic i-simplex. There is a canonical morphism X Sing A1 (X ), which is an A 1 -weak equivalence, and Sing A1 ( ) commutes with formation of finite limits [MV99, p. 87 and 2 Corollary 3.8]. Furthermore, the augmentation map Spec k induces a morphism Sing A1 (X ) X. The spaces Sing A1 (GL n ), Sing A1 (GL n /GL n 1 ), and Sing A1 (Gr n, ) all have a version of the so-called affine BG property (see [Mor12, Appendix A.1] for the relevant definitions, and [Mor12, Theorems 7.1, 7.9, and 8.21] for the results). The main consequence of this that we use is that if L is a finitely generated separable extension of F, there are canonical isomorphisms i i i (Gr n, )(L) = π i (Sing A1 (Gr n, )(L)), (GL n )(L) = π i (Sing A1 (GL n )(L)), and (GL n /GL n 1 )(L) = π i (Sing A1 (GL n /GL n 1 )(L)), where the π i on the right hand side denotes the ordinary i-th homotopy group of a simplicial set. Remark 3.4. To be more precise, Morel proved that Sing A1 (GL n ) Sing A1 (GL n /GL n 1 ) have the affine BG property in the Nisnevich topology for n 3. Moser [Mos11] extended this to treat the case n = 2 as well. The space Sing A1 (Gr n, ) has the affine BG property in the Zariski topology, and the statement we use is then a consequence of [Mor12, Theorem A.19]. The A 1 -weak equivalence GL n /GL n 1 A n \0 of Theorem 2.6 says that GL n /GL n 1 is A 1 - (n 2)-connected, and thus the simplicial set Sing A1 (GL n /GL n 1 )(F ) is (n 2)-connected for an arbitrary field F. Suslin s homomorphism is defined in terms of a different model of the classifying space of GL n, and to this end, we will replace Gr n, by a different model. We saw above that the canonical morphism Gr n, BGL n, is an A 1 -weak equivalence. We now establish a slightly stronger version of this fact. Lemma 3.5. The morphism Sing A1 (Gr n, ) Sing A1 (BGL n, ) induced by the classifying mor- (BGL n, ) is phism Gr n, BGL n, is a simplicial weak equivalence. In particular, Sing A1 A 1 -local. Proof. The space Gr n, is a quotient of V n, by GL n, where V n, is a colimit of open subschemes of affine spaces. Consider the Cech simplicial object C(p) obtained from the morphism p : V n, Gr n,. By [MV99, 2 Lemma 2.14], the morphism C(p) Gr n, is a simplicial weak equivalence. It follows that the map Sing A1 ( C(p)) Sing A1 (Gr n, ) is a simplicial weak equivalence (use [MV99, 2 Lemma 1.8]). Furthermore, the n-th term of this simplicial scheme is the n+1-fold fiber product of V n, with itself over Gr n,. In this case, the n-th term is isomorphic to V n, GL n n. In particular, C(p) can be described as the quotient (Vn, EGL n, )/GL n, where EGL is the Cech simplicial scheme associated with the projection GL n Spec k. Projection onto the factor EGL then defines a morphism C(p) BGL n, and therefore also a morphism Sing A1 ( C(p)) Sing A1 (BGL n, ) By construction Sing A1 ( ) commutes with formation of finite products. The proof of [MV99, 4 Proposition 2.3] shows that the structure morphism Sing A1 (V n, ) Spec k is a simplicial

16 16 3 A 1 -homotopy theory of SL n and Sp n: some non-stable results weak equivalence. It follows that the induced morphism Sing A1 ( C(p)) Sing A1 (BGL n, ) is a termwise weak-equivalence of simplicial sheaves and therefore a simplicial weak equivalence by [MV99, 2 Corollary 1.21]. As a consequence of this lemma, we have i (Gr n, )(L) = π i (Sing A1 (BGL n, )(L)) for any n and any integer i 0. Taking sections of the exact sequence in Equation 3.2 over L thus yields an exact sequence of the form (3.3) π i (Sing A1 (BGL n 1, )(L)) π i (Sing A1 (BGL n, )(L)) π i 1 (Sing A1 (GL n /GL n 1 )(L)). for any integer i > 0. Because A n \0 is A 1 -(n 2)-connected, and because Sing A1 (GL n /GL n 1 ) is A 1 -local and A 1 - weakly equivalent to A n \0, it follows that Sing A1 (GL n /GL n 1 ) is simplicially (n 2)-connected. As a consequence, taking sections over any field L, the Hurewicz theorem (for simplicial sets) gives a canonical isomorphism (3.4) π n 1 (Sing A1 (GL n /GL n 1 )(L)) H n 1 (Sing A1 (GL n /GL n 1 )(L), Z). The Hurewicz homomorphism is functorial and therefore gives a commutative square of the form π i (Sing A1 (BGL n 1, )(L)) π i (Sing A1 (BGL n, )(L)) H i (Sing A1 (BGL n 1, )(L), Z) H i (Sing A1 (BGL n, )(L), Z). These two homomorphisms are compatible by the following result. Lemma 3.6. If n 3, there is a commutative diagram of the form π n (Sing A1 (BGL n 1, )(L)) π n (Sing A1 (BGL n, )(L)) Kn MW (L) H n (Sing A1 (BGL n 1, )(L), Z) H n (Sing A1 (BGL n, )(L), Z) Kn MW (L), where all the vertical morphisms are Hurewicz homomorphisms and the farthest right arrow is the isomorphism of Equation 3.4. Proof. If n 3, because Sing A1 (GL n /GL n 1 )(L) is (n 2)-connected, the first non-trivial differential for the homological Serre spectral sequence d n of the fibration Sing A1 (BGL n 1, ) Sing A1 (BGL n, ) fits into the short exact sequence of the stated form. Lemma 3.7. The augmentation Sing A1 (X ) X induces a commutative diagram of the form H n (Sing A1 (BGL n 1, )(L), Z) H n (Sing A1 (BGL n, )(L), Z) Kn MW (L) H n (BGL n 1, (L), Z) H n (BGL n, (L), Z) K M n (L), where the two vertical arrows on the left are split surjections.

17 17 3 A 1 -homotopy theory of SL n and Sp n: some non-stable results Proof. By Suslin s stabilization theorem 3.3, the homotopy fiber of the map BGL n 1, (L) BGL n, (L) is homologically (n 2)-connected. In particular, the same argument as above using the homological Serre spectral sequence together with the other part of Suslin s theorem identifies the cokernel of the lower left horizontal map with K M n (L). That the two vertical arrows on the left are split surjections follows from the splitting of the augmentation given by the natural transformation Id Sing A1 ( ). Finally, we can prove the main result we need. Lemma 3.8. For any finitely generated separable extension L/F, the morphism K Q n 1 (L) K M n 1 (L) from Lemma 3.2 factors through Suslin s stabilization morphism 3.1. Proof. Consider the following commutative diagram π n (Sing A1 (BGL n, )(L)) H n (Sing A1 (BGL n, )(L), Z) π n (Sing A1 (BGL, )(L)) H n (Sing A1 (BGL, )(L), Z) H n (BGL n, (L), Z) H n (BGL, (L), Z), where the vertical arrows in the top row are Hurewicz homomorphisms, and the vertical arrows in the bottom row are split surjections. Furthermore, the lowest horizontal arrow is an isomorphism by Suslin s stabilization theorem. As we observed at the beginning of this section, the homomorphism n (BGL n, ) K Q n factors through the map n (BGL n, ) n (BGL, ). The bottom horizontal arrow is the isomorphism from Suslin s stabilization theorem. Finally, the first sequence of composites in Suslin s homomorphism 3.1 is precisely the composite of the two vertical arrows on the right hand side with the inverse to the isomorphism given by the bottom horizontal arrow. Now, combining Lemmas 3.6 and 3.7 we get a commutative diagram with three rows. We start with an element of Kn MW (L) lying in the image of the map from π n (Sing A1 (BGL n, )(L)). By the discussion of the two previous paragraphs, that element factors through K Q n (L). Since the image factors through to Kn M (L), commutativity of the diagram described in the first line of this paragraph shows that the morphism in question factors through H n (BGL n,, Z). Then, by commutativity of the diagram two paragraphs above and the definition of Suslin s homomorphism, it follows that our morphism factors through Equation 3.1. By Theorem 2.9, there are canonical isomorphisms n (BGL n, ) = n (BSL n, ) = n 1 (SL n). Using this fact, the next result implies Theorem 4, and taking n = 3 the second exact sequence of Theorem 3. Theorem 3.9. If F is an infinite perfect field, then for any odd integer n 3, there is a short exact sequence of the form 0 S n+1 n (BGL n ) K Q n 0, together with an epimorphism K M n+1 /n! S n+1.

18 18 3 A 1 -homotopy theory of SL n and Sp n: some non-stable results Proof. The assumption that the base field F is perfect stems from our implicit use of Morel s result that a strongly A 1 -invariant sheaf of abelian groups is strictly A 1 -invariant. By Lemma 3.2 there is a short exact sequence where S n+1 is the cokernel of a morphism K Q n+1 KM n+1. By Lemma 3.8, the morphism of the previous homomorphism factors through the Suslin s homomorphism K Q n+1 KM n+1 of Equation 3.1. By [Sus84, Corollary 4.4], the image of this homomorphism on sections over fields contains n!k M n+1 (F ), which gives the epimorphism. Remark Suslin s stabilization theorem 3.3 and [Sus84, Corollary 4.4] were extended to local rings with infinite residue field in [NS89], and independently, to all rings of stable rank 1 in [Gui89]. While this is unnecessary for our analysis, these results imply that maps on stalks induced by the homomorphism K Q n+1 KM n+1 we constructed in Lemma 3.2 are understood. Comparing fiber sequences via homogeneous spaces Proposition For any integers m, n 1, let i 2n : Sp 2n SL 2n be the obvious closed immersion group homomorphism (obtained by picking a ( symplectic ) form on an n-dimensional vector 1 0 space), j m : SL m SL m+1 be defined by j m (M) = and l 0 M 2n : Sp 2n Sp 2n+2 defined by l 2n (N) = ( Id 0 0 N and it induces a diagram ). The following diagram is cartesian j 2n i 2n Sp 2n l 2n Sp 2n+2 i 2n+2 SL 2n+1 j2n+1 SL 2n+2 j 2n i 2n Sp 2n l 2n SL 2n+1 j 2n+1 Sp 2n+2 i 2n+2 SL 2n+2 Sp 2n+2 /Sp 2n SL 2n+2 /SL 2n+1 SL 2n+1 /Sp 2n SL 2n+2 /Sp 2n+2 where the lines and columns are exact sequences of étale (representable) sheaves. Moreover, the induced morphisms Sp 2n+2 /Sp 2n SL 2n+2 /SL 2n+1 and SL 2n+1 /Sp 2n SL 2n+2 /Sp 2n+2 are isomorphisms. Proof. We first check that the square j 2n i 2n Sp 2n l 2n Sp 2n+2 i 2n+2 SL 2n+1 j2n+1 SL 2n+2

A cohomological classification of vector bundles on smooth affine threefolds

A cohomological classification of vector bundles on smooth affine threefolds A cohomological classification of vector bundles on smooth affine threefolds Aravind Asok Department of Mathematics University of Southern California Los Angeles, CA 90089-2532 asok@usc.edu Jean Fasel

More information

Comparing Euler classes

Comparing Euler classes Comparing Euler classes Aravind Asok Department of Mathematics University of Southern California Los Angeles, CA 90089-2532 asok@usc.edu Jean Fasel Fakultät Mathematik Universität Duisburg-Essen, Campus

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

BERTRAND GUILLOU. s G q+r

BERTRAND GUILLOU. s G q+r STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an

More information

On the affine homotopy invariance of G-torsors

On the affine homotopy invariance of G-torsors On the affine homotopy invariance of G-torsors Anand Sawant Ludwig-Maximilians-Universität, München April 4, 2016 Workshop: Generalizations of A 1 -Homotopy Invariance in Algebraic Geometry and Homotopy

More information

6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not

6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not 6. Lecture 6 6.1. cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not only motivic cohomology, but also to Morel-Voevodsky

More information

1. Algebraic vector bundles. Affine Varieties

1. Algebraic vector bundles. Affine Varieties 0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

More information

A 1 -homotopy groups, excision, and solvable quotients

A 1 -homotopy groups, excision, and solvable quotients A 1 -homotopy groups, excision, and solvable quotients Aravind Asok Department of Mathematics University of California, Los Angeles Los Angeles, CA 90095-1555 asok@math.ucla.edu Brent Doran School of Mathematics

More information

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring

More information

1 Notations and Statement of the Main Results

1 Notations and Statement of the Main Results An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main

More information

Math 248B. Applications of base change for coherent cohomology

Math 248B. Applications of base change for coherent cohomology Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

Unipotent groups and some

Unipotent groups and some Unipotent groups and some A 1 -contractible smooth schemes math.ag/0703137 Aravind Asok (joint w/ B.Doran) July 14, 2008 Outline 1. History/Historical Motivation 2. The A 1 -homotopy black box 3. Main

More information

Math Homotopy Theory Hurewicz theorem

Math Homotopy Theory Hurewicz theorem Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

T -spectra. Rick Jardine. March 2, University of Western Ontario

T -spectra. Rick Jardine. March 2, University of Western Ontario University of Western Ontario March 2, 2015 T = is a pointed simplicial presheaf on a site C. A T -spectrum X consists of pointed simplicial presheaves X n, n 0 and bonding maps σ : T X n X n+1, n 0. A

More information

S. M. BHATWADEKAR, J. FASEL, AND S. SANE

S. M. BHATWADEKAR, J. FASEL, AND S. SANE EULER CLASS GROUPS AND 2-TORSION ELEMENTS S. M. BHATWADEKAR, J. FASEL, AND S. SANE Abstract. We exhibit an example of a smooth affine threefold A over a field of characteristic 0 for which there exists

More information

h M (T ). The natural isomorphism η : M h M determines an element U = η 1

h M (T ). The natural isomorphism η : M h M determines an element U = η 1 MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli

More information

1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim

1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories

More information

L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S

L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy

More information

in path component sheaves, and the diagrams

in path component sheaves, and the diagrams Cocycle categories Cocycles J.F. Jardine I will be using the injective model structure on the category s Pre(C) of simplicial presheaves on a small Grothendieck site C. You can think in terms of simplicial

More information

Math 249B. Nilpotence of connected solvable groups

Math 249B. Nilpotence of connected solvable groups Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C

More information

A 1 -algebraic topology

A 1 -algebraic topology A 1 -algebraic topology Fabien Morel Abstract. We present some recent results in A 1 -algebraic topology, which means both in A 1 -homotopy theory of schemes and its relationship with algebraic geometry.

More information

Math 210B. Profinite group cohomology

Math 210B. Profinite group cohomology Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the

More information

Derived Algebraic Geometry IX: Closed Immersions

Derived Algebraic Geometry IX: Closed Immersions Derived Algebraic Geometry I: Closed Immersions November 5, 2011 Contents 1 Unramified Pregeometries and Closed Immersions 4 2 Resolutions of T-Structures 7 3 The Proof of Proposition 1.0.10 14 4 Closed

More information

PICARD GROUPS OF MODULI PROBLEMS II

PICARD GROUPS OF MODULI PROBLEMS II PICARD GROUPS OF MODULI PROBLEMS II DANIEL LI 1. Recap Let s briefly recall what we did last time. I discussed the stack BG m, as classifying line bundles by analyzing the sense in which line bundles may

More information

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X

More information

Topological K-theory

Topological K-theory Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions

More information

Homology and Cohomology of Stacks (Lecture 7)

Homology and Cohomology of Stacks (Lecture 7) Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic

More information

Motivic integration on Artin n-stacks

Motivic integration on Artin n-stacks Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of

More information

Topological K-theory, Lecture 3

Topological K-theory, Lecture 3 Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ

More information

14 Lecture 14: Basic generallities on adic spaces

14 Lecture 14: Basic generallities on adic spaces 14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions

More information

AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY

AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY JOHN R. KLEIN Abstract. In [Kl] we defined a variant of Farrell-Tate cohomology for a topological group G and any naive G-spectrum E by taking the homotopy

More information

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 3: RELATIVE SINGULAR HOMOLOGY LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following

More information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

DERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites

DERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5

More information

THE SMOOTH BASE CHANGE THEOREM

THE SMOOTH BASE CHANGE THEOREM THE SMOOTH BASE CHANGE THEOREM AARON LANDESMAN CONTENTS 1. Introduction 2 1.1. Statement of the smooth base change theorem 2 1.2. Topological smooth base change 4 1.3. A useful case of smooth base change

More information

APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP

APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP In this appendix we review some basic facts about étale cohomology, give the definition of the (cohomological) Brauer group, and discuss

More information

Derived Algebraic Geometry I: Stable -Categories

Derived Algebraic Geometry I: Stable -Categories Derived Algebraic Geometry I: Stable -Categories October 8, 2009 Contents 1 Introduction 2 2 Stable -Categories 3 3 The Homotopy Category of a Stable -Category 6 4 Properties of Stable -Categories 12 5

More information

Math 210B. The bar resolution

Math 210B. The bar resolution Math 210B. The bar resolution 1. Motivation Let G be a group. In class we saw that the functorial identification of M G with Hom Z[G] (Z, M) for G-modules M (where Z is viewed as a G-module with trivial

More information

Voevodsky s Construction Important Concepts (Mazza, Voevodsky, Weibel)

Voevodsky s Construction Important Concepts (Mazza, Voevodsky, Weibel) Motivic Cohomology 1. Triangulated Category of Motives (Voevodsky) 2. Motivic Cohomology (Suslin-Voevodsky) 3. Higher Chow complexes a. Arithmetic (Conjectures of Soulé and Fontaine, Perrin-Riou) b. Mixed

More information

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)]. Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.

More information

NOTES ON FIBER BUNDLES

NOTES ON FIBER BUNDLES NOTES ON FIBER BUNDLES DANNY CALEGARI Abstract. These are notes on fiber bundles and principal bundles, especially over CW complexes and spaces homotopy equivalent to them. They are meant to supplement

More information

Journal of Pure and Applied Algebra

Journal of Pure and Applied Algebra Journal of Pure and Applied Algebra 214 (2010) 1384 1398 Contents lists available at ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa Homotopy theory of

More information

FORMAL GLUEING OF MODULE CATEGORIES

FORMAL GLUEING OF MODULE CATEGORIES FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on

More information

Introduction (Lecture 1)

Introduction (Lecture 1) Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where

More information

Cohomological Formulation (Lecture 3)

Cohomological Formulation (Lecture 3) Cohomological Formulation (Lecture 3) February 5, 204 Let F q be a finite field with q elements, let X be an algebraic curve over F q, and let be a smooth affine group scheme over X with connected fibers.

More information

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE Luis Guijarro and Gerard Walschap Abstract. In this note, we examine the relationship between the twisting of a vector bundle ξ over a manifold

More information

1. Classifying Spaces. Classifying Spaces

1. Classifying Spaces. Classifying Spaces Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.

ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)

More information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic

More information

Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism

Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized

More information

ALGEBRAIC K-THEORY OF SCHEMES

ALGEBRAIC K-THEORY OF SCHEMES ALGEBRAIC K-THEORY OF SCHEMES BEN KNUDSEN 1. Introduction and Definitions These are expository notes on algebraic K-theory, written for Northwestern s 2014 Pre-Talbot Seminar. The primary reference is

More information

p,q H (X), H (Y ) ), where the index p has the same meaning as the

p,q H (X), H (Y ) ), where the index p has the same meaning as the There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore

More information

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X). 3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)

More information

MOTIVES OF SOME ACYCLIC VARIETIES

MOTIVES OF SOME ACYCLIC VARIETIES Homology, Homotopy and Applications, vol.??(?),??, pp.1 6 Introduction MOTIVES OF SOME ACYCLIC VARIETIES ARAVIND ASOK (communicated by Charles Weibel) Abstract We prove that the Voevodsky motive with Z-coefficients

More information

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define

More information

PART II.1. IND-COHERENT SHEAVES ON SCHEMES

PART II.1. IND-COHERENT SHEAVES ON SCHEMES PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image

More information

Galois descent criteria

Galois descent criteria Galois descent criteria J.F. Jardine September 15, 2017 Abstract This paper gives an introduction to homotopy theoretic descent, and its applications in algebraic K-theory computations for fields. On the

More information

LECTURE 5: v n -PERIODIC HOMOTOPY GROUPS

LECTURE 5: v n -PERIODIC HOMOTOPY GROUPS LECTURE 5: v n -PERIODIC HOMOTOPY GROUPS Throughout this lecture, we fix a prime number p, an integer n 0, and a finite space A of type (n + 1) which can be written as ΣB, for some other space B. We let

More information

ALGEBRAIC GROUPS JEROEN SIJSLING

ALGEBRAIC GROUPS JEROEN SIJSLING ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined

More information

Lecture on Equivariant Cohomology

Lecture on Equivariant Cohomology Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove

More information

Peter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms.

Peter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms. p-adic Hodge Theory Peter Scholze Notes by Tony Feng 1 Classical Hodge Theory Let X be a compact complex manifold. We discuss three properties of classical Hodge theory. Hodge decomposition. Hodge s theorem

More information

LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT

LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT DENNIS GAITSGORY 1. Statement of the problem Throughout the talk, by a chiral module we shall understand a chiral D-module, unless explicitly stated

More information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC Homological Algebra: Assignment #3 (Solutions) TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate

More information

Construction of M B, M Dol, M DR

Construction of M B, M Dol, M DR Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant

More information

Smooth morphisms. Peter Bruin 21 February 2007

Smooth morphisms. Peter Bruin 21 February 2007 Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,

More information

Characteristic classes in the Chow ring

Characteristic classes in the Chow ring arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic

More information

Lecture 9 - Faithfully Flat Descent

Lecture 9 - Faithfully Flat Descent Lecture 9 - Faithfully Flat Descent October 15, 2014 1 Descent of morphisms In this lecture we study the concept of faithfully flat descent, which is the notion that to obtain an object on a scheme X,

More information

Tamagawa Numbers in the Function Field Case (Lecture 2)

Tamagawa Numbers in the Function Field Case (Lecture 2) Tamagawa Numbers in the Function Field Case (Lecture 2) February 5, 204 In the previous lecture, we defined the Tamagawa measure associated to a connected semisimple algebraic group G over the field Q

More information

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion

More information

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R) CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.

More information

Chern classes à la Grothendieck

Chern classes à la Grothendieck Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces

More information

Section Higher Direct Images of Sheaves

Section Higher Direct Images of Sheaves Section 3.8 - Higher Direct Images of Sheaves Daniel Murfet October 5, 2006 In this note we study the higher direct image functors R i f ( ) and the higher coinverse image functors R i f! ( ) which will

More information

A Version of the Grothendieck Conjecture for p-adic Local Fields

A Version of the Grothendieck Conjecture for p-adic Local Fields A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture

More information

Grothendieck duality for affine M 0 -schemes.

Grothendieck duality for affine M 0 -schemes. Grothendieck duality for affine M 0 -schemes. A. Salch March 2011 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and

More information

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface

More information

Derived Algebraic Geometry III: Commutative Algebra

Derived Algebraic Geometry III: Commutative Algebra Derived Algebraic Geometry III: Commutative Algebra May 1, 2009 Contents 1 -Operads 4 1.1 Basic Definitions........................................... 5 1.2 Fibrations of -Operads.......................................

More information

Some topological reflections of the work of Michel André. Lausanne, May 12, Haynes Miller

Some topological reflections of the work of Michel André. Lausanne, May 12, Haynes Miller Some topological reflections of the work of Michel André Lausanne, May 12, 2011 Haynes Miller 1954: Albrecht Dold and Dieter Puppe: To form derived functors of non-additive functors, one can t use chain

More information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

More information

Realization problems in algebraic topology

Realization problems in algebraic topology Realization problems in algebraic topology Martin Frankland Universität Osnabrück Adam Mickiewicz University in Poznań Geometry and Topology Seminar June 2, 2017 Martin Frankland (Osnabrück) Realization

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

Homotopy types of algebraic varieties

Homotopy types of algebraic varieties Homotopy types of algebraic varieties Bertrand Toën These are the notes of my talk given at the conference Theory of motives, homotopy theory of varieties, and dessins d enfants, Palo Alto, April 23-26,

More information

We then have an analogous theorem. Theorem 1.2.

We then have an analogous theorem. Theorem 1.2. 1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.

More information

VECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES

VECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES VECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES THOMAS HÜTTEMANN Abstract. We present an algebro-geometric approach to a theorem on finite domination of chain complexes over

More information

Some remarks on Frobenius and Lefschetz in étale cohomology

Some remarks on Frobenius and Lefschetz in étale cohomology Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)

More information

Lecture 9: Sheaves. February 11, 2018

Lecture 9: Sheaves. February 11, 2018 Lecture 9: Sheaves February 11, 2018 Recall that a category X is a topos if there exists an equivalence X Shv(C), where C is a small category (which can be assumed to admit finite limits) equipped with

More information

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014 Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally

More information

Extensions of motives and higher Chow groups

Extensions of motives and higher Chow groups Extensions of motives and higher Chow groups A. J. Scholl Introduction This note has two purposes: the first is to give a somewhat different description of the higher cycle class map defined by Bloch [3]

More information

Theta divisors and the Frobenius morphism

Theta divisors and the Frobenius morphism Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following

More information

Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,

Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.

More information

AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES

AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.

More information

Non-injectivity of the map from the Witt group of a variety to the Witt group of its function field

Non-injectivity of the map from the Witt group of a variety to the Witt group of its function field Non-injectivity of the map from the Witt group of a variety to the Witt group of its function field Burt Totaro For a regular noetherian scheme X with 2 invertible in X, let W (X) denote the Witt group

More information

DERIVED CATEGORIES: LECTURE 4. References

DERIVED CATEGORIES: LECTURE 4. References DERIVED CATEGORIES: LECTURE 4 EVGENY SHINDER References [Muk] Shigeru Mukai, Fourier functor and its application to the moduli of bundles on an abelian variety, Algebraic geometry, Sendai, 1985, 515 550,

More information

CW-complexes. Stephen A. Mitchell. November 1997

CW-complexes. Stephen A. Mitchell. November 1997 CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

Universität Regensburg Mathematik

Universität Regensburg Mathematik Universität Regensburg Mathematik Milnor K-theory and motivic cohomology Moritz Kerz Preprint Nr. 11/2007 MILNOR K-THEORY AND MOTIVIC COHOMOLOGY MORITZ KERZ Abstract. These are the notes of a talk given

More information

Lectures on Galois Theory. Some steps of generalizations

Lectures on Galois Theory. Some steps of generalizations = Introduction Lectures on Galois Theory. Some steps of generalizations Journée Galois UNICAMP 2011bis, ter Ubatuba?=== Content: Introduction I want to present you Galois theory in the more general frame

More information

DESCENT THEORY (JOE RABINOFF S EXPOSITION)

DESCENT THEORY (JOE RABINOFF S EXPOSITION) DESCENT THEORY (JOE RABINOFF S EXPOSITION) RAVI VAKIL 1. FEBRUARY 21 Background: EGA IV.2. Descent theory = notions that are local in the fpqc topology. (Remark: we aren t assuming finite presentation,

More information