Cohomological obstructions to equivariant unirationality

기술 요약: 등변 유니라셔널리티(Equivariant Unirationality)에 대한 코호몰로지적 장애물

문제 정의
본 논문은 유한군 $G$의 일반적 자유 정규 작용(generically free regular action)을 갖는 매끄러운 사영 유리 다양체(smooth projective rational variety) $X$가 $G$-유니라셔널(G-unirational)하거나 사영적으로 $G$-유니라셔널(projectively $G$-unirational)한지를 결정하는 문제를 조사한다.

• $X$가 $G$-유니라셔널하다는 것은 어떤 $G$-표현 $V$에 대하여 $G$-등변 유사 유리 사상(dominant $G$-equivariant rational map) $\mathbb{P}(V) \dashrightarrow X$가 존재함을 의미한다.
• $X$가 사영적으로 $G$-유니라셔널하다는 것은 그러한 사상이 $G$의 사영 표현(projective representation)에 대하여 존재함을 의미한다.

비폐쇄체(non-closed field)에서의 $k$-유리 점(k-rational points)의 존재 여부가 표준적인 유리성(rationality)의 장애물이며, 아벨 부분군에 대한 고정점의 존재(조건 A)가 등변 유니라셔찰리티를 위한 필요 조건인 것과 달리, 이러한 장애물들은 종종 불충분하다. 저자들은 이러한 "명백한" 장애물들이 사라졌음에도 불구하고 다양체가 여전히 등변 유니라셔널하지 않을 수 있는 간극을 다룬다.

방법론
저자들은 $\text{Pic}(X)$ 상의 $G$-작용으로부터 유도된 **코호몰로지적 장애물(cohomological obstructions)**을 개발하고 적용한다. 핵심 방법론은 quotient stack $[X/G]$에 대한 **레레이 스펙트럴 시퀀스(Leray spectral sequence)**에 의존하며, 이는 군 코호몰로지에서의 호모모피즘 열을 생성한다:
$$\text{Pic}(X)^G \xrightarrow{\delta_2} H^2(G, k^\times) \quad \text{및} \quad H^1(G, \text{Pic}(X)) \xrightarrow{\delta_3} H^3(G, k^\times)$$
이 사상들의 상(image)은 **아미추르 군(Amitsur groups)**을 정의한다:

• $Am_2(X, G) := \text{Im}(\delta_2)$
• $Am_3(X, G) := \text{Im}(\delta_3)$

이 군들은 안정적인 $G$-유리 쌍생 불변량(stable $G$-birational invariants)이다. 본 논문은 다음을 확립한다:

1. 만약 $X$가 $G$-유니라셔널하다면, 모든 부분군 $H \subseteq G$에 대하여 $Am_j(X, H) = 0$ (단, $j=2, 3$)이다.
2. 만약 $X$가 사영적으로 $G$-유니라셔널하다면, $Am_2(X, H)$는 순환군(cyclic)이어야 하며 $Am_3(X, H) = 0$이어야 한다.

저자들은 이 불변량들을 모든 아벨 부분군으로부터의 제한 사상(restriction map)에서 보골로프 승수(Bogomolov multiplier) $B_n(G)$의 커널로 정의되는 $H^n(G, k^\times)$로의 사상으로부터 유도되는 커널과 연관시킨다. 구체적으로, 조건 (A)가 성립하면 $Am_j(X, G) \subseteq B_j(G)$이다. 이 불변량들의 계산은 $p$-실로우(p-Sylow) 부분군으로 축소되며, $X$ 상의 $G$-작용의 안정자 층화(stabilizer stratification)를 활용한다.

주요 기여 및 결과
본 논문은 코호몰로지적 장애물이 비자명하게 나타나는(즉, 조건 (A)가 만족됨에도 불구하고) 델 페조 곡면(del Pezzo surfaces) 및 **쿰머 4차 이중 솔리드(Kummer quartic double solids)**에 대한 일반적 자유 정규 작용을 분류한다.

1. 델 페조 곡면 (정리 3):
   저자들은 $X$가 델 페조 곡면이고 어떤 $H \subseteq G$에 대하여 $Am_3(X, H) \neq 0$인 쌍 $(X, G)$를 분류한다.

   • 차수 3 (Cubic Surfaces): 조건 (A)를 만족하는 비자명한 장애물을 가진 유일한 경우는 $G$가 $H = C_3^3$를 포함하는 페르마 큐빅 곡면(Fermat cubic surface)이다. 그러나 이 경우는 전체 군에 대해 조건 (A)를 만족하지 않지만, 장애물은 지속된다.
   • 차수 2: 저자들은 조건 (A)(모든 아벨 부분군에 대한 고정점이 존재함)가 성립하면서도 $Am_3(X, H) \neq 0$인 특정 작용들을 식별한다.
     • 주요 장애물은 사원수 군 $Q_8$(차수 8)의 작용으로부터 발생한다.
     • 구체적으로, $w^2 = x_1^4 + x_2^4 + x_3^4 + ax_1^2x_2^2$로 정의된 차수 2 델 페조 곡면에 대하여, 특정 인볼루션(involution)과 치환에 의해 생성되는 $Q_8$의 작용은 $Am_3(X, Q_8) \cong \mathbb{Z}/2$를 산출한다.
     • 이 결과는 고차 델 페조 곡면(조건 (A)가 유니라셔찰리티를 보장하는 경우)에 대한 알려진 정리의 유사성이 차수 2 곡면에서는 실패함을 보여준다.

2. 쿰머 4차 이블 솔리드 (정리 4):
   연구는 제너스 2 곡선의 극대 자기 동형군(maximal automorphisms)으로부터 기원하는 쿰머 곡면에서 분기(ramified)되는 $\mathbb{P}^3$의 이중 피복(double cover)으로 확장된다.

   • 저자들은 16개의 노드(node)에 대한 블로우업(blow-up) $\tilde{X}$에 대하여 $Am_3(\tilde{X}, G)$를 계산한다.
   • 저자들은 $G$가 특정 $Q_8$ 작용에 공액(conjugate)인 부분군을 포함할 때만 $Am_3(\tilde{X}, H) \neq 0$임을 식별한다.
   • 곡면의 경우와 달리, 이 계산은 비자명한 일반적 안정자(generic stabilizer)를 갖는 디바이저(divisor)의 부재에도 불구하고 quotient stack의 비자명한 브라우어 군(Brauer group)이 존재할 수 있음을 밝히며, 이는 고차원 층(strata)의 분석을 요구한다.

의의 및 주장
본 논문은 고정점의 존재와는 구별되는 새로운 코호몰로지적 장애물을 제공한다고 주장한다.

• 등변 기하학의 미묘함: 결과들은 체 $k$ 위의 유리 기하학(유리 점이 주요 장애물임)과 스택 $BG$위의 등변 기하학 사이의 "극명한 차이"를 강조한다. 등변 설정에서$Am_3$와 같은 불변량은 "매우 미묘하고 정보력이 있다."
• 조건 (A)의 한계: 본 논문은 차수 2 델 페조 곡면에 대하여, 모든 아벨 부분군에 대한 고정점의 존재(조건 A)가 $G$-유니라셔널리티 또는 사영적 $G$-유니라셔찰리티를 보장하기에 불충분함을 명시적으로 보여준다.
• $Q_8$의 역할: 식별된 모든 반례에서, 사원수 군 $Q_8$이 비자명한 장애물의 근원이다.
• 결론: 이러한 비자명한 아미추르 불변량을 보이는 다양체들은 $G$-유니라셔널도 아니고 사영적으로 $G$-유니라셔널도 아니며, 이는 기하학적 고정점 기준이 충족되는 경우에도 등변 유니라셔찰리티를 배제할 수 있는 구체적인 방법을 제공한다.