Enumerative geometry of skew lines in $\mathbb P^3$ with a given associated finite group

기술 요약: 주어진 연관 유한 군을 갖는 $\mathbb{P}^3$ 내 엇갈린 직선들의 열거 기하학

문제 정의
본 논문은 대수적으로 닫힌 체 $K$ 위에서 투영 3공간 $\mathbb{P}^3_K$ 내의 서로 엇갈린(pairwise skew) 직선들의 유한 집합을 분류하는 문제를 다룬다. 유한체 위에서는 이러한 집합들이 스프레드(spread)로 알려져 있어 분류가 유한하지만, $\mathbb{C}$와 같은 무한체 위에서는 4개의 엇갈린 직선 세트조차도 투영 동치(projective equivalence) 클래스가 무수히 많다. 저자들은 특정 "연관 군(associated group)" $G_L$을 기준으로 엇갈린 직선의 집합 $L$을 분류하는 구체적인 열거 문제를 조사한다.

임의의 $s \geq 3$인 엇갈린 직선의 유한 집합 $L$에 대해, 군의로이드(groupoid) $G_L$이 연관된다. 여기서 대상(objects)은 직선들이며, 사상(morphisms)은 세 엇갈린 직선의 기하학에 의해 유도되는 동형 사상이다. 이 군의로이드 내 임의의 직선의 자기동형군(automorphism group) $G_L \subset \text{Aut}(L_i) \cong \text{PGL}_2(K)$는 해당 구성의 투영 불변량(projective invariant)이다. 핵심 질문은, 고정된 유한 부분군 $G \subset \text{PGL}_2(K)$에 대하여, $G_L \cong G$를 만족하는 가능한 구성 $L$은 무엇인가 하는 것이다. 본 논문은 특히 이전의 횡단선(transversals, 집합 $L$의 모든 멤버와 만나는 직선)에 의존하는 분류 방법이 실패했던 경우, 즉 $G$가 유한하고 비가환(특히 $A_4, S_4, A_5$)인 경우에 집중한다.

방법론
저자들은 선행 연구 [4]에서 개발된 엇갈린 직선의 행렬 기술을 활용한다. 세 개의 엇갈린 직선 $L_\infty, L_0, L_{I_2}$ (여기서 $L_{I_2}$는 항등 행렬에 대응함)를 고정하면, $L_\infty$와 $L_0$에 닿지 않는 임의의 다른 직선 $L$은 행렬 $M \in \text{GL}_2(K)$에 의해 유일하게 $L_M$으로 표현된다.

• 엇갈림 조건: 두 직선 $L_M$과 $L_N$은 $M - N$이 가역(invertible)일 때 서로 엇갈린다.
• 군 생성: 군 $G_L$은 행렬 $\{M_i\}$를 정의하는 행렬들의 투영 클래스와 그 차이들의 클래스 $\{M_i - M_j\}$에 의해 생성된다.
• 정규화: 임의의 세 엇갈린 직선은 투영적으로 동등하다는 사실을 이용하여, 저자들은 구성을 $L_\infty, L_0, L_{I_2}$를 포함하도록 정규화한다. 또한 특정 유한 군 $G$를 생성하는 행렬 $M$과 그 차이들의 클래스를 연구한다.

주요 기여 및 결과

1. 유한성 경계 (정리 3.2):
   본 논문은 임의의 고정된 유한 비자명 부분군 $G \subset \text{PGL}_2(K)$에 대하여, $G_L = G$인 임의의 구성 $L$이 $M_G$의 부분집합이 되도록 하는 유일한 최소 유한 직선 집합 $M_G$가 존재함을 입증한다. 저자들은 이 집합의 명시적인 상한을 다음과 같이 도출한다:
   $$|M_G| \leq (|G| - 1)^2(|G| - 2) + 2$$
   이 결과는 이러한 구성의 분류 문제가 임의의 고정된 $G$에 대해 유한함을 의미한다. 결과적으로 보론 3.4는 $\mathbb{P}^3_\mathbb{C}$ 내의 엇갈린 직선 집합이 201,900개를 초과할 경우, 그 연관 군은 무한하거나 유한 순환군이어야 함을 명시한다(이는 $A_4, S_4, A_5$와 같은 유한 비가환 군을 배제한다).

2. $A_4$에 대한 분류 (정리 4.3):
   표수 0에서의 교대군 $A_4$에 대하여, 저자들은 $G_L \cong A_4$인 엇갈린 직선 구성의 유일한 투영 동치 클래스가 존재함을 증명한다.

• 기수(Cardinality): 유일한 집합은 정확히 5개의 직선으로 구성된다.
• 구조: 집합은 $\{L_\infty, L_0, L_{I_2}, L_U, L_V\}$이며, 여기서 $U$와 $V$는 $A_4$ 내에서 곱 $UV$가 차수(order) 2를 갖는 차수 3의 행렬들이다.
• 대칭성: 이 5개의 직선을 치환하는 투영 자기동형군의 군은 $S_5$와 동형이다.

3. $S_4$에 대한 분류 (정리 5.6):
   $S_4$의 경우, 직선의 수에 따라 여러 투영 동치 클래스가 존재하므로 분류가 더 복적이다.

• 최소 사례 ($s=5$): 군 $S_4$를 갖는 5개의 엇갈린 직선에 대해서는 유일한 투영 동치 클래스가 존재한다.
• 최대 사례:
  • 7개의 직선 (최대 확장 불가능 집합): 8개의 구성 켤레 클래스가 존재한다.
  • 10개의 직선 (최대 집합): 유일한 투영 동치 클래스가 존재한다.
• 중간 사례: 6, 8 또는 9개의 직선 집합에 대해서는 적어도 두 개의 구별되는 투영 동치 클래스가 존재한다고 언급하였으나, 완전한 열거를 제공하지는 않는다.
• 기하학적 구별: 저자들은 $S_4$를 위한 10-직선 구성이 정확히 4개의 직선을 포함하는 10개의 이차 곡면(quadric surface)을 포함하는 반면, 특정 7-직선 구성은 4개의 직선을 포함하는 이차 곡면을 포함하지 않음을 보여준다.

4. 호환 그래프 (Compatibility Graphs):
   저자들은 후보 행렬들을 정점으로 하고, 두 행렬의 차이가 목표 군의 원로 투영된다는 조건을 엣지로 하는 호환 그래프를 도입한다. 이 그래프들을 사용하여 "클리크(clique)"(상호 호환되는 행렬들의 집합)를 식별하며, 이들은 군 $G$를 생성한다. $S_4$의 경우, 8개의 크기를 갖는 9개의 최대 클리크(고정된 3개를 포함하여 10개의 직선에 대응)와 7개의 크기를 갖는 70개의 최대 클리크(7개의 직선에 대응)를 식별한다.

의의 및 동기
본 논문은 유한 비가환 연관 군을 갖는 엇갈린 직선을 분류하기 위한 최초의 체계적인 기초를 제공한다고 주장한다. 이전 연구 [2]는 주로 횡단선(집합의 모든 멤버와 만나는 직선)의 존재성을 사용하여 아벨 군의 경우를 주로 분류했으나, 이는 비가환 군에 대해서는 실패하는 성질이다. 저자들은 $G_L$에 초점을 맞추고 행렬 차이 조건을 활용함으로써 횡단의 필요성을 우회한다.

이 연구는 "geproci" 집합(일반적인 평면 투영이 완전 교차(complete intersection)가 되는 $\mathbb{P}^3$ 내의 유한 점 집합)의 연구로부터 동기를 얻었다. [2]에서 언급되었듯이, geproci 집합은 종종 엇갈린 직선 위의 점들의 군의로이드 궤적으로 발생한다. 비가환 군을 갖는 이러한 구성으로부터 발생하는 geproci 집합을 완전히 분류하기 위해서는 엇갈린 직선의 분류가 필수적이다. 본 논문은 이론적인 직선의 상한은 매우 크지만, 특정 비가환 군에 대한 실제 최소 및 최대 구성은 놀라울 정도로 작고 경직되어 있으며, 종종 유일한 투영 동치 클래스를 허용한다는 결론을 내린다.