Talk:Local system

Examples Needed
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
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)