[논문 리뷰] Localization Formulae in odd K-theory

Florentiu Daniel Cibotaru|arXiv (Cornell University)|2022. 09. 15.

Advanced Algebra and Geometry참고 문헌 31인용 수 3

한 줄 요약

이 논문은 복소 힐버트 공간 내 라그랑주 부분공간의 그라스만만을 사용하여 기하적 프레임워크를 도입하여 기약 K-이론을 다루며, 슈부르트 다양체는 코homology 링 생성자를 위한 기하적 대표자를 제공한다. 스펙트럴 플로우가 첫 번째 생성자에 대응함을 규명하여, 닫힌 다양체 위의 자기수반 프리드홀름 연산자 가족으로부터 유도된 클래스의 푸앵카레 쌍대체에 대한 국소화 공식을 수립한다.

ABSTRACT

We describe a class of real Banach manifolds, which classify $K^{-1}$. These manifolds are Grassmannians of (hermitian) lagrangian subspaces in a complex Hilbert space. Certain finite codimensional real subvarieties described by incidence relations define geometric representatives for the generators of the cohomology rings of these classifying spaces. Any family of self-adjoint, Fredholm operators parametrized by a closed manifold comes with a map to one of these spaces. We use these Schubert varieties to describe the Poincare duals of the pull-backs to the parameter space of the cohomology ring generators. The class corresponding to the first generator is the spectral flow.

연구 동기 및 목표

• 복소 힐버트 공간 내 라그랑주 부분공간의 그라스만만을 사용하여 K^{-1}의 분류 공간에 대한 기하 모델을 구축하는 것.
• 이러한 분류 공간의 코homology 링 생성자를 위한 기하적 대표자로서 유한 차원 여부가 있는 실수 부분다양체인 슈부르트 다양체를 식별하는 것.
• 닫힌 다양체 위의 자기수반 프리드홀름 연산자 가족으로부터 유도된 클래스의 푸앵카레 쌍대체에 대한 국소화 공식을 제공하는 것.
• 이 프레임워크 내에서 첫 번째 코homology 생성자를 스펙트럴 플로우 불변량으로 특성화하는 것.

제안 방법

• 복소 힐버트 공간 내 (헤르미트) 라그랑주 부분공간의 그라스만만으로 실 바나흐 다양체를 구성하여 K^{-1}의 분류 공간으로 사용한다.
• 인cidence 관계로 정의된 유한 차원 여부가 있는 실수 부분다양체인 슈부르트 다양체를 사용하여 코homology 링 생성자를 표현한다.
• 닫힌 다양체 위에서 정의된 자기수반 프리드홀름 연산자 가족은 이러한 그라스만만 공간으로의 분류 사상(induced classifying map)을 유도한다.
• 이러한 슈부르트 다양체의 호모로지 클래스를 통해 코homology 생성자의 역상에 대한 푸앵카레 쌍대체를 기하적으로 실현한다.
• 스펙트럴 플로우 불변량이 코homology 링의 첫 번째 생성자에 대응하는 클래스로 식별된다.

실험 결과

연구 질문

• RQ1 무한차원 그라스만만을 사용하여 K^{-1}의 분류 공간을 어떻게 기하적으로 실현할 수 있는가?
• RQ2 유한 차원 여부가 있는 슈부르트 다양체는 이러한 분류 공간의 코homology 링 생성자를 표현하는 데 어떤 역할을 하는가?
• RQ3 연산자 가족으로부터 유도된 클래스의 푸앵카레 쌍대체는 기하 사이클을 통해 어떻게 묘사할 수 있는가?
• RQ4 스펙트럴 플로우의 기하적 해석은 K-이론과 코homology 측면에서 어떻게 기술될 수 있는가?

주요 결과

• 복소 힐버트 공간 내 라그랑주 부분공간의 그라스만만은 K^{-1}의 분류 공간을 제공한다.
• 인cidence 관계로 정의된 슈부르트 다양체는 분류 공간의 코homology 링 생성자를 위한 기하적 대표자로 기능한다.
• 스펙트럴 플로우는 코homology 링의 첫 번째 생성자에 대응하는 클래스로 식별된다.
• 자기수반 프리드홀름 연산자 가족으로부터 유도된 클래스의 푸앵카레 쌍대체는 이러한 슈부르트 다양체의 호모로지 클래스로 표현된다.