Problem 50 - Algebraic Curves: An Introduction to Algebraic Geometry

Question

Let \(R\) be a DVR satisfying the conditions of Problem \(2.30\). Then \(\mathfrak{m}^{n} / \mathrm{m}^{n+1}\) is an \(R\)-module, and so also a \(k\)-module, since \(k \subset R\). (a) Show that \(\operatorname{dim}_{k}\left(\mathfrak{m}^{n} / \mathrm{m}^{n+1}\right)=1\) for all \(n \geq 0\). (b) Show that \(\operatorname{dim}_{k}\left(R / \mathfrak{m}^{n}\right)=n\) for all \(n>0\). (c) Let \(z \in R\). Show that \(\operatorname{ord}(z)=n\) if \((z)=\mathfrak{m}^{n}\), and hence that \(\operatorname{ord}(z)=\operatorname{dim}_{k}(R /(z))\).

Step-by-Step Solution

Answer

Short Answer: For a DVR R with maximal ideal m, we can show that for all n ≥ 0, the quotient mⁿ / m^(n+1) has a dimension of 1 as a k-module. We can then show that for all n > 0, R / mⁿ has a dimension of n as a k-module. Finally, we can show that the order of any element z in R is equal to the dimension of R / (z) as a k-module. This proves the required properties for a discrete valuation ring.

Step 1: Show the dimension of the quotient as a k-module

Since R is a DVR with maximal ideal \(\mathfrak{m}\), it satisfies the conditions of Problem 2.30. Hence, there exists a uniformizing parameter \(\pi \in \mathfrak{m}\) such that \(\mathfrak{m} = (\pi)\). For all \(n \geq 0\), let's consider the quotient \(\mathfrak{m}^{n} / \mathrm{m}^{n+1}\): \(\mathfrak{m}^{n} / \mathrm{m}^{n+1} = (\pi^n) / (\pi^{n+1})\). We can see that \(k(\pi^n) = \{\alpha \pi^n \mid \alpha \in k\}\) is a basis for \(\mathfrak{m}^{n} / \mathrm{m}^{n+1}\) as a \(k\)-module. Since it has only one element, \(\operatorname{dim}_{k}\left(\mathfrak{m}^{n} / \mathrm{m}^{n+1}\right)=1\).

Step 2: Show the dimension of R mod m^n as a k-module

We need to show that for all \(n>0\), \(\operatorname{dim}_{k}\left(R / \mathfrak{m}^{n}\right)=n\). We can prove this by induction. Base case (n=1): \(\operatorname{dim}_{k}\left(R / \mathfrak{m}\right) = \operatorname{dim}_{k}\left(R / (\pi)\right) = 1\) since we can consider the basis \(\{1, \pi, \pi^2, \ldots\}\). Inductive step: Suppose that for some \(n > 0\), \(\operatorname{dim}_{k}\left(R / \mathfrak{m}^{n}\right)=n\). Now, we need to show that \(\operatorname{dim}_{k}\left(R / \mathfrak{m}^{n+1}\right)=n+1\). We have the short exact sequence: \(0 \rightarrow \mathfrak{m}^{n} / \mathfrak{m}^{n+1} \rightarrow R / \mathfrak{m}^{n+1} \rightarrow R / \mathfrak{m}^{n} \rightarrow 0\) By Step 1, we know that \(\operatorname{dim}_{k}\left(\mathfrak{m}^{n} / \mathfrak{m}^{n+1}\right)=1\). By the induction hypothesis, \(\operatorname{dim}_{k}\left(R / \mathfrak{m}^{n}\right)=n\). Using the additivity of the dimension of \(k\)-module, we have: \(1 + \operatorname{dim}_{k}\left(R / \mathfrak{m}^{n+1}\right) = n\) Therefore, \(\operatorname{dim}_{k}\left(R / \mathfrak{m}^{n+1}\right)=n+1\).

Step 3: Show the order of an element

Let \(z \in R\). We need to show that \(\operatorname{ord}(z)=n\) if and only if \((z)=\mathfrak{m}^{n}\) and that \(\operatorname{ord}(z)=\operatorname{dim}_{k}(R /(z))\). Suppose \((z) = \mathfrak{m}^{n}\). Then, \(z \in \mathfrak{m}^{n}\) and \(z \notin \mathfrak{m}^{n+1}\). Hence, \(z = u\pi^{n}\) for some unit \(u \in R^{\times}\). Then, \(\operatorname{ord}(z)=n\). Conversely, suppose \(\operatorname{ord}(z) = n\). Then, \(z = u\pi^{n}\) for some unit \(u \in R^{\times}\). Hence, \((z)=\mathfrak{m}^{n}\). Now, we need to show that \(\operatorname{ord}(z)=\operatorname{dim}_{k}(R /(z))\). By the results from Step 1 and Step 2, we have: \(\operatorname{dim}_{k}(R /(z)) = \operatorname{dim}_{k}(R /(\pi^n)) = \operatorname{dim}_{k}(R /\mathfrak{m}^n) = n\) Therefore, \(\operatorname{ord}(z)=\operatorname{dim}_{k}(R /(z))\).

Key Concepts

Dedekind Domain

In algebraic geometry and number theory, a Dedekind domain is a very special type of domain that has rich properties and structure. It is named after the mathematician Richard Dedekind, and it can be thought of as an environment where unique factorization of ideals holds, much like how prime factorization works for integers.

A Dedekind domain has three main characteristics: it is an integral domain, it is Noetherian (every ascending chain of ideals terminates), and every non-zero prime ideal is maximal (there are no larger non-zero ideals containing it). Additionally, in a Dedekind domain, every non-zero ideal can be uniquely factored into a product of prime ideals.

These properties make Dedekind domains very useful for solving problems in algebraic number theory, such as those involving the distribution of prime numbers in number fields. The concept of a Dedekind domain extends to higher dimensions in algebraic geometry as well, providing a framework for understanding algebraic curves and surfaces.

Maximal Ideal

A maximal ideal is a robust concept in ring theory, a subfield of abstract algebra. In the hierarchy of ideals within a ring, a maximal ideal sits just below the ring itself, signifying that there are no other ideals except for the ring that contain it.

An ideal \(I\) in a ring \(R\) is maximal if there is no other ideal \(J\) such that \(I \subsetneq J \subsetneq R\). One important property of maximal ideals is that the quotient ring \(R/I\) is a field if and only if \(I\) is maximal. This property is crucial when studying the structure of rings and is often used to create fields from rings for further analysis.

In our context, the Dedekind domain comes with the guarantee that every non-zero prime ideal is maximal, which provides a lot of power when analyzing the structure of such domains. This concept is vital in algebraic geometry where the geometric analogs of these algebraic structures play a key role in the study of varieties and schemes.

Module Dimension

The concept of dimension in a module, particularly over a field, is analogous to the dimension of a vector space. It is a numerical value that tells us how many vectors of the field are needed to form a basis for the module - in other words, the 'size' of the module.

In the given exercise, we explore the module dimension denoted by \(\operatorname{dim}_k(\cdot)\) which represents the number of elements in a basis of a module over the field \(k\). The dimension provides an insight into the structure of the module: if the dimension is finite, we say the module is 'finite-dimensional' over \(k\).

Understandably, proving that the dimension of a quotient of ideals is finite is a powerful result used to deduce many other properties, as seen in the steps of our solution. Dimension plays a pivotal role across various areas of algebra, including algebraic geometry, where it helps describe the 'size' or 'complexity' of algebraic varieties.

Exact Sequence

An exact sequence is a sequence of modules and module homomorphisms between them, which captures the idea of conservation of a structure as it 'flows' from one module to another. Formally, a sequence of modules and homomorphisms \(A \to B \to C\) is exact at \(B\) if the image of the first homomorphism is equal to the kernel of the second.

In simpler terms, when you map something from \(A\) to \(B\), and then from \(B\) to \(C\), the exactness ensures that nothing new pops out in \(B\), and nothing gets lost when moving from \(A\) to \(B\). This concept is powerful when investigating complex structures since it binds different modules in a tight relationship.

In the exercise solution, we apply the concept of exact sequences to calculate dimensions of modules over a field \(k\), by using the properties of short exact sequences to deduce the dimensions of the quotient modules involved. Understanding exact sequences is essential in algebra and topology and provides a language to discuss cohomology, which plays a crucial role in algebraic geometry.