[논문 리뷰] Fubini's theorem and non-linear change of variables over a two-dimensional local field

Matthew Morrow|arXiv (Cornell University)|2007. 12. 13.

Nonlinear Waves and Solitons참고 문헌 20인용 수 10

한 줄 요약

이 논문은 이차원 국소체에서 비선형 변수변환에 대해 푸비니 정리가 성립하는 조건을 설정하며, 특히 다항변환을 포함하는 적분에 초점을 맞춘다. 비선형 변수변환에서 푸비니 정리가 정확히 성립하지 않을 수 있음을 보이며, 이는 잔여체가 완전하지 않을 경우 양의 특성에서 발생한다. 이에 따라 분할 이론과 다항식의 구조에 기반한 명시적 기준을 제시한다.

ABSTRACT

We consider non-linear changes of variables and Fubini's theorem for certain integrals over a two-dimensional local field. An interesting example is presented in which imperfectness of a finite characteristic local field causes Fubini's theorem to unexpectedly fail. The relationship to ramification theory is discussed.

연구 동기 및 목표

• 이중 국소체에서 비선형 변수변환 하에 푸비니 정리에 대한 엄밀한 프레임워크를 수립하는 것.
• 잔여체가 완전하지 않을 경우 양의 특성에서 푸비니 정리가 실패하는 이유를 조사하는 것.
• 비선형 변환을 사용하여 이중 국소체 위의 대수적 군에 대해 이동 불변 적분을 확장하는 것.
• 변수변환에 따른 적분의 행동이 아베스와 사이토의 분할 이론과 어떻게 연결되는지 밝혀내는 것.
• 특정 조건 하에서 형태 $ f^0(x, y - h(x)) $ 의 이중 적분이 동일하다는 추측을 해결하는 것.

제안 방법

• 잔여체 $ \bar{F} $ 상의 하르 적분 가능 함수를 $ \frak{o}_F $ 상의 특성함수를 통해 $ F $ 로 올려, 이중 국소체 상의 적분 가능 함수 공간을 구성한다.
• 함수 $ \bar{F} \times \bar{F} $ 의 올림을 이용해 $ F \times F $ 에 적분 이론을 확장하고, 반복 적분이 서로 교환 가능한지 연구한다.
• 역상 $ \big\bracevert x \big\bracevert \text{ such that } h(x) \big\bracevert \text{ lies in a translated fractional ideal} $ 를 분석하여, 이산적인 이동된 분수 이상의 합집합으로 분해한다.
• 다항식 사상 $ h(X) = h(0) + t^R q(X) $ 이며 $ q \notin t\frak{o}_F[X] $ 인 구조를 이용해 적분 가능성과 푸비니 행동을 분석한다.
• 비아르키메데스 체에서의 역함수 정리를 적용하여 $ \rho(Y) = v $ 의 비특이 해를 매개변수화하고, 적분에서 변수변환을 가능하게 한다.
• 보조 적분 항등식(보조정리 A.1)을 활용하여 $ K \times K $ 상의 반복 적분을 $ \rho' $ 를 포함한 변환을 통해 연결하고, 변수변환과 푸비니 정리를 통해 등식을 증명한다.

실험 결과

연구 질문

• RQ1 이중 국소체에서 형식 $ (x,y) \to (x, y - h(x)) $ 의 비선형 변수변환에 대해 푸비니 정리가 성립하는 조건은 무엇인가?
• RQ2 잔여체가 완전하지 않을 경우 양의 특성에서 푸비니 정리가 예상치 않게 실패하는 이유는 무엇인가?
• RQ3 아베스와 사이토의 분할 이론은 이중 국소체에서 반복 적분의 적분 가능성과 대칭성과 어떻게 관련되는가?
• RQ4 일반적인 다항식 $ h $ 에 대해 $ \bigintss_{F} \bigintss_{F} f^0(x, y - h(x)) \thinspace dy dx = \bigintss_{F} \bigintss_{F} f^0(x, y - h(x)) \thinspace dx dy $ 라는 추측을 증명할 수 있는가?
• RQ5 해세-헤르브란드 함수는 분할의 맥락에서 섬세한 적분의 반복적 구조를 어떻게 설명하는가?

주요 결과

• 푸비니 정리는 $ h $ 가 선형이거나 $ h $ 의 모든 계수가 $ \frak{o}_F $ 에 속할 경우 성립하며, 이는 제5장에서 보였다.
• 다항식 $ h(X) = h(0) + t^R q(X) $ 이며 $ R = -1 $ 이고 $ \bar{q} $ 가 순수 비분리적이지 않을 경우, 역상의 유리한 분해로 인해 이중 적분에 대한 추측이 성립한다.
• $ R < -1 $ 인 경우, $ y \to \bigintss_F f^0(x, y - h(x)) \thinspace dx $ 는 적분 가능하지 않을 수 있으며, 이는 푸비니 정리의 실패로 이어진다.
• 양의 특성에서 푸비니 정리의 실패는 잔여체의 불완전성과 직접적으로 연결되어 있으며, 반례를 통해 이를 입증하였다.
• 보조 적분 항등식(보조정리 A.1)은 $ \bigintss_K J(v) \thinspace dv = \bigintss_K \bigintss_K f(\rho, u) \thinspace d\rho du $ 를 증명하여, 변수변환 하에서 푸비니 유형의 등식을 확인한다.
• 해세-헤르브란드 함수는 자연스럽게 섬세한 적분의 반복적 구조로 나타나며, 그 구조는 섬세한 집합의 원소 수의 변화를 반영한다.