On equations of fake projective planes with automorphism group of order $21$

Each language version is independently generated for its own context, not a direct translation.

1. 배경: 보이지 않는 성 (가짜 사영 평면)

수학자들은 오랫동안 '가짜 사영 평면'이라는 이상한 성을 알고 있었습니다.

정체: 이 성은 겉보기에는 우리가 아는 평범한 구 (球) 모양의 공간과 똑같은 특징을 가지고 있지만, 실제로는 그 내부 구조가 완전히 다릅니다.
문제: 수학자들은 이 성이 존재한다는 것을 증명했지만, **"이 성의 정확한 모양을 그리는 설계도 (방정식)"**를 찾지 못했습니다. 마치 "저기 성이 있다"는 말만 듣고, 그 성의 정확한 주소와 내부 구조를 모르는 상태였죠.

2. 저자의 접근법: 거대한 퍼즐 조각 (돌가체프 표면)

저자 레브 보리소프 (Lev Borisov) 는 이 성을 직접 그리는 대신, 그 성을 만드는 **'거대한 공터 (Dolgachev surface)'**를 먼저 설계하기로 했습니다.

비유: 가짜 사영 평면이라는 성은 이 거대한 공터 위에 특수한 조건을 적용하면 만들어지는 '미니멀한 버전'입니다.
전략: 저자는 이 공터가 가진 **2 개의 기둥 (이중 섬유)**과 **3 개의 기둥 (삼중 섬유)**이라는 특수한 구조를 이용해, 공터의 설계도를 9 개의 변수 (파라미터) 로 구성된 방정식 세트로 만들었습니다.

3. 여정의 단계: 설계도에서 성까지

1 단계: 거대한 방정식 풀기 (9 개의 변수)

저자는 공터의 설계도를 만들기 위해 1,600 개가 넘는 복잡한 규칙 (연립방정식) 을 풀어야 했습니다.

도구: 사람이 손으로 풀 수 없는 이 방정식들을 해결하기 위해 **컴퓨터 (Mathematica)**를 사용했습니다.
결과: 9 개의 변수를 가진 거대한 설계도 세트를 완성했습니다. 하지만 이 설계도에는 아직 성이 만들어질 '특수한 조건'이 부족했습니다.

2 단계: 특수한 조건 추가 (파라미터 줄이기)

이제 이 공터가 가짜 사영 평면이 되려면, 특정 부분 (특수한 섬유) 에 두 개의 평행한 선이 있어야 한다는 조건을 추가했습니다.

과정: 9 개였던 변수를 5 개, 다시 2 개로 줄여나가는 과정이었습니다. 마치 "이 성을 만들려면 이 두 벽이 반드시 평행해야 한다"는 조건을 넣어 설계도를 수정해 나가는 것과 같습니다.

3 단계: 작은 마을에서 실마리 찾기 (유한체 탐색)

설계도가 너무 복잡해서 직접 해답을 찾기 어려웠습니다. 그래서 저자는 **작은 마을 (유한체, 소수 79)**로 여행을 떠났습니다.

비유: 거대한 성을 바로 짓기 어려우니, 먼저 아주 작은 모형 (소수 79 에 대한 계산) 을 만들어보았습니다.
발견: 이 작은 마을에서 "아, 이 조건을 만족하면 성의 특정 모서리가 찌그러진다 (특이점)"는 것을 발견했습니다. 이 찌그러진 부분이 바로 가짜 사영 평면이 만들어지는 핵심 단서였습니다.

4 단계: 거대한 성으로 복원 (수학적 추론)

작은 마을에서 찾은 단서 (수 79) 를 바탕으로, 저자는 **수학적 추론 (p-진수)**을 통해 원래의 거대한 성의 설계도를 복원했습니다.

결과: 복잡한 숫자들을 분석하여, 이 성이 $\sqrt{-7}$ 이라는 특수한 숫자 체계 위에서 존재한다는 것을 밝혀냈습니다.

5 단계: 성의 정체 확인 (카트라이트 - 스테거 분류)

이제 성을 지었지만, 이것이 정확히 어떤 성인지 확인해야 했습니다.

방법: 성의 내부에 숨겨진 **비틀림 (Torsion)**이라는 요소를 찾아냈습니다. 마치 성의 벽돌을 하나씩 떼어내어 "이 벽돌은 2 번 돌리면 제자리로 돌아온다"는 특징을 발견한 것입니다.
판단: 이 특징을 통해 이 성이 기존에 알려진 '케움 (Keum) 의 성'이 아니라, **새로운 성 (C20 클래스)**임을 확인했습니다.

6 단계: 케움의 성도 찾아내다

흥미롭게도, 저자가 처음부터 두 개의 성을 동시에 찾았습니다.

과정: 설계도 과정에서 두 가지 다른 경우 (두 개의 평행한 선이 만나는 방식) 를 발견했고, 하나는 새로운 성을, 다른 하나는 **이미 케움 박사가 발견했지만 방정식이 없었던 '케움의 성'**을 찾아냈습니다.

4. 결론: 새로운 지도의 완성

이 논문은 수학자들이 오랫동안 꿈꿔왔던 가짜 사영 평면의 구체적인 방정식을 처음으로 공개한 것입니다.

의의: 이전에는 "성 exists(존재한다)"는 것만 알았지만, 이제는 **"이 성의 주소와 설계도 (84 개의 3 차 방정식)"**를 손에 쥐게 되었습니다.
미래: 이 새로운 지도를 통해, 아직 설계도가 없는 '머포드의 가짜 사영 평면'과 같은 다른 성들도 찾아낼 수 있는 길이 열렸습니다.

요약

이 논문은 컴퓨터의 힘과 수학적 직관을 결합하여, 보이지 않던 기하학적 성들의 정확한 설계도를 찾아낸 위대한 탐험기입니다. 마치 어둠 속에서 성의 실루엣만 보던 사람들이, 이제 그 성의 벽돌 하나하나까지 그려낸 지도를 손에 쥐게 된 것과 같습니다.

Each language version is independently generated for its own context, not a direct translation.

1. 문제 제기 (Problem)

배경: 가짜 사영 평면은 일반형 (general type) 의 곡면으로, 복소 사영 평면 $\mathbb{CP}^2$ 와 동일한 호지 수 (Hodge numbers) 를 가지지만, 사영 평면과 동형 (isomorphic) 이 아닌 곡면입니다. D. Mumford 가 1979 년에 첫 번째 예를 발견한 이후, Cartwright 와 Steger 는 이러한 곡면이 모두 28 개의 클래스에 속하는 50 개의 켤레 쌍 (conjugate pairs) 으로 분류됨을 증명했습니다.
난제: 기존 분류는 대수적 군론과 산술적 부분군을 기반으로 하지만, 명시적인 다항식 방정식 (explicit polynomial equations) 을 제공하는 방법은 알려져 있지 않았습니다. 자동형 (automorphic forms) 을 명시적으로 구성하는 것이 매우 어렵기 때문입니다.
목표: 저자는 이전 연구들 ([BK20], [BY20] 등) 을 이어받아, 특히 21 개의 자기동형사상 (최대 크기) 을 갖는 가짜 사영 평면 중 J. Keum 이 구성한 곡면과 새로운 한 쌍의 곡면에 대한 명시적인 방정식을 찾는 것을 목표로 합니다.

2. 방법론 (Methodology)

저자는 가짜 사영 평면 $P^2_{fake}$ 의 자기동형군 $C_7$ 에 대한 몫공간을 연구하는 접근법을 취했습니다. 이 몫공간의 최소 분해 (minimal resolution) $Y$ 는 특정한 기하학적 구조를 가집니다.

Dolgachev 곡면의 가족 구성 (Families of Dolgachev Surfaces):
- $Y$ 는 종수 1 의 올다발 (genus 1 fibration) 을 가지며, 2 중 올 (double fiber) 과 3 중 올 (triple fiber) 을 갖는 (2,3)-Dolgachev 곡면으로 모델링됩니다.
- $Y$ 위의 유리 6-단면 (rational 6-section) $S$ 를 도입하여, 등급 환 (graded ring) $R = \bigoplus H^0(Y, \mathcal{O}(aF + bS))$ 을 연구합니다.
- 이 환의 등급 차원 (graded dimension) 을 계산하여, $R$ 이 특정 변수들 ( $u_0, u_1, v_1, v_2$ 등) 로 생성된 자유 가군 (free module) 구조를 가진다고 가정합니다.
- 이 가정에 기반하여, 9 개의 매개변수를 갖는 Dolgachev 곡면 가족의 방정식 (9 개의 2 차식, quadrics) 을 구성하고, 연립방정식 (1600 개 이상) 을 풀어 매개변수를 축소합니다.
특수한 조건 부과 및 매개변수 축소:
- Step 1: 9 매개변수 가족에서 특수한 올 (special fiber) 에 두 개의 서로소 직선이 존재하도록 조건을 부과하여 5 매개변수 가족으로 축소합니다.
- Step 2: 더 나아가, 특수한 올의 교점들에서 특이점 (singularities) 이 노드 (node) 보다 더 심한 (worse-than-nodal) 형태가 되도록 조건을 추가하여 2 매개변수 가족으로 축소합니다.
유한체 축소 및 p-진수 리프팅 (Finite-field Reduction & p-adic Lifting):
- 직접적인 대수적 계산은 방정식의 크기가 너무 커서 불가능했으므로, 유한체 (finite field) 위에서의 계산을 활용했습니다.
- 소수 $p=79$ (및 $p=53$ ) 에서 매개변수 값을 탐색하여, 원하는 특이점 구조를 갖는 해를 찾았습니다.
- 찾은 유한체 해를 $p$ -진수 ($79$-adic) 로 리프팅 (lifting) 하고, 이를 통해 매개변수가 대수적 수 (algebraic numbers) 임을 추론하여 12 차 수체 (number field) 상의 해를 구성했습니다.
- 최종적으로 좌표 변환을 통해 수체 $\mathbb{Q}(\sqrt{-7})$ 위에서 방정식을 표현했습니다.
가짜 사영 평면의 구성 및 식별:
- $Y_0$ (변환된 Dolgachev 곡면) 에서 7 차 갈루아 덮개 (Galois cover) 를 구성하여 가짜 사영 평면 $P^2_{fake}$ 를 얻습니다. 이는 $P^2_{fake} \to Y$ 가 $S, B, C$ 등 9 개의 곡선에서 분기 (ramified) 하는 7 차 덮개임을 이용합니다.
- 식별 (Identification): Picard 군의 2-비틀림 (2-torsion) 원소들을 계산하여, 해당 곡면이 Cartwright-Steger 분류 중 $(a=7, p=2, \{7\}, D_{327})$ (Keum 의 곡면) 인지 아니면 $(C_{20}, p=2, \emptyset, D_{327})$ (새로운 곡면) 인지 판별했습니다. 비틀림 원소의 개수와 $C_3$ -불변성을 통해 분류를 확정했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

새로운 가짜 사영 평면 쌍의 방정식 발견:
- Cartwright-Steger 분류의 $(C_{20}, p=2, \emptyset, D_{327})$ 클래스에 속하는 새로운 가짜 사영 평면 한 쌍에 대한 명시적인 방정식을 최초로 제시했습니다.
- 이 곡면은 21 개의 자기동형사상 ( $C_7 \rtimes C_3$ ) 을 가지며, $\mathbb{CP}^9$ 내의 84 개의 3 차 방정식 (cubic equations) 의 교집합으로 표현됩니다.
J. Keum 의 가짜 사영 평면 방정식 재구성:
- J. Keum 이 [Keu06] 에서 구성한 가짜 사영 평면 $(a=7, p=2, \{7\}, D_{327})$ 에 대한 명시적인 방정식을 구했습니다. 이는 Mumford 의 가짜 사영 평면과 위상적으로 관련이 있는 중요한 곡면입니다.
- 이 과정에서 두 개의 서로 다른 5 매개변수 Dolgachev 곡면 가족을 발견했으며, 각각이 서로 다른 가짜 사영 평면 쌍에 대응됨을 확인했습니다.
계산적 기법의 발전:
- 대수기하학적 문제 해결을 위해 Mathematica, Magma, Macaulay2, PARI/GP, C 등을 활용한 하이브리드 계산 기법을 정교하게 적용했습니다.
- 특히, 유한체 탐색을 통한 매개변수 식별과 p-진수 리프팅을 결합하여, 방정식의 계수가 너무 커서 직접 풀 수 없는 문제를 해결했습니다.
- 비틀림 선다발 (torsion line bundles) 을 이용하여 방정식의 계수를 간소화하는 기법을 적용했습니다.

4. 의의 (Significance)

구체적 예시의 제공: 가짜 사영 평면은 이론적으로 잘 분류되어 왔으나, 실제 다항식 방정식으로 표현된 예시는 극히 드뭅니다. 이 논문은 21 개의 대칭성을 갖는 두 가지 중요한 경우 (Keum 의 곡면과 새로운 곡면) 에 대해 구체적인 방정식을 제공함으로써, 해당 곡면들의 기하학적 성질을 직접 연구할 수 있는 토대를 마련했습니다.
Mumford 곡면으로의 확장 가능성: Keum 의 곡면과 Mumford 의 곡면은 위상적으로 밀접한 관련이 있습니다. 이 연구에서 얻은 방법론과 Keum 곡면의 방정식은, 아직 방정식이 알려지지 않은 Mumford 의 가짜 사영 평면을 찾는 데 결정적인 단서가 될 것으로 기대됩니다.
계산 대수기하학의 성과: 대규모 연립방정식 시스템과 고차원 기하학적 구조를 컴퓨터 대수 시스템을 통해 해결한 사례로서, 현대 대수기하학 연구에서 계산적 방법의 중요성을 다시 한번 입증했습니다.

5. 결론

Lev Borisov 는 21 개의 자기동형사상을 갖는 가짜 사영 평면 두 쌍에 대한 명시적인 방정식을 성공적으로 도출했습니다. 이는 Dolgachev 곡면의 가족을 구성하고, 유한체 탐색과 p-진수 리프팅을 통해 매개변수를 결정하며, 7 차 갈루아 덮개를 구성하는 복잡한 과정을 거친 결과입니다. 이 연구는 가짜 사영 평면의 구체적 이해를 한 단계 진전시켰으며, 향후 Mumford 곡면의 방정식 발견 및 다른 고차원 대수기하학적 문제 해결에 중요한 발판이 될 것입니다.