Skip to main content
1 of 2
Ben Webster
  • 44.7k
  • 12
  • 126
  • 260

Smoothness is an etale local property, and you can check that symmetric power sends etale maps to etale maps. So checking on $\mathbb{C}^n$ is fine, since all smooth varieties are etale locally isomorphic to it.

Of course, this is secretly the same as VA's answer, but I like the sound of it better.

Ben Webster
  • 44.7k
  • 12
  • 126
  • 260