[논문 리뷰] On the equivalence of linear sets

Bence Csajbók, Corrado Zanella|arXiv (Cornell University)|2015. 01. 14.

graph theory and CDMA systems참고 문헌 8인용 수 2

한 줄 요약

이 논문은 t = 5 또는 t > 6일 때 PG(1, qt)에서의 의사정규형 타입 선형 집합의 동치성에 대해, Lavrauw와 Van de Voorde(2010)의 정리 1.3에서 주장한 바와 같이, 투영 구성 간의 동형사상이 존재하는 것이 필요하지 않음을 보여준다. 기준 중심과 분리된 중심에서의 표준 부분기하학과 투영을 이용한 구체적 반례를 구성함으로써, 저자들은 동형사상이 존재하지 않더라도 선형 집합의 동치성이 발생할 수 있음을 보이며, 실제로 그러한 조건이 필요한 선형 집합의 특성을 규명한다.

ABSTRACT

Let $L$ be a linear set of pseudoregulus type in a line $\ell$ in $\Sigma^*=\mathrm{PG}(t-1,q^t)$, $t=5$ or $t>6$. We provide examples of $q$-order canonical subgeometries $\Sigma_1,\, \Sigma_2 \subset \Sigma^*$ such that there is a $(t-3)$-space $\Gamma \subset \Sigma^*\setminus (\Sigma_1 \cup \Sigma_2 \cup \ell)$ with the property that for $i=1,2$, $L$ is the projection of $\Sigma_i$ from center $\Gamma$ and there exists no collineation $\phi$ of $\Sigma^*$ such that $\Gamma^{\phi}=\Gamma$ and $\Sigma_1^{\phi}=\Sigma_2$. Condition (ii) given in Theorem 3 in Lavrauw and Van de Voorde (Des. Codes Cryptogr. 56:89-104, 2010) states the existence of a collineation between the projecting configurations (each of them consisting of a center and a subgeometry), which give rise by means of projections to two linear sets. It follows from our examples that this condition is not necessary for the equivalence of two linear sets as stated there. We characterize the linear sets for which the condition above is actually necessary.

연구 동기 및 목표

• Lavrauw와 Van de Voorde(2010)의 정리 1.3의 조건 (ii)가 필수적임을 도전하기 위해, 중심과 부분기하학을 모두 보존하는 동형사상이 선형 집합의 동치성에 필요하다는 주장이 실제로 필요한지 검토한다.
• 두 선형 집합이 투영을 통해 동치가 되지만, 그들 각각의 투영 구성 간에 그러한 동형사상이 존재하지 않는 구체적 반례를 구성한다.
• 정리 1.3에서 제시된 동형사상 조건이 실제로 필요한 선형 집합의 범주를 규명한다.
• 유한 사영 공간에서 의사정규형 타입 선형 집합을 구성하는 데 있어서, 체 축소와 표준 부분기하학의 역할을 분석한다.
• 특히 t = 5 또는 t > 6일 때, 의사정규형 타입 선형 집합이 부분기하학의 투영으로서 나타나는 기하학적 및 대수적 조건을 명확히 한다.

제안 방법

• t = 5 또는 t > 6일 때, PG(t−1, qt)에서 두 개의 표준 부분기하학 Σ₁과 Σ₂를 구성하며, 이들은 동일한 중심 Γ를 통해 같은 의사정규형 타입 선형 집합 L로 투영된다.
• 체 축소 사상 Fr,t,q를 사용하여 PG(t−1, qt)의 점들을 PG(rt−1, q)의 (t−1)-차원 부분공간과 연결함으로써, 선형 집합을 Fq-부분공간 S에 대한 B(S)로 특성화한다.
• 중심 Γ에서 축 Λ로의 투영 pΓ,Λ(Σi)를 정의하여, L = pΓ,Λ(Σ₁) = pΓ,Λ(Σ₂)임을 보이며, 이는 Γβ = Γ 및 Σ₁β = Σ₂를 만족하는 동형사상 β가 존재하지 않을 때도 성립함을 보여준다.
• PG(4, q⁵)와 PG(rt−1, q)에서의 반선형 사상과 동형사를 활용하여 부분기하학의 구조와 그 자동형사상에 의한 상의 구조를 분석한다.
• [5]의 결과를 적용하여 Qt−1,q의 초곡면에 포함된 부분공간을 묘사하고, 이에 기반해 필요한 유형의 동형사상이 존재하지 않음을 보여준다.
• 조건 (A)를 도입하여 정리 1.3에서 (i) ⇒ (ii)의 함의가 성립하기 위한 필요충분조건으로 삼으며, t = 5 또는 t > 6일 때 의사정규형 타입의 산산각 선형 집합에 대해 이 조건이 성립하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 두 선형 집합이 투영을 통해 생성된 경우, 중심과 부분기하학을 모두 보존하는 동형사상의 존재가 선형 집합의 동치성에 필수적인가?
• RQ2 PG(1, qt)에서 의사정규형 타입의 두 선형 집합이 투영을 통해 동치가 될 수 있는가, 그러나 그들 각각의 투영 구성 간에 서로를 대응시키는 동형사상이 존재하지 않는 경우?
• RQ3 정리 1.3에서 제시된 동형사상 조건이 실제로 필요한데, 어떤 기하학적 또는 대수적 조건이 이를 보장하는가?
• RQ4 표준 부분기하학의 성질과 그들의 투영은 PG(rt−1, q)의 Desarguesian 스프레드의 구조와 어떻게 관련이 있는가?
• RQ5 어떤 의사정규형 타입 선형 집합에 대해 조건 (A)가 성립하며, 그 의미는 무엇인가?

주요 결과

• 논문은 PG(4, q⁵)에서 두 의사정규형 타입 선형 집합이 투영을 통해 동치이지만, 그들 각각의 중심과 부분기하학을 대응시키는 동형사상이 존재하지 않는 구체적 반례를 구성한다.
• 정리 1.3의 조건 (ii) — 즉, 중심과 부분기하학을 모두 보존하는 동형사상이 필요하다는 조건 — 가 선형 집합의 동치성에 필수적이지 않음을 증명하며, 원래의 주장과 모순됨을 보인다.
• t = 5 또는 t > 6일 때 PG(1, qt)에서의 의사정규형 타입 산산각 선형 집합에 대해 조건 (A)가 성립하지 않으며, 따라서 함의 (i) ⇒ (ii)도 성립하지 않음을 보여준다.
• 특성화: 함의 (i) ⇒ (ii)는 조건 (A)가 성립할 때에만 성립하며, 이는 Desarguesian 스프레드를 보존하고 해당 부분공간을 대응시키는 동형사상의 존재를 포함한다.
• PG(1, q³)에서의 랭크-3 선형 집합에 대해서는 조건 (A)가 성립하므로, 함의 (i) ⇒ (ii)도 성립하며, 이는 이러한 집합이 고차원 의사정규형 타입 집합과 다르게 행동하는 이유를 설명한다.
• 논문은 t = 5 또는 t > 6일 때 PG(1, qt)에서의 의사정규형 타입 산산각 선형 집합이 그러한 동형사상으로 연결된 구성으로부터의 투영으로 표현될 수 없음을 증명하며, 이는 자동형사상 성질에서의 구조적 차이를 부각시킨다.