[논문 리뷰] The twisted Cartesian model for the double path fibration

Tornike Kadeishvili, Samson Saneblidze|ArXiv.org|2002. 10. 15.

Advanced Topics in Algebra참고 문헌 10인용 수 5

한 줄 요약

이 논문은 입체집합에서 순열체집합으로의 잘라내는 꼬임 함수를 사용하여 이중 경로 피브레이션에 대한 비틀린 카르테시안 모델을 제안한다. 이를 통해 순열입체집합을 구성하고, 고리 공간 위의 경로 피브레이션을 모델링한다. 주요 기여는 Hirsch 대수에 대한 곱의 꼬임 텐서 곱의 형식 이론을 수립하여, 체인 복합체가 약한 코바르 구조를 실현하고, Steenrod의 $\smile_1$ 연산을 일반화하는 연산을 통해 $A_\infty$-코알제브라 구조를 부여한다는 것이다.

ABSTRACT

In the paper the notion of truncating twisting function from a cubical set to a permutahedral set and the corresponding notion of twisted Cartesian product of these sets are introduced. The latter becomes a permutocubical set that models in particular the path fibration on a loop space. The chain complex of this twisted Cartesian product in fact is a comultiplicative twisted tensor product of cubical chains of base and permutahedral chains of fibre. This construction is formalized as a theory of twisted tensor products for Hirsch algebras.

연구 동기 및 목표

• 입체집합과 순열체집합을 사용하여 이중 경로 피브레이션의 조합적 모델을 구축한다.
• 입체집합에서 단순화된 모노이드 순열체집합으로의 일반적인 잘라내는 꼬임 함수 $\vartheta_U: Q \to \mathbf{\Omega}Q$ 를 정의한다.
• 경로 피브레이션의 모델링을 위한 순열입체집합으로서의 비틀린 카르테시안 곱 $Q \times_{\vartheta_U} \mathbf{\Omega}Q$ 를 정식화한다.
• 입체집합과 순열체집합의 체인에 대한 비틀린 텐서 곱을 통해 피브레이션의 체인 수준 모델을 수립한다.
• 피브레이션의 전체 공간의 곱 구조를 포괄하는 Hirsch 대수에 대한 곱의 꼬임 텐서 곱 이론을 개발한다.

제안 방법

• 입체집합 $Q$ 에서 단순화된 모노이드 순열체집합 $\mathcal{Z}$ 로의 잘라내는 꼬임 함수 $\vartheta: Q_* \to \mathcal{Z}_{*-1}$ 의 개념을 도입한다.
• 표준 입방체에 대한 잘라내기 절차를 사용하여 순열입체집합으로서의 비틀린 카르테시안 곱 $Q \times_\vartheta \mathcal{L}$ 를 정의한다.
• 고리 공간 $\Omega|Q|$ 를 모델링하는 단순화된 모노이드 순열체집합 $\mathbf{\Omega}Q$ 에 대한 일반적인 꼬임 함수 $\vartheta_U: Q \to \mathbf{\Omega}Q$ 를 구성한다.
• 체인 복합체 $C^\boxminus_*(Q \times_{\vartheta_U} \mathbf{\Omega}Q)$ 가 약한 코바르 구조 $\Omega(C^\Box_*(Q); C^\Box_*(Q))$ 와 동형임을 보인다.
• 순열입방체 $B_n$ 에 대해 순열체집합의 대각선과 호환되는 대각선을 명시적으로 정의하고, 이를 코바르 구조와 비틀린 텐서 곱으로 옮긴다.
• 순열체집합의 대각선에 의해 유도되는 연산 $E^{p,q}$ 를 통해 $C^\Box_*(Q)$ 에 Hirsch 코알제브라 구조를 정의하며, $E^{1,1}$ 은 입체집합의 $\smile_1$ 연산과 쌍대임을 보인다.

실험 결과

연구 질문

• RQ1 입체집합과 순열체집합을 사용하여 이중 경로 피브레이션을 어떻게 조합적으로 모델링할 수 있는가?
• RQ2 일반적인 잘라내는 꼬임 함수 $\vartheta_U$ 는 경로 피브레이션의 함의적 모델을 구축하는 데 어떤 역할을 하는가?
• RQ3 비틀린 카르테시안 곱의 체인 복합체는 코바르 구조와 약한 코바르 구조와 어떻게 관련이 있는가?
• RQ4 순열체집합의 대각선은 코바르 구조에 $A_\infty$-코알제브라 구조를 어떻게 유도하는가?
• RQ5 Hirsch 대수와 비틀린 텐서 곱을 통해 피브레이션의 전체 공간의 곱 구조를 대수적으로 어떻게 포착할 수 있는가?

주요 결과

• 비틀린 카르테시안 곱 $Q \times_{\vartheta_U} \mathbf{\Omega}Q$ 는 $|Q|$ 위의 경로 피브레이션을 모델링하는 순열입체집합이다.
• 체인 복합체 $C^\boxminus_*(Q \times_{\vartheta_U} \mathbf{\Omega}Q)$ 는 약한 코바르 구조 $\Omega(C^\Box_*(Q); C^\Box_*(Q))$ 와 동형이다.
• 코바르 구조 $\Omega C^\Box_*(Q)$ 는 순열체집합의 대각선으로부터 유도된 연산 $E^{p,q}$ 를 통해 $A_\infty$-코알제브라 구조를 갖는다. 이 연산들은 입체집합의 $\smile_1$ 코호전자 연산을 일반화한다.
• 체인 복합체 $C^\ast_{\boxminus}(Q \times_{\vartheta} \mathbf{\Omega}Z)$ 의 곱 구조는 Hirsch 대수 구조로 포착되며, 미분과 곱은 $E_{1,1}$ 과 $f^\#$ 를 포함하는 명시적 공식을 만족한다.
• 다중 모델 $(H^\ast(Y) \otimes BH^\ast(Z), d_{\vartheta^\ast})$ 의 코homology 는 $H^\ast(E_f)$ 와 대수적으로 동형이며, 이는 $E_f$ 의 곱 구조가 $C^\ast(S^2X)$ 에서의 $\smile$, $\smile_1$, $\smile_2$ 연산에만 의존함을 보여준다.
• 모델은 $f^\ast = g^\ast$ 이면 $H^\ast(E_f) \cong H^\ast(E_g)$ 가 되며, 이는 전체 공간의 곱 구조가 기저와 선행자의 코homology 에 의해 결정됨을 시사한다.