나카이 추측
1. 개요
나카이 추측은 복소 대수다양체와 미분 작용소 환의 관계에 대한 추측이다. 이 추측은 대수 곡선과 Stanley–Reisner 환에 적용될 수 있으며, 아핀 다양체의 좌표환을 갖는 복소 품종에 대해 자리스키-립만 추측을 확립하는 데 사용된다. 자리스키-립만 추측은 좌표환 R 위의 Der(R)이 자유 가군이면 V가 매끄럽다는 것을 주장한다.
| 분야 | 대수기하학 |
|---|---|
| 이름의 유래 | 나카이 기와즈 |
| 상태 | 미해결 |
-
기하학의 미해결 문제 -
고본 삼각형
고본 삼각형은 수학자 고본 쇼이치가 제기한 기하학 문제로, 삼각형 변 위의 특정 조건을 만족하는 점들을 연결하여 새로운 삼각형을 반복 생성하며, 이 삼각형들의 성질과 극한 형태를 연구하고 다양한 분야에 응용되며 수학적 이론 발전에 기여합니다. -
기하학의 미해결 문제 -
소파 옮기기 문제
소파 옮기기 문제는 L자형 복도를 통과할 수 있는 평면 도형의 최대 면적을 찾는 수학 문제이며, 존 해머슬리, 조셉 게르버 등에 의해 하한이 갱신되었고, 2024년에는 백진언이 게르버 소파가 최대 면적을 제공한다고 주장하는 논문을 발표했다. -
특이점 이론 -
임계점 (수학)
임계점은 매끄러운 다양체 위의 미분 가능한 실수 함수에서 특정 조건을 만족하는 점으로, 실변수 함수의 경우 미분 불가능하거나 도함수가 0인 정의역 내의 값이며, 함수의 극값 위치를 찾는 데 중요한 역할을 한다. -
특이점 이론 -
특이점 (대수기하학)
특이점은 스킴의 각 점에서의 줄기 국소환이 정칙 국소환이 되지 못하는 점으로, 대수적으로 닫힌 체 위의 정칙 스킴인 비특이 대수다양체는 초곡면의 편미분이 동시에 소멸되는 점으로 정의되며 야코비 행렬의 계수로 판별된다. -
대수기하학 -
타원곡선
타원곡선은 체 위에서 정의되고 특이점이 없으며 종수가 1인 사영 대수 곡선으로, 유리점을 가지며, 특정 형태의 방정식으로 표현되고, 실수체 위에서는 연결 성분 개수가 판별식에 따라 달라지며, 복소수체 위에서는 원환면과 위상적으로 동형이고, 점들 간에 군 연산이 정의되어 암호학 및 정수론에 활용된다. -
대수기하학 -
매끄러운 함수
매끄러운 함수는 함수의 미분 가능성을 나타내는 척도로, k번 미분 가능하고 그 미분 함수가 연속일 경우 C<sup>k</sup>로 표기하며, 무한히 미분 가능한 함수를 의미하고, 곡선의 부드러움을 측정하는 데 활용된다.
2. 해설
나카이 요시카즈가 제시한 원래 추측은 다음과 같다.
: V가 복소 대수다양체이고, 미분 작용소 환으로 생성되는 경우, V는 매끄러운 다양체이다. 이 명제의 역은 매끄러운 대수다양체는 그들의 도함수에 의해 생성되는 미분 연산자 환을 가지고 있다는 알렉상드르 그로텐디크의 결과이다.
나카이 추측은 대수 곡선과 Stanley–Reisner 환에 적용될 수 있다고 알려져 있다.
나카이 추측의 증명은 좌표환 R을 갖는 복소 품종 V에 대해, 자리스키-립만 추측을 확립한다. 이 추측은 R 위의 자유 가군이라면, V는 매끄럽다는 주장이다.
2.1. 미분 작용소와 매끄러운 다양체
V가 복소 대수다양체이고, 미분 작용소 환으로 생성되는 경우, V는 매끄러운 다양체이다. 이 명제의 역은 매끄러운 대수다양체는 그들의 도함수에 의해 생성되는 미분 연산자 환을 가지고 있다는 알렉상드르 그로텐디크의 결과이다.
2.2. 적용 분야
나카이 추측은 대수 곡선과 Stanley–Reisner 환에 적용될 수 있다고 알려져 있다.
3. 자리스키-립만 추측과의 관계
나카이 추측의 증명은 좌표환 R을 갖는 복소 다양체 V에 대해, 자리스키-립만 추측을 확립한다. 자리스키-립만 추측은 R 위의 Der(R)이 자유 가군이라면, V는 매끄럽다는 주장이다.