Bijectivity conjecture for orthogonal maps fixing the radical

About 5 years old · traced to

Let RR be a commutative ring and let (M,q)(M,q) be a quadratic module over RR. Write M⊥M^{\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 Id⁡M⊥\operatorname{Id}_{M^{\perp}} on M⊥M^{\perp} is bijective, hence lies in O⁡M⊥(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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.