유도 스택과 동기 Hall 대수의 새로운 전개

초록

본 논문은 임의의 유도 스택 X 위에서 의사일관성(pseudo‑coherence)을 새로운 방식으로 정의하고, 그 전부가 안정된 서브 ∞‑카테고리를 이룬다는 것을 보인다. 상대 토르 진폭(relative Tor‑amplitude)을 이용해 의사일관 객체들을 분류하는 유도 스택을 구성하고, 합리적인 기반 스킴 위에서는 이 스택이 유계 파생 범주와 동등함을 증명한다. 또한 X가 기반 위에서 평탄한 프로젝트형 유도 스킴일 때, 모듈리 공간이 국소적으로 기하학적이며 거의 유한형임을 보여, 유도 동기 Hall 대수의 존재를 확립한다.

상세 분석

논문은 먼저 전통적인 스키마와 달리 유도 스택 X 위에서 의사일관성 개념을 재정의한다. 기존 정의는 주로 정규 스키마나 정규 대수적 공간에 국한되었으나, 저자들은 ∞‑카테고리 이론을 활용해 모든 유도 스택에 적용 가능한 정의를 제시한다. 핵심은 완전한 직교 사상(coCartesian morphism)과 완전한 직교 푸시아웃을 이용해 복합적인 층을 가진 복합체(complex)를 다루는 방법이다. 이 정의에 따라 의사일관 객체들의 전집은 안정된 서브 ∞‑카테고리를 형성하고, 이는 삼각 구조와 시프트 연산이 보존되는 것을 의미한다.

다음 단계에서는 상대 토르 진폭을 도입한다. X→S라는 구조적 사상이 주어졌을 때, 객체 E가 S‑상대 토르 진폭