Witt's extension theorem for quadratic spaces over semiperfect rings (Q494123): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The classical ``extension theorem'' of Witt states that any isometry between two subforms of a given quadratic form \(\varphi\) over a field extends to an isometry of \(\varphi\). The consequences of this theorem include the cancellation theorem for nonsingular quadratic forms and the fact that the isometry group of \(\varphi\) acts transitively on totally isotropic subforms of \(\varphi\). The main goal of this paper is to prove a similar statement on unimodular quadratic spaces \((P,[\beta])\) over unitary semiperfect rings: every isometry \((Q,[\beta]_Q) \rightarrow (S,[\beta]_S)\) between two (not necessarily orthogonal) summands \(Q\) and \(S\) of \(P\) extends to an isometry of \((P,[\beta])\). A ring \(A\) is semiperfect if there exist orthogonal idempontents \(e_1,\dots,e_n\) with \(\sum_{i=1}^n e_i=1\) such that \(e_i A e_i\) is local for each \(i \in \{1,\dots,n\}\). An anti-structure on \(A\) is a pair \((\sigma,u)\) where \(\sigma\) is an anti-automorphism of \(A\) and \(u \in A^\times\) is an element satisfying \(u^\sigma u=1\) and \(a^{\sigma \sigma}=u a u^{-1}\) for any \(a \in A\). Write \(\Lambda^{\min}=\{a-a^\sigma u : a \in A\}\) and \(\Lambda^{\max}=\{a \in A : a^\sigma u=-a\}\). A form parameter for \((A,\sigma,u)\) is an additive group \(\Lambda\) with \(\Lambda^{\min} \subseteq \Lambda \subseteq \Lambda^{\max}\) and \(a^\sigma \Lambda a \subseteq \Lambda\) for all \(a \in A\). A unitary ring is a ring \(A\) endowed with such an anti-structure \((\sigma,u)\) and a form parameter \(\Lambda\). A pair \((P,[\beta])\) is called a quadratic space over a unitary ring \(A\) if \(P\) is a right \(A\)-module \(P\) and \([\beta]\) is the class of the sesquilinear form \(\beta\) over \(P\) modulo \(\Lambda_P\) where \(\Lambda_p\) is the group of sesquilinear forms \(\gamma\) satisfying \(\gamma(x,y)=-\gamma(y,x) u^\sigma u\) and \(\gamma(x,x) \in \Lambda\) for any \(x,y \in P\). This notion was introduced in [\textit{A. Bak}, On modules with quadratic forms. Lect. Notes Math. 108, 55--66 (1969; Zbl 0192.37202)], and in the special case of a commutative ring \(A\), \(\sigma=\text{id}_A\), \(u=1\) and \(\Lambda=0\), it coincides with the classical definition of a quadratic space over a commutative ring. The paper contains also applications of the main theorem, such as cancellation theorems for (not necessarily unimodular) Hermitian forms over involutary valuation rings, systems of sesquilinear forms over involutary Henselian rings, and quadratic spaces over Hermitian categories (strengthening a result formerly obtained in [\textit{H. G. Quebbemann} et al., J. Algebra 59, 264--289 (1979; Zbl 0412.18016)]). The final section of the paper contains a description of the subgroup generated by reflections of the group of isometries of a unimodular quadratic space \((P,[\beta])\) over a unitary semiperfect ring using Dickson's invariant. In particular, it is shown that if this subgroup is nontrivial, it is of finite index. | |||
Property / review text: The classical ``extension theorem'' of Witt states that any isometry between two subforms of a given quadratic form \(\varphi\) over a field extends to an isometry of \(\varphi\). The consequences of this theorem include the cancellation theorem for nonsingular quadratic forms and the fact that the isometry group of \(\varphi\) acts transitively on totally isotropic subforms of \(\varphi\). The main goal of this paper is to prove a similar statement on unimodular quadratic spaces \((P,[\beta])\) over unitary semiperfect rings: every isometry \((Q,[\beta]_Q) \rightarrow (S,[\beta]_S)\) between two (not necessarily orthogonal) summands \(Q\) and \(S\) of \(P\) extends to an isometry of \((P,[\beta])\). A ring \(A\) is semiperfect if there exist orthogonal idempontents \(e_1,\dots,e_n\) with \(\sum_{i=1}^n e_i=1\) such that \(e_i A e_i\) is local for each \(i \in \{1,\dots,n\}\). An anti-structure on \(A\) is a pair \((\sigma,u)\) where \(\sigma\) is an anti-automorphism of \(A\) and \(u \in A^\times\) is an element satisfying \(u^\sigma u=1\) and \(a^{\sigma \sigma}=u a u^{-1}\) for any \(a \in A\). Write \(\Lambda^{\min}=\{a-a^\sigma u : a \in A\}\) and \(\Lambda^{\max}=\{a \in A : a^\sigma u=-a\}\). A form parameter for \((A,\sigma,u)\) is an additive group \(\Lambda\) with \(\Lambda^{\min} \subseteq \Lambda \subseteq \Lambda^{\max}\) and \(a^\sigma \Lambda a \subseteq \Lambda\) for all \(a \in A\). A unitary ring is a ring \(A\) endowed with such an anti-structure \((\sigma,u)\) and a form parameter \(\Lambda\). A pair \((P,[\beta])\) is called a quadratic space over a unitary ring \(A\) if \(P\) is a right \(A\)-module \(P\) and \([\beta]\) is the class of the sesquilinear form \(\beta\) over \(P\) modulo \(\Lambda_P\) where \(\Lambda_p\) is the group of sesquilinear forms \(\gamma\) satisfying \(\gamma(x,y)=-\gamma(y,x) u^\sigma u\) and \(\gamma(x,x) \in \Lambda\) for any \(x,y \in P\). This notion was introduced in [\textit{A. Bak}, On modules with quadratic forms. Lect. Notes Math. 108, 55--66 (1969; Zbl 0192.37202)], and in the special case of a commutative ring \(A\), \(\sigma=\text{id}_A\), \(u=1\) and \(\Lambda=0\), it coincides with the classical definition of a quadratic space over a commutative ring. The paper contains also applications of the main theorem, such as cancellation theorems for (not necessarily unimodular) Hermitian forms over involutary valuation rings, systems of sesquilinear forms over involutary Henselian rings, and quadratic spaces over Hermitian categories (strengthening a result formerly obtained in [\textit{H. G. Quebbemann} et al., J. Algebra 59, 264--289 (1979; Zbl 0412.18016)]). The final section of the paper contains a description of the subgroup generated by reflections of the group of isometries of a unimodular quadratic space \((P,[\beta])\) over a unitary semiperfect ring using Dickson's invariant. In particular, it is shown that if this subgroup is nontrivial, it is of finite index. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Adam Chapman / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11E08 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11E39 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11E81 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6476989 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quadratic form | |||
Property / zbMATH Keywords: quadratic form / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Witt's theorem | |||
Property / zbMATH Keywords: Witt's theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
reflection | |||
Property / zbMATH Keywords: reflection / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
isometry group | |||
Property / zbMATH Keywords: isometry group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
semiperfect ring | |||
Property / zbMATH Keywords: semiperfect ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
semilocal ring | |||
Property / zbMATH Keywords: semilocal ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Dickson's invariant | |||
Property / zbMATH Keywords: Dickson's invariant / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hermitian category | |||
Property / zbMATH Keywords: Hermitian category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sesquilinear form | |||
Property / zbMATH Keywords: sesquilinear form / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2962754940 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1408.0522 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Maximally Central Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5587170 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4053793 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Clifford Algebras and Spinor Norms Over a Commutative Ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non unimodular Hermitian forms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hermitian categories, extension of scalars and systems of sesquilinear forms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sesquilinear forms over rings with involution / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: General bilinear forms. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rings that are Morita equivalent to their opposites. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2756812 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A remark on quadratic spaces over noncommutative semilocal rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isometrien über semilokalen Ringen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lectures on Galois cohomology of classical groups. With an appendix by T. Springer / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5592339 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997794 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4210545 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quadratic quaternion forms, involutions and triality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4224184 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quadratic and Hermitian forms in additive and Abelian categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Witt's theorem for noncommutative semilocal rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039952 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cancellation of quadrate forms over commutative rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3708857 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4004234 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decomposition Problems for Modules Over Valuation Domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5594673 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cancellation of modules and groups and stable range of endomorphism rings / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:32, 10 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Witt's extension theorem for quadratic spaces over semiperfect rings |
scientific article |
Statements
Witt's extension theorem for quadratic spaces over semiperfect rings (English)
0 references
31 August 2015
0 references
The classical ``extension theorem'' of Witt states that any isometry between two subforms of a given quadratic form \(\varphi\) over a field extends to an isometry of \(\varphi\). The consequences of this theorem include the cancellation theorem for nonsingular quadratic forms and the fact that the isometry group of \(\varphi\) acts transitively on totally isotropic subforms of \(\varphi\). The main goal of this paper is to prove a similar statement on unimodular quadratic spaces \((P,[\beta])\) over unitary semiperfect rings: every isometry \((Q,[\beta]_Q) \rightarrow (S,[\beta]_S)\) between two (not necessarily orthogonal) summands \(Q\) and \(S\) of \(P\) extends to an isometry of \((P,[\beta])\). A ring \(A\) is semiperfect if there exist orthogonal idempontents \(e_1,\dots,e_n\) with \(\sum_{i=1}^n e_i=1\) such that \(e_i A e_i\) is local for each \(i \in \{1,\dots,n\}\). An anti-structure on \(A\) is a pair \((\sigma,u)\) where \(\sigma\) is an anti-automorphism of \(A\) and \(u \in A^\times\) is an element satisfying \(u^\sigma u=1\) and \(a^{\sigma \sigma}=u a u^{-1}\) for any \(a \in A\). Write \(\Lambda^{\min}=\{a-a^\sigma u : a \in A\}\) and \(\Lambda^{\max}=\{a \in A : a^\sigma u=-a\}\). A form parameter for \((A,\sigma,u)\) is an additive group \(\Lambda\) with \(\Lambda^{\min} \subseteq \Lambda \subseteq \Lambda^{\max}\) and \(a^\sigma \Lambda a \subseteq \Lambda\) for all \(a \in A\). A unitary ring is a ring \(A\) endowed with such an anti-structure \((\sigma,u)\) and a form parameter \(\Lambda\). A pair \((P,[\beta])\) is called a quadratic space over a unitary ring \(A\) if \(P\) is a right \(A\)-module \(P\) and \([\beta]\) is the class of the sesquilinear form \(\beta\) over \(P\) modulo \(\Lambda_P\) where \(\Lambda_p\) is the group of sesquilinear forms \(\gamma\) satisfying \(\gamma(x,y)=-\gamma(y,x) u^\sigma u\) and \(\gamma(x,x) \in \Lambda\) for any \(x,y \in P\). This notion was introduced in [\textit{A. Bak}, On modules with quadratic forms. Lect. Notes Math. 108, 55--66 (1969; Zbl 0192.37202)], and in the special case of a commutative ring \(A\), \(\sigma=\text{id}_A\), \(u=1\) and \(\Lambda=0\), it coincides with the classical definition of a quadratic space over a commutative ring. The paper contains also applications of the main theorem, such as cancellation theorems for (not necessarily unimodular) Hermitian forms over involutary valuation rings, systems of sesquilinear forms over involutary Henselian rings, and quadratic spaces over Hermitian categories (strengthening a result formerly obtained in [\textit{H. G. Quebbemann} et al., J. Algebra 59, 264--289 (1979; Zbl 0412.18016)]). The final section of the paper contains a description of the subgroup generated by reflections of the group of isometries of a unimodular quadratic space \((P,[\beta])\) over a unitary semiperfect ring using Dickson's invariant. In particular, it is shown that if this subgroup is nontrivial, it is of finite index.
0 references
quadratic form
0 references
Witt's theorem
0 references
reflection
0 references
isometry group
0 references
semiperfect ring
0 references
semilocal ring
0 references
Dickson's invariant
0 references
Hermitian category
0 references
sesquilinear form
0 references