/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none} Problem 18 Let \(X\) be the curve \(y^{2}=x... [FREE SOLUTION] | 91Ó°ÊÓ

91Ó°ÊÓ

Let \(X\) be the curve \(y^{2}=x^{3}-7 x+10 .\) This curve has at least 26 points with integer coordinates. Find them (use a calculator), and verify that they are all contained in the subgroup (maybe equal to all of \(X(\mathbf{Q}) ?\) ) generated by \(P=(1,2)\) and \(Q=(2,2).\)

Short Answer

Expert verified
The required integer points can be obtained through repeated trial and error in the given equation. Furthermore, using the rules of addition of points on elliptic curves, it can be confirmed whether these points indeed belong to the subgroup generated by points P and Q. This needs to be done for all the obtained points, including the point at infinity.

Step by step solution

01

Finding the points with integer coordinates

First, find the points with integer coordinates on the curve \(y^{2} = x^{3} - 7x + 10\). This can be done by trying out different integer values for x in the equation and checking if it results in an integer value for y, i.e., if y is a whole number. This will give us all the points with integer coordinates.
02

Verifying that the points are in the subgroup

Next, confirm whether the points found in step 1 are part of the subgroup generated by points P = (1,2) and Q = (2,2). This is done by using addition of points on elliptic curves. For example, to check if a point R is a part of the subgroup generated by P and Q, check if R can be written as a sum of multiples of P and Q.
03

Complete verification

Lastly, ensure that all the points obtained in the first step can be obtained by the subgroup generated by P and Q. That is, see if for all obtained points, there is a way to express them as a sum of multiples of P and Q. Remember to account for the point at infinity in these calculations.

Unlock Step-by-Step Solutions & Ace Your Exams!

  • Full Textbook Solutions

    Get detailed explanations and key concepts

  • Unlimited Al creation

    Al flashcards, explanations, exams and more...

  • Ads-free access

    To over 500 millions flashcards

  • Money-back guarantee

    We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with 91Ó°ÊÓ!

Key Concepts

These are the key concepts you need to understand to accurately answer the question.

Integer Coordinates
Elliptic curves, like the one given by the equation \( y^{2}=x^{3}-7x+10 \), often have points with integer coordinates. These points are where both \( x \) and \( y \) are integers. To find such points, one can substitute various integer values for \( x \) into the equation. If the resulting \( y^2 \) is a perfect square, then \( y \) is also an integer. This means that this particular pair of \( (x, y) \) values satisfy the equation in integer form.

The process generally involves trial and error, systematically plugging integers into the given equation, which in this case is of degree three in \( x \). This degree indicates that there could be several integer solutions, potentially creating a lot of calculations. Calculators and computer algorithms can significantly aid in quickly finding these integer solutions.

In the exercise at hand, at least 26 such points have integer coordinates. This denotes their presence on the elliptic curve as tangible points that fit within the prescribed algebraic structure.
Point Addition
Point addition is a crucial operation in the arithmetic of elliptic curves. It is somewhat analogous to addition in arithmetic, but with more complex geometry involved. This operation allows you to "add" two points on an elliptic curve and find another point that also lies on the curve.

If you have two distinct points, \( P \) and \( Q \), on the elliptic curve, the addition operation involves drawing a straight line through both points. The line will typically intersect the curve at precisely one more point \( R \), after which you reflect \( R \) over the x-axis to get the result of \( P + Q \).

When the points are the same, such as when trying to calculate \( 2P \), you draw the tangent to the curve at \( P \), and proceed similarly by finding the intersection and reflecting over the x-axis.
  • The resulting point is often referred to as \( P + Q \) within the context of elliptic curve arithmetic.
  • For point addition, specific formulas involve calculating the slope based on the coordinates, as particular curvature properties need to be taken into account.
Subgroups on Elliptic Curves
Subgroups on elliptic curves are important in the study and application of these mathematical objects, particularly in cryptography. They consist of a collection of points on an elliptic curve that adhere to the properties of a mathematical group. In this context, all combinations of adding various factors of a given set of points still yield points on the curve.

For the subgroup to which all integer coordinate points belong, it needs to be generated by the specified points. In the exercise provided, this subgroup is pinpointed by the points \( P = (1,2) \) and \( Q = (2,2) \). Through combinations of their multiples, other integer points on the curve can be reached.

The significance of finding these subgroups is multifaceted:
  • They allow one to simplify searching for integer points by looking at group generation instead of discovering each individually.
  • Subgroups help characterize the elliptic curve's structure, identifying anomalies or symmetries within its geometric makeup.
  • In cryptography, understanding these subgroups is crucial for secure communications.
Elliptic Curve Equation
At their core, elliptic curves are defined by an equation of the form \( y^2 = x^3 + ax + b \). These equations not only depict a specific type of cubic curve that is symmetric about the x-axis but are also fundamental in modern cryptography and number theory.

The given elliptic curve equation \( y^2 = x^3 - 7x + 10 \) describes the specific mathematical and geometric properties of the curve the exercise revolves around. Each term \( (-7x + 10) \) modifies the shape, affecting how intersections and integer points are determined.

Such equations have distinctive features:
  • They form a nonsingular curve without any sharp corners or self-intersections.
  • The right and left side balance in quantity of terms ensures the curve wraps symmetrically about a central axis.
  • Understanding its parameters helps identify potential solutions and simplifies analyzing multiple points on the curve.


In the exercise, solving for integer points on this curve involves systematically addressing the integer solutions to this specific elliptic equation, testing potential transformations and point additions.

One App. One Place for Learning.

All the tools & learning materials you need for study success - in one app.

Get started for free

Most popular questions from this chapter

Let \(X\) be a curve, and let \(P \in X\) be a point. Then there exists a nonconstant rational function \(f \in K(X),\) which is regular everywhere except at \(P\).

Let \(X\) be an elliptic curve in \(\mathbf{P}^{2}\) given by an equation of the form \\[ y^{2}+\left(1, x y+u_{3} y=x^{3}+a_{2} x^{2}+u_{4} x+a_{6}\right. \\] Show that the \(j\) -invariant is a rational function of the \(c_{1},\) with coefficients in \(\mathbf{Q}\) In particular, if the \(a_{i}\) are all in some field \(k_{0} \subseteq k,\) then \(j \in k_{0}\) also. Furthermore for every \(x \in k_{0},\) there exists an elliptic curve defined over \(k_{0}\) with \(j\) -invariant equal to \(x\).

Etale Corers of Degree \(2 .\) Let \(Y\) be a curve over a field \(k\) of characteristic \(\neq 2\) We show there is a one-to-one correspondence between finite étale morphisms \(f: X \rightarrow Y\) of degree \(2,\) and 2 -torsion elements of Pic \(Y,\) i.e., invertible sheaves \(\mathscr{L}\) on \(Y\) with \(\mathscr{L}^{2} \cong \mathcal{O}_{\mathbf{Y}}\) (a) Given an étale morphism \(f: X \rightarrow Y\) of degree \(2,\) there is a natural map \(C_{Y} \rightarrow\) \(f_{*} C_{X}\). Let \(\mathscr{L}\) be the cokernel. Then \(\mathscr{L}\) is an invertible sheafon \(Y, \mathscr{L} \cong \operatorname{det} f_{*} \mathscr{C}_{X}\) and so \(\mathscr{L}^{2} \cong \mathscr{C}_{Y}\) by (Ex. 2.6). Thus an étale cover of degree 2 determines a 2-torsion element in Pic \(Y\) (b) Conversely, given a 2 -torsion element \(\mathscr{L}\) in Pic \(Y\), define an \(\mathscr{C}_{Y}\) -algebra structure on \(\mathscr{U}_{Y} \oplus \mathscr{L}\) by \(\langle a, b\rangle \cdot\left\langle a^{\prime}, b^{\prime}\right\rangle=\left\langle a a^{\prime}+\varphi\left(b \otimes b^{\prime}\right), a b^{\prime}+a^{\prime} b\right\rangle,\) where \(\varphi\) is an isomorphism of \(\mathscr{L} \otimes \mathscr{L} \rightarrow \mathscr{O}_{Y} .\) Then take \(X=\operatorname{Spec}\left(\mathcal{C}_{Y} \oplus \mathscr{L}\right)(\mathrm{II}, \mathrm{Ex} .5 .17)\) Show that \(X\) is an étale cover of \(Y\) (c) Show that these two processes are inverse to each other. [Hint: Let \(\tau: X \rightarrow X\) be the involution which interchanges the points of each fibre of \(f\). Use the trace map \(a \mapsto a+\tau(a)\) from \(f_{*} \mathscr{C}_{x} \rightarrow \mathscr{C}_{y}\) to show that the sequence of \(\mathscr{C}_{Y^{-}}\) modules in (a) $$0 \rightarrow \mathscr{O}_{r} \rightarrow f_{*} \mathscr{O}_{X} \rightarrow \mathscr{L} \rightarrow 0$$ is split exact. Note. This is a special case of the more general fact that for \((n, \operatorname{char} k)=1,\) the étale Galois covers of \(Y\) with group \(\mathbf{Z} / n \mathbf{Z}\) are classified by the étale cohomology \(\operatorname{group} H_{\mathrm{er}}^{1}(Y, \mathbf{Z} / n \mathbf{Z}),\) which is equal to the group of \(n\) -torsion points of Pic \(Y .\) See Serre [6]

Let \(X\) be an irreducible nonsingular curve in \(\mathbf{P}\) '. Then for each \(m>>0\), there is a nonsingular surface \(F\) of degree \(m\) containing \(X\). [Hint: Let \(\pi: \tilde{\mathbf{P}} \rightarrow \mathbf{P}^{3}\) be the blowing-up of \(X\) and let \(Y=\pi^{-1}(X) .\) Apply Bertini's theorem to the projective embedding of \(\left.\tilde{\mathbf{P}} \text { corresponding to } \mathscr{I}_{Y} \otimes \pi^{*} C_{p}(m) .\right]\)

A rational curve of degree 5 in \(\mathbf{P}^{3}\) is always contained in a cubic surface, but there are such curves which are not contained in any quadric surface.

See all solutions

Recommended explanations on Math Textbooks

View all explanations

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Study anywhere. Anytime. Across all devices.