[논문 리뷰] Topological exodromy with coefficients

Mauro Porta, Jean-Baptiste Teyssier|arXiv (Cornell University)|2022. 11. 09.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 국소적으로 약한 수축 가능성을 가진 분할 공간으로의 외부 동치 일반화를 시도하며, 노에테리안성과 오름차순 조건을 제거하고 계수를 안정적 또는 컴act하게 생성된 $\infty$-카테고리로 확장한다. 이는 함의적으로 기능적 외부 동치를 수립하고, 초구성 가능 초층의 유도 모듈리 스택을 구성하며, Schiffmann-Vasserot 및 Davison-Mistry의 구성들을 일반화하는 새로운 코homological Hall 대수를 이끌어낸다.

ABSTRACT

We improve the exodromy equivalence of MacPherson, Treumann and Lurie in several ways: first, we allow stratified spaces that have locally weakly contractible strata, rather than being locally of singular shape, we remove all noetherianity assumptions and we consider more general coefficients (e.g. compactly assembled or stable presentable $\infty$-categories). Furthermore, our approach shows that the exodromy equivalence is functorial for every morphism of stratified spaces. As an application, we construct, under suitable finiteness assumptions, a higher Artin derived stack of hyperconstructible hypersheaves and prove that every perversity function gives rise to an open substack of perverse hypersheaves. Using the derived structure, we provide the construction of a new cohomological Hall algebra, generalizing the ones of character varieties studied in the past by Schiffmann-Vasserot, Davison and Mistry.

연구 동기 및 목표

• 국소적으로 특이 형태를 가진 공간의 고전적 설정을 넘어서, 국소적으로 약한 수축 가능성을 가진 분할 공간으로 외부 동치를 확장하는 것.
• 분할 공간의 순서 집합에 대한 노에테리안성과 오름차순 조건 가정을 제거하는 것.
• 외부 동치의 계수를 안정적 또는 컴팩트하게 생성된 $\infty$-카테고리로 일반화하는 것.
• 모든 분할 공간의 사상에 대해 유효한 외부 동치의 기능적 공식화를 제공하는 것.
• 초구성 가능 초층의 유도 모듈리 스택을 구성하고, 펄서비티 함수를 통해 펄서비티 층과 연관짓는 것.

제안 방법

• 특이 형태 조건을 완화하기 위해 구성 가능 층의 $\infty$-카테고리를 초구성 가능 초층의 $\infty$-카테고리로 대체하는 것.
• 외부 동치 대응의 함수의 도메인으로서 $\infty$-카테고리 $Π_{∞}^{Σ}(X,P)$를 사용하는 것.
• 모든 분할 공간의 사상에 대해 유효한 외부 동치의 기능적 프레임워크를 도입하는 것.
• 유도 대수기하학을 사용하여 초구성 가능 초층의 유도 모듈리 스택 ${}^{π}\mathbf{Perv}_{P}(X)$를 구성하는 것.
• 모든 펄서비티 함수가 모듈리 스택 내에서 펄서비티 초층의 열린 부분스택을 유도함을 증명하는 것.
• 펄서비티 초층의 모듈리 스택의 유도 구조를 통해 새로운 코homological Hall 대수를 정의하는 것.

실험 결과

연구 질문

• RQ1 특이 형태 조건 없이 국소적으로 약한 수축 가능성을 가진 분할 공간으로 외부 동치를 확장할 수 있는가?
• RQ2 분할 공간의 순서 집합에 대한 오름차순 조건을 제거할 경우 외부 동치는 여전히 유효한가?
• RQ3 외부 동치 대응을 안정적 또는 컴팩트하게 생성된 $\infty$-카테고리의 계수로 일반화할 수 있는가?
• RQ4 모든 분할 공간의 사상에 대해 유효한 외부 동치의 기능적 공식화가 존재하는가?
• RQ5 초구성 가능 초층의 유도 모듈리 스택을 구성할 수 있으며, 이는 자연스러운 코homological Hall 대수의 구조를 가질 수 있는가?

주요 결과

• 특이 형태 조건 없이 국소적으로 약한 수축 가능성을 가진 분할 공간으로 외부 동치가 확장되었으며, 이는 특이 형태 조건을 대체한다.
• 분할 공간의 순서 집합 $P$에 대한 노에테리안성 또는 오름차순 조건의 가정 없이도 외부 동치가 유효하다.
• 외부 동치 대응의 계수가 모든 안정적 또는 컴팩트하게 생성된 $\infty$-카테고리로 일반화되었다.
• 외부 동치의 역함수에 대한 명시적 공식이 제공되어, 그 기능적 성격이 강화되었다.
• 초구성 가능 초층의 유도 모듈리 스택이 구성되었으며, 모든 펄서비티 함수가 펄서비티 초층의 열린 부분스택을 유도한다.
• 펄서비티 초층의 모듈리 스택 위에 새로운 코homological Hall 대수가 정의되었으며, 이는 Schiffmann-Vasserot 및 Davison-Mistry의 이전 구성들을 일반화한다.