[논문 리뷰] p-adic J-homomorphisms and a product formula

Dustin Clausen|arXiv (Cornell University)|2011. 10. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 27인용 수 11

한 줄 요약

이 논문은 모든 자리 p ≤ ∞에 대해 p-진 필드에 대한 고전적 실수 J-호모모르피즘의 유사체로 p-진 J-호모모르피즘을 도입하고, 전역적인 위상적 곱공식을 수립한다. 주요 결과는 K₂(ℚ)에서 구의 Picard 스펙트럼으로 향하는 이러한 p-진 J-사상들의 곱이 표준적으로 자명하다는 것이며, 이는 술어적으로 수론적 항등식을 스펙트럼 수준에서 향상시킨다.

ABSTRACT

One-point compactification turns real vector spaces into spheres. In homotopy theory, this transformation gets encoded in a map called the "real J-homomorphism". Here we define and investigate p-adic J-homomorphisms, which sort of turn p-adic vector spaces into spheres. Our main theorem is a product formula for these J-homomorphisms, saying what happens when you start with a rational vector space. This formula specializes to Hilbert's version of the quadratic reciprocity law after applying second homotopy groups.

연구 동기 및 목표

• 모든 소수 p에 대해 ℝ에서 ℚₚ로의 고전적 구성의 일반화로서 실수 J-호모모르피즘의 p-진 유사체를 정의하고 연구한다.
• 모든 자리 p ≤ ∞(아르키메데스 경우 포함)에 걸쳐 이러한 p-진 J-호모모르피즘에 대한 전역 곱공식을 수립한다.
• K₂(ℚ)에서 온 J-사상들의 곱이 Picard 스펙트럼에서 표준적으로 자명한 사상을 통해 인식됨을 보여, 수론적 항등식을 호모토피 이론적 용어로 보다 정교하게 다룬다.
• p-진 J-호모모르피즘을 고차 K-이론과 크로모틱 호모토피 이론, 특히 K(1)-국소화 호모토피 이론에서 J의 상을 통해 연결한다.
• 곱공식의 수론적 결과를 탐색하며, 특히 이의 이차 상호작용에 대한 특수화와 고차 K-군으로의 일반화 가능성에 주목한다.

제안 방법

• May-Quinn-Ray-Tornehave와 Snaith의 이산 모델을 이용한 'p에 대해 아님' 부분과 Bauer의 p-콤���트 군 구성법을 통한 'p에서' 부분의 조합으로 p-진 J-호모모르피즘을 구성한다.
• K(1)-국소화 호모토피 이론과 K(1)-국소화 로그함수를 사용하여 안정 호모토피 군에서 J-호모모르피즘의 상을 분석한다.
• Bousfield 국소화와 Bousfield–Waldhausen 기법을 적용하여 ℚₚ의 대수적 K-이론과 스펙트럼의 Picard 스펙트럼을 연결한다.
• 정밀화된 토러스에 대한 브라우어 차수 이론(정리 5.1)을 사용하여 곱공식의 위상적 기초를 확립한다.
• K-이론의 기본 덮개(K(ℚₚ)≥₂)를 활용하여 J-호모모르피즘이 안정 Picard 스펙트럼에 들어감을 보장한다.
• ∞-카테고리에서의 쌍대성과 유일성의 층 이론을 활용하여 오비포인트 코homology와 대수적 구면을 연결하고, 곱의 표준적 자명화를 확립한다.

실험 결과

연구 질문

• RQ1 고전적 실수 J-호모모르피즘은 어떻게 p-진 필드 ℚₚ로 일반화될 수 있으며, 이러한 p-진 J-호모모르피즘의 구조적 성질은 무엇인가?
• RQ2 모든 자리 p ≤ ∞에 걸쳐 J-호모모르피즘의 전역적 행동은 어떠한가? 그리고 이들은 단일한 표준적 곱으로 조합될 수 있는가?
• RQ3 p-진 J-호모모르피즘의 곱공식은 힐베르트의 이차 노름 잔여 기호에 대한 곱공식을 복원하거나 보다 정교하게 다룰 수 있는가?
• RQ4 p-진 J-호모모르피즘은 특히 홀수 소수에서 K(1)-국소화 안정 호모토피 이론에서 J의 상과 어떻게 관련이 있는가?
• RQ5 곱공식은 고차 K-군으로 확장될 수 있는가? 그리고 반바스크의 무어 정확수열의 일반화와의 관계는 무엇인가?

주요 결과

• 모든 p ≤ ∞에 대해 K₂(ℚ)에서 Pic(Sp)로 향하는 p-진 J-호모모르피즘들의 곱은 부록 A의 의미에서 표준적으로 자명하다.
• π₂에서 곱공식은 이차 노름 잔여 기호에 대한 힐베르트의 곱공식으로 특수화되며, 각 π₂(J_ℚₚ)는 p-진 힐베르트 기호를 실현한다.
• 모든 홀수 소수 ℓ와 k > 0에 대해, 각 J_ℚₚ가 π₄ₖ에서 유도하는 이미지는 ℓ에서 E(1)-국소화 구면의 π₄ₖ₋₁에서 J-호모모르피즘의 이미지와 동형이다.
• 모든 p-진 J-호모모르피즘의 공통 이미지는 π₄ₖ에서 K(1)-국소화 구면에서 J의 이미지와 동형이며, p-진 및 실수 경우 간의 일관성을 확인한다.
• p-진 J-호모모르피즘의 구성은 '순수한 부분'(p에 대해 아님)과 '야생의 부분'(p에서)으로 분리되며, 후자는 Bauer의 p-콤팩트 군 방법으로 구성된다.
• 곱 사상의 자명성은 토러스에 대한 보다 정교한 브라우어 차수 이론의 위상적 일반화를 통해 확립되며, 이는 전체 구성의 기초를 이룬다.