What is the meaning of equivalence classes in complex projective space?

Click For Summary

Discussion Overview

The discussion revolves around the concept of equivalence classes in complex projective space, specifically focusing on the definition and properties of complex projective space as it relates to planes in higher dimensions. Participants explore the implications of these definitions and how they relate to the intersection of subspaces.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant suggests that complex projective space can be viewed as the set of planes in 4-dimensional space that pass through the origin, raising questions about the nature of equivalence classes.
  • Another participant introduces the Grassmannian G(2,4) as the set of 2-dimensional subspaces in R^4, arguing that its dimensionality differs from that of complex projective space, which has 2 real dimensions.
  • A third participant expresses a long-standing confusion about complex projective space, indicating a broader uncertainty about the topic.
  • Another participant clarifies that in four dimensions, two planes can intersect at a single point rather than along a line, using the example of the x-y and z-w planes intersecting only at the origin.

Areas of Agreement / Disagreement

Participants express varying levels of understanding and confusion regarding complex projective space, with some disagreement on the implications of intersections of planes and the nature of equivalence classes. No consensus is reached on these points.

Contextual Notes

There are unresolved assumptions regarding the definitions of complex projective space and the Grassmannian, as well as the implications of intersections in higher dimensions. The discussion reflects a need for clarity on these concepts.

Thorn
Messages
22
Reaction score
0
I've been thinking...and am starting to think that I don't understand complex projective space...So, it's defined as ( Cn+1 \{0,0} / C\{0} ). Now, I think this is just the set of planes in 4 space that pass through the origin... and one can consider how they would all intersect a 3 sphere and think of it as S3/U(1) where U(1) is the circle group... and the hopf function will take all these circles and map them to the 2 sphere isomorphically... but the problem I have is... just pick any 3 of the 4 basis vectors in C^2 and span two planes with them...essential you can just look at R^3 for this... and think of the plane spanned by XY and XZ...well they intersect at the whole X axis...which means there are elements that belong to both planes...but in the case of ( Cn+1 \{0,0} / C\{0} ), these planes are supposed to be equivalence classes...meaning it should divide the space into disjoint sets...and thus, you can't have an element in 2 equivalence classes...Unless, both these planes are actually in the same equivalence class, which is just mind blowing since you can find a bunch more planes that will intercet XY and XZ and before you know it, all of R^3 will belong to the same equivalence class...So, clearly something is wrong with this way of thinking of it...Anyone?
 
Physics news on Phys.org
Thorn said:
I've been thinking...and am starting to think that I don't understand complex projective space...So, it's defined as ( Cn+1 \{0,0} / C\{0} ). Now, I think this is just the set of planes in 4 space that pass through the origin...

The set of 2-dimensional subspaces in R^4 is by definition the Grassmannian G(2,4). It has real dimension 2(4-2)=4, so it can not be the same as CP1, which has 2 real dimensions.
 
Thorn said:
I've been thinking...and am starting to think that I don't understand complex projective space.
Heck, I've thought that for years!
 
In four dimensions, two planes can intersect in a single point, not a line. Take the x-y and z-w planes, for example, which intersect only at the origin.
 

Similar threads

  • · Replies 39 ·
2
Replies
39
Views
5K
  • · Replies 38 ·
2
Replies
38
Views
8K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K