Talk:Local system
Latest comment: 1 year ago by Delphinusred in topic Incompleteness of the proof that local systems correspond to representations of the fundamental group
 | This article has not yet been rated on Wikipedia's content assessment scale. |
Examples Needed edit
Good examples of local systems including monodromy are needed! This should include
- weierstrauss family of elliptic curves
- use of log-structures/log-connections
- constructible sheaves from the pushforward of cohomology
Incompleteness of the proof that local systems correspond to representations of the fundamental group edit
The proof is incomplete. I don’t necessarily think it needs to be, but this should be addressed. There is no talk that the action by a path needs to be proven to be homotopy-invariant. A full, very detailed proof can be found for example in these notes: https://www.math.lsu.edu/~pramod/tc/07s-7280/notes3.pdf
I’m not qualified to make the changes, though. Delphinusred (talk) 06:53, 17 January 2023 (UTC)