[논문 리뷰] Polytopal linear algebra

Winfried Bruns, Joseph Gubeladze|ArXiv.org|2000. 02. 03.

Polynomial and algebraic computation참고 문헌 14인용 수 5

한 줄 요약

이 논문은 다면체 다항식 대수—격자 다각형에 관련된 $k$-대수의 계급을 갖는 다면체 선형 대수를 도입한다. 이는 벡터 공간의 범주론적 일반화이다. 다면체 Picard 군이 체 위에서 자명하다는 것을 증명하고, Veronese 특이점들을 통한 호모모르피즘에 대한 추측을 확인하며, 격자 다边형 $P$에 대해 $k[P]$의 모든 등幂 내적자들이 $k[t]$를 통해 인수분해되거나 세그먼탈 피브레이션으로부터 유도됨을 보여, 이러한 사상들의 조합론적 분류를 드러낸다.

ABSTRACT

We investigate similarities between the category of vector spaces and that of polytopal algebras, containing the former as a full subcategory. In Section 2 we introduce the notion of a polytopal Picard group and show that it is trivial for fields. The coincidence of this group with the ordinary Picard group for general rings remains an open question. In Section 3 we survey some of the previous results on the automorphism groups and retractions. These results support a general conjecture proposed in Section 4 about the nature of arbitrary homomorphisms of polytopal algebras. Thereafter a further confirmation of this conjecture is presented by homomorphisms defined on Veronese singularities. This is a continuation of the project started in our papers "Polytopal linear groups" (J. Algebra 218 (1999), 715--737), "Polytopal linear retractions" preprint, math.AG/0001049) and "Polyhedral algebras, arrangements of toric varieties, and their groups" (preprint, http://www.mathematik.uni-osnabrueck.de/K-theory/0232/index.html). The higher $K$-theoretic aspects of polytopal linear objects will be treated in "Polyhedral $K$-theory" (in preparation).

연구 동기 및 목표

• 벡터 공간을 격자 다각형에 관련된 다면체 $k$-대수로 대체함으로써 고전적 선형 대수를 확장한다.
• 벡터 공간의 범주와 다면체 대수의 범주 사이의 구조적 유사성을 조사한다.
• 다면체 범주에서 모든 호모모르피즘이 표준적인 조합론적 구성으로 유도된다는 추측을 제시하고 이를 뒷받침하는 증거를 제공한다.
• 대수적으로 닫힌 체 $k$에 대해 격자 다각형 $P$에 대해 $k[P]$의 등幂 내적자의 다양체를 묘사한다.

제안 방법

• 다각형 $P$의 격자 점 위에서의 반군환으로서 다면체 $k$-대수 $k[P]$를 정의하고, 애핀 의존성에서 유도된 이항 관계를 포함한다.
• 다면체 범주의 $k$-선형 자동환의 집합을 자연 동형사상에 대해 모odulo한 그룹으로서 다면체 Picard 군을 도입한다.
• 이전 연구에서 얻은 재구성과 자동환을 활용하여, 모든 호모모르피즘이 다각형 기하학에 암묵적으로 포함된 기본 연산으로 구성된다는 추측을 뒷받침한다.
• 다항식환의 Veronese 부분대수에서의 호모모르피즘을 분석하여, 표준적 구성으로부터 다각형의 변화를 통해 유도됨을 보인다.
• 뉴턴 다각형 기법을 적용하여 사영의 분할을 특성화하고 등幂 내적자를 분류한다.
• 정수 애핀 사상과 민코프스키 합을 사용하여 호모모르피즘의 구조를 다각형 분해와 연결한다.

실험 결과

연구 질문

• RQ1 다면체 Picard 군은 체 위에서 자명한가? 그리고 고전적 Picard 군과의 관계는 무엇인가?
• RQ2 다면체 범주에서 모든 호모모르피즘은 다각형의 구조에 기반한 표준 연산의 복합으로 기술될 수 있는가?
• RQ3 대수적으로 닫힌 체 $k$에 대해 격자 다각형 $P$에 대해 $k[P]$의 등幂 내적자 다양체의 완전한 구조는 무엇인가?
• RQ4 다항식환의 Veronese 부분대수에서의 호모모르피즘은 일반적인 다면체 호모모르피즘에 대한 추측과 어떻게 관련이 있는가?
• RQ5 다면체 대수의 구조는 산술적 성질이 아닌 조합론적 자료에 의해 얼마나 정의되는가?

주요 결과

• 모든 체 $k$ 위에서 다면체 Picard 군은 자명하다. 즉, 유일한 $k$-선형 자동환은 스칼라 곱셈과 동형이다.
• 다항식환의 Veronese 부분대수에서의 모든 호모모르피즘은 표준 구성에 다각형의 변화를 적용함으로써 얻어진다. 이는 사영의 분할을 포함한다.
• 대수적으로 닫힌 체 $k$에 대해 격자 다각형 $P$에 대해 $k[P]$의 등幂 내적자 다양체는 완전히 묘사된다: 여명도 1의 등幂 내적자는 세그먼탈 피브레이션과 변과 대응하고, 모든 여명도 2의 등幂 내적자는 $k[t]$를 통해 인수분해된다.
• 면의 사영이나 고차원 피브레이션으로부터 기인한 등幂 내적자는 사영의 분할을 포함하는 구성에서 다각형의 변화를 통해 유도된다.
• 호모모르피즘의 구조는 체의 산술적 성질과 무관하게 뉴턴 다각형과 격자 점 구성의 조합론적 성질에 의해 완전히 결정된다.
• 사영을 분할하는 데 필요한 필수 및 충분한 조건은 정의 다항식의 뉴턴 다각형이 섬유 방향과 일치하고 $Y=1$에서 정규화 조건을 만족해야 한다.