Skip to main content
2 of 2
added 1 tag and improved language/typing
YCor
  • 63.9k
  • 5
  • 187
  • 286

Do complex varieties have a dense open subset with residually finite fundamental group?

Let $S$ be a smooth connected variety over the complex numbers. The fundamental group might not be residually finite (i.e., the homomorphism $\pi_1(S(\mathbb C)) \to \pi_1^{\mathrm{et}}(S)$ might not be injective).

Is there a dense Zariski open subset $U\subset S$ such that $\pi_1(U(\mathbb C)) $ is residually finite?

Randy
  • 113
  • 2