(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea


 Basil Black
 1 years ago
 Views:
Transcription
1 Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, HumboldtUniversitat zu Berlin Ziegelstr. 13a, D Berlin, Germany. Abstract We introduce an invariant for semigroups with cancellation property. When the semigroup equals the set of lattice points in a rational, polyhedral cone, then this invariant describes the torsion of the dierential sheaf on the associated toric variety. Finally, as an example, we present the case of twodimensional cones (corresponding to twodimensional cyclic quotient singularities). 1 An invariant for semigroups (1.1) Let S be a commutative semigroup with 0 and cancellation property (i.e. a + s = b + s implies a = b for a; b; s S). In particular, S can be embedded into a group, and the notion a for a S makes sense. Assume that (inside this group) S \ ( S) = f0g; then via S turns also into a partially ordered set. a b :() a b S ; For each ` S we will dene a certain abelian group T`. Their direct sum T := `S T` or the T`'s itself should be considered an invariant of the original semigroup. If S is nitely generated, then so will the T`'s. In case S equals the set of lattice points of some rational, polyhedral cone (i.e. generated by a nite set of rays through rational points) in IR n, we will show that T IC coincides with the torsion of the dierential sheaf 1 Y of the ane toric variety Y = Spec IC[S] ( IC[S] denotes the semigroup algebra of S over IC). This paper was written at M.I.T. and supported by a DAADfellowship. 1
2 (1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For each q L(P ) we dene its support as supp q := fs P j q s 6= 0g ; it is a nite subset of P. Then, every q L(P ) is uniquely representable as a dierence q = q + q with q + ; q IN P and supp q + \ supp q = ;. In particular, ss q + s s = ss q s s span IN P S ; and we denote this element by q (the \barvalue" of q). Denition: For every ` S let S` := fs S j s `g. Then, we dene T` := L(S`). hq L(S`) j q `i = hq L(S) j supp q `i. hq L(S) j q `i : (hq L(S`) j q `i means the subgroup generated by those q's, and \supp q `" is just an abbreviation for \s ` for all s supp q".) (1.3) Proposition: Let E S be a subset that generates the semigroup S. Denoting E` := E \ S` = fs E j s `g, we obtain for ` S T` = L(E`). hq L(E`) j q `i = hq L(E) j supp q `i. hq L(E) j q `i : Proof: We regard the canonical map ' : L(E`). hq L(E`) j q `i! L(S`). hq L(S`) j q `i : ' is surjective: Suppose a relation q L(S`) involves s 1 ;... ; s N S` (i.e. supp q = fs 1 ;... ; s N g). Each s v can be represented as a sum of elements from E providing a special relation q(s v ) with q(s v ) = s v `. Then, if q equals the relation [ P v q v s v = 0], we obtain q P v q v q(s v ) L(E`). (By the way, ~q := q P v q v q(s v ) can be regarded as similar to q, but each occurrence of s v is replaced by an appropriate sum of elements from E. In particular, the barvalue of ~q is less or equal than that of q.) P ' is injective: Let q L(E`) such that '(q) = 0, i.e. it splits into a sum q = i qi with q i L(S`); q i `. Treating each of the summands as we did q previously, we obtain q i = ~q i + q i v q(s v ) with ~q i L(E`); ~q i `; and s v S`: v
3 Hence, up to relations from hq L(E`) j q `i, we may assume that q = s v S`nE` g v q(s v ) L(S`) Z S` for some integer coecients g v. However, since q is actually contained in L(E`) Z E`, evaluating this equation at each of the sv S` n E` yields always g v = 0. Corollary: If S is a nitely generated semigroup, then the T` are nitely generated abelian groups. (1.4) We conclude this general section with a trivial, but important lemma. Lemma: Let ` S, and dene S 0 S as the semigroup generated by S`. The relation \ S 0" associated to S 0 is not the restriction of that of S; in general, \ S 0" is stricter than \ S ". However, (i) (S 0 )` = S`, and (ii) the abelian groups T` coincide for S and S 0. Proof: For (i) assume that s S fullls s S `. By denition, there is an t S such that s + t = `. In particular, s; t S` S 0, and we obtain s S 0 `. The same trick works for (ii): If q L(S`) is a relation with q S `, then there exists a t S such that q + t = `. In particular, t S` S 0, hence q S 0 `. Hence, to compute T`, we may always change the semigroup and assume that E = E`. Rational, polyhedral cones (.1) For this section we assume that S Z n equals the set of lattice points of some rational, polyhedral cone in IR n. In particular, it denes an ane toric variety Y := Spec IC[S]. (For general facts about toric varieties see [Da] or [Od]). Denition: Let Y = Spec B be an arbitrary ane scheme over the complex numbers, i.e. let B be an arbitrary (commutative) ICalgebra. Then, the Bmodule of Kahler dierentials 1 Y together with the canonical dierential d : B! 1 Y are dened by the following universal property: (i) d is additive, kills the constants, and it fullls the rule d(f g) = f d(g) + g d(f) for f; g B: 3
4 (ii) For each Bmodule Q all maps d 0 : B! Q meeting the properties similar to (i) factorize through d by a uniquely determined Blinear map 1 Y! Q. Indeed, the Kahler dierentials 1 Y do exist, and they are uniquely determined by the previous denition. For a proof of these facts and basic properties (for instance the two fundamental exact sequences) see Chapter 10 of [Ma]. Theorem: In the toric situation the IC[S]module of Kahler dierentials 1 Y torsion submodule tors ( 1 Y ) are Z n graded. For ` S we have and its tors ( 1 Y )(`) = T` Z IC ; and tors ( 1 Y ) vanishes in the remaining degrees. Moreover, if s S, then the canonical map T`! T`+s describes the multiplication with x s IC[S]. (.) Proof: Step 1: Let E = fs 0 ;... ; s w g be a generating set of the P semigroup S; in particular, we have a surjective map : IN w+1! S ; a 7! i a i s i. Let m := f(a; b) j a; b IN w+1 ; (a) = (b) in Sg. Then, Y can be regarded as the closed subset of IC w+1 dened by the ideal I = (z a z b j (a; b) m) IC[z 0 ;... ; z w ]. We obtain the standard exact sequence (cf. Theorem 58 in [Ma]) inducing I=I d! 1 IC w+1 IC[z 0 ;...;z w] IC[S]! 1 Y! 0 ; IC[S] m! IC[S] w+1! 1 Y! 0 via composing d with the canonical surjection IC[S] m! I=I. The maps in the latter exact sequence could be described as follows: Denote by fe ab g and fe i g the standard bases of IC[S] m and IC[S] w+1, respectively; and for an s S denote by x s IC[S] the corresponding element in the semigroup algebra, e.g. x si z i (mod I). Then, P the image of e ab in I=I is the equation z a z b, and this maps onto d(z a z b w ) = (a i=0 i b i ) x (a) si d z i 1 IC IC[S]. In particular, w+1 (e ab ) = w i=0 (a i b i ) x (a) si e i : (At the rst glance, might not always map into IC[S] w+1. However, if (a) s i = S, then this would imply a i = b i = 0.) Finally, e i IC[S] w+1 maps onto d x si 1 Y by the second map. Step : The IClinear map IC[S]! Z n Z IC[ Z n ] ; x s 7! s x s is a ICderivation: It kills the constants, and for s; t S we have x s (t x t ) + x t (s x s ) = (s + t) x s+t. Hence, by denition of the Kahler dierentials, we obtain a IC[S]linear map 1 Y! Z n Z IC[ Z n ] ; d x s 7! s x s : 4
5 On the other hand, Z n Z IC[ Z n ] can be identied with the module of Kahler dierentials on the torus ( IC ) n = Spec IC[ Z n ], and the previous map corresponds to the restriction of dierentials from Y onto the open subset ( IC ) n Y. Since 1 ( IC is just a localisation of 1 ) n Y, we obtain that this map has exactly tors ( 1 Y ) as its kernel. Putting this fact together with the information from the rst step, we obtain the sequence of IC[S]modules () IC[S] m! IC[S] w+1! Z n Z IC[ Z n ] and, moreover, tors ( 1 Y ) = ker =im. e i 7! s i x si Step 3: Dening deg(e ab ) := (a) = (b) S for IC[S] m, deg(e i ) := s i S for IC[S] w+1, and deg(s x t ) := t Z n for Z n Z IC[ Z n ], the sequence () turns out to be Z n graded. In particular, to calculate ker =im, we can deal with each degree ` S separately (degrees from Z n n S do not appear). Claim: T` Z IC! (ker =im )` ; q 7! P s i E q i x` si e i is an isomorphism of ICvector spaces. Proof: For q L(E`), the sum P s i E q i x` si e i denes an element of ( IC[S] w+1 )`. Applying, we obtain ( P s i E q i x` si e i ) = P s i E q i x` si (s i x si ) = ( P s i E q i s i ) x` = 0 : P Obviously, each element of (ker )` can be obtained that way: If s i E q i(x) e i IC[S] w+1 is of degree `, we obtain q i (x) = q x` si i (q i IC with q i = 0 P unless ` s i ). Moreover, we have just seen that kills this element if and only if s i E q i s i = 0, i.e. it comes from a relation q L(E`). On the other hand, q L(E`) with q ` can be written as q = a b (a; b IN w+1 ; (a) = (b) `). Then, s i E (a i b i ) x` si e i = x` (a) (e ab ) ; and those elements generate (im )`. (.3) Remark: We never used the fact that Y = Spec IC[S] is a normal variety. Hence, Theorem (.1) remains true, if S Z n is just supposed to be a nitely generated semigroup with S \ ( S) = f0g. In particular, over IR, S generates a rational, polyhedral cone IR n, but there may exist nitely many points of \ Z n not belonging to S. 5
6 Example: If S IN, then Y is a curve singularity. For instance, S := IN n f1g is generated by the integers and 3, and Y IC is the cusp given by the equation y x 3 = 0. Let us compute the torsion of 1 Y in this case: With E = fs 0 := ; s 1 := 3g we have the only relation q := [3s 0 s 1 = 0]. Since q S 5, on the one hand, but q = 6, on the other hand, we obtain T = T 5 = Z q, i.e. tors ( 1 Y ) is a onedimensional vector space concentrated in the singular point. 3 Twodimensional, cyclic quotient singularities (3.1) Twodimensional, cyclic quotient singularities coincide with the twodimensional, ane toric varieties; they were rst investigated by Riemenschneider, [Ri]. We want to compute our invariant for this special case. Let S be the set of lattice points in the twodimensional cone spanned by some primitive vectors s 0 ; s w Z. Then, following x1.6 in [Od], E = fs 0 ;... ; s w g is built from all lattice points of the compact part of the boundary of conv (S n f0g); in (S n f0g)) consists of w primitive edges (containing no interior lattice point). Every pair of adjacent elements s i 1 ; s i (i = 1;... ; w) provides a Zbasis for the lattice Z, and there are relations s i 1 + s i+1 = a i s i (a i IN; a i ; i = 1;... ; w 1) : rs w r E EEE r s 4 This is a rough draft of S; in fact it cannot exactly be shaped as shown in the gure. E r s 3 r s s r EJJaaaaahhhhhhhhhr 1 Remark: (cf. Lemma 1.0 in [Od]) The coecients a i can be obtained from the continued fraction n n q = a 1 1 a 1 a s 0
7 with n := det(s 0 ; s w ) and q f1;... ; n 1g such that nj(qs 0 + s w ). (3.) Since a i (i = 1;... ; w 1), the sets E` E are \connected" (i.e. they are shaped as E` = fs p ; s p+1 ;... ; s p+k g for some p; k) for every ` S. Hence, to compute T`, we may assume that E` = fs 0 ;... ; s w g (cf. Lemma (1.4)). Lemma: Let ` S such that E` = fs 0 ;... ; s w g. Then, (i) ` s 0 + s w, and (ii) T` = 0 unless ` = s 0 + s w. Proof: (i) The vectors s 0 and s w form a IRbasis of IR, and, for an s Z, the condition \s S" is equivalent to having nonnegative coordinates only. Hence, the inequalities ` s 0 ; s w imply that both coordinates of ` are not smaller than 1, i.e. ` s 0 s w has nonnegative coordinates. (ii) Let ` > s 0 + s w be given; we will show that T` = 0. We distinguish two cases: Case 1: ` (s 0 + s w ) s 0 (or similarly ` (s 0 + s w ) s w ). Then, since s i s 0 + s w, we know that s 0 + s i s 0 + s w ` for i = ;... ; w. Summing up the equations s j 1 + s j+1 = a j s j (1 j i 1) provides relations q i (q i ) s 0 + s i = (s 1 + s i 1 ) + i 1 j=1 (a j ) s j (i = ;... ; w) having exactly s 0 + s i ` as their barvalues. In particular, they yield zero in T`. On the other hand, if we are given an arbitrary relation q L(E), then we can use q w ;... ; q to eliminate s w ;... ; s step by step from the support of q (without changing its value in T`). Since s 0 and s 1 are linearly independent, q has to be trivial then. Case : Not Case 1; in particular, ` (s 0 + s w ) s i for some i = 1;... ; w 1. P Then, we have ` (s 0 + s w w 1 ) = g j=1 j s j with nonnegative integers g j and, moreover, g i 1. (There are no summands involving s 0 or s w, because this would t in the rst case.) Again, we start P with an arbitrary q L(E). First, we use the relation s 0 + s w = (s 1 + s w 1 w 1 ) + (a j=1 j ) s j (barvalue s 0 + s w `) to eliminate s 0 (if i = 1) or s w (if i ) from supp q. If w =, then we are already done. Otherwise, we use the similar relations expressing s i + s w (if i = 1) or s 0 + s i (if i ) by the generators in between to eliminate s w or s 0, respectively. The result is a relation q with supp q fs 1 ;... ; s w 1 g. Finally, we know that w 1 w 1 ` = (s 0 + s w ) + j=1 g j s j = (s 1 + s w 1 ) + 7 j=1 (g j + a j ) s j :
8 Hence, the fact T` = 0 for the cone spanned by s 1 and s w 1 (induction by w) tells us that L(s 1 ;... ; s w 1 ) is spanned by relations with barvalue not greater than `. In particular, our q can be reduced to zero. (3.3) Lemma: Assume ` = s 0 + s w (including E` = fs 0 ;... ; s w g). Then, T` = 8 < : 0 for w Z [(w 1)=] for a 1 =... = a w 1 = Z otherwise : (The second case (a 1 =... = a w 1 = ) means that the points s 0 ;... ; s w are sitting on an ane line; the corresponding cyclic quotient singularity equals the cone over the rational normal curve of degree w.) Proof: The case w is obvious. Assuming a 1 =... = a w 1 =, the entire collection of relations with barvalue not greater than ` is given by the [w=] equations s 0 + s w = s 1 + s w 1 =... = s [w=] + s w [w=] ; and we obtain (w 1) [w=] = [(w 1)=] for the rank of T`. Finally, if w 3 and not a 1 =... = a w 1 =, then ` = s 0 + s w = s 1 + s w 1 + w 1 i=1 (a i ) s i > hs 1 ;s w 1 i s 1 + s w 1 shows (cf. Lemma (3.)) that L(s 1 ;... ; s w 1 ) hq L(E) j q `i. On the other hand, the only relations involving s 0 or s w and having a barvalue ` are those representing s 0 + s w as linear combination of s 1 ;... ; s w 1. (Indeed, if for instance P P P s 0 w + g i=0 i s i w = h i=1 i s i P is such a relation (g i ; h i 0; g i h i = 0), then s 0 w + g i=0 i s i ` = s 0 + s w implies i g i s i s w. Hence g w = 0 or 1, and g i = 0 for i 6= w. Moreover, since s 0 is not representable by other generators, this implies that s 0 + s w forms the left hand side of the relation  and the right hand side has to be built from s 1 ;... ; s w 1 then.) (3.4) We are gathering our results and obtain the following description of the invariants T` for a twodimensional cyclic quotient singularity: Theorem: Let S and a 1 ;... ; a w 1 as in (3.1); dene a 0 := a w := 3. (1) Let s p ; s p+k E (0 p < p + k w) be elements such that (i) k 3, and (ii) at least one of the numbers a p ;... ; a p+k is greater than two. 8
9 Then, ` := s p + s p+k uniquely determines p and k, and we have T` = Z [(k 1)=] for a p+1 =... = a p+k 1 = Z otherwise : The abelian group T` vanishes in the remaining degrees. () For T = `T` we obtain T = Z (w 1)(w )=. In particular, w 1 dim (tors ( 1 Y )) = : (w + 1 equals the embedding dimension of the cyclic quotient singularity Y ). Proof: For (1) assume that we are given some ` S. Then, E` is shaped as E` = fs p ;... ; s p+k g, and by Lemma (3.) we know that T` = 0 unless ` = s p + s p+k. On the other hand, if ` = s p + s p+k, then Lemma (3.3) tells us about T`. The only thing being left is asking the other way around: What is the condition for an ` := s p + s p+k to yield exactly E` = fs p ;... ; s p+k g? Obviously, E` does always contain fs p ;... ; s p+k g, and we show that it is exactly the condition a p =... = a p+k = saying that both sets are not equal: Assume E` = fs p i ;... ; s p ;... ; s p+k ;... ; s p+k+j g (w.l.o.g. i j 0, i 6= 0), then we obtain a chain of inequalities s p + s p+k = ` s p i + s p+k+j s p i+1 + s p+k+j 1... s p i+j + s p+k : If i > j, this would imply that two dierent elements of E (s p and s p i+j ) would be comparable in S. Hence, i = j, and all signs in the previous chain turn into equalities implying a p i+1 =... = a p =... = a p+k =... = a p+k+i 1 =. The reversed direction is easy; the equalities a p =... = a p+k = imply ` = s p 1 + s p+k+1, hence s p 1 ; s p+k+1 E`. To prove the second part of the theorem, we have to count dimensions. Assume that the compact part of the (S n f0g)) consists of P m edges, each m containing w i 1 (i = 1;... ; m) interior lattice points. In particular, w i=1 i = w. Then, we have (a) w+1 possibilities of choosing two dierent points sp and s p+k from E; (b) w 1 of those pairs with 1 k ; w (c) i +1 possibilities of choosing two dierent points sp and s p+k from the ith edge; (d) w i 1 of those pairs with 1 k. 9
10 Hence, we obtain w + 1 (w 1) m i=1 wi m i=1 w 1 (w i 1) = m i=1 wi 1 possibilities of choosing pairs s p ; s p+k E with k 3 and such that at least one of the numbers a p+1 ;... ; a p+k 1 is greater than two. Those pairs yield T` = Z. On the other hand, let fs q ;... ; s q+w ig form the ith edge. Then, its only pairs (s p ; s p+k ) meeting the assumption that at least one of the numbers a p ;... ; a p+k is greater than two are (s q ; s q+k ) and (s q+wi k ; s q+w i ) with 1 k w i. Each of them providing a contribution of Z [(k 1)=] (which is automatically zero if k = 1; ), we obtain for the entire ith edge w i 1 k 1 wi 1 wi = k=3 dimensions for T. Acknowledgement: I would like to thank the referee for many useful hints and suggestions. References [Da] Danilov, V.I.: The Geometry of Toric Varieties. Russian Math. Surveys 33/ (1978), [Ma] Matsumura, H.: Commutative Algebra. W.A.Benjamin, New York [Ri] Riemenschneider, O.: Deformationen von Quotientensingularitaten (nach zyklischen Gruppen). Math. Ann. 09 (1974), [Od] Oda, T.: Convex bodies and algebraic geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete (3/15), SpringerVerlag,
Vector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)
Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational
More informationIDEAL CLASSES AND RELATIVE INTEGERS
IDEAL CLASSES AND RELATIVE INTEGERS KEITH CONRAD The ring of integers of a number field is free as a Zmodule. It is a module not just over Z, but also over any intermediate ring of integers. That is,
More informationCohomology groups of toric varieties
Cohomology groups of toric varieties Masanori Ishida Mathematical Institute, Tohoku University 1 Fans and Complexes Although we treat real fans later, we begin with fans consisting of rational cones which
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationFormal power series rings, inverse limits, and Iadic completions of rings
Formal power series rings, inverse limits, and Iadic 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 informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationIdeals of Endomorphism rings 15 discrete valuation ring exists. We address this problem in x3 and obtain Baer's Theorem for vector spaces as a corolla
1. Introduction DESCRIBING IDEALS OF ENDOMORPHISM RINGS Brendan Goldsmith and Simone Pabst It is well known that the ring of linear transformations of a nite dimensional vector space is simple, i.e. it
More information24 Artin reciprocity in the unramified case
18.785 Number theory I Fall 2017 ecture #24 11/29/2017 24 Artin reciprocity in the unramified case et be an abelian extension of number fields. In ecture 22 we defined the norm group T m := N (I m )R m
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More informationThe Rationality of Certain Moduli Spaces of Curves of Genus 3
The Rationality of Certain Moduli Spaces of Curves of Genus 3 Ingrid Bauer and Fabrizio Catanese Mathematisches Institut Universität Bayreuth, NW II D95440 Bayreuth, Germany Ingrid.Bauer@unibayreuth.de,
More informationRIEMANN SURFACES. max(0, deg x f)x.
RIEMANN SURFACES 10. Weeks 11 12: RiemannRoch theorem and applications 10.1. Divisors. The notion of a divisor looks very simple. Let X be a compact Riemann surface. A divisor is an expression a x x x
More information294 Meinolf Geck In 1992, Lusztig [16] addressed this problem in the framework of his theory of character sheaves and its application to Kawanaka's th
Doc. Math. J. DMV 293 On the Average Values of the Irreducible Characters of Finite Groups of Lie Type on Geometric Unipotent Classes Meinolf Geck Received: August 16, 1996 Communicated by Wolfgang Soergel
More informationIntroduction to surgery theory
Introduction to surgery theory Wolfgang Lück Bonn Germany email wolfgang.lueck@him.unibonn.de http://131.220.77.52/lueck/ Bonn, 17. & 19. April 2018 Wolfgang Lück (MI, Bonn) Introduction to surgery theory
More informationOn the Parameters of rdimensional Toric Codes
On the Parameters of rdimensional Toric Codes Diego Ruano Abstract From a rational convex polytope of dimension r 2 J.P. Hansen constructed an error correcting code of length n = (q 1) r over the finite
More informationProof. We omit the proof of the case when f is the reduction of a characteristic zero eigenform (cf. Theorem 4.1 in [DS74]), so assume P (X) has disti
Some local (at p) properties of residual Galois representations Johnson Jia, Krzysztof Klosin March 5, 26 1 Preliminary results In this talk we are going to discuss some local properties of (mod p) Galois
More information(1) is an invertible sheaf on X, which is generated by the global sections
7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one
More informationRepresentations 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 informationIntroduction To K3 Surfaces (Part 2)
Introduction To K3 Surfaces (Part 2) James Smith Calf 26th May 2005 Abstract In this second introductory talk, we shall take a look at moduli spaces for certain families of K3 surfaces. We introduce the
More informationCOHENMACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHENMACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and Nregular element for the base case. Suppose now that xm = 0 for some m M. We
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A1090 Wien, Austria Common Homoclinic Points of Commuting Toral Automorphisms Anthony Manning Klaus Schmidt
More informationMath 210B: Algebra, Homework 4
Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor RMod S 1 RMod, M S 1 M, is exact. First,
More informationNotes on the definitions of group cohomology and homology.
Notes on the definitions of group cohomology and homology. Kevin Buzzard February 9, 2012 VERY sloppy notes on homology and cohomology. Needs work in several places. Last updated 3/12/07. 1 Derived functors.
More informationLECTURE 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 KazhdanLusztig conjecture. We start by introducing
More informationMatsumura: Commutative Algebra Part 2
Matsumura: Commutative Algebra Part 2 Daniel Murfet October 5, 2006 This note closely follows Matsumura s book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more
More informationEXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More informationDemushkin s Theorem in Codimension One
Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und
More information3.1. Derivations. Let A be a commutative kalgebra. Let M be a left Amodule. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More information2 Garrett: `A Good Spectral Theorem' 1. von Neumann algebras, density theorem The commutant of a subring S of a ring R is S 0 = fr 2 R : rs = sr; 8s 2
1 A Good Spectral Theorem c1996, Paul Garrett, garrett@math.umn.edu version February 12, 1996 1 Measurable Hilbert bundles Measurable Banach bundles Direct integrals of Hilbert spaces Trivializing Hilbert
More informationDelzant s Garden. A onehour tour to symplectic toric geometry
Delzant s Garden A onehour tour to symplectic toric geometry Tour Guide: Zuoqin Wang Travel Plan: The earth America MIT Main building Math. dept. The moon Toric world Symplectic toric Delzant s theorem
More informationBulletin of the Iranian Mathematical Society
ISSN: 1017060X (Print) ISSN: 17358515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Heydar Radjavi s 80th Birthday Vol 41 (2015), No 7, pp 155 173 Title:
More informationEtale cohomology of fields by Johan M. Commelin, December 5, 2013
Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology The canonical topology on a Grothendieck topos Let E be a Grothendieck topos. The canonical topology T on E is given in
More informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of kcycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
More informationBASIC VECTOR VALUED SIEGEL MODULAR FORMS OF GENUS TWO
Freitag, E. and Salvati Manni, R. Osaka J. Math. 52 (2015), 879 894 BASIC VECTOR VALUED SIEGEL MODULAR FORMS OF GENUS TWO In memoriam JunIchi Igusa (1924 2013) EBERHARD FREITAG and RICCARDO SALVATI MANNI
More informationCHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents
CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally
More informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about pathconnected spaces. Both can be considered as functors,
More informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
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 informationIntroduction to modules
Chapter 3 Introduction to modules 3.1 Modules, submodules and homomorphisms The problem of classifying all rings is much too general to ever hope for an answer. But one of the most important tools available
More informationarxiv: v1 [math.ag] 28 Sep 2016
LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA Email address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationBoundary of CohenMacaulay cone and asymptotic behavior of system of ideals
Boundary of CohenMacaulay cone and asymptotic behavior of system of ideals Kazuhiko Kurano Meiji University 1 Introduction On a smooth projective variety, we can define the intersection number for a given
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 informationMORDELL EXCEPTIONAL LOCUS FOR SUBVARIETIES OF THE ADDITIVE GROUP
MORDELL EXCEPTIONAL LOCUS FOR SUBVARIETIES OF THE ADDITIVE GROUP DRAGOS GHIOCA Abstract. We define the Mordell exceptional locus Z(V ) for affine varieties V G g a with respect to the action of a product
More informationand this makes M into an Rmodule by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationL 2 BETTI NUMBERS OF HYPERSURFACE COMPLEMENTS
L 2 BETTI NUMBERS OF HYPERSURFACE COMPLEMENTS LAURENTIU MAXIM Abstract. In [DJL07] it was shown that if A is an affine hyperplane arrangement in C n, then at most one of the L 2 Betti numbers i (C n \
More informationEXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2GROUPS
EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2group.
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationSURGERY EQUIVALENCE AND FINITE TYPE INVARIANTS FOR HOMOLOGY 3SPHERES L. FUNAR Abstract. One considers two equivalence relations on 3manifolds relate
SURGERY EQUIVALENCE AND FINITE TYPE INVARIANTS FOR HOMOLOGY 3SPHERES L. FUNAR Abstract. One considers two equivalence relations on 3manifolds related to nite type invariants. The rst one requires to
More informationx y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2
5. Finitely Generated Modules over a PID We want to give a complete classification of finitely generated modules over a PID. ecall that a finitely generated module is a quotient of n, a free module. Let
More informationHILBERT BASIS OF THE LIPMAN SEMIGROUP
Available at: http://publications.ictp.it IC/2010/061 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL
More informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution LudwigMaximiliansUniversität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationDivisor matrices and magic sequences
Discrete Mathematics 250 (2002) 125 135 www.elsevier.com/locate/disc Divisor matrices and magic sequences R.H. Jeurissen Mathematical Institute, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen,
More informationSTABLY FREE MODULES KEITH CONRAD
STABLY FREE MODULES KEITH CONRAD 1. Introduction Let R be a commutative ring. When an Rmodule has a particular moduletheoretic property after direct summing it with a finite free module, it is said to
More informationDISCRETE SUBGROUPS, LATTICES, AND UNITS.
DISCRETE SUBGROUPS, LATTICES, AND UNITS. IAN KIMING 1. Discrete subgroups of real vector spaces and lattices. Definitions: A lattice in a real vector space V of dimension d is a subgroup of form: Zv 1
More informationNotes on the matrix exponential
Notes on the matrix exponential Erik Wahlén erik.wahlen@math.lu.se February 14, 212 1 Introduction The purpose of these notes is to describe how one can compute the matrix exponential e A when A is not
More information. HILBERT POLYNOMIALS
CLASSICAL ALGEBRAIC GEOMETRY Daniel Plaumann Universität Konstan Summer HILBERT POLYNOMIALS T An ane variety V A n with vanishing ideal I(V) K[,, n ] is completely determined by its coordinate ring A(V)
More informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More informationProblems on Minkowski sums of convex lattice polytopes
arxiv:08121418v1 [mathag] 8 Dec 2008 Problems on Minkowski sums of convex lattice polytopes Tadao Oda odatadao@mathtohokuacjp Abstract submitted at the Oberwolfach Conference Combinatorial Convexity and
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationEQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms
EQUIVARIANT COHOMOLOGY MARTINA LANINI AND TINA KANSTRUP 1. Quick intro Let G be a topological group (i.e. a group which is also a topological space and whose operations are continuous maps) and let X be
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationReview of Linear Algebra
Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F vector space or simply a vector space
More informationLECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional Lmodule. Define
More informationAN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES
AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,
More informationPROJECTIVIZED RANK TWO TORIC VECTOR BUNDLES ARE MORI DREAM SPACES
PROJECTIVIZED RANK TWO TORIC VECTOR BUNDLES ARE MORI DREAM SPACES JOSÉ LUIS GONZÁLEZ Abstract. We prove that the Cox ring of the projectivization PE of a rank two toric vector bundle E, over a toric variety
More informationAnother proof of the global F regularity of Schubert varieties
Another proof of the global F regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, RabenPedersen and Thomsen proved that Schubert varieties are globally F regular. We give
More informationNonuniruledness results for spaces of rational curves in hypersurfaces
Nonuniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469P.485 Issue Date 200106 Text Version publisher URL https://doi.org/10.18910/4757
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of nonconstant 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 informationABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.
ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS. ANDREW SALCH 1. Subgroups, conjugacy, normality. I think you already know what a subgroup is: Definition
More informationIntegral Extensions. Chapter Integral Elements Definitions and Comments Lemma
Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular pchains with coefficients in a field K. Furthermore, we can define the
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
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 informationSELFEQUIVALENCES OF DIHEDRAL SPHERES
SELFEQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy selfequivalences E G (X) of an orthogonal Gsphere X is related to the Burnside ring A(G)
More information2 HENNING KRAUSE AND MANUEL SAOR IN is closely related is that of an injective envelope. Recall that a monomorphism : M! N in any abelian category is
ON MINIMAL APPROXIMATIONS OF MODULES HENNING KRAUSE AND MANUEL SAOR IN Let R be a ring and consider the category Mod R of (right) Rmodules. Given a class C of Rmodules, a morphism M! N in Mod R is called
More informationSegre classes of tautological bundles on Hilbert schemes of surfaces
Segre classes of tautological bundles on Hilbert schemes of surfaces Claire Voisin Abstract We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande
More informationIsogeny 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 informationINTEGRATION OF ONEFORMS ON padic ANALYTIC SPACES
INTEGRATION OF ONEFORMS ON padic ANALYTIC SPACES VLADIMIR G. BERKOVICH Recall that there is a unique way to define for every comple manifold, every closed analytic oneform ω, and every continuous path
More informationAlgebra Ph.D. Entrance Exam Fall 2009 September 3, 2009
Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded
More informationThe Segre Embedding. Daniel Murfet May 16, 2006
The Segre Embedding Daniel Murfet May 16, 2006 Throughout this note all rings are commutative, and A is a fixed ring. If S, T are graded Aalgebras then the tensor product S A T becomes a graded Aalgebra
More informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationTitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)
TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 200406 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationMATH 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 informationWritten Homework # 2 Solution
Math 517 Spring 2007 Radford Written Homework # 2 Solution 02/23/07 Throughout R and S are rings with unity; Z denotes the ring of integers and Q, R, and C denote the rings of rational, real, and complex
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationφ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),
16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationModules Over Principal Ideal Domains
Modules Over Principal Ideal Domains Brian Whetter April 24, 2014 This work is licensed under the Creative Commons AttributionNonCommercialShareAlike 4.0 International License. To view a copy of this
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan AttwellDuval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759P.792 Issue Date 20042 Text Version publisher URL https://doi.org/0.890/838
More informationSome Remarks on Prill s Problem
AFFINE ALGEBRAIC GEOMETRY pp. 287 292 Some Remarks on Prill s Problem Abstract. N. Mohan Kumar If f : X Y is a nonconstant map of smooth curves over C and if there is a degree two map π : X C where C
More informationON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES
ON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES S.K. ROUSHON Abstract. We study the Fibered Isomorphism conjecture of Farrell and Jones for groups acting on trees. We show that under certain conditions
More informationSEPARABLE RATIONAL CONNECTEDNESS AND STABILITY
SEPARABLE RATIONAL CONNECTEDNESS AND STABILIT ZHIU TIAN Abstract. In this short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability
More information