대칭 자동변환을 가진 입방체 사차곡면 방정식 완전 분류

초록

본 논문은 Laza‑Zheng이 제시한 34개의 군에 대해, 6차원 복소 프로젝트 표현을 이용해 대칭(심플렉틱) 자동변환을 갖는 매끄러운 복소 입방체 사차곡면의 명시적 방정식을 모두 구한다. 각 군에 대한 모듈리 공간의 차원과 연결된 격자 S_G의 랭크를 계산하고, 모듈리 공간이 몇 개의 비가환 성분으로 이루어지는지 판별한다. 특히 6개의 최대 군(A₆, A₇, 3¹⁺⁴:2, 2²·22, M₁₀, L₂(11))에 대해서는 정의체가 Q(또는 √6을 포함한 이차체) 위에 존재함을 보인다.

상세 분석

이 연구는 복소 입방체 사차곡면 X의 대칭 자동변환군 Aut⁽ˢ⁾(X) 를 완전히 기술하는 데 초점을 맞춘다. Laza‑Zheng(LZ22)은 Aut⁽ˢ⁾(X) 가 가질 수 있는 34개의 유한군을 분류했으며, 그 중 6개는 ‘최대군’이라 불린다. 저자는 이러한 군들의 6차원 프로젝트 표현을 조사함으로써, 실제로 X가 존재하는지, 그리고 그 모듈리 공간이 몇 개의 연결 성분을 갖는지를 판별한다. 핵심 방법은 다음과 같다.

1. Schur 커버와 선형 표현: 프로젝트 표현 ρ: G → PGL₅(ℂ)는 중앙 확장 G* = M·G(=Schur 커버) 로 끌어올려 선형 표현 ˜ρ: G* → GL₆(ℂ) 로 바꾼다. 여기서 M ≅ H²(G,ℂˣ) 은 Schur multiplier이며, M이 스칼라 행렬로 작용하도록 제한한다. 이는 프로젝트 표현이 실제로 X에 작용하기 위한 필수 조건이다.

2. 문자표와 절대 트레이스: 각 군의 문자표를 GAP 데이터베이스에서 가져와, 절대 트레이스 |Tr g| (g의 고윳값 합의 절대값) 를 계산한다. 이 값은 2‑8 차수의 대칭 자동변환의 정규형과 일치해야 하므로, 가능한 ρ를 빠르게 걸러낼 수 있다.

3. 불변 삼차형 공간 V₃(ρ): ˜ρ에 대해 불변 삼차형들의 벡터 공간 V₃(ρ)=C