arxiv: v1 [math.ra] 10 May 2013
|
|
- Melvin Harris
- 6 years ago
- Views:
Transcription
1 ON FINITE-DIMENSIONAL SUBALGEBRAS OF DERIVATION ALGEBRAS arxiv: v1 [math.ra] 10 May 2013 Abstract. Let K be a field, R be an associative and commutative K-algebra and L be a Lie algebra over K. We give some descriptions of injections from L to Lie algebra of K-derivations of R in the terms of L. 1. Introduction Let K be a field, R be an associative and commutative K-algebra and L be a Lie algebra over K. Let Der K R be a Lie algebra of K-derivations of the algebra R. We study subalgebras from Der K R. This questions are studied in many papers (see [1], [2], [3], [5]). Jan Draisma in his PhD. thesis ([6]) studied so called transitive derivation of K[x 1,...,x n ]. More precisely we study injective morphisms ϕ from L to Der K R. Der K R has a structure of R-module. Put M = Rϕ(L) Der K R. If R is a field then M is a vector space over R. Put k = Dim R M. We prove that if such injection exists then R L has an R-subalgebra of codimension k and if L is finite dimensional then L has a subalgebra of codimension k. Given a Lie algebra L and k N. We want to give an answer in terms of L where there exist a field R and an injection ϕ : L Der K R such that Dim R RϕL = k. Let M k (L) be an affine algebraic set of all elements (l 1,...l k ) L k such that a vector space Kl Kl k is a subalgebra and Mk 0(L) be a subset of M k(l) such that an elements l 1,...l k are linear dependent. The main result of this paper is the following Theorem. For a closed point p of an affine algebraic variety we denote an evaluation of element x from coordinate ring in p by p(x). Theorem 1. Let L be a finite dimensional Lie algebra over an algebraically closed field K. Then the following conditions are equivalent: (i) there exists a field R and an injective homomorphism ϕ : L Der K R such that Dim R Rϕ(L) = k; (ii) there exist an irreducible subvariety of V M k (L), V Mk 0 (L), such that an intersection of subalgebras associated to points of V is equal to {0}. A technique of this paper gives some algorithms constructing injections. They are used in examples. 2. Construction of some Lie algebras Let K be a field, R be associative and commutative K-algebra and L be a Lie algebra over K. Consider a Lie algebra Der K R. Let M be an R-submodule of Der K R closed under Lie bracket and ϕ : L M be an injective morphism of Lie algebras. Consider a Lie algebra R L which is a free R-module. For an arbitrary derivation d Der K R denote a derivation of the Lie algebra d Der K (R L): d (m l) = d(m) l. Note that a mapping d d is a monomorphism of Lie algebras. Thus we can define a following Lie algebra. 1
2 2 ON FINITE-DIMENSIONAL SUBALGEBRAS OF DERIVATION ALGEBRAS Definition 1. Let L be a Lie algebra over a field K, R be an associative and commutative K-algebra and M be an R-submodule of Der K R. Define the following Lie algebra D = D(L,R,M) = M (R L). Remark 1. In the case R = K[x 1,...,x n ] D is a polynomial Lie algebra that are defined in [4]. Denote an action of this algebra on the ring R: (D +r l)(s) = D(s) for D M, l L, r,s R. Lemma 1. Let d 1,d 2 be an elements of D, r,s be an elements of R. Then: [rd 1,sd 2 ] = rd 1 (s)d 2 sd 2 (r)d 1 +rs[d 1,d 2 ]. Proof. Straightforward calculation. Let {l i },i I be a basis of L. Denote a following monomorphism from L to D: ϕ : l i ϕ(l i )+1 l i,i I. Note that ϕ (L) is a Lie algebra isomorphic to L. Definition 2. L = Rϕ (L) R L. It is easy to see that L is a subalgebra of a Lie algebra R L considered as an algebra over R. Lemma 2. Let r 1,...,r p be an elements of R. Then r 1 ϕ(l i1 )+ +r p ϕ(l ip ) = 0 if and only if r 1 l i1 + +r p l ip L. Proof. Let r 1 ϕ(l i1 )+ +r p ϕ(l ip ) = 0. Then: r 1 (ϕ(l i1 )+1 l i1 )+ +r p (ϕ(l ip )+1 l ip ) = r 1 l i1 + +r p l ip Rϕ (L) R L. Conversely let r 1 l i1 + +r p l ip L. Then: r 1 l i1 + +r p l ip = i I (s i ϕ(l i )+s i l i ), where only finite number of the elements s i are nonzero. But D = M R L as R-module. Therefore i I s iϕ(l i ) = 0 and i I s i l i = r 1 l i1 + +r p l ip. A set {l i } is a free basis of R L. Thus r j = s ij,j = 1...p and all other s i s are equal to 0. This completes the proof of Lemma. Lemma 3. L 1 L = {0}. Proof. Assume that 0 1 l L 1 L, i. e. 1 l Rϕ (L). Therefore for some nonzero r 1,...,r m R we have: l = r 1 (ϕ(l i1 )+1 l i1 )+ +r m (ϕ(l im )+1 l im ). Therefore r 1 ϕ(l i1 ) + + r m ϕ(l im ) = 0 and r 1 l i1 + + r m l im = l. Hence r j K, j = 1,...,m. Thus ϕ(r 1 l i1 + +r m l im ) = 0 with contradiction to injectivity of ϕ.
3 ON FINITE-DIMENSIONAL SUBALGEBRAS OF DERIVATION ALGEBRAS 3 During this chapter R will be a field. 3. Subalgebras of codimension k Proposition 1. Let L be a Lie algebra over K, ϕ : L Der K R be an injection, M = Rϕ(L) be a vector space of dimension k over R. Then L is a subalgebra of R-algebra R L with codimension k. Proof. Let {l 1,...,l k } L be an elements of L such that {ϕ(l 1 ),...,ϕ(l k )} form a basis of M. It is easy to see that M is closed under multiplication. For any element of l L and some elements r 1,...,r k we have: ϕ(l)+r 1 ϕ(l 1 )+ +r k ϕ(l k ) = 0. Therefore using Lemma 2 we have that l + r 1 l r k l k L. Also we have that {ϕ(l 1 ),...,ϕ(l k )} are linear independent over R. Hence using Lemma 2 we have that for any r 1,...,r k R r 1 l 1 + +r k l k / L. Thus L has codimension k in R L. Lemma 4. Let R be a field, L be a finite dimensional Lie algebra over K. Then there exist an injection ϕ : L Der K R such that Dim R Rϕ(L) = k if and only if there exist a subalgebra L R L of R-codimension k, L 1 L = {0}, a set of elements b 1,..., b k R L, L+R b 1 + +R b k = R L and a set of linear independent over R derivations D 1,...D k such that an R-module R(D 1 + b 1 )+ +R(D k + b k )+ L is closed under Lie bracket. Proof. Assume that there exist a needed injection L Der K R. Consider a Lie algebra Rϕ (L). Take an elements l 1,...,l k such that ϕ(l i ),i = 1,...k are linearly independent over K. Then Rϕ (L) = R(ϕ(l 1 ) + 1 l 1 ) + + R(ϕ(l k ) + 1 l k ) + L. Put L = L. Assume that r 1 l 1 + +r k l k L for some r 1,...,r k R. Then using Lemma 2 we have that r 1 ϕ(l 1 )+ +r k ϕ(l k ) = 0 with contradiction to linear independency of {ϕ(l i ),i = 1,...,k}. Therefore L+R l 1 + +R l k = R L. Conversely, consider an R-basis of subalgebra L, L = m i=k+1 R m b ij l j, b ij R. Put b i = m b ij l j,i = i,...,k. Put M = RD RD k. It is easy to see that M R(D 1 + b 1 ) + +R(D k + b k ) + L/ ( R(D 1 + b 1 )+ +R(D k + b k )+ L R L ) is closed under Lie bracket. Consider the following linear system: (1) b ij d j = D i,i = 1...k; b ij d j = 0,i = k +1,...m. It is easy to see that this system has a unique solution. Denote a linear map ϕ from L to M on basis as ϕ(l i ) = d i,i = 1,...,m. For this map we have that {ϕ(l i )+l i } is a basis of R-module R(D 1 + b 1 ) + +R(D k + b k ) + L. This module is closed under Lie bracket. Therefore we obtain: [ϕ(l i )+l i,ϕ(l j )+l j ] = c s ij (ϕ(l s)+l s ). Hence: [ϕ(l i ),ϕ(l j )] = k=1 c s ij ϕ(l s); s=1
4 4 ON FINITE-DIMENSIONAL SUBALGEBRAS OF DERIVATION ALGEBRAS [l i,l j ] = c k ijl k. Thus we have that c s ij K, i,j,s = 1,...,m. Therefore a K-space generated by ϕ(l i ),i = 1,...m is closed under Lie bracket and a linear map defined on a basis as l i ϕ(l i ) is a morphism of Lie algebras. This completes the proof of Lemma. Remark 2. Analogously to proof of the previous Lemma we obtain that in conditions of this Lemma without condition L 1 L we have an analogous morphism ϕ : L Der K R that is not injective. Consider a following algebraic variety. Definition 3. Let L be a finitely dimension Lie algebras, DimL = m. Consider a following variety: m k (2) M k L = {(a ij ),i = 1...m k,j = 1...m K a ij l j is a subalgebra.} It is easy to see that it is an affine algebraic variety. We will denote it as a variety of subalgebra bases with codimension k. Consider a following closed subspace of M k L. k=1 m k (3) Mk 0 L = {(a ij),i = 1...m k,j = 1...m K and{ i=1 i=1 a ij l j is a subalgebra a ij l j } is linear dependent set.} For any point (a ij ) of M k (L) consider an associated subalgebra m k i=1 K m a ijl j. It has codimension k if and only if (a ij ) / M 0 k (L). Proposition 2. Let K be an algebraically closed field. Let L be a finite dimensional Lie algebra over the field K. Assume that there exist an injection ϕ : L Der K R, k = Dim R Rϕ(L). Then: (i) L has a subalgebra of codimension k; (ii) there exist an irreducible subvariety V of M k (L) such that V Mk 0 (L) and intersection of all associated subalgebras to points of V is {0}. Proof. Put m = DimL Consider a subalgebra L. It has codimension k. Let { m z ijl j }, i = 1,...,m be a basis of L. Let S be a ring generated by {z ij }, in is a subring of field and therefore integral domain. Then we have an obvious injection τ : SpecS M k (L). Assume that all subalgebras associated to points of τ(specs) have codimension greater then k. Then all maximal minors of (p(z ij )) are equal to zero for any evaluation in point p. Hence using Hilbert s Nullstellensatz (see, for example, [7], p. 4) we have that all maximal minors of (z ij ) are equal to 0. Thus L has codimension greater then k. This completes the proof of part (i). Assume that for any closed point p we have that m p(z ij) l j,i = 1...m k has an element m α j l j, α j K. Then the set { m p(z ij) l j } { m α j l j } is linear
5 ON FINITE-DIMENSIONAL SUBALGEBRAS OF DERIVATION ALGEBRAS 5 dependent. Analogously to the proof of (i) we obtain that a set { m z ijl j } { m α j l j } is linear dependent. Thus m α j l j is an element of L with contradiction to Lemma 3. Thus completes the proof of part (ii). Lemma 5. Let K be a field, R be a field containing K, L be a finite dimensional Lie algebra over K. Assume that there exist an R-subalgebra L R L of codimension k. Then there exist a monomorphism ϕ : L Der K F, where F is a quotient field of R[[x 1,...,x k ]] such that Dim F Fϕ(L) = k. If L is nilpotent then F can be changed to K(x 1,...,x k ). Proof. Let l 1,...,l k be an elements of L such that R l 1 + +R l k + L = R L. Put M = F + + = F, D = M F L. ThenwehaveanaturalembeddingR L F L. Let b k+1,..., b m be a basis of L. Then it is a basis of F L. Put w = x 1 l 1 + +x k l k. N = F + +F +F L is closed under Lie bracket. Then an F-module e adw N is closed under Lie bracket. It has a basis {e adw,e adw,e adw bk+1,...,,e adw bm }. Note that all these elements lie in R[[x 1,...,x k ]] and: e adw 1 l i (modj),i = 1,...,k; e adw bi b i (modj), where J is an ideal of R[[x 1,...x k ]] generated by x 1,...,x k. The elements {l 1,...,l k, b k+1,..., b m } are linear independent. Therefore e adw,...,e adw,e adw ( b k+1 ),...,e adw ( b m ) are linear independent and thus give a basis of R L. Analogously we obtain that if 0 l e adw L 1 L then 0 l L 1 L. Hence using Lemma 4 we complete the proof of Lemma. If L is nilpotent (more precisely if l 1,...l k lie in subalgebra L such that ad : L Der(L) is nilpotent representation) then adw is nilpotent derivation of R[x 1,...,x k ] L and thus e adw x i R(x 1,...,x k ),i = k +1,...,m. Thus we can change F to R(x 1,...,x k ). Theorem 1. Let L be a finite dimensional Lie algebra over an algebraically closed field K. Then the following conditions are equivalent: (i) there exists a field R and an injective homomorphism ϕ : L Der K R such that Dim R Rϕ(L) = k; (ii) there exists an irreducible subvariety of V M k (L), V Mk 0 (L), such that an intersection of subalgebras associated to points of V is equal to {0}. Proof. (i) (ii) It is immediate consequence of Proposition 2. (ii) (i) Let S be a coordinate ring of the variety V. Put S = K[z ij,i = 1...m k,j = 1...m]/I = K[ z ij ], z ij = z ij +I such that for any closed point p of S we have { m p( z ij)l j } be a basis of subalgebra of codimension k. V is irreducible. Hence S is an integral domain. Let R be a quotient field of S. Then { m p( z ij)l j } is a basis of subalgebra L R L. Assume that this set is linear dependent. Then it is linear dependent in every point of V. Thus we have that V Mk 0L with contradiction to (ii). Therefore L has codimension k. Finally if l 1 L L then l lies in all subalgebras associated to points S. Thus using Lemma 5 we obtain (i).
6 6 ON FINITE-DIMENSIONAL SUBALGEBRAS OF DERIVATION ALGEBRAS 4. Case of simple Lie algebras Proposition 3. Let K be an arbitrary field, L be a simple Lie algebra over K. Assume that L = L 1 + L 2, where L 1 has codimension k and a representation ad : L 2 DerL is nilpotent. Then there exists a subalgebra ϕ(l) Der K K(x 1,...x k ) such that Dim K(x1,...x k )K(x 1,...x k )ϕ(l) = k. Proof. Denote R = K(x 1,...x k ). Denote M = Der K K(x 1,...x k ), D = M K(x 1,...x k ) L. Put w = x 1 l x k l k. It is easy to see that adw is a nilpotent derivation of D. Put N = R,...,R +R L 1 and consider an R-module e adw N. Let {l k+1,...,l m } be a basis of L 1. Then we have that {e adw ( ),...,e adw ( ),e adw l k+1,...,e adw l m } is a basis of e adw N. Note that all these elements lie in polynomial ring K[x 1,...,x k ] and e adw ( ) l i modj, i = 1,...,k, e adw l j l j modj, j = k+1,...,m, where J is an ideal of K[x 1,...,x k ], generated by x 1,...,x k. Thus we have that e adw ( ),e adw l j give an R basis of R L. Using Remark 2 we have a morphism ϕ : L Der K R. It is injective because L is simple. This completes the proof of Proposition. Corollary 1. There exist an injection ϕ : sl n K Der K K(x 1,...,x n 1 ). Proof. Let α 1,...,α n 1 be a basis of root system, sl n (K) = n + h + n +, where h is a Cartan subalgebra, n + (n ) is a linear span of all positive (negative) root vectors. Put L 1 = h+n + n + wheren + isasubalgebrageneratedbyrootvectorswithrootsinα 1,...,α n 2. It is easy to see that L 1 is a subalgebra and it has codimension n 1. L = L 1 +n. Thus using Proposition 3 we complete the proof of Lemma. Example 1. Let L = sl 3 (K), ±α,±β,±(α + β) be a root system. Let L 1 = h α,h β,e α,e β,e α β,e β. Put w = x 1 e α +x 2 e α+β. Then: e adw = 1 e α, e adw x 2 = x 2 1 e α+β, e adw h α = 1 h α 2x 1 e α x 2 e α+β, e adw h β = 1 h β +x 1 e α x 2 e α+β, e adw e β = 1 e β x 2 e α, e adw e β = 1 e β x 1 e α+β, e adw e α = 1 e α +x 1 h α +x 2 e β x 2 1 e α x 1 x 2 e α+β, e adw e α β = 1 e α β +x 1 e β +x 2 (h α +h β ) x 2 2 e α+β x 1 x 2 e α. Then solving the linear system 1 we have:
7 ON FINITE-DIMENSIONAL SUBALGEBRAS OF DERIVATION ALGEBRAS 7 ϕ(e α ) =,ϕ(e α+β ) =,ϕ(h α ) = 2x 1 x 2,ϕ(h β ) = x 1 x 2, x 2 x 2 x 2 ϕ(e β ) = x 1,ϕ(e β ) = x 2,ϕ(e α ) = x 2 1 x 1 x 2, x 2 x 2 ϕ(e α β ) = x 1 x 2 x 2 2. x 2 References [1] S. Lie, Theorie der Transformationsgruppen, Vol. 1-3, Leipzig, 1888, 1890, [2] A. Nowicki, Polynomial derivations and their rings of constants, N. Copernicus University Press, Torun, [3] I.V. Arzhantsev, E.A. Makedonskii and A.P. Petravchuk, Finite-dimensional subalgebras in polynomial Lie algebras of rank one, Ukrainian Math. Journal, 63 (2011) no. 5, [4] V.M. Buchstaber and D.V. Leykin, Polynomial Lie algebras. Funk. Anal. Pril. 36 (2002), no. 4, (Russian); English transl.: Funct. Anal. Appl. 36 (2002), no. 4, [5] R.O. Popovych, V.M. Boyko, M.O. Nesterenko and M.W. Lutfullin, Realizations of real low-dimensional Lie algebras, J. Phys. A 36 (2003), no. 26, , arxiv:math-ph/ v3. [6] J. Draisma. Lie Algebras of Vector Fields. PhD. Thesis. [7] R. Hartshorne, Algebraic geometry, 1977 Springer-Verlag New York Inc.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define
More information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
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 informationLIE ALGEBRAS: LECTURE 7 11 May 2010
LIE ALGEBRAS: LECTURE 7 11 May 2010 CRYSTAL HOYT 1. sl n (F) is simple Let F be an algebraically closed field with characteristic zero. Let V be a finite dimensional vector space. Recall, that f End(V
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
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 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 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 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 informationarxiv: v1 [math.ra] 26 Sep 2017
LOCALLY NILPOTENT LIE ALGEBRAS OF DERIVATIONS OF INTEGRAL DOMAINS A.P.PETRAVCHUK, O.M.SHEVCHYK, AND K.YA.SYSAK arxiv:1709.08824v1 [math.ra] 26 Sep 2017 Abstract. Let K be a field of characteristic zero
More informationarxiv:math/ v1 [math.ra] 9 Jun 2006
Noetherian algebras over algebraically closed fields arxiv:math/0606209v1 [math.ra] 9 Jun 2006 Jason P. Bell Department of Mathematics Simon Fraser University 8888 University Drive Burnaby, BC, V5A 1S6
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationAN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES
AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,
More informationR S. with the property that for every s S, φ(s) is a unit in R S, which is universal amongst all such rings. That is given any morphism
8. Nullstellensatz We will need the notion of localisation, which is a straightforward generalisation of the notion of the field of fractions. Definition 8.1. Let R be a ring. We say that a subset S of
More informationAlgebraic Geometry: MIDTERM SOLUTIONS
Algebraic Geometry: MIDTERM SOLUTIONS C.P. Anil Kumar Abstract. Algebraic Geometry: MIDTERM 6 th March 2013. We give terse solutions to this Midterm Exam. 1. Problem 1: Problem 1 (Geometry 1). When is
More informationOn Invariants of Complex Filiform Leibniz Algebras ABSTRACT INTRODUCTION
Malaysian Journal of Mathematical Sciences (): 47-59 (009) Isamiddin S.Rakhimov Department of Mathematics Faculty of Science and Institute for Mathematical Research Universiti Putra Malaysia 4400 UPM Serdang
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 informationADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS
ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.
More informationReview of Linear Algebra
Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space
More 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 information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationNORMALIZATION OF THE KRICHEVER DATA. Motohico Mulase
NORMALIZATION OF THE KRICHEVER DATA Motohico Mulase Institute of Theoretical Dynamics University of California Davis, CA 95616, U. S. A. and Max-Planck-Institut für Mathematik Gottfried-Claren-Strasse
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More information4.5 Hilbert s Nullstellensatz (Zeros Theorem)
4.5 Hilbert s Nullstellensatz (Zeros Theorem) We develop a deep result of Hilbert s, relating solutions of polynomial equations to ideals of polynomial rings in many variables. Notation: Put A = F[x 1,...,x
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 information4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;
4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length
More informationSpring 2016, lecture notes by Maksym Fedorchuk 51
Spring 2016, lecture notes by Maksym Fedorchuk 51 10.2. Problem Set 2 Solution Problem. Prove the following statements. (1) The nilradical of a ring R is the intersection of all prime ideals of R. (2)
More informationReid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.
Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationThe most important result in this section is undoubtedly the following theorem.
28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems
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 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 informationarxiv: v1 [math.rt] 15 Oct 2008
CLASSIFICATION OF FINITE-GROWTH GENERAL KAC-MOODY SUPERALGEBRAS arxiv:0810.2637v1 [math.rt] 15 Oct 2008 CRYSTAL HOYT AND VERA SERGANOVA Abstract. A contragredient Lie superalgebra is a superalgebra defined
More informationk k would be reducible. But the zero locus of f in A n+1
Math 145. Bezout s Theorem Let be an algebraically closed field. The purpose of this handout is to prove Bezout s Theorem and some related facts of general interest in projective geometry that arise along
More informationMATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1
MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show
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 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 informationNOTES ON FIBER DIMENSION
NOTES ON FIBER DIMENSION SAM EVENS Let φ : X Y be a morphism of affine algebraic sets, defined over an algebraically closed field k. For y Y, the set φ 1 (y) is called the fiber over y. In these notes,
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 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 informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More informationCommutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14
Commutative Algebra Andreas Gathmann Class Notes TU Kaiserslautern 2013/14 Contents 0. Introduction......................... 3 1. Ideals........................... 9 2. Prime and Maximal Ideals.....................
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationarxiv: v1 [math.ag] 14 Mar 2019
ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationExploring the Exotic Setting for Algebraic Geometry
Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology
More informationπ X : X Y X and π Y : X Y Y
Math 6130 Notes. Fall 2002. 6. Hausdorffness and Compactness. We would like to be able to say that all quasi-projective varieties are Hausdorff and that projective varieties are the only compact varieties.
More informationLecture 7.3: Ring homomorphisms
Lecture 7.3: Ring homomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 7.3:
More informationThis is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
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 informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More informationExtension theorems for homomorphisms
Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informatione j = Ad(f i ) 1 2a ij/a ii
A characterization of generalized Kac-Moody algebras. J. Algebra 174, 1073-1079 (1995). Richard E. Borcherds, D.P.M.M.S., 16 Mill Lane, Cambridge CB2 1SB, England. Generalized Kac-Moody algebras can be
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
More informationTHE THEOREM OF THE HIGHEST WEIGHT
THE THEOREM OF THE HIGHEST WEIGHT ANKE D. POHL Abstract. Incomplete notes of the talk in the IRTG Student Seminar 07.06.06. This is a draft version and thought for internal use only. The Theorem of the
More information2.4 Root space decomposition
34 CHAPTER 2. SEMISIMPLE LIE ALGEBRAS 2.4 Root space decomposition Let L denote a semisimple Lie algebra in this section. We will study the detailed structure of L through its adjoint representation. 2.4.1
More informationAdvanced Algebra II. Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity.
Advanced Algebra II Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity. 1.1. basic definitions. We recall some basic definitions in the section.
More informationMatsumura: Commutative Algebra Part 2
Matsumura: Commutative Algebra Part 2 Daniel Murfet October 5, 2006 This note closely follows Matsumura s book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more
More informationWEAK NULLSTELLENSATZ
WEAK NULLSTELLENSATZ YIFAN WU, wuyifan@umich.edu Abstract. We prove weak Nullstellensatz which states if a finitely generated k algebra is a field, then it is a finite algebraic field extension of k. We
More informationGroup Gradings on Finite Dimensional Lie Algebras
Algebra Colloquium 20 : 4 (2013) 573 578 Algebra Colloquium c 2013 AMSS CAS & SUZHOU UNIV Group Gradings on Finite Dimensional Lie Algebras Dušan Pagon Faculty of Natural Sciences and Mathematics, University
More informationManoj K. Keshari 1 and Satya Mandal 2.
K 0 of hypersurfaces defined by x 2 1 +... + x 2 n = ±1 Manoj K. Keshari 1 and Satya Mandal 2 1 Department of Mathematics, IIT Mumbai, Mumbai - 400076, India 2 Department of Mathematics, University of
More information214A HOMEWORK KIM, SUNGJIN
214A HOMEWORK KIM, SUNGJIN 1.1 Let A = k[[t ]] be the ring of formal power series with coefficients in a field k. Determine SpecA. Proof. We begin with a claim that A = { a i T i A : a i k, and a 0 k }.
More informationThe Gelfand-Tsetlin Realisation of Simple Modules and Monomial Bases
arxiv:8.976v [math.rt] 3 Dec 8 The Gelfand-Tsetlin Realisation of Simple Modules and Monomial Bases Central European University Amadou Keita (keita amadou@student.ceu.edu December 8 Abstract The most famous
More informationMATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties
MATH32062 Notes 1 Affine algebraic varieties 1.1 Definition of affine algebraic varieties We want to define an algebraic variety as the solution set of a collection of polynomial equations, or equivalently,
More informationThe Cartan Decomposition of a Complex Semisimple Lie Algebra
The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with
More informationCOMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES
COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES ROBERT M. GURALNICK AND B.A. SETHURAMAN Abstract. In this note, we show that the set of all commuting d-tuples of commuting n n matrices that
More information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationINJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009
INJECTIVE ODULES AND THE INJECTIVE HULL OF A ODULE, November 27, 2009 ICHIEL KOSTERS Abstract. In the first section we will define injective modules and we will prove some theorems. In the second section,
More informationDedekind Domains. Mathematics 601
Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite
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 informationPDF hosted at the Radboud Repository of the Radboud University Nijmegen
PDF hosted at the Radboud Repository of the Radboud University Nijmegen The version of the following full text has not yet been defined or was untraceable and may differ from the publisher's version. For
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 informationCommutative Algebra and Algebraic Geometry. Robert Friedman
Commutative Algebra and Algebraic Geometry Robert Friedman August 1, 2006 2 Disclaimer: These are rough notes for a course on commutative algebra and algebraic geometry. I would appreciate all suggestions
More informationLinear and Bilinear Algebra (2WF04) Jan Draisma
Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 3 The minimal polynomial and nilpotent maps 3.1. Minimal polynomial Throughout this chapter, V is a finite-dimensional vector space of dimension
More informationHow to sharpen a tridiagonal pair
How to sharpen a tridiagonal pair Tatsuro Ito and Paul Terwilliger arxiv:0807.3990v1 [math.ra] 25 Jul 2008 Abstract Let F denote a field and let V denote a vector space over F with finite positive dimension.
More informationDimension Theory. Mathematics 683, Fall 2013
Dimension Theory Mathematics 683, Fall 2013 In this note we prove some of the standard results of commutative ring theory that lead up to proofs of the main theorem of dimension theory and of the Nullstellensatz.
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 information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationRECURSIVE RELATIONS FOR THE HILBERT SERIES FOR CERTAIN QUADRATIC IDEALS. 1. Introduction
RECURSIVE RELATIONS FOR THE HILBERT SERIES FOR CERTAIN QUADRATIC IDEALS 1 RECURSIVE RELATIONS FOR THE HILBERT SERIES FOR CERTAIN QUADRATIC IDEALS AUTHOR: YUZHE BAI SUPERVISOR: DR. EUGENE GORSKY Abstract.
More informationNOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.
NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over
More informationOn some properties of elementary derivations in dimension six
Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,
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 informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationTotal 100
Math 542 Midterm Exam, Spring 2016 Prof: Paul Terwilliger Your Name (please print) SOLUTIONS NO CALCULATORS/ELECTRONIC DEVICES ALLOWED. MAKE SURE YOUR CELL PHONE IS OFF. Problem Value 1 10 2 10 3 10 4
More informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
More informationSUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationAlgebraic Geometry I Lectures 14 and 15
Algebraic Geometry I Lectures 14 and 15 October 22, 2008 Recall from the last lecture the following correspondences {points on an affine variety Y } {maximal ideals of A(Y )} SpecA A P Z(a) maximal ideal
More informationGLUING SCHEMES AND A SCHEME WITHOUT CLOSED POINTS
GLUING SCHEMES AND A SCHEME WITHOUT CLOSED POINTS KARL SCHWEDE Abstract. We first construct and give basic properties of the fibered coproduct in the category of ringed spaces. We then look at some special
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationORDERED INVOLUTIVE OPERATOR SPACES
ORDERED INVOLUTIVE OPERATOR SPACES DAVID P. BLECHER, KAY KIRKPATRICK, MATTHEW NEAL, AND WEND WERNER Abstract. This is a companion to recent papers of the authors; here we consider the selfadjoint operator
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 informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More information