Equivariant irrationality of very general symmetric Verra fourfolds

기술 요약: 매우 일반적인 대칭 베라 4차체의 등변적 비유리성

문제 정의
지표(index)가 1보다 큰 K3 유형의 고전적 파노 4차체인 베라 4차체(Verra fourfold)의 유리성은 여전히 생사학적 기하학의 미해결 과제로 남아 있다. 입자(atoms) 이론(호지 이론과 그로모프-위튼 불변량을 결합한 것)을 사용하여 큐빅 및 구셸-무케이(Gushel–Mukai) 4차체의 비유리성은 확립되었으나, 베라 4차체는 독특한 장애물을 제시한다. 이 기하학적 구조는 베라 4차체를 매끄러운 (2,2) 차수의 바이데그리(bidegree) 분기 다이브리슨트(divisor)를 따라 $\mathbb{P}^2 \times \mathbb{P}^2$로 덮는 이중 피복 $\pi: X \to \mathbb{P}^2 \times \mathbb{P}^2$로 구현된다. 이 구조는 디스크리미넌트 섹스틱 곡선을 갖는 두 개의 $\mathbb{P}^2$ 위에서의 쿼드릭 파이브레이션(quadric fibrations)을 유도하며, 이는 K3 곡면의 이중 피복으로 이어진다. 입자 이론으로부터 도출된 표준적인 생사학적 불변량들은 이 특정 다양체에 대해 결정적인 결론을 내리지 못한다.

본 논문은 브랜치 로커스(branch locus)가 두 $\mathbb{P}^2$ 인자를 교환하는 것에 대해 불변인 대칭 베라 4차체를 다룬다. 이 대칭성은 $X$ 상의 인볼루션(involution) $\epsilon$으로 리프트된다. 핵심 질문은 쌍 $(X, \epsilon)$이 $\mathbb{Z}/2$-유리적인가, 즉 어떤 정규 인볼루션 $\sigma$에 대하여 $(\mathbb{P}^4, \sigma)$와 생사동형(birational)인가 하는 것이다.

방법론
저자는 [KKPY25]에서 도입된 입자 이론을 [CKK26]의 프레임워크 내에서 등변적(equivariant) 환경에 맞추어 적용한다. 방법론은 다음 단계로 진행된다:

1. 등변적 장애물: 저자는 $G = \mathbb{Z}/2$인 경우에 대해 $G$-불변 평가 사상(evaluation maps)을 정의하고, 양자 곱셈 연산자 $\kappa_\tau$의 $G$-고정 일반 고유 공간(generalized eigenspaces)의 계수를 분석함으로써, [Gué26]을 따라 "평가된(evaluated)" 호지 이론적 장애물을 $G$-등변 설정으로 적응시킨다.
2. 등변적 블로업 분해: Iritani의 양자 D-모듈에 대한 블로업 공식[Iri23]이 $G$-등변 설정에서도 성립함을 검증하는 것이 중요한 기술적 기여이다(정리 5.2). 이는 매끄러운 $G$-불변 중심을 따라 블로업할 때 양자 불변량의 가법적 분해가 군 작용을 존중함을 보장한다.
3. 호지 일반성: 논문은 표준적인 호지 일반성과 $\mathbb{Z}/2$-호지 일반성이라는 정교화된 개념을 구분한다. 대칭 베라 4차체의 경우, 안티-불변 코호몰로지가 유리 호지 클래스를 포함하기 때문에 표준 조건이 실패함을 보여준다. 그러나 "매우 일반적인" 대칭 베라 4차체는 원시 코호몰로지의 불변 부분이 유리 호지 클래스를 포함하지 않는다는 의미에서 $\mathbb{Z}/2$-호지-일반적임을 증명한다.
4. 양자 코호몰로지 계산: 베라 4차체의 작은 양자 코호몰로지를 주변 코호몰로지로 제한하여 계산한다. 양자 주기 $G_X(q)$와 순환 벡터 알고리즘을 사용하여, 저자는 주변 코호몰로지 상의 양자 곱셈 연산자 $H \star (-)$의 행렬을 불변($A^+$) 및 안티-불변($A^-$) 블록으로 분해하여 도출한다.

주요 기여 및 결과

• $\mathbb{Z}/2$-유리성의 정의: 본 논문은 쌍 $(Y, \iota)$의 $\mathbb{Z}/2$-유리성을 인볼루션을 공액(conjugate)하는 $(\mathbb{P}^n, \sigma)$로의 생사동형 존재성으로 공식 정의한다.
• $\mathbb{Z}/2$-호지 일반성: 저자는 매우 일반적인 대칭 베라 4차체가 $\mathbb{Z}/2$-호지-일반적임을 증명한다(Proposition 4.4). 이는 대칭 베라 4차체의 모듈라이 공간에 대한 노터-레프셰츠(Noether–Lefschetz) 논증을 통해, 주기 사상이 불변 주기 영역으로 지배적(dominant)임을 보임으로써 달성된다.
• 등변적 계수 경계: 논문은 [Theorem 5.6]에서 4차체 비유리성 장애물의 등변적 버전을 확립한다. 만약 매끄러운 사영 4차체 $Y$가 정규 $G$-작용을 갖는 $\mathbb{P}^4$와 $G$-생사동형이라면, 임의의 $G$-불변 평가에 대하여 Hochschild-degree-two rank $\nu$가 0이 아닐 경우, $G$-고정 유리 호지 rank $\rho^G$는 반드시 3 이상이어야 한다는 "평가된 $G$-고정 4차체 부등식"을 만족해야 한다.
• 부등식 위반: 양자 코호몰로지 행렬을 계산하고(Proposition 6.1) 평가된 고유 공간을 분석함으로써(Proposition 6.3), 저자는 $\mathbb{Z}/2$-호지-일반적인 대칭 베라 4차체 $X$에 대해 다음을 입증한다:
  • Hochschild-degree-two rank는 $\nu^X_{ev,0} = 1$이다.
  • $G$-고정 유리 호지 rank는 $\rho^{G,X}_{ev,0} = 2$이다.
  • $2 < 3$이므로, 부등식이 위반된다.
• 주요 정리: 결과적으로, Theorem 6.4는 매우 일반적인 대칭 베라 4차체 $X$와 그 인자-교환 인볼루션 $\epsilon$이 임의의 정규 인볼루션을 갖는 $\mathbb{P}^4$와 $\mathbb{Z}/2$-생사동형이 아님을 결론짓는다.

의의 및 주장

본 논문은 등변적 설정에서 베라 4차체의 유리성 문제를 해결한다고 주장한다. 저자는 (특정한 K3 기하학으로 인해) 표준적인 생사 불변량이 불충분하다는 점을 식별하였으며, 군 작용(특히 인자-교환 대칭)의 도입이 새로운 장애물을 제공함을 밝혀냈다.

그 의의는 다음과 같다:

1. 분류의 완성: (대칭/등변적 맥락에서) 유리성이 알려지지 않았던 마지막 남은 고전적 K3 유형의 파노 4차체 문제를 다룬다.
2. 방법론적 진보: 입자 이론과 Iritani의 블로업 공식을 등변적 설정으로 성공적으로 확장하여, 표준적인 방법이 실패하는 대칭성을 가진 다양체를 연구하기 위한 도구 상자를 제공한다.
3. 정교화된 일반성: "등변적 일반성" 조건의 필요성을 강조하며, 대칭 다양체의 경우 표준 호지 일반성이 너무 약하거나(또는 공집합이거나) 불충분하여 $\mathbb{Z}/2$-호지 일반성의 정의가 필요함을 보여준다.

본 논문은 (비대칭) 일반적인 베라 4차체의 비유리성을 증명하거나, 대칭 베라 4차체가 (절대적인 의미에서, 즉 $\mathbb{P}^4$와 전혀 생사동형이 아닌) 비유리적임을 증명하는 것이 아니라, 특히 대상 $\mathbb{P}^4$의 인볼루션의 정규성에 국한하여 $\mathbb{Z}/2$-유리적이지 않음을 증명한다. 논증은 인볼루션의 특정한 정규성에 의존한다.