(Positive) Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial

기술 요약: 4차 곡선의 양의 이차 행렬식 표현과 로빈슨 다항식 (Positive Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial)

문제 정의
본 논문은 실수 비음수 동차 다항식에 대한 *양의 이차 행렬식 표현(positive quadratic determinantal representations)*의 존재성을 다룬다. 구체적으로, $F \in \mathbb{R}[x_0, x_1, x_2]$가 차수가 $2d$인 동차 다항식일 때, 저자들은 $F$가 성분이 동차 이차 다항식인 대칭 $d \times d$ 행렬 $M$의 행렬식으로 표현될 수 있는지 조사한다. 여기서 $M$은 모든 $a \in \mathbb{R}^3$에 대해 $M(a)$가 양의 준정부호(positive semidefinite)여야 한다.

이러한 표현의 존재성은 비음수성을 함의하지만, 그 역은 $d=3$(6차 다항식)의 경우 오랫동안 미해결 과제로 남아 있었다. Buckley와 Šivic [BŠ20]은 특정 비음수 6차 다항식인 로빈슨 다항식 $R$을 반례로 제시하며 이 질문에 대한 답이 부정적일 것이라고 추측했다. 또한, Quarez [Qua15]를 통해 4차(quartics)의 경우 반례가 존재한다는 것은 알려져 있었으나, 이러한 반례들의 기하학적 성질은 완전히 규명되지 않았다.

방법론
저자들은 행렬식 표현의 구조를 분석하기 위해 대수 기하학, 층 이론(sheaf theory), 그리고 계산 대수학을 결 ham 결합하여 사용한다.

1. 층 이론적 프레임워크 (Sheaf-Theoretic Framework): 본 논문은 행렬식 표현과 곡선 $X = V(F)$ 상의 가약 층(coherent sheaves) 사이의 대응 관계를 활용한다. 이차 표현은 $X$ 상에서 특정 코호몰로지 조건(특히 피카르 군(Picard group)의 2-토션 점들과 관련된 조건)을 만족하는 선다발(line bundle) $L$에 대응한다.
2. 특이점 분석 (로빈슨 다항식): 로빈슨 다항식에 대해, 저자들은 그 영집합 $X$의 특이점을 분석한다. 그들은 $X$가 10개의 실 특이점을 가지며, 그 정규화(normalization)가 실 부분이 비어 있는 genus 0 곡선임을 입증한다. 또한 $\text{Pic}(X)$를 계산하여, $(\mathbb{Z}/2\mathbb{Z})^{10}$에 동형인 거대한 2-토션 부분군을 포함함을 보여준다.
3. 표현 유형의 분류 (Classification of Representing Types): $\text{Pic}(X)$의 모든 1024개 2-토션 점들에 대한 자유 분해(free resolutions)를 명시적으로 계산함으로써, 저자들은 "표현 유형"(특정 차수 패턴을 가진 행렬)을 분류한다. 그들은 행렬식 표현이 존재하기는 하지만, 순수하게 이차 성분만을 갖는 유형 중 어느 것도 양의 준정부호 행렬을 생성하지 못함을 입상한다.
4. 매끄러운 4차 곡선의 기하학 (Geometry of Smooth Quartics): 매끄러운 양의 삼원 4차식($d=2$)에 대해, 저자들은 자코비안 다양체 $J(C)$ 상의 테타 특성(theta characteristics)과 스타이너 복합체(Steiner complexes) 이론을 활용한다. 그들은 이차 표현을 차수가 $2d-2$인 접촉 곡선(contact curves, 즉 원추곡선)과 연관시키며, 딕슨(Dixon) 알고리즘의 구성적 적응을 사용한다.
5. 실 구조 및 실성 조건 (Real Structure and Reality Conditions): 저자들은 자코비안 상의 "실(real)" 딜리저(divisor class)와 "강실(strongly real)" 딜리저를 구분한다. 그들은 매끄러운 양의 4차식에 대해, 필요한 코호몰로지 조건을 만족하여 이차 표현을 생성하는 강실 2-토션 점들이 존재함을 증명한다. 또한, 접촉 원추곡선들의 실 영집합의 위상적 유형을 분석함으로써 결과 행렬이 양의 정부호임을 증명한다.

주요 기여 및 결과

• 정리 1.1 (로빈슨 다항식에 대한 비존재성): 저자들은 로빈슨 다항식 $R$이 양의 이차 행렬식 표현을 갖지 않음을 증명한다. 이는 Buckley와 Šivic의 추측을 확인하는 것이다. 이 증명은 그러한 표현이 $\text{Pic}(X)$ 내의 특정 선다발에 대응하는 2-토션 점을 필요로 하지만, 모든 그러한 번들들을 전수 조사한 결과 생성된 행렬 중 어느 것도 모든 곳에서 양의 준정부호가 될 수 없다는 사실에 기초한다.
• 정리 1.2 (매끄러운 4차식에 대한 존재성): 저자들은 모든 매끄러운 양의 삼원 4차식이 양의 이차 행렬식 표현을 가짐을 증명한다. 이 결과는 중요한데, 왜냐하면 (Quarez가 발견한) 알려진 반례들은 반드시 특이 평면 곡선을 정의해야 함을 규명하기 때문이다.
• 구성적 알고리즘: 본 논문은 실 선형 행렬식 표현이 주어졌을 때, 매끄러운 양의 4차식에 대한 양의 이차 표현을 생성하는 구성적 방법(알고즘 3.8 및 정리 3.26)을 제공한다. 이는 바이탄젠트(bitangent) 행렬을 계산하고, 특정 스타이너 복합체를 식별하며, 기저 변환을 적용하여 이차 행렬 $Q$를 도출하는 과정을 포함한다.
• 표현 유형의 분류: 논문은 로빈슨 다항식에 대한 표현 유형을 상세히 분류하며, 이차 표현이 더 넓은 의미(혼합 차수를 갖는 경우)에서는 존재하지만, 엄격한 이차 형태의 표현은 양의 조건을 만족하지 못함을 보여준다.

의의 및 주장
본 논문은 로빈슨 다항식에 관한 구체적인 질문을 해결함으로써, 이 특정 반례에 대한 양의 이차 표현 존재성에 대한 확정적인 부정적 답변을 제공한다고 주장한다.

일반적인 경우와 관련하여, 본 논문은 날카로운 기하학적 경계를 설정한다: 양의 이차 표현의 실패는 곡선의 특이성과 본질적으로 연결되어 있다. 매끄러운 양의 삼원 4차식의 부류에 대해, 저자들은 그러한 표현이 항상 존재함을 증명함으로써 이 특정 차수의 "양호한" 거동을 특징짓는다.

저자들은 (유클리드 위상에 대해) 양의 이차 표현을 갖는 차수 $2d$의 비음수 형식의 집합이 모든 차수 $2d$의 비음수 형식의 집합 내에서 조밀하다는 완곡한 추측(Conjecture 4.1)을 제시하며 마무리한다. 그들은 이러한 형식의 집합이 (제곱합의 섭동을 통해 입증된 바와 같이) 열린 근방을 포함하고 있음을 언급하며, 더 높은 차수에 대한 이 집합의 범위는 여전히 미해결 과제로 남아 있다고 밝힌다. 본 논문은 $d \ge 3$인 일반적인 경우나 더 높은 차수의 특이 곡선에 대한 문제를 해결한다고 주장하지 않으며, 다만 4차식에서 표현이 존재하는 정확한 조건과 특정 6차식에서 실패하는 조건을 명확히 구분한다.