Global structure behind pointwise equivalences of noncommutative polynomials

技術要約：非可換多項式の点別等価性の背後にある大域的構造

問題提起
本論文は、非可換多項式（代数閉体 $k$ の自由結合代数 $k\langle x \rangle = k\langle x_1, \dots, x_n \rangle$ の元）における局所的（点別）等価性と大域的（代数的）等価性の関係を調査するものである。著者らは、これらの多項式を、非可換アフィン空間 $M_n = \bigcup_{k \in \mathbb{N}} M_k(k)^n$ 上の関数として捉えており、多項式 $f$ は任意のタプル $X$ に対して行列 $f(X)$ を値として持つ。

中心となる問題は、これらの評価値の特定の局所的な性質（ランク等価性、等スペクトル性、点別相似性、およびノルム等価性など）が、自由代数内における特定の環論的な関係を導くかどうかを判定することである。本論文では、以下の4つの主要な局所的等価性を扱う：

1. ランク等価性（Rank-equivalence）: すべての $X \in M_n$ に対して $f(X)$ と $g(X)$ が同じランクを持つ。
2. 等スペクトル性（Isospectrality）: すべての $X \in M_n$ に対して $f(X)$ と $g(X)$ が同一のスペクトルを持つ。
3. 点別相似性（Pointwise similarity）: すべての $X \in M_n$ に対して $f(X)$ と $g(X)$ が相似行列である。
4. ノルム等価性（Norm equivalence）: すべての $X \in M_n$ に対して $f(X)$ と $g(X)$ が同一の演算子ノルムまたはフロベニウスノルムを持つ（特に $k=\mathbb{C}$ の場合）。

手法
著者らは、非可換解析、作用素論、および自由イデアル環（FIR）の因数分解理論の基礎となる P. M. Cohn の研究を主として、非可換解析、作用素論、および自由イデアル環の因数分解理論の統合を用いている。その手法には以下が含まれる：

• 安定結合（Stable Association）と因数分解: 2つの多項式 $f$ と $g$ が、可逆行列 $P, Q$ を用いて $\text{diag}(g, 1) = P \cdot \text{diag}(f, 1) \cdot Q$ となる場合に「安定結合している」という概念を利用する。これは、巡回加群の同型 $R/Rf \cong R/Rg$ に結びついている。
• 固有環（Eigenrings）とインターツワイナー（Intertwiners）: スペクトル特性を特徴付けるために、固有環 $E(a) = \{g \in R : fa = ag \text{ となるある } f\}$ の構造と、インターツワイナー（$fa = ag$）の存在を分析する。
• 加群論とホモロジー代数: 左 $R$ 加群の圏の性質を用い、特に無限次元ベクトル空間上の評価の核（kernel）を調べ、および $Ext$や$Hom$ 関手を用いて、合成多項式と非合成多項式を区別する。
• 生成的行列タプルとザリスキー位相: 生成的行列（generic matrices）とザリスキー密度の議論を用いて、局所的なスペクトルの一致を大域的な代数的恒等式へと拡張する。
• 自由 $\ast$-代数: ノルム等価性の結果については、自由 $\ast$-代数 $C\langle x, x^* \rangle$ へと分析を拡張し、単語の巡回的等価性とノルムの等価性を関連付けるために、跡（tracial）の Nullstellensatz を利用する。

主要な貢献と結果

本論文は、これら4つの局所的等価性に対して正確な特徴付けを行い、それに対応する大域的な代数的関係を特定している：

1. ランク等価性 $\iff$ 安定結合:
   定理 3.4 は、$k\langle x \rangle$ 上の2つのフル行列がランク等価であるための必要十分条件は、それらが安定結合していることであることを証明している。これは、既知の既約多項式および線形ペンドルメントに関する結果を一般化するものである。重要な中間結果（補題 3.2）は、安定結合していないフル行列が、無限次元作用素上に評価された際に異なる次元の核を持つことを示している。

2. 等スペクトル性 $\iff$ インターツワイン（Intertwinedness）:
   定理 4.1 は、$f$ と $g$ が等スペクトルであるための必要十分条件は、それらがインターツワインしていること（すなわち、ある非ゼロの $a$ が存在して $fa = ag$ となること）であることを確立している。さらに、本論文は、等スペクトル性を「初等的インターツワイン（elementary intertwinedness）」（$\lambda + ab$ と $\lambda + ba$ という関係）の推移的閉包として特徴付けている。

• 精緻化: 本論文は、標準的な等スペクトル性（有限次元行列上の評価）と「作用素等スペクトル性（operator isospectrality）」（ヒルベルト空間上の有界作用素上の評価）を区別している。例 4.5 は、作用素等スペクトル性が標準的な等スペクトル性よりも厳格であり、かつランク等価性を必ずしも意味しないことを示している。

3. 点別相似性 $\iff$ 一致（Equality）:
   定理 5.6 は、強力な剛性結果を提供する：もしすべての $X$ に対して $f(X)$ と $g(X)$ が相似であれば、$f = g$ である。この証明は、問題を非合成多項式へと還元し、ジョルダン標準形を利用して、点別相似性が冪乗の安定結合 $(f-\lambda)^k \sim (g-\lambda)^k$ を強制し、それが最終的に一致を強いることを示すことに依拠している。

• 反例: 例 5.2 は、$ab$と$ba$ は安定結合しており多くの性質を共有しているものの、必ずしも点別相似ではないことを示しており、相似性の条件の厳密さを浮き彫りにしている。

4. ノルム等価性 $\iff$ 単元的な定数によるスケーリング:
   $k=\mathbb{C}$ の場合、定理 6.3 は、もし $f$ と $g$ が同一の点別演算子ノルム、フロベニウスノルム、または特異値を共有するならば、$g = \zeta f$（ただし $|\zeta| = 1$ なる定数 $\zeta \in \mathbb{C}$）となることを証明している。この結果は、自由 $\ast$-代数と巡回的等価性を介して、非可換多項式の計量的性質をその代数的構造へと結びつけるものである。

意義と範囲
本論文は、局所的等価性と大域的等価性の「最も遍在するペア」を特定したと主張しており、行列評価の解析的性質と自由代数内の代数的関係との間の完全な辞書を提供している。

• 理論的影響: これらの結果は、非可換解析（結合スペクトル、関数解析）と自由イデアル環の代数的理論を統一するものである。等スペクトル性を初等的インターツワインによって特徴付けることは、スペクトル等価類を理解するための構成的な手法を提供する。
• 剛性: 点別相似性が一致を意味するという発見は、ランク等価性や等スペクトル性の柔軟な性質とは対照的な、重要な剛性結果である。
• 限界と未解決問題: 著者らは、「作用素等スペクトル性」（無限次元ヒルベルト空間上）の関係が代数的に未解明であることを明記している。また、結果は自由代数において成立するが、非可換関数の芽（germs）の環や一般的な作用素環への拡張が今後の課題として挙げられている。本論文は新しい応用を提案するものではなく、既存の非可換解析や自由確率論における現象の構造的基盤を明確にすることを目的としている。