[논문 리뷰] Infinitesimal and $B\_\infty$-algebras, finite spaces, and quasi-symmetric functions

Loïc Foissy, Claudia Malvenuto외 1명|arXiv (Cornell University)|2014. 03. 28.

Advanced Combinatorial Mathematics참고 문헌 20인용 수 4

한 줄 요약

이 논문은 유한 위상공간의 선형 스칼라가 $B_{u}$-대수를 이룬다는 것을 증명하고, 조합적 호프 대수 기법을 통해 쿼asi-대칭 함수의 대수로의 전사 호프 대수 준동형사상을 구성한다. 이로써, 유한 공간과 무한소 대수의 관계를 규명하고, 연관 대수에서의 강성 구조를 기술하기 위해 슈어-웨일 카테고리들을 도입하며, 국소적 위상적 불변량들 뒤에 숨은 전반적인 대수적 구조를 드러낸다.

ABSTRACT

Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be put on recent topological and combinatorial Hopf algebra techniques. We will show that the linear span of finite spaces carries generalized Hopf algebraic structures that are closely connected with familiar constructions and structures in topology (such as the one of cogroups in the category of associative algebras that has appeared e.g. in the study of loop spaces of suspensions). The most striking results that we obtain are certainly that the linear span of finite spaces carries the structure of the enveloping algebra of a $B\_\infty$--algebra, and that there are natural (Hopf algebraic) morphisms between finite spaces and quasi-symmetric functions. In the process, we introduce the notion of Schur-Weyl categories in order to describe rigidity theorems for cogroups in the category of associative algebras and related structures, as well as to account for the existence of natural operations (graded permutations) on them.

연구 동기 및 목표

• 현대적인 조합적 및 호프 대수적 도구를 사용하여 유한 위상공간을 연구하기 위해.
• 유한 공간의 선형 스칼라 위에 전반적인 대수적 구조—특히 $B_{\backslash \text{infty}}$-대수 및 무한소 대수의 구조—를 드러내기 위해.
• 유한 공간의 선형 스칼라에서 쿼اسي-대칭 함수의 대수로 자연스러운 호프 대수 준동형사상을 수립하기 위해.
• 연관 대수의 코커뮤터티브 코군과 관련된 대수에 대해 강성 정리를 형식화하기 위해 슈어-웨일 카테고리를 도입하기 위해.
• 국소적 구성(예: 컵 곱)과 유한 공간의 선형 스칼라 위의 전반적 대수적 연산 간의 상호작용을 명확히 하기 위해.

제안 방법

• 유한 위상공간과 유한 집합 위의 전순서 간의 일대일 대응을 활용하여 공간을 대수적으로 모델링한다.
• 열린 부분집합의 추출을 통한 코곱 정의를 통해 유한 공간의 선형 스칼라 위에 무한소 대수의 구조를 형성한다.
• 쿼اسي-대칭 함수 위의 $\succ_q$-곱을 정의하고, 유한 공간의 선형 스칼라에서 $\mathbf{QSym}$로의 준동형사상 $\phi_q$를 구성한다.
• 표준적 선형 순서 $Lin_{\text{Std}}(\mathcal{T})$를 사용하여 위상적 자료를 인코딩하고, 레이블링에 대한 가중합을 통해 준동형사상 $\phi_q$를 정의한다.
• 코커뮤터티브 코군의 연관 대수의 카테고리에서 강성 구조를 묘사하기 위해 슈어-웨일 카테고리의 개념을 적용한다.
• $F_<$ 및 $F_=$ 사상들을 사용하여 레이블링 위의 연산을 정의하고, 이들이 $\succ_q$-곱의 구조를 유지하고 반영하도록 한다.

실험 결과

연구 질문

• RQ1 유한 위상공간의 선형 스칼라에 $B_{\infty}$-대수의 구조를 어떻게 부여할 수 있는가?
• RQ2 유한 공간의 선형 스칼라에서 쿼اسي-대칭 함수의 대수로의 호프 대수 준동형사상의 성격은 무엇인가?
• RQ3 유한 공간 위의 전반적 대수적 연산은 컵 곱과 같은 국소적 위상적 불변량과 어떻게 관련이 있는가?
• RQ4 슈어-웨일 카테고리의 역할은 연관 대수에서 코군의 구조에 대한 강성의 특성화에 있어 무엇인가?
• RQ5 어떤 조건에서 두 유한 공간이 동일한 이미지를 $\phi_q$에 대해 유도하는가?

주요 결과

• 유한 공간의 선형 스칼라 $\mathcal{F}$ 는 정리 19에 의해 $B_{\infty}$-대수의 환의 포함 대수의 구조를 지닌다.
• 정리 21에 의해, 전사적이며 구조를 유지하는 호프 대수 준동형사상 $\phi_q: \mathcal{F} \to \mathbf{QSym}$ 가 존재한다.
• 준동형사상 $\phi_q$ 는 $\succ_q$-곱을 존중하며, $\phi_q(\overline{\mathcal{T}}_1 \succ \overline{\mathcal{T}}_2) = \phi_q(\overline{\mathcal{T}}_1) \succ_q \phi_q(\overline{\mathcal{T}}_2)$ 를 만족함으로써 대수적 연산과의 호환성을 확인한다.
• 특성 $\zeta_q = \zeta_{\mathbf{QSym}} \circ \phi_q$ 는 $q^{\alpha((n))} = q^{\text{number of pairs } (i,j) \text{ with } i <_{\mathcal{T}} j}$ 로 평가되며, 이는 위상적 자료와 $q$-변형 간의 연결 고리를 형성한다.
• $\phi_q$ 는 단사가 아니며, 서로 다른 유한 공간 $\overline{\mathcal{T}}$ 와 $\overline{\mathcal{T}}'$ 가 $\mathbf{QSym}$ 에서 동일한 원소로 사상될 수 있다. 이는 204개의 항을 포함하는 반례로 보여진다.
• 동일한 집합 위의 두 위상 $\mathcal{T}$ 와 $\mathcal{T}'$ 는 $Lin(\mathcal{T}) = Lin(\mathcal{T}')$ 인 것과 동치이며, 이는 위상적 동형사상에 대한 조합적 기준을 제공한다.