오차 삼중체

수학에서 **오차 삼중체**()는 4차원 사영 공간 \mathbb{P}^4에서 오차 초곡면(즉, 여차원이 1)인 다형체이다. 비특이 오차 삼중체는 칼라비-야우 다양체도 된다.

비특이 오차 삼중체의 호지 다이아몬드는 다음과 같다.
가운데|섬네일|282x282픽셀

수학자 로베르튀스 데이크흐라프는 "모든 대수 기하학자가 알고 있는 숫자 중 하나는 2,875이다. 왜냐하면 분명히 그것은 오차 삼중체 안의 모든 직선들의 수이기 때문이다"라고 말했다.

## 정의
오차 삼중체는 \mathbb{P}^4안의 5차 사영 다형체이고, 칼라비-야우 다양체의 특별한 종류이다. 많은 예제가 \mathbb{P}^4안의 초곡면 또는 \mathbb{P}^4에 있는 완전 교차 또는 다른 다형체의 특이점을 해결하는 매끄러운 다형체로 구성된다. 집합으로서 칼라비-야우 다양체는 다음과 같다.X = \{x = [x_0:x_1:x_2:x_3:x_4] \in \mathbb{CP}^4 : p(x) = 0 \}X = \{x = [x_0:x_1:x_2:x_3:x_4] \in \mathbb{CP}^4 : p(x) = 0 \} 여기서 p(x)는 5차 동차 다항식이다. 가장 많이 연구된 예 중 하나는 다항식p(x) = x_0^5 + x_1^5 + x_2^5 + x_3^5 + x_4^5  에서 나온 것이다. 이를 페르마 다항식이라고 한다. Adjunction 공식, 매끄러움 조건 등을 통해 이 다항식이 칼라비-야우 다양체이기도 함을 증명한다.

### P<sup>4</sup>안의 초곡면
동차 다항식 f \in \Gamma(\mathbb{P}^4,\mathcal{O}(d))이 (여기서 \mathcal{O}(d)는 초평면 선다발의 세르 꼬임이다.) 다음 대수에서 사영 다형체 또는 사영 스킴 X을 정의한다. \frac{k[x_0,\ldots, x_4]}{(f)}  여기서 k는, 예를 들어, \mathbb{C} 같은 체이다. 그런 다음 표준 다발을 계산하기 위해 Adjunction 공식을 사용하여 다음을 얻는다.\begin{align}
\Omega_X^3 &= \omega_X \\
&= \omega_{\mathbb{P}^4}\otimes \mathcal{O}(d) \\
&\cong \mathcal{O}(-(4+1))\otimes\mathcal{O}(d) \\
&\cong \mathcal{O}(d-5)
\end{align}  따라서, 이 다형체가 칼라비-야우 다양체가 되려면, 자명한 표준 다발이 있음을 의미하며 그 차수는 5이여야 한다. 추가로 이 다형체가 매끄러우면 칼라비-야우 다양체이다. 이는 다항식들\partial_0f,\ldots, \partial_4f 의 영점을 보고, 집합\{ x = [x_0:\cdots:x_4] | f(x) = \partial_0f(x) = \cdots = \partial_4f(x) = 0 \} 이 공집합임을 보면 확인할 수 있다.

## 예
### 페르마 오차 삼중체
칼라비-야우 다양체를 확인하는 가장 쉬운 예 중 하나는 다항식f = x_0^5 + x_1^5 + x_2^5 + x_3^5 + x_4^5  의 영점 집합에 의해 정의되는 페르마 오차 삼중체에 의해 제공된다. f의 편도함수들은\begin{align}
\partial_0f = 5x_0^4\\
\partial_1f = 5x_1^4 \\
\partial_2f = 5x_2^4 \\
\partial_3f = 5x_3^4 \\
\partial_4f = 5x_4^4 \\
\end{align}  이고, 이 식들이 영이 되는 점들은 오직 \mathbb{P}^4의 좌표축에 의해 주어지고, [0:0:0:0:0]은 \mathbb{P}^4안의 점이 아니므로 영점 집합은 비어 있다.

#### 호지 추측의 시험장으로써
무한소로 일반화된 호지 추측이라는 어려운 문제가 오차 삼중체에 대한 경우 해결된다. 실제로 이 초곡면의 모든 직선은 명시적으로 찾을 수 있다.

### 오차 삼중체의 Dwork 족
다양한 맥락에서 연구되는 오차 삼중체의 또 다른 인기 있는 예는 Dwork 족이다. 그러한 족에 대한 유명한 연구 중 하나는 Candelas, De La Ossa, Green 및 Parkes가 거울 대칭을 발견했을 때이다. 이것은 족f_\psi = x_0^5 + x_1^5 + x_2^5 + x_3^5 + x_4^5 - 5\psi x_0x_1x_2x_3x_4  에 의해 제공된다.페이지 123-125 여기서 \psi는 1의 5 제곱근이 아닌 단일 매개변수이다. 이는 f_\psi의 편도함수들의 근을 계산하여 찾을 수 있다. 편도함수들은 다음과 같이 주어진다:\begin{align}
\partial_0f_\psi = 5x_0^4 - 5\psi x_1x_2x_3x_4 \\
\partial_1f_\psi = 5x_1^4 - 5\psi x_0x_2x_3x_4 \\
\partial_2f_\psi = 5x_2^4 - 5\psi x_0x_1x_3x_4 \\
\partial_3f_\psi = 5x_3^4 - 5\psi x_0x_1x_2x_4\\
\partial_4f_\psi = 5x_4^4 - 5\psi x_0x_1x_2x_3\\
\end{align} 편도함수가 모두 0인 점에서 이는 x_i^5 = \psi x_0x_1x_2x_3x_4 관계를 제공한다. 예를 들어, \partial_0f_\psi에서 5를 나누고 각 변에 x_0을 곱해서

\begin{align}
5x_0^4 &= 5\psi x_1x_2x_3x_4 \\
x_0^4 &= \psi x_1x_2x_3x_4 \\
x_0^5 &= \psi x_0x_1x_2x_3x_4
\end{align} 를 얻는다. x_i^5 = \psi x_0x_1x_2x_3x_4와 이러한 방정식 족을 곱함으로써 해가 x_i = 0 또는 \psi^5 = 1임을 보여주는 다음 등식을 얻는다.\prod x_i^5 = \psi^5 \prod x_i^5    그러나 첫 번째 경우에는 f_\psi로 변하는 항이 사라지기 때문에 특이점이 \psi^5 = 1에 있어야하므로 매끄러운 영점 부분 집합을 제공한다. 주어진 그러한 \psi에 대해, 특이점은 다음과 같은 형태이다.[\mu_5^{a_0}:\cdots:\mu_5^{a_4}]\; \text{s.t.}\; \mu_5^{\sum a_i}=\psi^{-1}  

여기서 \mu_5 = e^{2 \pi i / 5}. 예를 들어, 점[\mu_5^4:\mu_5^{-1}:\mu_5^{-1}:\mu_5^{-1}:\mu_5^{-1}] 은 f_1과 그 이후의 편도함수 둘 다의 해다. 왜냐하면, (\mu_5^i)^5 = (\mu_5^5)^i = 1^i = 1, 그리고 \psi = 1이기 때문이다.

### 다른 예
* 바르트-니에토 오차 삼중체
* 콘사니-숄텐 오차 삼중체

## 오차 삼중체 안의 곡선
1차 유리 곡선들의 수는 슈베르트 미적분을 사용하여 명시적으로 계산할 수 있다. T^*를 랭크 5 벡터 공간의  2 -평면의 그라스마니안 G(2,5)의 랭크 2 벡터 다발이라 하자. G(2,5)를 \mathbb{G}(1,4)로 사영하면 \mathbb{P}^4 안의 1차 사영 그라스마니안 직선이다. 그리고 T^*는 이 사영 그라스마니안의 벡터 다발로 내려간다. 이의 총 천 특성류는 저우 환 A^\bullet(\mathbb{G}(1,4)) 안에서 다음과 같다.c(T^*) = 1 + \sigma_1 + \sigma_{1,1} 이제, 이 다발의 단면 l \in \Gamma(\mathbb{G}(1,4),T^*)은 선형 동차 다항식 \tilde{l} \in \Gamma(\mathbb{P}^4,\mathcal{O}(1))에 대응한다.  그래서, \text{Sym}^5(T^*)의 단면은 \Gamma(\mathbb{P}^4,\mathcal{O}(5))의 단면인 오차 다항식에 대응 한다. 그러면, 오차 삼중체에 놓인 직선들의 수를 구하려면, 이 적분\int_{\mathbb{G}(1,4)} c(\text{Sym}^5(T^*)) = 2875  을 계산하는 것으로 충분하다.이는 분할 원리를 사용하여 수행할 수 있다. 왜냐하면\begin{align}
c(T^*) &= (1+\alpha)(1+\beta) \\
&= 1 + (\alpha + \beta) + \alpha\beta
\end{align} 그리고 2차원 벡터 공간 V = V_1\oplus V_2의 경우,\text{Sym}^5(V) = \bigoplus_{i=0}^5 (V_1^{\otimes 5-i}\otimes V_2^{\otimes i}) 그래서 \text{Sym}^5(T^*)의 총 천 특성류는 곱c(\text{Sym}^5(T^*)) = \prod_{i=0}^5 (1 + (5-i)\alpha + i\beta) 으로 주어진다. 그러면 오일러 특성류 또는 최고차 특성류는 다음과 같다.5\alpha(4\alpha + \beta)(3\alpha + 2\beta)(2\alpha + 3\beta)(\alpha + 4\beta)5\beta 이것을 원래의 천 특성류 측면에서 관계 \sigma_{1,1}\cdot \sigma_1^2 = \sigma_{2,2}, \sigma_{1,1}^2 = \sigma_{2,2}를 이용해서 확장하면 다음과 같다.\begin{align}
c_6(\text{Sym}^5(T^*)) &= 25\sigma_{1,1}(4\sigma_1^2 + 9\sigma_{1,1})(6\sigma_1^2 + \sigma_{1,1}) \\
&= (100 \sigma_{2,2} + 225\sigma_{2,2})(6\sigma_1^2 + \sigma_{1,1}) \\
&= 325\sigma_{2,2}(6\sigma_1^2 + \sigma_{1,1})
\end{align}   

### 유리 곡선
헤르베르트 클레멘스는 주어진 일반 오차 삼중체 안의 주어진 차수의 모든 유리 곡선들의 수는 유한하다고 추측하였다. (어떤 매끄럽지만 일반이 아닌(non-generic) 오차 삼중체는 무한한 직선 족을 내포하고 있다.) 셸던 카츠가 7차까지 이 추측이 성립함을 보였다. 그는 또한 모든 2차 유리 곡선의 수 609250를 계산 하였다. Philip Candelas, Xenia de la Ossa 등은 임의의 차수에 대한 유리 곡선들의 가상 수에 대한 일반적 공식을 추측하였고 Givental이 증명하였다. (가상 수가 실제 수와 같다는 것은 클레멘스의 추측의 증명에 달렸다. 현재까지 11차 유리 곡선까지 증명되었다. ). 일반 오차 삼중체 안의 차수별 유리 곡선들의 수는 다음 수열로 주어진다.

: 2875, 609250, 317206375, 242467530000, ... .

일반 오차 삼중체는 칼라비-야우 삼중체이고 주어진 차수의 유리 곡선의 모듈라이 공간은 이산적이고 유한 집합(따라서 콤팩트)이므로 잘 정의된 도날드슨-토마스 불변량 ("가상 점 수")을 갖는다. 적어도 1차와 2차의 경우 이는 실제 점 수와 일치한다.

## 같이 보기
* 거울 대칭 가설
* 거울대칭(끈이론)
* 그로모프-위튼 불변량
* 야코비 이데알 - 호지 분해에 대한 명확한 기초를 제공한다.
* 변형 이론
* 호지 구조
* 슈베르트 미적분학 - 오차 삼중체의 직선들 수를 결정하는 방법

## 각주

* 
* 
* 
* 
* 
* 
* 
* 

분류:복소다양체
분류:대수다양체