[논문 리뷰] Continuity of Plurisubharmonic Envelopes in Non-Archimedean Geometry and Test Ideals (with an Appendix by Jos\'e Ignacio Burgos Gil and Mart\'in Sombra)

Walter Gubler, Philipp Jell외 2명|arXiv (Cornell University)|2017. 12. 04.

Geometry and complex manifolds참고 문헌 3인용 수 3

한 줄 요약

이 논문은 양의 특성 함수체 위의 곡선과 표면에 대해 비아르키메데스 기하학에서 다수하르모닉 캐비닛의 연속성을 확립하며, 증명 전략에서 승수 아이디얼 대신 시험 아이디얼을 사용한다. 특이점의 해소를 전제로 하여 비아르키메데스 몽체-암페르 방정식을 풀 수 있는 연속적인 준양성 메트릭의 존재를 증명하며, 부록에서는 토릭 모델에서의 추적 맵이 준양성을 유지하지 못할 수 있음을 보여주는 반례를 제공한다.

ABSTRACT

Let L be an ample line bundle on a smooth projective variety X over a non-archimedean field K. For a continuous metric on L, we show in the following two cases that the semipositive envelope is a continuous semipositive metric on L and that the non-archimedean Monge-Amp\`ere equation has a solution. First, we prove it for curves using results of Thuillier. Second, we show it under the assumption that X is a surface defined geometrically over the function field of a curve over a perfect field k of positive characteristic. The second case holds in higher dimensions if we assume resolution of singularities over k. The proof follows a strategy from Boucksom, Favre and Jonsson, replacing multiplier ideals by test ideals. Finally, the appendix by Burgos and Sombra provides an example of a semipositive metric whose retraction is not semipositive. The example is based on the construction of a toric variety which has two SNC-models which induce the same skeleton but different retraction maps.

연구 동기 및 목표

• 비아르키메데스 기하학에서 곡선과 표면에 대해 양의 특성 필드 위에서 다수하르모닉 캐비닛의 연속성을 확립하는 것.
• 증명 프레임워크에서 승수 아이디얼을 시험 아이디얼로 대체하여 비아르키메데스 캘라비-요우 문제를 양의 특성으로 확장하는 것.
• 토릭 모델에서의 추적 맵과 준양성 메트릭의 행동을 연구하며, 특히 몽체-암페르 방정식과의 관계를 고려하는 것.
• 준양성 메트릭의 추적 결과가 고유한 준양성 성질을 유지하지 못할 수 있음을 보여주는 반례를 제공하는 것.
• 특성 0 설정을 초월하여 연속적인 준양성 해의 존재 결과를 일반화하는 것.

제안 방법

• 보크솜, 파브르, 존슨의 전략을 수정하여 양의 특성 설정을 다룰 수 있도록 승수 아이디얼 대신 시험 아이디얼을 사용하는 것.
• SNC-모델의 스켈레톤 위의 조각별 선형 구조를 이용하여 캐비닛, 몽체-암페르 측도와 같은 복소포텐셜 이론적 대상들을 정의하고 분석하는 것.
• 모델 메트릭에서 0 함수로의 균일 수렴과 점근적 시험 아이디얼을 이용하여 준양성 캐비닛 P(∥∥)의 연속성을 증명하는 것.
• 특이점의 해소와 모델 함수에 대한 내림내림 기법을 활용하여 곡선에서 표면으로 결과를 확장하는 것.
• 두 개의 SNC-모델이 동일한 스켈레톤을 가지지만 동치가 아닌 추적 맵을 가지는 P²_K의 토릭 기하 구조를 이용해 구체적인 반례를 구성하는 것.
• 토릭 다수하르모닉 함수를 뉴턴 다면체 위의 볼록 함수로 식별하여, 추적에 의한 준양성의 실패를 분석하는 것.

실험 결과

연구 질문

• RQ1 비아르키메데스 필드 위의 양의 특성 필드에서 연속 메트릭의 준양성 캐비닛이 여전히 연속적인가?
• RQ2 특이점의 해소를 전제로 할 때, 양의 특성에서 비아르키메데스 몽체-암페르 방정식이 연속적인 준양성 메트릭으로 해를 갖는가?
• RQ3 토릭 모델과 관련된 추적 맵은 메트릭의 준양성과 호환되는가, 아니면 준양성 메트릭을 비준양성으로 변환할 수 있는가?
• RQ4 해가 더 굵은 모델에서는 인수분해되지 않지만 더 세밀한 모델의 추적 맵을 통해 인수분해되는가?
• RQ5 비아르키메데스 복소포텐셜 이론에서 양의 특성에서 승수 아이디얼 이론을 시험 아이디얼로 얼마나 널리 대체할 수 있는가?

주요 결과

• 곡선에 대해 비아르키메데스 필드 위에서 준양성 캐비닛 P(∥∥)는 연속적이다. 이는 두일리에의 결과를 연속적 설정으로 확장한 것이다.
• 완전한 양의 특성 필드 위의 곡선의 함수체 위에 정의된 표면에 대해서는 특이점의 해소를 전제로 하면 준양성 캐비닛이 연속적이다.
• 곡선의 경우와 고차원에서 특이점의 해소를 전제로 할 경우, 비아르키메데스 몽체-암페르 방정식은 연속적인 준양성 해를 갖는다.
• 부록에서는 두 개의 SNC-모델이 동일한 스켈레톤을 가지지만 다른 추적 맵을 가지는 토릭 다양체를 구성하여, 준양성 메트릭의 추적 결과가 준양성이 아닐 수 있음을 보여준다.
• 특정 예시에서는 몽체-암페르 방정식의 해 ϕ′이 ϕ′ = ϕ′ ◦ pX를 만족하지 않음을 보여주며, 차원 ≥2에서 인수분해 성질이 실패함을 시사한다.
• 몽체-암페르 방정식의 해는 더 세밀한 모델의 추적을 통해 인수분해되며, 이는 더 굵은 모델에 대한 일반화된 인수분해 성질의 가능성에 대한 힌트를 제공한다.