DOCSLIB.ORG

Z-Graded Noncommutative Algebraic Geometry University of Washington Algebra/Algebraic Geometry Seminar

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Z-Graded Noncommutative Algebraic Geometry University of Washington Algebra/Algebraic Geometry Seminar Z-graded noncommutative algebraic geometry University of Washington Algebra/Algebraic Geometry Seminar Robert Won Wake Forest University Joint with Jason Gaddis (Miami University) and Cal Spicer (Imperial College London). February 13, 2018 1 / 40 Graded k-algebras • Throughout, k an algebraically closed field, char k = 0. • Γ an abelian (semi)group. • A Γ-graded k-algebra A has k-space decomposition M A = Aγ γ2Γ such that AγAδ ⊆ Aγ+δ. • If a 2 Aγ, deg a = γ and a is homogeneous of degree γ. • Most commonly, Γ = N (e.g., polynomials graded by total degree). February 13, 2018 Graded rings and things 2 / 40 Modules and morphisms • Right A-modules with A-module homomorphisms form a category, mod-A. • If mod-A ≡ mod-B, we say A and B are Morita equivalent. Remarks • For commutative rings, Morita equivalent , isomorphic. • Mn(A) is Morita equivalent to A. • Morita invariant properties of A: simple, semisimple, noetherian, artinian, hereditary, etc. February 13, 2018 Graded rings and things 3 / 40 Graded modules and morphisms • A Γ-graded right A-module M: M M = Mi i2Γ such that Mi · Aj ⊆ Mi+j. • Γ-graded right A-modules with graded module homomorphisms form a category gr-(A; Γ) or gr-A. • If gr-A ≡ gr-B. Then A and B are graded Morita equivalent. February 13, 2018 Graded rings and things 4 / 40 What would a commutative algebraist do? A a commutative N-graded k-algebra. The projective scheme Proj A: • As a set: homogeneous prime ideals of A not containing the irrelevant ideal A>0. • Topological space: the Zariski topology with closed sets V(a) = fp 2 Proj A j a ⊆ pg for homogeneous ideals a of A. • Structure sheaf: localize at homogeneous prime ideals. February 13, 2018 Graded rings and things 5 / 40 Noncommutative is not commutative • Localization is different. • Given A commutative and S ⊂ A multiplicatively closed, −1 −1 −1 −1 a1s1 a2s2 = a1a2s1 s2 : • If A noncommutative, can only form AS−1 if S is an Ore set. Definition S is an Ore set if for any a 2 A, s 2 S sA \ aS 6= ;: February 13, 2018 Graded rings and things 6 / 40 Noncommutative is not commutative • Forget localization. Who needs it? • Even worse, not enough (prime) ideals. The Weyl algebra khx; yi=(xy − yx − 1) is a noncommutative analogue of k[x; y] but is simple. The quantum polynomial ring khx; yi=(xy − qyx) is a “noncommutative P1” but for qn 6= 1 has only three proper homogeneous ideals (namely (x), (y), and (x; y)). February 13, 2018 Graded rings and things 7 / 40 Noncommutative is not commutative • Forget prime ideals. Can we come up with a space? • We’re clever! Left prime ideals? Spec(R=[R; R])? • Even worse, there may not even be a set. Theorem (Reyes, 2012) Suppose F : Ring ! Set extends the functor Spec : CommRing ! Set: Then for n ≥ 3, F(Mn(C)) = ;. February 13, 2018 Graded rings and things 8 / 40 Sheaves to the rescue • All you need is modules Theorem Let X = Proj A for a commutative, f.g. k-algebra A generated in degree 1. (1) Every coherent sheaf on X is isomorphic to Me for some f.g. graded A-module M. (2) Me =∼ Ne as sheaves if and only if there is an isomorphism ∼ M≥n = N≥n. • Let gr-A be the category of f.g. A-modules. Take the quotient category qgr-A = gr-A=fdim-A: • The above says qgr-A ≡ coh(Proj A). February 13, 2018 Graded rings and things 9 / 40 Noncommutative projective schemes A (not necessarily commutative) connected graded k-algebra A is k A = ⊕ A1 ⊕ A2 ⊕ · · · such that dimk Ai < 1 and A is a f.g. k-algebra. Definition (Artin and Zhang 1994) The noncommutative projective scheme ProjNC A is the triple (qgr-A; A; S) where A is the distinguished object and S is the shift functor. Can do geometry with the module category. February 13, 2018 Noncommutative projective schemes 10 / 40 From schemes to rings • We can go from rings to schemes via Proj. R Proj R • Can we go back? (Certainly not uniquely: Proj R(d) =∼ Proj R.) • X a projective scheme, L a line bundle on X. • The homogeneous coordinate ring is M B(X; L) = k ⊕ H0(X; L⊗n): n≥1 Theorem (Serre) Let L = OX(1) (which is ample). Then (1) B = B(X; L) is a f.g. graded noetherian k-algebra. (2) X = Proj B so qgr-B ≡ coh(X). February 13, 2018 Noncommutative projective schemes 11 / 40 From schemes to rings • X a (commutative) projective scheme, L a line bundle, and σ 2 Aut(X). Define σ ∗ σ σn−1 L = σ L and Ln = L ⊗ L ⊗ · · · ⊗ L : • The twisted homogeneous coordinate ring is M 0 B(X; L; σ) = k ⊕ H (X; Ln): n≥1 • B(X; L; σ) is not necessarily commutative. Theorem (Artin-Van den Bergh, 1990) Assume L is σ-ample. Then (1) B = B(X; L; σ) is a f.g. graded noetherian k-algebra. (2) qgr-B ≡ coh(X). February 13, 2018 Noncommutative projective schemes 12 / 40 Noncommutative curves • “The Hartshorne approach” • Noncommutative dimension? • A a k-algebra, V ⊆ A a k-subspace generating A spanned by f1; a1;:::; amg. • V0 = k, Vn spanned by monomials of length ≤ n in the ai. • The Gelfand-Kirillov dimension of A GKdim A = lim sup logn(dimk Vn): n!1 k • GKdim [x1;:::; xm] = m. • So noncommutative projective curves should have GKdim 2. February 13, 2018 Noncommutative projective schemes 13 / 40 Noncommutative curves Theorem (Artin-Stafford, 1995) Let A be a f.g. connected graded domain generated in degree 1 with GKdim(A) = 2. Then there exists a projective curve X, an automorphism σ and invertible sheaf L such that up to a f.d vector space A = B(X; L; σ): • As a corollary, qgr-A ≡ coh(X). • Or “noncommutative curves are commutative”. February 13, 2018 Noncommutative projective schemes 14 / 40 Noncommutative surfaces • The “right” definition of a noncommutative polynomial ring? Definition A a f.g. connected graded k-algebra is Artin-Schelter regular of dimension d if (1) gl:dimA = d < 1 (2) GKdim A < 1 and i k k (3) ExtA( ; A) = δi;d . • Behaves homologically like a commutative polynomial ring. k • Commutative AS regular of dimension d , [x1;:::; xd]. • Interesting invariant theory for these rings. • Noncommutative P2s should be qgr-A for A AS regular of dimension 3. February 13, 2018 Noncommutative projective schemes 15 / 40 Noncommutative surfaces Theorem (Artin, Tate, and Van den Bergh 1990) Let A be an AS regular ring of dimension 3 generated in degree 1. Either: (a) A = B(X; L; σ) for X = P2 or X = P1 × P1 (and hence qgr-A ≡ coh(P2) or qgr-A ≡ coh(P1 × P1)), (b) A B(E; L; σ) for an elliptic curve E (and hence qgr-B ≡ coh(E)). • Or “noncommutative P2s are either commutative or contain a commutative curve”. • Other noncommutative surfaces (noetherian connected graded domains of GKdim 3)? • Noncommutative P3 (AS regular of dimension 4)? February 13, 2018 Noncommutative projective schemes 16 / 40 The first Weyl algebra • Throughout, “graded” really meant N-graded. • Recall the first Weyl algebra: k A1 = hx; yi=(xy − yx − 1): • Simple noetherian domain of GK dim 2. • A1 does not admit a nontrivial N-grading. February 13, 2018 Z-graded rings 17 / 40 The first Weyl algebra k A1 = hx; yi=(xy − yx − 1) • Ring of differential operators on k[t] • x ! t· • y ! d=dt • A is Z-graded by deg x = 1, deg y = −1 ∼ k k • (A1)0 = [xy] 6= • Z-graded module category gr-A? February 13, 2018 Z-graded rings 18 / 40 The first Weyl algebra • Sue Sierra, Rings graded equivalent to the Weyl algebra (2009) • Classified all rings graded Morita equivalent to A1 • Examined the graded module category gr-A1: −3 −2 −1 0 1 2 3 • For each λ 2 k n Z, one simple module Mλ • For each n 2 Z, two simple modules, Xhni and Yhni X Y • For each n, exists a nonsplit extension of Xhni by Yhni and a nonsplit extension of Yhni by Xhni February 13, 2018 Z-graded rings 19 / 40 The first Weyl algebra • Computed Pic(gr-A1), the Picard group (group of autoequivalences) of gr-A1 • Shift functor, S: • Exists an outer automorphism !, reversing the grading !(x) = y !(y) = −x February 13, 2018 Z-graded rings 20 / 40 The first Weyl algebra Theorem (Sierra 2009) There exist ιn, autoequivalences of gr-A1, permuting Xhni and Yhni and fixing all other simple modules. 2 ∼ Also ιiιj = ιjιi and ιn = Idgr-A Theorem (Sierra 2009) ∼ (Z) ∼ Pic(gr-A1) = (Z=2Z) o D1 = Zfin o D1. February 13, 2018 Z-graded rings 21 / 40 The first Weyl algebra • Paul Smith, A quotient stack related to the Weyl algebra (2011) • Proves that gr-A1 ≡ coh(χ) • χ is a quotient stack “whose coarse moduli space is the affine line Spec k[z], and whose stacky structure consists of stacky points BZ2 supported at each integer point” • gr-A1 ≡ gr(C; Zfin) ≡ coh(χ) February 13, 2018 Z-graded rings 22 / 40 The first Weyl algebra • Zfin the group of finite subsets of Z, operation XOR • Constructs a Zfin-graded ring k M [xn j n 2 Z] C := hom(A ; ι A ) =∼ 1 J 1 (x2 + n = x2 + m j m; n 2 ) J2 n m Z Zfinp ∼ = k[z][ z − n j n 2 Z] where deg xn = fng • C is commutative, integrally closed, non-noetherian PID Theorem (Smith 2011) There is an equivalence of categories gr-A1 ≡ gr-(C; Zfin): February 13, 2018 Z-graded rings 23 / 40 Z-graded rings Theorem (Artin and Stafford 1995) Let A be a f.g.
Load more

Recommended publications
  • Asymptotic Behavior of the Length of Local Cohomology
    ASYMPTOTIC BEHAVIOR OF THE LENGTH OF LOCAL COHOMOLOGY STEVEN DALE CUTKOSKY, HUY TAI` HA,` HEMA SRINIVASAN, AND EMANOIL THEODORESCU Abstract. Let k be a field of characteristic 0, R = k[x1, . , xd] be a polynomial ring, and m its maximal homogeneous ideal. Let I ⊂ R be a homogeneous ideal in R. In this paper, we show that λ(H0 (R/In)) λ(Extd (R/In,R(−d))) lim m = lim R n→∞ nd n→∞ nd e(I) always exists. This limit has been shown to be for m-primary ideals I in a local Cohen Macaulay d! ring [Ki, Th, Th2], where e(I) denotes the multiplicity of I. But we find that this limit may not be rational in general. We give an example for which the limit is an irrational number thereby showing that the lengths of these extention modules may not have polynomial growth. Introduction Let R = k[x1, . , xd] be a polynomial ring over a field k, with graded maximal ideal m, and I ⊂ R d n a proper homogeneous ideal. We investigate the asymptotic growth of λ(ExtR(R/I ,R)) as a function of n. When R is a local Gorenstein ring and I is an m-primary ideal, then this is easily seen to be equal to λ(R/In) and hence is a polynomial in n. A theorem of Theodorescu and Kirby [Ki, Th, Th2] extends this to m-primary ideals in local Cohen Macaulay rings R. We consider homogeneous ideals in a polynomial ring which are not m-primary and show that a limit exists asymptotically although it can be irrational.
    [Show full text]
  • Arxiv:1703.06832V3 [Math.AC]
    REGULARITY OF FI-MODULES AND LOCAL COHOMOLOGY ROHIT NAGPAL, STEVEN V SAM, AND ANDREW SNOWDEN Abstract. We resolve a conjecture of Ramos and Li that relates the regularity of an FI- module to its local cohomology groups. This is an analogue of the familiar relationship between regularity and local cohomology in commutative algebra. 1. Introduction Let S be a standard-graded polynomial ring in finitely many variables over a field k, and let M be a non-zero finitely generated graded S-module. It is a classical fact in commutative algebra that the following two quantities are equal (see [Ei, §4B]): S • The minimum integer α such that Tori (M, k) is supported in degrees ≤ α + i for all i. i • The minimum integer β such that Hm(M) is supported in degrees ≤ β − i for all i. i Here Hm is local cohomology at the irrelevant ideal m. The quantity α = β is called the (Castelnuovo–Mumford) regularity of M, and is one of the most important numerical invariants of M. In this paper, we establish the analog of the α = β identity for FI-modules. To state our result precisely, we must recall some definitions. Let FI be the category of finite sets and injections. Fix a commutative noetherian ring k. An FI-module over k is a functor from FI to the category of k-modules. We write ModFI for the category of FI-modules. We refer to [CEF] for a general introduction to FI-modules. Let M be an FI-module. Define Tor0(M) to be the FI-module that assigns to S the quotient of M(S) by the sum of the images of the M(T ), as T varies over all proper subsets of S.
    [Show full text]
  • Automorphisms in Birational and Affine Geometry
    Springer Proceedings in Mathematics & Statistics Ivan Cheltsov Ciro Ciliberto Hubert Flenner James McKernan Yuri G. Prokhorov Mikhail Zaidenberg Editors Automorphisms in Birational and A ne Geometry Levico Terme, Italy, October 2012 Springer Proceedings in Mathematics & Statistics Vo lu m e 7 9 For further volumes: http://www.springer.com/series/10533 Springer Proceedings in Mathematics & Statistics This book series features volumes composed of selected contributions from workshops and conferences in all areas of current research in mathematics and statistics, including OR and optimization. In addition to an overall evaluation of the interest, scientific quality, and timeliness of each proposal at the hands of the publisher, individual contributions are all refereed to the high quality standards of leading journals in the field. Thus, this series provides the research community with well-edited, authoritative reports on developments in the most exciting areas of mathematical and statistical research today. Ivan Cheltsov • Ciro Ciliberto • Hubert Flenner • James McKernan • Yuri G. Prokhorov • Mikhail Zaidenberg Editors Automorphisms in Birational and Affine Geometry Levico Terme, Italy, October 2012 123 Editors Ivan Cheltsov Ciro Ciliberto School of Mathematics Department of Mathematics University of Edinburgh University of Rome Tor Vergata Edinburgh, United Kingdom Rome, Italy Hubert Flenner James McKernan Faculty of Mathematics Department of Mathematics Ruhr University Bochum University of California San Diego Bochum, Germany La Jolla,
    [Show full text]
  • Lectures on Local Cohomology
    Contemporary Mathematics Lectures on Local Cohomology Craig Huneke and Appendix 1 by Amelia Taylor Abstract. This article is based on five lectures the author gave during the summer school, In- teractions between Homotopy Theory and Algebra, from July 26–August 6, 2004, held at the University of Chicago, organized by Lucho Avramov, Dan Christensen, Bill Dwyer, Mike Mandell, and Brooke Shipley. These notes introduce basic concepts concerning local cohomology, and use them to build a proof of a theorem Grothendieck concerning the connectedness of the spectrum of certain rings. Several applications are given, including a theorem of Fulton and Hansen concern- ing the connectedness of intersections of algebraic varieties. In an appendix written by Amelia Taylor, an another application is given to prove a theorem of Kalkbrenner and Sturmfels about the reduced initial ideals of prime ideals. Contents 1. Introduction 1 2. Local Cohomology 3 3. Injective Modules over Noetherian Rings and Matlis Duality 10 4. Cohen-Macaulay and Gorenstein rings 16 d 5. Vanishing Theorems and the Structure of Hm(R) 22 6. Vanishing Theorems II 26 7. Appendix 1: Using local cohomology to prove a result of Kalkbrenner and Sturmfels 32 8. Appendix 2: Bass numbers and Gorenstein Rings 37 References 41 1. Introduction Local cohomology was introduced by Grothendieck in the early 1960s, in part to answer a conjecture of Pierre Samuel about when certain types of commutative rings are unique factorization 2000 Mathematics Subject Classification. Primary 13C11, 13D45, 13H10. Key words and phrases. local cohomology, Gorenstein ring, initial ideal. The first author was supported in part by a grant from the National Science Foundation, DMS-0244405.
    [Show full text]
  • Degq Algebraic Geometry
    degQ Algebraic Geometry Harpreet Singh Bedi [email protected] 15 Aug 2019 Abstract Elementary Algebraic Geometry can be described as study of zeros of polynomials with integer degrees, this idea can be naturally carried over to ‘polynomials’ with rational degree. This paper explores affine varieties, tangent space and projective space for such polynomials and notes the differences and similarities between rational and integer degrees. The line bundles O (n),n Q are also constructed and their Cechˇ cohomology computed. ∈ Contents 1 Rational Degree 3 1.1 Rational degree via Direct Limit . ............. 4 2 Affine Algebraic Sets 5 2.1 Ideal ........................................... .......... 7 2.2 Nullstellensatz ................................. ............... 8 3 Noether Normalization 9 4 Rational functions and Morphisms 10 4.1 FiniteFields ....................................... .......... 11 4.1.1 degZ[1/p] viaDirectLimit .................................... 11 arXiv:2003.12586v1 [math.GM] 24 Mar 2020 5 Projective Geometry 13 5.1 GradedRingsandHomogeneousIdeals. ................ 13 6 Projective Nullstellensatz 14 6.1 Affinecone........................................ .......... 14 6.2 StandardAffineCharts .............................. ............. 15 7 Schemes 15 1 8 Proj and Twisting Sheaves O (n) 16 8.1 O (1) ................................................... .. 17 8.2 ComputingCohomology ............................... ........... 17 8.3 KunnethFormula .................................. ............ 21 9 Tangent Space 22 9.1 JacobianCriterion.................................
    [Show full text]
  • ALGEBRAIC GEOMETRY NOTES 1. Conventions and Notation Fix A
    ALGEBRAIC GEOMETRY NOTES E. FRIEDLANDER J. WARNER 1. Conventions and Notation Fix a field k. At times we will require k to be algebraically closed, have a certain charac- teristic or cardinality, or some combination of these. AN and PN are affine and projective spaces in N variables over k. That is, AN is the set of N-tuples of elements of k, and PN N+1 is the set of equivalence classes of A − 0 under the relation (a0; : : : ; aN ) ∼ (b0; : : : ; bN ) if and only if there exists c 2 k with cai = bi for i = 0;:::;N. 2. Monday, January 14th Theorem 2.1 (Bezout). Let X and Y be curves in P2 of degrees d and e respectively. Let fP1;:::;Png be the points of intersection of X and Y . Then we have: n X (1) i(X; Y ; Pi) = de i=1 3. Wednesday, January 16th - Projective Geometry, Algebraic Varieties, and Regular Functions We first introduce the notion of projective space required to make Bezout's Theorem work. Notice in A2 we can have two lines that don't intersect, violating (1). The idea is that these two lines intersect at a "point at infinity". Projective space includes these points. 3.1. The Projective Plane. Define the projective plane, P2, as a set, as equivalence classes 3 of A under the relation (a0; a1; a2) ∼ (b0; b1; b2) if and only if there exists c 2 k with cai = bi for i = 0; 1; 2. It is standard to write [a0 : a1 : a2] for the equivalence class represented by 3 (a0; a1; a2) 2 A .
    [Show full text]
  • Algebraic Geometry I
    GEIR ELLINGSRUD NOTES FOR MA4210— ALGEBRAIC GEOMETRY I Contents 1 Algebraic sets and the Nullstellensatz 7 Fields and the affine space 8 Closed algebraic sets 8 The Nullstellensatz 11 Hilbert’s Nullstellensatz—proofs 13 Figures and intuition 15 A second proof of the Nullstellensatz 16 2 Zariski topolgies 21 The Zariski topology 21 Irreducible topological spaces 23 Polynomial maps between algebraic sets 31 3 Sheaves and varities 37 Sheaves of rings 37 Functions on irreducible algebraic sets 40 The definition of a variety 43 Morphisms between prevarieties 46 The Hausdorff axiom 48 Products of varieties 50 4 Projective varieties 59 The projective spaces Pn 60 The projective Nullstellensatz 68 2 Global regular functions on projective varieties 70 Morphisms from quasi projective varieties 72 Two important classes of subvarieties 76 The Veronese embeddings 77 The Segre embeddings 79 5 Dimension 83 Definition of the dimension 84 Finite polynomial maps 88 Noether’s Normalization Lemma 93 Krull’s Principal Ideal Theorem 97 Applications to intersections 102 Appendix: Proof of the Geometric Principal Ideal Theorem 105 6 Rational Maps and Curves 111 Rational and birational maps 112 Curves 117 7 Structure of maps 127 Generic structure of morhisms 127 Properness of projectives 131 Finite maps 134 Curves over regular curves 140 8 Bézout’s theorem 143 Bézout’s Theorem 144 The local multiplicity 145 Proof of Bezout’s theorem 148 8.3.1 A general lemma 150 Appendix: Depth, regular sequences and unmixedness 152 Appendix: Some graded algebra 158 3 9 Non-singular varieties 165 Regular local rings 165 The Jacobian criterion 166 9.2.1 The projective cse 167 CONTENTS 5 These notes ere just informal extensions of the lectures I gave last year.
    [Show full text]
  • Notes on Cox Rings
    NOTES ON COX RINGS JOAQU´IN MORAGA Abstract. These are introductory notes to Cox Rings. The aim of this notes is to give a self-contained explanation of a talk given by the author in the students seminar of algebraic geometry of the University of Utah. Contents 1. Introduction and Motivation1 2. Projective Varieties3 3. Cox Rings7 References 10 1. Introduction and Motivation In 1902, David Hilbert propose 23 problems to the mathematical comunity to measure the growth of mathematics during the early years of the new century. In this oportunity, we will focus in the 14th Hilbert problem, whose solution had important consequences in the theory of invariants, geometric invariant theory and algebraic geometry in general. In what follows, we will denote by k an uncountable algebraically closed field of characteristic 0. For example, you can consider k = C. The original statement of the Hilbert 14th problem is the following: Problem 1.1. Let k(x1; : : : ; xn) be the field of rational functions on n variables over the field k and K ⊂ k(x1; : : : ; xn) a subfield. Is K \ k[x1; : : : ; xn] finitely generated over k? In what follows, we will be interested in the action of groups in rings and in trying to understand the ring of invariants (i.e. the ring generated by all the elements which are invariant by the action of the group). We will be particularly interested in linear algebraic groups, which are groups isomorphic to subgroups of the general linear group over k. With the advances of David Mumford in theory of invariants, several mathe- maticians get interested in the following version of Hilbert's problem: Problem 1.2.
    [Show full text]
  • NOTES for MATH 7670, ALGEBRAIC GEOMETRY I Plan To
    NOTES FOR MATH 7670, ALGEBRAIC GEOMETRY ALLEN KNUTSON CONTENTS 1. Algebraic subsets of Cn 1 2. Algebraic subsets of CPn 4 3. Irreducible algebraic sets and prime ideals 5 4. Three classic morphisms 6 5. Localization 6 6. Stunt lecture by Matthias 8 7. Nilpotents 8 References 10 I plan to spend a week or two on some very classical constructions, largely to have examples at hand to motivate the generalizations required by schemes. Then I’ll jump to [Vakil, chapter 3], delving back into chapter 2 from time to time. If there’s a common request that I discuss something in chapter 1, we can do that. All rings are commutative with 1, and homomorphisms preserve 1. 1. ALGEBRAIC SUBSETS OF Cn In this section F will be a field, typically R or C. Given a list of polynomial equations in n variables, namely f = 0 for f R = i i ∈ F[z1,...,zn], we can associate its “solution set” or “zero set” or algebraic subset V(I) := z =(z ,...,z ) Fn : f (z)= 0 i . 1 n ∈ i ∀ Here I = f ,..., as it’s pretty obvious that the set only depends on the ideal generated. 1 To what extent can we reverse this? For an arbitrary subset X Fn, we can define ⊆ I(X) := {f R : x X,f(x)= 0}. ∈ ∀ ∈ Exercise 1.1. (1) Show I(V(I)) I and V(I(X)) X. (2) Given an ideal I, show that the≥radical ⊇ √I := {f R : n 1,fn I} ∈ ∃ ≥ ∈ is again an ideal. (3) Show I(X) is a radical ideal.
    [Show full text]
  • On Graded Local Cohomology Modules Defined by a Pair of Ideals
    Journal of Algebraic Systems Vol. 3, No. 2, (2016), pp 133-146 ON GRADED LOCAL COHOMOLOGY MODULES DEFINED BY A PAIR OF IDEALS M. JAHANGIRI∗ AND Z. HABIBI L Abstract. Let R = R be a standard graded ring, M be n2N0 n a finitely-generated graded R-module, and J be a homogeneous ideal of R. In this work, we study the graded structure of the i-th local cohomology module of M, defined by a pair of ideals (R+;J), i.e. Hi (M). More precisely, we discuss the finiteness property R+;J and vanishing of the graded components Hi (M) . Also, we R+;J n study the Artinian property and tameness of certain submodules and quotient modules of Hi (M). R+;J 1. Introduction Let R denotes a commutative Noetherian ring, M be an R-module, and I and J stand for two ideals of R. Takahashi et al. in [10], introduced the i-th local cohomology functor with respect to (I;J), i − denoted by HI;J ( ), as the i-th right derived functor of the (I;J)- Archive− off 2 SIDn ⊆ torsion functor ΓI;J ( ), where ΓI;J (M) := x M : I x Jx for n ≫ 1g. This notion is the ordinary local cohomology functor when J = 0 (see [3]). The main motivation for this generalization comes from MSC(2010): Primary: 13D45; Secondary: 13A02, 13E10. Keywords: Graded modules, Local cohomology module with respect to a pair of ideals, Artinian modules, Tameness. Received: 14 April 2015, Revised: 28 December 2015. ∗Corresponding author. 133 www.SID.ir 134 JAHANGIRI AND HABIBI i the study of a dual of ordinary local cohomology modules HI (M) (see [9]).
    [Show full text]
  • Generic Freeness of Local Cohomology and Graded Specialization 3
    GENERIC FREENESS OF LOCAL COHOMOLOGY AND GRADED SPECIALIZATION MARC CHARDIN, YAIRON CID-RUIZ, AND ARON SIMIS Abstract. The main focus is the generic freeness of local cohomology modules in a graded setting. The present approach takes place in a quite nonrestrictive setting, by solely assuming that the ground coefficient ring is Noetherian. Under additional assumptions, such as when the latter is reduced or a domain, the outcome turns out to be stronger. One important application of these considerations is to the specialization of rational maps and of symmetric and Rees powers of a module. 1. Introduction Although the actual strength of this paper has to do with generic freeness in graded local cohomology, we chose to first give an overview of one intended application to specialization theory. Specialization is a classical and important subject in algebraic geometry and commutative algebra. Its roots can be traced back to seminal work by Kronecker, Hurwitz ([15]), Krull ([19,20]) and Seidenberg ([25]). More recent papers where specialization is used in the classical way are [28], [23], [24] and, in a different vein, [9], [18], [13], [14], [29], [26], [7]. In the classical setting it reads as follows. Let k be a field and R be a polynomial ring R = k(z)[x]= k(z)[x1,...,xr] over a purely transcendental field extension k(z)= k(z1,...,zm) m of k. Let I ⊂ R be an ideal of R and α = (α1,...,αm) ∈ k . The specialization of I with respect to the substitutions zi → αi is given by the ideal Iα := f(α, x) | f(z, x) ∈ I ∩ k[z][x] .
    [Show full text]
  • Degree of Rational Maps Via Specialization
    DEGREE OF RATIONAL MAPS AND SPECIALIZATION YAIRON CID-RUIZ AND ARON SIMIS Abstract. One considers the behavior of the degree of a rational map under specialization of the coefficients of the defining linear system. The method rests on the classical idea of Kronecker as applied to the context of projective schemes and their specializations. For the theory to work one is led to develop the details of rational maps and their graphs when the ground ring of coefficients is a Noetherian domain. 1. Introduction The overall goal of this paper is to obtain bounds for the degree of a rational map in terms of the main features of its base ideal (i.e., the ideal generated by a linear system defining the map). In order that this objective stays within a reasonable limitation, one focuses on rational maps whose source and target are projective varieties. Although there is some recent progress in the multi-projective environment (see [3] and [8]), it is the present authors’ believe that a thorough examination of the projective case is a definite priority. Now, to become more precise one should rather talk about projective schemes as source and target of the envisaged rational maps. The commonly sought interest is the case of projective schemes over a field (typically, but not necessarily, algebraically closed). After all, this is what core classical projective geometry is all about. Alas, even this classical setup makes it hard to look at the degree of a rational map since one has no solid grip on any general theory that commutative algebra lends, other than the rough skeleton of field extension degree theory.
    [Show full text]