arxiv:math/ v3 [math.ac] 27 Sep 2004
|
|
- Arline Justina Bailey
- 5 years ago
- Views:
Transcription
1 September 8, 2004 Never shoot, Never hit arxiv:math/ v3 [math.ac] 27 Sep 2004 ON THE JACOBIAN CONJECTURE SUSUMU ODA Department of Mathematics Faculty of Education Kochi University Akebono-cho, Kochi JAPAN Abstract. The Jacobian Conjecture can be generalized and is established : Let S be a polynomial ring over a field of characteristic zero in finitely may variables. Let T be an unramified, finitely generated extension of S with T = k. Then T = S. The Jacobian Conjecture is the following : If f 1,, f n be elements in a polynomial ring k[x 1,, X n ] over a field k of characteristic zero such that det( f i / X j ) is a nonzero constant, then k[f 1,, f n ] = k[x 1,, X n ]. To prove the Jacobian Conjecture, we treat a more general case. More precisely, we show the following result: Let k be a algebraically closed field of charactersitic zero, let S be a polynomial ring over k of finite variables and let T be an unramified, finitely generated extension domain of S with T = k. Then T = S Mathematics Subject Classification : Primary 13C25, Secondary 15A18 Key words and phrases: unramified, etale, polynomial rings 1
2 2 SUSUMU ODA Throughout this paper, all fields, rings and algebras are assumed to be commutative with unity. For a ring R, R denotes the set of units of R and K(R) the total quotient ring. Spec(R) denotes the affine scheme defined by R or merely the set of all prime ideals of R and Ht 1 (R) denotes the set of all prime ideals of height one. Our general reference for unexplained technical terms is [9]. 1. Preliminaries Definition. Let f : A B be a ring-homomorphism of finite type of locally Noetherian rings. The homomorphism f is called unramified if PB P = (P A)B P and k(p) = B P /PB P is a finite separable field extension of k(p P) = A P P /(P A)A P A for all prime ideal P of B. The homomorphism f is called etale if f is unramified and flat. Proposition 1.1. Let k be an algebraically closed field of characteristic zero and let B be a polynomial ring k[y 1,...,Y n ]. Let L be a finite Galois extension of the quotient field of B and let D be an integral closure of B in L. If D is etale over B then D = B. Proof. We may assume that k = C, the field of complex numbers by Lefschetz Principle (cf.[4, p.290]). The extension D/B is etale and finite, and so Max(D) Max(B) = C n is a (connected) covering. Since C n is simply connected, we have D = B. (An algebraic proof of the simple connectivity of k n is seen in [14].) Recall the following well-known results, which are required for proving Theorem 2.1 below. Lemma A ([9,(21.D)]). Let (A, m, k) and (B, n, k ) be Noetherian local rings and
3 On The Jacobian Conjecture 3 φ : A B a local homomorphism (i.e., φ(m) n ). If dim B = dim A+dim B A k holds and if A and B A k = B/mB are regular, then B is flat over A and regular. Proof. If { x 1,...,x r } is a regular system of parameters of A and if y 1,...,y s n are such that their images form a regular system of parameters of B/mB, then { ϕ(x 1 ),...,ϕ(x r ), y 1,...,y s } generates n. and r + s = dim B. Hence B is regular. To show flatness, we have only to prove Tor A 1 (k, B) = 0. The Koszul complex K (x 1,...,x r ; A) is a free resolution of the A-module k. So we have Tor A 1 (k, B) = H 1(K (x 1,...,x r ; A) A B) = H 1 (K (x 1,..., x r ; B)). Since the sequence ϕ(x 1 ),...,ϕ(x r ) is a part of a regular system of parameters of B, it is a B-regular sequence. Thus H i (K (x 1,...,x r ; B)) = 0 for all i > 0. Corollary A.1. Let k be a field and let R = k[x 1,...,X n ] be a polynomial ring. Let S be a finitely generated ring-extension of R. If S is unramified over R, then S is etale over R. Proof. We have only to show that S is flat over R. Take P Spec(S) and put p = P R. Then R p S P is a local homomorphism. Since S P is unramified over R p, we have dim S P = dim R p and S P Rp k(p) = S P /PS P = k(p) is a field. So by Lemma A, S P is flat over R p. Therefore S is flat over R by [5,p.91]. Example. Let k be a field of characteristic p > 0 and let S ( = k[x] ) be a polynomial f ring. Let f = X + X p S. Then the Jacobian matrix is invertible. So X k[f] k[x] is finite and unramified. Thus k[f] k[x] is etale by Corollary A.1. Indeed, it is easy to see that k[x] = k[f] Xk[f] X p 1 k[f] as a k[f]-module, which implies that k[x] is free over k[f]. Lemma B ([2,Chap.V, Theorem 5.1]). Let A be a Noetherian ring and B an A-algebra of finite type. If B is flat over A, then the canonical map Spec(B) Spec(A) is an open map. Lemma C ([10, p.51,theorem 3 ]). Let k be a field and let V be a k-affine variety defined by a k-affine ring R (which means a finitely generated algebra over
4 4 SUSUMU ODA k) and let F be a closed subset of V defined by an ideal I of R. If the variety V \ F is k-affine, then F is pure of codimension one. Lemma D([16,Theorem 9, 4, Chap.V]). Let k be a field, let R be a k-affine domain and let L be a finite algebraic field extension of K(R). Let R L denote the integral closure of R in L. Then R L is a module finite type over R. Lemma E([12, Ch.IV,Corollary 2])(Zariski s Main Theorem). Let A be an integral domain and let B be an A-algebra of finite type which is quasi-finite over A. Let A be the integral closure of A in B. Then the canonical morphism Spec(B) Spec(A) is an open immersion. Lemma F([3, Corollary 7.10]). Let k be a field, A a finitely generated k- algebra. Let M be a maximal ideal of A. Then the field A/M is a finite algebraic extension of k. In particular, if k is algebraically closed then A/M = k. Lemma G ([2,VI(3.5)]). Let f : A B and g : B C be ring-homomorphisms of finite type of locally Noetherian rings. (i) Any immersion a f : Spec(B) Spec(A) is unramified. (ii) The composition g f of unramified homomorphims f and g is unramified. (iii) If g f is an unramified homomorphism, then g is an unramified homomorphism. Lemma H ([2,VI(4.7)]). Let f : A B and g : B C be ring-homomorphisms of finite type of locally Noetherian rings. B (resp. C) is considered to be an A- algebra by f (resp. g f). (i) The composition g f of etale homomorphisms f and g is etale. (ii) Any base-extension f A 1 C : C = A A C B A C of an etale homomorphism f is etale. (iii) If g f : A B C is an etale homomorphism and if f is an unramified homomorphism, then g is etale.
5 On The Jacobian Conjecture 5 Corollary H.1. Let R be a ring and let B C and D E be etale R- algebra homomorphisms. Then the homomorphism B R D C R E is an etale homomorphism. Proof. The homomorphism B R D B R E C R E is given by copmposite of base-extensions. So by Lemma H, this composite homomorphism is etale. Lemma I ([11,(41.1)])(Purity of branch loci). Let R be a regular ring and let A be a normal ring which is a finite extension of R. Assume that K(A) is finite separable extension of K(R). If A P is unramified over R P R for all P Ht 1 (A)(= {Q Spec(A) ht(q) = 1}), then A is unramified over R. Lemma J ([17,(1.3.10)]). Let S be a scheme and let (X, f) and (Y, g) be S-schemes. For a scheme Z, Z denotes its underlying topological space. Let p : X S Y X and q : X S Y Y be projections. Then the map of topological spaces p S q : X S Y X S Y is a surjective map. Proof. Let x X, y Y be points such that f(x) = g(y) = s S. Then the residue class fields k(x) and k(y) are the extension-fields of k(s). Let K denote an extension-field of k(s) containing two fields which are isomorphic to k(x) and k(y). Such field K is certainly exists. For instance, we have only to consider the field k(x) k(s) k(y)/m, where m is a maximal ideal of k(x) k(s) k(y). Let x K : i x Spec(K) Spec(k(x)) Spec(O X,x ) X, where ix is the canonical immersion as topological spaces and the identity i x (O X) = O X,x as structure sheaves. Let y K be the one similarly defined as x K. By the construction of x K, y K, we have f x K = g y K. Thus there exists a S-morphism z K : Spec(K) X S Y such that p z K = x K, q z K = y K. Since Spec(K) consists of a single point, putting its image = z, we have p(z) = x, q(z) = y. Therefore the map of topological spaces p S q : X S Y X S Y is surjective.
6 6 SUSUMU ODA Remark 1.1. Let k be a field, let S = k[y 1,..., Y n ] be a polynomial ring over k and let L be a finite Galois extension field of K(S) with Galois group G = { σ 1 = 1, σ 2,...,σ l }. Let T be a finitely generated, flat extension of S contained in L with T = k. Put T σ i = σ i (T) L. Let T := T σ 1 S S T σ l, which has the natural T-algebra structure by T S S S S S T σ 1 S S T σ l = T. Take p Ht 1 (S). Then p is a principal ideal of S and so pt σi T σ i ( σ i G) because T = k. Let P be a minimal prime divisor of pt. Then P σ i Spec(T σ i ) and P σ i S = p because S T is flat. Then the element (P σ 1,...,P σ l ) Spec(T σ 1 ) Spec(S) Spec(S) Spec(T σ l ) is an image of some element Q in Spec( T) because the canonical map Spec( T) = Spec(T σ 1 S S T σ l ) Spec(T σ 1 ) Spec(S) Spec(S) Spec(T σ l ) is surjective by Lemma J. The map Spec( T) projection Spec(T) Spec(S) yields that Q T = P and P S = p. Thus Q S = p. Therefore p T T for all p Ht 1 (S). Lemma K. Let S be an integral domain and let R, R 1,..., R n be extensions of S. Let E be the integral closure of S in R and let E i be the integral closure of S in R i. If R φ φ E R 1 R n is an S-isomorphism, then E E 1 E n. Proof. Put E 0 = E 1 E n R 1 R n. Let α = (a 1,...,a n ) E 0. Then (0,...,0, a i, 0,..., 0) (1 i n) is integral over S, so that α = (a 1, 0,...,0) + (0, a 2, 0,..., 0) + + (0,...,0, a n ) is integral over S. Hence φ 1 (α) E. It follows that φ(e) E 0. Conversely, take β E R φ R 1 R n. Then φ(β) = (b 1,...,b n ), (b i R i ). Since β is integral over S, so is φ(β), which implies that each b i (1 i n) is integral over S, that is, b i E i (1 i n). Thus φ E φ(e) E 0. Therefore E E 1 E n.
7 On The Jacobian Conjecture 7 The following is our main theorem. 2. Main Result Theorem 2.1. Let k be a algebraically closed field of charactersitic zero, let S be a polynomial ring over k of finitely many variables and let T be an unramified, finitely generated extension domain of S with T = k. Then T = S. Proof. (1) Let K( ) denote the quotient field of ( ). There exists a minimal finite Galois extension L of K(S) containing T because K(T)/K(S) is a finite algebraic extension. Let G be the Galois group G(L/K(S)). Put G = { σ 1 = 1, σ 2,...,σ l }, where σ i σ j if i j. Put T σ := σ(t) ( σ G) and put D := S[ σ G T σ ] = S[ l i=1 T σ i ] L. Then K(D) = L since L is a minimal Galois extension of K(S) containing K(T). Since Spec(T) Spec(S) is etale (Corollary A.1 or [4, p.296]), so is Spec(T σ ) Spec(S) for each σ G. Put T # := T σ 1 S S T σ l, which has the natural T-algebra structure by T = T S S S S S T σ 1 S S T σ l = T #. This homomorphism is etale by Corollary H.1 because S T is etale. Let ψ : T # = T σ 1 S S T σ l L be an S-algebra homomorphism sending a σ 1 1 a σ l l to a σ 1 1 a σ l l (a i T). Then D = Im(ψ ) = S[ σ G T σ ] L. Since Spec(T) Spec(S) is etale, the canonical morphism Spec(T # ) = Spec(T σ 1 S S T σ l ) Spec(T σ 1 S S S S S) = Spec(T) is etale, and the natural surjection ψ : T # = T σ 1 S S T σ l D is unramified by Lemma G(i)(or [2,VI(3.5)]). So [T D] = [T T # D] is unramified by Lemma G(ii) because etale is flat and unramified. Moreover S T D is also unramified. Since T and D are unramified over S, both T and D are etale over S and both T and D are regular by Corollary A.1. Let I := Kerψ. So a ψ : Spec(D) = V (I) Spec(T # ) is a closed immersion. Since [T T # D] = [T D] is etale, so is ψ : T # D by Lemma H(iii)
8 8 SUSUMU ODA (or [2,VI(4.7)]). It follows that Spec(D) Spec(T # ) is a closed immersion and an open map because a flat morphism is an open map by Lemma B. Thus Spec(D) = V (I) Spec(T # ) is a connected component of Spec(T # ). So we have seen that the natural S-homomorphism T T # D is etale and that Spec(D) is a connected component of Spec(T # ). Note that T # is reduced because T # is unramified over S, and that dims = dim T = dim D because S, T and D are all k-affine domains with the same transcendence degree over k. Let (0) = s i=1 P i be an irredundant primary decomposition in T #. Since T T # is flat, the GD-theorem [9,(5.D)](or Lemma B) holds for this homomorphism T T #. In the decomposition (0) = s i=1 P i, each P i is a minimal prime divisor of (0), so we have T P i = (0) for all i = 1,..., s. Note that S T σ i is unramified and hence that T # is reduced. The P i s are all prime ideals of T #. Note that I is a prime ideal of T # and that dims = dim T = dim T σ = dim D for each σ G. Thus there exists j, say j = 1, such that I = P 1. In this case, P 1 + s i=2 P i = T # and T # /P 1 = D L as T-algebra. Note that T is considered to be a subring of T # by the canonical injective homomorphisms i : T = T S S S S S T # and that [T T # T # /P 1 = D] = [T D]. Putting C = T # / s i=2 P i, we have T # Φ T # /P 1 T # / s i=2 P i = D C. The ring D is considered a T-algebra naturally and D = T T # /P 1. Similarly we can see that P i +P j = T # for any i j. So consider T # /P j instead of D, we have a direct product decomposition: Φ : T # = T # /P 1 T # /P s. Note that Φ is a T-algebra homomorphism and that each T # /P i is regular (and hence normal). T (2) Now we claim that ad D ( a S \ S ) (#). Note first that for all p Ht 1 (S), pt T by because p is principal and = k, and hence that pt σ T σ for all σ G. Thus pt # T # for all p Ht 1 (S) by Remark 1.1. Since S T # is flat (see (1)), any non-zeto element of S is not a zero-divisor on T #. Moreover we may assume that s 2. In fact, if not then T # = D, and trivially ad D.
9 On The Jacobian Conjecture 9 Suppose that a S is a prime element and that ad = D. Put p = as. Then at # +P 1 = T # and P 2 P s = T # (P 2 P s ) = (at # +P 1 )(P 2 P s ) = ap 2 P s because P 1 P s = (0). That is, ap 2 P s = P 2 P s ( ). Let E # be the integral closure of S in T #. Then Spec(T # ) Spec(E # ) is an open immersion by Lemma E. Since T # = T # /P 1 T # /P s, we have E # = s E # 1 E # s by Lemma K, where E # i is the integral closure of S in K(T # /P i ) (and hence in T # /P i ) (1 i s). Since E # /(P i E # ) is integral over S, we have E # /(P i E # ) E # i (1 i s). Consider the canonical S- homomorphism E # i E E # # /(P 1 E # ) E # /(P s E # ). Then Ker(i E #) = P 1 P s E # = (0), which shows that i E # is injective. It is easy to see that E # i E E # # /(P 1 E # ) E # /(P s E # ) E # 1 E s # is the S- isomorphism Φ E #. Thus E # i = E # /(P i E # ) (1 i s). Hence E # Φ E# E # /(P 1 E # ) E # /(P s E # ). So (P i E # ) + (P j E # ) = E # for i j, and ae # P i = a(e # P i ) (1 i s) because a is not a zero-divisor on T #. For each i, E # /(P i E # ) is a finitely generated S-module by Lemma D, so that E # is finite over S. From ( ), we have (P 2 E # ) (P s E # ) = (P 2 E # ) (P s E # ) = P 2 P s E # = (P 2 P s ) E # = a(p 2 P s ) E # ae # (P 2 P s ) E # = ae # ((P 2 E # ) (P s E # )) = a((p 2 E # ) (P s E # )) = a(p 2 E # ) (P s E # ) (P 2 E # ) (P s E # ). Thus we have (P 2 E # ) (P s E # ) = a((p 2 E # ) (P s E # )). Since E # is a finite S-module, each P i E # (2 i s) is a finite S-module. Hence there existe b S such that (1 + ab)(p 2 E # ) (P s E # ) = 0. So since (1 + ab)(p 2 E # ) (P s E # ) P 1 E # and 1 + ab P 1, we have P i E # P 1 E # (2 i s). Since these are of height zero, P i E # = P 1 E #, which is a contradiction. Hence (#) has been proved. (3) Let E be the integral closure of S in L. Then E D because D is regular (hence normal) and E is an k-affine domain (Lemma D). For any σ
10 10 SUSUMU ODA G = G(L/K(S)), E σ D because E σ is integral over S and D is normal with K(E) = L. Hence E σ = E for any σ G. Note that both D and E have the quotient field L. Zarisiki s Main Theorem(Lemma E) yields the decomposition: i Spec(D) Spec(E) Spec(S), where i is an open immersion and π is integral(finite). We identify Spec(D) Spec(E) as open subset and D P = E P E (P Spec(D)). Let Q Ht 1 (E) with Q S = p = as. Then Q is a prime divisor of ae. Since ad D by (#) in (2), there exists P Ht 1 (D) such that P S = p. Hence there exists σ G such that Q = (P E) σ becasue any minimal divisor of ae is (P E) σ for some σ G ([9,(5.E)]), noting that E is a Galois extension of S. Since D P = E P E is unramified over S P S = S p, E Q = E (P E) σ = E(P E) is unramified over S p. Hence E is unramified over S by Lemma I. By Corollary A.1, E is finite etale over S. So Proposition 1.1 implies that E = S. In particular, L = K(D) = K(E) = K(S) and hence K(T) = K(S). Since S T is birational etale, Spec(T) Spec(S) is an open immersion by Lemma E. Let J be an ideal of S such that V (J) = Spec(S) \ Spec(T). Suppose that J S. Then V (J) is pure of codimension one by Lemma C. Hence J is a principal ideal as because S is a UFD. Since JT = at = T, a is a unit in T. But T = k implies that a k and hence that J = S, a contradiction. Hence V (J) =, that is, T = S. Q.E.D. π 3. The Jacobian Conjecture The Jacobian conjecture has been settled affirmatively in several cases. For example, Case(1) k(x 1,...,X n ) is a Galois extension of k(f 1,...,f n ) (cf. [4],[6] and [15]); Case(2) deg f i 2 for all i (cf. [13] and [14]); Case(3) k[x 1,...,X n ] is integral over k[f 1,...,f n ]. (cf. [4]). A general reference for the Jacobian Conjecture is [4].
11 On The Jacobian Conjecture 11 Remark 3.1. (1) In order to prove Theorem 3.2, we have only to show that the inclusion k[f 1,...,f n ] k[x 1,...,X n ] is surjective. For this it suffices that k [f 1,...,f n ] k [X 1,...,X n ] is surjective, where k denotes an algebraic closure of k. Indeed, once we proved k [f 1,...,f n ] = k [X 1,..., X n ], we can write for each i = 1,...,n: X i = F i (f 1,...,f n ), where F i (Y 1,...,Y n ) k [Y 1,...,Y n ], a polynomial ring in Y i. Let L be an intermediate field between k and k which contains all the coefficients of F i and is a finite Galois extension of k. Let G = G(L/k) be its Galois group and put m = #G. Then G acts on a polynomial ring L[X 1,...,X n ] such that X g i = X i for all i and all g G that is, G acts on coefficients of an element in L[X 1,...,X n ]. Hence mx i = g G X g i = g G F g i (fg 1,...,fg n ) = F g i (f 1,..., f n ). g G Since g G F g i (Y 1,...,Y n ) k[y 1,...,Y n ], it follows that g G F g i (f 1,...,f n ) k[f 1,...,f n ]. Therefore X i k[f 1,..., f n ] because L has a characteristic zero. So we may assume that k is algebraically closed. (2) Let k be a field, let k[x 1,...,X ( n ] denote ) a polynomial ring and let f 1,...,f n fi k[x 1,...,X n ]. If the Jacobian det k (= k \(0)), then the k[x 1,...,X n ] X i is unramified over the subring k[f 1,...,f n ]. Consequently f 1,...,f n is algebraically independent over k. In fact, put T = k[x 1,...,X n ] and S = k[f 1,...,f n ]( T). We have an exact sequence by [9, (26.H)] : v Ω S/k S T Ω T/k Ω T/S 0, where n f i v(df i 1) = dx j (1 i n). X j=1 j ( ) fi So det k implies that v is an isomorphism. Thus Ω T/S = 0 and hence X j T is unramified over S by [2, VI,(3.3)] or [9]. Moreover K(T) is algebraic over K(S), which means that f 1,..., f n are algebraically independent over k.
12 12 SUSUMU ODA As a result of Theorem 2.1, we have the following. Theorem 3.2 (The Jacobian Conjecture). Let k be a field of characteristic zero, let k[x 1,..., X n ] be a polynomial ring over k, and let f 1,..., f n be elements in k[x 1,...,X n ]. If the Jacobian matrix ( f i / X j ) is invertible, then k[x 1,...,X n ] = k[f 1,...,f n ]. 4. Generalization of The Jacobian Conjecture The Jacobian Conjecture (Theorem 3.2) can be generalized as follows. Theorem 4.1. Let A be an integral domain whose quotient field K(A) is of characteristic zero. Let f 1,...,f n be elements of a polynomial ring A[X 1,...,X n ] such that the Jacobian determinant det( f i / X j ) is a unit in A. Then A[X 1,...,X n ] = A[f 1,...,f n ]. Proof. It suffices to prove X 1,...,X n A[f 1,...,f n ]. We have K(A)[X 1,...,X n ] = K(A)[f 1,...,f n ] by Theorem 3.2. Hence X 1 = c i1 i n f i 1 1 fn in with c i1 i n K(A). If we set f i = a i1 X a in X n + (higher degree terms), a ij A, then the assumption implies that the determinant of a matrix (a ij ) is a unit in A. Let Y i = a i1 X a in X n (1 i n). Then A[X 1,...,X n ] = A[Y 1,...,Y n ] and f i = Y i + (higher degree terms). So to prove the assertion, we can assume that without loss of generality the linear parts of f 1,...,f n are X 1,...,X n, respectively. Now we introduce a linear order in the set {(i 1,..., i n ) i k Z} of lattice points in R n (where R denotes the field of real numbers) in the way : (i 1,...,i n ) > (j 1,..., j n ) if (1) i i n > j j n or (2) i i k > j j k and i i k+1 = j j k+1,......, i i n = j j n. We shall show that every c i1...i n is in A by induction on the linear
13 On The Jacobian Conjecture 13 order just defined. Assume that every c j1...j n with (j 1,...,j n ) < (i 1,...,i n ) is in A. Then the coefficients of the polynomial cj1 j n f j 1 1 fjn n are in A, where the summation ranges over (j 1,...,j n ) (i 1,..., i n ). In this polynomial, the term X i 1 1 X in n appears once with the coefficient c i 1...i n. Hence c i1...i n must be an element of A. So X 1 is in A[f 1,...,f n ]. Similarly X 2,...,X n are in A[f 1,..., f n ] and the assertion is proved completely. Corollary 4.2. (Keller s Problem) Let f 1,...,f n be elements of a polynomial ring Z[X 1,...,X n ] over Z, the ring of integers. If the Jacobian determinant det( f i / X j ) is equal to either ±1, then Z[X 1,...,X n ] = Z[f 1,...,f n ]. References [1] S.Abhyankar, Expansion technique in algebraic geometry, Tata Institute of Fundamental Research, Springer-Verlag (1977). [2] A.Altman and S.Kleiman, Introduction to Grothendieck duality theory, Lecture Notes in Math. 146, Springer-Verlag (1970). [3] M.F.Atiyah and L.G.MacDonald, Introduction to Commutative Algebra, Addison-Wesley, London (1969). [4] H.Bass, E.H.Connel and D.Wright, The Jacobian conjecture, Bull. A.M.S., 7(2) (1982), [5] N.Bourbaki, Commutative Algebra, translated from the French, Herman, Paris; Addison- Wesley, Reading, Mass. (1972). [6] L.A.Campbell, A condition for a polynomial map to be invertible, Math. Ann., 205 (1973), [7] E.Kunz, Introduction to Commutative Algebra and Algebraic Geometry, Birkhauser (1985). [8] O.H.Keller, Gamze Cremona-Transformationen, Monatsheft fur Math. und Phys., Vol. 47 (1939), [9] H.Matsumura, Commutative Algebra, Benjamin, New York (1970). [10] M.Nagata, Lectures on The Fourteenth Problem of Hilbert, Tata Institute of Fundamental Research, Bombay (1965). [11] M.Nagata, Local Rings, Interscience (1962). [12] M.Raynaud, Anneaux Locaux Henséliens, Lecture Notes in Math. 169, Springer-Verlag (1970). [13] S.Oda and K.Yoshida, A short proof of the Jacobian conjecture in the case of degree 2, C.R. Math. Rep., Acad. Sci. Canada, Vol.V (1983), [14] S.Wang, On the Jacobian conjecture, J. Algebra 65 (1980), [15] D.Wright, On the Jacobian conjecture, Illinois J. Math., 25 (1981), [16] O.Zariski and P.Samuel, Commutative Algebra, Vol. I GTM 28, Springer-Verlag (1979). [17] M.Nagata, M.Miyanish and M.Maruyama : Abstract Algebraic Geometry, (in Japanese), Kyoritsu-shuppan (1972).
Professor Emeritus Kochi University Address : 345 Hiradani, Taki-cho, Taki-gun, Mie , JAPAN or
[JAC218-11-13+++GaloisVersion-Final] Never try, or never hit. A STROLL AROUND THE JACOBIAN CONJECTURE arxiv:76.1138v81 [math.ac] 6 Dec 218 SUSUMU ODA Professor Emeritus Kochi University Address : 345 Hiradani,
More informationThe Proj Construction
The Proj Construction Daniel Murfet May 16, 2006 Contents 1 Basic Properties 1 2 Functorial Properties 2 3 Products 6 4 Linear Morphisms 9 5 Projective Morphisms 9 6 Dimensions of Schemes 11 7 Points of
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 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 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 informationarxiv: v2 [math.ac] 7 May 2018
INFINITE DIMENSIONAL EXCELLENT RINGS arxiv:1706.02491v2 [math.ac] 7 May 2018 HIROMU TANAKA Abstract. In this note, we prove that there exist infinite dimensional excellent rings. Contents 1. Introduction
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 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 informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
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 informationSCHEMES. David Harari. Tsinghua, February-March 2005
SCHEMES David Harari Tsinghua, February-March 2005 Contents 1. Basic notions on schemes 2 1.1. First definitions and examples.................. 2 1.2. Morphisms of schemes : first properties.............
More informationMath 203A - Solution Set 3
Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)
More informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
More informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More information1 Flat, Smooth, Unramified, and Étale Morphisms
1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q
More informationSummer Algebraic Geometry Seminar
Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties
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 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 informationSection Blowing Up
Section 2.7.1 - Blowing Up Daniel Murfet October 5, 2006 Now we come to the generalised notion of blowing up. In (I, 4) we defined the blowing up of a variety with respect to a point. Now we will define
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 informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More 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 informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.
RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More 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 informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
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 informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
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 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 informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
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 informationTIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH
TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure
More informationArithmetic Algebraic Geometry
Arithmetic Algebraic Geometry 2 Arithmetic Algebraic Geometry Travis Dirle December 4, 2016 2 Contents 1 Preliminaries 1 1.1 Affine Varieties.......................... 1 1.2 Projective Varieties........................
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationMATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA
MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA I want to cover Chapters VIII,IX,X,XII. But it is a lot of material. Here is a list of some of the particular topics that I will try to cover. Maybe I
More information15 Lecture 15: Points and lft maps
15 Lecture 15: Points and lft maps 15.1 A noetherian property Let A be an affinoid algebraic over a non-archimedean field k and X = Spa(A, A 0 ). For any x X, the stalk O X,x is the limit of the directed
More informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationIsogeny invariance of the BSD formula
Isogeny invariance of the BSD formula Bryden Cais August 1, 24 1 Introduction In these notes we prove that if f : A B is an isogeny of abelian varieties whose degree is relatively prime to the characteristic
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 informationON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF
ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationZariski s Main Theorem and some applications
Zariski s Main Theorem and some applications Akhil Mathew January 18, 2011 Abstract We give an exposition of the various forms of Zariski s Main Theorem, following EGA. Most of the basic machinery (e.g.
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 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 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 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 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 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 informationSection Divisors
Section 2.6 - Divisors Daniel Murfet October 5, 2006 Contents 1 Weil Divisors 1 2 Divisors on Curves 9 3 Cartier Divisors 13 4 Invertible Sheaves 17 5 Examples 23 1 Weil Divisors Definition 1. We say a
More informationINERTIA GROUPS AND FIBERS
INERTIA GROUPS AND FIBERS BRIAN CONRAD Let K be a global field and X, Y two proper, connected K-schemes, with X normal and Y regular. Let f : X Y be a finite, flat, generically Galois K-morphism which
More information7 Orders in Dedekind domains, primes in Galois extensions
18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in
More informationNOTES ON ABELIAN VARIETIES
NOTES ON ABELIAN VARIETIES YICHAO TIAN AND WEIZHE ZHENG We fix a field k and an algebraic closure k of k. A variety over k is a geometrically integral and separated scheme of finite type over k. If X and
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 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 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 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 informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
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 informationSynopsis of material from EGA Chapter II, 5
Synopsis of material from EGA Chapter II, 5 5. Quasi-affine, quasi-projective, proper and projective morphisms 5.1. Quasi-affine morphisms. Definition (5.1.1). A scheme is quasi-affine if it is isomorphic
More informationSpectra of rings differentially finitely generated over a subring
Spectra of rings differentially finitely generated over a subring Dm. Trushin Department of Mechanics and Mathematics Moscow State University 15 April 2007 Dm. Trushin () -spectra of rings April 15, 2007
More informationThe Segre Embedding. Daniel Murfet May 16, 2006
The Segre Embedding Daniel Murfet May 16, 2006 Throughout this note all rings are commutative, and A is a fixed ring. If S, T are graded A-algebras then the tensor product S A T becomes a graded A-algebra
More informationOPENNESS OF FID-LOCI
OPENNESS OF FID-LOCI YO TAKAHASHI Abstract. Let be a commutative Noetherian ring and M a finite -module. In this paper, we consider Zariski-openness of the FID-locus of M, namely, the subset of Spec consisting
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 informationIntroduction to Algebraic Geometry. Jilong Tong
Introduction to Algebraic Geometry Jilong Tong December 6, 2012 2 Contents 1 Algebraic sets and morphisms 11 1.1 Affine algebraic sets.................................. 11 1.1.1 Some definitions................................
More informationZERO-DIMENSIONALITY AND SERRE RINGS. D. Karim
Serdica Math. J. 30 (2004), 87 94 ZERO-DIMENSIONALITY AND SERRE RINGS D. Karim Communicated by L. Avramov Abstract. This paper deals with zero-dimensionality. We investigate the problem of whether a Serre
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationTWO IDEAS FROM INTERSECTION THEORY
TWO IDEAS FROM INTERSECTION THEORY ALEX PETROV This is an expository paper based on Serre s Local Algebra (denoted throughout by [Ser]). The goal is to describe simple cases of two powerful ideas in intersection
More informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
unisian Journal of Mathematics an international publication organized by the unisian Mathematical Society Ramification groups of coverings and valuations akeshi Saito 2019 vol. 1 no. 3 msp msp UNISIAN
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 informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More 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 informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
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 informationINTRODUCTION TO ALGEBRAIC GEOMETRY. Throughout these notes all rings will be commutative with identity. k will be an algebraically
INTRODUCTION TO ALGEBRAIC GEOMETRY STEVEN DALE CUTKOSKY Throughout these notes all rings will be commutative with identity. k will be an algebraically closed field. 1. Preliminaries on Ring Homomorphisms
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics GROUP ACTIONS ON POLYNOMIAL AND POWER SERIES RINGS Peter Symonds Volume 195 No. 1 September 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 195, No. 1, 2000 GROUP ACTIONS ON POLYNOMIAL
More informationDOUGLAS J. DAILEY AND THOMAS MARLEY
A CHANGE OF RINGS RESULT FOR MATLIS REFLEXIVITY DOUGLAS J. DAILEY AND THOMAS MARLEY Abstract. Let R be a commutative Noetherian ring and E the minimal injective cogenerator of the category of R-modules.
More 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 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 information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More information11. Dimension. 96 Andreas Gathmann
96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
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 information1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
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 informationAnother proof of the global F -regularity of Schubert varieties
Another proof of the global F -regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More 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 informationAN INTRODUCTION TO AFFINE SCHEMES
AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationHyperbolic Ordinariness of Hyperelliptic Curves of Lower Genus in Characteristic Three
Hyperbolic Ordinariness of Hyperelliptic Curves of Lower Genus in Characteristic Three Yuichiro Hoshi November 2018 Abstract. In the present paper, we discuss the hyperbolic ordinariness of hyperelliptic
More informationLecture 3: Flat Morphisms
Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More information