Bijectivity conjecture for orthogonal maps fixing the radical

From papers

Let RR be a commutative ring and let (M,q)(M,q) be a quadratic module over RR. Write MM^{\perp} for the radical of the polar form of qq, and let an orthogonal map mean an RR-linear map preserving qq. Bijectivity conjecture. Every orthogonal map from MM to itself that restricts to IdM\operatorname{Id}_{M^{\perp}} on MM^{\perp} is bijective, hence lies in OM(M,q)\operatorname{O}_{M^{\perp}}(M,q). This is motivated by cases where injectivity implies surjectivity, including finite-dimensional quadratic spaces over fields and suitable free modules; the claim is posed for arbitrary commutative rings and quadratic modules, with no resolution given here.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Shaul Zemel, “Clifford Groups of Arbitrary Quadratic Modules over Commutative Rings”, arXiv:2112.05046 (2021).

Solutions 0

No solutions have been posted yet.