Conic modules, secondary fans and non-commutative resolutions

1. 연구 배경 및 문제 제기

• NCCR 의 개념: Van den Bergh 가 도입한 NCCR 는 특이점을 가진 대수적 다양체의 크레판트 분해 (crepant resolution) 의 성질을 대수적으로 포착한 개념입니다. 이는 유한한 전역 차원 (global dimension) 을 가진 $\Lambda = \text{End}_R(M)$ 형태의 대수 (여기서 $M$은 반사적 가군) 로 정의됩니다.
• 기존 연구의 한계: Faber, Muller, Smith [FMS19] 는 **완전한 콘 모듈의 합 (complete sum)**을 사용하여 심플리셜 (simplicial) 토릭 대수 (toric algebra) 에 대한 NCCR 를 구성했습니다. 그러나 심플리셜이 아닌 (non-simplicial) 경우, 모든 동형류 (isomorphism class) 를 포함하는 완전한 합은 NCCR 가 되지 않을 수 있습니다.
• 핵심 질문: [FMS19] 는 심플리셜이 아닌 경우에도 **불완전한 콘 모듈의 합 (incomplete sum)**을 통해 NCCR 를 구성할 수 있는 예시를 보였습니다. 이에 따라 본 논문은 **"언제 불완전한 콘 모듈의 합이 NCCR 를 제공하는가?"**라는 질문 (Question 1.2) 에 답하고자 합니다.

2. 방법론: Bondal-Thomsen 컬렉션과 2 차 팬의 활용

저자는 콘 모듈을 연구하기 위해 Bondal-Thomsen 컬렉션 (토릭 DM 스택 위의 선다발들의 집합) 과 **2 차 팬 (Secondary Fan, 또는 GKZ 팬)**의 기하학적 구조를 결합한 새로운 접근법을 제시합니다.

• 콘 모듈과 Bondal-Thomsen 컬렉션의 연결: 콘 모듈 $A_v$와 Bondal-Thomsen 컬렉션의 선다발 $O_X(-d(v))$ 사이의 동형 관계를 규명합니다. 이를 통해 콘 모듈의 합을 선다발의 부분집합으로 해석할 수 있게 됩니다.
• 2 차 팬과 유효 경로 (Valid Paths):
  • 콘 모듈이 특정 복합체 (complex) $K^\bullet_v$에 나타나는 조건을 2 차 팬 내의 유효 경로 (valid path) 개념으로 재정의합니다.
  • 격자점 (lattice points) $P_1$에서 $P_2$로 가는 경로가 유효하기 위해서는 특정 부등식 조건을 만족해야 하며, 이는 콘 모듈의 등장 여부와 차수를 결정합니다.
• 대체 (Substitution) 와 잠금 가능 집합 (Lockable Sets):
  • 불완전한 합을 통해 NCCR 를 얻기 위해, 특정 콘 모듈들을 다른 복합체로 '대체'하는 과정을 정의합니다.
  • 이 대체 과정을 통해 모든 복합체가 유한한 길이를 유지하고, 특정 모듈들이 순환 (loop) 하지 않도록 하는 조건을 **잠금 가능 집합 (lockable set)**이라고 부릅니다.
  • 더 나아가, 모든 복합체의 길이가 $\dim \sigma$와 같을 때 이를 **믿을 수 없는 집합 (incredulous set)**이라고 정의하며, 이것이 NCCR 를 구성하는 필요충분 조건임을 증명합니다.

3. 주요 기여 및 결과

3.1. 계산 복잡도의 대폭 감소 (Torsion-free Reduction)

• 주요 정리 (Theorem 1.5): 콘 모듈의 불신할 수 있는 집합 (incredulous set) 의 존재 여부는, 토릭 다양체의 클래스 군 (class group) 에 회전 (torsion) 이 없는 경우로 환원하여 판단할 수 있음을 증명합니다.
• 의의: 이는 2 차 팬의 격자점 (lattice points) 만을 고려하면 되므로, 회전 성분을 고려해야 하는 복잡한 계산을 배제하고 조합론적 구조 (유효 경로) 만으로 NCCR 의 존재 여부를 판별할 수 있게 합니다. 계산 복잡도가 $| \text{Tors}(X) |$배만큼 줄어듭니다.

3.2. 거의 심플리셜 Gorenstein 콘의 분류 (Classification of Almost Simplicial Gorenstein Cones)

• 정의: $|\sigma(1)| = \dim \sigma + 1$인 Gorenstein 콘을 '거의 심플리셜 (almost simplicial)' 콘이라고 정의합니다. 이 경우 2 차 팬과 존토프 (zonotope) 가 1 차원이 되어 계산이 간소화됩니다.
• 분류 정리 (Theorem 1.6): 거의 심플리셜 Gorenstein 콘이 불완전한 콘 모듈의 합을 통해 NCCR 를 가질 필요충분 조건은 다음과 같습니다:
  1. $\beta_\rho$들의 집합이 (부호 반전을 제외하고) $\{2, 1, -1, -1, -1\}$인 경우.
  2. $\beta_\rho$들의 집합이 $\{1, 1, 1, -1, -1, -1\}$인 경우.
  3. $\sigma$가 사다리꼴 (trapezoid) $P$에 대해 $\text{Cone}(P \times \{1\})$과 격자 동치인 3 차원 Gorenstein 콘인 경우.
• 반례: 위 조건을 만족하지 않는 Gorenstein 콘 (예: 특정 4 차원 콘) 은 불완전한 합으로 NCCR 를 구성할 수 없음을 보였습니다 (Theorem 4.29).

4. 의의 및 결론

• 이론적 통합: Faber-Muller-Smith 의 콘 모듈 접근법과 Ballard 등 [BBB+25] 의 Bondal-Thomsen 컬렉션 및 Cox 카테고리 이론을 성공적으로 연결했습니다.
• 계산적 효율성: NCCR 의 존재 여부를 판별하는 과정에서 2 차 팬의 조합론적 구조 (유효 경로) 를 활용함으로써, 기존에 필요했던 복잡한 사영 분해 (projective resolution) 계산이나 회전 성분의 직접적인 처리를 우회할 수 있는 강력한 도구를 제공했습니다.
• NCCR 존재성에 대한 통찰: 모든 Gorenstein 토릭 대수가 NCCR 를 가진다는 Van den Bergh 의 추측 (Conjecture 1.1) 에 대한 부분적 진전을 이루었습니다. 특히, 불완전한 콘 모듈의 합이라는 구체적인 형태로 NCCR 를 구성할 수 있는 경우와 불가능한 경우를 명확히 분류했습니다.

요약하자면, 이 논문은 2 차 팬의 기하학적 구조를 활용하여 콘 모듈 기반의 NCCR 구성 문제를 조합론적으로 단순화하고, 거의 심플리셜 Gorenstein 콘에 대한 완전한 분류를 제시함으로써 비가환 기하학 및 토릭 기하학 분야에서 중요한 진전을 이루었습니다.