Talk:Local system
 | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Examples Needed
editGood 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
editThe 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)
Needed clarifications?
editThere are two clarification needed tags on what strike me as pretty unambiguous statements--namely that any point has a neighborhood where a given local system becomes a constant sheaf and a hypothesis requiring that a space is path-connected. What exactly needs clarification? 76.156.120.32 (talk) 02:08, 8 June 2025 (UTC)