MHB Peter Needs Help on Cox et al - Section 8.1, Exercise 3(a)

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
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 Exercise 3(a) ... Exercise 3 in Section 8.1 reads as follows:View attachment 5719I would very much appreciate someone helping me to start Exercise 3(a) ... ...

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:https://www.physicsforums.com/attachments/5720
View attachment 5721
View attachment 5722
https://www.physicsforums.com/attachments/5723
https://www.physicsforums.com/attachments/5724
View attachment 5725
 
Physics news on Phys.org
Hi Peter,

Peter said:
I am currently focused on Chapter 8, Section 1: The Projective Plane ... ... and need help getting started with Exercise 3(a) ...

If it helps at all, it may be of value to note that knowledge of the projective plane is not needed to solve Exercise 3(a). One way to solve the problem is to write the equation of the line in $\mathbb{R}^{2}$ with slope $t$. The line and the hyperbola will intersect provided that there is an ordered pair/point $(x,y)$ that satisfies both the line and hyperbola equations simultaneously. So, given $t$, you want to check that the point $(x,y) = ((1+t^2)/(1-t^2), 2t/(1-t^2))$ that sits on the hyperbola satisfies the equation for the line you wrote down. If it does, then the line and hyperbola DO intersect at that point $(x,y)$.

Let me know how it goes. Good luck!
 
GJA said:
Hi Peter,
If it helps at all, it may be of value to note that knowledge of the projective plane is not needed to solve Exercise 3(a). One way to solve the problem is to write the equation of the line in $\mathbb{R}^{2}$ with slope $t$. The line and the hyperbola will intersect provided that there is an ordered pair/point $(x,y)$ that satisfies both the line and hyperbola equations simultaneously. So, given $t$, you want to check that the point $(x,y) = ((1+t^2)/(1-t^2), 2t/(1-t^2))$ that sits on the hyperbola satisfies the equation for the line you wrote down. If it does, then the line and hyperbola DO intersect at that point $(x,y)$.

Let me know how it goes. Good luck!

Thanks GJA ... yes, was very straightforward, as you say ...A line of slope $$t$$ going through the point $$(-1,0)$$ is $$y = tx + t$$ ... ( or $$t = \frac{y}{(x+1)} )$$ ...... and the point $$x = \frac{1+t^2}{1-t^2} , \ y = \frac{2t}{1 - t^2}$$ lies on the line ... so the hyperbola and line intersect at $$(x,y)$$ ... ...
BUT ... how does that enable us to answer part (b) ... ...... that is ... how do we use part (a) to explain why $$t = \pm 1$$ maps to the points at \infty corresponding to the asymptotes of the hyperbola ... ... Can you help ...

Peter
 
Hi Peter,

Peter said:
BUT ... how does that enable us to answer part (b) ... ...... that is ... how do we use part (a) to explain why $$t = \pm 1$$ maps to the points at \infty corresponding to the asymptotes of the hyperbola ... ...

I really think that drawing a picture of the line and the hyperbola on the same coordinate axis might provide insight into why this is the case. As $t$ approaches $\pm 1$ try to note the behaviour of the hyperbola relative to the line.

Good luck!
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top