Decomposition of algebras with involution in characteristic 2 (Q387385): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / review text
 
In this paper, decompositions of Hermitian forms and of algebras with involution are studied and the notion of direct Hermitian forms and algebras with involution is introduced. The results mainly concern fields of characteristic 2, since the situation in characteristic \(\neq 2\) is well understood. Let \((D,\theta)\) be a division algebra with involution over some field \(F\) and let \(\eta\) be a \(\lambda\)-Hermitian form over \((D,\theta)\), where \(\lambda\) is a central element of \(D\) satisfying \(\lambda\theta(\lambda)=1\). There is a well known decomposition of \(\eta\) into an orthogonal direct sum \(\eta \simeq \phi \perp \rho\) where \(\phi\) is anisotropic and \(\rho\) is \textit{metabolic} (i.e., an orthogonal direct sum of \(2\)-dimensional \(\lambda\)-Hermitian forms \(\theta(x)a_iy+\lambda\theta(x') y + \theta(x)y'\) for some \(a_i\in D\) with \(\lambda\theta(a_i)=a_i\)). Here \(\phi\) is uniquely determined (up to isometry), whereas \(\rho\) is in general only uniquely determined in characteristic \(\neq 2\), where it is hyperbolic. The first main result of the paper concerns the case where \(\eta\) is anisotropic. It states that \(\eta\) can then be uniquely decomposed as \[ \eta\simeq \phi \perp \psi, \] where \(\phi\) is a \textit{direct} \(\lambda\)-Hermitian form and \(\psi\) is an \textit{even} \(\lambda\)-Hermitian form. Here \(\phi\) is called direct if the equation \(\phi(x,x)= a - \lambda \theta(a)\) has only the trivial solution and \(\psi\) is called even if the equation \(\psi(x,x)=a + \lambda \theta(a)\) can be solved for every fixed \(x\). Hence in the general case \(\eta\) can be decomposed as \(\eta\simeq \eta_{\mathrm{dir}} \perp \eta_{\mathrm{ev}} \perp \rho\) with uniquely determined direct \(\eta_{\mathrm{dir}}\) and even \(\eta_{\mathrm{ev}}\) and with (not necessarily unique) metabolic \(\rho\). In the second main result of the paper, the involution \(\theta\) is assumed to be of the first kind and \(\mathrm{char}(F)=2\) (implying \(\lambda=1\)). It says that the above decomposition of \(\eta\) can be refined to a decomposition of the form \[ \eta\simeq \eta_{\mathrm{dir}} \perp \eta_{\mathrm{ev}} \perp \mathbb{M}(\tilde{\eta}) \perp n\times \mathbb{H}, \] where \(\eta_{\mathrm{dir}}\) and \(\eta_{\mathrm{ev}}\) are the direct resp. even part of \(\eta\) like above, \(\tilde{\eta}\) is some Hermitian form, \(\mathbb{M}(\tilde{\eta}):=\tilde{\eta} \perp -\tilde{\eta}\), \(\mathbb{H}\) is the hyperbolic plane and \(n\in \mathbb{N}\) is unique. Moreover \(\eta_{\mathrm{dir}}\perp \tilde{\eta}\) is direct and the orthogonal sum \(\eta_{\mathrm{dir}}\perp \mathbb{M}(\tilde{\eta})\) is also unique (up to isometry). This result generalizes the decomposition for bilinear forms over fields of characteristic 2 from [\textit{A. Laghribi} and \textit{P. Mammone}, Contemp. Math. 493, 249--269 (2009; Zbl 1229.11059)]. The above results are applied to get orthogonal decompositions of algebras with involution. An \(F\)-algebra with involution \((A,\sigma)\) is called \textit{direct}, if there does not exist \(a\in A\setminus \{0\}\) such that \(\sigma(a)a\) is alternating with respect to \(\sigma\). It is shown that for \((A,\sigma)\) adjoint to a Hermitian form \(\eta\) as above, then \((A,\sigma)\) is direct if and only if \(\eta\) is direct. Moreover, if \(\mathrm{char}(F)=2\) and \(\sigma\) is of the first kind, then \((A,\sigma)\) decomposes into an orthogonal sum of a direct part \((A,\sigma)_{\mathrm{dir}}\), an even part \((A,\sigma)_{\mathrm{ev}}\) and a (not necessarily unique) metabolic part. It is then shown that if \(L/F\) is a separable field extension that splits \(A\), then \(((A,\sigma)_{\mathrm{dir}})_L\) is the anisotropic part of \((A,\sigma)_L\). This means that if \((A,\sigma)_L\) is adjoint to a symmetric bilinear form \(b\), then \(((A,\sigma)_{\mathrm{dir}})_L\) is adjoint to the anisotropic part \(b_{\mathrm{an}}\) of \(b\).
Property / review text: In this paper, decompositions of Hermitian forms and of algebras with involution are studied and the notion of direct Hermitian forms and algebras with involution is introduced. The results mainly concern fields of characteristic 2, since the situation in characteristic \(\neq 2\) is well understood. Let \((D,\theta)\) be a division algebra with involution over some field \(F\) and let \(\eta\) be a \(\lambda\)-Hermitian form over \((D,\theta)\), where \(\lambda\) is a central element of \(D\) satisfying \(\lambda\theta(\lambda)=1\). There is a well known decomposition of \(\eta\) into an orthogonal direct sum \(\eta \simeq \phi \perp \rho\) where \(\phi\) is anisotropic and \(\rho\) is \textit{metabolic} (i.e., an orthogonal direct sum of \(2\)-dimensional \(\lambda\)-Hermitian forms \(\theta(x)a_iy+\lambda\theta(x') y + \theta(x)y'\) for some \(a_i\in D\) with \(\lambda\theta(a_i)=a_i\)). Here \(\phi\) is uniquely determined (up to isometry), whereas \(\rho\) is in general only uniquely determined in characteristic \(\neq 2\), where it is hyperbolic. The first main result of the paper concerns the case where \(\eta\) is anisotropic. It states that \(\eta\) can then be uniquely decomposed as \[ \eta\simeq \phi \perp \psi, \] where \(\phi\) is a \textit{direct} \(\lambda\)-Hermitian form and \(\psi\) is an \textit{even} \(\lambda\)-Hermitian form. Here \(\phi\) is called direct if the equation \(\phi(x,x)= a - \lambda \theta(a)\) has only the trivial solution and \(\psi\) is called even if the equation \(\psi(x,x)=a + \lambda \theta(a)\) can be solved for every fixed \(x\). Hence in the general case \(\eta\) can be decomposed as \(\eta\simeq \eta_{\mathrm{dir}} \perp \eta_{\mathrm{ev}} \perp \rho\) with uniquely determined direct \(\eta_{\mathrm{dir}}\) and even \(\eta_{\mathrm{ev}}\) and with (not necessarily unique) metabolic \(\rho\). In the second main result of the paper, the involution \(\theta\) is assumed to be of the first kind and \(\mathrm{char}(F)=2\) (implying \(\lambda=1\)). It says that the above decomposition of \(\eta\) can be refined to a decomposition of the form \[ \eta\simeq \eta_{\mathrm{dir}} \perp \eta_{\mathrm{ev}} \perp \mathbb{M}(\tilde{\eta}) \perp n\times \mathbb{H}, \] where \(\eta_{\mathrm{dir}}\) and \(\eta_{\mathrm{ev}}\) are the direct resp. even part of \(\eta\) like above, \(\tilde{\eta}\) is some Hermitian form, \(\mathbb{M}(\tilde{\eta}):=\tilde{\eta} \perp -\tilde{\eta}\), \(\mathbb{H}\) is the hyperbolic plane and \(n\in \mathbb{N}\) is unique. Moreover \(\eta_{\mathrm{dir}}\perp \tilde{\eta}\) is direct and the orthogonal sum \(\eta_{\mathrm{dir}}\perp \mathbb{M}(\tilde{\eta})\) is also unique (up to isometry). This result generalizes the decomposition for bilinear forms over fields of characteristic 2 from [\textit{A. Laghribi} and \textit{P. Mammone}, Contemp. Math. 493, 249--269 (2009; Zbl 1229.11059)]. The above results are applied to get orthogonal decompositions of algebras with involution. An \(F\)-algebra with involution \((A,\sigma)\) is called \textit{direct}, if there does not exist \(a\in A\setminus \{0\}\) such that \(\sigma(a)a\) is alternating with respect to \(\sigma\). It is shown that for \((A,\sigma)\) adjoint to a Hermitian form \(\eta\) as above, then \((A,\sigma)\) is direct if and only if \(\eta\) is direct. Moreover, if \(\mathrm{char}(F)=2\) and \(\sigma\) is of the first kind, then \((A,\sigma)\) decomposes into an orthogonal sum of a direct part \((A,\sigma)_{\mathrm{dir}}\), an even part \((A,\sigma)_{\mathrm{ev}}\) and a (not necessarily unique) metabolic part. It is then shown that if \(L/F\) is a separable field extension that splits \(A\), then \(((A,\sigma)_{\mathrm{dir}})_L\) is the anisotropic part of \((A,\sigma)_L\). This means that if \((A,\sigma)_L\) is adjoint to a symmetric bilinear form \(b\), then \(((A,\sigma)_{\mathrm{dir}})_L\) is adjoint to the anisotropic part \(b_{\mathrm{an}}\) of \(b\). / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Roland Lötscher / 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 / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 12F10 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6241811 / rank
 
Normal rank
Property / zbMATH Keywords
 
quadratic form
Property / zbMATH Keywords: quadratic form / rank
 
Normal rank
Property / zbMATH Keywords
 
division algebra
Property / zbMATH Keywords: division algebra / rank
 
Normal rank
Property / zbMATH Keywords
 
Hermitian form
Property / zbMATH Keywords: Hermitian form / rank
 
Normal rank
Property / zbMATH Keywords
 
algebra with involution
Property / zbMATH Keywords: algebra with involution / rank
 
Normal rank
Property / zbMATH Keywords
 
metabolic form
Property / zbMATH Keywords: metabolic form / rank
 
Normal rank
Property / zbMATH Keywords
 
characteristic 2
Property / zbMATH Keywords: characteristic 2 / rank
 
Normal rank

Revision as of 13:13, 29 June 2023

scientific article
Language Label Description Also known as
English
Decomposition of algebras with involution in characteristic 2
scientific article

    Statements

    Decomposition of algebras with involution in characteristic 2 (English)
    0 references
    0 references
    23 December 2013
    0 references
    In this paper, decompositions of Hermitian forms and of algebras with involution are studied and the notion of direct Hermitian forms and algebras with involution is introduced. The results mainly concern fields of characteristic 2, since the situation in characteristic \(\neq 2\) is well understood. Let \((D,\theta)\) be a division algebra with involution over some field \(F\) and let \(\eta\) be a \(\lambda\)-Hermitian form over \((D,\theta)\), where \(\lambda\) is a central element of \(D\) satisfying \(\lambda\theta(\lambda)=1\). There is a well known decomposition of \(\eta\) into an orthogonal direct sum \(\eta \simeq \phi \perp \rho\) where \(\phi\) is anisotropic and \(\rho\) is \textit{metabolic} (i.e., an orthogonal direct sum of \(2\)-dimensional \(\lambda\)-Hermitian forms \(\theta(x)a_iy+\lambda\theta(x') y + \theta(x)y'\) for some \(a_i\in D\) with \(\lambda\theta(a_i)=a_i\)). Here \(\phi\) is uniquely determined (up to isometry), whereas \(\rho\) is in general only uniquely determined in characteristic \(\neq 2\), where it is hyperbolic. The first main result of the paper concerns the case where \(\eta\) is anisotropic. It states that \(\eta\) can then be uniquely decomposed as \[ \eta\simeq \phi \perp \psi, \] where \(\phi\) is a \textit{direct} \(\lambda\)-Hermitian form and \(\psi\) is an \textit{even} \(\lambda\)-Hermitian form. Here \(\phi\) is called direct if the equation \(\phi(x,x)= a - \lambda \theta(a)\) has only the trivial solution and \(\psi\) is called even if the equation \(\psi(x,x)=a + \lambda \theta(a)\) can be solved for every fixed \(x\). Hence in the general case \(\eta\) can be decomposed as \(\eta\simeq \eta_{\mathrm{dir}} \perp \eta_{\mathrm{ev}} \perp \rho\) with uniquely determined direct \(\eta_{\mathrm{dir}}\) and even \(\eta_{\mathrm{ev}}\) and with (not necessarily unique) metabolic \(\rho\). In the second main result of the paper, the involution \(\theta\) is assumed to be of the first kind and \(\mathrm{char}(F)=2\) (implying \(\lambda=1\)). It says that the above decomposition of \(\eta\) can be refined to a decomposition of the form \[ \eta\simeq \eta_{\mathrm{dir}} \perp \eta_{\mathrm{ev}} \perp \mathbb{M}(\tilde{\eta}) \perp n\times \mathbb{H}, \] where \(\eta_{\mathrm{dir}}\) and \(\eta_{\mathrm{ev}}\) are the direct resp. even part of \(\eta\) like above, \(\tilde{\eta}\) is some Hermitian form, \(\mathbb{M}(\tilde{\eta}):=\tilde{\eta} \perp -\tilde{\eta}\), \(\mathbb{H}\) is the hyperbolic plane and \(n\in \mathbb{N}\) is unique. Moreover \(\eta_{\mathrm{dir}}\perp \tilde{\eta}\) is direct and the orthogonal sum \(\eta_{\mathrm{dir}}\perp \mathbb{M}(\tilde{\eta})\) is also unique (up to isometry). This result generalizes the decomposition for bilinear forms over fields of characteristic 2 from [\textit{A. Laghribi} and \textit{P. Mammone}, Contemp. Math. 493, 249--269 (2009; Zbl 1229.11059)]. The above results are applied to get orthogonal decompositions of algebras with involution. An \(F\)-algebra with involution \((A,\sigma)\) is called \textit{direct}, if there does not exist \(a\in A\setminus \{0\}\) such that \(\sigma(a)a\) is alternating with respect to \(\sigma\). It is shown that for \((A,\sigma)\) adjoint to a Hermitian form \(\eta\) as above, then \((A,\sigma)\) is direct if and only if \(\eta\) is direct. Moreover, if \(\mathrm{char}(F)=2\) and \(\sigma\) is of the first kind, then \((A,\sigma)\) decomposes into an orthogonal sum of a direct part \((A,\sigma)_{\mathrm{dir}}\), an even part \((A,\sigma)_{\mathrm{ev}}\) and a (not necessarily unique) metabolic part. It is then shown that if \(L/F\) is a separable field extension that splits \(A\), then \(((A,\sigma)_{\mathrm{dir}})_L\) is the anisotropic part of \((A,\sigma)_L\). This means that if \((A,\sigma)_L\) is adjoint to a symmetric bilinear form \(b\), then \(((A,\sigma)_{\mathrm{dir}})_L\) is adjoint to the anisotropic part \(b_{\mathrm{an}}\) of \(b\).
    0 references
    quadratic form
    0 references
    division algebra
    0 references
    Hermitian form
    0 references
    algebra with involution
    0 references
    metabolic form
    0 references
    characteristic 2
    0 references

    Identifiers