다변량 토러스 작용을 이용한 새로운 AG 코드 설계

본 논문은 차원이 하나 낮은 토러스(T) 작용을 갖는 정상 다양체, 즉 T‑variety에 대한 이론적 기반을 마련하고, 이를 활용해 새로운 평가 코드를 정의한다. 먼저 2.1절에서는 다면체 디비전(polyhedral divisor)의 정의와 평가 방법을 소개한다. 다면체 디비전 D는 Y 위의 소수 디비전들의 유한합으로, 각 소수 디비전마다 꼬리 원뿔(tail cone) σ를 갖는다. D가 Cartier이면 모든 정수 격자점 u∈σ^∨∩M에 대해 D(u)라는 일반 디비전이 Cartier이 된다. 이를 통해 M‑graded k‑algebra 𝒪_X=⊕_{u∈σ^∨∩M}Γ(Y,𝒪(D(u)))를 구성하고, Spec 𝒪_X가 T‑action을 갖는 정상 다양체 X가 된다. 3절에서는 차원 1인 토러스 작용, 즉 Y가 곡선인 경우에 초점을 맞춘다. 팬시 디비전(fansy divisor) Ξ는 Y 위의 각 점 P마다 다면체 서브디비전 Ξ_P를 할당한 자료구조이며, 전역적인 지원 함수 h∈SF(Ξ)와 T‑불변 Cartier divisor D_h 사이의 일대일 대응을 보인다. 지원 함수 h는 각 Ξ_P에 대해 정수 기울기와 정수 이동을 갖는 조각별 선형 함수이며, 모든 점에서 동일한 선형 부분 h₀를 공유한다. h가 principal이면 D_h는 T‑불변 principal divisor와 동형이며, 일반적인 경우에는 h의 선형 부분과 정수 계수를 이용해 Weil divisor의 계수를 명시한다(정리 3.5). 다음으로 전역 섹션 L(D_h)와 그 가중 집합을 다각형 𝛥_h로 제한한다. 𝛥_h는 h의 선형 부분 h₀에 대한 부등식 {u∈M_ℚ | h_P(v)≤⟨u,v⟩ ∀v∈Ξ_P} 로 정의되며, 이는 전통적인 토러스 경우의 다각형과 완전히 일치한다. 각 u∈𝛥_h∩M에 대해 h^*(u)=∑_P min_{v∈Ξ_P}⟨u,v⟩·P 라는 디비전을 얻으며, 이는 곡선 Y 위의 유리 디비전이다. 따라서 L(D_h)_u≅Γ(Y,𝒪(h^*(u)))가 되며, 차원은 Riemann‑Roch에 의해 deg h^*(u)+1−g(Y)와 같다. 교차 이론에서는 D_h·D_h′를 𝛥_h와 𝛥_{h′}의 혼합 부피로 표현하고, 특히 차원 2인 경우에는 D_h·(D_h+K_X)=2·Vol(𝛥_h)+... 형태의 식을 얻어 최소 거리 추정에 활용한다. 4절에서는 이러한 구조를 이용해 T‑코드 C(Y, h^*, P)를 정의한다. 여기서 P={P₁,…,P_l}⊂Y(ℱ_q)이며, 각 u∈𝛥_h∩M에 대해 두 개의 코드 C_u와 C(Y, h^*(u), P)를 곱한 뒤 직합한다. C_u는 (ℱ_q^*)^m에 대한 평가 코드이며, C(Y, h^*(u), P)는 전통적인 AG 코드이다. 전체 코드의 길이는 n=|M∩𝛥_h|·|P|·(q−1)^m, 차원은 Σ_{u∈𝛥_h∩M}ℓ(h^*(u))이며, 최소 거리는 각 성분 코드의 최소 거리와 교차 수 D_h·(D_h+K_X) 등을 이용한 하한으로 추정한다. 차원 2인 경우에는 교차 수가 직접 계산 가능해 d≥n−max_{u}deg h^*(u)−g(Y)+1와 같은 강력한 하한을 얻는다. 5절에서는 구체적인 예시를 제시한다. 첫 번째 예는 𝒪_{ℙ¹}(a)⊕𝒪_{ℙ¹}(b) 형태의 분해 가능한 2‑벡터 번들에서 유도된 ruled surface이다. 여기서 h^*(u)는 ℙ¹ 위의 정수 차수 디비전이 되며, 얻어진 T‑코드는 Reed‑Solomon·Goppa 곱 코드보다 (n,k,d) 파라미터가 개선된다. 두 번째 예는 Hasse‑Weil 상한을 이용해 최소 거리 하한을 강화한 경우로, 더 복잡한 팬시 디비전을 사용해 기존 ruled surface보다 더 좋은 코드를 만든다. 세 번째 예는 ℱ₇ 위에서 𝛥_h가 삼각형인 T‑3‑fold을 이용해 (n,k,d)=(49,30,15)와 같은 파라미터를 얻으며, 이는 현재 알려진 최적 선형 코드와 동등하거나 더 좋다. 결론적으로, 논문은 T‑variety 위의 divisor와 지원 함수 이론을 체계화하고, 이를 통해 고차원 AG 코드 설계에 새로운 도구를 제공한다. 특히 차원 1 토러스 작용이라는 제한된 상황에서도 다면체 디비전과 팬시 디비전을 이용해 다양한 코드 파라미터를 조절할 수 있음을 보여준다. 향후 연구에서는 더 높은 차원의 토러스 작용, 비분해 가능한 벡터 번들, 그리고 팬시 디비전의 복합 구조를 탐구함으로써 더욱 강력한 코드를 찾는 방향이 제시된다.