Some lower bounds for the maximal number of A-singularities in algebraic surfaces. II

1. 연구 배경 및 문제 제기 (Problem Statement)

• 연구 주제: 복소 사영 공간 $\mathbb{P}^3(\mathbb{C})$ 내의 $d$ 차 대수적 곡면에서 특정 유형의 특이점 (특히 A-유형 특이점, $A_\nu$) 이 가질 수 있는 최대 개수를 결정하는 것은 대수기하학의 고전적인 문제입니다.
• 현재 상황:
  • $d$ 차 곡면에서 A-유형 특이점의 최대 개수에 대한 상한 (Upper bounds) 은 기존 연구 [23, 20] 에서 제시되었습니다.
  • 하한 (Lower bounds) 은 여러 논문 [7, 19, 9, 11, 14 등] 을 통해 구해졌으며, 낮은 차수의 경우 더 나은 하한을 제공하는 명시적 구성법 [6, 17, 22 등] 이 존재합니다.
  • 그러나 상한값의 정확한 값은 몇몇 특수한 경우 [3, 16] 를 제외하고는 알려져 있지 않습니다.
• 본 연구의 목적: 최근 논문 [14] 에서 $d=3q$ 차 곡면과 많은 수의 A-특이점을 가진 곡면 구성법이 제시되었으나, 이는 일부 경우에만 적용되었습니다. 본 논문은 [14] 의 구성법을 확장하여 추가적인 경우들에 대한 A-특이점의 최대 개수에 대한 하한값을 도출하는 것을 목표로 합니다.

2. 방법론 (Methodology)

본 논문은 다항식 (Polynomials) 의 임계점 (Critical points) 구조와 평면 트리 (Plane trees) 이론을 결합하여 새로운 대수적 곡면을 구성합니다.

2.1. 다항식 및 트리 표현 (Belyi Polynomials and Trees)

• Belyi 다항식: 두 개 이하의 서로 다른 임계값을 갖는 단변수 다항식은 이색 (bicoloring) 을 가진 평면 트리로 표현될 수 있습니다.
  • 검은색/흰색 꼭짓점은 임계값 $\zeta = -1, 1$을 나타내며, 꼭짓점의 차수 (Degree) 는 임계점의 중복도 (Multiplicity) 와 관련이 있습니다 ($\text{차수} - 1$).
• 초기 다항식 ($B^{(t)}$): [14] 에서 제시된 $B^{(1)}, B^{(2)}, B^{(3)}$ 다항식들을 초기 트리 ($T_{\nu,0}$) 로 사용합니다.

2.2. 트리 변환 및 언어 이론 (Tree Transformations and Formal Language)

• 변환 규칙: 초기 트리에서 새로운 트리 (및 이에 대응하는 다항식 $G^{(t)}$) 를 생성하기 위해 일련의 변환 (Substitution rules) 을 적용합니다.
  • Case $t=1, 3$: 알파벳 $\Sigma = \{\alpha, \beta\}$를 사용합니다.
    • $\alpha$: 차수 $d$를 $\nu+1$만큼 증가시키고, $N_{-1}$을 1 증가시킵니다.
    • $\beta$: 차수 $d$를 $\nu+1$만큼 증가시키고, $N_{-1}$을 1 증가시키며, $N_1$을 $\lfloor \nu/2 \rfloor$만큼 증가시킵니다.
  • Case $t=2$: 알파벳 $\Sigma = \{\alpha, \beta, \gamma, \delta, \bar{\delta}\}$를 사용하여 더 복잡한 변환을 수행합니다.
• 허용된 단어 (Admissible Words): 변환을 통해 생성된 모든 트리들이 특정 조건 (Condition E) 을 만족하도록 하는 단어들의 집합을 언어 $L_E$로 정의합니다.
  • Condition (E): $(d, N_{-1}(G, \nu), N_1(G, \nu))$가 특정 부등식 관계를 만족해야 합니다. 이는 생성된 다항식이 원하는 특이점 구조를 갖기 위한 필수 조건입니다.
• 무한 언어: $\nu=2$인 경우 언어 $L_E$가 무한함을 증명하여, 임의의 높은 차수에서도 하한값을 확장할 수 있음을 보였습니다.

2.3. 곡면 구성 (Surface Construction)

• 곡면 방정식: 새로운 다항식 $G^{(t)}$와 기존에 알려진 다변수 다항식 $J_d(x, y)$를 결합하여 곡면 $S_J$를 정의합니다.
  • 방정식 형태: $J_d(u, v) + U^{(t)}_{d, \nu, \epsilon}(w) = 0$ (여기서 $U$는 $G$를 변형한 다항식).
• 특이점 계산: 곡면의 특이점 개수는 $J_d$의 임계점 수와 $G^{(t)}$의 임계점 수를 곱하고 합산하는 방식으로 유도됩니다.

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

3.1. 새로운 다항식 계열의 구성

• [14] 의 구성법을 일반화하여 $B^{(t)}$를 초기값으로 하는 새로운 다항식 계열 $G^{(t)}_{d, \nu, \epsilon}$을 정의했습니다.
• 이 다항식들은 평면 트리에 적용된 변환 규칙에 의해 생성되며, 조건 (E) 을 만족하는 무한한 수의 다항식을 제공합니다.

3.2. A-특이점 개수에 대한 하한값 도출 (Theorem 3.3)

$d=3q$ 차 대수적 곡면 $S_J$에 대해 다음과 같은 A-특이점 ($A_\nu$) 의 개수 하한을 제시했습니다.

• $\nu > 2$인 경우:
  $$N(S_J, A_\nu) = \frac{d(d-1)}{2} \left\lfloor \frac{d}{\nu+1} \right\rfloor + \frac{d(d-3)}{3} + 1$$
  이 식은 $J_d$의 임계점 수와 $G$의 임계점 분포를 결합하여 유도되었습니다.

• $\nu = 2$인 경우 ($d=3(h+3)$):
  $$N(S_J, A_2) = \frac{3(h+3)^2(3h+8)}{2} + (3(h+3)(h+2)+1)\left(1 + \left\lfloor \frac{h}{2} \right\rfloor\right)$$
  이는 $h \ge 0$인 정수에 대해 성립합니다.

3.3. 기존 결과와의 비교 및 개선

• [19] 에서 연구된 곡면 $S_F$ (Folding polynomial 기반) 와 비교했을 때, 본 논문에서 구성한 곡면 $S_J$는 더 많은 특이점을 가집니다.
  • $S_J$는 $S_F$보다 $\left(1 + \lfloor h/2 \rfloor\right)$개의 더 많은 cusps ($A_2$) 와 $\nu > 2$인 경우 하나의 추가적인 $A_\nu$ 특이점을 가집니다.
• 따라서, $\nu > 1$인 경우 $\mu_{A_\nu}(d) \ge N(S_J, A_\nu)$라는 하한값이 성립함을 보였습니다.

4. 의의 및 결론 (Significance)

• 구성법의 확장: [14] 에서 다루지 않았던 다양한 경우 (특히 $t=2$에 해당하는 복잡한 트리 구조 및 다양한 $\nu$ 값) 에 대해 A-특이점의 하한값을 체계적으로 확장했습니다.
• 하한값의 정밀화: 기존에 알려진 하한값보다 더 높은 수의 특이점을 갖는 대수적 곡면을 명시적으로 구성함으로써, A-특이점의 최대 개수에 대한 상한값과 하한값 사이의 간극을 좁히는 데 기여했습니다.
• 이론적 통합: Belyi 다항식, 평면 트리, 그리고 대수적 곡면의 특이점 이론을 통합하여, 특이점의 생성 메커니즘을 언어 이론 (Formal Language) 을 통해 설명하는 새로운 접근법을 제시했습니다.
• 수학적 의미: 이 결과는 대수기하학에서 특이점의 분포와 최대 개수 문제를 해결하는 데 중요한 발자국이 되며, 특히 $d=3q$ 형태의 곡면에서 특이점의 극대화 문제에 대한 새로운 통찰을 제공합니다.

요약하자면, 이 논문은 트리 기반의 다항식 변환 기법을 활용하여 대수적 곡면의 A-특이점 개수에 대한 새로운 하한값을 증명하고, 기존 구성법보다 더 많은 특이점을 갖는 곡면을 제시함으로써 해당 분야의 지평을 넓혔습니다.