Representations of the Fundamental Group

In summary, the conversation discusses the difficulty in understanding how locally constant sheaves of vector spaces on X can lead to representations of the fundamental group of X. One approach is to consider the associated topological space of the sheaf as a covering space for X and use the monodromy action to define the representation. However, there is uncertainty about the linearity of this map and whether it is the right approach. The response suggests using the specific properties of working with a sheaf of vector spaces to address this issue.
  • #1
olliemath
34
0
This is not important, but it's been bugging me for a while.
I'm struggling to see how the locally constant sheaves of vector spaces on X give rise to representations of the fundamental group of X.

The approach I've been thinking of is the following. Given a locally constant sheaf F on X, the associated topological space |F| is a covering space for X. Thus, given a loop [tex]\gamma[/tex] in X with base point x and a point y in [tex]F_x[/tex] we can lift to a uniqe curve [tex]\gamma'[/tex] in |F| with initial point y. Setting [tex]\gamma\cdot y=\gamma'(1)[/tex] we obtain an action of [tex]\pi(X,x)[/tex] on [tex]F_x[/tex] which is called the monodromy action. [tex]F_x[/tex] is a vector space, but I don't see how we know that the map [tex]y\mapsto\gamma\cdot y[/tex] is linear.
Or possibly this is not the right approach?

Any help is greatly appreciated - O
 
Physics news on Phys.org
  • #2
You have to use the fact that you're working in a sheaf of vector spaces, not just a sheaf of sets where you've put a vector space structure on one of the fibers.
 

1. What is the fundamental group?

The fundamental group is a mathematical concept in algebraic topology that captures the topological properties of a space. It is a group that consists of all possible loops in a given space that can be continuously deformed into each other.

2. How is the fundamental group represented?

The fundamental group is typically represented using a group presentation, which is a set of generators and relations that define the group. This can also be represented using a fundamental groupoid, which is a category that captures the homotopy information of a space.

3. What is the significance of the fundamental group in mathematics?

The fundamental group is a fundamental tool in algebraic topology and is used to study the properties of spaces, such as their connectivity and shape. It also has applications in differential geometry, algebraic geometry, and knot theory.

4. How is the fundamental group calculated?

The fundamental group can be calculated using various techniques, such as the Van Kampen theorem, the Seifert-Van Kampen theorem, and the Reidemeister-Schreier algorithm. These techniques use the group presentation to determine the fundamental group of a given space.

5. Can the fundamental group be used to distinguish between different spaces?

Yes, the fundamental group is a topological invariant, which means that it does not change under continuous deformations of a space. This allows it to be used as a tool to distinguish between different spaces that may have similar topological properties.

Similar threads

  • Differential Geometry
Replies
1
Views
1K
  • Differential Geometry
Replies
2
Views
582
  • Differential Geometry
Replies
8
Views
2K
Replies
9
Views
3K
  • Differential Geometry
Replies
20
Views
2K
Replies
1
Views
1K
Replies
27
Views
902
  • Linear and Abstract Algebra
Replies
1
Views
1K
Replies
1
Views
158
  • Differential Geometry
Replies
2
Views
1K
Back
Top