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
Generic canonical form of pairs of matrices with zeros
本文考虑一类m × p和m × q矩阵对，其中某些元素为零，其它元素为任意元素，关于变换（A，B）->（SAR，SBL），S，R，L为非奇异的.我们证明，几乎所有的这些对减少到相同的对（C，D）从这个家庭，除了对的任意条目是某个多项式的零。根据图的性质，用组合方法构造多项式和对（CD）。
2007-10-05 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
The characteristic cycles and semi-canonical bases on type $A$ quiver variety
在这篇文章中，我们研究了Geiss-Leclerc-Schr{<$}er的一个猜想，它是Lusztig在外尔群情形下的一个经典猜想的类似物.它通过特征环来研究正则基与半正则基之间的关系。我们制定了一个方法，这个猜想，并证明它的类型$A_2$。在一般的A型情形下，我们将猜想简化为证明某些邻近圈具有消失的欧拉示性数。
2021-03-31 math.AG 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 Mirković-Vilonen cycles and crystals combinatorics
设$G$是复约化群，$G^\vee$是它的Langlands对偶.让我们选择李代数$G^\vee$的三角分解$\mathfrak g^\vee=\mathfrak n^\vee_-\oplus\mathfrak h^\vee\oplus\mathfrak n^\vee_+$。Braverman、Finkelberg和Gaitsgory证明了仿射格拉斯曼$\mathscr G=G\bigl(\mathbb C((t))\bigr)/G\bigl(\mathbb C[[t]]\bigr)$中所有Mirković-Vilonen圈的集合是一个与$U(\mathfrak n^\vee_+)$的正则基的晶体同构的晶体。从正则基的元素的弦参数出发，给出了相应MV圈的稠密子集的明确描述。作为一个推论，我们表明，任何MV周期可以得到的封闭的品种之一，参与Lusztig的代数几何参数化的规范基础。此外，我们还证明了Gaussent和Littelmann构造的LS路与MV圈之间的双射是晶体的同构。
2008-04-24 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
Örebro University（欧勒布罗大学）；Chalmers University of Technology（查尔姆斯理工大学）；University of Gothenburg（哥德堡大学）
本研究推导了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
Cycles of linear and semilinear mappings
本文给出了线性或半线性映射V_1 -V_2 -V_3的圈的矩阵的一个标准形。- V_t -V_1，其中所有V_i都是复向量空间，每行是一个箭头->或<-，每个箭头表示一个线性或半线性映射。
2012-08-27 math.RT
Lusztig sheaves, characteristic cycles and the Borel-Moore homology of Nakajima's quiver varieties
本文利用特征循环构建量子群典范基到 Nakajima 箭图簇 Borel-Moore 同调的态射，证明整数实现并给出张量积簇同构猜想的新证明。
2025-04-21 math-ph math.MP math.QA
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 of Borcherds-Cartan Type
研究了与对称Borcherds-Cartan矩阵相关联的量子广义Kac-Moody代数的负部分的标准基。与满足一定条件的两个不同矩阵相关联的代数可以重合。我们证明了在代数重合的条件下，正则基重合。我们还部分回答了Lusztig的一个问题。
2008-12-08 math.QA math.RT
Unimodular bilinear lattices, automorphism groups, vanishing cycles, monodromy groups, distinguished bases, braid group actions and moduli spaces from upper triangular matrices
本专著从对角线为1的整数上三角矩阵出发，系统研究了秩2和3情形下导出的幺模双线性格、单值群、消没循环、辫群轨道及复流形等结构，并探讨了孤立超曲面奇点情形。
2024-12-21 math.AG math.RA math.RT
Graph-induced operators: Hamiltonian cycle enumeration via fermion-zeon convolution
通过图的顶点所张成的向量空间上的邻接矩阵和组合拉普拉斯算子的作用，在费米子代数和Zeon代数上导出了算子。代数的性质自动地给出关于图的生成树和顶点覆盖的信息。结合费米子和胶子上诱导的算子的性质，给出了一个费米子-胶子卷积，它恢复了任意图中哈密顿圈的数目。基尔霍夫定理以及古尔登、杰克逊和刘的开创性著作提供了这些算子的图论解释的数学基础，他们建立了使用邻接矩阵的行列式和积和来枚举哈密顿圈和路径的公式。
2015-01-18 math.CO math.RA math.RT
