Ask Your Question

Construct local ring of function field variety

asked 2022-07-30 08:24:34 +0100

narodnik gravatar image

Hello sage community,

I want to localize a variety's field at a certain point. First I construct the field of fractions $K(V)$ for a coordinate ring $K[V]$

K.<x, y> = GF(11)[]
S = K.quotient(y^2 - x^3 - 4*x).fraction_field()

Now I wish to construct the ideal $\langle x - 2 \rangle$, but unforunately $1/(x - 2) \in S$ so $I = S$.

sage: I = S.ideal(x - 2)
sage: I
Principal ideal (1) of Fraction Field of Quotient of Multivariate Polynomial Ring in x, y over Finite Field of size 11 by the ideal (-x^3 + y^2 - 4*x)

How can I exclude all denominators from the fraction field corresponding to $x = 2, y = 4$?

That is $S$ is all $f/g \in K[V] : g(2, 4) \neq 0$.

Thank you

edit retag flag offensive close merge delete


I do not understand what it means to exclude denominators. Even if $g_1(2,4)\ne0$ and $g_2(2,4)\ne0$, we still may have $g_1(2,4)+g_2(2,4)=0$. That is, such polynomials do not form an ideal.

Max Alekseyev gravatar imageMax Alekseyev ( 2022-07-30 21:07:27 +0100 )edit

Maybe I should have excluded the part about the ideal. I just want to construct the local ring, which is $K[V]_P$ aka the coordinate ring localized at a certain point. This means excluding all denominators which are a zero at P.

narodnik gravatar imagenarodnik ( 2022-07-31 07:44:58 +0100 )edit

1 Answer

Sort by ยป oldest newest most voted

answered 2022-08-01 08:12:51 +0100

narodnik gravatar image
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2022-07-30 08:24:34 +0100

Seen: 172 times

Last updated: Aug 01 '22