A cohomological classification of vector bundles on smooth affine threefolds
|
|
- Tracey Atkins
- 5 years ago
- Views:
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 Aravind Asok Department of Mathematics University of Southern California Los Angeles, CA 90089-2532 asok@usc.edu Jean Fasel
More informationComparing 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 informationThree 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 informationBERTRAND 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 informationOn 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 information6. 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 information1. 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 informationA 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 informationwhere Σ 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 information1 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 informationMath 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 informationAlgebraic 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 informationUnipotent 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 informationMath 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 informationAlgebraic 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 informationT -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 informationS. 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 informationh 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 information1 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 informationL 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 informationin 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 informationMath 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 informationA 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 informationMath 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 informationDerived 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 informationPICARD 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 informationA 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 informationTopological 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 informationHomology 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 informationMotivic 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 informationTopological 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 information14 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 informationAXIOMS 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 informationLECTURE 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 informationNotes 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 informationDERIVED 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 informationTHE 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 informationAPPENDIX 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 informationDerived 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 informationMath 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 informationVoevodsky 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 informationSynopsis 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 informationNOTES 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 informationJournal 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 informationFORMAL 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 informationIntroduction (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 informationCohomological 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 informationTRANSITIVE 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 information1. 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 informationFILTERED 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 informationALGEBRAIC 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 informationA 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 informationAlgebraic 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 informationALGEBRAIC 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 informationp,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 information3. 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 informationMOTIVES 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 informationEILENBERG-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 informationPART 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 informationGalois 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 informationLECTURE 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 informationALGEBRAIC 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 informationLecture 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 informationPeter 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 informationLOCAL 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 informationTCC 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 informationConstruction 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 informationSmooth 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 informationCharacteristic 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 informationLecture 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 informationTamagawa 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 informationLECTURE 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 informationCATEGORICAL 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 informationChern 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 informationSection 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 informationA 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 informationGrothendieck 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 informationARITHMETICALLY 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 informationDerived 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 informationSome 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 informationRepresentations 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 informationRealization 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 informationAlgebraic 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 informationHomotopy 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 informationWe 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 informationVECTOR 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 informationSome 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 informationLecture 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 informationIntroduction 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 informationExtensions 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 informationTheta 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 informationSystems 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 informationAFFINE 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 informationNon-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 informationDERIVED 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 informationCW-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 informationAlgebraic 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 informationUniversitä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 informationLectures 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 informationDESCENT 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