거리정규그래프 핵심 모듈의 구조와 응용

초록

본 논문은 Q‑다항 거리정규그래프 Γ의 정점 x에 대한 서브컨스티튜엔트 대수 T(x)를 이용해 핵심 모듈 𝒩(x)를 정의한다. 𝒩(x)의 모든 비가역 T‑부분모듈은 얇으며, 비이분 dual polar 그래프인 경우 𝒩(x)의 기저를 프로젝트 기하 L_D(q)와 일대일 대응시키는 구체적인 형태로 제시한다. 또한 트라이다이아고날 쌍과 레오나드 시스템 이론을 활용해 𝒩(x)의 구조적 특성을 심층 분석한다.

상세 분석

논문은 먼저 Q‑다항 거리정규그래프 Γ와 그 정점 x에 대해 서브컨스티튜엔트 대수 T(x)=⟨A,A*⟩를 정의한다. 여기서 A는 인접 행렬, A는 x에 대한 이중 인접 행렬이며, 각각의 원시 멱등 행렬 {E_i},{E_i}가 존재한다. 저자는 T‑모듈 V=C^X를 표준 모듈로 두고, T‑모듈의 불변량인 엔드포인트(end point), 듀얼 엔드포인트(dual end point), 직경(diameter), 변위(displacement)를 도입한다. 변위는 r+t−D+d 로 정의되며, 변위가 0이면 r=t이며 d=D−2r이라는 동치조건을 만족한다. 변위가 0인 모든 불변 T‑부분모듈을 모아 만든 직합을 𝒩(x)라 명명하고, 이를 ‘핵심’이라 부른다.

핵심의 정의는 N_i=(E*0+…+E*i)V∩(E_0+…+E{D−i})V (0≤i≤D) 로 주어지며, N=⊕{i=0}^D N_i 로 직접합을 이룬다. 이때 각 N_i는 A와 A에 대해 삼중대각(tridiagonal) 구조를 갖는 부분공간이며, N 전체는 T‑불변이다. 저자는 모든 비가역 T‑부분모듈이 얇(thin)함을 증명한다. 얇은 모듈은 각 원시 멱등 행렬 E_i와 E_i가 차원 1인 경우와 동치이며, 이는 레오나드 시스템의 특수 경우와 일치한다.

특히 Γ가 비이분 dual polar 그래프일 때, 저자는 정점 x를 기준으로 정의한 동치 관계 ∼ (동일 거리와 같은 연결 성분에 속함)를 이용해 𝒩(x)의 기저를 구성한다. ∼‑클래스의 특성벡터들이 𝒩(x)의 기저가 되며, 이 기저는 x가 포함하는 D차원 부분공간들의 격자 L_D(q)와 일대일 대응한다. 여기서 L_D(q)는 GF(q) 위의 프로젝트 기하학으로, 원소는 x의 부분공간이며 포함 관계로 부분순서집합을 이룬다. 저자는 이 대응을 통해 A의 작용을 L_D(q) 위의 가중 인접 지도(weighted adjacency map)로 해석한다. 이 가중 지도는 기존 문헌의 Bernard‑Crampé‑Vinet의 가중 인접과 일치함을 확인한다.

핵심 분석에 핵심적인 도구는 트라이다이아고날 쌍(tridiagonal pair)이다. 트라이다이아고날 쌍 (A,A*)는 각각이 대각화 가능하고, 서로의 고유공간을 삼중대각 형태로 변환한다. 논문은 트라이다이아고날 쌍이 Q‑다항 거리정규그래프와 동치임을 보이고, 특히 레오나드 시스템(모든 ρ_i=1)과의 관계를 정리한다. 레오나드 시스템에서는 상승 연산자 R이 정의되어 R^{d−2i}:U_i→U_{d−i}가 전단사임을 이용해 핵심 모듈의 기저를 명시적으로 구성한다.

마지막으로 저자는 핵심의 차원을 D-이항계수의 합인 dim 𝒩=∑_{i=0}^D \binom{D}{i}_q 로 계산하고, 이는 L_D(q)의 원소 수와 정확히 일치함을 보여준다. 또한 핵심에 대한 여러 개방 문제를 제시하며, 비이분 dual polar 그래프 외의 Q‑다항 그래프에서의 핵심 구조, 변위가 0이 아닌 모듈의 분류, 그리고 가중 인접 지도와 코호몰로지 이론과의 연계 가능성을 제안한다.