[논문 리뷰] Computing A1-Euler numbers with Macaulay2

Sabrina Pauli|arXiv (Cornell University)|2020. 03. 03.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 6

한 줄 요약

이 논문은 매클로리2를 사용하여 그라스만만다르 위의 벡터(bundle)의 A¹-Euler 수를 계산하는 계산적 프레임워크를 제시한다. 이는 그로텐디에크-위트 링 GW(k) 내의 강화된 수를 통해 이루어지며, 특별히 Q 및 F_p 위에서 Sym³S*→Gr(2,4)의 A¹-Euler 수가 15⟨1⟩+12⟨−1⟩임을 증명하는 데 새로운 방법을 제공한다. 이를 위해 야코비안 행렬식과 추적 형식을 이용해 국소 A¹-차수를 계산한다. 이 방법은 푸크시안 특이점에 대한 A¹-Milnor 수의 명시적 계산을 가능하게 한다.

ABSTRACT

We use Macaulay2 for several enriched counts in GW(k). First, we compute the count of lines on a general cubic surface using Macaulay2 over Fp in GW(Fp) for p a prime number and over the rational numbers Q in GW(Q). This gives a new proof for the fact that the count of lines on a cubic surface is 3+12h in GW(k) where h denotes the hyperbolic form. Then, we compute the count of lines in P3 meeting 4 general lines, the count of lines on a quadratic surface meeting one general line and the count of singular elements in a pencil of degree d-surfaces. Finally, we provide code to compute the EKL-form and compute several A1-Milnor numbers.

연구 동기 및 목표

• Macaulay2를 사용하여 Q 및 F_p 위에서 벡터 번들 Sym³S*→Gr(2,4)의 A¹-Euler 수에 대한 계산적 증명을 제공한다.
• 유한체 및 수체 위에서 국소 A¹-차수와 추적 형식을 통해 GW(k) 내의 강화된 수를 어떻게 계산할 수 있는지 보여준다.
• 이 방법을 다른 기하학적 계수, 예를 들어 P³에서 네 개의 일반적인 직선과 만날 직선과 2차 곡면 위의 직선 수와 같은 경우로 확장하여 A¹-Euler 수를 계산한다.
• EKL-형식을 사용하여 푸크시안 특이점에 대한 A¹-Milnor 수를 계산하고, Macaulay2를 통해 결과를 검증한다.

제안 방법

• Macaulay2를 사용하여 Gr(2,4)의 약한 열린 부분집합에 제한된 섹션 σ_F의 야코비안 행렬식을 계산한다. 이는 P³ 내의 직선에 대응한다.
• 각 섹션의 영점(즉, 입체 표면 위의 직선)에 대해, 잔여체 내에서 야코비안 행렬식의 추적을 통해 국소 A¹-차수를 계산한다.
• GW(F_j) 내에서 이러한 추적 형식의 합으로 A¹-Euler 수를 구성하고, 추적 사상들을 통해 GW(k)로 이행한다.
• F_p 위에서는 결과 형식의 질량과 판별식을 계산하여 GW(F_p) 내에서의 동치류를 결정한다.
• Q 위에서는 형식의 그람 행렬을 계산하고 그 부호를 평가하여 실수 Eule 수를 결정한다.
• 위트-가치 특성류 이론과 EKL-형식을 사용하여 특이점에 대한 A¹-Milnor 수를 계산한다.

실험 결과

연구 질문

• RQ1 Q 및 F_p 위에서 벡터 번들 Sym³S*→Gr(2,4)의 A¹-Euler 수는 무엇이며, Macaulay2를 사용해 알고리즘적으로 계산할 수 있는가?
• RQ2 GW(k) 내의 강화된 수를 통해 고전적인 27개의 직선을 부호를 포함해 GW(k)에서 복원할 수 있는가?
• RQ3 EKL-형식과 Macaulay2를 사용해 초곡면 특이점의 A¹-Milnor 수를 어떻게 계산할 수 있는가?
• RQ4 P³에서 네 개의 일반적인 직선과 만날 직선에 대응하는 ⨁_{i=1}^4 ∧²S*→Gr(2,4) 번들에 대한 A¹-Euler 수의 구조는 무엇인가?
• RQ5 이 방법은 A¹-Euler 수 분류에서 형식 (2)와 (3)을 구별할 수 있는가?

주요 결과

• F_32003 위에서 Sym³S*→Gr(2,4)의 A¹-Euler 수는 질량 27, 판별식 1인 형식으로 계산되었으며, 이는 GW(F_32003) 내에서 15⟨1⟩+12⟨−1⟩임을 확인한다.
• Q 위에서 A¹-Euler 수의 부호는 3이며 질량는 27이다. 2가 Q 내에서 제곱수일 수 없기 때문에, 이 형식은 반드시 15⟨1⟩+12⟨−1⟩여야 하며, 이는 [KW17]의 결과에 대한 새로운 증명을 제공한다.
• P³에서 네 개의 일반적인 직선과 만날 직선의 수는 GW(F_11) 내에서 e^A¹(⨁_{i=1}^4 ∧²S*→Gr(2,4))를 통해 계산되었으며, 이는 유리 직선 1개, 차수 2 확장 1개, 차수 8 확장 3개를 포함한다.
• 푸크시안 특이점에 대한 A¹-Milnor 수는 계산되어 목록화되었으며, 예를 들어 μ^A¹(E_12) = 6H 및 μ^A¹(Z_11) = 5H + ⟨−6⟩와 같은 결과를 얻었다.
• 이 방법은 여러 특이점에 대해 EKL-형식과 추적 형식을 성공적으로 계산하였으며, 재현 가능성을 위해 Macaulay2 코드를 제공하였다.
• F_11 위에서의 계산은 국소 차수들이 차수 1, 2, 8인 체 확장에 대응함을 보여주며, 직선 수의 기하학적 분해를 확인한다.