[논문 리뷰] Smooth and mixed Hessian valuations on convex functions

Jonas Knoerr|arXiv (Cornell University)|2020. 06. 23.

Advanced Topology and Set Theory참고 문헌 13인용 수 5

한 줄 요약

이 논문은 유한값을 가진 볼록 함수 위에 미분 형식을 그 함수의 미분 사이클 위에 통합함으로써 부드럽고 혼합된 헤시안 평가를 도입한다. 이 평가들의 공간이 모든 이중적으로 에피-역행이 불변인 평가들의 공간에서 조밀하다는 것을 입증하며, 볼록 함수에 대한 McMullen의 추측에 대한 함수 해석학적 실현을 제공한다.

ABSTRACT

We construct valuations on the space of finite-valued convex functions using integration of differential forms over the differential cycle associated to a convex function. We describe the kernel of this procedure and show that the intersection of this space of smooth valuations with the space of all dually epi-translation invariant valuations on convex functions is dense in the latter. We also show that the same holds true for the space spanned by mixed Hessian valuations. This is a version of McMullen's conjecture for valuations on convex functions.

연구 동기 및 목표

• 미분 기하학을 통해 유한값을 가진 볼록 함수 공간 위에 새로운 평가를 구성하기.
• 미분 사이클 위에서의 통합을 기반으로 한 평가 구성 절차의 핵을 기하학적 성질로 특성화하기.
• 볼록 함수 위의 이중적으로 에피-역행이 불변인 평가들의 더 넓은 클래스 내에서 부드러운 헤시안 평가의 조밀성을 조사하기.
• 혼합 헤시안 평가로의 분석 확장 및 동일한 공간 내에서의 조밀성 입증하기.
• 볼록 함수의 맥락에서 McMullen의 추측에 대한 기능 해석학적 실현 제공하기.

제안 방법

• 볼록 함수와 관련된 미분 사이클 위에서 미분 형식을 통합하여 평가 정의하기.
• 미분 사이클의 기하학적 및 분석적 성질을 통해 평가 사상의 핵을 규명하기.
• 이중성과 에피-역행이 불변성을 적용하여 평가들의 배경 공간을 특성화하기.
• 기능 해석 기법을 사용하여 이중적으로 에피-역행이 불변인 평가들의 공간 내에서의 조밀성 결과 입증하기.
• 부드러운 헤시안 평가 사상의 다중선형 확장을 통해 혼합 헤시안 평가의 구성하기.
• 부드러운 및 혼합 헤시안 평가 공간이 모두 이중적으로 에피-역행이 불변인 평가들의 공간 내에서 조밀하다는 것을 증명하기.

실험 결과

연구 질문

• RQ1 어떻게 볼록 함수 위의 평가를 미분 기하학적 자료를 통해 체계적으로 구성할 수 있는가?
• RQ2 미분 사이클 위에서의 통합을 통해 정의된 평가 사상의 핵은 무엇인가?
• RQ3 유한값을 가진 볼록 함수 위의 모든 이중적으로 에피-역행이 불변인 평가들의 공간 내에서 부드러운 헤시안 평가의 공간은 조밀한가?
• RQ4 혼합 헤시안 평가가 생성하는 공간에 대해서도 동일한 조밀성 성질이 성립하는가?
• RQ5 이 구성이 볼록 함수의 맥락에서 McMullen의 추측을 어느 정도 실현하는가?

주요 결과

• 미분 사이클 위에서의 통합을 통한 평가의 구성은 유한값을 가진 볼록 함수 공간 위에 잘 정의된 사상이다.
• 이 평가 사상의 핵은 미분 사이클의 성질을 통해 기하학적으로 특성화된다.
• 부드러운 헤시안 평가의 공간은 볼록 함수 위의 모든 이중적으로 에피-역행이 불변인 평가들의 공간에서 조밀하다.
• 혼합 헤시안 평가가 생성하는 공간 역시 동일한 배경 공간 내에서 조밀하다.
• 이 조밀성 결과들은 볼록 함수 위의 평가에 대한 McMullen의 추측에 대한 기능 해석학적 실현을 제공한다.
• 결과들은 볼록 함수의 미분 기하학과 평가의 대수적 구조 사이의 다리를 놓는다.