Skip to main content
2 of 2
added 35 characters in body; added 113 characters in body
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{A}^n$ is fine, since all smooth varieties over an algebraically closed field is etale locally isomorphic to it.

Of course, this is secretly the same as VA's answer, since stuff which makes sense etale locally is exactly the stuff remembered by the completion of the local ring, but I like the sound of it better.

Ben Webster
  • 44.7k
  • 12
  • 126
  • 260