Corrigendum to "Nonsymplectic automorphisms of prime order on O'Grady's sixfolds"

기술 요약: "O'Grady의 6차 다양체 상의 소수 차수 비심플렉틱 자기동형사상"에 대한 정오표

문제 제기
본 노트는 O'Grady 6차 다양체(OG6 type) 상에서 작용하는 유효한 비심플렉틱 소수 차수 자기동형군 $G \subset O(L)$과 관련된 불변 및 공변 부분 격자(sublattice)의 격자론적 연구에서 나타난 분류상의 공백을 다룬다. 기존 문헌 [3]에서 저자들은 $L \cong U^{\oplus 3} \oplus [-2]^{\\oplus 2}$인 제2 정수 코호몰로지 격자(Beauville–Bogomolov–Fujiki 이차 형식 부착)에 작용하는 비심플렉틱 자기동형군을 분류하고자 시도하였다. 기존의 분류는 특정 불변 및 공변 부분 격자 쌍 $(L^G, L_G)$에 대한 누락된 사례들을 포함하고 있었으며, 일부 경우에는 관련 표에 잘못된 항목이나 중복된 항목이 존재하였다.

방법론
저자들은 컴퓨터 대수 시스템인 OSCAR [2]를 활용하여, 특히 Brandhorst와 Hofmann [1]이 개발한 알고리즘을 사용하여 계산적 접근 방식을 채택한다. 분류 전략은 다음과 같은 단계에 의존한다:

1. 등거리 사상으로의 축소: [3, Proposition 3.4]에 따라, 문제는 불변 격자 $L^G$가 부호(signature) $(1, *)$를 갖는 소수 차수 $p \in \{2, 3, 5, 7\}$의 유한 부분군 $G \subset O(L)$를 분류하는 문제로 축소된다.
2. 생성자 조건: 저자들은 다음 두 조건을 만족하는 공액 클래스의 등거리 사상 $g \in O(L)$의 대표원들을 식별한다:
   • 불변 격자 $L^g$의 부호는 $(1, *)$이다.
   • 실 이차 공간 $\ker((g + g^{-1}) - (\zeta + \zeta^{-1})\text{id})$의 부호는 $(2, *)$이다 (여기서 $\zeta$는 원시 $p$제곱근이다). 이는 $g$(또는 $g^{-1}$)가 순환군의 구별된 생성자임을 보장한다.
3. 알고리즘 실행: 저자들은 [1]의 알고리즘 1, 2, 3, 8(OSCAR에 구현됨)을 적용하여 불변 및 공변 격자의 등거리 클래스를 결정한다.
4. 검증 및 수정: 저자들은 [3, Tables 1–5]에 나열된 쌍 $(L^G, L_G)$를 체계적으로 재검토한다. 이 과정에서 누락된 직교 보공(orthogonal complement)을 식별하고, 격자 등거리 사상(특히 $[2] \oplus [-4] \cong [-2] \oplus [4]$)으로 인해 발생하는 중복을 탐지하며, 특정 인볼루션(involution)의 존재를 검증한다.

주요 기여 및 결과
본 노트의 주요 결과는 분류를 수정 및 완성하는 것이며, 이를 통해 $L$ 상의 유효한 비심플렉틱 군 $G$의 공액 클래스가 정확히 45개임을 확립한다.

기존 표에 대한 구체적인 수정 사항은 다음과 같다:

• 누락된 사례: 저자들은 누락된 여러 불변 및 공변 부분 격자 쌍을 식별하여 추가하였다. 주목할 만한 추가 사항은 다음과 같다:
  • 표 1에서의 $(\Lambda^G, \Lambda_G) = (U^{\oplus 3} \oplus [-2], U \oplus [2])$.
  • $U^{\oplus 2} \oplus A_3(-1)$와 같은 직교 보공을 포함하는 표 2의 새로운 항목들.
  • 표 3에서 특정 부분 격자 $S$에 대한 누락된 직교 보공 $T$ (예: $T = U(2) \oplus [-4]$ 및 $T = U \oplus A_3(-1)$).
  • 표 5에서의 누락된 쌍, $(L^G, L_G) = (U \oplus [2] \oplus [-2]^{\oplus 3}, U(2))$를 포함함.
• 중복 제거: [3, Table 3]의 항목들(구체적으로 Nos. 9, 10, 15, 16, 19, 20)은 격자 등거리 사상 $[2] \oplus [-4] \cong [-2] \oplus [4]$로 인해 다른 항목의 중복임이 확인되어 수정된 표 3에서 제거되었다.
• 오류 수정: [3, Table 5]의 잘못된 항목(No. 24)을 식별하여 수정하였다. 원래의 항목은 격자 $U^{\oplus 3} \oplus [-2]^{\oplus 2}$ 내에 존재하지 않는 원시 확장(primitive extension)을 제안하고 있었다.
• 인볼루션의 완결성: 저자들은 표 3의 어떤 항목이 $L$의 실제 인볼루션에 해당하는지를 명확히 하였으며, 연관된 공변 격자가 인볼루션으로부터 발생함을 나타내기 위해 특정 누락 사례에 클로버 기호("♣")를 표시하였다.

의의
본 논문은 [3]에서 제시된 분류에 대한 "완전한 수정 목록"을 제공하는 것을 목적으로 한다고 겸허하게 주장한다. 누락된 사례를 바로잡고 중복을 제거함으로써, 저자들은 OG6 다양체 상의 비심플렉틱 자기동형사상에 대한 격자론적 분류를 완결지었다. 수정된 표(1부터 5까지)는 이제 불변 및 공변 부분 격자의 등거리 클래스와 그와 관련된 군의 공액 클래스 수를 정확하게 반영한다. 이 수정은 유효한 비심플렉틱 등거리 사상의 분류를 토대로 후속 이론적 발전을 도모하려는 연구자들에게 필수적이다.