프루베니아와 교환하는 행렬의 계수 세기

초록

이 논문은 유한체 𝔽_q( q는 소수 p의 거듭제곱) 위의 n×n 행렬 중 Frobenius 사상 σ(각 원소를 p제곱)와 교환하는 행렬을 세는 문제를 다룬다. 대각가능 행렬, 고유공간이 𝔽_p 위에 정의된 행렬, 그리고 전체 Frobenius 궤도와 교환하는 경우에 대한 점근적 개수를 구하고, 일반 경우를 해결하기 위한 구조적 접근법을 제시한다. 주요 결과는 |X_diag(𝔽_q)|≈c_diag·q^{⌊n²/3⌋+1}, |X_∞(𝔽_q)|≈c_∞·q^{⌊n²/4⌋+1} 등이다.

상세 분석

논문은 먼저 Frobenius 사상 σ: M_n(𝔽_p)→M_n(𝔽_p) 를 정의하고, σ와 교환하는 행렬들의 집합 X(𝔽_q), 대각가능 행렬만을 포함하는 X_diag(𝔽_q), 그리고 σ,σ²,…,σ^k와 모두 교환하는 행렬들의 집합 X_∞(𝔽_q) 등을 도입한다. 핵심 기술은 Lang–Weil 추정법을 이용해 𝔽_q‑점의 수를 기하학적 차원과 최대 차원 성분의 개수로 환산하는 것이다.

대각가능 행렬에 대해서는 각 행렬 M을 고유값 λ와 그에 대응하는 고유공간 E_λ 로 분해하고, E_λ와 σ(E_μ)의 교차 차원을 간선 수로 하는 유향 그래프(쿼iver) Q_M 를 만든다. M이 σ(M)와 교환한다는 조건은 Q_M 가 정확히 n개의 간선을 갖는 ‘균형 쿼iver’임과 동치이며, 이는 Bal_n이라는 유한 집합으로 분류된다. 각 Q∈Bal_n에 대해 X_diag^Q 를 구성하고, 그 차원을 Grassmannian과 선형대수적 제약을 통해 계산한다. 차원이 최대가 되는 Q는 두 종류(정규형과 특수형)만 존재하고, 각각에 대해 불변성(𝔽_p‑정의)과 성분 수를 정확히 파악한다. 결과적으로 |X_diag(𝔽_q)|는 q^{⌊n²/3⌋+1}에 비례하고, 상수 c_diag(p,n)은 n=2,4일 때는 각각 p/2,2, 그 외에는 1이다.

전체 Frobenius 궤도와 교환하는 경우 X_∞는 더 강한 제약을 갖는다. 여기서는 M이 생성하는 대수 A=𝔽_p