Symplectic modules over overrings of polynomial rings (Q1758653)

Let \(A\) be a commutative Noetherian ring. A symplectic \(A\)-module is a pair \((P,\left\langle,\right\rangle)\), where \(P\) is a finitely generated projective \(A\)-module and \(\left\langle,\right\rangle :P\times P \longrightarrow A\) is a non-degenerate alternating bilinear form. If \((P,\left\langle,\right\rangle)\) is a symplectic \(A\)-module then the rank of \(P\) is even and \(P\) has trivial determinant. An isometry of the symplectic module \((P,\left\langle,\right\rangle)\) is an automorphism of \((P,\left\langle,\right\rangle)\). \(S_p(P,\left\langle,\right\rangle)\) denotes the group of isometries of \((P,\left\langle,\right\rangle)\) and \(ES_p(P,\left\langle,\right\rangle)\) denotes the subgroup of \(S_p(P,\left\langle,\right\rangle)\), generated by symplectic transvections which turns out to be a normal subgroup. Now let \(B\) be a commutative Noetherian ring of dimension \(d\) and let \(S\) be a set of monic polynomials in \(B[X]\). Let \(A\) be a subring of \(S^{-1} B[X]\) which contains \(B[X]\). The author proved, among other things, that if \(P\) is a symplectic \(A\)-module of rank \(2n \geq d, n > 0\), then that \(ESp (A^2 \perp P, \langle,\rangle)\) acts transitively on \(U_m (A^2 \oplus P)\).