[논문 리뷰] On the Jordan decomposition of tensored matrices of Jordan canonical forms

Kei-ichiro Iima, Ryo Iwamatsu|ArXiv.org|2006. 12. 15.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 18

한 줄 요약

이 논문은 임의의 특성 $ p \geq 0 $ 을 가진 대수적으로 닫힌 체 위에서 두 조르당 블록 $ J(\alpha,s) \otimes J(\beta,t) $ 의 조르당 행렬 형태(JCF)를 완전히 특성화한다. 두 알고리즘을 제안한다: 하나는 $ k[x,y]/(x^s, y^t) $ 가 $ k[\theta] $-모듈로서 $ \theta = x+y $ 를 통해 분해되는 파artition을 계산하는 방식이며, 다른 하나는 구조적 행렬의 행렬식을 이용해 분해를 계산하는 방식이다. 핵심 결과는 모든 특성에서 유효한 통일된 알고리즘으로, 특성 $ p = 0 $ 이나 $ p \geq s+t-1 $ 일 경우 닫힌 표현식을 제공하며, 이 경우 $ \bigoplus_{i=0}^{s-1} J(\alpha\beta, s+t-1-2i) $ 를 얻는다.

ABSTRACT

Let k be an algebraically closed field of characteristic p \ge 0. We shall consider the problem of finding out a Jordan canonical form of J(α,s) \otimes_{k} J(β,t), where J(α,s) means the Jordan block with eigenvalue α\in k and size s.

연구 동기 및 목표

• 임의의 특성 $ p \geq 0 $ 에서 $ J(\alpha,s) \otimes J(\beta,t) $ 의 조르당 행렬 형태(JCF)를 결정하는 열린 문제를 해결하며, 이전 결과가 특성 0 에서만 유효한 것을 넘어서는 것.
• 기초 체의 특성에 의존하지 않는 통일된 알고리즘을 제공하여 JCF를 계산하며, 특히 $ \alpha\beta \neq 0 $ 인 경우를 다루는 것.
• 텐서곱의 JCF와 $ R = k[x,y]/(x^s, y^t) $ 가 $ k[\theta] $-모듈로서의 분해 가능성을 연결하는 것, 여기서 $ \theta = x+y $.
• 특성 0 이나 양의 특성에서의 분해를 결정하기 위해 구조적 행렬의 행렬식을 이용한 계산 방법을 개발하는 것.
• 기존 특성 0 에서의 결과(예: Harima–Watanabe, Martsinkovsky–Vlassov)를 임의의 대수적으로 닫힌 체로 일반화하는 것.

제안 방법

• 텐서곱 $ J(\alpha,s) \otimes J(\beta,t) $ 를 $ k[X,Y]/((X-\alpha)^s, (Y-\beta)^t) $ 에서 $ XY $ 의 작용으로 표현하며, 변수 치환을 통해 $ R = k[x,y]/(x^s, y^t) $ 와 동형임을 보인다.
• $ \theta = x+y $ 를 고려하여 $ R $ 을 $ k[\theta] $-모듈로 간주하고, $ k[\theta]/(\theta - \alpha\beta)^{c_i} $ 의 불가약 순환 $ k[\theta] $-모듈로 분해하며, 이들의 차원이 파artition $ \mathbb{c} = (c_1, \dots, c_r) $ 를 이룬다.
• 공액 파artition $ \mathbb{b} = (b_1, \dots, b_{r'}) $ 를 사용하여 JCF를 계산하며, 여기서 $ b_i = \dim_k(R / \theta^i R) - \dim_k(R / \theta^{i-1} R) $ 이고, $ a_i = \dim_k(R / \theta^i R) $ 의 수열을 이용한다.
• 이차 알고리즘으로, 행렬의 항목이 이항계수인 $ \times \theta^{s+t-2-2i} : R_i \to R_{s+t-2-i} $ 의 행렬식 $ D(i) $ 를 계산하는 방법을 도입한다.
• $ D_p(i) = 1 $ 이면 $ D(i) \not\equiv 0 \pmod{p} $ 인 경우를 정의하고, $ \varDelta_p = (D_p(0), \dots, D_p(s-1)) $ 를 정의하여 주요 모듈을 식별하고 양의 특성에서 JCF를 계산한다.
• $ \varDelta_p $ 수열을 재귀적으로 적용하여 불가약 합성의 길이와 주요 차수를 계산함으로써 JCF의 완전한 재구성 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 대수적으로 닫힌 체에서 임의의 특성 $ p \geq 0 $ 에서 $ J(\alpha,s) \otimes J(\beta,t) $ 의 조르당 행렬 형태(JCF)는 무엇인가?
• RQ2 JCF는 고유값 $ \alpha, \beta $ 에 어떻게 의존하는가, 특히 $ \alpha\beta = 0 $ 과 $ \alpha\beta \neq 0 $ 의 경우를 비교하여 설명하라.
• RQ3 반환 가능한 대수적 불변량을 이용하여, 특성 0 이나 양의 특성에서 모두 통일된 JCF 계산 알고리즘을 $ R = k[x,y]/(x^s, y^t) $ 의 불변량을 통해 얻을 수 있는가?
• RQ4 특성 $ \theta = x+y $ 를 가진 $ R $ 의 $ k[\theta] $-모듈로서의 구조는 불가약 분해를 결정하는 데 어떤 역할을 하는가?
• RQ5 구조적 행렬의 행렬식을 어떻게 이용하여 양의 특성에서 JCF를 알고리즘적으로 계산할 수 있는가?
• RQ6 언제 JCF가 특성 0 의 형태 $ \bigoplus_{i=0}^{s-1} J(\alpha\beta, s+t-1-2i) $ 로 단순화되는가?

주요 결과

• 만약 $ \alpha = 0 $ 이나 $ \beta = 0 $ 이면, $ J(\alpha,s) \otimes J(\beta,t) $ 의 JCF 는 체의 특성과 무관하며 특성 0 의 경우와 일치한다.
• $ \alpha\beta \neq 0 $ 인 경우, JCF 는 $ R = k[x,y]/(x^s, y^t) $ 가 $ k[\theta] $-모듈로서의 불가약 분해에 의해 결정되며, 이 분해는 $ st $ 의 파artition $ \mathbb{c} $ 를 통해 계산 가능하다.
• 항목이 $ \binom{s+t-2-2i}{t-1-j} $ 인 행렬의 행렬식 $ D(i) $ 를 이용하는 알고리즘은 임의의 특성 $ p $ 에서 JCF 를 계산할 수 있으며, $ D_p(i) = 1 $ 이면 $ D(i) \not\equiv 0 \pmod{p} $ 이다.
• 특성 $ p = 0 $ 이나 $ p \geq s+t-1 $ 인 경우, 모든 $ D(i) $ 가 $ p $ 에 대해 0이 아니므로 JCF 는 $ \bigoplus_{i=0}^{s-1} J(\alpha\beta, s+t-1-2i) $ 로 단순화되며, 이는 기존 특성 0 의 결과를 일반화한다.
• $ J(\alpha,4) \otimes J(\beta,5) $ 에서 $ \alpha\beta \neq 0 $ 이면, $ p \neq 2,5,7 $ 일 경우 JCF 는 $ J(\alpha\beta,8) \oplus J(\alpha\beta,6) \oplus J(\alpha\beta,4) \oplus J(\alpha\beta,2) $ 이지만, $ p = 5 $ 일 경우 $ J(\alpha\beta,5)^{\oplus 4} $ 로 변형되며, 이는 특성 $ p $ 에 매우 강하게 의존함을 보여준다.
• 행렬식 $ D(i) $ 에서 유도된 $ \varDelta_p $ 수열을 분석함으로써, 양의 특성에서도 JCF 를 성공적으로 계산할 수 있으며, $ p $ 가 일부 $ D(i) $ 를 나누더라도 분해의 완전한 재구성 가능성을 보장한다.