[논문 리뷰] On commutative nonarchimedean Banach fields

Kiran S. Kedlaya|arXiv (Cornell University)|2016. 02. 29.

Advanced Topics in Algebra참고 문헌 15인용 수 3

한 줄 요약

이 논문은 아벨적이지 않은 비알키메데스적 바나흐 링이 대수적으로 체일 경우(바나흐 체로 불림), 특정 조건 하에서 곱셈 노름으로 위상화될 수 있으며, 이는 비알키메데스적 체로 이어진다는 것을 입증한다. 특히 균일 바나흐 링과 페르포이드 링의 경우에 해당한다. 핵심 결과는 비알키메데스 기하학의 기초적 질문을 해결하며, 임의의 페르포이드 링이 체일 경우 반드시 페르포이드 체임을 보여준다.

ABSTRACT

We study the problem of whether a commutative nonarchimedean Banach ring which is algebraically a field can be topologized by a multiplicative norm. This can fail in general, but it holds for uniform Banach rings under some mild extra conditions. Notably, any perfectoid ring whose underlying ring is a field is a perfectoid field.

연구 동기 및 목표

• 비알키메데스적 바나흐 링이 대수적으로 체일 경우(바나흐 체로 불림), 곱셈 노름으로 위상화되어 비알키메데스적 체가 되는지 여부를 규명하는 것.
• 초기 위상이 곱셈 노름에 의해 유도되지 않는 경우, 이러한 바나흐 체가 비알키메데스적 체가 되는 조건을 조사하는 것.
• 페르포이드 이론의 기초적 문제를 해결: 기저 링이 체인 페르포이드 링은 반드시 페르포이드 체여야 하는가?
• 비알키메데스 함수해석학에서 링의 대수적 구조와 위상적 성질 간의 관계를 명확히 하는 것.
• 균일 바나흐 링과 페르포이드 링 이론을 확장하여, 특정 유형의 바나흐 체가 반드시 비알키메데스적 체임을 보여주는 것.

제안 방법

• 균일 바나흐 링 이론과 유계 곱셈 준노름의 존재를 이용하여, 약간의 조건(예: 비이산 값매김) 하에서 바나흐 체가 비알키메데스적 체임을 보여주는 것.
• 페르포이드 기울임 대응을 적용하여 특성 0의 문제를 특성 p의 경우로 환원하며, 여기서 완전성과 균일성은 곱셈 노름의 존재를 암시한다.
• 연산자 노름 구성법을 사용하여 노름을 정규화하여 |1| = 1이 되도록 하여 위상 동치성을 확보하고 분석을 단순화한다.
• 요소와 그 역원의 행동을 분석하기 위해, x ↦ x^p 사상에 의한 페르포이드 링의 역극한 구조를 활용한다.
• Ax–Sen–Tate 정리를 적용하여 페르포이드 링 내 가능한 부분체를 제약하며, 기저 체로는 Q_p 또는 유한 확장만 가능함을 보여준다.
• Q_p(μ_{p^∞}) 및 Q_p(p^{1/p^∞})의 완비화와 동형인 몫을 갖는 페르포이드 링의 구체적 예를 제시하여, 이러한 링이 페르포이드 체 위의 바나흐 대수일 수 없음을 보여주는 것.

실험 결과

연구 질문

• RQ1 모든 아벨적이지 않은 비알키메데스적 바나흐 체는 곱셈 노름으로 위상화될 수 있는가, 즉 반드시 비알키메데스적 체인가?
• RQ2 균일 바나흐 링이 체를 기저로 하며, 기저 위상이 곱셈 노름에 의해 유도되지 않는 경우, 어떤 조건에서 곱셈 노름이 존재하는가?
• RQ3 기저 링이 체인 페르포이드 링은 반드시 페르포이드 체인가?
• RQ4 만약 몫이 서로 다른 p진 확장의 완비화와 동형이라면, 페르포이드 링이 어떤 페르포이드 체 위의 바나흐 대수일 수 있는가?
• RQ5 기울임 동치성은 특성 p에서 특성 0으로 성질를 전이시키는 데 어떤 역할을 하는가?

주요 결과

• 기저 링이 체이며 비이산 값매김을 갖는 균일 바나흐 링은 정리 3.7에 따라 반드시 비알키메데스적 체이다.
• 임의의 페르포이드 링이 체일 경우 반드시 페르포이드 체이며, 슈올제의 원래 정의에서 제기된 기초적 질문을 해결한다(정리 4.2).
• 부분곱셈 노름에 의한 체의 완비화가 반드시 체가 되는 것은 아니며, 이는 곱셈 노름 조건이 필수적임을 보여준다(예제 2.15).
• 기울임 대응은 특성 0에서 특성 p로의 환원을 가능하게 하며, 여기서 완전성과 균일성은 곱셈 노름의 존재를 암시한다.
• 구체적 구성은 일부 페르포이드 링이 Q_p(μ_{p^∞}) 및 Q_p(p^{1/p^∞})의 완비화와 동형인 몫을 갖지만, 어떤 페르포이드 체 위의 바나흐 대수도 아니라는 것을 보여준다.
• 페르포이드 링의 최대 이상수 몫은 바나흐 체이며, 몫이 특성 p이면 페르포이드 체이지만, 추가 가정 없이 특성 0에서는 성립하지 않는다.