$m$-nil-clean nonderogatory matrices

기술 요약: m-Nil-Clean 비유각 행렬 (Nonderogatory Matrices)

문제 정의
본 논문은 양의 표수 $p$를 갖는 체 $F$ 위에서의 비유각(nonderogatory, 또는 cyclic) 행렬의 분해를 조사한다. 구체적으로, $n \times n$ 비유각 행렬 $A$를 $m$개의 아이뎀포텐트(idempotent, 멱등) 행렬($E_1, \dots, E_m$)과 닐포텐트(nilpotent, 멱영) 행렬 $N$의 합으로 표현하는 문제, 즉 $A = \sum_{i=1}^m E_i + N$인 형태의 분해를 다룬다. 이러한 분해를 "$m$-nil-clean" 분해라고 명명한다. 본 연구는 트레이스(trace)가 $\{k \cdot 1_F \mid k \in \{0, 1, \dots, p-1\}\}$ 집합에 속하는 행렬들에 대한 이러한 분해의 존재성을 규명하고, 결정적으로 행렬 $N$의 닐포텐스 지수(nilpotence index, 즉 $N^k = 0$을 만족하는 최소의 $k$)에 대한 타이트한 상한선을 확립하는 데 중점을 둔다.

방법론
저자들은 모든 비유각 행렬이 동형(similar)인 컴패니언 행렬(companion matrix)을 가진다는 사실을 활용하여, 컴패니언 행렬을 중심으로 한 구조적 접근 방식을 채택한다. 방법론은 다음과 같은 단계로 진행된다:

1. 컴패니언 행렬으로의 축소: 문제를 컴패니언 행렬 $C$를 분석하는 것으로 축소한다. 저자들은 트레이스가 $t$인 임의의 컴패니언 행렬 $C$가 트레이스가 0인 컴패니언 행렬 $C'$와 트레이스가 $t$인 대각 행렬 $D'$의 합인 $C' + D'$와 동형이라는 "피팅 보조정리(fitting lemma)"(보조정리 2.2)를 활용한다.
2. 대각 행렬까지의 분해: 저자들은 "대각 행렬 $D_0$까지의 $m$-nil-clean 분해"라는 개념을 도입한다. 이는 $C = \sum E_i + N - D_0$를 만족하는 아이뎀포텐트와 닐포텐트를 찾는 과정을 포함한다.
3. 분할 및 닐포텐트 구성: $N$의 닐포텐스 지수를 제어하기 위해, 저자들은 정수 $n-1$의 "좋은 분할(good partitions)"과 "자명한 분할(trivial partitions)"을 정의한다.
   • 좋은 분할인 $n-1 = d_1 + \dots + d_r$은 $i \ge 2$에 대해 $d_i > 1$을 요구한다.
   • 자명한 분할은 $n-1 = d_1$이다.
   • 닐포텐트 행렬 $N$은 하삼각 조르단 셀(lower triangular Jordan cells, $J_k$)과 특정 영행(zero-row) 제약 조건을 포함하는 블록 구조를 사용하여 분할에 기반해 구성된다. 이 구성은 좋은 분할의 경우 $N$의 닐포텐스 지수가 $\max(d_1+1, d_2, \dots, d_r)$에 의해 제한되도록 하며, 자명한 분할의 경우 $n-1$이 되도록 보장한다.
4. 트레이스 일치: 저자들은 특정 아이뎀포텐트 행렬들( own "severance matrices" 및 대각 아이뎀포텐트라 불림)을 구성하여, 이들의 트레이스의 합이 대상 행렬 $C$의 트레이스를 커버할 수 있는 필요한 범위의 값들을 포함하도록 한다. 이 아이뎀포텐트들의 대각 성분을 조정함으로써, $\sum E_i$의 가능한 트레이스 집합이 $p$에 대한 정수의 연속적인 구간을 형성함을 입증한다.
5. 합성: 트레이스 일치 능력과 대각 행렬까지의 구조적 분해를 결합하고 피팅 보조정리를 적용함으로써, 잔여 대각 항이 없는 정확한 $m$-nil-clean 분해의 존재를 증명한다.

주요 기여 및 결과
본 논문은 다음의 주요 정리(정리 3.3)를 확립한다:

양의 표수 $p$를 갖는 체 $F$에 대하여, $m, n$이 $m \ge 2$ 및 $n \le p \le mn - 1$을 만족하는 양의 정수일 때, 트레이스가 $\{k \cdot 1_F \mid k \in \{0, 1, \dots, p-1\}\}$에 속하는 모든 $n \times n$ 비유각 행렬 $A \in M_n(F)$에 대하여, 다음을 만족하는 $m$개의 아이뎀포텐트 행렬 $E_1, \dots, E_m$과 닐포텐트 행렬 $N$이 존재한다:
$$A = E_1 + E_2 + \dots + E_m + N$$
여기서 $N^k = 0$이다. 닐포텐스 지수 $k$에 대한 상한은 $n, m, p$의 관계와 $n$의 기우성(parity)에 따라 달라진다:

• Case 1: 만약 $p \in \{nm-1, nm-2\}$이면, $k = n$이다.
• Case 2: 만약 $p = nm-3$이면,$k = n-1$이다.
• Case 3: 그 외의 경우, $r = \lfloor \frac{nm-p}{2} \rfloor$라 하자.
  • $n$이 짝수이면, $k = \max(2, 1 + \lfloor \frac{n-1}{r} \rfloor)$이다.
  • $n$이 홀수이면, $k = \max(3, 1 + \lfloor \frac{n-1}{r} \rfloor)$이다.

또한, 본 논문은 $n > p$인 경우에 대한 구체적인 결과(주석 3.4)를 제공한다. 이 시나리오에서 $m=2$로 설정하면, 그러한 모든 비유각 행렬 $A$는 두 개의 아이뎀포텐트 행렬과 다음의 합이다:

• $n$이 짝수이면 제곱-제로(square-zero, $N^2=0$) 행렬.
• $n$이 홀수이면 닐포텐스 지수가 최대 3인 행렬($N^3=0$).

의의 및 주장
본 논문은 기존의 nil-clean 및 clean 분해 관련 문헌의 확장으로서 자신을 위치시킨다. 저자들은 나눗셈 환(division rings) 및 유한체 위에서의 nil-clean 행렬에 관한 Nicholson, Diesl 등의 선행 연구를 인용한다. 저자들은 기존 연구들이 nil-clean 분해(하나의 아이뎀포텐트와 하나의 닐포텐트의 합)의 존재성이나 닐포텐스 지수의 상한(예: $F_2$ 위에서 지수 $\le 4$)을 확립했다는 점을 언급하며, 본 연구는 일반적인 행렬에 대한 개념을 임의의 양의 표수를 갖는 체 위의 비유각 행렬에 대한 $m$-nil-clean 분해로 일반화한다는 점을 밝힌다.

주장된 의의는 이러한 분해에 대한 닐포텐스 지수 상한을 정밀하게 결정했다는 것이다. 저자들은 $n-1$의 분할을 신중하게 선택하고 아이뎀포텐트의 구조를 설계함으로써, 잔여 행렬 $N$의 닐포텐스 지수를 자명한 상한인 $n$에 비해 크게 줄일 수 있음을 보여준다. 결과적으로 본 논문은 지정된 트레이스 및 표수 제약 조건 하에서 비유각 행렬에 대한 완전한 특징화를 제공하며, 일반적인 행렬 설정에서 이전에 가용했던 것보다 더 날카로운(sharper) 상한을 제공한다. 본 논문은 모든 행렬에 대한 문제를 해결하거나(오직 비유각 행렬에 대해서만 수행함) $n \le p \le mn-1$ 제약 없이 모든 체의 표수에 대해 문제를 해결한다고 주장하지 않으며, 컴패니언 행렬의 구조적 특성에 초점을 맞춘 절제된 범위를 유지한다.