대역체

틀:위키데이터 속성 추적 대수적 수론에서 대역체(大域體, 틀:Llang)는 대수적 수체 및 이와 유사한 함수체를 통틀어 이르는 개념이다.

정의

대역 함수체(大域函數體, 틀:Llang)는 서로 동치인 다음 두 조건을 만족시키는 체이다.

• 유한체에 대한 대수 곡선의 함수체와 동형이다.
• 유한체 계수의 유리 함수체 ${𝔽}_q(t)$의 유한 확대와 동형이다.

체 $K$에 대하여 다음 두 조건이 서로 동치이다.

• 대수적 수체 또는 대역 함수체와 동형인 체이다. 즉, $\mathbb{Q}$의 유한 확대이거나 어떤 $q$에 대한 ${𝔽}_q(t)$의 유한 확대이다.
• (대역체의 공리적 정의) $K$ 위의 절댓값들의 각 동치류 가운데 적절한 대표원 $\Vert -{\Vert }_v$을 잡으면, 다음 두 공리가 성립한다.
  • (곱 공식 틀:Llang) 임의의 $a\in K^{\times }$에 대하여 $\{v:|a{|}_v\ne 1\}<{\mathrm{\aleph }}_0$이며, 또한 $\prod _v|a{|}_v=1$이다. 여기서 $\prod _v$는 $K$ 위의 모든 절댓값들의 동치류에서, 위에서 고른 대표원들에 대한 곱이다.
  • (국소성) 절댓값 $\Vert -{\Vert }_v$ 가운데, 완비화 $K_v$가 국소체가 되는 것이 적어도 하나 이상 존재한다.

대수적 수체와 대역 함수체는 여러가지로 유사한 성질들을 갖는다.

자리

대수적 수체의 (자명하지 않은) 자리는 오스트롭스키 정리에 따라 다음 세 종류 가운데 하나이다.

• 실수체로의 매장 $\iota :K\hookrightarrow ℝ$에 대응하는 실수 자리.
• 복소수체로의 매장 $\iota :K\hookrightarrow ℂ$의 동치류 $\iota \sim \overline{\iota }$에 대응하는 복소수 자리.
• 대수적 정수환 ${𝒪}_K$의 각 소 아이디얼 $𝔭$에 대하여, $𝔭$진 자리.

대역 함수체 ${𝔽}_q(x)$의 (자명하지 않은) 자리는 다음 두 종류 가운데 하나이다.

• $P(x),Q(x)\in {𝔽}_q[x]$에 대하여, $P/Q\mapsto \mathrm{deg}P-\mathrm{deg}Q$인 이산 값매김에 대응하는 절댓값.
• 각 기약 다항식 $P\in {𝔽}_q[x]$에 대하여, $P$진 자리.

이 경우, 모든 절댓값은 비아르키메데스 절댓값이다.

곱 공식

대역체 $K$의 자리 $v$는 절댓값들의 동치류이다. 이 동치류 속의 정규화 절댓값(틀:Llang) $|\cdot {|}_v$는 다음과 같다.

대수적 수체 $K$의 유한 자리 $𝔭\mid p$의 경우 ($p\in 𝕊𝕡𝕖𝕔\mathbb{Z}\setminus \{(0)\}$는 소수), 규격화 절댓값은 다음과 같다.틀:Rp

$|-{|}_{𝔭}=p^{-f_{𝔭}{v}_{𝔭}(-)}$

여기서 $v_{𝔭}$는 규격화 이산 값매김(즉, 치역이 $\mathbb{Z}$인 값매김)이며,

$f_{𝔭}=[{𝒪}_{K_{𝔭}}/{𝔪}_{K_{𝔭}}:{𝔽}_p]$

는 관성 차수(틀:Llang), 즉 잉여류체의 차수이다.

대수적 수체 $K$의 무한 자리 $v\mid \mathrm{\infty }$의 경우, $v$에 대응하는 매장을 ${\iota }_v:K\to ℂ$라고 하면, 이에 대응하는 규격화 절댓값은 다음과 같다.틀:Rp

$|-{|}_v=|\iota (-){|}^{f_v}$

여기서 우변은 복소수체의 표준적인 절댓값이며,

$f_v=\{\begin{array}{cc}1& {\iota }_v(K)\subset ℝ\\ 2& {\iota }_v(K)\subset ̸ℝ\end{array}$

는 관성 차수이다.

대수적 함수체 $K$의 자리 $V\mid v$의 경우 ($v$는 ${𝔽}_q[x]$의 자리), 규격화 절댓값은 다음과 같다.

$|-{|}_{𝔓}=\exp (-f_V{v}_P(-))$

여기서 $f_V$는 관성 차수로, 다음과 같다.

$f_V=[{𝒪}_{K_v}/𝔪({𝒪}_{K_v}):{𝔽}_q]$

$v_P$는 ${𝔽}_q[x]$ 위의, $P$에 대응하는 규격화 이산 절댓값이다. (여기서 $e$ 대신 다른 상수를 사용해도 상관없다.)

이렇게 규격화 절댓값들을 정의하면, 다음과 같은 곱 공식이 성립한다.

1. 임의의 $a\in K$에 대하여, $|a{|}_v\ne 1$인 자리 $v$의 수는 유한하다.
2. 임의의 $a\in K$에 대하여, $\prod _v|a{|}_v=1$이다.

대수적 정수환

대역체 $K$의 대수적 정수환 ${𝒪}_K$는 모든 비아르키메데스 절댓값 (유한 자리)에 대하여, 절댓값이 1 이하인 (즉, 이산 값매김이 음수가 아닌) 원소들의 집합이다.틀:Rp

${𝒪}_K=\{a\in K:|a{|}_v\le 1\mathrm{\forall }v<\mathrm{\infty }\}$

다시 말해, $K$의 모든 국소체의 대수적 정수환들의 교집합이다.

만약 $K/\mathbb{Q}$가 대수적 수체라면, 그 대수적 정수환은 $\mathbb{Z}\subset K$의 정수적 폐포이다. 특히, $\mathbb{Q}$의 대수적 정수환은 $\mathbb{Z}$이다. ${𝔽}_q(x)$의 대수적 정수환은 다항식환 ${𝔽}_q[t]$이며, ${𝔽}_q(x)$의 유한 확대의 대수적 정수환은 ${𝔽}_q[x]$의 정수적 폐포이다.

대역체 $K$의 대수적 정수환 ${𝒪}_K$는 데데킨트 정역이며, ${𝒪}_K$의 0이 아닌 모든 아이디얼은 유한 지표를 갖는다.

역사

대수적 수체와 대수적 함수체가 여러 유사한 성질을 가진다는 사실은 앙드레 베유가 1939년에 지적하였다. 이에 대하여 베유는 1967년에 훗날 대역체를 차별하는 것을 인종 차별의 일종인 "분리된 평등함"(틀:Llang, 인종에 대하여 서로 다른 학교 등의 시설들을 사용하게 하는 것. 1954년 브라운 대 토피카 교육위원회 재판에 의하여 위헌으로 판결됨)에 비유하여 다음과 같이 적었다. 틀:인용문2

외부 링크

• 틀:Eom
• 틀:매스월드
• 틀:Nlab
• 틀:Nlab