[논문 리뷰] Quotients by finite equivalence relations

Janós Kollár|ArXiv.org|2008. 12. 18.

semigroups and automata theory참고 문헌 23인용 수 15

한 줄 요약

이 논문은 스킴 위의 유한 동치 관계를 조사하며, 매핑이 평탄하지 않거나 대상이 비정상일 경우 몫의 재구성에 초점을 맞춘다. 이러한 몫이 기하학적 몫으로 존재할 수 있는 조건을 규명하고, 1-코호몰로지 족을 사용한 코호몰로지 기준을 도입하여 비효율적 관계를 탐지하며, 아핀 토릭 다양체 위의 토릭 동치 관계가 유한한 매핑을 통한 몫 스킴으로 유도됨을 증명한다.

ABSTRACT

This note studies the existence of quotients by finite set theoretic equivalence relations. May 18: Substantial revisions with a new appendix by C. Raicu

연구 동기 및 목표

• 스킴 X에 유한 동치 관계 R가 주어졌을 때, 기하학적 몫 Y를 구성하기 위한 필요 및 충분 조건을 규명하는 것.
• f: X → Y가 평탄하지만 유한할 경우, 특히 Y가 비정상일 경우, X ×_Y X의 피복 제품에서 전이성과 순수성의 실패를 다루는 것.
• 코호몰로지 기준을 도입하여, 1-코호몰로지 족을 포함한 코시쿨 유형 복합체를 사용해 동치 관계가 비효율적인지 탐지하는 것.
• 아핀 토릭 다양체 위의 토릭 동치 관계가 어떤 유한한 매핑 f: X → Y에 대해 X ×_Y X로 유도됨을 증명하는 것, 즉 효율적임을 보이는 것.
• 집합론적 동치 관계가 임베딩된 점으로 인해 전이성이 실패할 수 있음을 보여주는 명시적 예를 제시하는 것, 즉 아이디얼로 정의된 관계일지라도.

제안 방법

• 유한성과 반사성, 대칭성, 전이성 조건을 만족하는 유한한 사상 σ₁, σ₂: R ⇉ X를 통해 유한 동치 관계를 정의한다.
• 구조층에서 σ₁* − σ₂*의 핵을 사용하여 범주론적 몫 (X/R)cat를 정의한다. 이는 스킴의 범주에서의 보편 몫이다.
• 기하학적 몫을 유한한 사상 q: X → Y로 정의한다. 이는 범주론적 몫이면서 기하학적 점 K에 대해 K-점에 대한 전단사 사상도 유도한다.
• C = A[x], B = A[f₁,…,fₘ]일 때, C → C⊗_B C → C⊗_B C⊗_B C → ⋯ 복합체 내에서 1-코호몰로지 족 f(x,y)를 구성하여 비효율적 관계를 탐지한다.
• 등식 f(x,y) + f(y,z) − f(x,z) ∈ J(x,y) + J(y,z)를 코호몰로지 조건으로 삼아, 아이디얼 I(x,y)를 통해 동치 관계를 정의한다.
• Macaulay2를 사용하여 특정 f(x,y) = (x₁y₂ − x₂y₁)y₂³ 이 J에 대해 코 boundary가 아니라는 것을 검증함으로써, ℤ 위에서 비효율적임을 증명하고, 임의의 체 k로의 기저 전환 후에도 동일하게 유지됨을 보였다.

실험 결과

연구 질문

• RQ1 스킴 X 위의 유한 동치 관계 R이 어떤 유한한 매핑 f: X → Y에 대해 R ≅ X ×_Y X로 나타나는 조건은 무엇인가?
• RQ2 f: X → Y가 평탄하지만 유한할 경우, 특히 Y가 비정상일 경우, X ×_Y X의 피복 제품이 순수 차원이거나 근본적으로 감소하지 않는 이유는 무엇인가?
• RQ3 코호몰로지 불변량을 사용하여 주어진 집합론적 동치 관계가 비효율적인지 알고리즘적으로 탐지할 수 있는가?
• RQ4 모든 동차 비효율적 동치 관계는 코호몰로지 조건을 만족하는 1-코호몰로지 족으로 구성된 보편적 관계에 포함되는가?
• RQ5 아핀 토릭 다양체 위의 토릭 동치 관계는 평탄성 조건 없이도 항상 어떤 Y에 대해 X ×_Y X로 나타나는가?

주요 결과

• 유한하고 전사인 매핑 f: X → Y가 주어지면, R = red(X ×_Y X)일 때 기하학적 몫 X/R가 존재하며, 이는 Y와 동형이다.
• 스킴 X 위의 유한 동치 관계 R이 비효율적일 조건은, 복합체 (50.2) 내의 관련 1-코호몰로지 족 f(x,y)가 코 boundary가 아닐 때이며, 이는 컴퓨터 대수 시스템로 검증 가능하다.
• f₁(x) = x₁², f₂(x) = x₁x₂ − x₂², f₃(x) = x₂³, 그리고 f(x,y) = (x₁y₂ − x₂y₁)y₂³을 사용한 예는 ℤ 위에서 동차 비효율적 동치 관계를 정의한다.
• 이 예는 임의의 체 k로의 기저 전환 후에도 여전히 비효율적임을 보이며, k 위의 복합체에서 f(x,y)의 코호몰로지 클래스가 H¹에서 0이 아니기 때문이다.
• W/V ≅ H ≅ ℤ는 f(x,y)의 동치류로 생성되는 자유 ℤ-모듈로, 이는 1-코호몰로지 족이 코 boundary가 아님을 증명한다.
• 체 k 위의 아핀 토릭 다양체에서, 모든 토릭 동치 관계 R은 어떤 아핀 토릭 다양체 Y에 대해 X ×_Y X로 나타나므로, 이러한 관계는 항상 효율적이다.