[논문 리뷰] Hyperfields for Tropical Geometry I. Hyperfields and dequantization

Oleg Viro|arXiv (Cornell University)|2010. 06. 15.

Polynomial and algebraic computation참고 문헌 10인용 수 55

한 줄 요약

이 논문은 ℝ, ℂ, ℝ₊와 같은 고전적 수 집합을 바탕으로 다가역 덧셈을 갖는 초군(algebraic structures with multivalued addition)인 새로운 초군을 도입한다. 이는 dequantization를 통해 토로픽 기하학과 연결되며, 주요 기여는 복소 토로픽 초군 ℒℂ과 실수 토로픽 초군 ℒℝ의 구축이다. 이는 기존의 덜 구조화된 토로픽 반군(semifield) 대신, 방정식으로 정의된 토로픽 다양체를 위한 자연스러운 대수적 기초를 제공한다.

ABSTRACT

New hyperfields, that is fields in which addition is multivalued, are introduced and studied. In a separate paper these hyperfields are shown to provide a base for the tropical geometry. The main hyperfields considered here are classical number sets, such as the set of complex numbers, the set of real numbers, and the set of real non-negative numbers, with the usual multiplications, but new, multivalued additions. The new hyperfields are related with the classical fields and each other by dequantisations. For example, the new complex tropical field is a dequantization of the field of complex numbers.

연구 동기 및 목표

• 기존의 토로픽 반군보다 토로픽 기하학에 더 자연스러운 대수적 기초를 제공하는 초군 프레임워크를 개발하는 것.
• ℂ와 ℝ와 같은 고전적 체를 dequantization하여 ℒℂ와 ℒℝ와 같은 새로운 초군을 도입하는 것.
• 삼각 부등식을 기반으로 한 삼각 초군 Δ를 비-dequantization 초군의 예시로 설정하는 것.
• 초군이 토로픽 기하학에서 방정식을 지원함으로써 고전적 대수기하학과 일치함을 보이는 것.
• 다중환(multirings)과 다중체(multifields)를 포함한 다가역 대수적 구조를 초군의 프레임워크 아래 통합하고 일반화하는 것.

제안 방법

• 리티비노프-마스лов dequantization를 영감으로 삼은 과정을 사용하여, ℝ, ℂ, ℝ₊와 같은 고전적 수 집합에 다가역 덧셈을 정의한다.
• ℂ와 ℝ의 dequantization을 각각 활용하여 복소 토로픽 초군 ℒℂ과 실수 토로픽 초군 ℒℝ를 구축하며, 표준 곱셈을 유지한다.
• 유클리드 기하학에서 변이 a, b, c인 삼각형이 존재하는 모든 c로 구성된 집합을 a ⊕ b로 정의하여, 기저 집합이 ℝ₊인 삼각 초군 Δ를 도입한다.
• p진 수에 대해 p진 절댓값과 계수의 합에 기반한 다가역 덧셈을 정의하며, 계수의 합이 p일 경우에만 다가역 결과를 갖는다.
• 다가역 연산의 결합법칙과 곱셈과의 호환성을 증명하여 초군 공리(axioms)를 확립한다.
• 초군 준동형사상(homomorphisms)을 사용하여 새로운 초군들이 고전적 체들과 상호간에 연결됨을 나타낸다.

실험 결과

연구 질문

• RQ1 고전적 수 집합에 다가역 덧셈을 일관되게 정의하여 초군을 구성할 수 있는가?
• RQ2 고전적 체에서의 dequantization 과정이 토로픽 기하학에 적합한 초군을 도출할 수 있는가?
• RQ3 삼각 초군 Δ는 초군과 토로픽 기하학의 맥락에서 어떤 역할을 하는가?
• RQ4 초군은 고전적 대수기하학과 유사하게, 방정식을 통해 토로픽 다양체를 정의하는 데 어떻게 기여하는가?
• RQ5 초군과 기존의 대수적 구조, 예를 들어 다중환과 다중체 사이의 관계는 무엇인가?

주요 결과

• 복소 토로픽 초군 ℒℂ과 실수 토로픽 초군 ℒℝ는 각각 ℂ와 ℝ의 dequantization으로 구성되며, 다가역 덧셈과 표준 곱셈을 갖는다.
• 삼각 초군 Δ는 ℝ₊를 기저 집합으로 하며, a ⊕ b는 유클리드 기하학에서 변이 a, b, c인 삼각형이 존재하는 모든 c로 이루어진다. 이는 삼각 부등식을 만족한다.
• p진 수에 대해 절댓값과 계수의 합에 기반한 다가역 덧셈을 정의하였으며, 계수의 합이 p일 경우에만 다가역 결과를 갖는다.
• 모든 구성된 초군에서 다가역 덧셈은 결합법칙을 만족하고 곱셈과 호환되며, 초군 공리를 충족한다.
• 초군은 토로픽 다양체가 방정식으로 정의되는 프레임워크를 제공하여, 토로픽 기하학을 고전적 대수기하학과 일치시킨다.
• 논문은 초군, 특히 dequantization를 통한 초군이 반군(semifields)보다 토로픽 기하학에 더 적합하다는 것을 증명한다.