Ask Your Question
0

Defining a general curve

asked 2013-03-22 06:48:07 -0600

Michalis N gravatar image

Hey, I am relatively new to Sage, so this question might be very simple: I want to define a projective curve in $\mathbb{P}^2$ given by $x^3=y^3-Az^3$, where $A$ is an arbitrary non-zero element of an algebraically closed field, say C. I tried the following:

x,y,z=ProjectiveSpace(2,CC,'xyz').gens();

var('A',domain=CC);

C=Curve(x^3+y^3-A*z^3);

But I get TypeError: F (=-A*z^3 + x^3 + y^3) must be a multivariate polynomial.

Is it possible to define the curve I want in Sage? All examples of algebraic geometry in Sage I saw deal with explicitly defined curves.

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted
1

answered 2013-03-26 10:29:14 -0600

lftabera gravatar image

In this case A would be a variable. You might do the following

sage: K=QQ['A'].fraction_field()
sage: K.inject_variables()
Defining A
sage: R=K['x,y,z']
sage: R.inject_variables()
Defining x, y, z
sage: F=-A*z^3 + x^3 + y^3
sage: Curve(F)
Projective Curve over Fraction Field of Univariate Polynomial Ring in A over Rational Field defined by x^3 + y^3 + (-A)*z^3

But I am not sure if this is what you really want. I am afraid that curves defined over transcendental fields will have few working methods.

edit flag offensive delete link more

Comments

Michalis N gravatar imageMichalis N ( 2013-03-27 05:51:23 -0600 )edit

Your Answer

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

Add Answer

Question Tools

Stats

Asked: 2013-03-22 06:48:07 -0600

Seen: 61 times

Last updated: Mar 26 '13