정수환의 람다 작용과 적분 모델의 존재조건

1. 서론에서는 O를 정수환으로 하는 수체 K와 그 최대 아이디얼 집합 M을 설정하고, O‑대수 R이 토션이 없을 때 각 p∈M에 대해 R⊗_O k(p) 위에 정의되는 Frobenius 사상 F_p를 소개한다. Frobenius lift ψ_p는 O‑대수 사상으로서 ψ_p ⊗ k(p) = F_p를 만족한다. Λ_O‑구조는 이러한 ψ_p들의 집합이 (1) Frobenius lift 조건, (2) 서로 교환(commute)하는 조건을 동시에 만족하는 경우로 정의된다. 로컬 상황(O가 완비 이산 평가환)에서는 (2) 조건이 자동이며, (1) 조건은 E⊗_O k(p) ≠ 0인 경우에만 필요하다. 특히 K‑위의 유한 étale 대수 E에 대해서는 K‑자동사상의 교환 가능한 집합이 Λ_O‑구조와 일대일 대응한다는 점을 강조한다. 2. 로컬 정리(정리 1.1)는 O가 완비 이산 평가환이고 p가 그 최대 아이디얼일 때, 유한 étale K‑대수 E가 Λ_O‑구조를 갖고 적분 모델을 가질 필요충분조건을 제시한다. 구체적으로, Galois 군 G_K와 I_O × G_K가 작용하는 집합 S(=Hom_K(E, K^sep))에 대해 (i) 관성군 I_K가 S에 트리비얼하게 작용하고, (ii) p와 Frobenius 원소 F∈G_K가 S에서 동일하게 작용하면 적분 모델이 존재한다. 증명은 S를 p‑멱에 따라 계층화하고, 각 단계에서 Λ_O‑구조가 자연스럽게 하위·상위 대수에 제한·확장되는 것을 이용한다. 3. 전역 상황에서는 O가 전역 수체 K의 정수환이라고 가정한다. 여기서 Deligne‑Ribet 모노이드 DR_f를 정의한다. 사이클 f는 유한·무한 소수들의 지수 조합으로, 유한 부분 f_fin은 I_O의 원소와 동일시된다. 두 아이디얼 a, b가 f‑동치라면 a = x b이며, x는 K의 원소로서 실소수 자리에서 ord_p(x)≥0, 유한 자리에서는 ord_p(x)≥ord_p(f) 를 만족한다. 이 동치 관계는 모노이드를 형성하고, 그 가역원은 레이 클래스 군 Cl_f와 동형이다. 또한, f가 1이면 DR_1은 O의 클래스 군과 동일하다. 4. 전역 정리(정리 1.2)는 다음과 같다. 유한 étale K‑대수 E가 Λ_O‑구조를 가지고 적분 모델을 갖는다는 것은, 어떤 사이클 f가 존재하여 G_K × I_O의 작용이 DR_f를 통해 인자화된다는 것과 동치이다. 구체적으로, G_K → Map(S,S)와 I_O → Map(S,S) 의 결합된 작용이 먼저 G_K → Cl_f(=DR_f^×) 로, 그 다음 I_O → DR_f 로 사상되는 복합 사상을 통해 정의된다. 이때 Artin 기호가 핵심 역할을 하며, G_K의 이미지가 아벨리안이므로 레이 클래스 군을 통한 인자화가 가능하다. 결과적으로, Λ_O‑링들의 범주는 DR_f의 직접극한을 통해 정의되는 프라프라이트 모노이드와 연속 작용을 갖는 유한 집합들의 범주와 반동형성을 이룬다. K=ℚ인 경우, 이 직접극한은 정수의 프라프라이트 곱군(ℤ̂)의 곱셈 모노이드와 일치한다. 5. 논문의 마지막 부분에서는 적분 모델의 구성을 실제로 어떻게 얻는지에 대한 구체적인 절차를 제시한다. 각 p에 대해 로컬 정리를 적용해 적분 Λ_{O_p}‑모델을 만든 뒤, 모든 p에 대한 교집합을 취해 전역 적분 모델 A를 얻는다. 이 A는 O‑모듈로서 유한 자유이며, ψ_p가 모두 Frobenius lift이므로 A는 Λ_O‑링이 된다. 또한, 예시로 ℤ