[논문 리뷰] Chains(R) does not admit a geometrically meaningful properadic homotopy Frobenius algebra structure

Theo Johnson-Freyd|arXiv (Cornell University)|2013. 08. 15.

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

한 줄 요약

이 논문은 Chains(ℝ)가 비틀림 없는 다이퍼드 작용을 허용하지만 기하학적으로 의미 있는 properadic 호모토피 프로베니우스 대수 구조를 갖지 못함을 증명한다. 비록 비단위 이동 프로베니우스 대수의 다이퍼드에 대한 코프리프레전스가 호모토피적으로 유일하고 기하학적으로 자연스럽게 Chains(ℝ)에 작용하지만, 동일한 구조는 quasilocality 범주에서 −1/12에 의한 곱셈의 비정확성으로 인한 호모로지 장벽으로 인해 properadic 해석으로 확장되지 못한다.

ABSTRACT

The embedding Chains(R) into Cochains(R) as the compactly supported cochains might lead one to expect Chains(R) to carry a nonunital commutative Frobenius algebra structure, up to a degree shift and some homotopic weakening of the axioms. We prove that under reasonable "locality" conditions, a cofibrant resolution of the dioperad controlling nonunital shifted-Frobenius algebras does act on Chains(R), and in a homotopically-unique way. But we prove that this action does not extend to a homotopy Frobenius action at the level of properads or props. This gives an example of a geometrically meaningful algebraic structure on homology that does not lift in a geometrically meaningful way to the chain level.

연구 동기 및 목표

• ℝ의 호모로지가 비단위 이동 프로베니우스 대수의 구조를 지닌다는 점을 바탕으로, 이것이 체인 수준에서 기하학적으로 의미 있는 구조로 올라가는지 확인하는 것.
• 나무 모양의 합성 외에 그래프 모양의 합성을 允허하는 properads 수준에서 이러한 올림이 존재하는지 조사하는 것.
• 체인 복합체 위의 기하학적으로 의미 있는 대수적 구조에서 다이퍼드와 properad의 해석 간의 차이를 명확히 하는 것.
• 이전 논문 [Wil07]에서 Chains(ℝ)에 이러한 properadic 구조가 존재해야 한다고 주장한 데 대한 모순을 해결하는 것.
• 모든 기하학적으로 의미 있는 구조가 호모로지에서 체인 수준으로 올라가지 못함을 입증하는 것. 이는 호모토피 전달 이론이 형식적으로 올림을 보장하지만, 기하학적 의미는 보장하지는 않기 때문이다.

제안 방법

• 최소한의 기하학성 조건으로서 quasilocality의 개념을 도입하여, 연속적으로 컴팩트 지지 체인에서 비컴팩트 지지 체인으로 연산이 자연스럽게 연장됨을 보장한다.
• 비단위 이동 프로베니우스 대수를 제어하는 다이퍼드와 properad를 정의하고, 그 Koszul 성질을 증명하여 작은 코프리프레전스를 구성한다.
• Chains(ℝ)에 대한 quasilocal, 이동 불변인 다이퍼드 해석의 해석 공간을 수축 가능하게 구성하여, 유일성과 기하학적 자연성을 입증한다.
• 호모토피 전달 이론을 사용하여 H•(ℝ)의 호모로지 프로베니우스 구조를 다이퍼드 해석을 통해 Chains(ℝ)로 전달한다.
• 다이퍼드 작용을 properadic으로 확장할 수 없는 장벽을 분석하기 위해, 생성자에 의한 톰 형식의 작용과 quasilocality 범주에서의 −1/12 곱셈의 비정확성에 주목한다.
• 표준 곱셈을 체인의 교차로 강제로 정의하는 모든 尝시도는 비-quasilocality를 초래하여 기하학적 의미 조건을 위반한다.

실험 결과

연구 질문

• RQ1 Chains(ℝ)가 다이퍼드 수준에서는 기하학적으로 의미 있는 properadic 호모토피 프로베니우스 대수의 구조를 지닐 수 있는가?
• RQ2 H•(ℝ)의 호모토피 프로베니우스 구조가 국소성과 기하학적 합성 규칙을 유지하는 방식으로 Chains(ℝ)로 전이될 수 있는가?
• RQ3 비틀림 없는 다이퍼드 작용이 유일하게 존재함에도 불구하고, 왜 properadic 해석은 Chains(ℝ)에 작용하지 못하는가?
• RQ4 −1/12에 의한 곱셈의 비정확성이 properadic 확장을 방해하는 데서 어떤 역할을 하는가?
• RQ5 properadic 전이의 실패는 호모로지에서 체인 수준으로 대수적 구조를 전이할 수 있는 기본적인 제약을 어떻게 드러내는가?

주요 결과

• 비단위 이동 프로베니우스 대수를 제어하는 다이퍼드의 코프리프레전스는 Chains(ℝ)에 대해 유일하고, quasilocal이며, 이동 불변인 방식으로 작용한다.
• 이 다이퍼드 작용은 엄밀히 결합법칙과 교환법칙을 만족하는 곱셈(차수 −1)과 코미utative 코곱셈(차수 0)을 컴팩트 지지 드람 형식에 대해 확장한다.
• 동일한 구조의 properadic 해석은 Chains(ℝ)에 대해 quasilocal 방식으로 작용하지 않으며, 이는 호모로지에서 코곱셈과 표준 곱셈을 모두 유도하지 못한다.
• 이 장벽은 quasilocality 범주에서 −1/12에 의한 곱셈이 정확하지 않기 때문에 발생하며, properadic 해석에서 종료 properad로의 잘 정의된 준동형사상이 존재하지 않게 된다.
• 체인의 교차를 통해 표준 곱셈을 강제로 정의하는 모든 尝시도는 비-quasilocally 정의된 작용을 초래하여 기하학적 의미 조건을 위반한다.
• 이 결과는 [Wil07]에서의 모순을 해결한다. 즉, properadic 전이가 비록 다이퍼드 전이가 기하학적으로 의미 있는 경우에도, 기하학적으로 의미 없는 것으로 드러나기 때문이다.