[논문 리뷰] Sandwich semigroups in diagram categories

Ivana Đurđev, Igor Dolinka외 1명|arXiv (Cornell University)|2019. 10. 23.

Geometric and Algebraic Topology참고 문헌 51인용 수 5

한 줄 요약

이 논문은 브라우어, 템퍼리-라이브, 모츠킨 분류와 같은 다이어그램 분류에서 고정된 준동형 사상 σ를 통해 형성되는 샌드위치 반군을 조사한다. 이는 이항 연산 α ⋆σ β = ασβ를 정의하며, 그 구조적 성질에 대한 종합적인 분석을 제공한다. 특히 그린의 관계, 정규성, 아이디얼 구조, 생성집합에 대해 다루며, 핵심 결과로는 브라우어 분류에서 샌드위치 반군의 동형류가 완전히 분류되고, 아이디얼 및 정규 반군의 랭크와 아이디포텐트 랭크에 대한 명시적 공식이 제시된다.

ABSTRACT

This paper concerns a number of diagram categories, namely the partition, planar partition, Brauer, partial Brauer, Motzkin and Temperley-Lieb categories. If $\mathcal K$ denotes any of these categories, and if $σ\in\mathcal K_{nm}$ is a fixed morphism, then an associative operation $\star_σ$ may be defined on $\mathcal K_{mn}$ by $α\star_σβ=ασβ$. The resulting semigroup $\mathcal K_{mn}^σ=(\mathcal K_{mn},\star_σ)$ is called a sandwich semigroup. We conduct a thorough investigation of these sandwich semigroups, with an emphasis on structural and combinatorial properties such as Green's relations and preorders, regularity, stability, mid-identities, ideal structure, (products of) idempotents, and minimal generation. It turns out that the Brauer category has many remarkable properties not shared by any of the other diagram categories we study. Because of these unique properties, we may completely classify isomorphism classes of sandwich semigroups in the Brauer category, calculate the rank (smallest size of a generating set) of an arbitrary sandwich semigroup, enumerate Green's classes and idempotents, and calculate ranks (and idempotent ranks, where appropriate) of the regular subsemigroup and its ideals, as well as the idempotent-generated subsemigroup. Several illustrative examples are considered throughout, partly to demonstrate the sometimes-subtle differences between the various diagram categories.

연구 동기 및 목표

• 분할, 브라우어, 템퍼리-라이브 분류와 같은 다이어그램 분류에서 샌드위치 반군의 구조적 및 조합적 성질을 체계적으로 분석하는 것.
• 샌드위처 반군의 맥락에서 다른 다이어그램 분류와 구별되는 브라우어 분류의 고유한 성질을 식별하고 특성화하는 것.
• 브라우어 분류에서 정규 반군과 그 아이디얼의 랭크 및 아이디포텐트 랭크를 계산하는 것.
• 브라우어 분류에서 샌드위처 반군의 동형류를 분류하는 것.
• 특히 아이디포텐트 생성과 아이디얼 구조를 통해 샌드위처 반군과 고전적 다이어그램 모노이드 간의 관계를 탐색하는 것.

제안 방법

• 고정된 사상 σ ∈ Knm 를 사용하여 hom-세트 Kmn 에서 샌드위처 연산 α ⋆σ β = ασβ 를 정의하고, 샌드위처 반군 Kσ_mn 를 구성하는 것.
• 그린의 관계와 전순서를 적용하여 Kσ_mn 의 구조를 분석하며, 특히 정규성, J-클래스, R-클래스에 중점을 두는 것.
• 안정성과 중간 항등원 조건을 활용하여 아이디얼과 부분반군의 랭크에 대한 상한을 유도하는 것.
• 완전히 0-단순 반군과 직사각형 밴드에서의 생성집합에 관한 기존 결과를 활용하여 최소 생성집합을 계산하는 것.
• 이중 계승계수와 이항계수와 같은 조합적 도구를 사용하여 아이디포텐트를 세고 랭크를 계산하는 것.
• MI-지배 성질과 리스 유형 정리들을 적용하여 Kσ_mn 의 아이디얼의 구조를 기본 다이어그램 모노이드의 아이디얼과 연결하는 것.

실험 결과

연구 질문

• RQ1 브라우어 분류에서 샌드위처 반군의 동형류는 무엇인가요?
• RQ2 브라우어 분류에서 임의의 샌드위처 반군의 랭크는 얼마인가요?
• RQ3 브라우어 분류에서 정규 반군과 그 아이디얼은 어떻게 구성되며, 그들의 랭크는 무엇인가요?
• RQ4 브라우어 분류에서 정규 반군과 그 아이디얼의 아이디포텐트 랭크는 무엇인가요?
• RQ5 브라우어 분류에서 샌드위처 반군의 아이디얼 구조는 다른 다이어그램 분류와 비교하여 어떻게 다릅니까?

주요 결과

• 브라우어 분류에서 샌드위처 반군의 동형류는 완전히 분류되었으며, 동형성은 고정된 사상 σ의 랭크에 의해 결정된다.
• 브라우어 분류에서 샌드위처 반군 Bσ_mn 의 랭크는 공식 (r choose q)(r−q−1)!!(m+q−1)!! / (r+q−1)!! 로 주어지며, 여기서 q 는 σ 의 랭크이다.
• 정규 반군 Reg(Bσ_mn) 과 그 아이디얼의 아이디포텐트 랭크는 랭크와 동일하며, 이는 정규 반군이 아이디포텐트로 생성되며 최소 생성집합이 아이디포텐트로 이루어져 있음을 나타낸다.
• 정규 반군의 아이디얼 Iq 는 그 위의 Dσ-클래스 Dσ_q 로 생성되며, 그 랭크와 아이디포텐트 랭크는 모두 (r choose q)(r−q−1)!!(m+q−1)!! / (r+q−1)!! 와 같다.
• Bσ_mn 의 정규 반군의 구조는 직사각형 밴드 위의 리스 행렬 반군과 동형임을 보여주며, 그린의 클래스와 아이디포텐트의 정확한 수를 세는 데에 유리하다.
• 논문은 브라우어 분류가 다른 다이어그램 분류와 공유하지 않는 고유한 구조적 성질을 지닌다고 규명하였으며, 특히 MI-지배성과 안정된 아이디얼 덕분에 정확한 랭크 계산이 가능하다.