열대 기하학

수학에서 열대 기하학()은 덧셈이 최소 함수로, 곱셈이 일반적인 덧셈으로 바뀌었을 때 다항식과 그 기하학적 성질에 대한 연구이다. 열대 기하학에서 두 실수의 덧셈과 곱셈은 다음과 같이 정의된다.

 
 

예를 들어, 고전적인 다항식 는 열대 기하학에서이 된다. 이러한 다항식과 그 해는 최적화 문제, 예를 들어 기차 네트워크의 출발 시간 최적화 문제 등에 중요하게 응용된다.

열대 기하학은 다항식의 그래프가 조각별 선형 메쉬와 유사하고 체 대신 열대 반환의 수를 사용하는 대수기하학의 변형이다. 고전 기하학과 열대 기하학은 밀접하게 관련되어 있기 때문에 결과와 방법을 서로 변환할 수 있다. 대수다양체는 열대 다양체에 사상될 수 있고, 이 과정은 여전히 원래 다양체에 대한 일부 기하학적 정보를 유지하므로 열대 기하학의 도구를 사용하여 브릴–뇌터 정리와 같은 대수기하학의 고전적 결과를 증명하고 일반화하는 데 도움이 될 수 있다.

역사 
열대 해석학의 기본 아이디어는 다양한 분야의 수학자들이 동일한 표기법을 사용하여 독자적으로 개발했다. 열대 기하학의 중심 아이디어는 여러 초기 작업에서 다양한 형태로 나타났다. 예를 들어 Victor Pavlovich Maslov는 통합 프로세스의 열대 버전을 도입했고, 해밀턴-야코비 방정식의 르장드르 변환 해가 열대적인 선형 연산이라는 사실을 알아냈다. 그러나 이론의 기본 정의를 통합하려는 노력은 1990년대 이후에야 이루어졌다. 이는 막심 콘체비치의 아이디어와 Grigory Mikhalkin의 작업을 사용한 열거 대수기하학에의 응용을 통해 동기가 부여되었다.

열대라는 형용사는 이 분야에서 연구한 헝가리 태생의 브라질 컴퓨터 과학자 Imre Simon을 기리기 위해 프랑스 수학자들이 만들었다. Jean-Éric Pin은 발명을 Dominique Perrin에게 돌린 반면, 시몬 자신은 단어를 Christian Coffrut에게 돌렸다.

대수학 배경 
열대 기하학은 열대 반환을 기반으로 한다. 열대 반환은 관례에 따라 최대 또는 최소를 사용한 두 가지 방식으로 정의된다.

최소 열대 반환()은 연산 , 을 갖는 반환 이다.

연산 , 은 각각 열대 덧셈과 열대 곱셈이라고 한다. 에 대한 항등원은 이고, 에 대한 항등원은 0이다.

유사하게, 최대 열대 반환()은 연산 , 을 갖는 반환이다.

에 대한 항등원은 이고, 에 대한 항등원은 0이다.

최소 열대 반환과 최대 열대 반환은 동형 사상 에 의해 동형이다. 일반적으로 둘 중 하나를 선택하고 열대 반환으로 부른다. 관례는 저자와 분야에 따라 다르다. 일부는 최소 규칙을 사용하고 일부는 최대 규칙을 사용한다.

열대 반환의 연산은 값매김 체에서 덧셈과 곱셈에 따라 값매김이 어떻게 작용하는지 모사한다.

열대 기하학에서 발생하는 몇 가지 일반적인 값매김 체(최소 규칙 포함)는 다음과 같다.

  또는 와 자명한 값매김: 모든 에 대해 .
  또는 p진 값매김을 통한 확장: 와 서로소인 정수 에 대해 .
 로랑 급수의 체  (정수 거듭제곱) 또는 (복소 계수) 퓌죄 급수의 체 와 급수에 나타나는 의 가장 작은 지수 값매김.

열대 다항식 
열대 다항식()은 유한한 수의 단항식의 열대 합으로 표현될 수 있는 함수 이다. 단항식은 상수와 변수 의 열대 곱 또는 몫이다. 따라서 열대 다항식 F 는 변수가 정수 계수를 갖는 선형 함수의 유한 집합의 최솟값이므로 오목, 연속 및 조각별 선형이다.

 

값매김 체 K의 로랑 다항식 환 에서 다항식 f 가 주어졌을 때 f 의 열대화()는 덧셈과 곱셈을 열대 덧셈과 열대 곱셈으로 바꾸고 상수를 그 값매김으로 바꾸어 얻은 열대 다항식이다. f의 열대화는 으로 표기한다.  즉, 에 대해의 열대화는 이다.

열대 다항식 F 가 미분 불가능한 점의 집합을 열대 초표면()이라고 한다. F의 열대 초표면은 다항식의 영집합과 비슷하게 으로 표기한다. 동등하게, 는 F 의 항 중 최소값이 두 번 이상 달성되는 점의 집합이다.

열대 다양체

정의 
 안의 대수다양체 X의 경우, X의 열대 다양체 또는 X의 열대화는 으로 표기하는 의 부분집합이고, 여러 가지 방법으로 정의할 수 있다. 이러한 정의의 동등성을 열대 기하학의 기본 정리()라고 한다.

열대 초면의 교차점 
에서 를 X에서 영이 되는 로랑 다항식의 아이디얼이라고 하자. X의 열대화는 으로 정의한다.

X 가 초표면일 때, 아이디얼 는 로랑 다항식 f 에 의해 생성된 주 아이디얼이며, 열대 다양체 는 정확히 열대 초표면 이다.

모든 열대 다양체는 유한한 수의 열대 초표면의 교집합이다. 다항식의 유한 집합  다음과 같은 경우 X 에 대한 열대 기저()라고 한다.  열대 초표면의 교차점이다.  . 일반적으로 의 생성 집합은 열대 기저를 형성하기에 충분하지 않다. 유한한 수의 열대 초표면의 교차점을 열대 전다양체 이라고 하며 일반적으로 열대 다양체가 아니다.

값매김 사상의 상 
X 가 에서의 상이 조밀한 값매김 v 를 갖는 체 K 에 대한 다양체라고 하자.  (예: 퓌죄 급수의 체). 좌표에 따라 v 는 대수 원환면 에서 으로의 사상을 정의한다. 열대화는 다음과 같이 정의된다.

 

여기서 위 직선은 유클리드 위상의 폐포를 나타낸다. K 의 값매김이 에서 조밀하지 않은 경우, 위의 정의는 조밀한 값매김이 있는 더 큰 체로 스칼라를 확장하여 적용할 수 있다.

이 정의는 가 대수적으로 닫힌 비아르키메데스 체 K 에 대한 비아르키메데스 임을 보여준다.

X 가  위의 다양체인 경우, 는 로그의 밑 t 가 무한대로 갈 때의 아메바 의 극한 대상으로 간주 될 수 있다.

열대 곡선 
1차원 열대 다양체인 열대 곡선()에 대한 연구는 특히 잘 발달되어 있으며 그래프 이론과 밀접한 관련이 있다. 예를 들어, 열대 곡선의  이론은 열대 곡선과 관련된 그래프의 과 관련이 있다.

다음 결과를 포함하여, 대수 기하학의 많은 고전적 정리에는 열대 기하학에 대응하는 항목이 있다.

 파푸스의 육각형 정리
 베주 정리
 종수-차수 공식
 리만-로흐 정리
 타원곡선의 군

응용 
2007년 금융위기 당시 잉글랜드 은행이 사용한 폴 클렘퍼러의 경매 디자인에 열대 직선이 사용되었다. 시오자와 요시노리는 (최소-덧셈 또는 최대-덧셈 대신) 최소-곱셈 또는 최대-곱셈을 사용한 아열대 대수()를 정의하였다. 그는 리카디안 무역 이론(투입 무역이 없는 국제 무역)이 아열대 볼록 대수로 해석될 수 있음을 발견했다. 열대 기하학은 또한 ReLU 활성화로 피드포워드 신경망의 복잡성을 분석하는 데 사용되었다.

또한 작업 일정, 위치 분석, 운송 네트워크, 의사 결정 및 이산 사건 역학계에서 발생하는 여러 최적화 문제를 열대 기하학의 체계에서 공식화하고 해결할 수 있다. 아벨-야코비 사상의 열대 대응물은 수정 디자인에 적용될 수 있다. 가중 유한 상태 변환기의 가중치는 열대 반환이 되어야 하는 경우가 많다. 열대 기하학은 자체 조직화된 임계 값을 나타낼 수 있다.

같이 보기 

 열대 해석학
 열대 콤팩트화

노트

참고 문헌

추가 자료 

 978-1-4704-1021-6
 열대 기하학과 거울 대칭

외부 링크 
 열대기하학, I