The problems of classifying pairs of forms and local algebras with zero cube radical are wild. (Q556885): 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 authors consider, over an algebraically closed field \(F\) of characteristic different from 2, the problem of classifying: (i) pairs of sesquilinear forms in which the second is Hermitian, (ii) pairs of bilinear forms in which the second is symmetric (skew-symmetric), (iii) local algebras with zero cube radical and square radical of dimension 2. They use that classification problems that contain the problem of classifying pairs of matrices up to simultaneous similarity are wild. They show that the three problems are wild. They consider congruent matrices with respect to an involution defined on the field \(F\), that is, two matrices \(A\) and \(B\) are *-congruent if and only if \(B=S^*AS\) for a nonsingular matrix \(S\), where \(S^*\) is the transpose of the matrix whose elements are the images of the elements of \(S\) under the involution. They consider \(t\)-tuples \((A_1,A_2,\dots,A_t)\) of matrices, all the matrices of a \(t\)-tuple will have the same size and this will be called the size of the \(t\)-tuple. Pairs of \(t\)-tuples \((A_1,A_2,\dots,A_t)\) and \((B_1,B_2,\dots,B_t)\) are called equivalent if and only if there exist nonsingular matrices \(R\) and \(S\) such that \((B_1,B_2,\dots,B_t)=R(A_1,A_2,\dots,A_t)S\), these \(t\)-tuples will be called congruent if \(R=S^*\). For each pair of matrices \(A\) and \(B\) of order \(n\), and each \(\varepsilon\) in \(F\) they define a pair \(T_\varepsilon(A,B)\) and they show first that for each \(\varepsilon\) in \(F\), matrix pairs \((A,B)\) and \((C,D)\) are similar over \(F\) if and only if \(T_\varepsilon(A,B)\) and \(T_\varepsilon(C,D)\) are *-congruent. Then they show that the problem of classifying (i) and (ii) is wild. They reduce problem (iii) to the problem of classifying algebras (without identity) with \(R_3=0\) and \(\dim R_2=2\), proving that each of these last algebras is the radical of some local algebra \(\Lambda\) with zero cube radical and square radical of dimension 2 and that \(\Lambda\) is fully determined by \(R\). Thus the new problem is also reduced to a matrix problem, which is proved to be wild and as a consequence problem (iii) is a wild problem. | |||
Property / review text: The authors consider, over an algebraically closed field \(F\) of characteristic different from 2, the problem of classifying: (i) pairs of sesquilinear forms in which the second is Hermitian, (ii) pairs of bilinear forms in which the second is symmetric (skew-symmetric), (iii) local algebras with zero cube radical and square radical of dimension 2. They use that classification problems that contain the problem of classifying pairs of matrices up to simultaneous similarity are wild. They show that the three problems are wild. They consider congruent matrices with respect to an involution defined on the field \(F\), that is, two matrices \(A\) and \(B\) are *-congruent if and only if \(B=S^*AS\) for a nonsingular matrix \(S\), where \(S^*\) is the transpose of the matrix whose elements are the images of the elements of \(S\) under the involution. They consider \(t\)-tuples \((A_1,A_2,\dots,A_t)\) of matrices, all the matrices of a \(t\)-tuple will have the same size and this will be called the size of the \(t\)-tuple. Pairs of \(t\)-tuples \((A_1,A_2,\dots,A_t)\) and \((B_1,B_2,\dots,B_t)\) are called equivalent if and only if there exist nonsingular matrices \(R\) and \(S\) such that \((B_1,B_2,\dots,B_t)=R(A_1,A_2,\dots,A_t)S\), these \(t\)-tuples will be called congruent if \(R=S^*\). For each pair of matrices \(A\) and \(B\) of order \(n\), and each \(\varepsilon\) in \(F\) they define a pair \(T_\varepsilon(A,B)\) and they show first that for each \(\varepsilon\) in \(F\), matrix pairs \((A,B)\) and \((C,D)\) are similar over \(F\) if and only if \(T_\varepsilon(A,B)\) and \(T_\varepsilon(C,D)\) are *-congruent. Then they show that the problem of classifying (i) and (ii) is wild. They reduce problem (iii) to the problem of classifying algebras (without identity) with \(R_3=0\) and \(\dim R_2=2\), proving that each of these last algebras is the radical of some local algebra \(\Lambda\) with zero cube radical and square radical of dimension 2 and that \(\Lambda\) is fully determined by \(R\). Thus the new problem is also reduced to a matrix problem, which is proved to be wild and as a consequence problem (iii) is a wild problem. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Teresita Noriega / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16G60 / 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: 15A21 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 2181994 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
wild problems | |||
Property / zbMATH Keywords: wild problems / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
local algebras | |||
Property / zbMATH Keywords: local algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
pairs of bilinear forms | |||
Property / zbMATH Keywords: pairs of bilinear forms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
matrix problems | |||
Property / zbMATH Keywords: matrix problems / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2156323524 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0709.2460 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexity of matrix problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3961610 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tame algebras and integral quadratic forms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CLASSIFICATION PROBLEMS FOR SYSTEMS OF FORMS AND LINEAR MAPPINGS / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:49, 10 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The problems of classifying pairs of forms and local algebras with zero cube radical are wild. |
scientific article |
Statements
The problems of classifying pairs of forms and local algebras with zero cube radical are wild. (English)
0 references
23 June 2005
0 references
The authors consider, over an algebraically closed field \(F\) of characteristic different from 2, the problem of classifying: (i) pairs of sesquilinear forms in which the second is Hermitian, (ii) pairs of bilinear forms in which the second is symmetric (skew-symmetric), (iii) local algebras with zero cube radical and square radical of dimension 2. They use that classification problems that contain the problem of classifying pairs of matrices up to simultaneous similarity are wild. They show that the three problems are wild. They consider congruent matrices with respect to an involution defined on the field \(F\), that is, two matrices \(A\) and \(B\) are *-congruent if and only if \(B=S^*AS\) for a nonsingular matrix \(S\), where \(S^*\) is the transpose of the matrix whose elements are the images of the elements of \(S\) under the involution. They consider \(t\)-tuples \((A_1,A_2,\dots,A_t)\) of matrices, all the matrices of a \(t\)-tuple will have the same size and this will be called the size of the \(t\)-tuple. Pairs of \(t\)-tuples \((A_1,A_2,\dots,A_t)\) and \((B_1,B_2,\dots,B_t)\) are called equivalent if and only if there exist nonsingular matrices \(R\) and \(S\) such that \((B_1,B_2,\dots,B_t)=R(A_1,A_2,\dots,A_t)S\), these \(t\)-tuples will be called congruent if \(R=S^*\). For each pair of matrices \(A\) and \(B\) of order \(n\), and each \(\varepsilon\) in \(F\) they define a pair \(T_\varepsilon(A,B)\) and they show first that for each \(\varepsilon\) in \(F\), matrix pairs \((A,B)\) and \((C,D)\) are similar over \(F\) if and only if \(T_\varepsilon(A,B)\) and \(T_\varepsilon(C,D)\) are *-congruent. Then they show that the problem of classifying (i) and (ii) is wild. They reduce problem (iii) to the problem of classifying algebras (without identity) with \(R_3=0\) and \(\dim R_2=2\), proving that each of these last algebras is the radical of some local algebra \(\Lambda\) with zero cube radical and square radical of dimension 2 and that \(\Lambda\) is fully determined by \(R\). Thus the new problem is also reduced to a matrix problem, which is proved to be wild and as a consequence problem (iii) is a wild problem.
0 references
wild problems
0 references
local algebras
0 references
pairs of bilinear forms
0 references
matrix problems
0 references