Algebraic Geometry - D&F Section 15.1, Exercise 24

Click For Summary
SUMMARY

The discussion focuses on Dummit and Foote's Section 15.1, Exercise 24, which requires proving that the variety V = \mathcal{Z}(xy - z) is isomorphic to \mathbb{A}^2. An explicit isomorphism is provided as φ(x, y) = (x, y, xy), along with the associated k-algebra isomorphism from k[V] to k[\mathbb{A}^2]. The question of whether V = \mathcal{Z}(xy - z^2) is also isomorphic to \mathbb{A}^2 is raised but remains unanswered in the discussion.

PREREQUISITES
  • Understanding of algebraic varieties and their properties
  • Familiarity with isomorphisms in algebraic geometry
  • Knowledge of k-algebras and their structures
  • Basic concepts of affine space, specifically \mathbb{A}^2
NEXT STEPS
  • Study the properties of algebraic varieties using Dummit and Foote's Algebra
  • Explore the concept of k-algebra isomorphisms in detail
  • Investigate the implications of the isomorphism φ(x, y) = (x, y, xy)
  • Examine the conditions under which varieties defined by different polynomials can be isomorphic
USEFUL FOR

Students and researchers in algebraic geometry, particularly those working with varieties and isomorphisms, will benefit from this discussion.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
Dummit and Foote Section 15.1, Exercise 24 reads as follows:

---------------------------------------------------------------------------------------------------------

Let V = \mathcal{Z} (xy - z) \subseteq \mathbb{A}^3.

Prove that V is isomorphic to \mathbb{A}^2

and provide an explicit isomorphism \phi and associated k-algebra isomorphism \widetilde{\phi} from k[V] to k[ \mathbb{A}^2] along with their inverses.

Is V = \mathcal{Z} (xy - z^2) isomorphic to \mathbb{A}^2?

-------------------------------------------------------------------------------------------------------------

I would appreciate some help and guidance with getting started with this exercise [I suspect I might need considerable guidance! :-( ]Some of the background and definitions are given in the attachment.Peter
 

Attachments

Physics news on Phys.org
So you you need to find an isomorphism between ##\mathbb{A}^2## and the surface ##z=xy##. A suitable isomorphism should be ##\varphi(x,y) = (x,y,xy)##. Does that help?
 
  • Like
Likes   Reactions: 1 person
Thanks for the help, R136a1

Will now reflect on your guidance

Peter
 

Similar threads

Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
3
Views
3K
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K