[논문 리뷰] Quasiconformal mappings, from Ptolemy's geography to the work of Teichmüller

Athanase Papadopoulos|arXiv (Cornell University)|2017. 02. 13.

History and Theory of Mathematics참고 문헌 57인용 수 6

한 줄 요약

이 논문은 퀼라스컨포멀 매핑의 역사적 발전을 고대 지도 제작—플라토의 지리적 투영에서 시작하여 티히뮐러의 20세기 초 기초적 업적에 이르기까지 추적한다. 티소의 왜곡의 지표(Indicatrix of distortion) 도입, 그로츠시, 라브렌티에프, 아르플러스, 티히뮐러가 이끌어낸 극값 퀄라스컨포멀 매핑의 발전을 강조하며, 티히뮐러의 극값 퀄라스컨포멀 매핑에 대한 존재성 및 유일성 정리가 티히뮐러 이론과 복소함수론의 핵심이 되었음을 보여주며, 특히 이차형식 미분을 통해 바이버바흐 추측을 해결한 데서 그 기여를 설명한다.

ABSTRACT

The origin of quasiconformal mappings, like that of conformal mappings, can be traced back to old cartography where the basic problem was the search for mappings from the sphere onto the plane with minimal deviation from conformality, subject to certain conditions which were made precise. In this paper, we survey the development of cartography, highlighting the main ideas that are related to quasiconformality. Some of these ideas were completely ignored in the previous historical surveys on quasiconformal mappings. We then survey early quasiconformal theory in the works of Grötzsch, Lavrentieff, Ahlfors and Teichmüller, which are the 20th-century founders of the theory. The period we consider starts with Claudius Ptolemy (c. 100--170 A.D.) and ends with Oswald Teichmüller (1913--1943). We mention the works of several mathematicians-geographers done in this period, including Euler, Lagrange, Lambert, Gauss, Chebyshev, Darboux and others. We highlight in particular the work of Nicolas-Auguste Tissot (1824--1897), a French mathematician and geographer who (according to our knowledge) was the first to introduce the notion of a mapping which transforms infinitesimal circles into infinitesimal ellipses, studying parameters such as the ratio of the major to the minor axes of such an infinitesimal ellipse, its area divided by the area of the infinitesimal circle of which it is the image, and the inclination of its axis with respect to a fixed axis in the plane. We also give some information about the lives and works of Grötzsch, Lavrentieff, Ahlfors and Teichmüller. The latter brought the theory of quasiconformal mappings to a high level of development. He used it in an essential way in his investigations of Riemann surfaces and their moduli and in function theory (in particular, in his work on the Bieberbach conjecture and the type problem). We survey in detail several of his results. We also discuss some aspects of his life and writings, explaining why his papers were not read and why some of his ideas are still unknown even to Teichmüller theorists. The final version of this paper will appear in the book "Uniformization, Riemann-Hilbert Correspondence, Calabi-Yau Manifolds, and Picard-Fuchs Equations" (ed. L. Ji and S.-T. Yau), International Press and Higher Education Press (2017).

연구 동기 및 목표

• 고대 및 초기 근세 지도 제작에서 퀄라스컨포멀 매핑의 역사적 근원을 추적함으로써, 특히 구면 투영에서의 왜곡 최소화 시도를 다루는 것.
• 특히 티소의 무한소 타원에 대한 체계적 연구와 그 기하학적 매개변수를 이전에 간과된 기여로 강조함으로써, 공식적인 퀄라스컨포멀 이론 이전에 이미 존재했던 기초를 제시하는 것.
• 그로츠시, 라브렌티에프, 아르플러스, 티히뮐러의 20세기 초 기초적 발전을 조망하며, 극값 퀄라스컨포멀 매핑의 등장에 초점을 맞추는 것.
• 티히뮐러의 극값 매핑 및 이차형식 미분에 기반한 복소해석학의 주요 문제, 특히 바이버바흐 추측의 해결을 위한 깊이 있는 프레임워크를 설명하는 것.
• 티히뮐러의 비공개 통찰이 여전히 부족하게 평가되고 있으며, 학계에서 재평가받을 만한 가치가 있음을 주장하는 것.

제안 방법

• 플라토(약 기원 100–170년)부터 티소(1824–1897년)까지의 지도 제작 기록에 대한 역사적 분석을 통해, 투영에서의 왜곡 수학적 처리에 초점을 맞추는 것.
• 초기 퀄라스컨포멀 이론의 서술—그로츠시의 직사각형 간 극값 매핑과 라브렌티에프의 왜곡 최소화 기여를 포함.
• 아르플러스가 이론을 발전시키고 티히뮐러의 중요성을 인식한 역할에 대한 세부적 분석.
• 티히뮐러의 비공개 논문, 특히 1943년의 극값 문제 및 단일함수 이론에서의 이차형식 미분의 사용에 대한 심층적 분석.
• 티히뮐러 원리의 적용: 극값 매핑은 특정 점에 극을 갖는 이차형식 미분에 의해 결정되며, 그 차수는 함수 계수의 정규화 조건에 대응한다.
• 제닝스의 1962년 ICM 연설을 활용하여 티히뮐러의 직관적 원리를 정밀한 부등식으로 재구성하고 형식화하는 것.

실험 결과

연구 질문

• RQ1 고대 및 근세 지도 제작 실천은 퀄라스컨포멀 매핑의 개념적 기초를 어떻게 마련했는가?
• RQ2 티소의 무한소 타원(티소 지표)에 대한 연구는 현대 퀄라스컨포멀 왜곡 이론을 어떻게 예고했는가?
• RQ3 그로츠시의 직사각형 간 극값 매핑은 어떻게 티히뮐러의 리만 곡면에 대한 퀄라스컨포멀 매핑에 대한 존재성 및 유일성 정리로 일반화되었는가?
• RQ4 이차형식 미분은 티히뮐러의 바이버바흐 추측 해결에 어떤 역할을 했으며, 제닝스는 이후 이 원리를 어떻게 형식화했는가?
• RQ5 티히뮐러의 아이디어, 특히 비공개 논문에서의 통찰은 왜 수학계에서 오랫동안 알려지지 않았거나 부족하게 평가되었는가?

주요 결과

• 티소는 투영에 의해 변형된 무한소 원의 왜곡을 처음으로 공식적으로 정의하고 연구하였으며, 그림 타원의 장축과 단축의 비율, 원래 원과의 면적 비율, 타원 축의 방향성 등의 매개변수를 도입하였다.
• 티히뮐러의 1943년 논문은 단일함수 이론의 극값 문제의 해가 특정 정규화 조건에 대응하는 차수를 갖는 극을 가진 이차형식 미분에 의해 결정된다는 일반 원리를 도입하였다.
• 티히뮐러의 존재성 및 유일성 정리는 그로츠시의 직사각형 매핑 결과를 임의의 리만 곡면으로 일반화하여, 퀄라스컨포멀 매핑과 티히뮐러 공간 사이의 깊은 연관성을 확립하였다.
• 제닝스의 1962년 ICM 연설은 티히뮐러의 원리를 정밀한 부등식으로 형식화하였다: 등호가 성립하는 것은 오직 매핑이 이차형식 미분에 의해 유도된 계량에서 등장하는 등거리사상인 경우에만 성립한다.
• 티히뮐러의 바이버바흐 추측에 대한 작업은 완전히 발표되지 않았지만, 이후 제닝스 및 다른 이들이 발전시킨 극값 퀄라스컨포멀 매핑과 이차형식 미분을 활용한 기초적 기법을 제공하였다.
• 티히뮐러의 깊이 있는 통찰에도 불구하고, 그의 논문들은 복잡성과 당시의 정치적·역사적 상황 탓에 널리 읽히지 못하여 그 기여가 오랫동안 인정받지 못했다.