On the second partial Global Euler-Poincare characteristics for Galois cohomology

기술 요약: 갈루아 코호몰로지를 위한 제2 부분 전역 오일러-푸앵카레 특성에 관하여

문제 정의
본 논문은 수체(number field)의 갈루아 코호몰로지 이론에서 존재하는 근본적인 간극을 다룬다. $K$를 수체라 하고, $S$를 모든 아르키메데스 소수를 포함하는 유한 소수 집합이라 하자. $G_{K,S}$를 $S$ 밖에서는 비람(unramified)인 $K$의 최대 확장(maximal extension)의 갈루아 군이라 하자. 유한 이산 $G_{K,S}$-모듈 $M$에 대하여, 제2 부분 오일러-푸앵카레 특성은 다음과 같이 정의된다:
$$\chi_2(G_{K,S}, M) := \frac{[H^0(G_{K,S}, M)][H^2(G_{K,S}, M)]}{[H^1(G_{K,S}, M)]}$$
테이트(Tate)의 고전적인 전역 오일러-푸앵카레 특성 공식은 $M$의 차수(order) $[M]$이 $S$-단원(즉, $S$가 $[M]$을 나누는 모든 소수를 포함함)이라는 제한적인 조건 하에서 $\chi_2$의 명시적인 계산을 제공한다. 본 논문이 조사하는 핵심 문제는 $[M]$이 $S$-단원이 아닌 경우에 $\chi_2(G_{K,S}, M)$를 어떻게 계산할 것인가이다. 구체적으로, 본 논문은 이 특성의 정확한 값을 결정하거나 최적의 상한(bounds)을 구하고자 하며, 표준 공식이 실패하거나 수정이 필요한 조건을 이해하고자 한다.

방법론
저자는 이 문제를 해결하기 위해 에탈 코호몰로지(étale cohomology), Class Field Theory, 그리고 프로파인이트 군론(profinite group theory)을 종합적으로 활용한다. 방법론은 다음 단계들을 통해 진행된다:

1. 에탈 코호몰로지 비교: 본 논문은 갈루아 코호몰로지 군 $H^i(G_{K,S}, M)$와 아핀 스킴 $\text{Spec}(\mathcal{O}_{K,S})$의 에탈 코호몰로지 군 $H^i_{\text{ét}}(\text{Spec}(\mathcal{O}_{K,S}), M)$ 사이의 비교를 확립한다. 저자는 호치실트-세레(Hochschild–Serre) 스펙트럴 시퀀스를 사용하여 에지 호모모피즘(edge homomorphism) $\phi_i: H^i(G_{K,S}, M) \to H^i_{\text{ét}}(\text{Spec}(\mathcal{O}_{K,S}), M)$를 분석한다.
2. 에탈 불변량의 정확한 계산: 저자는 에탈 코호몰로지 군의 제2 부분 오일러-푸앵카레 특성 $\chi_2(\text{Spec}(\mathcal{O}_{K,S}), M)$을 계산한다. 이는 컴팩트 지지 함수를 가진 코호몰로지와 표준 코호몰로지를 연결하는 긴 완전열을 활용하고 아르틴-베르디어 쌍대성(Artin–Verdier duality)을 적용하는 과정을 포함한다. 핵심적인 구성 요소는 컴팩트 지지 하에서의 제3 코호몰로지 군 $H^3_c(U, M)$의 정확한 계산이며, 이는 카르티에 쌍대 모듈(Cartier dual module)의 불변량 $(M')^{G_K}$와의 쌍대성을 통해 식별된다.
3. 슈미트(Schmidt) 기법의 정교화: $\phi_2$가 동형 사상(isomorphism)이 아닌 경우(이는 $[M]$이 $S$-단원이 아닐 때 발생함)를 다루기 위해, 저자는 슈미트가 개발한 기법을 정교화한다. 저자는 디리클레 밀도가 0인 주어진 집합들과 서로소인 유한 소수 집합 $S_0$를 구성하며, $S$를 $S \cup S_0$로 확장함으로써 코호몰로지의 "결함(defect)"을 제거하여 $\phi_2$가 동형 사상이 되도록 보장한다.
4. 군 프레젠테이션 및 변형 환(Deformation Rings)에의 적용: $\chi_2$에 관한 결과는 루보츠키(Lubotzky)의 $d(G)$-아벨 집합 인덱스 그룹 기준을 활용하여, $G_{K,S}$의 최소 관계식의 수 $r(G)$와 생성원의 수 $d(G)$에 적용된다. 또한, 코호몰로지 상한은 마주르(Mazur)의 차원 추측 맥락에서 범용 변형 환(universal deformation rings)의 크룰 차원(Krull dimension)에 적용된다.

주요 기여 및 결과

• 일반화된 공식 (정리 1.2): 본 논문은 $[M]$이 $S$-단원이 아닌 일반적인 경우에 대한 $\chi_2(G_{K,S}, M)$의 명시적인 상한을 제공한다. 공식은 다음과 같다:
  $$\chi_2(G_{K,S}, M) \leq \frac{1}{[M][K:\mathbb{Q}]} \prod_{v \in S_\infty} [H^0(G_v, M)] \cdot \prod_{v \notin S, v \in S_p} \frac{1}{|[M]|_v} \cdot \epsilon$$
  여기서 $\epsilon$은 $S$가 비아르키메데스 소수를 포함하는지 여부와 복소 공액(complex conjugation) 하에서의 카르티에 쌍대 $M'$의 거동에 따라 달라지는 보정 계수이다. 저자는 자연스러운 사상 $\phi_2$가 동형 사상일 때만 등호가 성립함을 증명한다.
• 상한의 도달 가능성: 저자는 디리클레 밀도가 0인 임의의 소수 집합 $T$에 대하여, $S \cup T$와 서로소인 유한 소수 집합 $S_0$가 존재하여 $G_{K, S \cup S_0}$에 대해 공식의 등호가 성립함을 보여준다. 이는 적절하게 람(ramified) 소수 집합을 확장함으로써 특성치를 명시적인 공식으로 제공하는 효과를 갖는다.
• $G_{K,S}$의 프레젠테이션 (정리 1.4): 본 논문은 최소 생성원 수 $d(G_{K,S})$에 대한 최소 관계식 수 $r(G_{K,S})$의 상한을 정교화한다. 저자는 다음을 확립한다:
  $$0 \leq r(G_{K,S}) - d(G_{K,S}) \leq R(K) - \gamma$$
  여기서 $R(K)$는 아르키메데스 소수의 개수이고, $\gamma \in \{0, 1\}$은 $S$ 내에 비아르키메데스 소수가 존재하는지에 따라 결정된다. 또한 저자는 유한한 소수 집합을 추가함으로써 그 차이를 정확히 $R(K) - 1$로 만들 수 있음을 보여준다.
• 차원 추측에 대한 반례 (정리 1.7 & 1.8): 본 논문은 $S$가 $p$ 위의 모든 소수를 포함해야 한다는 조건 없이, 범용 변형 환의 크룰 차원이 $h^1 - h^2$와 같다고 가정하는 마주르의 차원 추측(Conjecture 1.6)의 확장에 대한 반례를 구성한다. 저자는 만약 $S \cap S_p = \emptyset$이라면, $h^1 - h^2 < 0$이 되는 유한 확장 $S$를 찾을 수 있음을 증명하여 해당 추측이 실패함을 보여준다. 이는 비람(unramified) 퐁트레인-마주르(Fontaine-Mazur) 추측과 일치하는 결과이다.

의의
본 논문은 모듈의 차수가 $S$-단원이 아닌 일반적인 경우에 대해 제2 부분 오일러-푸앵카레 특성의 "최적 상한"을 제공한다는 점에서 의의를 갖는다. 갈루아 코호몰로지와 에탈 코호몰로지 사이의 간극을 메움으로써, 람되는 소수 집합을 제어하여 이러한 불변량들을 계산하는 정밀한 메커니즘을 제시한다.

나아가, 본 연구는 $G_{K,S}$의 구조적 성질을 명확히 하며, 기저체의 산술과 $S$의 집합에 명시적으로 의존하는 프레젠테이션의 정교한 상한을 제공한다. 마지막으로, 본 논문은 변형 이론에 관한 특정 미해결 문제를 해결함으로써, $p$-아데식 람(p-adic ramification)이 없는 경우 마주르의 차원 추측이 실패함을 입증하여, 마주르 추측의 원래 조건들이 왜 필요한지를 강화하여 보여준다. 본 결과들은 테이트의 고전적 공식을 일반화하며, 더 넓은 맥락에서 갈루아 군과 변형 환을 분석하기 위한 틀을 제공한다.