유한 갈루아 커버링에서의 브라유 군 마키 펑터 구조

본 논문은 스킴 X(가 Noetherian이라고 가정) 위의 유한 에테일 커버링들의 Brauer 군을 동시에 다루어, 이들을 하나의 통합된 구조인 “Brauer‑Mackey 펑터”로 조직한다. 이를 위해 먼저 Brauer 군에 대한 두 기본 사상, 즉 풀백(pull‑back)과 노름(norm) 사상을 정의한다. 풀백은 전통적인 아줄라 알제브라의 전이와 동일하게 작동하며, Br(X)→Br(Y)로의 사상이다. 노름 사상은 보다 복잡한 과정을 거친다. 유한 에테일 커버링 π : Y→X에 대해, Y를 X의 d‑중복 복사체와 동형시킬 수 있는 트리비얼라이제이션 η를 선택하고, η를 이용해 ‘norm functor’ Nπ : q‑Coh(Y)→q‑Coh(X)를 정의한다. 이 functor는 모노이달 구조를 보존하며, fpqc descent 이론을 통해 η의 선택에 독립적임을 보인다. Nπ를 Brauer 군에 적용하면 Br(Y)→Br(X)라는 전사 사상이 얻어지며, 이를 ‘노름 사상’이라 부른다. 다음으로, 이 두 사상이 Mackey 펑터의 핵심 공리들을 만족함을 증명한다. 구체적으로, (i) 전이‑제한 상호작용: π에 대한 풀백과 노름이 서로 교환되는 ‘Mackey formula’를 보이며, (ii) 이중 사상 합성 법칙: 두 연속된 커버링에 대해 풀백·노름의 합성이 기대되는 형태와 일치함을 확인한다. (iii) 동형성: 베이스 체인지 f : X′→X에 대해 자연 동형 θf,π : f* ∘ Nπ ≅ Nπ′ ∘ g*가 존재하고, 이는 삼각 관계를 만족한다. 이러한 성질들을 정리해 Definition 6.1에 따라 (Br*, Br_*)라는 쌍을 정의하면, 이는 ‘bivariant pair of functors’ 즉 Mackey 펑터가 된다. Theorem 6.6에서는 임의의 스킴 S에 대해, 유한 에테일 커버링들의 Galois 카테고리 (FEt/S) 위에 Brauer 군이 코호몰로지적 Mackey 펑터임을 증명한다. 여기서 ‘코호몰로지적’이라는 말은 Br가 H²_et(X, Gₘ)와 자연 동형을 이루고, 이 동형이 풀백·노름과 호환된다는 의미이다. 그 다음 Corollary 7.2에서는 S가 유한 갈루아 커버링 π : Y→X을 갖는 경우, Gal(Y/X)=G라는 유한 군에 대해 Br이 G‑Mackey 펑터가 됨을 보여준다. 즉, 각 부분군 H≤G에 대해 Br(Y/H)가 Mackey 펑터의 값이 되고, H와 K 사이의 포함 관계에 대해 풀백과 노름이 각각 제한·전이 사상으로 작용한다. 이는 Ford가 정립한 ‘ring case’ 결과를 스킴 수준으로 일반화한 것이다. 마지막으로, Bley‑Boltje의 정리(정리 8.2)를 적용해 중간 커버링들의 Brauer 군 사이에 ‘odd‑even’ 동형을 도출한다. 구체적으로, H가 ℓ‑hypo‑elementary가 아니면 ℓ‑주 Brauer 군의 차수에 따라 짝수 차원과 홀수 차원 사이에 자연 동형이 존재한다는 식을 얻는다(Corollary 8.3). 이는 Brauer 군의 구조가 Galois 군의 군론적 성질에 민감하게 반응한다는 점을 보여준다. 논문은 또한 norm functor의 구성을 상세히 다룬다. 섹션 3에서는 트리비얼 케이스(다중 복사체)와 일반 케이스(상수 차수)로 나누어 Nπ를 정의하고, 베이스 체인지에 대한 자연성(θf,π)과 삼각 관계(식 3.2)를 증명한다. 이 과정에서 fpqc descent와 모노이달 구조의 호환성을 핵심적으로 활용한다. 전체적으로, 이 연구는 Brauer 군을 Galois 카테고리와 연결하는 새로운 관점을 제공하며, Mackey 펑터 이론을 스킴의 코호몰로지와 결합함으로써 중간 커버링들의 Brauer 군 사이의 관계를 체계적으로 이해할 수 있는 도구를 제시한다.