무한 차원 번들 K‑이론의 새로운 전개

초록

본 논문은 게이지 번들, 의사미분 연산자 번들, 그리고 패밀리 번들의 세 종류 무한 차원 벡터 번들에 대한 K‑이론을 정의하고, 이들의 Chern 문자와 동형 사상들을 이용해 비자명한 원소들을 검출한다. 특히 K‑이론을 기존의 K‑이론과 동형시켜 계산 가능성을 확보하고, 두 차례 주기성을 갖는 일반화된 코호몰로지 이론으로 확장한다.

상세 분석

논문은 먼저 무한 차원 번들의 구조군을 제한된 부분군으로 잡아야 의미 있는 K‑이론을 구축할 수 있음을 강조한다. 구체적으로 세 가지 경우를 다룬다. 첫째, 게이지 번들은 닫힌 매니폴드 N 위의 유한 차원 벡터 번들 E에 대한 연속적인 게이지 변환을 전이 함수로 사용한다. 여기서 구조군 G(N,E)는 (id,f) 형태의 쌍이며, 전이 함수는 Sobolev 완성 Γ^s(N,E) 위의 유한 차원 연산자로 작용한다. 둘째, ΨDO 번들은 0차 의사미분 연산자 Ψ^0(N,E) 의 가역 원소들을 전이 함수로 삼는다. 이 경우 두 종류의 트레이스—Wodzicki 잔여와 선행 차수 트레이스—가 존재하고, 전자는 항상 사라지는 반면 선행 차수 트레이스는 비자명한 Chern 클래스를 제공한다. 셋째, 패밀리 번들은 기본적으로 π: M→X 라는 국소적으로 평탄한 섬유다발을 고려하고, 각 섬유 M_x≅N 위에 정의된 유한 차원 번들 E→M을 끌어올린 무한 차원 번들 π^*(E) 를 다룬다. 여기서 구조군은 Diff(N,E) 로, 이는 N의 미분동형사상과 번들 동형사상의 쌍으로 이루어진다.

각 경우에 대해 저자는 K‑이론 군 K_G, K_Ψ, K_Diff 를 정의하고, 이를 기존의 K‑이론 K(X×N) 혹은 K(M) 과 동형시킨다. 핵심 정리는 Lemma 1, Lemma 3, Corollary 2 로, K_G(N)(X)≅K(X×N), K_Diff^M(X)≅K(M) 와 같은 동형을 보이며, 이는 K‑이론이 실제로는 ‘가짜’ 무한 차원이 아니라 적절히 제한된 유한 차원 K‑이론의 직접곱임을 의미한다.

또한 저자는 K_G 를 두 차례 주기성을 갖는 Ω‑스펙트럼의 첫 번째 항으로 식별하고, 이를 통해 일반화된 코호몰로지 이론으로 확장한다(정리 7, 정리 8). Thom 동형과 Serre‑Swan 정리의 무한 차원 버전도 제시하여, K_G 가 일반적인 코호몰로지 연산(외곧, 텐서곱, 푸시포워드 등)을 만족함을 증명한다.

Chern 문자에 관해서는, 선행 차수 트레이스를 이용한 ‘선행 차수 Chern 문자’가 K_G 의 원소를 K(X×N) 의 전통적인 Chern 문자와 비교될 수 있음을 보인다(섹션 3). 이를 통해 비자명한 원소를 구체적으로 구성하고, 특히 N이 다양한 매니폴드일 때 K_G(X) 가 거의 모든 K(X×N) 의 원소를 포함한다는 결론에 도달한다.

마지막으로 ΨDO 번들에 대한 K_Ψ 를 정의하고, 선행 차수 Chern 문자를 이용해 K_Ψ 가 K(X×N) 의 큰 부분을 포함함을 보인다(정리 14, 정리 15). 이는 무한 차원 번들의 K‑이론이 실제로는 풍부한 구조를 가지고 있음을 시사한다. 전체적으로 논문은 무한 차원 번들의 K‑이론을 기존 K‑이론과 연결시키는 교량 역할을 하며, 물리학(특히 문자열 이론과 양자장 이론)에서 등장하는 복잡한 번들 구조를 수학적으로 다루는 새로운 도구를 제공한다.