[논문 리뷰] The representation theory of finite sets and correspondences

Serge Bouc, Jacques Thévenaz|arXiv (Cornell University)|2015. 10. 11.

Algebraic structures and combinatorial models참고 문헌 1인용 수 6

한 줄 요약

이 논문은 유한 집합과 대응관계에서 유한 집합과 대응관계에서 k-모듈로 가는 함수자에 대한 표현 이론을 개발한다. k가 체일 때, 함수자가 유한 생성임과 그 평가의 크기가 집합 크기에 따라 지수적으로 증가함이 동치임을 증명하고, 이러한 함수자가 유한 길이를 가짐을 보이며, 분배 격자를 통한 프로젝티브성의 특성화와 격자 구성에 의한 단순 함수자의 분류를 수행한다.

ABSTRACT

We investigate correspondence functors, namely the functors from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring.They have various specific properties which do not hold for other types of functors.In particular, if $k$ is a field and if $F$ is a correspondence functor, then $F$ is finitely generated if and only if the dimension of $F(X)$ grows exponentially in terms of the cardinality of the finite set $X$. In such a case, $F$ has finite length. Also, if $k$ is noetherian, then any subfunctor of a finitely generated functor is finitely generated. When $k$ is a field, we give a description of all the simple functors and we determine the dimension of their evaluations at any finite set.A main tool is the construction of a functor associated to any finite lattice $T$. We prove for instance that this functor is projective if and only if the lattice $T$ is distributive. Moreover, it has quotients which play a crucial role in the analysis of simple functors. The special case of total orders yields some more specific results. Several other properties are also discussed, such as projectivity, duality, and symmetry.In an appendix, all the lattices associated to a given poset are described.

연구 동기 및 목표

• 유한 집합과 대응관계의 범주에서 정의된 함수자에 대한 종합적인 표현 이론을 개발하기 위해.
• 체 위에서의 유한 생성 대응관계 함수자의 특성화를 평가의 지수적 성장에 의해 수행하기 위해.
• 모든 단순 함수자를 분류하고, 임의의 유한 집합에서의 차원을 결정하기 위해.
• 격이론적 기준을 사용하여 이러한 함수자가 프로젝티브가 되는 조건을 설정하기 위해.
• 노에터 링 위에서의 구조적 성질, 예를 들어 쌍대성, 대칭성, 부분함수자 유한성 등을 탐구하기 위해.

제안 방법

• 모든 유한 격자 T에 대해 관련된 함수자를 구성하여, 대응관계 함수자의 구조 분석에 핵심 도구로 사용하기 위해.
• 구성된 함수자가 프로젝티브임과 동시에 격자 T가 분배 격자임이 동치임을 증명하기 위해.
• 격자에 관련된 함수자의 몫 함수자를 사용하여 단순 함수자를 분석하고 분류하기 위해.
• 전순서의 특수 케이스를 분석하여 더 구체적인 구조적 결과를 도출하기 위해.
• 쌍대성과 대칭 원리를 적용하여 대응관계 함수자의 구조적 불변량을 이해하기 위해.
• 부록에서 주어진 부분순서 집합에 관련된 모든 격자를 기술하여 분류에 기초가 되는 도구를 제공하기 위해.

실험 결과

연구 질문

• RQ1 체 k 위에서 대응관계 함수자가 유한 생성이 되기 위한 조건은 무엇인가?
• RQ2 F(X)의 성장률이 |X|에 대해 어떻게 F의 유한 생성성과 유한 길이와 관련이 있는가?
• RQ3 유한 격자 T에 관련된 함수자가 언제 프로젝티브가 되는가?
• RQ4 단순 대응관계 함수자의 완전한 분류는 무엇이며, 각 유한 집합에서의 차원은 무엇인가?
• RQ5 특히 k가 노에터 링일 때, 유한 생성 함수자의 부분함수자가 유한 생성임이 보장되는 조건은 무엇인가?

주요 결과

• 체 k 위에서, 대응관계 함수자 F는 유한 생성이 되는 것과 동시에 dim_k F(X)가 |X|에 대해 지수적으로 증가함이 동치이다.
• k가 체이고 F가 유한 생성일 때, F는 k-모듈 값 함수자로서 유한 길이를 가진다.
• 유한 격자 T에 관련된 함수자가 프로젝티브임과 동시에 T가 분배 격자임이 동치이다.
• 단순 함수자는 격자에 관련된 함수자의 몫을 통해 완전히 분류되며, 임의의 유한 집합에서의 평가는 명시적으로 결정된 차원을 가진다.
• k가 노에터 링일 때, 유한 생성 대응관계 함수자의 모든 부분함수자는 스스로 유한 생성이다.
• 부록은 주어진 부분순서 집합에 관련된 모든 격자를 완전히 기술하여 함수자의 분류를 뒷받침한다.