[논문 리뷰] Differential cohomology theories as sheaves of spectra

Ulrich Bunke, Thomas Nikolaus외 1명|arXiv (Cornell University)|2013. 11. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 6

한 줄 요약

이 논문은 매끄러운 다양체 위의 스펙트럼의 층이 자연스럽게 미분 코homology 다이어그램과 호모토피 공식을 유도함을 보이며, 전통적인 미분 코homology 이론의 특징들을 통합한다. 유도된 함자들을 통해 층을 호모토피에 관여하지 않는 부분과 사이클 유사 부분으로 분해함으로써, 새로운 미분 코homology 이론을 그들의 기초가 되는 호모토피 유형, 사이클 자료, 그리고 붙임 맵을 통해 체계적으로 분석할 수 있는 일반적인 프레임워크를 제공한다.

ABSTRACT

We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of all classical examples of differential cohomology theories. These structures are naturally derived from a canonical decomposition of a sheaf into a homotopy invariant part and a piece which has a trivial evaluation on a point. In the classical examples the latter is the contribution of differential forms. This decomposition suggest a natural scheme to analyse new sheaves by determining these pieces and the gluing data. We perform this analysis for a variety of classical and not so classical examples.

연구 동기 및 목표

• 매끄러운 다양체의 사이트 위에서 스펙트럼의 층을 사용하여 미분 코homology 이론에 대한 통합적이고 추상적인 프레임워크를 제공하는 것.
• 모든 이러한 층에 공통적으로 나타나는 보편적 구조적 특징—미분 코homology 다이어그램과 호모토피 공식—을 식별하는 것.
• 임의의 층을 호모토피에 관여하지 않는 부분과 사이클 유사 부분으로 분해하기 위해 쌍대 함자를 사용함으로써, 새로운 예제를 체계적으로 분석할 수 있도록 하는 것.
• 클래식한 구성(예: Hopkins-Singer, Deligne 코hom로지)을 일반화하여, 그것들이 이 분해로부터 유래됨을 보이는 것.
• 미분 형식에 의존하지 않는다는 것을 보여주기 위해, 그러한 형식이 없는 예를 구성함으로써, 미분 코homology 이론이 반드시 미분 형식을 필요로 하지 않음을 입증하는 것.

제안 방법

• 고정된 층 함자에 대한 좌측 및 우측 쌍대 함자를 사용하여 층을 호모토피에 관여하지 않는 부분과 사이클 자료를 포함하는 부분으로 분해하는 것.
• 호모토피화 함자(좌측 쌍대 함자)를 적용하여 호모토피에 관여하지 않는 성분을 추출하며, 다각체의 국소 수축 가능성에 기반한다.
• 곡률 맵을 특성 맵과 미분 형식 유사 성분의 복합으로 정의하여, 전통적인 미분 코homology의 곡률을 일반화하는 것.
• 호모토피 공식을 사용하여 호모토피에 대한 관여하지 않는 정도를 정량화하며, 이는 층이 호모토피에 관여하지 않는다는 사실의 실패에서 유도된다.
• 분해를 통해 예제를 분석함: 호모토피에 관여하지 않는 부분, 사이클 자료, 그리고 그들 사이의 붙임 맵을 식별하는 것.
• 호모토피 이론과의 호환성을 확보하기 위해, 스펙트럼 또는 체인 복합체와 같은 안정적인 $(∞,1)$-범주를 대상 범주로 사용하는 것.

실험 결과

연구 질문

• RQ1 모든 미분 코homology 이론에 공통적으로 존재하는 보편적 구조는 무엇인가? (그 구성 방식과는 무관하게)
• RQ2 매끄러운 다양체 위의 일반적인 스펙트럼의 층은 어떻게 호모토피에 관여하지 않는 부분과 사이클 유사 부분으로 분해될 수 있는가?
• RQ3 미분 코호몰로지 이론은 어느 정도까지 미분 형식에 대한 참조 없이 구성될 수 있는가?
• RQ4 Deligne 코호몰로지나 미분 K-이론과 같은 클래식한 예는 이 추상적 프레임워크 안에서 어떻게 위치되는가?
• RQ5 호모토피 공식은 미분 코호몰로지에서 호모토피 관여하지 않는 성질의 실패를 특징짓는 데 어떤 역할을 하는가?

주요 결과

• 매끄러운 다양체 위의 스펙트럼의 층은 자연스럽게 곡률, 클래스, 호모토피 맵을 포함하는 미분 코호몰로지 다이어그램을 유도한다.
• 호모토피 공식은 호모토피 관여하지 않는 성질의 실패를 정량화하며, 이러한 모든 층에 대해 보편적으로 성립한다.
• 호모토피에 관여하지 않는 부분과 사이클 유사 부분으로의 분해는 자연스럽고 함자적이며, 층의 범주에서 쌍대 함자로부터 유도된다.
• 일반화된 Deligne 코호몰로지와 Hopkins-Singer의 미분 K-이론과 같은 클래식한 예는 이 분해의 특수한 경우로 복원된다.
• 일부 예에서는 사이클 자료가 미분 형식과 관련이 없으며, 이는 미분 코호몰로지 이론이 반드시 형식을 포함하지 않아도 된다는 것을 보여준다.
• 아벨 리 군으로 표현되는 층은 고전적 방법으로 구성된 것과 동치임을 보여주어, 기존의 구성과의 일관성을 확인한다.