[논문 리뷰] Motivic integration over wild Deligne-Mumford stacks

Takehiko Yasuda|arXiv (Cornell University)|2019. 08. 08.

Algebraic Geometry and Number Theory참고 문헌 38인용 수 15

한 줄 요약

이 논문은 임의의 특성수에서의 멱급수환 위의 야생 딜레인-멈포르 스택에 대해 모티브적 적분을 개발하며, 이는 이전 이론을 비타임 및 비타임 스택을 포함하도록 일반화한다. 이는 이동 변수 공식을 이동 함수를 포함하여 수립하고, 착암적 사상에 대해 스트링이론 모티프의 불변성을 증명함으로써 야생 모티브적 메이크비-대응과 바르가바의 질량 공식의 모티브적 형태를 이룩한다.

ABSTRACT

We develop the motivic integration theory over formal Deligne-Mumford stacks over a power series ring of arbitrary characteristic. This is a generalization of the corresponding theory for tame and smooth Deligne-Mumford stacks constructed in earlier papers of the author. As an application, we obtain the wild motivic McKay correspondence for linear actions of arbitrary finite groups, which has been known only for cyclic groups of prime order. In particular, this implies the motivic version of Bhargava's mass formula as a special case. In fact, we prove a more general result, the invariance of stringy motives of (stacky) log pairs under crepant morphisms.

연구 동기 및 목표

• 특성수로 나누어떨어지는 순서를 가진 안정자와 함께 있는 야생 딜레인-멈포르 스택으로 모티브적 적분 이론을 확장하는 것.
• 야생 경우의 비틀린 호에 대해 이동 함수를 포함하는 일반화된 이동 변수 공식을 도출하는 것.
• 스택형 로그 쌍에 대해 착암적 밀착 사상에 대해 스트링이론 모티프의 불변성을 확립하는 것.
• 이전 결과가 소수 차수의 순환군에 국한된 바에 비해 임의의 유한군 작용에 대해 야생 모티브적 메이크비-대응을 증명하는 것.
• 일반화된 대응의 특수한 경우로서 바르가바의 질량 공식의 모티브적 형태를 도출하는 것.

제안 방법

• 기존의 호를 일반화하기 위해 $[E/G]$ 형태의 몰입 사상에서 유도되는 몰입 호를 도입하며, 여기서 $E$ 는 군 $G$ 를 가진 형식적 디스크의 갈로아 피복이다.
• 기하학적 확장의 모듈러스를 사용하여 $k[[t]]$ 위의 형식적 DM 스택에 대해 비틀린 호의 공간 $\mathcal{J}_\infty\mathcal{X}$ 를 구성한다.
• 모티브 측도를 $\mathcal{J}_\infty\mathcal{X}$ 에 정의하고, 이는 타임 경우의 나이지 수치를 일반화하는 이동 함수 $\mathfrak{s}_{\mathcal{X}}$ 를 도입한다.
• 적절한 밀착 사상에 대해 야생 경우의 일반화된 이동 변수 공식을 증명하며, 여기서 야생의 자코비안 순서 $\mathfrak{j}_f$ 와 이동 함수 $\mathfrak{s}_{\mathcal{X}}$, $\mathfrak{s}_{\mathcal{Y}}$ 가 포함된다.
• 이 이론을 사용하여 스트링이론 모티프를 스택형 로그 쌍에 대해 정의하고, 착암적 사상에 대해 그 불변성을 증명한다.
• 불변성의 응용을 통해 야생 모티브적 메이크비-대응과 모티브적 바르가바 질량 공식을 도출한다.

실험 결과

연구 질문

• RQ1 비타임 안정자를 가진 야생 딜레인-멈포르 스택에 대해 특성수에 관계없이 모티브적 적분을 어떻게 확장할 수 있는가?
• RQ2 야생 및 특이한 상황에서 이동 변수 공식의 적절한 일반화는 무엇이며, 이때 이동 함수는 어떤 역할을 하는가?
• RQ3 스택형 로그 쌍에 대해 스트링이론 모티프를 정의하고, 야생 경우의 착암적 사상에 대해 불변성을 입증할 수 있는가?
• RQ4 이전 결과가 소수 차수의 순환군에 국한된 바에 비해 임의의 유한군 작용에 대해 야생 모티브적 메이크비-대응이 성립하는가?
• RQ5 일반화된 메이크비-대응의 특수한 경우로서 모티브적 바르가바 질량 공식을 도출할 수 있는가?

주요 결과

• 논문은 야생 DM 스택에서의 모티브적 적분에 대해 이동 함수 $\mathfrak{s}_{\mathcal{X}}$ 와 $\mathfrak{s}_{\mathcal{Y}}$ 를 포함하는 일반화된 이동 변수 공식을 수립하였으며, 이는 나이지 수치를 일반화한다.
• 스택형 로그 쌍에 대해 착암적 밀착 사상에 대해 스트링이론 모티프의 불변성을 증명하였으며, 이는 타임 경우에서의 핵심 성질을 일반화한다.
• 모든 유한군 작용에 대해 야생 모티브적 메이크비-대응이 확립되었으며, 이는 이론에서 오랫동안 남아 있던 격차를 해결한다.
• 모티브적 바르가바 질량 공식은 야생 메이크비-대응의 특수한 경우로 도출된다.
• 비선형 및 특이한 경우에서 이동 함수 $\mathfrak{s}_{\mathcal{X}}$ 가 결정되었으며, 이는 이전 결과를 일반화하고 아르틴 및 스완 군의 수렴과 연결된다.