[논문 리뷰] When is the Fourier transform of an elementary function elementary?

Pavel Etingof, David Kazhdan외 1명|arXiv (Cornell University)|2000. 03. 02.

Mathematical Dynamics and Fractals참고 문헌 8인용 수 5

한 줄 요약

이 논문은 다항식의 곱으로 정의된 다항지수함수(위상함수와 다항식의 곱셈적 특성의 곱으로 정의됨)의 푸리에 변환이 스스로도 원소적일 때를 조사한다. 정적 위상 근사법을 사용하여, 이는 푸리에 변환의 위상함수가 원래 위상함수의 레지오르드 변환일 때 정확히 성립하며, 이를 통해 예비동차벡터공간과 세베리 다양체를 통한 조화해석학과代수기하학 사이의 깊은 연결 고리를 확립한다. 주요 결과는 국소체 위에서 동차 세차형식인 위상함수에 대해 이러한 함수들을 분류하는 것이다.

ABSTRACT

Let V be a finite dimensional vector space over a local field. Let us say that a complex function on V is elementary if it is a product of the additive character of a rational function Q on V and multiplicative characters of polynomials on V. In this paper we study when the Fourier transform of an elementary function is elementary. If Q has a nonzero Hessian, a necessary condition for this is that the Legendre transform Q_* of Q is rational. The basic example is a nondegenerate quadratic form. We study such functions Q, give examples, and find all of them such that both Q and Q_* are of the form f(x)/t, where f is a cubic form in many variables (the simplest case after quadratic forms). It turns out that this classification is closely related to Zak's classification of Severi varieties. The second half of the paper is devoted to finding and classifying elementary functions with elementary Fourier transforms when Q is a fixed function with rational Q_*. We consider the simplest case when Q is a monomial, and classify combinations of multiplicative characters that can arise. The answer (for real and complex fields) is given in terms of exact covering systems. We also describe examples related to prehomogeneous vector spaces. Finally, we consider examples over p-adic fields, and in particular give a local proof of an integral formula of D.K. that could previously be proved only by a global method.

연구 동기 및 목표

• 국소체 위의 벡터공간에서 정의된 다항지수함수의 푸리에 변환이 언제 원소적일지 결정하는 것.
• 푸리에 변환의 다항지수함수가 원소적으로 남는 데 필요한 충분조건을 설정하는 것 — 특히 아르키메데스와 비아르키메데스 환경에서.
• 원래 함수와 변환된 함수가 모두 f(x)/t 형태일 경우 위상함수 Q = f(x)/t를 분류하는 것 — f는 동차 세차다항식.
• 국소체의 유한 확장에서 노름의 단항식으로 일반화된 결과를 도출하는 것.
• 분포 항등식과 감마함수 항등식을 통해 결과를 추측적 대수기하적 적분이론과 연결하는 것.

제안 방법

• 필수 조건을 도출하기 위해 형식적 정적 위상 방법을 적용: 변환된 위상함수는 원래 위상함수의 레지오르드 변환여야 한다.
• 반고전 조건을 사용하여 다항지수함수의 푸리에 변환이 원소적으로 남는 조건을 특성화하는 것.
• f가 동차 세차다항식이고 t가 추가 변수일 때 위상함수 Q = f(x)/t를 분류하고, 이들이 차수 3의 정규 예비동차벡터공간의 상대적 불변량과 대응됨을 보여주는 것.
• 자크의 세베리 다양체 분류 정리를 활용하여 이러한 세차 위상함수의 분류를 증명하는 것.
• 임의의 국소체 F에서 단항식 형태의 다항지수함수의 푸리에 변환에 대한 명시적 공식을 유도하는 것.
• 국소체 F의 유한 확장에서의 노름을 포함하는 분포에 대해 결과를 일반화하고, 특히 예비동차벡터공간의 맥락에서 다루는 것.

실험 결과

연구 질문

• RQ1 비퇴직성 위상함수를 가진 다항지수함수의 푸리에 변환이 언제 원소적일까?
• RQ2 푸리에 변환의 위상함수가 원래 위상함수의 레지오르드 변환과 일치할 때는 언제인가?
• RQ3 어떤 동차 세차다항식이 Q = f(x)/t 형태의 위상함수를 만들어내며, Q와 그 푸리에 변환 위상 Q*가 모두 같은 형태를 띠는가?
• RQ4 임의의 국소체에서 단항식이나 유한 확장의 노름을 포함하는 다항지수함수의 푸리에 변환을 어떻게 명시적으로 계산할 수 있는가?
• RQ5 약한 및 강한 의미에서의 푸리에 변환 항등식을 뒷받침하는 국소 L-함수와 감마 인자 간의 항등식은 무엇인가?

주요 결과

• 위상함수 Q를 가진 다항지수함수의 푸리에 변환은 Q*가 Q의 레지오르드 변환일 때에만 원소적일 수 있으며, 이를 '반고전 조건'이라 부른다.
• f가 동차 세차다항식인 Q = f(x)/t 형태의 위상함수에 대해 Q와 Q*가 모두 이 형태를 띠는 조건은 f가 차수 3의 정규 예비동차벡터공간의 상대적 불변량일 때에만 성립하며, 이러한 경우는 정확히 일곱 가지가 존재한다.
• 이러한 세차 위상함수의 분류는 자크의 세베리 다양체 분류 정리를 바탕으로 하며, 조화해석학과 대수기하학 사이의 깊은 연결 고리를 확립한다.
• 임의의 국소체 F에서 단항식 형태의 다항지수함수의 푸리에 변환에 대한 명시적 공식이 유도되었으며, 이는 약한 의미에서 유효하고 특정 경우에 강한 수렴으로 확장되었다.
• F ⊕ E 위의 분포 φ_E에 대한 항등식 (1.2)는 세차 특성과 노름을 포함하며, 원점에서 국소 상수성의 직접적 검증을 통해 약한 수준을 넘어서 강한 의미에서 성립한다.
• 순환 및 비아벨 확장에 대해 감마함수 항등식과 분포 수준의 푸리에 변환 항등식이 확립되었으며, 이는 기존 결과를 일반화하고 대수기하적 적분이론의 추측을 지지한다.