Symplectic modules over overrings of polynomial rings (Q1758653): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 08:01, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Symplectic modules over overrings of polynomial rings |
scientific article |
Statements
Symplectic modules over overrings of polynomial rings (English)
0 references
15 November 2012
0 references
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)\).
0 references
projective module
0 references
unimodular element
0 references
cancellation problem
0 references