Help with Projective Algebraic Geometry - Cox et al Section 8.1, Exs 5(a) & 5(b)

Click For Summary
SUMMARY

The discussion focuses on Exercises 5(a) and 5(b) from Section 8.1 of "Ideals, Varieties and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Third Edition)" by David Cox, John Little, and Donal O'Shea. The key solution involves finding a homogeneous equation compatible with the curve defined by \(y=x^2\), resulting in the equation \(yz=x^2\). This equation allows for the identification of points at infinity, specifically two equivalence classes on the \(y\) axis in \(\mathbb{R}^2\), which aligns with the properties of a parabola.

PREREQUISITES
  • Understanding of Projective Geometry concepts
  • Familiarity with algebraic curves and their properties
  • Knowledge of homogeneous coordinates
  • Basic principles of algebraic geometry as outlined in Cox et al.
NEXT STEPS
  • Study the concept of homogeneous coordinates in Projective Geometry
  • Explore the extension of algebraic curves from the Euclidean plane to the Projective plane
  • Review the properties of conics and cubics in algebraic geometry
  • Examine additional exercises in Section 8.1 of Cox et al. for further practice
USEFUL FOR

Students and researchers in algebraic geometry, particularly those studying Projective Geometry and seeking to understand the transition from Euclidean to Projective representations of curves.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
Projective Algebraic Geometry - the Projective Plane ... Cox et al - Section 8.1, Exs 5(a) & 5(b)

I am reading the undergraduate introduction to algebraic geometry entitled "Ideals, Varieties and Algorithms: An introduction to Computational Algebraic Geometry and Commutative Algebra (Third Edition) by David Cox, John Little and Donal O'Shea ... ...

I am currently focused on Chapter 8, Section 1: The Projective Plane ... ... and need help getting started with Exercises 5(a) and 5(b) ... ...Exercise 5 in Section 8.1 reads as follows:View attachment 5745
Can someone please help me to get started on Exercises 5(a) and 5(b) shown above ...Peter
======================================================================To give readers of the above post some idea of the context of the exercise and also the notation I am providing some relevant text from Cox et al ... ... as follows:
View attachment 5746
https://www.physicsforums.com/attachments/5747
https://www.physicsforums.com/attachments/5748
View attachment 5749
View attachment 5750
View attachment 5751
 
Last edited:
Physics news on Phys.org
Re: Projective Algebraic Geometry - the Projective Plane ... Cox et al - Section 8.1, Exs 5(a) & 5(b

Peter said:
I am reading the undergraduate introduction to algebraic geometry entitled "Ideals, Varieties and Algorithms: An introduction to Computational Algebraic Geometry and Commutative Algebra (Third Edition) by David Cox, John Little and Donal O'Shea ... ...

I am currently focused on Chapter 8, Section 1: The Projective Plane ... ... and need help getting started with Exercises 5(a) and 5(b) ... ...Exercise 5 in Section 8.1 reads as follows:
Can someone please help me to get started on Exercises 5(a) and 5(b) shown above ...Peter
======================================================================To give readers of the above post some idea of the context of the exercise and also the notation I am providing some relevant text from Cox et al ... ... as follows:
Just reporting to MHB members that I have had the following help from Andrew Kirk on the Physics Forums:"... ... ... We want the equation to be compatible with the equation $$y=x^2$$ and we also want it to give a well-defined curve, which means it must be homogeneous in $$x,y$$ and $$z$$.A simple equation that satisfies both those is $$yz=x^2$$. Then for $$z=1$$ this gives the original equation. Any point in $$\mathbb R^2$$ with nonzero $$z$$ is the same as a point with $$z=1$$. The only other points are those with $$z=0$$, which are at infinity. For such points we will also have, courtesy of the equation, $$x=0$$. So the set of points on the curve at infinity are those on the $$y$$ axis in $$\mathbb R^2$$. This comprises two equivalence classes: [(0,0,0)] and [(0,1,0)]. So there are two points at infinity, which sounds like what we would want for a parabola (which answers part (b)). ... ... "I have also found a description of the process for extending algebraic curves from the Euclidean plane to the Projective plane in Robert Bix' book: "Conics and Cubics: A Concrete Introduction to Algebraic Curves" ... ... as follows:View attachment 5769
https://www.physicsforums.com/attachments/5770
https://www.physicsforums.com/attachments/5771
Peter
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
1
Views
2K