[논문 리뷰] Quiver presentations for band algebras are defined over the integers

Benjamin Steinberg|arXiv (Cornell University)|2026. 01. 10.

Algebraic structures and combinatorial models인용 수 0

한 줄 요약

논문은 연결 밴드 B의 정수 계수 반군 대수(ZB)가 쿼이어의 정수 계수 경로 대수(ZQ(B))의 I로 몫으로 동형임을 보이고, 이를 통해 모든 체 위의 밴드 대수에 대해 체에 의존하지 않는 경계 쿼이어 표현을 제공하며 이를 CW 왼쪽 규칙 밴드까지 확장한다.

ABSTRACT

A band is a semigroup in which each element is idempotent. In recent years, there has been a lot of activity on the representation theory of the subclass of left regular bands due to connections to Markov chains associated to hyperplane arrangements, oriented matroids, matroids and CAT(0) cube complexes. We prove here that the integral semigroup algebra of a band is isomorphic to the integral path algebra of a quiver modulo an admissible ideal. This leads to a uniform bound quiver presentation for band algebras over all fields. Also, we answer a question of Margolis, Saliola and Steinberg by proving that the integral semigroup algebra of a CW left regular band is isomorphic to the quotient of the integral path algebra of the Hasse diagram of its support semilattice modulo the ideal generated by the sum of all paths of length two. This includes, for example, hyperplane face semigroup algebras.

연구 동기 및 목표

• Markov 체, hyperplane 배치, oriented matroids, matroids, 및 CAT(0) 큐브 복합체와의 연결을 통해 밴드 대수를 연구하는 동기를 부여한다.
• 연결 밴드 B의 정수 계수 반군 대수 ZB가 명시적으로 정의된 쿼이어 Q(B)와 허용 가능한 아이덴티(I)로 ZQ(B)/I로 동형임을 확립한다.
• 어떤 체 k에 대해서도 kB ≅ kQ(B)/(k⊗I)임을 보여 대수 표현 이론이 기본 체에 독립적임을 보인다.
• CW 왼쪽 규칙 밴드에서의 경계 쿼이어 표현이 정수로도 성립하는지에 대한 긍정적 답을 제공한다.

제안 방법

• 지원 부분 격 Λ(B)와 σ: B → Λ(B)를 정의하고 분석한다.
• 쿼이어 Q(B)를 Λ(B)의 정점 집합과 특정 Green-graph 기반 구성 Γ𝓡 및 Γℒ의 연결 구성에 의해 결정되는 간선으로 구성한다.
• ker(σ)가 nilpotent임과 ZB가 완전 직교 아이덴덱 형태로 분해되어 Schützenberger 표현으로 귀속됨을 보인다.
• ZB ≅ ZQ(B)/I를 적합한 아이덱 I로써 얻을 수 있음을 J/J²의 생성자들을 조사하고 토르군(Tor groups) 등의 동형성 도구를 이용해 보인다.
• 기저변환 argument를 사용하여 Z에서 임의의 환 k로 결과를 확장하고 k⊗I의 허용성과 kB ≅ kQ(B)/(k⊗I)을 보장한다.
• Γ𝓡(Y,X) 및 Γℒ(X,Y)의 연결 구성요소 및 J/J²의 기저를 이용해 화살표를 결정하고 쿼이어의 구조를 기술한다.

실험 결과

연구 질문

• RQ1 밴드의 정수 계수 반군 대수를 정수 위의 경계 경로 대수로 제시할 수 있는가?
• RQ2 밴드 대수에 대한 쿼이어 표현의 체 독립성이 CW 왼쪽 규칙 밴드 및 더 일반적으로 CW 밴드로 확장될 수 있는가?
• RQ3 연결 밴드 B에 대한 명시적 쿼이어 Q(B)는 무엇이며, 그 경계 아이덴티티 I가 B의 구조와 어떻게 관련되는가?
• RQ4 정수 표현이 kB ≅ kQ(B)/(k⊗I) 형태로 모든 체 k에 대해 일관된 경계 쿼이어 표현을 제공하는가?

주요 결과

• 연결 밴드 B에 대해 명시적으로 정의된 쿼이어 Q(B)가 존재하며 ZB ≅ ZQ(B)/I이고 I는 적합한 아이덴티이다.
• 임의의 체 k에 대해 기저변환 k⊗I가 적합하며 kB ≅ kQ(B)/(k⊗I)로 체에 의존하지 않는 쿼이어 표현을 제공한다.
• 쿼이어 표현은 CW 왼쪽 규칙 밴드까지 확장되어 이보다 넓은 클래스에서도 정수 표현이 성립한다는 긍정적인 답을 준다.
• ZB의 쿼이어 표현은 체에 상관없이 균일하므로 밴드의 표현 이론이 기본 체에 의존하지 않는다.
• 논문은 Λ(B)와 그래프 Γ𝓡, Γℒ를 사용하여 Q(B)를 구체적으로 구성하고 J/J²의 기저를 식별하여 화살표를 결정하는 구체적 구성을 제공한다.
• table_headers:[],
• table_rows:[]