F-RATIONALITY MANOJ KUMMINI. 1. Double-complex spectral sequences
|
|
- Matthew Sutton
- 5 years ago
- Views:
Transcription
1 F-RATIONALITY MANOJ KUMMINI Introduction These are notes from my lectures at the worshop Commutative Algebra and Algebraic Geometry in Positive Characteristics held at IIT Bombay in December 8. The goal is to give a proof of a theorem of K. Smith which asserts that F-rational rings have pseudorational singularities [Smi97]. Notation. By a ring we mean a commutative ring with multiplicative identity. Ring homomorphisms are assumed to tae the multiplicative identity to the multiplicative identity. : field R, S: rings.. Double-complex spectral sequences 3 In this lecture, we list some results, mostly without proofs, about double-complex spec- 4 tral sequences. References are [CE99, Chapter XV], [Eis95, Appendix A3], and [Wei94, 5 Chapter 5]. 6 Let A be an abelian category and C, a first-quadrant double complex in A, i.e., a 7 double complex with C i,j = if i < or j <. Write F = Tot(C, ). We wish to 8 understand H (F ). To this end, we tae a filtration F F F. Fix n. Write 9 M p = Im(H n ( F p ) H n (F )). Since H n is a functor from the category of complexes over A to A, we get an induced filtration H n (F ) M M on H n (F ). Using a spectral sequence, we start from ( ( ) ) H F p /F p+ p 3 and obtain the associated graded object M p /M p+ of the filtration of H n (F ). p 4 Filtration by columns. For p, define C i,j p = { C i,j, if i p;, otherwise, for every j. Write F p = Tot( C, ). This gives a filtration F = F F F with 5 p F p / F p+ = Cp,. Version of December 5, 8.
2 MANOJ KUMMINI Set E i,j = C i,j for every i, j. Thin of E, as the collection of complexes C i, i, with the horizontal arrows as maps of these complexes. Now E, is the homology of E, ; more precisely, the maps in E, are of the form C i,j+ C i,j C i,j so E i,j = Hj (C i, ). The horizontal maps of C,, which are thought of as maps of complexes C i, C i+,, give maps E i,j E i,j E i+,j. We define E, as the homology of E,. One can show that there are maps E i,j E i,j E i+,j and that these form a complex. Define E, 3 as the homology of E, ; there are maps E i 3,j+ 3 E i,j 3 E i+3,j 3. Inductively define E r, as the homology of E, r ; the maps are E i r,j+r r E i,j r E i+r,j r+ r. Note for each s r, and and each i, j, Es i,j is a subquotient of Er i,j and that E i,j is a subquotient of C i,j. Hence, for each i, j, there exists r such that for every s r, the map coming into E i,j s is from the second quadrant and the map leaving from E i,j s the fourth quadrant; therefore these maps are zero, which gives that E i,j s for this r. E i,j = Er i,j = E i,j r is to ; define.. Theorem. For the filtration on H n (F ) induced by the filtration of { F p } p of F, the associated graded object of H n (F ) has E i,n i as its ith component. Filtration by rows. For q, define C i,j q = { C i,j, if j q;, otherwise, for every i. Write F q = Tot( C, q ). This gives a filtration F = F F F 4 with 43 F q / F q+ = C,q.
3 F-RATIONALITY 3 Set E i,j = Ci,j for every i, j. Thin of E, 44 as the collection of complexes C,j j, with the vertical arrows as maps of these complexes. Now E, is the homology of E, 45 ; more precisely, the maps in E, 46 are of the form C i,j C i,j C i+,j so E i,j = Hi (C,j ). The vertical maps of C,, which are thought of as maps of complexes C,j C,j+, give maps E i,j+ E i,j 49 E i,j We define E, as the homology of E,. One can show that there are maps E i,j+ E i,j E i+,j and that these form a complex. Inductively define E r, as the homology of E, 5 r ; the 5 maps are Er i+r,j r+ Er i,j Er i r,j+r As with the filtration by columns, for each i, j, there exists r such that for every s r, Es i,j = Er i,j ; define E i,j = Er i,j for this r... Theorem. For the filtration on H (F ) induced by the filtration of { F q } q of F, the associated graded object of H n (F ) has E n i,i as its ith component. Terminology. We often refer to E r, and E r, as the rth page of the spectral sequence. We also say that the spectral sequences E r, and E r, converge to H (F ). We denote this by Er i,j H i+j (F ) and Er i,j H i+j (F )
4 4 MANOJ KUMMINI Edge maps. Fix n and consider the filtration on H n (F ) induced by the filtration of { F p } p of F. Since this is a decreasing filtration, we see that E n, is a submodule of H n (F ). For r, there is a surjective morphism Er n, E n,. The composite map Er n, E n, H n (F ) is called an edge homomorphism. Similarly, we get an edge homomorphism Er,n E,n H n (F ) Grothendiec spectral sequence. We give an application of the double complex spectral sequence to obtain a relation between the derived functors of a composite of two functors. Let A, B, C be abelian categories such that A and B have enough injectives. Let F : A B and G : B C be left-exact covariant additive functors such that F taes injectives in A to G-acyclic objects in B, i.e., objects Y of B such that R i GY = for every i >..3. Theorem. With notation as above, there is a spectral sequence for every object X of A. E i,j = Rj G(R i F(X)) R i+j (GF)(X) Proof. Let X be an object of A. Let I be an injective resolution of X. Let J, be a Cartan- Eilenberg injective resolution (double complex) of F(I ). (See [CE99, Chapter XVII] and [Wei94, Section 5.7] for the construction of Cartan-Eilenberg resolutions.) Let C, = G(J, ). Then { E i,j = Hj (G(J i, )) = R j G(F(I i (GF)(I i ), if j = ; )) =, otherwise, by the hypothesis on F. Hence the E page is the complex (GF)(I ), from which we conclude that { E i,j R i (GF)(X), if j =, =, otherwise, In particular, for every n, the associated graded object of H n (Tot(C, )) has only one potentially non-zero term R n (GF)(X); it follows that H n (Tot(C, )) = R n (GF)(X). In the spectral sequence associated to filtration by rows of C,, we have E i,j = Hi G(J,j ) One can chec, using the definition and properties of Cartan-Eilenberg resolutions that Hence Set E = E. H i G(J,j ) = G(an injective resolution of H i (F(I ))). E i,j = Rj G(R i F(X)) The edge homomorphisms of the above spectral sequence are R n G(F(X)) R n (GF)(X).. Pseudo-rational rings In this lecture, we loo at pseudo-rational rings [LT8]. We begin with some remars on local cohomology.
5 F-RATIONALITY 5 Cohomology with supports. Let X be a topological space, Z a (locally) closed subset of X and F a sheaf of abelian groups on X. We denote the category of abelian groups by Ab and, for a topological space Y, the category of sheaves of abelian groups on Y by Ab Y. Write U = X Z. Define Γ Z (X, F) := er (Γ(X, F) Γ(U, F)). This is a functor from Ab X to Ab. It is left exact (Exercise 5.5). Define cohomology groups 96 with support in Z, denoted H Z (X), to be its right-derived functors... Proposition. Suppose that X = Spec R, that Z is defined by a finitely generated R-ideal I and that F is the sheaf defined by an R-module M. Then for every i. H i Z (X, F ) = Hi I (M) For a proof, see [Har67, Proposition.] or [ILL + 7, Theorem.47]... Proposition. Let f : X X be a continuous map, Z a closed subset of X, Z := f (Z) and F a sheaf of abelian groups on X. Then we have a spectral sequence E i,j = Hj Z (X, Ri f F ) converging to H i+j Z (X, F ). The edge homomorphisms of this page are the maps H n Z (X, f F ) H n Z (X, F ). Proof. Use Theorem.3 with A = Ab X, B = Ab X, C = Ab, F = f and G = Γ Z (X, ). Note that f taes injectives in Ab X to injectives in Ab X, which are acyclic for Γ Z (X, ). See [Har67, Proposition 5.5] for details. The assertion about edge homomorphisms follows from the definition. Pseudo-rational rings..3. Definition. Let (R, m) be a d-dimensional Cohen-Macaulay, normal, analytically unramified local ring. Then R is said to be pseudo-rational if the edge homomorphism H d m(r) δ f H d f ({m}) (Z, O Z) is injective, for every proper birational map f : Z Spec R with Z normal..4. Example. Regular local rings are pseudo-rational [LT8, Section 4]..5. Example. Let (R, m) be a d-dimensional Cohen-Macaulay, normal local ring that is essentially of finite type over a field of characteristic zero. Suppose that R has rational singularities, i.e., there exists a proper birational morphism h : Z Spec R such that Z is nonsingular (such a morphism is called a desingularization) and R i h O Z = for every i >. In fact, if this holds for one desingularization, it holds for every desingularization. Let f : W Spec R be a proper birational morphism with W normal. Let g : Z W be a desingularization. Then h = f g is a desingularization of Spec R. Then the edge homomorphism δ f is injective. (Exercise 5.8)..6. Example. Let be a field of characteristic different from 3, S = [x, y, z] and R = S/(x 3 + y 3 + z 3 ). Write m for the homogeneous maximal ideal of R. After replacing by an algebraic closure and using the jacobian criterion [Eis95, 6.9] we see that the
6 6 MANOJ KUMMINI singular locus of Spec R is {m}, which has codimension two. Since it is Cohen-Macaulay, it satisfies the Serre condition (S ). Hence R is a normal domain. Let A be the Rees algebra R[mt] and X = Proj A. Write f for the natural map X Spec R. We now mae several observations and conclude that R is not pseudo-rational. () X is nonsingular: X has an affine open covering (( [ mt ]) ) (( [ ]) ) mt Spec R Spec R. xt yt (Observe that zt (xt, yt).) Note that ( [ mt ]) [ y R xt R x, z ]. x Write u = y x and y = z x to see that [ y R x, z ] [x, u, v]/( + u 3 + v 3 ) x which is non-singular; similarly for the other open set. () H (X, F ) = for every coherent sheaf F on X, since X has an affine cover with two open sets. (3) The map f is birational: for, let a m. Then A a R a [t], so f (Spec R a ) Proj(R a R A) Proj(R a [t]) Spec R a. Write U = Spec R {m} and V = f (U). Then f V : V U ( is an isomorphism, ) since U has an affine covering by Spec R a, a m, a. (4) Supp H (X, F ) {m} for every coherent sheaf F on X. This follows from applying the flat-base change theorem for cohomology [Har77, III.9.3] for the flat (in fact open) morphism U Spec R, and noting that all higher direct images vanish for the isomorphism V U. (5) Let E = Proj (R/m R A), the scheme-theoretic pre-image of Spec(R/m) Spec R. Note that R/m R A [x, y, z]/(x 3 + y 3 + z 3 ), so E Proj R. Note that we have an exact sequence mo X O X O E. (6) H (E, O E ) : Since E Proj R, it suffices [ILL + 7, 3.] to show that Note that we have an exact sequence H m(r). H m(r) H 3 m(s)( 3) H 3 m(s) A description of H 3 m(s) as a graded S-module is given in [ILL + 7, Example 7.6], whence we conclude that H m(r) H 3 m(s) 3. (7) H m(h (X, O X )) = H (X, O X ), since H (X, O X ) is a finite-length non-zero module. (8) The exact sequence of low-degree terms (Exercise 5.) for the spectral sequence of Proposition. Hm(R j i f O X ) H i+j E (O X) is H m(r) edge H E (O X) H (X, O X ) H m(r) edge H E (O X) (9) H E (O X) = [Lip78, Theorem.4, p. 77].
7 F-RATIONALITY Hence the edge map H m(r) H E (O X) is non-zero, and Spec R is not pseudo-rational. What we essentially used is the fact that H m(r) j for some j. See Exercise 5. in this context. 3. F-rationality Tight closure. For this lecture and the next, p is a prime number and R is a noetherian ring of characteristic p. Let I be an R-ideal. By q, we mean a power of p. By I [q], we mean the ideal generated by {x q x I}. By R o, we mean the set R p Min(R) p. 3.. Definition. The tight closure of I, denoted I, is the set {x R there exists c R o such that cx q I [q] for all q }. We say that I is tightly closed if I = I. Some facts: () I is an ideal containing I; (I ) = I. () x I if and only if x (IR/p) for every p Min(R). (3) Every ideal in a regular local ring is tightly closed. F-rational rings. Let x,..., x n R. We say that (x,..., x n ) is a parameter ideal if the images of x,..., x n in R p form part of a system of parameters for R p for every prime ideal p of R containing x,..., x n. We say that R is F-rational if every parameter ideal is tightly closed. Some facts: () Every F-rational ring is normal. () Every ideal in a Gorenstein F-rational ring is tightly closed. (3) If R is a quotient of a Cohen-Macaulay ring and is F-rational, then R is Cohen- Macaulay, and localizations of R are F-rational. (4) Let R be a local ring that is a quotient of a Cohen-Macaulay ring. Then R is F- rational if and only if R is equi-dimensional and there exists a system of parameters that generates a tightly closed ideal. (5) Let R be a local ring and R its completion. If R is F-rational, then R is F-rational. The converse is true if R is excellent (e.g., essentially of finite type over a field). 8 8 Frobenius action on local cohomology. The Frobenius map F : R R, r r p commutes with localization. Let I = (x,..., x n ); then F commutes with the maps in Č(x,..., x n ; R), so it induces a map on H i I (R) for every i. On Hn I (R), this map is ] [ ] z z p x t xt xt n x tp xtp. xtp n 83 [ Č (x,..., x n ; R) is also the limit of the Koszul complexes K (x t,..., xt n; R) [ILL + 7, Chapter 7]. We have ( ) R x x x n R lim t (x t,..., xt n) (x t+ = H i I,..., xt+ n ) (R).
8 8 MANOJ KUMMINI If x,..., x n is an R-regular then the maps in the above system are injective, so Under this map the element R (x t,..., xt n) Hi I (R). [ z x t xt xt n corresponds to z mod (x t,..., xt n). For a proof, see [LT8, p. 4 5]. ] Definition. A submodule M of H i I (R) is said to be F-stable if F(M) M Example. Let η H n I (R). Then the R-submodule of Hn I (R) generated by Fe (η), e is F-stable. In the proof of the theorem below, we will denote it by M η Theorem ([Smi97, Theorem.6]). Let (R, m) be a d-dimension excellent Cohen-Macaulay local ring of characteristic p. Then R is F-rational if and only if Hm(R) d has no proper non-zero F-stable submodules. A special case of this was proved by R. Fedder and K. i. Watanabe: assuming that R is an isolated singularity and that H i m(r) has finite length for every i < d; see [FW89, Theorem.8]. Proof. Only if : Since R is excellent and F-rational, R is Cohen-Macaulay and F-rational. Since Hm(R) d is both an R-module and an R-module (compatibly), we may assume that R is complete. By way of contradiction suppose that M Hm(R) d is an F-stable R-submodule of Hm(R). d Let C = Hm(R)/M. d Taing Matlis duals, we get ( C Hm(R)) d M where ω R is a canonical module of R. The isomorphism ω R ( H d m(r)) ωr is local dual- ity [ILL + 7, Theorem.44]. Note that M C, so C M. Since ω R is a torsion-free R-module of ran, K R M =. Since M is a finitely generated R-module, there exists c R such that cm =, so cm =. Let [ ] z η := x t xt M xt d be a non-zero element. Hence cf e (η) = [ cz q x tq xtq xtq d for every q. This means that cz q (x tq 8, xtq,..., xtq d ) for every q, i.e., z (xt, xt,..., xt d ) = 9 (x t, xt,..., xt d ), so η =, a contradiction. If : To mae the argument simple, we will assume that R is a domain. By way of contradiction, assume that R is not F-rational. Let x,..., x d be a system of parameters ] =.
9 and z (x,..., x d ) (x,..., x d ). Write [ ] z η = H x x x m(r). d d F-RATIONALITY 9 Note that η, so M η. Let c R be such that cz q (x q 3, xq,..., xq ) for every d 4 q. Then cη q = for every q, so cm η =. Note that M η Hm(R) d since the 5 annihilator of Hm(R) d is. This contradicts the hypothesis Example. Suppose that R is positively graded with R. Write m for the homogeneous maximal ideal. Then ( ) Hm(R) d is a proper F-stable submodule of H d m(r). Using this, we see that the ring is not F-rational for any field. j [x, y, z]/(x 3 + y 3 + z 3 ) 3.6. Example. Let R = F [x, y, z]/(x +y 3 +z 5 ). This is a Cohen-Macaulay normal domain. It is a graded ring if we set deg x = 5, deg y = and deg z = 6. Let S = F [x, y, z]. Then ] [H 3 (x,y,z) [H ] 3 (S) and 3 (x,y,z) (S) = for every j 3. Hence ] [H [H 3(x,y,z) ] (R) and 3(x,y,z) (R) However, R is not F-rational, as we see now. Since x (y, z), [ ] x H yz (x,y,z) (R). On the other hand, x (y, z ), so [ x ] y z = F j j ([ ]) x =. yz j = for every j. Hence F has a non-zero ernel. It is easy to chec that ernel of F is an F-stable submodule of H (x,y,z) (R) F-rationality implies pseudo-rationality 5. Exercises 5.. Derive the exact sequence of low-degree terms for the E page: E, 5.. Place an exact sequence edge H (F ) E, M M M 3 d, E, edge H (F ) on the horizontal axis and tae a Cartan-Eilenberg injective resolution. Let F be a leftexact covariant functor. Show that the E 3 page is zero and that the maps on the E and E pages give the familiar exact sequence in R i F.
10 MANOJ KUMMINI Show that Tor R (M, N) Tor R (N, M) by looing at the third quadrant double complex C i, j = F i G j where F and G are projective resolutions of M and N respectively The following is an example of a step in the construction of pure resolutions by Eisenbud and Schreyer. 38 Let X = P P, where is a field. Give homogeneous coordinates u, v and x, y respectively. Let S = [u, v, x, y], with deg u = deg v = (, ) and deg x = deg y = (, ) () The Koszul complex on S with respect to ux, uy + vx, vy gives an exact sequence K : O X ( 3, 3) O X (, ) 3 O X (, ) 3 O X (Hint: X can be thought of as the set of bigraded ideals not containing the irrelevant ideal (u, v) (x, y). The two projection maps from X are given by contraction to [u, v] and [x, y].) () Let π : X P be the projection to the first factor. Let I, be a Cartan-Eilenberg injective resolution of K. Let C, = π (I, ). (This is a first-quadrant double complex.) Use the projection formula to see that E i,j = O P ( 3), if i = 3 and j = ; O P ( ) 3, if i = and j = ; O P, if i = and j = ;, otherwise. (3) Use the E spectral sequence to conclude that E i,j = for every i, j. (4) Conclude that the non-zero terms of the E page give an exact sequence O P ( 3) O P ( ) 3 O P (Getting a pure resolution over [u, v] from the above exact sequence requires a little more wor, which we omit in this exercise.) (5) Using the same strategy, construct an exact sequence O P ( 3) a O P ( ) b O P () c Do a diagram-chasing in the commutative diagram below Γ Z (X, F ) Γ Z (X, F ) Γ Z (X, F 3 ) Γ(X, F ) Γ(X, F ) Γ(X, F 3 ) Γ(U, F ) Γ(U, F ) Γ(U, F 3 ) to conclude that Γ Z (X, ) is left-exact Let (R, m) be a two-dimensional analytically unramified normal domain and f : W Spec R a proper birational morphism with W normal.
11 F-RATIONALITY () Show that Supp(H (W, O W )) {m}. (Hint: Localize in the base and use flat basechange for cohomology and the fact that over a DVR, every proper birational map is an isomorphism.) () R is pseudo-rational if and only if H (Z, O Z ) = for every Z that has a proper birational map to Spec R. (Use: H f ({m})(o Z ) = [Lip78, Theorem.4, p. 77].) 5.7. Let (R, m) be a normal local ring. Let W g f Z Spec R be a proper birational morphisms with Z and W normal. Write h = f g. Then the edge map 63 factors as H d m(r) H d m(r) δ h H d h ({m}) (W, O W) δ f H d f ({m}) (Z, O Z) H d h ({m}) (W, O W) Show that rational singularities (in characteristic zero) are pseudo-rational. You need to use the fact that if R has rational singularities, then R i f O Z = for every desingularization f : Z Spec R and every i > Let R be a Cohen-Macaulay ring of characteristic zero. Show that R has rational singularities if and only if there exists a proper birational morphism f : Z Spec R such that Z has rational singularities and R i f O Z = for every i >. 5.. Let (R, m) be a noetherian ring. Let X = {p Spec R dim R/p = dim R}. Let a m p X p. If R/(a) is regular, then so is R. Show that the hypothesis on a is necessary. 5.. Let R be a two-dimensional standard graded normal domain, with R =, with homogeneous maximal ideal m. Assume that Spec R {m} has pseudo-rational singularities. Show that R has pseudo-rational singularities if and only if H m(r) j = for every j as follows: () Let X = Proj R[mt]. Then X has pseudo-rational singularities, and there is a proper birational map f : X Spec R. () Let h : W Spec R with W normal. Let W be the blow-up of W along the ideal sheaf mo W, and h the composite map W W Spec R. It suffices to show that the edge map δ h is injective. Hence replacing W by W, we may assume that h factors as g f W X Spec R. (3) R g O W =. (4) Let E be the divisor of X defined by mo X. Write Ẽ = h ({m}). The map is an isomorphism. (5) The map is injective if and only if the map H E (O X) H (O Ẽ W) H m(r) H (O Ẽ W) H m(r) H E (O X) is injective, which holds if and only if H (X, O X ) = which holds if and only if H (E, O E (j)) = for every j which holds if and only if H m(r) j = for every j. You will need to use two facts: E Proj R and that m j O X X O E O E (j).
12 MANOJ KUMMINI Let R = [x, x 3 ] where is a field of characteristic p >. Show that x 3 (x ) (x ) Let R = [x, y, z]/(x 3 + y 3 + z 3 ) where is a field of characteristic p >, p 3. Show that z (x, y) (x, y) Let R be a noetherian ring, and I an R-ideal. Show that if I is tightly closed, then (I : J) is tightly closed for every ideal J Show that an intersection of tightly closed ideals is tightly closed Let (R, m) be a Gorenstein ring, I an unmixed R-ideal, and x,..., x c I a maximal regular sequence. Write J = (x,..., x c ). Show that (J : (J : I)) = I Show that every ideal in a Gorenstein F-rational ring is tightly closed Let R be a local ring and R its completion. If R is F-rational, then R is F-rational Let (R, m) be a two-dimensional pseudo-rational ring. Following [LT8, Section 5], prove the (special case of) Brian con-soda theorem: I n+ I n for every n, as follows: () We may assume that R/m is an infinite field [LT8, Example (c), p. 3]. () I has a reduction generated by two elements, i.e., there exists J = (x, y) I such that I n+ = JI n for every n. (Hint: tae a Noether normalization of R[It]/mR[It].) (3) The ideal generated by xt, yt in A := R[It] is primary to the irrelevant ideal. (4) Let X = Proj A. The Koszul complex K (xt, yt; A) gives an exact sequence O X (n) O X (n + ) O X (n + ) for every n Z. (Here, by O X () we mean the invertible sheaf IO X.) (5) For n, this gives an exact sequence I n [x y] In+ I n+. (Use: I n = H (X, O X (n)) for every n, I := R = H (X, O X ).) (6) I n+ = II n+ for every n. (7) I n+ I n for every n. References [CE99] H. Cartan and S. Eilenberg. Homological algebra. Princeton Landmars in Mathematics. Princeton University Press, Princeton, NJ, 999. With an appendix by David A. Buchsbaum, Reprint of the 956 original., 4 [Eis95] D. Eisenbud. Commutative algebra, with a View Toward Algebraic Geometry, volume 5 of Graduate Texts in Mathematics. Springer-Verlag, New Yor, 995., 5 [FW89] R. Fedder and K. Watanabe. A characterization of F-regularity in terms of F-purity. In Commutative algebra (Bereley, CA, 987), volume 5 of Math. Sci. Res. Inst. Publ., pages Springer, New Yor, [Har67] R. Hartshorne. Local cohomology, volume 4 of A seminar given by A. Grothendiec, Harvard University, Fall 96. Springer-Verlag, Berlin, [Har77] R. Hartshorne. Algebraic geometry. Springer-Verlag, New Yor, 977. Graduate Texts in Mathematics, No [ILL + 7] S. B. Iyengar, G. J. Leusche, A. Leyin, C. Miller, E. Miller, A. K. Singh, and U. Walther. Twentyfour hours of local cohomology, volume 87 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 7. 5, 6, 7, 8
13 F-RATIONALITY [Lip78] J. Lipman. Desingularization of two-dimensional schemes. Ann. Math. (), 7():5 7, , [LT8] J. Lipman and B. Teissier. Pseudorational local rings and a theorem of Briançon-Soda about integral closures of ideals. Michigan Math. J., 8():97 6, 98. 4, 5, 8, [Smi97] K. E. Smith. F-rational rings have rational singularities. Amer. J. Math., 9():59 8, 997., 8 [Wei94] C. A. Weibel. An introduction to homological algebra, volume 38 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 994., 4 Chennai Mathematical Institute, Siruseri, Tamilnadu 633. India address: mummini@cmi.ac.in
TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH
TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure
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 informationPreliminary Exam Topics Sarah Mayes
Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition
More informationTHE ASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES OVER RINGS OF SMALL DIMENSION. Thomas Marley
THE ASSOCATED PRMES OF LOCAL COHOMOLOGY MODULES OVER RNGS OF SMALL DMENSON Thomas Marley Abstract. Let R be a commutative Noetherian local ring of dimension d, an ideal of R, and M a finitely generated
More informationarxiv:math/ v1 [math.ac] 19 Sep 2002 Ian M. Aberbach
EXTENSION OF WEAKLY AND STRONGLY F-REGULAR RINGS BY FLAT MAPS arxiv:math/0209251v1 [math.ac] 19 Sep 2002 Ian M. Aberbach 1. Introduction Throughout this paper all rings will be Noetherian of positive characteristic
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, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give
More informationTHE FROBENIUS FUNCTOR AND INJECTIVE MODULES
THE FOBENIUS FUNCTO AND INJECTIVE MODULES THOMAS MALEY Abstract. We investigate commutative Noetherian rings of prime characteristic such that the Frobenius functor applied to any injective module is again
More informationAPPLICATIONS OF LOCAL COHOMOLOGY
APPLICATIONS OF LOCAL COHOMOLOGY TAKUMI MURAYAMA Abstract. Local cohomology was discovered in the 960s as a tool to study sheaves and their cohomology in algebraic geometry, but have since seen wide use
More informationF -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/21-2010 KARL SCHWEDE 1. F -rationality Definition 1.1. Given (M, φ) as above, the module τ(m, φ) is called the test submodule of (M, φ). With Ψ R : F ω
More informationON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF
ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical
More informationarxiv: v1 [math.ac] 8 Jun 2010
REGULARITY OF CANONICAL AND DEFICIENCY MODULES FOR MONOMIAL IDEALS arxiv:1006.1444v1 [math.ac] 8 Jun 2010 MANOJ KUMMINI AND SATOSHI MURAI Abstract. We show that the Castelnuovo Mumford regularity of the
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationCurves on P 1 P 1. Peter Bruin 16 November 2005
Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the
More information2 Lyubeznik proved that if R contains a eld of characteristic 0, and R is any regular K-algebra then the set of associated primes is nite [Ly1]. Later
RESEARCH STATEMENT Julian Chan My research interests include algebra, algebraic geometry, and invariant theory. I have also done some research in statistics, and will be receiving a masters of statistics
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationBoundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals
Boundary of Cohen-Macaulay 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 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 informationINJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA
INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
More informationALGEBRAIC 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 informationMath 711: Lecture of September 7, Symbolic powers
Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of
More informationResolution of Singularities in Algebraic Varieties
Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.
More informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48 RAVI VAKIL CONTENTS 1. The local criterion for flatness 1 2. Base-point-free, ample, very ample 2 3. Every ample on a proper has a tensor power that
More informationFormal 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 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 informationLOCAL COHOMOLOGY MODULES WITH INFINITE DIMENSIONAL SOCLES
LOCAL COHOMOLOGY MODULES WITH INFINITE DIMENSIONAL SOCLES THOMAS MARLEY AND JANET C. VASSILEV Abstract. In this paper we prove the following generalization of a result of Hartshorne: Let T be a commutative
More informationAN ALTERNATIVE APPROACH TO SERRE DUALITY FOR PROJECTIVE VARIETIES
AN ALTERNATIVE APPROACH TO SERRE DUALITY FOR PROJECTIVE VARIETIES MATTHEW H. BAKER AND JÁNOS A. CSIRIK This paper was written in conjunction with R. Hartshorne s Spring 1996 Algebraic Geometry course at
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 informationLINKAGE CLASSES OF GRADE 3 PERFECT IDEALS
LINKAGE CLASSES OF GRADE 3 PERFECT IDEALS LARS WINTHER CHRISTENSEN, OANA VELICHE, AND JERZY WEYMAN Abstract. While every grade 2 perfect ideal in a regular local ring is linked to a complete intersection
More informationSpectral sequences. 1 Homological spectral sequences. J.T. Lyczak, January 2016
JT Lyczak, January 2016 Spectral sequences A useful tool in homological algebra is the theory of spectral sequences The purpose of this text is to introduce the reader to the subject and proofs are generally
More informationNOTES ON CHAIN COMPLEXES
NOTES ON CHAIN COMPLEXES ANDEW BAKE These notes are intended as a very basic introduction to (co)chain complexes and their algebra, the intention being to point the beginner at some of the main ideas which
More informationCOURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA
COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss
More informationLecture 3: Flat Morphisms
Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a
More informationTHE VANISHING CONJECTURE FOR MAPS OF TOR, SPLINTERS, AND DERIVED SPLINTERS
THE VANISHING CONJECTURE FOR MAPS OF TOR, SPLINTERS, AND DERIVED SPLINTERS LINQUAN MA Abstract. This is an extended version of the lecture notes for the UIC homological conjecture workshop. We include
More informationHomological Dimension
Homological Dimension David E V Rose April 17, 29 1 Introduction In this note, we explore the notion of homological dimension After introducing the basic concepts, our two main goals are to give a proof
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationarxiv:math/ v1 [math.ac] 3 Apr 2006
arxiv:math/0604046v1 [math.ac] 3 Apr 2006 ABSOLUTE INTEGRAL CLOSURE IN OSITIVE CHARACTERISTIC CRAIG HUNEKE AND GENNADY LYUBEZNIK Abstract. Let R be a local Noetherian domain of positive characteristic.
More informationNon-injectivity of the map from the Witt group of a variety to the Witt group of its function field
Non-injectivity of the map from the Witt group of a variety to the Witt group of its function field Burt Totaro For a regular noetherian scheme X with 2 invertible in X, let W (X) denote the Witt group
More informationFROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES
FROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES TARAN FUNK AND THOMAS MARLEY Abstract. It is proved that a module M over a Noetherian local ring R of prime characteristic and positive dimension has finite
More informationarxiv:math/ v1 [math.ac] 4 Oct 2002
arxiv:math/0210074v1 [math.ac] 4 Oct 2002 Q GORENSTEIN SPLINTER RINGS OF CHARACTERISTIC p ARE F REGULAR ANURAG K. SINGH Department of Mathematics, University of Michigan, Ann Arbor, USA Receive: 5 May,
More informationarxiv: v3 [math.ac] 3 Jul 2012
DAGGER CLOSURE IN REGULAR RINGS CONTAINING A FIELD HOLGER BRENNER AND AXEL STÄBLER arxiv:1103.1786v3 [math.ac] 3 Jul 2012 Abstract. We prove that dagger closure is trivial in regular domains containing
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves of ideals, and closed subschemes 1 2. Invertible sheaves (line bundles) and divisors 2 3. Some line bundles on projective
More informationAPPENDIX 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 informationSEQUENCES FOR COMPLEXES II
SEQUENCES FOR COMPLEXES II LARS WINTHER CHRISTENSEN 1. Introduction and Notation This short paper elaborates on an example given in [4] to illustrate an application of sequences for complexes: Let R be
More informationarxiv: v1 [math.ra] 5 Feb 2015
Noncommutative ampleness from finite endomorphisms D. S. Keeler Dept. of Mathematics, Miami University, Oxford, OH 45056 arxiv:1502.01668v1 [math.ra] 5 Feb 2015 Abstract K. Retert Dept. of Mathematics,
More informationCOHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We
More informationRees Algebras of Modules
Rees Algebras of Modules ARON SIMIS Departamento de Matemática Universidade Federal de Pernambuco 50740-540 Recife, PE, Brazil e-mail: aron@dmat.ufpe.br BERND ULRICH Department of Mathematics Michigan
More informationSynopsis of material from EGA Chapter II, 5
Synopsis of material from EGA Chapter II, 5 5. Quasi-affine, quasi-projective, proper and projective morphisms 5.1. Quasi-affine morphisms. Definition (5.1.1). A scheme is quasi-affine if it is isomorphic
More informationMatrix factorizations over projective schemes
Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationHILBERT FUNCTIONS. 1. Introduction
HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each
More informationON THE RIEMANN ROCH THEOREM WITHOUT DENOMINATORS
Algebra i analiz St. Petersburg Math. J. Tom. 18 (2006), 6 Vol. 18 (2007), No. 6, Pages 1021 1027 S 1061-0022(07)00981-8 Article electronically published on October 2, 2007 ON THE RIEMANN ROCH THEOREM
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationTHE FROBENIUS STRUCTURE OF LOCAL COHOMOLOGY
THE FROBENIUS STRUCTURE OF LOCAL COHOMOLOGY by Florian Enescu and Melvin Hochster 1. INTRODUCTION All given rings in this paper are commutative, associative with identity, and Noetherian. Throughout, p
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 informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationREMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES
REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES RICHARD BELSHOFF Abstract. We present results on reflexive modules over Gorenstein rings which generalize results of Serre and Samuel on reflexive modules
More informationarxiv: v1 [math.ag] 15 Apr 2013
ON ISOLATED LOG CANONICAL CENTERS arxiv:1304.4173v1 [math.ag] 15 Apr 2013 CHIH-CHI CHOU Abstract. In this paper, we show that the depth of an isolated log canonical center is determined by the cohomology
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More informationThe mod-2 cohomology. of the finite Coxeter groups. James A. Swenson University of Wisconsin Platteville
p. 1/1 The mod-2 cohomology of the finite Coxeter groups James A. Swenson swensonj@uwplatt.edu http://www.uwplatt.edu/ swensonj/ University of Wisconsin Platteville p. 2/1 Thank you! Thanks for spending
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 informationDuality, 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 informationNon-uniruledness results for spaces of rational curves in hypersurfaces
Non-uniruledness 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 informationDELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES
DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES YIFEI ZHAO Abstract. We present the proofs of Deligne s theorems on degeneration of the Leray spectral sequence, and the algebraic Hodge-de Rham
More informationFormal completion and duality
Formal completion and duality Leovigildo Alonso Tarrío Atelier International sur la Théorie (Algébrique et Analytique) des Résidus et ses Applications, Institut Henri Poincaré, Paris May, 1995 Abstract
More informationThe Frobenius Endomorphism and Multiplicities
The Frobenius Endomorphism and Multiplicities by Linquan Ma A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in The University of
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
More informationDUALITY FOR KOSZUL HOMOLOGY OVER GORENSTEIN RINGS
DUALITY FO KOSZUL HOMOLOGY OVE GOENSTEIN INGS CLAUDIA MILLE, HAMIDEZA AHMATI, AND JANET STIULI Abstract. We study Koszul homology over Gorenstein rings. If an ideal is strongly Cohen-Macaulay, the Koszul
More informationCohomology on Toric Varieties and Local Cohomology with Monomial Supports
J. Symbolic Computation (2000) 29, 583 600 doi:10.1006/jsco.1999.0326 Available online at http://www.idealibrary.com on Cohomology on Toric Varieties and Local Cohomology with Monomial Supports DAVID EISENBUD,
More informationSplitting criterion for reflexive sheaves
Splitting criterion for reflexive sheaves TAKURO ABE MASAHIKO YOSHINAGA April 6, 2005 Abstract The purpose of this paper is to study the structure of reflexive sheaves over projective spaces through hyperplane
More informationLECTURE 6: THE ARTIN-MUMFORD EXAMPLE
LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Proper morphisms 1 2. Scheme-theoretic closure, and scheme-theoretic image 2 3. Rational maps 3 4. Examples of rational maps 5 Last day:
More informationDOUGLAS J. DAILEY AND THOMAS MARLEY
A CHANGE OF RINGS RESULT FOR MATLIS REFLEXIVITY DOUGLAS J. DAILEY AND THOMAS MARLEY Abstract. Let R be a commutative Noetherian ring and E the minimal injective cogenerator of the category of R-modules.
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 informationVANISHING THEOREMS FOR COMPLETE INTERSECTIONS. Craig Huneke, David A. Jorgensen and Roger Wiegand. August 15, 2000
VANISHING THEOREMS FOR COMPLETE INTERSECTIONS Craig Huneke, David A. Jorgensen and Roger Wiegand August 15, 2000 The starting point for this work is Auslander s seminal paper [A]. The main focus of his
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationFactorization 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 informationJournal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.
Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden
More informationDERIVED CATEGORIES OF COHERENT SHEAVES
DERIVED CATEGORIES OF COHERENT SHEAVES OLIVER E. ANDERSON Abstract. We give an overview of derived categories of coherent sheaves. [Huy06]. Our main reference is 1. For the participants without bacground
More informationLOCAL COHOMOLOGY IN COMMUTATIVE ALGEBRA AND ALGEBRAIC GEOMETRY
LOCAL COHOMOLOGY IN COMMUTATIVE ALGEBRA AND ALGEBRAIC GEOMETRY POSTER ABSTRACTS Presenter: Eric Canton Title: Asymptotic invariants of ideal sequences in positive characteristic via Berkovich spaces Abstract:
More informationFactorization 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 informationTHE RADIUS OF A SUBCATEGORY OF MODULES
THE RADIUS OF A SUBCATEGORY OF MODULES HAILONG DAO AND RYO TAKAHASHI Dedicated to Professor Craig Huneke on the occasion of his sixtieth birthday Abstract. We introduce a new invariant for subcategories
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationLectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality.
Lectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality. Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu February 16, 2009 Joseph Lipman (Purdue
More informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationRESEARCH STATEMENT JANET VASSILEV
RESEARCH STATEMENT JANET VASSILEV My research lies in the realm of commutative ring theory. One of my interests is to study new algebraic structures determined by various closure operations. I am also
More informationF -SINGULARITIES AND FROBENIUS SPLITTING NOTES 12/9-2010
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES 12/9-2010 KARL SCHWEDE 1. Fujita s conjecture We begin with a discussion of Castlenuovo-regularity, see [Laz04, Section 1.8]. Definition 1.1. Let F be a coherent
More informationCOHOMOLOGY AND DIFFERENTIAL SCHEMES. 1. Schemes
COHOMOLOG AND DIFFERENTIAL SCHEMES RAMOND HOOBLER Dedicated to the memory of Jerrold Kovacic Abstract. Replace this text with your own abstract. 1. Schemes This section assembles basic results on schemes
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 9
COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution
More informationm-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 2, 2014 m-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p JANET C. VASSILEV ABSTRACT. We generalize the notion of m-full and basically
More informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,
More informationACYCLIC COMPLEXES OF FINITELY GENERATED FREE MODULES OVER LOCAL RINGS
ACYCLIC COMPLEXES OF FINITELY GENERATED FREE MODULES OVER LOCAL RINGS MERI T. HUGHES, DAVID A. JORGENSEN, AND LIANA M. ŞEGA Abstract We consider the question of how minimal acyclic complexes of finitely
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 information