Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2408.04244 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866913461847457792 |
|---|---|
| author | Bondarenko, Vitaliy Petravchuk, Anatoliy Styopochkina, Maryna |
| author_facet | Bondarenko, Vitaliy Petravchuk, Anatoliy Styopochkina, Maryna |
| contents | Let $K$ be a field, $R=K[x, y]$ the polynomial ring and $\mathcal{M}(K)$ the set of all pairs of square matrices of the same size over $K.$ Pairs $P_1=(A_1,B_1)$ and $P_2=(A_2,B_2)$ from $\mathcal{M}(K)$ are called similar if $A_2=X^{-1}A_1X$ and $B_2=X^{-1}B_1X$ for some invertible matrix $X$ over $K$. Denote by $\mathcal{N}(K)$ the subset of $\mathcal{M}(K)$, consisting of all pairs of commuting nilpotent matrices. A pair $P$ will be called {\it polynomially equivalent} to a pair $\overline{P}=(\overline{A}, \overline{B})$ if $\overline{A}=f(A,B), \overline{B}=g(A ,B)$ for some polynomials $f, g\in K[x,y]$ satisfying the next conditions: $f(0,0)=0, g(0,0)=0$ and $ {\rm det} J(f, g)(0, 0)\not =0,$ where $J(f, g)$ is the Jacobi matrix of polynomials $f(x, y)$ and $g(x, y).$ Further, pairs of matrices $P(A,B)$ and $\widetilde{P}(\widetilde{A}, \widetilde{B})$ from $\mathcal{N}(K)$ will be called {\it polynomially similar} if there exists a pair $\overline{P}(\overline{A}, \overline{B})$ from $\mathcal{N}(K)$ such that $P$, $\overline{P}$ are polynomially equivalent and $\overline{P}$, $\widetilde{P}$ are similar. The main result of the paper: it is proved that the problem of classifying pairs of matrices up to polynomial similarity is wild, i.e. it contains the classical unsolvable problem of classifying pairs of matrices up to similarity. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_04244 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Polynomial similarity of pairs of matrices Bondarenko, Vitaliy Petravchuk, Anatoliy Styopochkina, Maryna Representation Theory 15A21, 15A99, 16G60 Let $K$ be a field, $R=K[x, y]$ the polynomial ring and $\mathcal{M}(K)$ the set of all pairs of square matrices of the same size over $K.$ Pairs $P_1=(A_1,B_1)$ and $P_2=(A_2,B_2)$ from $\mathcal{M}(K)$ are called similar if $A_2=X^{-1}A_1X$ and $B_2=X^{-1}B_1X$ for some invertible matrix $X$ over $K$. Denote by $\mathcal{N}(K)$ the subset of $\mathcal{M}(K)$, consisting of all pairs of commuting nilpotent matrices. A pair $P$ will be called {\it polynomially equivalent} to a pair $\overline{P}=(\overline{A}, \overline{B})$ if $\overline{A}=f(A,B), \overline{B}=g(A ,B)$ for some polynomials $f, g\in K[x,y]$ satisfying the next conditions: $f(0,0)=0, g(0,0)=0$ and $ {\rm det} J(f, g)(0, 0)\not =0,$ where $J(f, g)$ is the Jacobi matrix of polynomials $f(x, y)$ and $g(x, y).$ Further, pairs of matrices $P(A,B)$ and $\widetilde{P}(\widetilde{A}, \widetilde{B})$ from $\mathcal{N}(K)$ will be called {\it polynomially similar} if there exists a pair $\overline{P}(\overline{A}, \overline{B})$ from $\mathcal{N}(K)$ such that $P$, $\overline{P}$ are polynomially equivalent and $\overline{P}$, $\widetilde{P}$ are similar. The main result of the paper: it is proved that the problem of classifying pairs of matrices up to polynomial similarity is wild, i.e. it contains the classical unsolvable problem of classifying pairs of matrices up to similarity. |
| title | Polynomial similarity of pairs of matrices |
| topic | Representation Theory 15A21, 15A99, 16G60 |
| url | https://arxiv.org/abs/2408.04244 |