다익 경로와 선형 나카야마 대수의 구성공간 및 다면체

초록

이 논문은 선형 방향성을 가진 Aₙ 쿼iver의 경로대수 C Aₙ을 상삼각 행렬대수와 동일시하고, 그 몫인 선형 나카야마 대수와 연관된 구성공간 U_A와 다면체 P_A를 다익 경로를 통해 명시적으로 구축한다. 다익 경로와 대수 사이의 일대일 대응을 이용해 변수 집합 I_A와 호환성 규칙을 정의하고, 이로부터 다항식 방정식 u_X + u_Y = 1 형태의 구성공간을 얻는다. 또한 P_A는 해당 격자점들의 뉴턴 다각형을 합한 Minkowski 합으로 나타내며, U_A는 그 토릭 다양체의 열린 아핀 부분으로 확인된다. 다익 경로의 포셋 구조가 대수와 다면체, 구성공간 사이의 사상과 사상 사상(모노몰 맵)으로 자연스럽게 반영된다.

상세 분석

본 연구는 두 가지 주요 수학적 구조를 연결한다. 첫째, 선형 나카야마 대수 A = C Aₙ / I는 두면이 없는 이상 I와 다익 경로 D 사이의 포셋 동형을 통해 완전히 기술된다. 다익 경로는 격자 (i, j) 위에서 위쪽 단계와 오른쪽 단계로 이루어진 사다리꼴 궤적이며, 경로가 아래에 놓이는 모든 격자점은 A‑모듈의 비대각선 인듀서블 모듈 M_{i,j}와 일치한다. 이때 ‘계곡’(valley) 위치 (a, b)는 경로가 아래에서 위로 전환되는 점으로, 해당 위치에 대응하는 경로 p_{a,b}=α_b…α_{a‑1}가 이상 I_D의 생성원으로 선택된다. 따라서 I_D는 다익 경로가 정의하는 모든 계곡에 대한 경로들의 이념을 포함한다.

두 번째로, 각 다익 경로 D에 대해 변수 집합 I_A를 정의한다. I_A는 D의 단계(step)와 D 아래에 존재하는 격자 사각형(다이아몬드)들을 라벨링한 집합이며, 각 원소 X∈I_A에 대응하는 좌표 u_X를 도입한다. 호환성(compatibility) 규칙은 두 원소 X, Y에 대해 정수 c(X,Y)≥0을 부여하고, 다음 형태의 방정식
 u_X + u_Y = 1 (if c(X,Y)=0)
 u_X + u_Y · u_Z = 1 (일반적인 경우)
을 만족하도록 만든다. 이 규칙은 실제로는 “u_X + u_Y = 1” 형태의 다항식 방정식으로 요약되며, 이는 기존 물리학에서 등장하는 u‑방정식과 동일한 구조를 가진다.

구성공간 U_A는 C^{I_A} 안의 아핀 다양체로, 위 방정식들에 의해 정의된다. 중요한 결과는 (U_A){\ge0}의 비음수 부분이 I_A의 호환성 부분집합에 의해 계층화된다는 점이다. 즉, 서로 호환되는 변수들의 집합 S⊆I_A가 정의하는 좌표 초평면 u_X=0 (X∈S)들의 교차는 (U_A){\ge0}의 한 면(face)을 형성한다. 이러한 면들의 포함 관계는 I_A의 호환성 부분집합의 포함 관계와 정확히 일치한다.

다면체 P_A는 I_A에 대응하는 격자점들의 뉴턴 다각형(Newt(F_{ij}))을 Minkowski 합으로 만든다. 여기서 F_{ij}=1+ y_i + y_i y_{i+1}+…+ y_i…y_j는 “F‑다항식”이라 불리며, 각 격자점 M_{i,j}에 할당된다. 따라서 P_A는 격자 아래에 있는 모든 점들의 뉴턴 다각형을 합한 결과이며, 이는 토릭 다양체 X_{P_A}의 모멘트 다면체와 동형이다. 저자들은 U_A가 X_{P_A} 안의 아핀 개방집합임을 증명하고, (U_A){\ge0}와 X{P_A}의 양의 부분이 동일한 면 격자를 공유함을 보인다.

다익 경로의 포셋 구조 D≤D′ (D가 D′ 아래에 있음)는 I_D⊇I_{D′}라는 이상 포함 관계와 일대일 대응한다. 이때 정의되는 모노몰 사상 ϕ: C