Fundamental Group of the projective plane after we remove n points?

Click For Summary
SUMMARY

The fundamental group of the projective plane (RP^2) after removing n points is a subject of debate among algebraic topology enthusiasts. One participant suggests that using Van Kampen's Theorem leads to the conclusion that the fundamental group is the Free group on n generators, while another argues that considering RP^2 as a quotient of the sphere indicates that the correct fundamental group is F(2n-1), the free group on 2n-1 generators. The discussion highlights the equivalence of removed points on the sphere and the projective plane, emphasizing the need to account for the antipodal nature of points in this context.

PREREQUISITES
  • Understanding of Van Kampen's Theorem
  • Familiarity with fundamental groups in algebraic topology
  • Knowledge of projective planes and their properties
  • Concept of stereographic projection
NEXT STEPS
  • Research the application of Van Kampen's Theorem in algebraic topology
  • Study the properties of the projective plane and its fundamental group
  • Explore the concept of stereographic projection and its implications
  • Investigate the relationship between covering spaces and fundamental groups
USEFUL FOR

Students and researchers in algebraic topology, mathematicians interested in fundamental groups, and anyone studying the properties of projective planes and their topological implications.

Geometrick
Messages
42
Reaction score
0
So I have been wondering, what is the fundamental group of a projective plane after we remove n points?

I tried doing this using Van Kampens Theorem, maybe I am applying in incorrectly, I am getting that it is the Free group on n generators.

However, when I think of RP^2 as a quotient of the sphere, it's the same thing as a sphere with 2n points removed, which is the same thing as the Euclidean plane with 2n-1 points removed by stereographic projection, which has Fundamental Group F(2n-1), the free group on 2n-1 generators.

Which is correct?
 
Physics news on Phys.org
Not an expert in algebraic topology by any means, but keep in mind that each of the pair of points that you remove is equivalent on the sphere so you only have n distinct points. You really only map the top half of the sphere to Euclidean space and only half the points will be on that half of the sphere (you might have some trouble with boundary points but you can pick an equator that doesn't pass through any of your points).

Hope this helps (sorry if it doesn't)
 
Office_Shredder said:
Not an expert in algebraic topology by any means, but keep in mind that each of the pair of points that you remove is equivalent on the sphere so you only have n distinct points. You really only map the top half of the sphere to Euclidean space and only half the points will be on that half of the sphere (you might have some trouble with boundary points but you can pick an equator that doesn't pass through any of your points).

Hope this helps (sorry if it doesn't)

I don't know if that's true; a point removed on the projective plane corresponds to a point, antipodal point pair being removed on the sphere, i.e. the sphere is a 2-1 covering of the projective plane. So removing a point on the projective plane corresponds to removing 2 points on the sphere.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 8 ·
Replies
8
Views
8K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 11 ·
Replies
11
Views
3K
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 27 ·
Replies
27
Views
3K
  • · Replies 15 ·
Replies
15
Views
7K
  • · Replies 26 ·
Replies
26
Views
905
  • · Replies 3 ·
Replies
3
Views
3K