[논문 리뷰] Calculation Rules and Cancellation Rules for Strong Hom-Schemes

Frank a Campo|arXiv (Cornell University)|2019. 01. 01.

Limits and Structures in Graph Theory참고 문헌 3인용 수 2

한 줄 요약

이 논문은 유한한 부분순서집합에서 강한 Hom-스킴, G-스킴, I-스킴에 대한 계산 및 취소 규칙을 수립하며, 특정 조건 하에서 순서 산술 연산(직접 합, 순서 합, 곱)이 전순서 관계 ⊑, ⊑G, 및 ⊑I 를 유지함을 보여준다. 주요 기여는 추가적인 정규성 조건 하에서 Q × R ⊑G Q × S 및 Q × R ⊑I Q × S로부터 각각 R ⊑G S 및 R ⊑I S 가 유도됨을 구성적으로 증명한 것으로, 부분순서집합 호모모르피즘 집합에서의 취소를 가능하게 한다.

ABSTRACT

Let ${\cal H}(A,B)$ denote the set of homomorphisms from the poset $A$ to the poset $B$. In previous studies, the author has started to analyze what it is in the structure of finite posets $R$ and $S$ that results in $# {\cal H}(P,R) \leq # {\cal H}(P,S)$ for every finite poset $P$, if additional regularity conditions are imposed. In the present paper, it is examined if this relation (with or without regularity conditions) is compatible with the operations of order arithmetic and if cancellation rules hold.

연구 동기 및 목표

• 유한한 부분순서집합에서의 전순서 관계 ⊑, ⊑G, 및 ⊑I 가 직접 합, 순서 합, 곱과 같은 순서 산술 연산 하에서 유지되는지 조사한다.
• 이러한 관계에 대해 취소가 성립하는 조건을 규명하며, 특히 부분순서집합의 곱과 합의 맥락에서 고려한다.
• 연결된 부분순서집합에서 정의된 Hom-스킴을 연결성 성분 분해를 통해 모든 유한한 부분순서집합으로 확장한다.
• Q×R ⊑G Q×S 및 Q×R ⊑I Q×S 가 성립할 때, 추가적인 정규성 조건 하에서 R ⊑G S 및 R ⊑I S 가 존재함을 증명한다.
• 재귀 수열과 연결성 성분 분석을 이용하여 곱 기반 스킴으로부터 강한 G- 및 I-스킴을 구성적으로 유도하는 방법을 수립한다.

제안 방법

• 모든 유한한 부분순서집합 P 에 대해 호모모르피즘 집합 H(P, R) 와 H(P, S) 사이의 구조를 유지하고 단사적인 사상으로서의 강한 Hom-스킴, G-스킴, I-스킴의 개념을 사용한다.
• 부분순서집합의 연결성 성분 분해를 적용하여 비연결된 부분순서집합의 문제를 연결된 경우로 환원함으로써, 연결된 부분순서집합에서의 스킴을 일반적인 유한한 부분순서집합으로 확장한다.
• G-스킴 ρ 를 기반으로 정의된 재귀 수열 φiP(ξ) 를 도입하며, 여기서 φ0P(ξ) = cP,q 이고 φiP(ξ) = ρ(φi−1P(ξ), ξ)1 이다. 이는 연결성과 원상 행동을 추적하는 데 사용된다.
• 집합론적 보조정리 8 을 활용하여, 모든 ξ ∈H(P, R) 에 대해 수열 (φiP(ξ)) 가 결국 cP,q 로 돌아오며, 이는 유한 주기성을 보장한다.
• 새로운 사상 τP(ξ) ≡ ρ(ΦnP(ξ)−1P(ξ))2 를 정의하여, cP,q 로의 복귀 시간 nP(ξ) 를 이용해 R 에서 S 로의 강한 G-스킴을 구성한다.
• ρ 가 Q 의 연결성 성분을 유지함을 보장하는 조건 (28) 을 도입함으로써, I-스킴 구성이 이미지 내 순서 관계를 존중하도록 하여 I-스킴의 경우 취소를 가능하게 한다.

실험 결과

연구 질문

• RQ1 R ⪯ S (강한 Hom-, G-, 또는 I-스킴을 통해) 이면, R 과 S 의 쌍대(dual) 사이의 관계도 동일한가? 그리고 모든 Q ∈ P 에 대해 H(Q, R) ⪯ H(Q, S) 가 성립하는가?
• RQ2 R1, R2, S1, S2 가 유한한 부분순서집합이며 R1 ⪯ S1, R2 ⪯ S2 라면, 직접 합, 순서 합, 또는 곱 연산 ⊙ 에 대해 R1 ⊙ R2 ⪯ S1 ⊙ S2 가 성립하는가?
• RQ3 Q ⊙ R ⪯ Q ⊙ S 가 ⊙ ∈ {⊕, ×} 에 대해 성립할 때, R ⪯ S 가 성립하는 조건은 무엇인가? 특히 강한 I-스킴과 G-스킴의 경우에 대해 고려한다.
• RQ4 Q×R 에서 Q×S 로의 강한 I-스킴이 존재할 경우, 이를 R 에서 S 로의 강한 I-스킴으로 구성할 수 있는가? 어떤 정규성 조건이 필요하는가?
• RQ5 직접 합에 대한 취소 규칙이 존재하는가? 즉, Q ⊕ R ⪯ Q ⊕ S 이면 R ⪯ S 가 성립하는가? 강한 Hom-스킴, G-스킴, 또는 I-스킴의 경우에 대해 고려한다.

주요 결과

• 강한 Hom-스킴과 G-스킴에 대한 계산 규칙는 예외 없이 항상 성립하지만, I-스킴은 순서 합과 곱에 대해 일반적인 규칙이 존재하지 않는다.
• 직접 합 연산에 대해서는 조건 없이 취소가 성립한다: R1 ⊕ R2 ⪯ S1 ⊕ S2 이면 R1 ⪯ S1 과 R2 ⪯ S2 가 모두 성립한다.
• 순서 합과 곱에 대해서는 추가적인 정규성 조건이 필요하며, 특히 I-스킴의 경우와 부분적으로 G-스킴의 경우에만 성립한다.
• Q×R 에서 Q×S 로의 강한 G-스킴이 존재하면, cP,q 로의 복귀 시간을 이용한 재귀적 구성 방법을 통해 R 에서 S 로의 강한 G-스킴이 존재함을 증명함으로써 R ⊑G S 를 유도한다.
• I-스킴의 경우, Q×R ⊑I Q×S 에서 R ⊑I S 로의 취소를 위해서는 추가적인 가정 (28) 이 필요하며, 이는 ρ 가 Q 의 연결성 성분을 유지함을 의미하여 순서 구조가 유지됨을 보장한다.
• 구성된 사상 τP(ξ) ≡ ρ(ΦnP(ξ)−1P(ξ))2 는 R 에서 S 로의 강한 G-스킴을 유도하며, 조건 (28) 하에서는 강한 I-스킴을 유도함으로써 R ⊑I S 를 증명한다.