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)Reply