The Cox ring of an embedded variety

기술적 요약: 매장된 다양체의 콕스 링

문제 제기
본 논문은 모리 드림 공간 (즉, $R(Z)$가 유한 생성됨) 인 정규 환경 다양체 $Z$ 안에 매장된 정규 다양체 $X$의 콕스 링 $R(X)$를 결정하는 계산적 문제를 다룬다. 환경 공간의 콕스 링은 알려져 있지만, 부분 다양체의 콕스 링을 계산하는 것은 비자명하다. 저자들은 divisor class group 에 대한 pullback 사상 $\iota^*: \text{Cl}(Z) \to \text{Cl}(X)$가 동형사상인 특정 시나리오에 초점을 맞춘다. 이 조건은 환경 다양체와 매장된 다양체의 divisor class group 이 구조적으로 동일함을 보장하여, 구조적 성질을 $Z$에서 $X$로 이전할 수 있게 한다.

방법론
저자들은 콕스 쉐프와 특성 공간의 이론에 기반한 기하학적 및 알고리즘적 접근법을 개발한다.

1. 기하학적 프레임워크:

   • $p_Z: \widehat{Z} \to Z$를 $Z$의 특성 공간 (콕스 쉐프의 상대 스펙트럼) 이라 한다.
   • 저자들은 $\widehat{X}$를 $\widehat{Z}$ 내의 $p_Z^{-1}(X_0)$의 자리스키 폐포로 정의하며, 여기서 $X_0 = X \cap Z_0$는 $X$와 $Z$의 매끄러운 부분의 교집합이다.
   • 그들은 $\widetilde{X}$ (전체 좌표 공간 $\overline{Z}$ 내의 $\widehat{X}$의 폐포) 에 포함되는 중간 열린 부분집합 $\widetilde{X}_1 \subseteq \widetilde{X}$를 도입하는데, 이는 여집합 $\widetilde{X} \setminus \widehat{X}$의 코디멘션 1 기약 성분을 제거하여 얻어진다.
   • 특정 "대형성 (bigness)" 및 정규성 가정 (구체적으로 $X_0$가 $X$에서 대형이고, $p_Z^{-1}(X_0)$가 $\widehat{X}$에서 대형이며, $\widetilde{X}_1$이 정규임) 하에, 저자들은 $X$의 콕스 링이 $\widetilde{X}_1$ 위의 구조 쉐프의 전역 단면들의 링과 동형임을 입증한다.

2. 대수적 특징화 (정리 1):

   • 주요 기술적 결과는 $R(X)$가 $R(Z)$의 몫에 대한 유한 개의 국소화들의 교집합으로 계산될 수 있음을 나타낸다.
   • 구체적으로, $R = R(Z)/I(\widetilde{X})$이고 $m_1, \dots, m_s$가 여집합 $\widetilde{X} \setminus \widetilde{X}_1$을 정의하는 아이디얼의 동차 생성원들일 때, 다음이 성립한다:
     $$R(X) = R_{m_1} \cap \dots \cap R_{m_s}$$
     여기서 교집합은 공통 분수체 내에서 취해진다.

3. 알고리즘적 구현 (알고리즘 1):

   • 이러한 국소화들의 교집합을 계산하기 위해, 저자들은 반복적 알고리즘을 제안한다.
   • 알고리즘은 링 $R$로 시작하여 $m_i$들의 소멸 집합이 코디멘션 $\ge 2$인지 확인한다. 그렇지 않다면, colon 아이디얼과 포화 (saturations) 를 계산하여 현재 링에 속하지 않는 교집합의 원소들을 식별한다.
   • 새로운 생성원들이 링에 추가되고 이 과정이 반복된다.
   • 종료: 알고리즘은 생성된 콕스 링 $R(X)$가 유한 생성될 때에만 종료된다. 이는 이 맥락에서 유한 생성에 대한 결정 절차를 제공한다.

주요 결과 및 응용

• 토릭 다양체 내의 일반 초곡면 (정리 2):
  저자들은 극화된 토릭 다양체 $(P, H)$ 내의 초곡면 $X \in |H|$에 그들의 프레임워크를 적용한다. $P$의 관련 없는 부분 (irrelevant locus) 이 유일한 코디멘션 2 성분 $V(T_1, T_2)$을 가지며, 정의 다항식 $f$가 이 성분 따라 특정 중복도 $d$를 가진다고 가정할 때, $R(X)$에 대한 명시적 표현을 제공한다.

  • 콕스 링은 원래 변수들과 $d$개의 새로운 변수 $S_1, \dots, S_d$에 대한 다항식 링의 몫으로 표현된다.
  • 관계식들은 새로운 변수들에 대해 선형이며, "unprojection" 기법 (Reid 의 unprojection 과 유사) 을 닮았다.
  • 이는 Ottem (프로젝티브 공간들의 곱에 대한 결과) 과 Denisi (가중치 프로젝티브 공간에 대한 결과) 의 이전 결과들을 일반화한다.

• 피카르 순위 2 토릭 다양체 (계 3):
  결과는 피카르 순위 2 인 매끄러운 사영 토릭 다양체로 구체화된다. 저자들은 이러한 다양체에 대한 등급 행렬과 관련 없는 아이디얼들을 분류하고, 일반 ample 초곡면의 콕스 링이 유한 생성되고 명시적으로 계산 가능해지는 조건들을 결정한다.

• 칼라비 - 야우 초곡면 (계 5.1):
  이 방법은 피카르 순위 2 인 매끄러운 토릭 파노 다양체 내의 일반 반 canonical 초곡면에 적용되어, 그들의 콕스 링에 대한 명시적 표현들을 제공한다.

• 유한 생성과 완전 교집합의 예시들 (섹션 6):

  • 예시 6.1: 두 점에서 블로우업한 $\mathbb{P}^4$ 내의 초곡면. 알고리즘은 완전 교집합인 콕스 링을 산출한다.
  • 예시 6.2: 안티 플립 (anti-flip) 으로 얻어진 토릭 모델 내의 초곡면. 알고리즘은 유한 생성되지만 완전 교집합이 아닌 콕스 링을 산출한다. 이는 매장된 다양체의 콕스 링이 환경 공간이나 정의 방정식의 완전 교집합 성질을 계승하지 않더라도 유한 생성될 수 있음을 보여준다.

의의 및 주장
본 논문은 통합된 이론적 프레임워크와 구체적인 알고리즘을 제공함으로써 매장된 다양체의 콕스 링 계산에 관한 이전 연구들 (Hausen, Ottem 등 인용) 을 일반화한다고 주장한다.

• 알고리즘적 기여: 주요 기여는 $R(X)$를 국소화들의 교집합으로 계산하는 구성적 방법을 제시하는 알고리즘 1 이다. 중요한 점은 저자들이 알고리즘이 $R(X)$가 유한 생성될 때에만 종료됨을 증명하여, 이 설정에서 유한 생성에 대한 테스트를 제공한다는 것이다.
• 명시적 기술: 논문은 토릭 다양체 내 초곡면들의 콕스 링에 대한 명시적 생성원들과 관계식들을 제공하여, 알려진 결과들을 더 넓은 범주의 토릭 환경 공간으로 확장한다.
• 구조적 통찰: 이 작업은 $R(X)$가 $R(Z)$에서 유도되지만, 국소화들의 교집합을 취하는 과정이 새로운 생성원과 관계식을 도입하여 대수적 구조를 변경할 수 있음 (예: 완전 교집합 성질의 상실) 을 강조하며, 이는 예시 6.2 에서 명시적으로 시연된다.

저자들은 범위에 대해 겸손한 태도를 유지하며, 그들의 결과가 divisor class group 에 대한 pullback 사상이 동형사상이라는 가정과 특정 기하학적 조건 (부분들의 대형성, 폐포의 정규성) 이 충족된다는 점에 의존함을 지적한다. 그들은 임의의 매장에 대한 문제를 해결한다고 주장하지는 않지만, 이러한 조건을 만족하는 모리 드림 공간 내의 특정하면서도 중요한 매장 클래스에 대한 견고한 해결책을 제공한다.