Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Reducing a polynomial over a function field modulo a valuation

In my situation, I have the following elliptic curve:

K.<t> = FunctionField(QQ)
E = EllipticCurve([t,t])

I want to be able to go modulo t to get the curve

z*y^2 - x^3 = 0

I cannot figure out how to do this. I would like to work with valuations if possible (like going mod K.valuation(0)), but any way to make this work would be great. In general, I'd like to be able to go modulo any irreducible polynomial.

Reducing a polynomial over a function field modulo a valuation

In my situation, I have the following elliptic curve:

K.<t> = FunctionField(QQ)
E = EllipticCurve([t,t])

I want to be able to go modulo t to get the curve

z*y^2 - x^3 = 0

I cannot figure out how to do this. I would like to work with valuations if possible (like going mod K.valuation(0)), but any way to make this work would be great. In general, I'd like to be able to go modulo any irreducible polynomial.

click to hide/show revision 3
retagged

Reducing a polynomial over a function field modulo a valuation

In my situation, I have the following elliptic curve:

K.<t> = FunctionField(QQ)
E = EllipticCurve([t,t])

I want to be able to go modulo t to get the curve

z*y^2 - x^3 = 0

I cannot figure out how to do this. I would like to work with valuations if possible (like going mod K.valuation(0)), but any way to make this work would be great. In general, I'd like to be able to go modulo any irreducible polynomial.