Math 210B. Artin Rees and completions


 William Park
 3 years ago
 Views:
Transcription
1 Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an Amodule. In class we defined the Iadic completion of M to be M = lim M/I n M. We will soon show that M is naturally identified with the Amodule of equivalence classes of Cauchy sequences {x n } in M relative to the Iadic topology, where {x n } {y n } when x n y n 0. The importance of this alternative description of M is that it expresses the completion in terms which involve only the underlying topology on M and not the specific ideal I (as many ideals J can define the same topology). To establish the description of the completion in terms of Cauchy sequences, we first define an Alinear map from the Amodule of equivalence classes of Cauchy sequences to M. Then we prove this map is an isomorphism. Consider a Cauchy sequence x = {x n } in M relative to the Iadic topology. For any r > 0, the elements x n for n sufficiently large (depending on r) all differ from each other by elements of I r M. That is, the sequence {x n mod I r M} becomes constant for large n (depending on r); this property for all r is just a reformulation of the Cauchy condition. Define m r M/I r M to be this terminal value. It is clear that m r+1 mod I r M = m r. Hence, the sequence (m r ) is an element of lim M/I r M = M depending only on the initial Cauchy sequence x. We denote this element of M as x. It is easy to see that x only depends on the equivalence class of the Cauchy sequence x with which we began, and that moreover it depends Alinearly on x. It remains to show: Proposition 1.1. The Alinear map x x from the Amodule of equivalence classes of Cauchy sequence into the Amodule M is an isomorphism. Proof. For surjectivity, pick an element (m r ) lim M/I r M. Choose a representative x r M of m r for all r. The sequence x = {x r } in M is visibly Iadically Cauchy (since x n mod I r M = m r for all n r), and by the definition of x we see that x = (m r ). For injectivity, by additivity of x x we just have to check that if x = 0 then x 0. The vanishing of x says that for each r and sufficiently large n (depending on r) we have x n I r M, so x n 0 in M relative to the Iadic topology. This says exactly that x 0, as desired. In class we saw explicitly that for a field k, A = k[x 1,..., x n ] (x1,...,x)n) equipped with its maxadic topology has completion identified with the local ring k [x 1,..., x n ] (with its own maxadic topology). Here are more computations of completions. Example 1.2. For any ring R, the ring R[x] equipped with the xadic topology has completion identified with the R[x]algebra R[x] of formal power series over R in the variable x (as one might naturally guess). Indeed, an element of this completion is simply a sequence of polynomials f n (x) R[x] with deg(f n ) < n such that f n+1 mod x n = f n, which is to say f n = r 0 + r 1 x + + r n 1 x n 1 for r j R that have nothing to do with n. Thus, f = r j x j R[x] is a welldefined element, and is uniquely determined by the condition f mod x n = f n under the evident isomorphism R[x]/(x n ) R[x]/(x n ) (both sides finite 1
2 2 free over R with basis {1, x,..., x n 1 }). The map (f n ) f defines an R[x]algebra map R[x] R[x], and by construction it is clearly injective and surjective. As a special case, for a ring k (not necessarily a field) consider A = k[x, y] with the xadic topology. Writing A as k[y][x], taking R = k[y] above yields the description Â = k[y][x]. We want to describe this in another way, by using the natural identification k [x, y ] = (k [x])[y ], so we first review how this latter identification is defined in a way that requires no messy computations to justify compatibility with ring structures. (The method carries over to any finite set of variables.) Since k [x, y ] is (x, y)adically separated and complete, it is also yadically separated and complete (why?). Thus, the evident injection of k[x, y]algebras f 0 : k [x][y] k [x, y ] (defined by the evident kalgebra inclusion k [x] k [x, y ] and the k[y]algebra structure on the target) factors uniquely through a k[x, y]algebra map from the yadic completion of the source (just like the universal property for completions of metric spaces!): f : k [x][y ] k [x, y ]. To prove f is an isomorphism, we inspect what f is: we claim it carries n ( m a nmx m )y n to n,m a nmx n y m (a nm k). The abstract f is yadically continuous, and the proposed formula is yadically continuous (why?), so to prove the correctness of the proposed formula it suffices to compare on a yadically dense subset. The subset k [x][y] is yadically dense in k [x][y ], so we are reduced to computing f on k [x][y], which is to say (by definition of f in terms of f 0 ) that we have to show that f 0 is given by the proposed formula with y n appearing for only finitely many n. But the proposed formula is visibly klinear and compatible with multiplication by y, so it is k[y]linear. Hence, we are reduced to checking that it correctly computes f 0 on k [x], which in turn is obvious from the definition of f 0. Now using the composite k[x, y]algebra isomorphism k [y ][x] = k [x, y ] = k [x][y ] (which amounts to a big rearrangement of infinite series), we wish to describe the image of Â = k[y][x] in k [x][y ]. We claim that it goes over to the set k [x]{y} of restricted formal power series h n (x)y n : formal power series in y with coefficients h n k [x] that x adically tend to 0 as n. (For example, n xn y n k [x]{y} but y n k [x]{y} inside k [x, y ].) To see this, we first observe that the elements n,m a nmx n y m k [x, y ] which lie in k[y][x] are precisely the ones that, when written in the form n ( m a nmy m )x n have each m a nmy m k[y] (inside k [y ]). That is, for each n we have a nm = 0 for sufficiently large m with largeness perhaps depending on n. Now we consider the other rearrangement m ( n a nmx n )y m = m h m(x)y m. Each fixed power x n does not appear in h m (x) for m sufficiently large (depending on n). Equivalently, by taking m large enough for the values n N, this says that if m is sufficiently large (depending on N) then h m only involves monomials x n with n > N. In other words, the condition is exactly that h m 0 in k [x] relative to the xadic topology.
3 2. The Artin Rees Lemma In complete generality, if M is a module over a ring A then for an ideal I of A the Iadic completion M has a natural topology: for x = (x n ) lim M/I n M n 0 M/In M, a base of open neighborhoods of x is given by those sequences x = (x n) such that x n = x n for all n N (with growing N). This is the subspace topology from the product topologies of the discrete spaces M/I n M, so it is Hausdorff. More explicitly, if x x then x n0 x n 0 for some n 0, so the open neighborhoods of x and x given by equality with the first n 0 components are disjoint. Exactly as for completions of metric spaces, essentially by construction M is complete for this topology: all Cauchy sequences in M converge. Indeed, by definition of the topology we see that a sequence in M is Cauchy if and only if the induced sequences of nth components in each M/I n M are eventually constant, with this resulting set of terminal constants x n M/I n M providing an element x = (x n ) M that is a limit of the given Cauchy sequence. However, what is not at all obvious (and in fact can fail in some cases) is whether or not this topology on M coincides with the Iadic topology. More specifically, by definition there are natural surjective Alinear forgetful maps M M/I n M for all n, inducing surjective maps M/I n M M/I n M, and it is not clear if these maps are isomorphisms. In particular, although M is rigged to be complete for its inverse limit topology, it s not clear if the completion is complete... for the Iadic topology on M! The key to good properties of completion in the noetherian setting is the following fundamental result. Theorem 2.1 (Artin Rees Lemma). Let A be a noetherian ring, I an ideal, and M a finitely generated Amodule. For any Asubmodule M M, there exists n 0 > 0 such that for all n n 0, M I n M = I n n 0 (M I n 0 M). Proof. The problem is to find c > 0 so that M I n M I n c (M I c M) for all n > c, as the reverse inclusion is clear. It is equivalent to say that M I n+1 M = I(M I n M) for all n c. That is, we claim that the decreasing chain of submodules M n = M I n M which satisfies IM n M n+1 for all n necessarily satisfies IM n = M n+1 for all large n. The property of such equality for all large n is called Istable in 5 of Chapter X of Lang s Algebra. We refer the reader to that section of Lang s book (see in particular Theorem 5.4) for an elegant selfcontained proof of the Artin Rees lemma by using the Hilbert basis theorem and modules over the auxiliary ring A I I 2 I 3... (using the ring structure in which the direct summands I n and I m have their product under multiplication assigned to live in the direct summand I n+m ). The Artin Rees lemma clearly implies that the Iadic topology on M induces the Iadic topology on M as the subspace topology, though in general M I n M is strictly larger than I n M. Loosely speaking, the Artin Rees Lemma expresses a precise sense in which 3
4 4 the discrepancy between M I n M and I n M is uniformly bounded as n grows. In the next section we will use this fact to deduce many nice properties of completion for finitely generated modules over noetherian rings. Here is a very important consequence of the Artin Rees Lemma that is analogous to the determination of an analytic function by its power series expansion: Corollary 2.2 (Krull intersection theorem: local case). If (A, m) is a local noetherian ring and M is a finitely generated Amodule equipped with the madic topology then M M is injective. Proof. The kernel M = ker(m M) is visibly n 0 mn M. This is a mysterious A submodule of M, but at least it is finitely generated since A is noetherian. But the Artin Rees Lemma gives some n 0 > 0 such that m n n 0 (M m n 0 M) = M m n M = M for all n n 0, and the left side is m n n 0 M. Taking n = n 0 + 1, we get M = mm, so M = 0 by Nakayama s Lemma! The Krull intersection theorem beyond the local case is a bit more involved. In general, for noetherian A with an ideal I and finitely generated Amodule M, often 1 + I contains some a A that is a nonunit in the nonlocal case. Such an a is a unit in Â (why?), so if M is a nonzero A/(a)module then M is a module over Â/(a) = 0, forcing M = 0. The same argument shows that in general the kernel of M M contains the (1 + I)torsion in M. The general Krull intersection theorem says that this is always the exact kernel of the map to the completion (for noetherian A and finitely generated M); in the local case this recovers the above injectivity result. 3. Properties of noetherian completion Let A be a noetherian ring, and I an ideal of A. Consider an exact sequence 0 M M M 0 of finitely generated Amodules. Since the submodules {M I n M} of M define the Iadic topology (by the Artin Rees lemma), the natural map M = lim M /I n M lim M /(M I n M) is an isomorphism. (This is most easily visualized by thinking in terms of equivalence classes of Cauchy sequences). But the target is visibly the kernel of the natural map M M, and in HW11 it is shown that this latter map is surjective. Hence, we get an induced short exact sequence 0 M M M 0, so Iadic completion is an exact functor on finitely generated Amodules. Moreover, HW11 shows that the image of M in M is the closure of the image of M in M for the inverse limit topology on M (which we will see below is the same as its Iadic topology). Thus, M is a closed submodule of M relative to the inverse limit topology on M.
5 The key to relating this inverse limit topology to the Iadic topology on M, and more generally unlocking the mysteries of the completion process, is the fact that M can be directly constructed from M and the completion Â. To make this precise, first note that by definition M is naturally an Âmodule and the natural map M M is linear over the natural map A Â. This underlies: Proposition 3.1. The natural Âlinear map φ M : Â A M M is an isomorphism. If one tried to cheat by taking the left side as the definition of the right side (for noetherian A and Afinite M) then one would immediately get stuck on the fact that it would not be clear if this has good exactness properties in M (whereas we have seen above, partially by HW11, that completion correctly defined! is an exact functor for finitely generated modules over a noetherian ring). Proof. Both sides are right exact in M, and it is clear that φ M is compatible with direct sums in M and is an isomorphism for M = A. This permits the following rather formal argument (which shows in general that a natural transformation between right exact additive functors on finitely generated Amodules is a natural isomorphism when it is so on M = A.) The compatibility with direct sums and the isomorphism property for M = A implies that φ A n is an isomorphism for any n 0. Now choose a right exact sequence A m A n M 0, as we may do since A is noetherian (ensuring that any finite generating set m 1,..., m n of M has finitely generated Amodule of relations in A n ). Thus, we get a commutative diagram of right exact sequences 5 Â A A m Â A A n Â A M 0 φ A m φ A n φ M (A m ) (A n ) M 0 in which the left and middle vertical arrows are isomorphisms. The induced map φ M between the cokernels is therefore an isomorphism too. Corollary 3.2. For any noetherian ring A and ideal I of A, the completion Â is a flat Aalgebra and Ĵ = Â A J JÂ via multiplication for any ideal J of A. In particular, for ideals J, J A we have ĴJ = ĴĴ inside Â. Proof. The isomorphism Â A M M for finitely generated Amodules implies that the functor Â A ( ) is exact on finitely generated Amodules. In general, if an Amodule N makes N A ( ) an exact functor on finitely generated Amodules then N is Aflat. To see this, for any finitely generated Amodule M, pick a generating set and consider the resulting exact sequence 0 M A n M 0.
6 6 Note that M is finitely generated since A is noetherian. Tensoring against N over A then yields an exact sequence Tor 1 A(N, A n ) Tor 1 A(N, M) N A M N A A n N A M 0, but the last 3 terms define a short exact sequence by hypothesis. Thus, the map between Torterms is surjective. The first Torterm vanishes, so we conclude that Tor 1 A(N, M) = 0 for all finitely generated Amodules M. By general nonsense with universal δfunctors, Tor j A (N, ) is naturally compatible with direct limits for any j (since it is true for j = 0), so by expressing any Amodule M as the direct limit of its finitely generated Asubmodules we conclude that Tor 1 A(N, M) = 0 for every Amodule M. Thus, N is Aflat, as desired. Now we address the assertions concerning the behavior of Iadic completion on ideals J in A. By flatness of Â over A, the inclusion J A induces an injection Â A J Â. But this map is visibly multiplication on elementary tensors (using J A Â), so the image of this injective map is the ideal JÂ Â. This establishes the first assertion concerning completion. The second assertion holds because (JÂ)(J Â) = JJ Â as ideals of Â. The importance of the flatness in the preceding corollary cannot be overestimated, especially when A is local and I is the maximal ideal. This flatness property pervades many applications of completion in algebraic geometry, commutative algebra, and number theory, as it underlies techniques of Grothendieck which permit one to transfer properties between A and Â. (An especially striking example is when A is the local ring at a point x on a smooth affine variety Z over C and A is the local ring at the same point on the associated complexanalytic manifold Z an. By deep results of Oka, A is noetherian, so the equality Â = Â implies that any results which transfer properties between a local noetherian ring and its completion permit transferring properties between the algebraic local ring A and the analytic local ring A, thereby linking local algebraic and analytic geometry over C.) Corollary 3.3. For any finitely generated Amodule M, M is a finitely generated Âmodule and the natural map q n : M/I n M M/I n M is an isomorphism. In particular, the inverse limit topology on M coincides with its adic topology relative to the ideal Î = IÂ, so M is Îadically separated and complete and Â is separated and complete for the IÂadic topology. Proof. The map j : M M induces a map j n : M/I n M M/I n M whose composition with q n is the identity map of M/I n M (check!). Thus, to show that q n is an isomorphism it suffices to prove that j n is an isomorphism. By the exactness of completion on finitely generated modules, we have naturally M/I n M (M/I n M), and the composition of this with j n is the natural map M/I n M (M/I n M). This is just the map from M/I n M to its Iadic completion, and so is an isomorphism since the Iadic topology on M/I n M is discrete (hence separated and complete).
7 Example 3.4. Let (A, m) be a local noetherian ring. We saw in class that the madic completion Â is local, and Â/ m = (A/m) = A/m is a field. That is, the ideal m = mâ must be the unique maximal ideal of the local ring Â, so Â is maxadically separated and complete. We will soon see that Â is also noetherian, so it is a complete local noetherian ring (meaning complete for its own maxadic topology). There are examples of nonnoetherian local (A, m) such that the local madic completion Â has maximal ideal strictly larger than mâ and which is not separated and complete for the topology defined by its own maximal ideal. In general one has to be very careful when working with completions beyond the noetherian setting. Finally, we address the important problem of preservation of the noetherian condition under the completion process. As a special case, if R is noetherian then so is R[x 1,..., x n ] (Hilbert basis theorem), but how about its (x 1,..., x n )adic completion R[x 1,..., x n ]? Theorem 3.5 (Formal Hilbert basis theorem). For any noetherian ring R, R[x 1,..., x n ] is noetherian. Proof. In Example 1.2 we saw that there is a natural ring isomorphism R[x 1,..., x n ] (R[x 1,..., x n 1 ])[x n ]. (This was explained in the case n = 2, but the method was sufficiently general that it works the same way for any n > 1, as the reader may check.) Hence, by induction (as in the proof of the usual Hilbert basis theorem) it suffices to treat the case n = 1. That is, we seek to show that R[x] is noetherian when R is noetherian. The proof of this case is modeled on the case of R[x], except using induction on leastdegree terms instead of topdegree terms. See Theorem 9.4 in Chapter IV of Lang s Algebra for the details. There is a nifty isomorphism that allows us to bootstrap the formal Hilbert basis theorem into a proof of noetherianity for completions of noetherian rings in general: Proposition 3.6. If {a 1,..., a n } is a generating set of A then Â A[X 1,..., X n ]/(X 1 a 1,..., X n a n ) as Aalgebras. In particular, Â is noetherian. Moreover, every finitely generated Âmodule is separated and complete for the IÂadic topology, and every submodule of a finitely generated Âmodule is closed for this topology. Proof. Let B = A[x 1,..., x n ] with the (x 1,..., x n )adic topology, and define the Aalgebra map q : B A by x i a i. Let J = (x 1,..., x n ) B. Viewing A as a Bmodule in this way, the Iadic topology on A coincides with its Jadic topology as a finitely generated Bmodule, so we can compute Â with the Bmodule viewpoint using the Jadic topology. Note that B is noetherian, by the usual Hilbert basis theorem. Consider the right exact sequence B n B q A 0 of finitely generated Bmodules, where the left map is (b i ) (X i a i )b i. Jadic completions then yields a rightexact sequence B B Â 0 7 Passing to
8 8 where the first map is (b i) (X i a i )b i and the second map is the natural map q induced between completions. In particular, extension by continuity from the dense image of B in B = A[x 1,..., x n ] shows that q is a ring homomorphism, and its kernel is the ideal generated by the elements X i a i. This establishes the asserted description of Â. To prove the assertions concerning finitely generated Âmodules, now we can replace (A, I) with (Â, IÂ) without losing the noetherian condition (!), and this bring us to the case that A is itself Iadically separated and complete (i.e., the natural map A Â is an isomorphism). Hence, for any finitely generated Amodule M we have naturally Â A M M yet A Â is an isomorphism, so we conclude that the natural map M M is an isomorphism. That is, M is Iadically separated and complete. Finally, continuing to assume A = Â, if j : M M is an inclusion between finitely generated Amodules, to show that M is closed in M for the Iadic topology we recall that in general the image of M in M under ĵ is the closure of the image of M in M for the inverse limit topology on M (by HW11). The natural identifications M = M and M = M identify ĵ with j, and we have also seen that the inverse limit topology on M is its adic topology for the ideal IÂ = I, so M is its own closure in M for the Iadic topology. Here is an interesting formal variant of Nakayama s Lemma. Corollary 3.7. Let A be a noetherian ring that is separated and complete for the topology defined by an ideal I. An Alinear map f : M M between finitely generated Amodules is surjective if f mod I is surjective. In particular, a set of elements m 1,..., m n of M is a spanning set if and only if it is an spanning set for M/IM, and if M/IM = 0 then M = 0. Proof. For the cokernel M = coker f we have M /IM = 0, and we want to show that M = 0. More generally, for any finitely generated Amodule M we claim that if M = IM then M = 0. Note that M = I n M for all n > 0, by induction. Thus, M/I n M = 0 for all n > 0, so M = 0. But M M is an isomorphism due to the completeness hypothesis on A, so M = Discrete valuation rings Let R be a discrete valuation ring, and t R a uniformizer (i.e., generator of the unique maximal ideal m of R). Whereas the completion of a local noetherian domain can generally fail to be a domain (as we have seen at singularities on plane curves), for discrete valuation rings this problem does not occur: Proposition 4.1. The completion R is a discrete valuation ring with t as a uniformizer. Proof. The element t is not a zerodivisor in R. Indeed, suppose x = (x n ) lim R/(t n ) and tx = 0, so tx n = 0 in R/(t n ) for all n > 0. Then x n t n 1 R/t n R since a representative x n R of x n becomes divisible by t n after multiplication by t and hence must be divisible by t n 1 because R is a discrete valuation with unifomizer t. But with x n (t n 1 )/(t n ) for all n > 0, the compatibility of the x n s under the reduction maps yields x n = x n+1 mod t n = 0 for all n > 0, so x = 0 as desired.
9 We shall next prove that every nonzero element of R has the form ut n with u R and n 0. Once this is proved, it follows that R is a domain (as t is not a zero divisor in R, so a product of elements of the form ut n and u t n with u, u R and n, n 0 is nonzero). Thus, it would even be a PID in which every element is a unit multiple of a power of the element t that is a nonunit (since t is killed under the natural map R R/(t)), and so (t) must be a maximal ideal and in fact the only one. Being a local PID, it must then be a discrete valuation ring with uniformizer t as claimed. To verify the asserted description of nonzero elements ξ of R, writing (ξ n ) lim R/(t n ) for ξ, since ξ 0 some ξ n0 0 we have ξ n0 = t e u n0 mod t n 0 for some e < n 0 and u n0 R. Thus, for alll n > n 0 we have ξ n mod t n 0 = ξ n0 = t e u mod t n 0 is nonzero. A representative ξ n R for ξ n R/(t n ) is a power of t times a unit, and modulo t n 0 this becomes t e u, so ξ n cannot be divisible by any power of t higher than the eth power (or else that would be detected modulo t n 0 with n 0 > e. Writing ξ n = t en u n with 0 e n e and u n R, we have t en u n t e u n0 mod t n 0 with n 0 > e e n. Dividing throughout by t e then gives t en e u n0 /u n mod t n0 e with n 0 e > 0, e n e 0, and u n0 /u n R. But a unit is nonzero modulo the maximal ideal tr, so this forces e n e = 0; i.e., ξ n = t e u n mod t n for some u n R and a common integer e 0 for all n n 0. The congruence ξ n+1 ξ n mod t n for all n n 0 says t e u n+1 t e u n mod t n for all n n 0, so u n+1 u n mod t n e for all n n 0 > e. Thus, if we define v m := u m+n0 mod t m for m > 0 then v m+1 v m mod t m for all m > 0. This says that v := (v m ) lim R/(t m ) = R and this element is a unit (as each v m is a unit), with ξ m = ξ m+n0 mod t m = t e u n0 +m mod t m = t e v m in R/(t m ) for all m > 0. In other words, ξ = t e v for v R, as desired. 9
Formal power series rings, inverse limits, and Iadic completions of rings
Formal power series rings, inverse limits, and Iadic 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 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 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
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 informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
More informationALGEBRA HW 4. M 0 is an exact sequence of Rmodules, then M is Noetherian if and only if M and M are.
ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of Rmodules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into
More informationMath 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm
Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel
More information6 Lecture 6: More constructions with Huber rings
6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace
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 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 informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More 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 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 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 informationNotes on pdivisible Groups
Notes on pdivisible 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 informationMath 711: Lecture of September 7, Symbolic powers
Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
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 informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationThus, the integral closure A i of A in F i is a finitely generated (and torsionfree) Amodule. It is not a priori clear if the A i s are locally
Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an Aalgebra that is finitely generated and torsionfree as an Amodule with B also locally free
More informationwhere Σ is a finite discrete Gal(K sep /K)set unramified along U and F s is a finite Gal(k(s) sep /k(s))subset
Classification of quasifinite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasifinite étale separated schemes X over a henselian local ring
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 socalled cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationHomework 2  Math 603 Fall 05 Solutions
Homework 2  Math 603 Fall 05 Solutions 1. (a): In the notation of AtiyahMacdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an Amodule. (b): By Noether
More informationExtended Index. 89f depth (of a prime ideal) 121f ArtinRees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f  listings ending in f give the page where the term is defined commutative
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 information7 Lecture 7: Rational domains, Tate rings and analytic points
7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss
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 nspace the collection A n k of points P = a 1, a,..., a
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 informationCRing Project, Chapter 5
Contents 5 Noetherian rings and modules 3 1 Basics........................................... 3 1.1 The noetherian condition............................ 3 1.2 Stability properties................................
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 informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is halfexact if whenever 0 M M M 0 is an exact sequence of Amodules, the sequence T (M ) T (M)
More information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
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 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 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 Alinear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
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 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 information8 Complete fields and valuation rings
18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a
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 informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine kalgebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
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 informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
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 RiemannRoch theorem. The main theorem shows that if K/F is a finite
More informationTHE SHIMURATANIYAMA FORMULA AND pdivisible GROUPS
THE SHIMURATANIYAMA FORMULA AND pdivisible GROUPS DANIEL LITT Let us fix the following notation: 1. Notation and Introduction K is a number field; L is a CM field with totally real subfield L + ; (A,
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 informationCommutative Algebra. Contents. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...
Commutative Algebra B Totaro Michaelmas 2011 Contents 1 Basics 4 1.1 Rings & homomorphisms.............................. 4 1.2 Modules........................................ 6 1.3 Prime & maximal ideals...............................
More informationCOHENMACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHENMACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and Nregular element for the base case. Suppose now that xm = 0 for some m M. We
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
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 kalgebra. In class we have seen that the dimension theory of A is linked to the
More informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution LudwigMaximiliansUniversität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective Rmodules. The following
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 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 informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
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 nonarchimedean field k and X = Spa(A, A 0 ). For any x X, the stalk O X,x is the limit of the directed
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 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 informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More informationFormal groups. Peter Bruin 2 March 2006
Formal groups Peter Bruin 2 March 2006 0. Introduction The topic of formal groups becomes important when we want to deal with reduction of elliptic curves. Let R be a discrete valuation ring with field
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 information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the socalled prime and maximal ideals. Let
More informationHomological Dimension
Homological Dimension David E V Rose April 17, 29 1 Introduction In this note, we explore the notion of homological dimension After introducing the basic concepts, our two main goals are to give a proof
More informationAlgebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0
1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.
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 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 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 informationTopological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural nonfréchet spaces Topological vector spaces Quotients and linear maps More topological
More informationALGEBRA HW 3 CLAY SHONKWILER
ALGEBRA HW 3 CLAY SHONKWILER (a): Show that R[x] is a flat Rmodule. 1 Proof. Consider the set A = {1, x, x 2,...}. Then certainly A generates R[x] as an Rmodule. Suppose there is some finite linear combination
More informationAlgebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014
Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................
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 pathconnected topological space, and
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 informationCommutative Algebra. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...
Commutative Algebra B Totaro Michaelmas 2011 Contents 1 Basics 2 1.1 Rings & homomorphisms................... 2 1.2 Modules............................. 4 1.3 Prime & maximal ideals....................
More informationMath 396. Quotient spaces
Math 396. Quotient spaces. Definition Let F be a field, V a vector space over F and W V a subspace of V. For v, v V, we say that v v mod W if and only if v v W. One can readily verify that with this definition
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
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 informationNOTES FOR COMMUTATIVE ALGEBRA M5P55
NOTES FOR COMMUTATIVE ALGEBRA M5P55 AMBRUS PÁL 1. Rings and ideals Definition 1.1. A quintuple (A, +,, 0, 1) is a commutative ring with identity, if A is a set, equipped with two binary operations; addition
More information1 Adeles over Q. 1.1 Absolute values
1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if
More informationLIVIA HUMMEL AND THOMAS MARLEY
THE AUSLANDERBRIDGER FORMULA AND THE GORENSTEIN PROPERTY FOR COHERENT RINGS LIVIA HUMMEL AND THOMAS MARLEY Abstract. The concept of Gorenstein dimension, defined by Auslander and Bridger for finitely
More 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 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 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 informationAssigned homework problems S. L. Kleiman, fall 2008
18.705 Assigned homework problems S. L. Kleiman, fall 2008 Problem Set 1. Due 9/11 Problem R 1.5 Let ϕ: A B be a ring homomorphism. Prove that ϕ 1 takes prime ideals P of B to prime ideals of A. Prove
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 informationTHE CLOSEDPOINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter
THE CLOSEDPOINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS K. R. Goodearl and E. S. Letzter Abstract. In previous work, the second author introduced a topology, for spaces of irreducible representations,
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
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 informationMath 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )
Math 762 Spring 2016 Homework 3 Drew Armstrong Problem 1. Yoneda s Lemma. We have seen that the bifunctor Hom C (, ) : C C Set is analogous to a bilinear form on a Kvector space, : V V K. Recall that
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationA Version of the Grothendieck Conjecture for padic Local Fields
A Version of the Grothendieck Conjecture for padic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationNOTES ON SPLITTING FIELDS
NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationBulletin of the Iranian Mathematical Society
ISSN: 1017060X (Print) ISSN: 17358515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Heydar Radjavi s 80th Birthday Vol 41 (2015), No 7, pp 155 173 Title:
More informationTHE REGULAR ELEMENT PROPERTY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 126, Number 7, July 1998, Pages 2123 2129 S 00029939(98)042579 THE REGULAR ELEMENT PROPERTY FRED RICHMAN (Communicated by Wolmer V. Vasconcelos)
More informationFall 2014 Commutative Algebra Final Exam (Solution)
18.705 Fall 2014 Commutative Algebra Final Exam (Solution) 9:00 12:00 December 16, 2014 E17 122 Your Name Problem Points 1 /40 2 /20 3 /10 4 /10 5 /10 6 /10 7 / + 10 Total /100 + 10 1 Instructions: 1.
More informationAbsolute Values and Completions
Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic
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 informationInfiniteDimensional Triangularization
InfiniteDimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector
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 informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More information