Problem Fulton Algebraic Curves

906 Views Asked by At

enter image description here enter image description here

I have to do the problem 2.50, I assume the problem 2.30 done.

So I did the following:

b) I know that (t)=m that is equal to ${t,t^2,...}$ is the generator so I have that $R/m^n={u(1,t,t^2,...)/u(t^n,...)}$ where u is the unity, so $R/m^n$ has n elements so its dimension is n.

a) $m^n/m^{n+1}={(t^n,t^{n+1},...)/(t^{n+1},t^{n+2}...)}$ so $m^n/m^{n+1}=t^n$ that's why their dim is 1

c) Since $R/(z)=R/m^n=n$ by part b) so if the ord(z)=n then $dimR/(z)=ord(z)$

I have this but I'm not sure if that is right, and I think I miss something because the dimension is with k, I appreciate your help.

1

There are 1 best solutions below

4
On BEST ANSWER

It is easier to prove first $a)$ and then $b)$.

For $a)$ you can write down an explicit isomorphism, namely multiplication by the uniformizer $t$ (raised to the right power).

\begin{align} R &\to m^{n}/m^{n+1} \\ x &\mapsto xt^{n} \end{align}

This map is surjective and the kernel is $m$.

For $b)$ use the obvious filtration of $R/m^{n}$ with $k$-vector subspaces $$ 0\subseteq m^{n-1}/m^{n}\subseteq \ldots \subseteq m/m^{n} \subseteq R/m^{n} $$ Since the quotients have dimension $1$ over $k$ by part $a)$, the dimension of $R/m^{n}$ over $k$ is $n$ (this is standard linear algebra).

And then use $b)$ to conclude that $$ \operatorname{ord}(z)=\operatorname{dim}_{k}(R/(z)) $$ which is (I would) say the goal of the exercise, since the title "algebraic curves" (whose local rings are in fact DVR's when they are smooth) suggests that $\operatorname{ord}(z)$ represents the vanishing/pole order of some divisor on the curve defined locally by some rational function.