Affine 연산자의 이중정규동형동치 분류

초록

본 논문은 대수적으로 폐쇄된 특성 0 체 위에서 정의된 n차원 affine 연산자 f(x)=Ax+b와 g(x)=Cx+d의 biregular conjugacy(다항식이면서 역함수도 다항식인 전단사 h에 의해 hf=gh) 조건을 완전히 규명하고, 이를 위한 표준 형태를 제시한다. 기존에 bijective affine 연산자에 대해 Blanc가 얻은 결과를 일반화한다.

상세 요약

Affine 연산자 f(x)=Ax+b는 선형 부분 A와 평행이동 부분 b로 완전히 기술된다. 이때 biregular conjugacy는 일반적인 선형 동형이 아니라, 전단사 h가 다항식 매핑이며 그 역도 다항식이라는 강한 제약을 가진다. 논문은 먼저 affine 연산자를 고유값 분해와 Jordan 형태를 이용해 두 부분으로 나눈다. 선형 부분 A는 고유값 λ_i와 그에 대응하는 Jordan 블록 J_i(λ_i)로 표현되며, 평행이동 b는 A의 고정점 구조와 연관된다. 특성 0, 대수적으로 폐쇄된 체 F에서는 모든 고유값이 체 안에 존재하므로, A를 완전한 Jordan 표준형으로 바꿀 수 있다.

핵심 아이디어는 h가 다항식이므로, h가 보존해야 하는 불변량을 찾아내는 것이다. 저자는 다음과 같은 두 가지 불변량을 제시한다. 첫째, A와 C의 고유값 멀티셋이 동일해야 한다. 이는 h가 선형 부분을 다항식적으로 변환하면서 고유값을 보존한다는 사실에서 비롯된다. 둘째, A와 C의 nilpotent 부분(고유값 0에 해당하는 Jordan 블록)의 크기와 배치가 일치해야 한다. 이는 h가 nilpotent 구조를 다항식적으로 재구성할 수 없기 때문이다.

평행이동 벡터 b와 d에 대해서는 고정점 집합의 차원과 구조가 중요한데, 특히 A가 단위 행렬인 경우 f는 순수한 평행이동이며, 이때 h는 단순히 평행이동 벡터를 선형 변환한 뒤 추가적인 다항식 변환을 허용한다. 저자는 b와 d가 각각 A와 C의 고정점 공간에 속하는지 여부를 검증하고, 고정점이 존재하지 않을 경우 고정점이 없는 affine 연산자들의 동형성을 분석한다.

주요 정리는 다음과 같다.

1. 두 affine 연산자 f와 g가 biregular conjugate 되려면, A와 C가 선형 동형(conjugate) 관계에 있어야 하며, 그 동형을 구현하는 선형 변환 L이 존재한다.
2. L이 존재하면, b와 d는 L에 의해 서로 대응되는 평행이동 벡터가 되어야 한다; 즉, d = Lb + (I - C)Lv - Lv for some v∈F^n.
3. 위 조건을 만족하면, h(x)=Lx+v 로 정의된 전단사(다항식이며 역도 다항식) 가 존재하여 hf=gh 를 만족한다.

이 정리를 바탕으로 저자는 affine 연산자의 표준 형태를 제시한다. 먼저 A를 고유값에 따라 블록 대각 형태로 정규화하고, 각 블록에 대해 b를 가능한 한 단순한 형태(예: 0 또는 표준 기저 벡터)로 이동시킨다. 최종적으로 얻어지는 canonical form은
\