June Massachusetts Institute of Technology All rights reserved. William P. Minicozzi II Chairman, Department Committee on Graduate Theses

Save this PDF as:

Size: px
Start display at page:

Download "June Massachusetts Institute of Technology All rights reserved. William P. Minicozzi II Chairman, Department Committee on Graduate Theses"

Transcription

1 / Roman Power Operations and Central Maps in Representation Theory by Gus Lonergan Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY June 2018 Massachusetts Institute of Technology All rights reserved. A uthor..... Department of Mathematics April 27, 2018 Certified by Accepted by. Signature redacted fv Signature redacted Bezrukavnikov Professor of Mathematics Thesis Supervisor *-J William P. Minicozzi II Chairman, Department Committee on Graduate Theses MASSACHUSETS INSTITUTE OF TECHNOLOGY MAY LIBRARIES ARIUE

2 2

3 Power Operations and Central Maps in Representation Theory by Gus Lonergan Submitted to the Department of Mathematics on April 27, 2018, in partial fulfillment of the requirements for the degree of Doctor of Philosophy Abstract The theme of this thesis is the novel application of techniques of algebraic topology (specifically, Steenrod's operations and Smith's localization theory) to representation theory (especially in the context of the geometric Satake equivalence). In Chapter 2, we use Steenrod's construction to prove that the quantum Coulomb branch is a Frobenius-constant quantization. We also demonstrate the corresponding result for the K-theoretic version of the quantum Coulomb branch. In Chapter 3, we develop the theory of parity sheaves with coefficients in the Tate spectrum, and use it to give a geometric construction of the Frobenius-contraction functor. In Chapter 4, we discuss some related results, including a geometric construction of the Frobenius twist functor, and also discuss future directions of research. The content of Chapter 3 is joint work with S. Leslie. Thesis Supervisor: Roman Bezrukavnikov Title: Professor of Mathematics 3

4 4

5 Acknowledgments I would like to thank my advisor, Roman Bezrukavnikov, for teaching me so much and supporting me so patiently for the last five years. I would also like to thank the many other mathematicians I have had the pleasure to communicate with during this period, including P. Achar, D. Ben-Zvi, T. Braden, A. Braverman, V. Drinfeld, W. Dwyer, P. Etingof, V. Ginzburg, S. Gunningham, N. Harman, D. Juteau, S. Leslie, I. Loseu, G. Lusztig, S. Makisumi, C. Mautner, H. R. Miller, D. Nadler, V. Nandakumar, V. Ostrik, S. Raskin, K. Vilonen, M. Viscardi, D. Vogan, G. Williamson, Z. Yun. Interacting with you has been fantastically stimulating and encouraging, and I am very grateful for your time and interest. Before coming to MIT, I was inspired to do mathematics by the following people (in reverse chronological order): I. Grojnowski, I. Smith, L. Scott, J. Evans, J. Saxl, N. Turner, A. Kingston, C. Lonergan. Thank you for believing in me. Finally, thank you to C. Lonergan (again!), P. Lonergan, H. Lonergan and J. Louveau for your love: it means everything to me. 5

6 6

7 . Contents 1 Introduction Steenrod operators, the Coulomb branch and the Frobenius twist 2.1 Introduction d..onstructin t unctors Steenro d's construction O verview Steenrod's construction Six functors Tate's construction Borel-Moore homology Steenrod operations Artin-Schreier Coulon b branch Prelude: Frobenius-constant quantizations Formal neighborhoods Global groups; pro-smoothness Beilinson-Drinfeld Grassmannians; reasonableness Jet bundles; placidity Equivariance

8 Dimension theories Notational remark Borel-Moore homology The branch The central map Linearity Centrality Completion of proof Closing remarks K-theoretic version K-theory and K-homology Adams operations Proof of Theorem Parity sheaves and Sn 3.1 Introduction The Tate category ith theory Periodicity Derived invar~iants Tate cohomo logy Tate complex

9 3.2.6 P arity Sheaves Disclaimer Tate cohomology sheaves The six functors Horns as colimits Modular reduction Addendum The Tate hypercohomology spectral sequence Support The Smith functor Tate-parity sheaves Reminder on parity sheaves Parity conditions Tate-parity complexes Tate-parity sheaves Single stratum case JMW redux Modular reduction revisited A technical remark Smith functor revisited Lifting An application to geometric representation theory Geometric Satake equivalence Parity sheaves and tilting modules Relation to Frobenius contraction Some related results Introduction

10 Equivariant cohomology Background Description Relation with the center of distribution algebra 4.3 Frobenius contraction Frobenius twist

11 Chapter 1 Introduction During my PhD, I have been trying to answer three main questions, as summarized in the table below. Question Asker Solved? Describe the center of the distribution algebra of a reduc- tive algebraic group in positive characteristic R.B. No Interpret Steenrod operations for geometric representa- tion theory G.W. Yes! 1 Understand the geometric meaning (via geometric Satake, see [31]) of the Frobenius twist functor Y.T. Sort of The first question is still very much work in progress; see [23] for almost everything that is known. However, this question is important because, following the suggestion of R.B. that the center should be knowable 'via geometric Satake', it got me thinking about the affine Grassmannian Gr, and in particular about what sort of interesting centrality phenomena might occur there. The study of commutativity phenomena associated with the affine Grassmannian is ancient. After all, the affine Grassmannian is nothing more than an algebro-geometric model for the based loop group Q 1 K of a compact Lie group K. This is an example of a 'double loop space', so it has a homotopy-commutative group structure, and in 'Maybe my interpretation is not complete but I seem to have made a good start. 11

12 particular its homology has the structure of commutative ring. Even better: Q 1 K is K-equivariantly homotopy-commutative, and accordingly its K-equivariant homology is also a commutative ring. More recently [1], this homotopy-commutativity has been cast in algebro-geometric terms, and this is a key ingredient in the geometric Satake equivalence. Evidently centrality phenomena are redundant in a world where everything is commutative. Luckily, the homotopy-commutativity of double loops breaks when we work equivariantly with respect to the loop rotation action. Indeed, the K x S1- equivariant homology of Q 1 K is a strictly non-commutative ring, as long as K is non-trivial. For instance, if K = S' then this ring is the following algebra: Hfxs' (Q 1 K) = Z[h]Kx, 0)/([0, x] = h). Even though this ring is non-commutative, it is a classic observation that in characteristic p it contains a large center, generated by xp and OP. In fact, this is the primordial example of the p-center phenomenon [6, 41, lifting the Frobenius, which is important in representation theory and algebraic geometry. It is natural to ask whether there is a topological reason for this, and indeed there is. It is essentially provided by the Kudo-Araki-Dyer-Lashof operations [271,[14]; however as far as I know, the fact that these are shadows of a centrality phenomenon is a new observation. On equivariant parameters, the Kudo-Araki-Dyer-Lashof operations are nothing more than the Steenrod operations, which brings us neatly to the second question. The main observation to make here is that on equivariant parameters the total Steenrod operator, appropriately 2 normalized, is the same thing as the Artin-Schreier map. This is exactly what we hope to see for the p-center phenomenon. In Chapter 2, we explain these facts in more detail, and apply the Kudo-Araki-Dyer-Lashof (Steenrod) technique to find large centers in a wide variety of interesting rings in representation theory 3. Unfortunately, the distribution algebra is not one of them! It should not be very surprising, given the above, that the answer to the third 2 i.e., naturally. 3 This is supposed to justify my claim to have answered the second question. 12

13 question involves the same sorts of considerations, and indeed it does, as explained in Chapter 4. However, this answer is not completely satisfactory, since it is not obviously compatible with the alternative answer provided by the Finkelberg-Mirkovic conjecture [161, nor has it been applied yet in any representation-theoretically meaningful way 4 yet, hence the status: 'sort of'. Finally, a spin-off result. A classic (naive) approach to understanding the Frobenius twist geometrically is via the embedding of Gr in itself by raising the loop parameter to its pth.power. Of course, topologically this is just the pth-power map from the group Q 1 K to itself. Pushing forward along this map is related to, but fundamentally different from, the Kudo-Araki-Dyer-Lashof (Steenrod) process which gave us the Frobenius twist. In fact it seems, representation theoretically, to be more closely related to the operation of applying the Frobenius twist and then tensoring with the square of the Steinberg representation, rather than the Frobenius twist itself. This claim is justified in Chapter 3, where (joint with S. Leslie) we demonstrate that pulling back along this pth-power embedding corresponds, modulo some Smiththeoretic considerations, to the Frobenius contraction functor of [191, which is adjoint to the functor claimed. 4 e.g. understanding stalks of Frobenius twists. 13

14 14

15 Chapter 2 Steenrod operators, the Coulomb branch and the Frobenius twist 2.1 Introduction This chapter is about power operations. Homological algebra Steenrod's construction Power operations Coulomb branch Frobenius-constant quantizations A power operation is an enhanced version of a p th -power map. One of the most famous examples is Steenrod's operations [341, a cornerstone of algebraic topology. In Section 2.2, we will give an account of Steenrod's construction in the language of derived categories. In these terms, the construction itself is very simple, and it yields not only Steenrod's cohomology operations but also operations in Borel-Moore homology, which are presumably related to the Kudo-Araki-Dyer-Lashof operations 15

16 [271,[14]. A reader who knows about equivariant constructible derived categories on complex algebraic varieties will be able to understand these constructions even if they do not know any homotopy theory. Perhaps this is an advantage In Section 2.3, we will introduce a different type of power operation, introduced by Bezrukavnikov and Kaledin [4], which is an important tool in non-commutative algebraic geometry. Such a power operation is known as a Frobenius-constant quantization. Essentially, a Frobenius-constant quantization of a commutative algebra A over F, is a 1-parameter flat deformation Ah of A in associative algebras which has a large center; see Subsection for a precise definition which also justifies regarding such a thing as a power operation. The main example is the Weyl algebra Fp [h](x, )/([0, x] = h) which contains xp, OP in its center We will then illustrate a general method to apply Steenrod's construction to produce Frobenius constant quantizations. It is not completely clear just how general this method may be, but heuristically it ought to work whenever the multiplication in Ah is somehow related to, if not directly inherited from, the homotopy-commutative multiplication of a based loop group. The example which we use to illustrate the method is the quantum Coulomb branch of Braverman-Finkelberg-Nakajima [10] - or rather, its natural characteristic p version. That is, we prove: Theorem For any complex reductive algebraic group G, and finite-dimensional representation N of G, and any odd prime p, the quantum Coulomb branch is a Frobenius-constant quantization. The Coulomb branch is the G-equivariant Borel-Moore homology of a certain alge- 16

17 braic space R; the quantum Coulomb branch is obtained by switching on loop-rotation equivariance. The key geometric insight behind the Theorem is that, following ideas of Beilinson-Drinfeld [1], one may deform the space R with its pp-action by loop rotation, to lzp with its pp-action by permuting the factors cyclically This is already quite a broad class of examples. For instance, it includes partially spherical rational Cherednik algebras, see [9], [38]. It is expected that the same underlying geometry will lead to the discovery of large centers of related algebras. In fact, in Section 2.4 we indicate how the same underlying geometry shows that the K- theoretic version of integral quantum Coulomb branch, which is itself a q-deformation of the K-theoretic version of the Coulomb branch, admits a large center when q is evaluated at any complex root of unity (not necessarily of prime order). Essentially the only difference with the homological case is to replace Steenrod's construction with a so-called 'Adams construction' which is to Adams operations as Steenrod's construction is to Steenrod's operations. Remark It seems likely that the analogous statement holds for the elliptic version of the quantum Coulomb branch. That is, following [18], [17], there is a theory E11G of G-equivariant elliptic homology which takes values in coherent sheaves over some non-affine scheme (identified with Sll(*)) of equivariant parameters. The scheme of equivariant parameters of C* is a chosen elliptic curve. In our situation, we expect Ell (O)C*( 7 Z) to be a ring ind-coherent sheaf on EllGxC*(*) = gllg(*) X Ellc*(*), whose restriction to 0 e Ellc*(*) is the commutative algebra Ell G(R). G(O Then, the analogous statement will be an embedding of Ell* (7Z) in the center of the restriction of Ell*(O)xC*(R) to any torsion point of 8llf*(*). The proof would be essentially identical, but one first needs to develop theories of power operations and specialization in equivariant elliptic homology. Warning The proof of Theorem relies quite heavily on the theory of placid ind-schemes, dimension theories etc., see [32]. The first half of Section

18 simultaneously reviews this theory and introduces the examples which are relevant for us. As such it is written to be reasonably convincing, with the key facts explained in full detail, but with some details missing. All of the details are available in [32j, which the reader is strongly recommended to read. 2.2 Steenrod's construction Overview Let p be an odd prime number, and let pp be the group of complex pth roots of unity. Let R be a commutative ring. Let k be a field of characteristic p, and let F : k -+ k be the Frobenius map. Let X be a topological space and let Db(X, R) denote the bounded derived category of sheaves of k-modules on X. We write XPP for Map(pp, X). Following Steenrod [34], we construct a functor St : Db(X, R) -+ D'(X"4, R) where D (Xt'P, R) denotes the bounded pp-equivariant derived category of sheaves of R-modules on XPP. This functor is not linear or triangulated, but nonetheless if we take R = k, compose with restriction to the diagonal and apply to morphisms between shifted constant sheaves we obtain linear maps F* Hn(X, k) -+ H2(X, k) ~ HZ(X, k) 0 Hi(Bpp7, k) (2.2.1) i+j=pn for each n > 0. Recall that H*(Byp, k) = k[a, h] is the super-polynomial algebra in one variable a of degree 1 and one variable h of degree 2. Here h is the first Chern class of the tautological complex line bundle on Byp arising from the embedding, c C*. The direct sum of the maps of equation is not in the most naive sense an algebra homomorphism. This fact led Steenrod to introduce certain correction factors which make it so; his famous cohomology operations are then defined to be the coefficients of the resulting algebra homomorphism in the monomial basis of 18

19 k[a, h]. However, the sum of maps of equation does give a homomorphism of super-graded algebras H* (X, k)u III,* (X, k) ~- H* (X, k) [a, h] (2.2.2) where H*(X, k)g) denotes the Frobenius twist of H*(X, k). Naively one might think that this is just the p-dilation of F*H*(X, k). This is wrong: rather, the natural and correct definition of the Frobenius twist of an algebra A in any symmetric monoidal category over k is as the Tate cohomology: A () := Ht0 P) where the symmetric monoidal structure endows A "P with the structure of Mpequivariant algebra. In the case of the super-graded k-algebra H*(X, k), the underlying super-graded k-module of this construction is the same as the p-dilation of F*H*(X, k), but the multiplication differs by a signi, removal of which is part of the purpose of Steenrod's correction factors. We prefer therefore to use Steenrod's operations in their raw form - that is, without the correction factors and packaged as in equation This has the advantage of revealing the fundamental connected between Steenrod's operations and the Artin- Schreier map, which is obscured by the correction factors: Fact Let X = BT for some complex torus T. Then the Picard group of X is canonically isomorphic to the character lattice X'(T) of T, and the cohomology ring is the polynomial algebra H*(X, Z) = Symz X'(T) with X'(T) in degree 2. This is equal to the ring O(tz) of polynomial functions on the canonical Z-form of the scheme t = Lie(T). Likewise we have 'When p = 3 mod 4. H*(X, k) = 0(tk) 19

20 where tk denotes the canonical k-form of t. Under this identification, the map of equation factors as 0 (tk)) 0s" (t,) h]c 0 (tk)[a, h] where ASh corresponds, on the level of k-points, to the k -equivariant family, parameterized by h e k, of additive maps of free k-modules k tk - I( 1 )O tk i Xi 0 vi -+ i(xi - hp- 1 x) 0 vi for a basis {vj} of tf. This family interpolates between the usual Artin-Schreier map for h = 1 and the Frobenius map for h = 0. Remark The appearance of ASh in the topological setting was the first indication that Steenrod's construction might be related to the theory of Frobenius-constant quantizations, where ASh plays a central role, see Fact Steenrod's construction Recall that p is an odd prime, pp is the group of complex pth roots of unity, R is a commutative ring, k is a field of characteristic p and X is a topological space. We denote by Cb(X, R), Db(X, R) the (bounded) cochain, derived categories of sheaves of R-modules on X. If Y is a topological -space with an action of p, we denote by Cb (Y, R), D' (Y, R) the corresponding pp-equivariant categories. Since pp is a finite group, these are the same as the (bounded) cochain, derived categories of pp-equivariant sheaves of R-modules on Y. Consider the functor of pth external tensor power Cb(X, R) O C(XtP, R). It sends quasi-isomorphisms to quasi-isomorphisms, and so descends to a (not trian- 20

21 gulated) functor Db(X, R) O Db(XLP, R) by the universal property of derived categories. Notice that the cochain-level functor factors as jp: Cb(X, R) C,)(X C,bR) Cb(XP, R). To make this explicit, we first choose an isomorphism the result will be independent of this choice. Write o for the generator of, corresponding to 1 under the isomorphism. Then, for a complex AO, we give the complex (A-' = A" [Z... [ AP) the pp-equivariant structure by letting the generator o act by the direct sum of the canonical isomorphisms of sheaves A"' Z...[Rx Alp ~: a-* (Ah 12...G AZ XP A"') each twisted by the sign (-1)"l. The sign twist is the natural (Koszul) choice which makes the action of p, commute with the differential. Moreover, given a chain map f : A*- Be, fop is automatically a y,-equivariant chain map. Since the functor Cb (XA", R) -+ Cb(Xip, R) reflects quasi-isomorphisms, it follows immediately that Stc descends to a functor StD as below: [Zp : D b(x, R) St D b (XILP, R) -+-) D b(x"p, R). Writing E for the suspension functor, we have StDE EpStD. Also, StD is not triangulated, nor additive or even linear. The following two propositions control the failure of linearity. 21

22 Proposition Suppose given two parallel morphisms f, g :A - B' in Db(X, R). Then the morphism StD(f + 9) - StD(f) - StD(9) StD(A) -- StD(B') is an induced map. That is, there exists some non-equivariant map h: (A')/P --+ (B')ZAP such that the equivariant map Av(h) =, xhx' : StD(A) -- StD(B') xc-pp is equal to StD(f + g) - StD(f) - StD)(9) Proof. Let us right away replace A*, B' by isomorphic objects so that f, g become genuine maps of complexes. Let f, g denote the constant functions yp -+ {f, g} with respective values f, g. Then pp acts freely on {f, g} IP - {f, g}; choose a set {hi,..., h,} of orbit representatives (n = (2P - 2)/p). Then each hi determines a non-equivariant map (A) -+ (B')2fP, hence so does their sum h. Then, we have (f + g) 'AP - fpia - g2jp = t Y hx- 1 where, by definition xhx- 1 is the composition: xhx- 1 : (A')EAp ~ x*(a*)p >() x*(b')e MP ~ (BO)ZP where the two isomorphisms are given by the equivariant structures. I Proposition StD is Frobenius-multiplicative with respect to the action of the multiplicative monoid R on hom-sets. That is, StD determines a functor StD : IndR Db(X, R)- Db(XIP, R) 22

23 which respects multiplication by R. Here the category on the left is obtained from Db(X, R) by regarding each hom-set as a set with an action of the multiplicative monoid R and inducing along the pth-power map of monoids R -+ R. Note that IndR Db(X, R) is not an additive category in general. However, suppose that R = k and k is perfect. In that case, the Frobenius map of monoids is actually a map of rings F, and is moreover bijective. Write M : k -mod -+ k -set for the forgetful functor, where k -set denotes the category 2 of sets with action of the multiplicative monoid k. We have the following: Lemma Suppose that k is a perfect field of characteristic p. Then we have M o F* Ind om. Proof. Indeed, in that case both F* and Indk are equivalent to functors which do not change the underlying abelian group/set, and only change the way that k acts. El It follows that if k is a perfect field of characteristic p, we have produced a k- multiplicative functor StD : F*Db(X, k) -+ D'(XPP, k). Since F*Db(X, k) is triangulated, we find this statement somewhat nicer that the version for general R Six functors We are mainly concerned with the case where X is the (Borel) quotient EG Y of a complex algebraic variety Y by the action of some affine algebraic group G, and R is a Noetherian ring of finite homological dimension. In this case we will replace the category Db with its constructible analogue D'. That is, any G-equivariant constructible sheaf on Y descends to a sheaf on X, and Db(X, R) is the thick subcategory 2 The reader may prefer to replace this by its full subcategory of all k -sets with a unique stable point. 23

24 of Db(X, R) generated by all such sheaves. We will usually write DGG(Y, R) instead of Db(X, R). The constructions of the previous section preserve constructibility, so we have a Steenrod construction S :D,G (Y, R) -+ DebC',,(YAP,R) Recall that we have the six functor formalism for constructible derived categories. We assume that the reader is familiar with this material, but remind him/her of the standard notation: for a G-equivariant algebraic map f : Y - Y', we have the adjoint pairs of exact functors f*: Dc,(Y', R)a De',G * R and also a pair of bi-exact bifunctors f! e,(y, R)--I D',G(Y D,G(Y, R) x De,G(Y, R)-* D,(YG R) '=om(-, -) : Di,G(Y, R)" 2 x D,,G(Y, R) -+ DG(Y, R) related by a tensor-hom adjunction. There is also a Verdier duality functor D, and an exceptional tensor product 0!, which can be written in terms of the other functors, as can the external tensor product x. We call the collection of all of these functors the six plus functors. Notice that GAP x pp is also an affine algebraic group, so the six functor formalism exists for the target category of StD. Also if f : Y -+ Y' is G-equivariant then f A : YA -* (Y')a is G"A x pp-equivariant. The following fact is essentially a consequence of the same fact for O: Proposition Steenrod's construction is compatible with the six functor for- 24

25 malism. That is, we have canonical isomorphisms (fp)*st StDf Sf" )*StD (f Ap )*StD S StDf* (f )! StD StD (fn)!std StDf StD() StD ( -- StD(-- -9 Wom(StD(-), StD(-) StD om(-,-) commuting with any and all adjunction morphisms of the six functor formalism. We have the same compatibilities with functors St'D. Remark Many of the six plus functors are defined in much more general contexts than the constructible derived category. For instance f*, f. are defined in complete generality, and their compatibilities with Steenrod's construction hold in that generality. One expects that, in some sense, any time any of these functors is defined it is compatible with Steenrod's construction. But we wish to avoid making any precise statement along these lines Tate's construction Note that the object StD(E"R) is canonically isomorphic to EPR with its trivial p- equivariant structure. Here R is the constant sheaf. Since a degree n cohomology class is just a morphism R - ER in Db(X, R), we thus obtain a Frobenius-multiplicative map of multiplicative R-sets: StH : H"(X, R) Hp"(X-*,R). This map is not Frobenius-linear, but as in Proposition 2.2.3, its deviation from additivity is by a class induced from HP (XMP, R). To see how these maps interact with multiplication, we make the following definition. Definition Let (C, *, 1, e, a, s) be a symmetric monoidal abelian category 25

26 enriched over some commutative ring R, i.e. C is an abelian category, * is a biexact R-linear functor C x C -- C, 1 is an object of C, e is a pair of equivalences 1 *Id ~ Id ~ Id * -1, a is an associativity constraint for * and s is a commutativity constraint for *, satisfying natural compatibilities. Let A be an object of C. Then s determines an action of pp on A* P, and we define A(') := 0 1 u (AP) kera*a, (1-0)/ ima*a,(n). This is the so-called Tate construction. For a morphism f : A -+ B the morphism f *A : A* a - B* 4 is pp-equivariant and so induces a morphism AM -B B1) so that (-)(1) becomes a functor. Lemma (-)(1) is additive over Z. Proof. First we show that (-)(1) is linear over Z. Suppose f, g : A - B are two parallel morphisms in C. Let f, g denote the constant functions pp - {f, g} with respective values f, g. Then pp acts freely on {f, g}iip - {f, g}; choose a set {h,..., h,} of orbit representatives (n = (2P - 2)/p). Then each hi determines a non-equivariant map A* Pp B*"P, and we have n (f + g)*pp - f*" -*p = Z Zxhix- 1. XEpp i=1 Restricting to kera* M (1-0-), this becomes ((f + g) * " - f*"p - g* "P)kerA*AP(1-a-) = YE hi =N hi xe/pp i=1 i=1 n n which factors through imb* P(N) as required. Next we show that (-) (1) preserves direct sums. Let A, B denote the constant functions pp -- {A, B} with respective values A, B. Then pp acts freely on {A, B}'"p - {A, _}; choose a set { C1,..., Cn } of orbit representatives. Then each Ci determines 26

27 an object of C, and as a pp-module in C we have (A 0 B) *" ~1 A*F /1 B *F/- CiIPP]. n The result then follows from the fact that HO, (k[pp]) = 0 in R-mod. E spaces. Let SVectk denote the symmetric monoidal category of Z /2-super graded k-vector Lemma Suppose that R = k is a field of characteristic p and that C admits a super-fiber functor C -+ SVectk. Then (-)(') is exact, monoidal and Frobenius-linear over k. In the case C = SVectk, (-)(1) is equivalent to the functor kof(-) which tensors the k-linear structure along the Frobenius map F : k -+ k. Proof. Since Tate's construction commutes with the fiber functor, it is enough to take C = SVectk, where it is a simple calculation using bases. E Now suppose that A, B are objects of C. We have a pp-equivariant isomorphism (A * B)*PP ~ (A*"A * B*!/P). We have also the natural inclusions kera*pp(1 - o) * kerb*pp(1 - -) - kera*mppb*ip(1- a) ima* PP (N) * kerb* PP(1 - ) -- ima* PP*B* PP (N) kera* PP(1 -- a) * ima*(i (N) - ima* P *B*,uP (N) which induce a map A 1 ) * Bl) -) (A * B)( 1 ). Suppose that (A, 1 A, ma) is a unital ring in C. Then AM 1 still has a multiplication (1) ma(1) : AM 1 * AM 1 -+ (A * A)( 1 ) A^ A(). Also, there is a canonical isomorphism ker 1 *- (1-o) 2 1, hence a canonical surjection 1-1 1) which determines a map LA() I 11 ~(l) 'A (') 27

28 One may check that this makes AM) into a ring, and moreover that AM 1 is associative or commutative if A is. The following lemma explains how this looks in the main example. Lemma Suppose A = RC-Z/2 Aj is a unital ring in C = SVectk. Then the ring structure on A) corresponds under the identification AM) = k OF A to the ring structure with unit 1 OF IA and multiplication ma (r 0 a, r' 0 a') = (-1 (P)rr' 0 ma(a, a) for a e Aj, a' e Aj and r, r' e k. Proof. The isomorphism of k OF Ai with (A))i sends the element r 0 a to the class of r. a (... 0 a. The natural map p times (A(')); i (A ()1% H- uol ((Ai) *P) 0 Hlttj ((Aj) * tp) -> up ((Ai (9 Aj)**P) sends the class of to the class of a D... 0 a 9a'0... D a' p times p times (1)j (P) (a (9 a') (9... (9 (a 0 a'), p times since it entails permuting the xth copy of Ai with the yth copy of A 3 for every p X > y > 1. Arguing the same way, we have the following: Proposition Let A be a Hopf algebra in SVectk. Then AM) is naturally a Hopf algebra in SVectk. It has multiplication and unit given as in , comultiplication given by AA( (r 0 a) = r 0 (-1)(P) d*a da(a), 28

29 counit given by ea(1(r0 a) = r(ea(a))p and antipode given by SAM)(r 0 a) = r & SA(a). Moreover the functor (-)(1) on SVectk upgrades to functor (-)(1) : A-comod - A(') -comod. For an A-comodule M, the A( 1 )-comodule structure on M( 1 ) is given by Am() (r 0 m) = r 0 (--1)() de AmdeM(m) Example Suppose 0 is a commutative Hopf algebra in SVectk. Then the monoidal category C of 0-comodules is symmetric. Taking pth powers gives a (Frobenius) map of Hopf algebras FO : (9(1) - 0. Then, Tate's construction on C factors as 0 -comod 41 )0(l) -comod 0 -comod. For instance, we could take 0 to be the ring of functions O(Gm) on the multiplicative group G, over k, concentrated in degree 0 e Z /2. Then O(Gm) -comod contains as a full subcategory over SVectk the category of Z-super graded vector spaces, and Tate's construction there is isomorphic to the functor which applies k OF (-) and multiplies degrees by p. Recall we have the Frobenius-multiplicative maps of multiplicative k-sets StH : H (X, k) Hg(XtP, k). We view cohomology rings as commutative ring objects of Z-super graded vector spaces; in particular we can apply functor (-)(1) to them. By Lemma 2.2.5, if k is perfect then it gives a map of Z-super graded k-sets Stex : H*(X, k)) -- H* (XP, k). The following fact is immediate from the constructions. 29

30 Proposition Stex respects the multiplicative k-monoidal structures. Remark If k is not perfect, then the map H*(X, k) -) H1*,(XAP, k) of Z /2- super graded sets respects the multiplicative monoidal structures up to the sign change of Lemma There is presumably an appropriate non-linear version of Tate's construction which would allow us to say that we really have a certain Z-super graded k-monoid H*(X, k)() and a map of monoids H*(X, k)() -- H* (XtP, k), but we prefer for simplicity not to do it Borel-Moore homology We return to the setting of Subsection Let w denote the G-equivariant dualizing complex on Y with coefficients in R. We have a canonical isomorphism 3 StD(W) w. By definition, the G-equivariant Borel-Moore homology of Y is HBM,G(Y R) := HomDh(YR) En.). See Subsection for more about this. Altogether H BM,G(Y, R) form a Z-super graded HG(Y, R)-module; in particular it is a module for HG,(*, R). By functoriality we have the non-linear maps StBM : H BMG(Y R) - H BM,GPP x PP(YPe, R). This is a map of StH-monoids. Its discrepancy from additivity it averaged from HBM,GP (YtLp, R). If R is a perfect field k of characteristic p, we can say that we have a non-linear graded map of Stex-monoids: St ~ ~ ~ ~ 3 B AP,(,k)N +HSE''" (YPP, k ). 3 here of course the second w denotes the GJPP x lpp-equivariant dualizing complex on YP with coefficients in R 30

31 2.2.6 Steenrod operations For simplicity let's assume k to be perfect from now on. Let us compose Ste, with the restriction map to the diagonal: Sti, : H* (X, k) (1) s'ex H,*,(XW"", k) HI H*(X, k) ~ *X )a,] This is again a map of multiplicative k-monoids. Tautologically we have Stin,(x) = XP mod (a, h). Also Stin is compatible with pull-back maps in cohomology in the natural way. Since induction commutes with restriction, the difference between Sti,(x + y) and Sti,(x) + Sti,(y) is induced from a cohomology class z e He(X; k). Since P, acts trivially on X, that means that it is equal to pz = 0, so Sti,, is linear. That is, we have a map of super-commutative k-algebras Sti, : H*(X, k) () -+ H*(X, k)[a, h]. Remark The coefficients of h', ah' in Sti, are not the Steenrod operations. More precisely, they are the Steenrod operations only up to some non-zero scalars. Even more precisely, let x e H'(X, k) and let p = 2q + 1. Consider (-1)q"("-l)2(q!) -"Stin (X). where x is viewed as a degree pn element of H* (X, k) ). The coefficient of h' in this expression vanishes unless m = 2(p - 1)(n - 2s) for some s such that 2s < n, in which case that coefficient is equal to (-1)sPs(x) where PS is the sth Steenrod operation. Similarly, the coefficient of ah' in that expression vanishes unless m = (p - 1)(n - 2s) - 1 for some s such that 2s < n, in which case that coefficient is equal to (-1)s+13Ps(x) where 3 is the Bockstein operation. 31

32 2.2.7 Artin-Schreier We indicate how the Artin-Schreier map comes naturally out of the above considerations. First note that if n is even then the number (- 1)qn(n-l)/2 (q!)~" boils down to (-1)n/2. It is a standard fact that on a degree 2 class x we have P 0 (x) = x, P 1 (x) = xp, and higher powers vanish. Therefore Sti,(x) = xp - h x +h-2(x). Let X = BT for some compact torus T. Since its cohomology is supported in even degrees, the Bockstein operator acts as zero and Stin, on the level of k-cohomology, is exactly the h-artin-schreier map 0 (t') (1) As"> )0(t,) [h]c c- (tk)[a, h] as defined in Fact Recall that if G is a compact Lie group with maximal torus T, and p is large enough with respect to the Weyl group of G, then the projection BT - BG induces an inclusion H*(BG, k) -- H*(BT, k) which is identified with O(tk //W) -- 0(t4). The h-artin-schreier map induces a map on subspaces 0(te //W)(1 -"h) 0(tk //W)[h] which is also important in the theory of Frobenius-constant quantization. The point is that this map is also induced by Stin, since it is compatible with pullbacks. 32

33 . It is entertaining to show more directly how ASh arises, without relying on any outside facts about Steenrod operations. We can reduce to the rank one case T = S 1 Let b denote the degree 2 generator (first Chern class of tautological line bundle) of BS 1 ; we need to show that Sti,(b) = bp - hp- 1 b. Let C, c S' denote the cyclic group of order p, considered as distinct from pp. Consider the projection BC, -+ BS'. It induces an injective map k [b] -+ k[s, b] in cohomology, where s is a degree 1 generator. By functoriality it is enough to prove the equality when b is regarded as a cohomology class of BC,. Note that amongst degree 2p elements of k[b, h], the desired element bp - hp-b is the unique one which gives 0 when we set b to any multiple in Fp of h, and gives bp when we set h = 0. The latter statement is automatic, so we have to check the former. So fix some t e F,. Having chosen an isomorphism p, ~ C,, t determines a group homomorphism pp -~ CP. The constant sheaf EZk of BC, is contained in the full subcategory Db(k[C]-mod) = Dc,(*) c D(BC, ). Our coefficients are k, which we drop from the notation. It is easier for our purpose to work in Db(k[C, ] -mod). Compatible with the functor StD out of D(BC, ) we have the functor StD: Db(k[Cp] -mod) -. Db(k[pp x (Cp)'P] -mod) This is then composed with the diagonal restriction Db(k[pp x (Cp)xP]-mod) A Db(k[pp x CP] -mod). By definition Sti,(b) is given by applying that composition to the morphism k b+ k[2], 33

34 where k is the trivial Cp-module. We want further to set b = th; this corresponds to restricting along the map pp idxt pp xcp. Write (id x t)* : Db(k[pp x C] -mod) -- Db(k[pp]-mod) for the corresponding restriction map. We need to show that (id x t) * o A* o St(b) = 0. But actually there is an isomorphism of functors (id x t)* 0 A* 0 StD : StD 0 where i* is the forgetful functor Db(k[Cp]-mod) = Dc,(*) -+ D(*). Indeed for an object A* of Db(k[Cp]-mod), the underlying complex of both functors is (A*)P, and the automorphism which sends each summand At' (D... 0 A P to itself by 1 0D r 0 2t o(p-)t intertwines the two actions of pp. Here o is some generator of pp. But the functor St o i* kills b, since i* does. 2.3 Coulomb branch Prelude: Frobenius-constant quantizations Let k be a field of characteristic p and let C be a symmetric monoidal category over k. The reader may assume that C is the category of comodules of some commutative Hopf algebra in SVectk. Let A be a commutative (and associative) algebra in C. Let F : A(' -+> A be the Frobenius map. Let Q be an augmented commutative algebra in C with augmentation c : Q -> k. Following [41 we make the following definition: 34

35 Definition C such that AQ 0Q k = A. 1. A Q-quantization of A is a flat associative Q-algebra AQ in 2. A Frobenius-constant Q-quantization of A is a Q-quantization AQ of A together with a map FQ A'M -' Z(AQ) of algebras which lifts the Frobenius map, i.e. such that e o FQ = F. Here Z(AQ) denotes the center of AQ. The main example for us is the following. We take K to be some Gm-equivariant algebraic group in Vectk, and view 0 O(K x Gm) as a Hopf algebra in SVectk concentrated in degree 0. We take C = 0 -comod. Let h be a basis vector of the 1-dimensional representation of K x Gm in which K acts trivially and Gm acts with weight 2. Let Q = k[h]. In this case, we will call a Q-quantization simply an h- quantization, or just a quantization if the meaning is clear. Fact Let X be a smooth affine algebraic variety over k. Then the ring of asymptotic crystalline differential operators, Dh(X), is a canonical h - quantization of 0(T*X). Here G, acts trivially on ((X) and on vector field with weight 2. Let a be a vector field on X. Then OP acts as a derivation on 0(X), so that OP - ONPI annihilates ((X) for a unique vector field O[PI. Then Dh(X) has a canonical Frobenius-constant structure determined by FA : x - xp X e O(X) a -- O - hp- 1 0LA a e Vect(X). 2. Let J be a smooth algebraic group over k. Then F as above is K = J x J- equivariant (induced by left and right regular actions). In particular if we take invariants for the left factor, we obtain a Frobenius-constant structure for the quantization l'lh(j) of O(Lie( J)* ). 3. Let T be a complex torus and let TV be the Langlands dual split torus over k, 35

36 that is: T' = Spec(k[X.(T)]) where X.(T) is the cocharacter lattice of T and k[x.(t)] is its group algebra. We have canonical identifications O(*) = ON(t) Uh(tv) = 9 (tk X Ga). If we take Spec of the Frobenius-constant structure we recover the h-artin- Schreier map Fh = ASh : tk x Ga -+ t of Fact Remark If a commutative algebra and its quantization contain in a natural way H (*, k) for some complex reductive group G with maximal torus T, then when searching for a Frobenius-constant structure it is natural to look for one which is compatible with the h-artin-schreier map Formal neighborhoods Let X be a smooth complex curve and let S be a finite set. Given a commutative ring R and an R-point x of Xs, we denote the coordinates of x by x, (s e S), write lf(x,) for the graph of x, in XR and write I(x,) for its ideal. We write As(x) for the formal neighborhood of the union of the graphs of x, (s e S). That is, As(x) is the direct limit in affine schemes over X: As(x) = coli As,i(x) where As'j(X) = Spec (OxR 36 ses I(xY).

37 Given a subset S' c S and an R-point x of XS we will write for the S'-punctured formal neighborhood, i.e. the complement of the union of the graphs of x, (s e S') in As(x). As a sheaf of algebras on As(x), O(As'(x)) has an exhaustive increasing filtration: F1 O(As'(x)) = o(as(x)). H I(xs)-. ses' Suppose we have S" c S' ( S and x e XS(R). The inclusion S' c S defines a projection f : Xs XS', and we will occasionally write for Az''(f(x)). We have a closed embedding AS"(x) - As"(x). Note however that this is in a sense non-uniform in x: for instance if for every s e S there exists an s' e S' such that x, = xe, then the embedding is an isomorphism; and conversely. This is essentially the fact underlying Beilinson-Drinfeld's 'fusion' Grassmannian [1]. We will make more of this when we discuss co-placid morphisms, see Example For notational simplicity, we frequently remove commas and braces from S, S', and also drop the part (x), when it is clear which point we refer to. So for example the expression: becomes: A12' 37

38 2.3.3 Global groups; pro-smoothness Now fix an affine algebraic group G over C. Consider the following functor from commutative rings to groups over XS: Gs(R) := {(x, f)jx e XS(R), f : As(x) -+ G}. Then Gs is represented by the limit of an inverse system of smooth affine group schemes over XS: Gs = lim Gs,i such that each transition morphism is a smooth homomorphism. Here Gs,j may be taken to represent the functor Gs,(R) = {(x, f)ix e Xs(R), f : As,j(x) -+ G}. Later, the notation Gs,j may represent a piece of some other cofiltered system presenting Gs; we will refer to the specific group above by Map(As,j, G). The fact that each transition morphism is smooth is directly verified using the valuative criterion. Indeed let Spec(R) be a square-zero thickening of Spec(R). A commutative diagram Spec(R) Gs,i41 Spec(R) -+ Gs,i is the same thing as a point 35 e XS(R), with residue x e XS(R), and a commutative diagram Asi(x) -+ As,i+ 1 (x) As,i(X) ->G. This determines a morphism P -+ G where P is the appropriate pushout in affine schemes. Since As,i(x) is equal to the intersection of As,i+ 1 (x) with As,i(z) in- 38

39 side Asj+ 1 (3), and As,j+ 1 (z) is a square-zero thickening of As,i+ 1 (x), it follows that As,i+ 1 (3) is a square-zero thickening of P. Therefore since G is smooth we can extend P - G to As,i+1 (X) -- G, as required. Note that Gs,o = XS so in particular each Gs,j is smooth over Xs. Now fix x e XS(C). It partitions S into subsets S 1,..., Sn, according to coincidence amongst the coordinates. Write ym for the coordinate x, for any s e S,, and zm for the C-point of Xsm with coordinates ym. We have As,j(x) = Spec (OX /~X" 1 I(ym)iSmI) = U$X" Spec (Ox /I(ym)iSm I). Therefore we have nl n G s,j xxs {x} = Gsm,i xxsm {zm} = 17 G{m),iismi xximi {ym}. m=1 m=1 The smooth transition map G{rm,(i+1)IsmI xx(m} {ym} G{m},jismI xximi {ym} is surjective for all i > 0 and has a unipotent kernel for all i > 1. It follows that Gs,i+1 -- Gs,j has the same property. Thus Gs is a prosaic affine group scheme over XS in the following sense: Definition A scheme T over B is said to be pro-smooth over B if it can be written as the limit of a inverse system of schemes T smooth over B and with smooth transition morphisms. If T is pro-smooth then it is formally smooth (in particular flat) over T. 2. An affine groupoid scheme g over B is pro-smooth over B if it can be written as the limit of an inverse system of affine groupoid schemes gi over B whose structure maps to B are both smooth, and which has smooth transition homo- 4 morphisms 3. In (2) and (3) we can upgrade to the property of being a pro-smooth cover by 4 1s this the same thing as an affine groupoid scheme g over B such that both structure morphisms 9 -- B are pro-smooth in the sense of (2)? 39

40 demanding that each transition map and structure map is a smooth cover. 4. Let the affine groupoid scheme 9 = limiezp 9i over B be a pro-smooth cover. Then each 9i is the fpqc quotient over B of 9 by some pro-smooth affine subgroup Ki. We say that 9 is prosaic if the Ki can be chosen to be also prounipotent. 5. Let g be an affine group scheme over the same base B. Then 9 is said to be pro-smooth, a pro-smooth cover, prosaic over B if it is so when regarded as a groupoid. From now on, 'groupoid' will mean 'affine pro-smooth covering groupoid', unless it is clear from the context that this is not the case. All examples of groupoids will actually be prosaic. Remark Recall the construction of Gs. If the affine algebraic group G is replaced by an arbitrary smooth affine variety T over C, we get a pro-smooth affine variety Ts over XS in exactly the same way Beilinson-Drinfeld Grassmannians; reasonableness We also consider the functor Gi'(R) := {(x, f)ix e Xs(R), f : Ass' - G}. Then GS' is represented by an ind-affine ind-scheme, formally smooth over XS. It is a group in ind-schemes over Xs, but not an inductive limit of group schemes. It is a reasonable ind-scheme in the following sense (taken from [131): Definition An ind-scheme T is reasonable if it admits a reasonable presentation, that is an expression T = colim T 40 jej

41 where j is some (countable) filtered indexing category, and the transition morphisms in the filtered system of schemes (Tj)jEJ are all finitely presented (f.p.) closed embeddings 5. Note that any two reasonable presentations admit a common refinement, so that the category of reasonable presentations of T is filtered. 2. A closed subscheme of a reasonable ind-scheme T is reasonable if it is a term in some reasonable presentation of T. 3. A morphism U -+ T of reasonable ind-schemes is co-reasonable if for some, equivalently any, reasonable presentation T = colim T of T, the presentation U = colim U XT T of U as an ind-scheme is reasonable. Warning: this is not a relative version of reasonableness for ind-schemes. Example Let T be a reasonable ind-scheme and let U - T be either ind-f.p. or an ind-flat cover. Then U -+ T is co-reasonable. 2. In the case of G', one reasonable presentation is given as follows. Fix a finite set {a,..., an} of generators of O(G). Then set j = Zao and set GS'' to be the closed subscheme of GS' which on the level of R-points is given by GS''-(R) {(x, f)ix e XS(R), f : A -+ G, ak o f e HOF 0(As')}. Here we have taken Gs'" = Gs. The left- and right-regular actions of the subgroup Gs preserve the inductive structure, meaning that each GS"' has a free action on both sides by Gs over Xs, even though it is not itself a group. Moreover the fpqc quotient Gs"/Gs is of finite-type over XS, and flat, although generally quite singular. The result is that the fpqc quotient GS'/Gs has the structure of ind-finite-type ind-flat ind-scheme over XS. In particular, it is reasonable, and G' -G s is an ind-flat cover and thus co-reasonable. 5 That is, they have finitely generated ideal sheaves. 41

42 On R-points, we may identify Gs'/Gs(R) x c Xs(R) =1(x, E, f) S a principal G-bundle over As(x) f a trivialization of C over As'() Here the symbol '/ -' means 'taken up to isomorphism', i.e. we identify two R-points (x, 8, f), (x', E', f') if x = x' and there exists an isomorphism of S with S' which intertwines f, f'. Such an isomorphism is unique if it exists. The following fact is due to [1]: Lemma G '/Gs is ind-projective over Xs if and only if G is reductive. 2. Gs'/Gs is ind-reduced if and only if G has no non-trivial characters. Remark Ultimately we are concerned only with the analytifications of these ind-schemes, so point (2) appears merely for interest's sake. But point (1) is crucial for the definition of convolution in Borel-Moore homology. We may re-identify the R-points of Gi' in a way more compatible with the above identification of Gs'/Gs(R): x e XS(R) GSI(R) =-(x, S, f, g) S a principal G-bundle over As(x) f a trivialization of over As'S W. g a trivialization of S over A'(x)j Notice that the inclusion S' c S induces a closed embedding AS'' - As" for any S" c S'. This in turn induces restriction homomorphisms GS" -+ GI". These maps are co-reasonable. One readily checks by looking at points that the induced maps Gs"/Gs -XS x s Gs''/Gs' 42

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

QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS

QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when

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

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

NOTES FOR BEILINSON-DRINFELD SEMINAR - EVEN SHORTER VERSION. Contents 1. Overview Steenrod s construction

NOTES FOR BEILINSON-DRINFELD SEMINAR - EVEN SHORTER VERSION. Contents 1. Overview Steenrod s construction NOTES FOR BEILINSON-DRINFELD SEMINAR - EVEN SHORTER VERSION GUS LONERGAN Abstract. We use Steenrod s construction to prove that the quantum Coulomb branch is a Frobenius-constant quantization. Contents

More information

Introduction to Chiral Algebras

Introduction to Chiral Algebras Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument

More information

Tilting exotic sheaves, parity sheaves on affine Grassmannians, and the Mirković Vilonen conjecture

Tilting exotic sheaves, parity sheaves on affine Grassmannians, and the Mirković Vilonen conjecture Tilting exotic sheaves, parity sheaves on affine Grassmannians, and the Mirković Vilonen conjecture (joint work with C. Mautner) Simon Riche CNRS Université Blaise Pascal (Clermont-Ferrand 2) Feb. 17th,

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

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

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

NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE

NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE GUFANG ZHAO Contents 1. Introduction 1 2. What is a Procesi bundle 2 3. Derived equivalences from exceptional objects 4 4. Splitting of the

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

On the geometric Langlands duality

On the geometric Langlands duality On the geometric Langlands duality Peter Fiebig Emmy Noether Zentrum Universität Erlangen Nürnberg Schwerpunkttagung Bad Honnef April 2010 Outline This lecture will give an overview on the following topics:

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

Lecture 6: Etale Fundamental Group

Lecture 6: Etale Fundamental Group Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and

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

1 Categorical Background

1 Categorical Background 1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,

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

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

More information

The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016

The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we

More information

p-divisible Groups and the Chromatic Filtration

p-divisible Groups and the Chromatic Filtration p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This

More information

VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY

VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY 1. Classical Deformation Theory I want to begin with some classical deformation theory, before moving on to the spectral generalizations that constitute

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

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss

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

STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY

STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group

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

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

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical

More information

Discussion Session on p-divisible Groups

Discussion Session on p-divisible Groups Discussion Session on p-divisible Groups Notes by Tony Feng April 7, 2016 These are notes from a discussion session of p-divisible groups. Some questions were posed by Dennis Gaitsgory, and then their

More information

Finite group schemes

Finite group schemes Finite group schemes Johan M. Commelin October 27, 2014 Contents 1 References 1 2 Examples 2 2.1 Examples we have seen before.................... 2 2.2 Constant group schemes....................... 3 2.3

More information

Iwasawa algebras and duality

Iwasawa algebras and duality Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place

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

Morava K-theory of BG: the good, the bad and the MacKey

Morava K-theory of BG: the good, the bad and the MacKey Morava K-theory of BG: the good, the bad and the MacKey Ruhr-Universität Bochum 15th May 2012 Recollections on Galois extensions of commutative rings Let R, S be commutative rings with a ring monomorphism

More information

H(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).

H(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )). 92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported

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

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

APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES

APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES DAVID BEN-ZVI, JOHN FRANCIS, AND DAVID NADLER Abstract. In this brief postscript to [BFN], we describe a Morita equivalence for derived,

More information

BRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,

BRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt, CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves

More information

Isogeny invariance of the BSD conjecture

Isogeny invariance of the BSD conjecture Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p

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

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of

More information

THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS

THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS DANIEL LITT Let us fix the following notation: 1. Notation and Introduction K is a number field; L is a CM field with totally real subfield L + ; (A,

More information

PERVERSE SHEAVES ON A TRIANGULATED SPACE

PERVERSE SHEAVES ON A TRIANGULATED SPACE PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to

More information

Duality, Residues, Fundamental class

Duality, Residues, Fundamental class Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class

More information

THE p-smooth LOCUS OF SCHUBERT VARIETIES. Let k be a ring and X be an n-dimensional variety over C equipped with the classical topology.

THE p-smooth LOCUS OF SCHUBERT VARIETIES. Let k be a ring and X be an n-dimensional variety over C equipped with the classical topology. THE p-smooth LOCUS OF SCHUBERT VARIETIES GEORDIE WILLIAMSON ABSTRACT. These are notes from talks given at Jussieu (seminaire Chevalley), Newcastle and Aberdeen (ARTIN meeting). They are intended as a gentle

More information

Vertex algebras, chiral algebras, and factorisation algebras

Vertex algebras, chiral algebras, and factorisation algebras Vertex algebras, chiral algebras, and factorisation algebras Emily Cliff University of Illinois at Urbana Champaign 18 September, 2017 Section 1 Vertex algebras, motivation, and road-plan Definition A

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Motivation and game plan 1 2. The affine case: three definitions 2 Welcome back to the third quarter! The theme for this quarter, insofar

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

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

Commutative algebra and representations of finite groups

Commutative algebra and representations of finite groups Commutative algebra and representations of finite groups Srikanth Iyengar University of Nebraska, Lincoln Genoa, 7th June 2012 The goal Describe a bridge between two, seemingly different, worlds: Representation

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

An introduction to derived and triangulated categories. Jon Woolf

An introduction to derived and triangulated categories. Jon Woolf An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes

More information

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open

More information

THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE

THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE TONY FENG Abstract. There is a canonical pairing on the Brauer group of a surface over a finite field, and an old conjecture of Tate predicts that

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

REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES. Notation. 1. GL n

REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES. Notation. 1. GL n REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES ZHIWEI YUN Fix a prime number p and a power q of p. k = F q ; k d = F q d. ν n means ν is a partition of n. Notation Conjugacy classes 1. GL n 1.1.

More information

IndCoh Seminar: Ind-coherent sheaves I

IndCoh Seminar: Ind-coherent sheaves I IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of

More information

The geometric Satake isomorphism for p-adic groups

The geometric Satake isomorphism for p-adic groups The geometric Satake isomorphism for p-adic groups Xinwen Zhu Notes by Tony Feng 1 Geometric Satake Let me start by recalling a fundamental theorem in the Geometric Langlands Program, which is the Geometric

More information

LECTURE 11: SOERGEL BIMODULES

LECTURE 11: SOERGEL BIMODULES LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing

More information

(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.

(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim. 0.1. Stratified spaces. References are [7], [6], [3]. Singular spaces are naturally associated to many important mathematical objects (for example in representation theory). We are essentially interested

More information

The Hecke category (part II Satake equivalence)

The Hecke category (part II Satake equivalence) The Hecke category (part II Satake equivalence) Ryan Reich 23 February 2010 In last week s lecture, we discussed the Hecke category Sph of spherical, or (Ô)-equivariant D-modules on the affine grassmannian

More information

Lemma 1.3. The element [X, X] is nonzero.

Lemma 1.3. The element [X, X] is nonzero. Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group

More information

Characters in Categorical Representation Theory

Characters in Categorical Representation Theory Characters in Categorical Representation Theory David Ben-Zvi University of Texas at Austin Symplectic Algebraic eometry and Representation Theory, CIRM, Luminy. July 2012 Overview Describe ongoing joint

More information

The V -filtration and vanishing and nearby cycles

The V -filtration and vanishing and nearby cycles The V -filtration and vanishing and nearby cycles Gus Lonergan Disclaimer: We will work with right D-modules. Any D-module we consider will be at least coherent. We will work locally, choosing etale coordinates

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

Holomorphic line bundles

Holomorphic line bundles Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank

More information

Factorization of birational maps for qe schemes in characteristic 0

Factorization of birational maps for qe schemes in characteristic 0 Factorization of birational maps for qe schemes in characteristic 0 AMS special session on Algebraic Geometry joint work with M. Temkin (Hebrew University) Dan Abramovich Brown University October 24, 2014

More information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS

LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS In this lecture, we study the commutative algebra properties of perfect prisms. These turn out to be equivalent to perfectoid rings, and most of the lecture

More information

Lecture 4 Super Lie groups

Lecture 4 Super Lie groups Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is

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

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about

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

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

More information

Factorization of birational maps on steroids

Factorization of birational maps on steroids Factorization of birational maps on steroids IAS, April 14, 2015 Dan Abramovich Brown University April 14, 2015 This is work with Michael Temkin (Jerusalem) Abramovich (Brown) Factorization of birational

More information

The Steenrod algebra

The Steenrod algebra The Steenrod algebra Paul VanKoughnett January 25, 2016 References are the first few chapters of Mosher and Tangora, and if you can read French, Serre s Cohomologie modulo 2 des complexes d Eilenberg-MacLane

More information

PERVERSE SHEAVES. Contents

PERVERSE SHEAVES. Contents PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a

More information

Draft: July 15, 2007 ORDINARY PARTS OF ADMISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE GROUPS I. DEFINITION AND FIRST PROPERTIES

Draft: July 15, 2007 ORDINARY PARTS OF ADMISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE GROUPS I. DEFINITION AND FIRST PROPERTIES Draft: July 15, 2007 ORDINARY PARTS OF ADISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE ROUPS I. DEFINITION AND FIRST PROPERTIES ATTHEW EERTON Contents 1. Introduction 1 2. Representations of p-adic analytic

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

IND-COHERENT SHEAVES AND SERRE DUALITY II. 1. Introduction

IND-COHERENT SHEAVES AND SERRE DUALITY II. 1. Introduction IND-COHERENT SHEAVES AND SERRE DUALITY II 1. Introduction Let X be a smooth projective variety over a field k of dimension n. Let V be a vector bundle on X. In this case, we have an isomorphism H i (X,

More information

Locally G-ringed spaces and rigid spaces

Locally G-ringed spaces and rigid spaces 18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Rigid analytic spaces (at last!) We are now ready to talk about rigid analytic spaces in earnest. I ll give the

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

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

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

MATH 233B, FLATNESS AND SMOOTHNESS.

MATH 233B, FLATNESS AND SMOOTHNESS. MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)

More information

Thus we get. ρj. Nρj i = δ D(i),j.

Thus we get. ρj. Nρj i = δ D(i),j. 1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :

More information

JOHN FRANCIS. 1. Motivation

JOHN FRANCIS. 1. Motivation POINCARÉ-KOSZUL DUALITY JOHN FRANCIS Abstract. For g a dgla over a field of characteristic zero, the dual of the Hochschild homology of the universal enveloping algebra of g completes to the Hochschild

More information

MODEL STRUCTURES ON PRO-CATEGORIES

MODEL STRUCTURES ON PRO-CATEGORIES Homology, Homotopy and Applications, vol. 9(1), 2007, pp.367 398 MODEL STRUCTURES ON PRO-CATEGORIES HALVARD FAUSK and DANIEL C. ISAKSEN (communicated by J. Daniel Christensen) Abstract We introduce a notion

More information

Calculating deformation rings

Calculating deformation rings Calculating deformation rings Rebecca Bellovin 1 Introduction We are interested in computing local deformation rings away from p. That is, if L is a finite extension of Q l and is a 2-dimensional representation

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

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

0.1 Spec of a monoid

0.1 Spec of a monoid These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.

More information

Hochschild homology and Grothendieck Duality

Hochschild homology and Grothendieck Duality Hochschild homology and Grothendieck Duality Leovigildo Alonso Tarrío Universidade de Santiago de Compostela Purdue University July, 1, 2009 Leo Alonso (USC.es) Hochschild theory and Grothendieck Duality

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

PART III.3. IND-COHERENT SHEAVES ON IND-INF-SCHEMES

PART III.3. IND-COHERENT SHEAVES ON IND-INF-SCHEMES PART III.3. IND-COHERENT SHEAVES ON IND-INF-SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on ind-schemes 2 1.1. Basic properties 2 1.2. t-structure 3 1.3. Recovering IndCoh from ind-proper maps

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

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

Lecture 2 Sheaves and Functors

Lecture 2 Sheaves and Functors Lecture 2 Sheaves and Functors In this lecture we will introduce the basic concept of sheaf and we also will recall some of category theory. 1 Sheaves and locally ringed spaces The definition of sheaf

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset

More information