On symplectic groups over polynomial rings