Counting w-coprime S-integers and S-integral ideals in positive characteristic

기술 요약: 양의 표수에서 $w$-상대소 원 $S$-정수 및 $S$-정수 아이디얼의 계수

문제 정의
본 연구는 대수적 함수율(algebraic function fields)의 맥락에서 $w$-상대소(w-coprime) 튜플을 계수하는 문제를 다룬다. 저자들은 두 가지 관련된 계수 문제를 조사한다:

1. $w$-상대소 $S$-정수: 함수율 $K$의 $S$-정수 환 $O_S$의 원들의 $m$-튜플 $(a_1, \dots, a_m)$ 중, 생성된 아이디얼이 임의의 소수의 $w$제곱 $\mathfrak{q}^w$ (여기서 $\mathfrak{q}$는 $O_S$의 소 아이디얼)에 포함되지 않는 경우를 계수하며, 이는 유한한 소 약수 집합 $S$에서의 밸류에이션(valuation) 제약을 따른다.
2. $w$-상대소 $S$-정수 아이디얼: 동일한 $w$-상대소 조건을 만족하면서 아이디얼의 차수(degree)에 대한 제약을 따르는 $O_S$의 정수 아이디얼 $m$-튜플 $(\mathfrak{a}_1, \dots, \mathfrak{a}_m)$을 계수한다.
   $w$-상대소 개념은 표준적인 상대소(where $w=1$)와 제곱 자유(square-free) 조건(where $w=2$ and $m=1$)을 일반화한다. 본 연구는 $K$가 유한체 $\mathbb{F}_q$ 위의 대수적 함수율이고 상수체(field of constants)가 $\mathbb{F}_q$인 양의 표수 환경에서 수행된다.

방법론
증명은 세 가지 주요 수학적 도구의 합성을 바탕으로 한다:

1. 포함-배제의 원리: 저자들은 $\text{Div}_S$(소수 이외의 소수들에 의해 생성되는 divisor들의 군)에 적응된 뫼비우스 반전 공식(Möbius inversion formula)을 활용한다. 이들은 튜플이 $\mathfrak{q}^w$에 포함되는 "나쁜" 성질을 갖지 않도록 격리하기 위해 divisor와 아이디얼에 대한 뫼비우스 함수 $\mu_S$를 정의한다.
2. 리만-로흐 정리(Riemann-Roch Theorem): 이 정리는 특정 divisor와 연관된 리만-로흐 공간 $L(D)$의 차원 $\ell(D)$를 추정하는 데 사용된다. 이 차원은 $S$-정수의 밸류에이션 제약을 만족하는 집합의 카디널리티를 결정한다. 저자들은 divisor의 차수가 작은 경우($2g_K - 1$ 미만)와 큰 경우를 함수율의 종수(genus) $g_K$를 사용하여 주의 깊게 구분하여 처리한다.
3. 바일의 정리(Weil's Theorem) 및 제타 함수: 계수 함수의 점근적 거동은 $S$-제타 함수 $\zeta_S(s)$의 성질을 통해 도출된다. 저자들은 함수율 상의 제타 함수의 해석적 성질, 특히 극(pole)의 구조와 함수 방정식의 분자 부분이 다항식이라는 점(바일의 정리)을 활용하여 주 항(main term)을 평가하고 오차 항을 제한한다.

주요 기여 및 결과

• 정리 1 (계수 $w$-상대소 $S$-정수):
  본 논문은 특정 경계 영역 $\vec{N}$으로 정의된 $w$-상대소 $m$-튜플의 개수인 $V^w_m(\vec{N})$에 대한 점근 공식(asymptotic formula)을 확립한다. 공식은 다음과 같다:
  $$V^w_m(\vec{N}) = \frac{q^{m(N+1-g_K)}}{\zeta_S(wm)} + O_K(q^{N/w})$$
  여기서 $N = \sum N_j \deg p_j$이고, $g_K$는 종수이며, $\zeta_S$는 $S$-제타 함수이다. 오차 항은 명시적으로 제한되며 $K$에 의존한다. 결과는 $wm \ge 2$인 정수 $w, m \ge 1$에 대해 성립한다. $w=m=1$인 경우는 단위원(unit)을 계수하는 것으로, 이는 다른 점근적 거동을 따른다.

• 정리 2 (계수 $w$-상대소 $S$-정수 아이디얼):
  저자들은 차수가 $n$ 이하인 $w$-상대소 $m$-튜플의 정수 아이디얼의 개수인 $Q^w_{S,m}(n)$에 대한 점근 공식을 제공한다. 주 항은 다음과 같다:
  $$Q^w_{S,m}(n) = \frac{c_{K,S}^m q^{mn}}{\zeta_S(wm)} + \text{Error Term}$$
  오차 항은 $m$과 $w$에 따라 달라진다:

  • $m=1$일 때 $O_{K,S}(q^{n/w})$
  • $m=2, w=1$일 때 $O_{K,S}(n q^n)$
  • 그 외의 경우 $O_{K,S}(q^{n(m-1)})$
    여기서 $c_{K,S}$는 클래스 수 $h_K$와 $S$에 속한 소수들의 차수를 포함하는 상수이다.

• 따끔정리 2 (함수율에 대한 샨의 정리(Schanuel's Theorem)):
  정리 1을 적용하여, 저자들은 높이(height)가 $\le B$인 사영 공간 $\mathbb{P}^n(K)$ 내 점들의 개수에 대한 점근 공식에 대한 새로운 증명을 도출한다. 얻어진 식은 다음과 같다:
  $$N_K(B, n) = \frac{h_K q^{(n+1)(B-g_K+1)}}{(q-1)\zeta_K(n+1)(1-q^{-(n+1)})} + O_K(q^B)$$
  저자들은 오차 항 $O(q^B)$가 Dipippo와 Wan이 달성한 $O(q^{B/2+\epsilon})$보다 나쁘지만, 이는 Serre와 Phillips의 결과보다 개선된 오차 항을 가진 기초적인(elementary) 증명임을 언급한다.

의의 및 주장
본 논문은 일반적인 양의 표수 대수적 함수율의 특정 설정에서 기존 문헌보다 "상대적으로 더 나은 오차 항 추정치"를 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 일반화: 알려진 $w$-상대소 정수 및 아이디얼에 관한 결과들을 수체(number fields)와 다항식 환(polynomial rings)에서 일반적인 함수율($S$-정수)로 확장하였다.
2. 명시적 오차 항: 확장된 린델로프 가설(Extended Lindelöf Hypothesis)과 같은 미증명 가설에 의존하는 대신, 필드의 종수와 클래스 수로부터 유도된 명시적인 상수와 오차 범위를 제공한다.
3. 샨의 정리에 대한 기초적 증명: 함수율 상의 점들의 점근적 계수를 위한 새로운 기초적 증명을 제공하며, 이는 Phillips가 사용한 기하학적 수론적 접근 방식이나 Dipippo와 Wan의 초기 증명과는 구별된다.

저자들은 무작위로 선택된 $m$개의 원소(또는 아이디ал)가 $w$-상대소일 확률이 $1/\zeta_S(wm)$로 수렴하며, 이는 수론의 고전적 결과가 함수율 맥락에 적응된 것과 일치함을 강조한다.