About calculating a fundamental group

Click For Summary
SUMMARY

The computation of the fundamental group ##\pi_1(PGL_2(\mathbb{R}))## is established as isomorphic to ##\mathbb{Z}##, leveraging the relationship between ##PGL_2(\mathbb{R})## and ##SO(2;\mathbb{R})##. The discussion highlights the fibration ##\mathbb{R}^\times \to GL_n(\mathbb{R}) \to PGL_n(\mathbb{R})##, where the identity component of the fiber is contractible, ensuring that the homotopy groups of ##PGL_n(\mathbb{R})## and ##GL_n(\mathbb{R})## align in positive degrees. The equivalence of the fundamental groups is confirmed through the homotopy equivalence of the identity component of ##GL_n(\mathbb{R})## to ##SO(n;\mathbb{R})##.

PREREQUISITES
  • Understanding of fundamental groups in algebraic topology
  • Familiarity with the concepts of fibrations and homotopy equivalence
  • Knowledge of the special orthogonal group, specifically ##SO(2;\mathbb{R})##
  • Basic principles of linear algebra, particularly related to matrix groups
NEXT STEPS
  • Study the properties of fibrations in algebraic topology
  • Learn about the homotopy groups of ##SO(n;\mathbb{R})##
  • Explore the relationship between ##GL_n(\mathbb{R})## and ##PGL_n(\mathbb{R})## in greater detail
  • Investigate the implications of contractibility in fiber bundles
USEFUL FOR

Mathematicians, particularly those specializing in algebraic topology, geometric topology, and linear algebra, will benefit from this discussion. It is also relevant for graduate students and researchers exploring the properties of projective linear groups.

aalma
Messages
46
Reaction score
1
What is the way to compute ##\pi_1(PGL_2(R))##?
Is it related to defining an action of ##PGL_2(R)## on ##S^3##?

it would be helpful if you can provide me with relevant information regarding this
 
Physics news on Phys.org
There is a bundle ##\mathbb{R}^\times\to GL_n(\mathbb{R})\to PGL_n(\mathbb{R})## where ##\mathbb{R}^\times## is the subgroup of nonzero scalar matrices. The identity component of the fiber is contractible, so ##PGL_n(\mathbb{R})## and ##GL_n(\mathbb{R})## has the same homotopy groups in positive degrees, and also the identity component of ##GL_n(\mathbb{R})## is homotopy equivalent to ##SO(n;\mathbb{R})## by performing Gram-Schmidt on the columns.

So in this case, ##\pi_1(PGL_2(\mathbb{R}))\cong\pi_1(SO(2;\mathbb{R}))\cong \pi_1(S^1)\cong\mathbb{Z}.##
 
Last edited:
  • Like
Likes   Reactions: malawi_glenn, Euge and aalma
Thanks:)
Is the idea here to move from the fibration you first mentioned to a long exact sequence, knowing that ##\pi_0(GL_2(R))=\pi_0(SO_2(R))##?
When saying "The identity component of the fiber is contractible" to what fiber are you referring and then you mean that ##\pi_1(GL_2(R))=\pi_1(PGL_2(R))##?
 

Similar threads

  • · Replies 29 ·
Replies
29
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 26 ·
Replies
26
Views
930
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
608
  • · Replies 3 ·
Replies
3
Views
6K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 27 ·
Replies
27
Views
3K