Canonical matrices for linear matrix problems
我们考虑一个大类的矩阵问题，其中包括问题的分类任意系统的线性映射。对于这类矩阵问题，我们构造了Belitskii算法，它是Jordan标准形的推广，并研究了不可分解的标准m-by-n矩阵的集合C（m，n）.考虑C（m，n）是m × n矩阵仿射空间中的一个子集，我们证明了C（m，n）对每一个（m，n）都由有限个点和直线组成，或者C（m，n）对某个（m，n）包含一个二维平面.
2007-09-16 math.RT
Reduction of a pair of skew-symmetric matrices to its canonical form under congruence
设$(A,B)$是特征不为2的域上的反对称矩阵对。它的正则化分解是一个与$(A,B)$全等的直和\[ (\underline{\underline A},\underline{\underline B})\oplus (A_1,B_1)\oplus\dots\oplus(A_t,B_t) \]，其中$(\underline{\underline A},\underline{\underline B})$是一对非奇异矩阵，$(A_1,B_1),$ $\dots,$ $(A_t,B_t)$是在全等下反对称矩阵的奇异不可分解标准对。我们给出了一个构造正则化分解的算法。给出了特征不为2的代数闭域上的$(A,B)$在同余下的标准型的构造性证明。
2017-12-23 math.RT
Change of the congruence canonical form of 2-by-2 and 3-by-3 matrices under perturbations and bundles of matrices under congruence
我们构造了$2\times 2$和$3\times 3$复矩阵的同余类集合上的闭包序的Hasse图$G_2$和$G_3$.换句话说，我们构造了两个有向图，其顶点分别是$2\times 2$或$3\times 3$典范矩阵下的同余，并且存在从$A$到$B$的有向路径当且仅当$A$可以通过任意小的扰动变换为与$B$全等的矩阵。同余下矩阵丛定义为方阵$A$的集合，在严格等价下，其束$A+λA^T$属于同一丛。为了支持这个定义，我们证明了$2\times 2$或$3\times 3$矩阵的合同丛中的所有矩阵对于扰动具有相同的性质。我们分别构造了$2\times 2$和$3\times 3$矩阵的同余丛集合上的闭包序的Hasse图$G_2^{\rm B}$和$G_3^{\rm B}$.我们找到了$2\times 2$和$3\times 3$同余典范矩阵的等距群.
2014-12-08 math.RT
Canonical matrices of bilinear and sesquilinear forms
给出了（a）代数闭域或实封闭的域上的双线性型;（b）代数闭域上和具有任意非单位对合的实四元数上的半双线性型;（c）特征不等于2的域F上的半双线性型，其对合（可能是单位对合）直至F的有限扩张上的Hermitian型的分类的典范矩阵.本文用一种将形式和线性映射系统的分类问题化为线性映射系统的分类问题的方法来构造典范矩阵。这种方法起源于表示论，并在[V. V. Sergeichuk，Math. USSR-Izv. 31（1988）481-501]。
2007-10-03 math.RT
Canonical forms for pairs of commuting nilpotent $4\times 4$ matrices under simultaneous similarity
本文给出了代数闭域上所有可交换幂零$4\times 4$矩阵对在同时相似条件下的标准型。
2023-03-28 math.CO math.RT
Canonical Forms for Unitary Congruence and *Congruence
我们使用复矩阵的一般同余和 * 同余理论的方法--正则化和余平方--来确定复矩阵A的酉同余标准形（分别为酉 * 同余标准形），使得\bar{A} A（分别为A^2）是正规的.作为我们的标准形的特殊情况下，我们得到了一个连贯的和系统的方式已知的标准形共轭正常，合同正常，卷积，对合，投影，和酉矩阵。但是，我们也得到了标准形式的矩阵的平方是埃尔米特或正常的，以及其他情况下，似乎没有被调查以前。我们证明了（a）当A^3正规时的酉 * 同余和（b）当A \bar{A} A正规时的酉同余下的分类问题都是酉野的，因此没有合理的希望找到它们的简单解。
2007-10-08 math.RT
Canonical forms for complex matrix congruence and *congruence
Horn和Sergeichuk在[线性代数应用389（2004）347-353]中基于Sergeichuk的论文[Math. USSR，Izvestiya 31（3）（1988）481-501]给出了平方复矩阵的同余和 * 同余的标准形式，该论文采用了对合的箭图表示理论。我们使用矩阵分析的标准方法来直接证明这些形式是规范的。我们的证明提供了明确的算法来计算所有的块和参数的规范形式。我们使用这些形式，以获得标准对的同时同余的复对称和反对称矩阵对，以及标准形式的同时 * 同余的复埃尔米特矩阵对。
2007-09-16 math.RT
Canonical matrices of isometric operators on indefinite inner product spaces
本文给出F上向量空间上由非退化型B和线性算子A组成的对（A，B）满足B（Ax，Ay）=B（x，y）的典范矩阵：（i）F是特征不同于2的代数闭域或实封闭的域，B是对称或斜对称的;（ii）F是代数闭域或实封闭的域上的斜四元数域，B关于F上的任何非恒等对合是Hermitian或斜Hermitian的.我们使用一种方法，承认减少问题的分类任意系统的形式和线性映射的问题的分类表示的一些图。该方法描述于[V. V. Sergeichuk，Math. USSR-Izv. 31（1988）481-501]。
2007-10-04 math.RT
A parametrization of matrix conjugacy orbit sets as unions of affine planes
本文考虑了在矩阵空间中求复矩阵的标准形的问题，其中典范矩阵集是一组仿射平面的并。给出了这个问题的一个解法，从而为代数闭域上的矩阵产生了一个新的标准形。
2011-10-31 math.RT
On the Jordan decomposition of tensored matrices of Jordan canonical forms
设k是特征为p \ge 0的代数闭域.本文考虑J（α，s）\otimes_{k} J（β，t）的若尔当典范形的求法问题，其中J（α，s）表示特征值为α \in k，大小为s的Jordan块.
2008-06-03 math.AC math.RT
Matrices that are self-congruent only via matrices of determinant one
Docovic和Szechtman，[Proc.Amer.Math.Soc.133（2005）2853-2863]考虑了具有双线性型的向量空间V。他们证明了特征不为2的域F上V的所有等距都有行列式1当且仅当V没有奇数维的正交和数（也考虑了特征为2的情况）。他们的证明是基于Riehm的分类双线性型。Coakley、Dopico和Johnson [线性代数Appl.428（2008）796-813]使用Thompson的对称矩阵和反对称矩阵的标准对的同余，给出了实数和复数域上的该准则的另一个证明。设M是V上双线性型的矩阵，我们利用我们的标准同余矩阵给出了F上这一准则的另一个证明，并得到了M的标准同余、（M^T，M）的标准等价和M^{-T}M（若M非奇异）的标准相似的充要条件.
2010-04-21 math.RT
Canonical bases of higher-level q-deformed Fock spaces
证明了高阶q-变形Fock空间的无穷多个权子空间的标准基与规范基之间的转移阵相等.
2006-06-09 math.RT
Canonical forms for pairs of matrices associated with Lagrangian and Dirac subspaces
本研究推导了n×n复矩阵对在两类变换下的标准形，重点探讨了与拉格朗日、狄拉克子空间及耗散哈密顿描述符系统相关的特殊矩阵性质情形。
2025-10-29 math.RA math.RT
A conjecture for q-decomposition matrices of cyclotomic v-Schur algebras
分圆v-Schur代数的Jantzen和公式给出了这些代数的分解矩阵的某些q-类似的恒等式。本文证明了高阶Fock空间的标准基矩阵的一个类似恒等式。我们猜想，这些矩阵实际上是相同的一个适当的选择参数。特别地，我们猜想分圆v-Schur代数的分解矩阵是通过在q=1处特殊化Fock空间的标准基和标准基之间的某些转移阵而得到的.
2006-04-27 math.RT
Symplectic spaces and pairs of symmetric and nonsingular skew-symmetric matrices under congruence
设$\mathbb F$是一个非$2$的特征域，$(A,B)$是$\mathbb F$上的一对$n\times n$矩阵，其中$A$是对称的，$B$是反对称的.关于同余变换$(S^TAS,S^TBS)$的$(A,B)$的标准型由Sergeichuk（1988）给出，直到$\mathbb F$的有限扩张上的对称型和厄米特型的分类。当$B$非奇异时，得到了$(A,B)$的一个更简单的标准型.这样的一对$(A,B)$定义了辛空间上的二次型，也就是说，定义了具有由非奇异反对称形式给出的标积的向量空间上的二次型。作为应用，我们得到了实辛空间和复辛空间上已知的二次型的典范矩阵和Hamilton算子。
2017-09-29 math.RT
Normal form of m-by-n-by-2 matrices for equivalence
我们给出了m × 2 × 2空间矩阵在任意域上等价的标准形。
2007-09-16 math.RT
Factorization of the canonical bases for higher level Fock spaces
1层Fock空间允许标准基G_e和G_ \infty .它们对应于U_{v}（hat{sl}_{e}）和U_{v}（sl_{\infty}）-模块结构。我们建立了这两个基地的转移阵是单三角系数在N[v]。限制的最高权模块所产生的空的l-分区，然后给出了一个自然的量化定理Geck和Rouquier的分解矩阵的因式分解与Ariki-Koike代数。
2010-10-15 math.RT
On triangular similarity of nilpotent triangular matrices
令$B_n$（分别$U_n$，$N_n$）是$n\times n$非奇异的集合（相应地，单位，幂零）上三角形矩阵。我们使用一种新的方法来探索$N_n$中的$B_n$相似轨道。Belitski \u在$B_n$ -相似性下的$A\in N_n$的标准形式在$QU_n$中，其中$Q$是子置换，使得$A\in B_n QB_n$。利用图表示和$U_n$ -相似作用稳定$QU_n$，得到了Belitski \u正则型的新性质，并给出了在$N_n$中求Belitski \u正则型的一个有效算法.作为结果，我们构造了新的Belitski \u的规范形式在所有的$N_n$的，列出所有的Belitski \u的规范形式的$n=7, 8$，并显示3-幂零Belitski \u的规范形式的例子在$N_n$与任意数量的参数高达$\operatorname{O}(n^2)$。
2020-02-24 math.AG math.RT
Littlewood's algorithm and quaternion matrices
对具有实谱的四元数矩阵给出了Schur三角化定理的一个加强形式（对于复矩阵，它是由Littlewood给出的）。将Littlewood在酉相似下将复矩阵约化为标准形的算法推广到特征值为几何重数1的四元数矩阵。
2007-09-16 math.RT
On normal forms for the similarity classes of matrices and pairs of matrices
本文解答《Arnold问题》中的两个问题，证明任意域上n×n矩阵相似类代表系可表为仿射子空间有限不交并，而特征0代数闭域上n>1时矩阵对无类似性质。
2025-02-15 math.RT
Miniversal deformations of pairs of skew-symmetric matrices under congruence
构造了反对称矩阵对在同余下的极小变形。准确地说，对于每一个这样的一对$(A,B)$，我们提供了一个标准形式与最小数量的独立参数，所有对的反对称矩阵$(\widetilde{A},\widetilde{B})$，接近$(A,B)$可以减少的同余变换，顺利地依赖于在对$(\widetilde{A},\widetilde{B})$的矩阵的条目。导出了从这种微小变形到$(A,B)$的距离的上界。我们还提出了一个例子，使用minimums变形分析的正则结构信息（即特征值和最小指标）的反对称矩阵对扰动下的变化。
2016-06-10 math.RT
Dual canonical bases and Kazhdan-Lusztig polynomials
本文导出了U_q（gl_n）的不可约多项式表示的标准单式与对偶标准基之间的（单三角）转移阵的元素的Kazhdan-Lusztig多项式公式。
2005-10-10 math.QA math.RT
Representations of quantized function algebras and the transition matrices from Canonical bases to PBW bases
设$G$是连通单连通单复代数群，$\mathfrak{g}$是相应的单李代数.本文的前半部分研究了量子化包络代数$U_q(\mathfrak{g})$的正部分$U_q(\mathfrak{n^+})$与量子化函数代数$\mathbb{Q}_q[G]$的特殊不可约表示之间的关系，并考虑了$\mathbb{Q}_q[G]$的右$U_q(\mathfrak{g})$ -代数结构.本工作的动机Kuniba，Okado和Yamada的结果与Tanisaki和Saito的结果一起。在后半部分，我们利用上述关系计算了$U_q(\mathfrak{n^+})$从正则基到PBW基的转移阵。因此，我们表明，从我们的计算所产生的常数所描述的结构常数的共乘$U_q(\mathfrak{g})$。特别地，当$\mathfrak{g}$是$ADE$型时，这个结果意味着转移阵的正性，这最初由Lusztig在PBW基与Weyl群的最长元素的适应约化字相关联的情况下证明，并且由Kato在任意情况下证明。实际上，我们计算的常数与在$U_q(\mathfrak{n}^{\pm})$上用双线性形式计算的常数一致。我们在附录中解释了这种巧合。
2015-07-03 math.QA math.RT
Canonical bases arising from quantum symmetric pairs
我们发展了一个一般性的正则基理论，给出了参数为任意有限型的量子对称对$(\mathbf{U}, \mathbf{U}^\imath)$的正则基。我们构造了简单可积$\mathbf{U}$ -模及其张量积作为$\mathbf{U}^\imath$ -模的新的标准基.我们还构造了$\imath$量子群$\mathbf{U}^\imath$的修正形式的正则基。为此，我们建立了量子对称对的几个新的结构结果，如双线性型，辫群作用，积分形式，Levi子代数（实秩1），和intertwiners的完整性。
2018-04-09 math.QA math.RT
Varieties of pairs of nilpotent matrices annihilating each other
我们对大小为n的矩阵对（A，B）的簇V（n，a，b）的不可约分支进行分类，使得AB = BA = 0且A^a = B^b = 0。
2003-11-18 math.AG math.RT
Pairs of matrices with simple spectrum
本文研究首矩阵具有简单谱的矩阵对分类问题，证明其可由非交换多项式的秩区分，并建立双边 Curto-Herrero 猜想及所需多项式次数上界。
2023-09-30 math.AC math.CO math.RA
