[논문 리뷰] Commutative $ν$-algebra and supertropical algebraic geometry

Zur Izhakian|arXiv (Cornell University)|2019. 01. 23.

Advanced Topics in Algebra참고 문헌 48인용 수 5

한 줄 요약

이 논문은 $\nu$-대수를 사용하여 초스퍼트로픽 대수기하학의 기초 프레임워크를 수립한다. $\nu$-세미환에서의 $\sharp q$-동치관계를 도입하여 몫, 국소화, 그리고 $\sharp g$-소, $\sharp g$-근기, 극대 동치관계의 정의를 가능하게 한다. 핵심 기여는 $\sharp g$-소 동치관계의 스펙트럼 위에 고르고렌지 스타일의 스킴 이론을 구축하여 동치관계와 다양체 사이의 직접적인 대응을 가능하게 하며, 다면체 기하학에의 적용을 가능하게 한다.

ABSTRACT

This paper lays out a foundation for a theory of supertropical algebraic geometry, relying on commutative $ν$-algebra. To this end, the paper introduces $\mathfrak{q}$-congruences, carried over $ν$-semirings, whose distinguished ghost and tangible clusters allow both quotienting and localization. Utilizing these clusters, $\mathfrak{g}$-prime, $\mathfrak{g}$-radical, and maximal $\mathfrak{q}$-congruences are naturally defined, satisfying the classical relations among analogous ideals. Thus, a foundation of systematic theory of commutative $ν$-algebra is laid. In this framework, the underlying spaces for a theoretic construction of schemes are spectra of $\mathfrak{g}$-prime congruences, over which the correspondences between $\mathfrak{q}$-congruences and varieties emerge directly. Thereby, scheme theory within supertropical algebraic geometry follows the Grothendieck approach, and is applicable to polyhedral geometry.

연구 동기 및 목표

• 초스퍼트로픽 대수기하학의 기초로 삼을 수 있는 교환 $\nu$-대수의 체계적 이론을 개발하기 위해.
• 대수적 연산에서 실체적 성분과 그로스터 성분을 구분할 수 있도록 $\nu$-세미환에서의 $\sharp q$-동치관계로 고전적 아이디얼을 대체하기 위해.
• 고르고렌지의 접근 방식을 따르며 $\sharp g$-소 동치관계의 스펙트럼 위에 스킴 이론을 구축하기 위해.
• 특히 다면체 기하학적 맥락에서 $\sharp q$-동치관계와 다양체 사이의 직접적인 대응을 가능하게 하기 위해.
• 복잡한 조합적 공식을 피하고 이산 기하적 대상에 대해 깔끔하고 직관적인 대수적 언어를 제공하기 위해.

제안 방법

• $\nu$-세미환에서의 $\sharp q$-동치관계를 도입하여 실체적 성분과 그로스터 성분을 유지하는 동치관계를 정의한다.
• 그로스터 및 실체적 클러스터를 사용하여 $\sharp g$-소, $\sharp g$-근기, 극대 $\sharp q$-동치관계를 정의하며, 고전적 대수적 관계를 만족시킨다.
• $\nu$-세미환의 국소화와 모듈 이론을 활용하여 $\nu$-스킴의 텐서곱과 피브어곱을 구성한다.
• $\sharp g$-소 동치관계의 스펙트럼으로서 아핀 $\nu$-스킴을 구성하며, 스토크와 국소 $\nu$-세미환을 통한 구조층을 정의한다.
• 열린 부분스킴과 동형 겹침을 이용한 붙임 기법을 통해 $\nu$-스킴의 붙임을 수행하며, 피브어곱의 존재를 보장한다.
• 다면체 기하학에 이 이론을 적용하기 위해, 다양체를 $\nu$-세미환 위에서의 $\sharp q$-동치관계의 해집합으로 해석한다.

실험 결과

연구 질문

• RQ1 뺄셈이 없는 세미환 구조에 대해 고전적 대수기하학 개념을 어떻게 적응시킬 수 있는가?
• RQ2 $\nu$-세미환에서 몫, 국소화, 스펙트럼 구성에 적합한 아이디얼의 적절한 대체는 무엇인가?
• RQ3 아이디얼 대신 동치관계를 사용하여 초스퍼트로픽 맥락에서 고르고렌지 스타일의 스킴 이론을 개발할 수 있는가?
• RQ4 $\sharp q$-동치관계는 다면체 및 트로픽 맥락에서 기하적 다양체와 어떻게 관련이 있는가?
• RQ5 $\nu$-대수에서 대수적·기하적 구조를 정의할 때 그로스터 성분과 실체적 성분의 역할은 무엇인가?

주요 결과

• 논문은 $\nu$-세미환에서 $\sharp g$-소, $\sharp g$-근기, 극대 $\sharp q$-동치관계를 성공적으로 정의하였으며, 이는 소, 근기, 극대 아이디얼과 유사한 고전적 대수적 관계를 만족한다.
• $\sharp g$-소 동치관계의 스펙트럼은 $\nu$-스킴의 기초 공간을 형성하며, 고르고렌지 스타일의 스킴 이론 구축을 가능하게 한다.
• $\nu$-스킴의 피브어곱은 존재하며, $\nu$-모듈의 텐서곱을 통해 구성되며, 아핀 경우는 $\operatorname{Spec}(A \otimes_R B)$에 대응한다.
• 이 이론은 $\sharp q$-동치관계와 다양체 사이의 직접적인 대응을 지원하여 대수적 동치관계의 기하학적 해석을 가능하게 한다.
• 이 프레임워크는 다면체 기하학에 대해 체계적이고 직관적인 대수적 언어를 제공하며, 소멸 조건을 그로스터 소속성으로 대체한다.
• 국소 $\nu$-세미환으로 구성된 공간 위에서의 구조층과 스토크의 구성은 고전적 층론 방법과 호환됨을 보장한다.