[논문 리뷰] Nonnoetherian geometry and toric superpotential algebras

Charlie Beil|arXiv (Cornell University)|2011. 09. 21.

Algebraic structures and combinatorial models인용 수 2

한 줄 요약

이 논문은 유한 크룰 차원을 가진 비노테리안 교환 대수에 대한 새로운 기하적 프레임워크를 제안하며, '표현'(특수한 노테리안 상위환)과 '기하적 코디멘션'과 같은 새로운 개념을 정의하여 국소적이지 않은 대수기하학을 가능하게 한다. 이는 화살표 대수에서 중심이 노테리안이면서 중심을 기준으로 유한 생성일 때에만 노테리안임을 보여주며, 중심은 화살표 사이클에 의해 생성된 교환 대수에 의해 표현됨을 보여준다.

ABSTRACT

We introduce a theory of geometry for nonnoetherian commutative algebras with finite Krull dimension. In particular, we establish new notions of normalization and height: depiction (a special noetherian overring) and geometric codimension. The resulting geometries are algebraic varieties with positive dimensional points, and are thus inherently nonlocal. These notions also give rise to new equivalent characterizations of noetherianity that are primarily geometric. We then consider an application to quiver algebras whose simple modules of maximal dimension are one dimensional at each vertex. We show that the vertex corner rings of $A$ are all isomorphic if and only if $A$ is noetherian, if and only if the center $Z$ of $A$ is noetherian, if and only if $A$ is a finitely generated $Z$-module. Furthermore, we show that $Z$ is depicted by a commutative algebra generated by the cycles in its quiver. We conclude with an example of a quiver algebra where projective dimension and geometric codimension, rather than height, coincide.

연구 동기 및 목표

• 유한 크룰 차원을 가진 비노테리안 교환 대수를 위한 기하학적 이론을 개발한다.
• 기하학적으로 구조적 성질을 캡처하는 새로운 대수적 불변량인 '표현'과 '기하적 코디멘션'을 정의한다.
• 순수하게 대수적인 조건이 아닌 기하학적 조건을 통해 노테리안성을 특성화한다.
• 정점에서 단일 차원 단순 모듈을 가지는 화살표 대수에 이 프레임워크를 적용한다.
• 해당 화살표 대수의 중심이 노테리안임은 대수 자체가 노테리안이면서 중심을 기준으로 유한 생성일 때에만 성립함을 보여준다.

제안 방법

• 비노테리안 대수에 대한 정규화 역할을 하는 특수한 노테리안 상위환으로서 '표현'을 도입한다.
• 비노테리안 환의 맥락에서 고전적 높이의 대체로 '기하적 코디멘션'을 정의한다.
• 정점의 코너환과 그 이sovomorphism 유형을 분석함으로써 화살표의 구조를 이용해 노테리안성을 판단하는 기준을 설정한다.
• 화살표 대수의 중심을 표현하기 위해 화살표 사이클에 의해 생성된 교환 대수를 구성한다.
• 대수의 노테리안성, 중심의 노테리안성, 중심을 기준으로 한 유한 생성성 간의 동치 관계를 확립한다.
• 특정 예시에서 기하적 코디멘션이 프로젝티브 차원과 일치함을 보여주며, 고전적 높이의 대체로 기능함을 입증한다.

실험 결과

연구 질문

• RQ1 유한 크룰 차원을 가진 비노테리안 교환 대수에 대해 어떤 기하학적 프레임워크를 개발할 수 있는가?
• RQ2 비노테리안 환의 맥락에서 고전적 개념인 높이의 대체로 작용할 수 있는 새로운 불변량—예를 들어 표현과 기하적 코디멘션—는 무엇인가?
• RQ3 화살표 대수가 노테리안이 되는 조건은 무엇이며, 이는 중심과 중심을 기준으로 한 유한 생성성과 어떻게 관련되는가?
• RQ4 화살표 대수의 중심은 화살표 사이클에 의해 생성된 교환 대수에 의해 표현될 수 있는가?
• RQ5 기하적 코디멘션과 프로젝티브 차원이 일치하는 경우는 언제이며, 이는 비노테리안 기하학에 어떤 함의를 갖는가?

주요 결과

• 화살표 대수가 노테리안이 되는 것은 정점의 코너환이 모두 동형일 때에만 성립한다.
• 화살표 대수의 중심이 노테리안이 되는 것은 대수가 노테리안일 때에만 성립한다.
• 대수가 중심을 기준으로 유한 생성일 때에만 노테리안이 된다.
• 중심은 화살표의 사이클에 의해 생성된 교환 대수에 의해 표현되며, 이는 중심의 구조에 대한 기하학적 실현을 제공한다.
• 특정 예시에서 기하적 코디멘션은 프로젝티브 차원과 일치하며, 이는 비고전적 기하 불변량이 실제로 작동하고 있음을 보여준다.