Equivariant Elliptic Cohomology and Mapping Stacks

기술 요약: 등변 타원 코호몰로지와 사상 스택(Mapping Stacks)

문제 정의
본 논문은 대수적 군 $G$의 작용을 갖는 복소 대수 다양체에 대한 등변 타원 코호몰로지(equivariant elliptic cohomology)의 구성을 다룬다. 유리화된(rationalized) 등변 타원 코호몰로지는 이전에 Grojnowski [26]에 의해 타원 곡선(또는 그 곱) 위의 코히어런트 층(coherent sheaves)으로서 구성된 바 있으나, 저자들은 유도 대수 기하학(derived algebraic-geometry)에 뿌리를 둔 새로운 기하학적 해석을 추구한다. 구체적으로, 저자들은 이 코호몰로지 이론을 타원 곡선 $E$와 몫 스택(quotient stack) $[X/G]$ 사이의 사상 스택 $\text{Map}(E, [X/G])$의 특정 부분 스택 상의 함수들로 기술하고자 한다. 여기서 발생하는 과제는 전체 사상 스택이 위상적으로 비자명한 사상들로 인해 일반적으로 너무 크다는 점이며, 따라서 이론은 "준상수(quasi-constant)" 사상들만을 분리해내야 한다.

방법론
저자들은 고정된 표수 0의 대수적 체 $k$ 위에서 작동하는 $\infty$-범주 및 유도 대수 기하학의 언어를 사용한다. 그들의 접근 방식은 다음과 같은 몇 가지 핵심적인 기술적 단계를 거친다:

1. 준상수 사상(Quasi-Constant Maps): 저자들은 준상수 사상들의 유도 스택 $\text{Map}_0(E, [X/G])$를 도입한다. 이는 사상 스택의 연결 성분 중 자명한 사상(즉, $\text{Spec}(k)$를 통과하는 사상)을 포함하는 성분들의 합집합으로 정의된다. 결정적으로, 저자들은 이 스택이 대상 $X$ 위에서 자르키 디센트(Zariski descent)의 한 형태를 만족함을 입증한다(정리 3.14). 이는 전체 사상 스택에서는 실패하는 성질이다.
2. 타원 호클디르트 호몰로지(Elliptic Hochschild Homology): 구조 사상 $p: \text{Map}_0(E, [X/T]) \to E_T$ (여기서 $E_T$는 $E$ 상의 차수 0인 $T$-번들들의 코스 모듈리 공간이다)를 사용하여, $X$의 $T$-등변 타원 호클디트 호몰로지를 다음과 같이 정의한다:
   $$\text{HHE}([X/T]) := p_* \mathcal{O}_{\text{Map}_0(E, [X/T])} \in \text{QCoh}(E_T)$$
3. 국소 구조와 국소화(Localization): 저자들은 이 이론의 국소적 거동을 분석한다. 루나의 슬라이스 정리(Luna's slice theorem)와 준상수 사상의 국소화를 사용하여, 저자들은 $e \in E_T$ 근처에서 준상수 사상의 스택이 유도 고정점 로커스(derived fixed locus) $X^{T(e)}$로부터의 사상의 스택과 동치임을 증명한다(정리 5.2). 결과적으로, $\text{HHE}([X/T])$의 점 $e$에서의 완비화(completion)는 고정점 로커스의 일반적인 호클디트 호몰로지의 완비화와 동치이다(정리 5.13).
4. 주기적 순환 변형과 테이트 구성(Tate Construction): 타원 호클디트 호몰로지가 호모토피 불변이 아님을 인식하여, 저자들은 주기적 순환 버전인 $\text{HPE}([X/T])$를 도입한다. 이는 사상 스택 상의 자연스러운 $E$-작용의 *테이트 고정점(Tate fixed points)*을 취함으로써 구성된다. 표수 0에서 $E$의 형식적 코호몰로지는 $S^1$의 코호몰로지와 동치이므로, $E$-작용을 숨겨진 $S^1$-작용으로 재해석할 수 있다. 테이트 구성은 이론을 주기화하여 $\mathbb{Z}$-그레이딩을 $\mathbb{Z}_2$-그레이딩으로 붕괴시킨다.
5. 아델릭 디센트(Adelic Descent): 자신들의 구성과 Grojnowski의 이론 사이의 전역적 비교를 확립하기 위해, 저자들은 아델릭 디센트 이론(Parshin, Beilinson, Groechenig의 방식을 따름)을 활용한다. 저자들은 층(sheaves)의 아델릭 분해를 통해 두 이론의 동치성을 검증함으로써 이를 입증하며, 이는 폐점(closed points)에서의 호환성(국소화를 통해)과 일반점(generic points)에서의 HKR 정리를 통한 검증을 포함한다.

주요 결과

• 정리 A (Codescent): 준상수 사상의 스택 $\text{Map}_0(E, [X/T])$는 $T$-등변 자르키 디센트를 만족한다. 이를 통해 아핀 커버 상의 국소 데이터를 통해 타원 호클디트 호몰로지를 계산할 수 있다.
• 정리 D (토릭 케이스): $\mathbb{C}$ 상의 최대 토러스 작용을 갖는 매끄러운 토릭 다양체 $X$에 대하여, 타원 호클디트 호몰로지 $\text{HHE}([X/T])$는 복소화된 등변 타원 코호몰로지 $X^{\text{an}}$의 차수 0 부분과 동형이다.
• 정리 G (토러스에 대한 비교): $\mathbb{C}$ 상의 매끄러운 준투영 다양체 $X$와 토러스 작용에 대하여, 타원 주기적 순환 호몰로지 $\text{HPE}([X/T])$는 $E$ 상의 $\mathbb{Z}_2$-주기적 퍼펙트 복합체로서 Grojnowski의 복소화된 등변 타원 코호몰로지 $\text{Ell}_T^{\text{an}}(X^{\text{an}})$와 동형이다.
• 정리 H (환원 가능 군에 대한 비교): 일반적인 환원 가능 군(reductive group) $G$로 결과를 확장하여, 저자들은 토러스 케이스의 Weyl 군 불변량을 통해 $\text{HPE}([X/G])$를 정의하고, 이것이 $\text{Ell}_G^{\text{an}}(X^{\text{an}})$와 동형임을 증명한다.
• 내재적 정의: 저자들은 최대 토러스의 선택에 독립적인, $[X/G]$로의 준안정(semi-stable) 준상수 사상에 기반한 $G$-등변 타원 호클디트 호몰로지의 내재적 정의를 제안한다.

의의 및 주장
저자들은 자신들의 작업이 준상수 사상으로부터의 타원 곡선의 변형 이론을 통해 Grojnowski 구성에 대한 기하학적 설명을 제공한다고 주장한다. 등변 타원 코호몰로지를 (구체적으로는 루프 공간의 유사체인) 호클디트 호몰로지의 변형으로 프레임함으로써, 이들은 사상 스택의 대수 기하학과 타원 코호몰로지의 위상적 기원을 연결한다.

본 논문은 구성이 임의의 표수 0의 체 위에서 유효하지만, Grojnowski의 이론(복소 해석 기하학에 의존함)과 비교하기 위해서는 $k = \mathbb{C}$로 설정하고 테이트 고정점을 취해야 함을 강조한다. 저자들은 자신들의 타원 호클디트 호몰로지 정의가 비등변(non-equivariant) 설정에서의 Moulinos-Robalo-Toën [48]의 정의와 호환됨을 언급하며, 그 용어 사용의 정당성을 부여한다.

이 연구는 타원 코사이클(elliptic cocycles)의 기하학적 대표자를 제공하려는 더 넓은 프로젝트의 단계로 제시된다. 저자들은 자신들의 작업이 Grojnowski 이론과의 비교를 확립하고 환원 가능 군을 위한 내재적 정의를 제안했으나, 일반적인 환원 가능 군에 대해 내재적 정의와 Weyl-불변 정의 사이의 동치성에 대한 완전한 증명은 향후 과제로 남겨두었다고 겸허히 밝힌다. 또한, 일반적인 호클디트 호몰로지와 달리, 자신들의 이론은 $\text{Perf}([X/G])$의 유도 범주(derived category)의 불변량이 아니라는 점을 강조하며, 이는 더 높은 범주적 정보를 인코딩하고 있음을 시사한다.