[논문 리뷰] Some singular curves and surfaces arising from invariants of complex reflection groups

Cédric Bonnafé|arXiv (Cornell University)|2018. 07. 03.

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

한 줄 요약

이 논문은 GL₃(ℂ) 및 GL₄(ℂ) 내의 원시 복소 반사군의 불변량을 사용하여 극도로 특이적인 사영 곡선과 곡면을 구성한다. Shephard-Todd 군에 대한 Magma 계산을 활용하여, 최대 특이점 수에 대한 새로운 하한을 도출한다. 특히, 14차 곡선에 42개의 쿠스프(각도 A₂)가 존재하며, 18차 곡선에 36개의 E₆ 특이점이 존재하고, 8, 12, 24차 곡면에 각각 48, 160, 1,440개의 D₄ 특이점이 존재한다. 이는 이전의 하한을 크게 향상시키며, 사카이와 미야오카가 제시한 이론적 상한에 가까워진다.

ABSTRACT

We construct highly singular projective curves and surfaces defined by invariants of primitive complex reflection groups.

연구 동기 및 목표

• GL₃(ℂ) 및 GL₄(ℂ) 내 유한 복소 반사부분군의 불변량으로부터 특이 곡선과 곡면을 체계적으로 탐색하는 것.
• 주어진 차수의 곡선과 곡면에서 특정 유형(A₂, E₆, D₄)의 최대 특이점 수에 대한 기존 하한을 향상시키는 것.
• 이러한 구성이 사카이와 미야오카가 확립한 이론적 상한에 얼마나 가까운지 조사하는 것.
• 미야오카의 D₄ 특이점에 대한 상한이 A형이 아닌 특이점에 대해서도 날카롭게 성립함을 보이는 것.
• 재현 가능성과 결과 검증을 위해 명시적인 Magma 코드와 다항식을 제공하는 것.

제안 방법

• Shephard-Todd의 복소 반사군 분류를 활용하여 분석을 위해 원시 군 G₂₄, G₂₆, G₂₈, G₂₉, G₃₂를 선정한다.
• 군 작용의 동차 불변량 f₁,…,fₙ을 계산하여 곡선과 곡면을 정의하는 다항식 방정식을 생성한다.
• 불변량의 선형 조합을 통해 곡선과 곡면의 붓을 구성하고, 대수기하학 도구를 사용해 그 특이점을 분석한다.
• Magma를 사용해 특이점의 유형과 다중도, 미뉴르 수, 몫 특이점 분류를 계산한다.
• 사카이(에이₂ 특이점에 대해) 및 미야오카(D₄ 특이점에 대해)의 알려진 상한을 활용해 구성으로부터 도출된 하한과 비교한다.
• 명시적인 다항식 구성과 이전 연구, 특히 프리프린트 및 계산 자료 저장소를 참조하여 결과를 검증한다.

실험 결과

연구 질문

• RQ1 GL₃(ℂ) 및 GL₄(ℂ) 내 복소 반사군의 불변량을 사용해 이전에 알려진 바보다 더 많은 특이점을 가진 곡선과 곡면을 구성할 수 있는가?
• RQ2 주어진 차수의 곡선이나 곡면에서 A₂, E₆, 또는 D₄ 특이점의 최대 수는 얼마인가?
• RQ3 이러한 구성이 미야오카가 확립한 D₄ 특이점에 대한 이론적 상한에 얼마나 가까운가?
• RQ4 이러한 구성은 이전에 기록되지 않은 특이점 구성이나 큰 자동사상군을 가진 다양체를 제공하는가?
• RQ5 Sarti의 12차 곡면 및 기타 알려진 예시들이 군론적 및 계산적 방법을 통해 ℚ 위에서 정의 가능함을 보일 수 있는가?

주요 결과

• G₂₄를 사용하여 14차 곡선에 42개의 쿠스프(A₂ 특이점)를 가지는 예를 구성하였으며, 이는 기존 하한을 향상시키고 이론적 상한 55에 가까워진다.
• G₂₆를 사용하여 18차 곡선에 36개의 E₆ 특이점을 가지는 예를 구성하였으며, 이는 이 차수와 특이점 유형에서 이전에 기록되지 않은 새로운 예이다.
• 8, 12, 24차 곡면에 대해 각각 48, 160, 1,440개의 D₄ 특이점을 가지는 새로운 하한을 확립하였으며, 이는 이전 결과를 크게 향상시킨다.
• μ_D₄(24) ≥ 1,440 이라는 하한이 날카롭다는 것이 입증되었으며, 이는 미야오카의 상한 1,736에 매우 가까워, 비A형 특이점에 대해서도 미야오카의 상한이 거의 최적임을 시사한다.
• 8차 곡면에 48개의 D₄ 특이점이 존재하는 구성은 모든 특이점이 유리적임을 확인하였고, Sarti의 12차 곡면이 자동사상군 이론을 통해 ℚ 위에서 정의 가능함을 보였다.
• 재현 가능성을 높이기 위해 G₃₂ 및 기타 군에 대해 명시적인 Magma 코드와 다항식을 제공하였으며, 이는 결과 검증과 향후 연구를 지원한다.