[논문 리뷰] Associative algebras and broken lines

Jacob Lurie, Hiro TANAKA|arXiv (Cornell University)|2018. 05. 24.

Topological and Geometric Data Analysis참고 문헌 1인용 수 3

한 줄 요약

이 논문은 약간의 변형이 있는 선들(broken lines)의 모듈리 스택 $Δ\mathsf{Broken}$을 도입하여, 결합 대수 구조를 통한 모어스 이론 연구를 위한 기하적 프레임워크를 제공한다. 이는 $Δ\mathsf{Broken}$ 위의 인자 가능한 층이 임의의 컴팩트하게 생성된 $Δ\infty$-카테고리에서 비단위 $A_\infty$-대수와 정확히 일치함을 보여주며, 컴팩트 리만 다양체 위에서 모어스 복합체의 방정식 없이 구성하는 데 있어 기초 단계를 마련한다.

ABSTRACT

Inspired by Morse theory, we introduce a topological stack Broken, which we refer to as the moduli stack of broken lines. We show that Broken can be presented as a Lie groupoid with corners and provide a combinatorial description of sheaves on Broken with values in any compactly generated infinity-category C. Moreover, we show that factorizable C-valued sheaves (with respect to a natural semigroup structure on the stack Broken) can be identified with nonunital A-infinity-algebras in C. This is a first step in a program whose goal is to present an `equation-free' construction of the Morse complex associated to a compact Riemannian manifold.

연구 동기 및 목표

• 모어스 이론을 위한 기하적 프레임워크를 토폴로지 스택과 변형된 선들을 통해 개발한다.
• 변형된 선들의 모듈리 스택 $Δ\mathsf{Broken}$을 리 군oids with corners로 정의하고 특성화한다.
• 컴팩트하게 생성된 $Δ\infty$-카테고리 $Δ{C}$에 값을 갖는 $Δ\mathsf{Broken}$ 위의 층을 분류한다.
• 변형된 선들의 모듈리 스택 $Δ\mathsf{Broken}$ 위의 인자 가능 $Δ{C}$-값 층과 $Δ{C}$ 내 비단위 $A_\infty$-대수 사이의 대응 관계를 확립한다.
• 컴팩트 리만 다항체 위에서 모어스 복합체의 방정식 없이 구성하는 데 기초를 마련한다.

제안 방법

• 표준적인 직선 $[-∞,\infty]$를 일반화한, 방향성 있는 $Δ{R}$-작용과 유한한 고정점 집합을 갖는 위상공간으로서의 변형된 선의 개념을 도입한다.
• 기저 공간 $S$ 위에서의 변형된 선의 가닥을 연속적인 $Δ{R}$-작용과 사영 사상이 있는 위상공간으로 정의하여 붕괴(degenerations)를 허용한다.
• 이러한 가닥을 분류하는 토폴로지 스택으로서의 모듈리 스택 $Δ\mathsf{Broken}$을 구성하고, 이것이 리 군oids with corners로 표현 가능하다는 것을 증명한다.
• 선형 순서의 카테고리의 와이어드 아로우 카테고리와 왼쪽 칸 확장에 의한 $Δ\mathsf{Broken}$ 위의 층의 조합론적 기술을 제공한다.
• 데이 콘볼루션과 릿시 층의 구조를 사용하여 인자 가능 층과 $A_\infty$-대수의 구조를 연결한다.
• 호모토피 불변성과 층화 기법을 적용하여, 인자 가능 층과 비단위 $A_\infty$-대수 사이의 대응 관계가 호모토피 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 변형된 선들의 모듈리 스택을 잘 정의된 카테고리적이고 미분기하학적인 성질을 갖는 기하적 대상으로 구성할 수 있는가?
• RQ2 컴팩트하게 생성된 $Δ\infty$-카테고리 $Δ{C}$에 값을 갖는 $Δ\mathsf{Broken}$ 위의 층의 조합론적 구조는 무엇인가?
• RQ3 변형된 선들의 연결을 통한 반군 구조를 지닌 $Δ\mathsf{Broken}$이 $Δ{C}$ 내의 대수적 구조와 어떻게 관련이 있는가?
• RQ4 변형된 선들의 모듈리 스택 $Δ\mathsf{Broken}$ 위의 인자 가능 층은 $A_\infty$-대수와 같은 대수적 대상으로 분류될 수 있는가?
• RQ5 호모토피 불변성이 $Δ\mathsf{Broken}$ 위의 층 이론적 구조와 대수적 구조 사이의 동치를 확립하는 데 어떤 역할을 하는가?

주요 결과

• 모듈리 스택 $Δ\mathsf{Broken}$은 리 군oids with corners로 표현 가능하여, 변형된 선들의 가닥을 위한 잘 정의된 기하적 모델을 제공한다.
• 컴팩트하게 생성된 $Δ\infty$-카테고리 $Δ{C}$에 값을 갖는 $Δ\mathsf{Broken}$ 위의 층은 선형 순서의 카테고리의 와이어드 아로우 카테고리에 의한 조합론적 기술을 갖는다.
• 변형된 선들의 모듈리 스택 $Δ\mathsf{Broken}$ 위의 인자 가능 $Δ{C}$-값 층은 비단위 $A_\infty$-대수와 동치이며, 기하학과 호모토피 대수학 사이의 깊은 연결 고리를 확립한다.
• 인자 가능 층과 비단위 $A_\infty$-대수 사이의 대응 관계는 호모토피 동치로 실현되며, 층화와 프레샤프 $Δ{G}$의 호모토피 불변성에 의해 검증된다.
• 이 증명는 선형 순서의 카테고리에서 와이어드 아로우 카테고리로의 포함 사상의 제약 사상이 호모토피 동치임을 보이는 데 의존하며, 층화가 점에서의 값을 유지한다는 사실을 활용한다.
• 이 구성은 $S = \mathbf{R}_{\geq 0}$ 위의 변형된 선들의 가닥에 적용되며, 여기서 섬유는 부서지지 않은 선에서 부서진 선으로 붕괴되며, 스택이 붕괴를 포괄할 수 있음을 보여준다.