[논문 리뷰] Noetherianity and rooted trees

Daniel Barter|arXiv (Cornell University)|2015. 09. 14.

Commutative Algebra and Its Applications참고 문헌 2인용 수 6

한 줄 요약

이 논문은 Sam과 Snowden의 일반화된 그레브너 이론 기법과 상대적 크루스칼의 나무 정리의 한 형태를 사용하여, 순서를 유지하는 루트 임bedding에 대한 루트가 있는 나무의 범주에서 유한 생성 표현이 노이터리안임을 확립한다. 주요 기여는 이 범주에 대해 노이터리안성의 증명이며, 이는 무한한 객체를 가진 조합적 범주로 표현 이론을 확장한다.

ABSTRACT

Let T be the category whose objects are rooted trees and morphisms are order embeddings preserving the root. We prove that finitely generated representations of T are Noetherian using techniques developed by Sam and Snowden which generalize classical Grobner theory. The proof uses a relative version of Kruskals tree Theorem.

연구 동기 및 목표

• 루트가 있는 나무의 범주에서 유한 생성 표현의 노이터리안성을 확립하기 위해.
• 샘과 스노우의 일반화된 그레브너 이론을 루트가 있는 나무와 같은 조합적 범주로 확장하기 위해.
• 이 맥락에서 노이터리안성을 증명하기에 적합한 크루스칼의 나무 정리의 상대적 형태를 개발하기 위해.
• 무한한 조합적 범주에서 표현 이론의 기초 결과를 제공하기 위해.

제안 방법

• 루트가 있는 나무를 객체로, 루트를 유지하는 순서 보존 임베딩을 사상으로 하는 범주 T를 정의한다.
• 샘과 스노우의 텐서 범주에서의 노이터리안성 프레임워크를 루트가 있는 나무의 맥락에 적응시킨다.
• 부분표현의 성장을 통제하기 위해 크루스칼의 나무 정리의 상대적 형태를 도입한다.
• 나무의 잘 순서가 있는 순서 성질을 이용하여 부분표현의 오름 방향 체인을 제한한다.
• 상대적 크루스칼 정리를 적용하여 모든 부분표현이 유한 생성임을 보인다.
• 루트가 있는 나무의 조합적 구조를 활용하여 범주 작용 하에서의 유한 생성성을 보장한다.

실험 결과

연구 질문

• RQ1 루트를 유지하는 임베딩 하에서 루트가 있는 나무의 범주는 표현 이론에서 노이터리안성 결과에 적합한가?
• RQ2 이러한 범주에서 부분표현의 성장을 통제하기 위해 크루스칼의 나무 정리의 상대적 형태를 사용할 수 있는가?
• RQ3 일반화된 그레브너 이론은 루트가 있는 나무와 같이 무한한 객체를 가진 조합적 범주에 적용 가능한가?
• RQ4 이 범주에서 유한 생성 표현이 부분표현의 오름 방향 체인 조건을 만족하는가?
• RQ5 루트가 있는 나무의 어떤 구조적 성질이 그 표현 이론에서 노이터리안성을 가능하게 하는가?

주요 결과

• 루트가 있는 나무의 범주에서 유한 생성 표현은 노이터리안이다.
• 증명은 범주 T에 특화된 상대적 크루스칼의 나무 정리의 형태에 의존한다.
• 범주 T는 임베딩 관계 하에서 잘 순서가 있는 순서를 갖는다. 이는 부분표현 체인의 제어를 가능하게 한다.
• 샘과 스노우의 일반화된 그레브너 이론 기법의 적용은 이 조합적 맥락으로까지 확장된다.
• 유한 생성 T-모듈의 부분표현에 대해 오름 방향 체인 조건이 성립한다.
• 이 결과는 표현 이론에서 새로운 종류의 조합적 범주에 대한 기초적인 노이터리안성 성질을 확립한다.