Frobenius maps on injective hulls and their applications Moty Katzman, The University of Sheffield.
|
|
- Penelope Dawson
- 5 years ago
- Views:
Transcription
1 Frobenius maps on injective hulls and their applications Moty Katzman, The University of Sheffield.
2 Consider a complete local ring (S, m) of characteristic p > 0 and its injective hull E S = E S (S/m). We study Frobenius maps φ : E S E S : these are additive and φ(sm) = s p m for s S, m E S. Consider the skew-polynomial ring S[T ; f] := i 0 ST i with multiplication T s = s p T for s S. To give a Frobenius map φ : E S E S amounts to giving E S the structure of a left-s[t ; f] module with T m = φ(m) for all m E.
3 (The) Example: The Frobenius endomorphism f : S S given by f(s) = s p. Iterating f we obtain f e : S S and can define S[T ; f e ]. We can now view S as a bimodule F e S (S) which has the standard left S-module structure and right S-module structure given by m s = s pe m for m F e S (S), s S. We can go on and construct the Frobenius functor which takes an S-module M to F e S (M) = F e S (S) M on which S acts on the left on F e S (S): s(t m) = (st) m and t sm = (t s) m = s pe t m for s S, t F e S (S) and m M. E.g., for an ideal a S, F e S (S/a) = S/a[pe] where a [pe] is the eth Frobenius power of a, i.e., the ideal generated by p e th powers of elements of a.
4 Example: Let S = K[[x 1,..., x d ]] with K a field of characteristic p. Now E S is the module of inverse polynomials K[x 1,..., x d ] which is the K-span of all monomials with strictly negative exponents and S-module structure extending { x α xα d d x β x β d d = x α 1 β x α d β d d, if α 1 β 1,..., α d β d < 0 0, otherwise We have a standard S[T ; f]-module structure on E S. given by T λx β x β d d = λ p x pβ x pβ d Notice that for any g S, gt yields a new Frobenius map on E S. For any g S and β > 0, θ = gt β turns E S into an S[θ; f β ]- module. d.
5 A duality Assume now that S = R/I where (R, m) is a complete regular local ring. Let C e be the category of Artinian S[T ; f e ]-modules. D e be the category of R-linear maps M FR e (M). We define an exact contravariant functor e : C e D e : for M C e we have an R-linear map α M : FR e (M) M given by α(r m) = rt m for all r R and m M. Applying ( ) = Hom(, E R ) to the map α one obtains an R- linear map α M : M FR e (M). The fact that M is Artinian gives the existence of a (functorial) isomorphism γ M : FR e (M) FR e (M ). We now define e (M) to be the map M γ M α M F e R (M ). (This is the first step in the construction of Gennady Lyubeznik s functor H R,S.)
6 We can retrace our steps! There is an exact contravariant functor Ψ e : D e C e such that Ψ e e ( ) and e Ψ e ( ) are canonically isomorphic to the identity functor.
7 The main example Let E S have an S[T ; f]-module structure. We have (E S ) = (E S F R(E S )) = (R/I R/I[p] ); this map must be given by multiplication by some u (I [p] : I). Conversely, any such u endows E S with an S[T ; f]-module structure. A short exact sequence of S[T ; f]-modules 0 M E S E S /M 0 yields a commutative diagram L 0 I u 0 L [p] I [p] R I R u I [p] R L u 0 R L [p] 0 where u (L [p] : L). So all S[T ; f]-submodules of E S have the form ann ES L where u (L [p] : L). We call these L s E S ideals.
8 Application #1: nilpotents and jumping coefficients Let E S have an S[θ; f β ]-module structure so that (E S ) = (R/I u R/I [p] ) with u (I [p] : I). For all e 0 let N e = {m E S θ e m = 0} and Nil(E S ) = e 0 N e. Theorem [Hartshorne-Speiser 77, Lyubeznik 97]: Nil(E S ) = N e for some e 0. For any ideal J R define I e (J) to be the smallest ideal L for which J L [pe]. Applying e and Ψ e to the inclusion N e E S yields the following: Theorem [K]: N e = ann ES I e (u ν e) where ν e = 1 + p + + p e 1. As a consequence, the decreasing sequence I e (u ν e) stabilizes at the first e for which I e (u ν e) = I e+1 (u ν e+1). (This immediately gives an algorithm for computing Frobenius closures of parameter ideals in CM rings.)
9 Generalized test ideals The generalized test-ideal of a R with coefficient c R is τ(a c ) = e 0 I e ( a cp e ). A jumping coefficient of a is a c R such that τ(a c ) τ(a c ɛ ) for all ɛ > 0. We consider the case where a is generated by g R and write τ(g c ) for τ(a c ). For any a, β > 0 manufacture an S[θ; f β ]-module structure on E R by defining θm = g a T β m for all m E R and where T is the standard Frobenius. Denote the set of nilpotent submodules { Nil a,β a 0, β > 0 } with N. Theorem: [K-Lyubeznik-Zhang] The map τ(g c ) ann E τ(g c ) defined for all c 0 is a bijection between the set of generalized test-ideals of g and N.
10 There is much interest in deciding whether jumping coefficients are rational and form a discrete set. We can reduce the problem to the following: Theorem: [K-Lyubeznik-Zhang] The set of jumping coefficients of g cannot have an accumulation point of the form with a, β N. a (p β 1) Proof: For all c R there exists an ɛ > 0 such that τ(g c ) = τ(g d ) for all d [c, c + ɛ). Let c = a be such an accumulation point; it is itself a (p β 1) jumping coefficient. Endow E R with an S[θ; f β ]-module structure as above; For all r 0, τ(g r/pe ) is just I e (g r ); τ g a(1+p β + +p β(e 1) ) p eβ = I eβ (g a(1+pβ + +p β(e 1)) ) stabilizes and a(1 + p β + + p β(e 1) ) p eβ = a p eβ p eβ 1 p β 1 e c.
11 Application #2: parameter test ideals of CM rings Fix an S[T ; f]-module H. For any S[T ; f]-submodule M H let gr-ann M be the largest ideal of the form LS[T ; f] in ann S[T ;f] M. Call an ideal I R an H-special ideal if IS[T ; f] = gr-ann M for an S[T ; f]-submodule M H. Now let S = R/I be d-dimensional Cohen-Macaulay with canonical module ω S. Take H = H d ms (S) with its standard S[T ; f]-module structure; assume it has no-nilpotents. Theorem: [Sharp] The parameter test ideal of S is the intersection of all H-special ideals of positive height. We now compute this parameter test ideal!
12 The -closure The computation will involve producing small E S ideals (ul L [p] ). Fix an u R. Given an ideal A R construct the following ascending chain: A 0 = A and A i+1 = I 1 (ua i ) + A i for i 0. Define A u to be the stable value of this sequence. Proposition: A u the smallest ideal L R containing A for which ul L [p]. If E S has an S[T ; f]-module structure such that (E s ) = (R/I u R/I [p] ), then for any ideal A R containing I, A u is the smallest E S -ideal containing A.
13 Lift our calculation to E S as follows. The short exact sequence 0 ω S S/ω 0 gives a surjection of E S = H d ms (ω) H of S[T ; f]-modules whose kernel is ann ES J for some E S -ideal J. Proposition: (1) The set of E S -special ideals coincides with the set of E S - ideals. (2) [Sharp] The set of H ideals is given by {(L : J) L is an E S -ideal, L J}.
14 Theorem[K]: Assume that E S is T -torsion-free. Let c R be such that its image in S is a parameter test element. The parameter test ideal τ of S is given by ((cj + I) u : R J)S. Proof (cj + I) u is an E S -ideal and ht((cj + I) u : J)S > 0 since c ((cj + I) u : J). Now τ = {K K S is a H-special ideal, ht K > 0} = {(L : R J) L J is an E S -ideal, ht(l : R J)S > 0} = ( {L L J is an E S -ideal, ht(l : J)S > 0} : J ) so τ ((cj + I) u : J). Also, c τ hence cj L for all E S -ideals L for which ht(l : J)S > 0 and the minimality of -closures implies that (cj + I) u L and hence that ((cj + I) u : J) (L : J) for all E S -ideals L for which ht(l : J) > 0. We conclude that ((cj + I) u : J) τ.
15 To turn the previous theorem into an algorithm we have to exhibit J (the E S ideal for which ann ES J is the kernel of E S H = H d ms (S)) and u R (for which (E s) = (R/I u R/I [p] )). It turns out that J is the lifting of ω to R. To find u we use the following: Proposition: [Lyubeznik and Smith] The S-module of Frobenius maps on H is free of rank 1. Now H = E S / ann ES J, u J[p] I [p] (H) = J I H corresponds to ( I [p] : R I ) I [p] ( ) J [p] : R J and so the S-module of Frobenius maps on and we take u to be the free-generator of this.
16 An actual calculation. Let K be the field of two elements, R = K[x 1, x 2, x 3, x 4, x 5 ], let I be the ideal of R generated by the 2 2 minors of ( ) x1 x 2 x 2 x 5 x 4 x 4 x 3 x 1 and let S = R/I. This quotient is reduced, 2-dimensional, Cohen-Macaulay and of Cohen-Macaulay type 3; we produce a canonical module by computing Ext 3 R (S, R) = coker x 2 x x 3 + x 4 x 4 x 5 x x 3 x x 1 0 x 5 x 5 x 5 x 5 0 x 2 0 x 1 this is isomorphic to the ideal ω S which is the image in S of the ideal Ω R generated by x 1, x 4, x 5. ;
17 We now take J = Ω and compute the generator u of the S- module ( I [2] : R I ) ( J [2] : R J ) I [2] ; this turns out to be u = x 3 1 x 2x 3 + x 3 1 x 2x 4 + x 2 1 x 3x 4 x 5 + x 1 x 2 x 3 x 4 x 5 + x 1 x 2 x 2 4 x 5 + x 2 2 x2 4 x 5 + x 3 x 2 4 x2 5 + x3 4 x2 5. We compute I 1 (u ν 1R) = R hence E S is T -torsion free. Now the parameter-test-ideal τ is computed as ((cj + I) u : J) where c is randomly chosen to be in the defining ideal of the singular locus of S and not in a minimal prime of I. This calculation yields τ = (x 1, x 2, x 3 + x 4, x 4 x 5 )R and we deduce that S is not F -regular.
Injective 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 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 informationNote that the first map is in fact the zero map, as can be checked locally. It follows that we get an isomorphism
11. The Serre construction Suppose we are given a globally generated rank two vector bundle E on P n. Then the general global section σ of E vanishes in codimension two on a smooth subvariety Y. If E is
More informationContributions to the study of Cartier algebras and local cohomology modules
Contributions to the study of Cartier algebras and local cohomology modules Alberto F. Boix Advised by J. Àlvarez Montaner and Santiago Zarzuela Thesis lecture Cartier algebras (prime characteristic) Cartier
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 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 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 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 informationProjective and Injective Modules
Projective and Injective Modules Push-outs and Pull-backs. Proposition. Let P be an R-module. The following conditions are equivalent: (1) P is projective. (2) Hom R (P, ) is an exact functor. (3) Every
More informationLecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).
Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More informationGENERATING FUNCTIONS ASSOCIATED TO FROBENIUS ALGEBRAS
GENERATING FUNCTIONS ASSOCIATED TO FROBENIUS ALGEBRAS JOSEP ÀLVAREZ MONTANER Abstract. We introduce a generating function associated to the homogeneous generators of a graded algebra that measures how
More informationMatrix factorisations
28.08.2013 Outline Main Theorem (Eisenbud) Let R = S/(f ) be a hypersurface. Then MCM(R) MF S (f ) Survey of the talk: 1 Define hypersurfaces. Explain, why they fit in our setting. 2 Define. Prove, that
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 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 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 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 informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society Grothendieck Messing deformation theory for varieties of K3 type Andreas Langer and Thomas Zink
More informationarxiv: v1 [math.ac] 5 Dec 2018
A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM MEHMET YESIL arxiv:1812.01900v1 [math.ac] 5 Dec 2018 Abstract. In this paper, we study the notion of special ideals. We generalize the results on those as
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 informationarxiv: v1 [math.ag] 2 Oct 2009
THE GENERALIZED BURNSIDE THEOREM IN NONCOMMUTATIVE DEFORMATION THEORY arxiv:09100340v1 [mathag] 2 Oct 2009 EIVIND ERIKSEN Abstract Let A be an associative algebra over a field k, and let M be a finite
More informationON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes
ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes Abstract. Let k[x] (x) be the polynomial ring k[x] localized in the maximal ideal (x) k[x]. We study the Hilbert functor parameterizing ideals
More informationSchemes via Noncommutative Localisation
Schemes via Noncommutative Localisation Daniel Murfet September 18, 2005 In this note we give an exposition of the well-known results of Gabriel, which show how to define affine schemes in terms of the
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 information11. Finitely-generated modules
11. Finitely-generated modules 11.1 Free modules 11.2 Finitely-generated modules over domains 11.3 PIDs are UFDs 11.4 Structure theorem, again 11.5 Recovering the earlier structure theorem 11.6 Submodules
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
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 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 informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More 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 informationarxiv: v1 [math.ac] 3 Jan 2019
UPPER BOUND OF MULTIPLICITY IN PRIME CHARACTERISTIC DUONG THI HUONG AND PHAM HUNG QUY arxiv:1901.00849v1 [math.ac] 3 Jan 2019 Abstract. Let (R,m) be a local ring of prime characteristic p an of imension
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
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 informationALGEBRA HW 3 CLAY SHONKWILER
ALGEBRA HW 3 CLAY SHONKWILER (a): Show that R[x] is a flat R-module. 1 Proof. Consider the set A = {1, x, x 2,...}. Then certainly A generates R[x] as an R-module. Suppose there is some finite linear combination
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 informationNONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES
NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationTHE LENGTH OF NOETHERIAN MODULES
THE LENGTH OF NOETHERIAN MODULES GARY BROOKFIELD Abstract. We define an ordinal valued length for Noetherian modules which extends the usual definition of composition series length for finite length modules.
More informationElliptic curves, Néron models, and duality
Elliptic curves, Néron models, and duality Jean Gillibert Durham, Pure Maths Colloquium 26th February 2007 1 Elliptic curves and Weierstrass equations Let K be a field Definition: An elliptic curve over
More informationNOTES ON SPLITTING FIELDS
NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y
More information3.2 Modules of Fractions
3.2 Modules of Fractions Let A be a ring, S a multiplicatively closed subset of A, and M an A-module. Define a relation on M S = { (m, s) m M, s S } by, for m,m M, s,s S, 556 (m,s) (m,s ) iff ( t S) t(sm
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 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 informationAn Introduction to Rigid Analytic Geometry
An Introduction to Rigid Analytic Geometry Hans Schoutens Ohio State University http://www.math.ohio-state.edu/~schoutens June 2002 Abstract These notes 1 are intended to be a short course in rigid analytic
More informationarxiv: v2 [math.ac] 8 May 2017
GLOBAL PARAMETER TEST IDEALS arxiv:1607.01947v2 [math.ac] 8 May 2017 MORDECHAI KATZMAN, SERENA MURRU, JUAN D. VELEZ, AND WENLIANG ZHANG Abstract. This paper shows the existence of ideals whose localizations
More informationMath 593: Problem Set 7
Math 593: Problem Set 7 Feng Zhu, Punya Satpathy, Alex Vargo, Umang Varma, Daniel Irvine, Joe Kraisler, Samantha Pinella, Lara Du, Caleb Springer, Jiahua Gu, Karen Smith 1 Basics properties of tensor product
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 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 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 informationM ath. Res. Lett. 15 (2008), no. 3, c International Press 2008 D-MODULES OVER RINGS WITH FINITE F-REPRESENTATION TYPE
M ath. Res. Lett. 15 (2008), no. 3, 563 581 c International Press 2008 D-MODULES OVER RINGS WITH FINITE F-REPRESENTATION TYPE Shunsuke Takagi and Ryo Takahashi Abstract. Smith and Van den Bergh [29] introduced
More informationJournal of Symbolic Computation. An algorithm for computing compatibly Frobenius split subvarieties
Journal of Symbolic Computation 47 (2012) 996 1008 Contents lists available at SciVerse ScienceDirect Journal of Symbolic Computation journal homepage: www.elsevier.com/locate/jsc An algorithm for computing
More informationProceedings of the Twelfth Hudson Symposium, Lecture Notes in Math. No. 951, Springer-Verlag (1982), 4l 46.
Proceedings of the Twelfth Hudson Symposium, Lecture Notes in Math. No. 951, Springer-Verlag (1982), 4l 46. MAXIMAL TORSION RADICALS OVER RINGS WITH FINITE REDUCED RANK John A. Beachy Northern Illinois
More informationLecture 8. Throughout this lecture, A will be a ring and M, N etc will be A-modules.
Lecture 8 1. Associated Primes and Primary decomposition for Modules We would like to describe in more detail the structure of submodules of a finitely generated module M over a Noetherian ring A. We will
More informationRiemann surfaces with extra automorphisms and endomorphism rings of their Jacobians
Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field
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 informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationLecture 7. This set is the set of equivalence classes of the equivalence relation on M S defined by
Lecture 7 1. Modules of fractions Let S A be a multiplicative set, and A M an A-module. In what follows, we will denote by s, t, u elements from S and by m, n elements from M. Similar to the concept of
More informationA Dieudonné Theory for p-divisible Groups
A Dieudonné Theory for p-divisible Groups Thomas Zink 1 Introduction Let k be a perfect field of characteristic p > 0. We denote by W (k) the ring of Witt vectors. Let us denote by ξ F ξ, ξ W (k) the Frobenius
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 information5 Dedekind extensions
18.785 Number theory I Fall 2017 Lecture #5 09/20/2017 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 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 informationarxiv:math/ v1 [math.ra] 30 Sep 2001
arxiv:math/0110008v1 [math.ra] 30 Sep 2001 DUALIZING COMPLEXES AND TILTING COMPLEXES OVER SIMPLE RINGS AMNON YEKUTIELI AND JAMES J. ZHANG 0. Introduction Simple rings, like fields, are literally simple
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationHOMOLOGICAL PROPERTIES OF QUANTIZED COORDINATE RINGS OF SEMISIMPLE GROUPS
HOMOLOGICAL PROPERTIES OF QUANTIZED COORDINATE RINGS OF SEMISIMPLE GROUPS K.R. GOODEARL AND J.J. ZHANG Abstract. We prove that the generic quantized coordinate ring O q(g) is Auslander-regular, Cohen-Macaulay,
More informationLECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS. Mark Kisin
LECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS Mark Kisin Lecture 5: Flat deformations (5.1) Flat deformations: Let K/Q p be a finite extension with residue field k. Let W = W (k) and K 0 = FrW. We
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 informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
More informationMATH5735 Modules and Representation Theory Lecture Notes
MATH5735 Modules and Representation Theory Lecture Notes Joel Beeren Semester 1, 2012 Contents 1 Why study modules? 4 1.1 Setup............................................. 4 1.2 How do you study modules?.................................
More informationDedicated to Helmut Lenzing for his 60th birthday
C O L L O Q U I U M M A T H E M A T I C U M VOL. 8 999 NO. FULL EMBEDDINGS OF ALMOST SPLIT SEQUENCES OVER SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM A S S E M (SHERBROOKE, QUE.) AND DAN Z A C H A R I A (SYRACUSE,
More informationIDEALS AND THEIR INTEGRAL CLOSURE
IDEALS AND THEIR INTEGRAL CLOSURE ALBERTO CORSO (joint work with C. Huneke and W.V. Vasconcelos) Department of Mathematics Purdue University West Lafayette, 47907 San Diego January 8, 1997 1 SETTING Let
More information(dim Z j dim Z j 1 ) 1 j i
Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated k-algebra. In class we have seen that the dimension theory of A is linked to the
More informationDEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ.
DEFINITIONS: OPERADS, ALGEBRAS AND MODULES J. P. MAY Let S be a symmetric monoidal category with product and unit object κ. Definition 1. An operad C in S consists of objects C (j), j 0, a unit map η :
More informationCOUNTING SUBMODULES OF A MODULE OVER A NOETHERIAN COMMUTATIVE RING
COUNTING SUBMODULES OF A MODULE OVER A NOETHERIAN COMMUTATIVE RING YVES CORNULIER Abstract. We count the number of submodules of an arbitrary module over a countable noetherian commutative ring. We give,
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 informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationMATH 221 NOTES BRENT HO. Date: January 3, 2009.
MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationTIGHT CLOSURE CONTENTS
TIGHT CLOSURE ZHAN JIANG CONTENTS 1. Preliminiary 1 1.1. Base change 1 1.2. Characteristic of a ring 2 1.3. Frobenius functor 2 2. Tight Closure 2 2.1. Definition 2 2.2. Basic properties 3 2.3. Behaviour
More informationDieudonné Modules and p-divisible Groups
Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous
More informationHomework 2 - Math 603 Fall 05 Solutions
Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationWitt vectors and total positivity
Witt vectors and total positivity James Borger Australian National University January 10, 2013 San Diego Semirings basic definitions 1. N = {0, 1, 2,... } 2. N-module = commutative monoid (written additively)
More informationarxiv: v2 [math.ac] 25 Apr 2011
A FINITENESS CONDITION ON LOCAL COHOMOLOGY IN POSITIVE CHAACTEISTIC FLOIAN ENESCU arxiv:1101.4907v2 [math.ac] 25 Apr 2011 Abstract. In this paper we present a condition on a local Cohen-Macaulay F-injective
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 informationLIVIA HUMMEL AND THOMAS MARLEY
THE AUSLANDER-BRIDGER FORMULA AND THE GORENSTEIN PROPERTY FOR COHERENT RINGS LIVIA HUMMEL AND THOMAS MARLEY Abstract. The concept of Gorenstein dimension, defined by Auslander and Bridger for finitely
More informationNUMERICAL MONOIDS (I)
Seminar Series in Mathematics: Algebra 2003, 1 8 NUMERICAL MONOIDS (I) Introduction The numerical monoids are simple to define and naturally appear in various parts of mathematics, e.g. as the values monoids
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.
More informationModules Over Principal Ideal Domains
Modules Over Principal Ideal Domains Brian Whetter April 24, 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. To view a copy of this
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationBreuil s classification of p-divisible groups over regular local rings of arbitrary dimension
Breuil s classification of p-divisible groups over regular local rings of arbitrary dimension Adrian Vasiu and Thomas Zink September 2, 2009 To appear in Advanced Studies in Pure Mathematics, Algebraic
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationThis is a repository copy of Annihilators of Artinian modules compatible with a Frobenius map.
This is a repository copy of Annihilators of Artinian modules compatible with a Frobenius map. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/96701/ Version: Accepted Version
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More information