[논문 리뷰] Extreme cycles. The center of a Leavitt path algebra

María Guadalupe Corrales García, Dolores Martı́n Barquero외 3명|arXiv (Cornell University)|2013. 07. 19.

Advanced Operator Algebra Research참고 문헌 17인용 수 3

한 줄 요약

이 논문은 Leavitt 경로 대수에서 극단적 순환(모든 경로가 순환으로 되돌아오는 출구를 가진 순환)을 새로운 구조적 구성요소로 도입한다. 행렬 유한한 Leavitt 경로 대수의 중심은 선형 점, 극단적 순환, 출구가 없는 순환의 동치류에 기반하여 $K$, $K[x,x^{-1}]$, 및 $K$의 직접 합과 동형임을 규명하여 중심을 그래프 이론적 불변량을 통해 완전히 기술한다.

ABSTRACT

In this paper we introduce new techniques in order to deepen into the structure of a Leavitt path algebra with the aim of giving a description of the center. Extreme cycles appear for the first time; they concentrate the purely infinite part of a Leavitt path algebra and, jointly with the line points and vertices in cycles without exits, are the key ingredients in order to determine the center of a Leavitt path algebra. Our work will rely on our previous approach to the center of a prime Leavitt path algebra \cite{CMMSS1}. We will go further into the structure itself of the Leavitt path algebra. For example, the ideal $I(P_{ec} \cup P_{c} \cup P_l)$ generated by vertices in extreme cycles ($P_{ec}$), by vertices in cycles without exits ($P_c$) and by line points ($P_l$) will be a dense ideal in some cases, for instance in the finite one or, more generally, if every vertex connects to $P_l \cup P_c\cup P_{ec}$. Hence its structure will contain much of the information about the Leavitt path algebra. In the row-finite case, we will need to add a new hereditary set: the set of vertices whose tree has infinite bifurcations ($P_{b^\infty}$).

연구 동기 및 목표

• Leavitt 경로 대수에서 새로운 구조적 구성요소로 극단적 순환을 식별하고 정의하는 것.
• 그래프 이론적 불변량을 사용하여 행렬 유한한 Leavitt 경로 대수의 중심을 규명하는 것.
• 순수하게 무한한 구성요소를 통합함으로써 이전의 소수 Leavitt 경로 대수 중심에 관한 결과를 확장하는 것.

제안 방법

• 극단적 순환의 개념 도입: 출구를 가진 순환 중에서, 순환에서 시작하는 모든 경로가 다시 그 순환으로 되돌아오는 것.
• 선형 점, 출구가 없는 순환, 극단적 순환, 무한 분기점을 가진 정점에 대해 비어 있지 않은 집합 $P_{l}$, $P_{c}$, $P_{ec}$, $P_{b^{lat}}$ 정의.
• 이deals $I(P_{l} \bigcup P_{c} \bigcup P_{ec} \bigcup P_{b^{lat}})$를 사용하여 대수를 조밀한 구성요소로 분해.
• Leavitt 경로 대수의 이상에 대한 구조 정리를 적용하고, $H_f$ 및 $H_\flat$ 가 동치류에 의해 정의된 $L_K(E) = I(H_f) \bigoplus I(H_\infty)$ 분해를 사용.
• 이so모피즘을 통해 중심을 특성화: $Z(L_K(E)) \cong K^{|X_f^l|} \oplus K^{|X_f^{ec}|} \oplus K[x,x^{-1}]^{|X_f^c|}$, 여기서 $X_f^l$, $X_f^{ec}$, $X_f^c$ 는 유한한 동치류이다.
• 기저 정리와 호환성 원리(Involution)를 사용하여 중심의 각 구성요소가 $K$ 또는 $K[x,x^{-1}]$ 와 동형인 $K$-대수임을 증명.

실험 결과

연구 질문

• RQ1 극단적 순환은 Leavitt 경로 대수의 구조, 특히 중심과 관련하여 어떻게 기여하는가?
• RQ2 행렬 유한한 Leavitt 경로 대수의 중심은 그래프 불변량을 기반으로 어떻게 정확히 기술되는가?
• RQ3 선형 점, 출구가 없는 순환, 극단적 순환의 집합이 중심을 어떻게 공동으로 결정하는가?
• RQ4 $P_{l} \cup P_{c} \cup P_{ec}$ 에 의해 생성된 이상이 Leavitt 경로 대수에서 조밀한가? 조건은 무엇인가?
• RQ5 무한 분기점을 가진 정점의 집합($P_{b^{lat}}$)은 대수의 분해에서 어떤 역할을 하는가?

주요 결과

• 행렬 유한한 Leavitt 경로 대수의 중심은 $K^{|X_f^l|} \oplus K^{|X_f^{ec}|} \oplus K[x,x^{-1}]^{|X_f^c|}$ 와 동형이며, 여기서 $X_f^l$, $X_f^{ec}$, $X_f^c$ 는 각각 선형 점, 극단적 순환, 출구가 없는 순환의 유한한 동치류이다.
• 모든 정점이 이 세 집합 중 하나에 연결되어 있을 경우, 이상 $I(P_{l} \cup P_{c} \cup P_{ec})$ 는 Leavitt 경로 대수에서 조밀하다. 이는 유한한 그래프에서 성립한다.
• 행렬 유한한 그래프에서는 대수 분해가 $L_K(E) = I(H_f) \oplus I(H_\infty)$ 로 이루어지며, 여기서 $H_f$ 는 유한한 동치류의 폐쇄의 서로소 합집합이고, $H_\infty$ 는 $P_{b^{lat}}$ 를 포함한다.
• 중심의 각 구성요소 $Z(I(\overline{[v]}))$ 는 $v$ 가 선형 점 또는 극단적 순환에 속해 있으면 $K$ 와 동형이며, $v$ 가 출구가 없는 순환에 속해 있으면 $K[x,x^{-1}]$ 와 동형이다.
• 유한한 Leavitt 경로 대수의 확장 중심은 유한한 동치류의 수에 따라 $K$ 와 $K[x,x^{-1}]$ 의 직접 합으로 계산된다.
• 중심은 $P_l \cup P_{ec} \cup P_c$ 내의 정점의 유한한 동치류에 의해 완전히 결정되며, 중심에 대해 무한 분기점은 기여하지 않는다.