[논문 리뷰] Maximal linear spaces contained in the base loci of pencils of quadrics

Xiaoheng Wang|arXiv (Cornell University)|2013. 02. 11.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 20

한 줄 요약

이 논문은 특성 ≠ 2인 임의의 체 위에서 피카르 다양체와 패러미터화된 이차형식의 패러미터족과 관련된 분리된 합집합에 표준적인 군 구조를 수립한다. 일반적인 패러미터족의 기저 위치에서 최대 선형 공간의 패러미터화된 다양체는 관련된 히퍼엘리프틱 곡선의 야코비안 위의 토르서로 나타나며, 야코비안을 확장하는 유일한 교환 대수적 군 구조를 구성함으로써 J[4] 및 J[2] 위의 토르서로의 표준적 리프팅을 가능하게 한다. 이는 2-강하 및 셀머 군 통계에의 적용을 가능하게 한다.

ABSTRACT

The geometry of the Fano scheme of maximal linear spaces contained in the base locus of a pencil of quadrics has been studied by algebraic geometers when the base field is algebraically closed. In this paper, we work over an arbitrary base field of characteristic not equal to 2 and show how these Fano schemes are related to the Jacobians of hyperelliptic curves. In particular, if $B$ is the base locus of a generic pencil of quadrics in $\bbp^{2n+1}$, and $F$ is the Fano variety of $n - 1$ planes contained in $B$, then $F$ is a component of a disconnected commutative algebraic group $G = \picz(C) \dcup F \dcup \pico(C) \dcup F'$, where $C$ is the hyperelliptic curve defined by the discriminant form of the pencil. In the second half of this paper, we study regular pencils of quadrics, where the hyperelliptic curve defined by the discriminant is singular.

연구 동기 및 목표

• 대수적으로 닫힌 체를 초월하여 이차형식 패러미터족의 기저 위치에서 최대 선형 공간의 패러미터화된 다양체의 기하학적 및 산술적 이론을 확장하는 것.
• 특성 ≠ 2인 임의의 체 위에서 피카르 다양체와 패러미터화된 다양체의 분리된 합집합에 표준적인 교환 대수적 군 구조를 수립하는 것.
• 구축된 군 법칙을 통해 패러미터화된 다양체의 토르서를 J[4] 및 J[2]로 표준적으로 리프팅함으로써 2-강하 및 셀머 군 통계에의 적용을 가능하게 하는 것.
• 일반적인 패러미터족에서 정규 패러미터족(단순 원뿔 특이점만을 갖는 경우)으로 결과를 일반화하여, 히퍼엘리프틱 곡선의 야코비안과의 연결을 확장하는 것.

제안 방법

• 패러미터족의 판별식에 의해 정의된 히퍼엘리프틱 곡선 C에 대해, G = Pic⁰(C) ⊔ F ⊔ Pic¹(C) ⊔ F′의 교환 대수적 군 G를 구성한다.
• G⁰ = Pic⁰(C)가 되도록 G에 군 법칙 +G 를 도입하며, 구성 성분 군은 Z/4Z이며, 역원에 의한 사상으로 F′가 F와 동형임을 보장한다.
• 패러미터족과 관련된 자기수반 연산자 T를 사용하여, 기저 위치에 포함된 선형 공간 내의 일반화된 고유공간과 등방성 2차원 평면을 분석한다.
• 분리적 폐쇄 위에서의 판별 다항식 f(x)의 구조와 그 인수분해를 분석함으로써 기저 위치 내 선형 공간을 분류하기 위해 감소 이론을 적용한다.
• 다양한 특이점에 대한 패러미터화된 다양체 간의 순환적 전단사 사상 δ를 사용하며, 안정자 크기를 유지하고, 정리 3.36에 의해 알려진 경우로 축소한다.
• k̄ 위에서의 등방성 2차원 평면 내 해를 세기 위해 명시적인 선형 계열과 행렬 조건(예: Γi, Ωi 계수를 가진 3×4 행렬)을 유도한다.

실험 결과

연구 질문

• RQ1 특성 ≠ 2인 임의의 체 위에서 이차형식 패러미터족의 기저 위치에서 최대 선형 공간의 패러미터화된 다양체는 어떻게 행동하는가?
• RQ2 관련된 히퍼엘리프틱 곡선의 야코비안을 확장하는 피카르 다양체와 패러미터화된 다양체의 합집합에 표준적인 교환 대수적 군 구조를 구성할 수 있는가?
• RQ3 패러미터화된 다양체와 판별 곡선의 야코비안의 2- torsion 및 4- torsion 부분군 사이의 정확한 관계는 무엇인가?
• RQ4 패러미터족이 정규적(단순 원뿔 특이점만을 갖는 경우)일 때와 일반적인 경우에 비해 패러미터화된 다양체의 기하학적 및 산술적 구조는 어떻게 변화하는가?
• RQ5 패러미터화된 다양체의 야코비안 위의 토르서는 J[4] 또는 J[2]로 표준적으로 리프팅될 수 있으며, 이러한 리프팅의 기하학적 의미는 무엇인가?

주요 결과

• P^{2n+1} 내 일반적인 이차형식 패러미터족의 기저 위치에서 (n−1)-평면의 패러미터화된 다양체 F는 관련된 종수 n인 히퍼엘리프틱 곡선 C의 야코비안 J 위의 토르서이다.
• 구성 성분 군이 Z/4Z인 G = Pic⁰(C) ⊔ F ⊔ Pic¹(C) ⊔ F′에 대해, H = Pic(C)/D₀ 위의 군 법칙을 확장하는 유일한 교환 대수적 군 구조 +G 가 존재한다.
• 패러미터화된 다양체 F는 F[4] = {X ∈ F | X +G X +G X +G X = 0}를 통해 J[4] 위의 토르서로 표준적으로 리프팅되며, 이는 표준적인 4- torsion 구조를 제공한다.
• Pic¹(C)(k) ≠ ∅일 경우, F는 J 위의 순서 2인 토르서이며, F[2]_{[D₁]} = {X ∈ F | X +G X = [D₁]}를 통해 J[2] 위의 토르서로 표준적으로 리프팅된다.
• C 위의 유리 웨이어스트점 또는 비웨이어스트점 P에 대해, 리프팅 F[2]_P는 P를 포함하는 선형 공간을 통해 기하학적으로 기술될 수 있으며, 이는 산술적 응용을 가능하게 한다.
• 기저 위치 내 k̄-유리 최대 선형 공간의 수는 N = 2n+1 이 홀수일 때 2^{2n}이고, N = 2n+2 가 짝수일 때도 2^{2n}이며, k̄ 위에서 알려진 기하학적 수와 일치한다.