Equivariant Quotients of Derived Symplectic Spaces and Legendrian Intersection Theorem

기술적 요약: 유도된 심플렉틱 공간의 공변 몫과 르장드르 교차 정리

문제 제기
고전적 접촉 기하학은 근본적인 횡단성 보조정리에 의존합니다: 심플렉틱 다양체 위의 리우빌 벡터장은 그 장에 횡단적인 임의의 초곡면에 접촉 구조를 유도합니다. 이 구성은 매끄러운 국소 흐름, 점-집합 횡단성, 그리고 횡단 초곡면의 존재에 의존합니다. 그러나 이러한 고전적 방법은 대수적 모듈라이 문제의 맥락에서는 실패합니다. 여기서 공간들은 종종 특이점, 멱영성, 그리고 비자명한 자동형사상 군을 보이며, 이로 인해 횡단성 조건이 달성 불가능하거나 잘 정의되지 않게 됩니다. 또한, 대수기하학의 교차 문제들은 종종 유사한 병리현상에 시달리는데, 이는 섬유 곱이 올바른 호몰로지 차원이나 구조를 결여할 때 발생합니다. 본 논문은 비일반적인 상황 (비횡단 교차 및 "나쁜" 몫과 같은) 을 호모토피적 및 고차 범주론적 방법을 통해 처리하는 유도 대수기하학 (DAG) 의 틀로 고전적 횡단성 보조정리와 관련된 르장드르 교차 이론을 번역할 필요성에 대응합니다.

방법론
저자들은 유도 대수기하학의 장치를 활용하며, 구체적으로 안정적 $\infty$-범주, 유도 가환 대수 (cdgas), 그리고 시프트된 심플렉틱/접촉 구조를 사용합니다. 핵심 방법론적 전환은 고전적 리우빌 벡터 장을 유도 심플렉틱 스택 위의 가중치 1 인 $G_m$-작용으로 대체하는 것입니다.

1. 몫을 통한 유도 횡단성: 횡단 초곡면을 구성하는 대신, 본 논문은 $G_m$-토르소와 심플렉티피케이션의 기하학을 활용합니다. $n$-시프트된 심플렉틱 유도 아르틴 스택 $\tilde{X}$ 위의 가중치 1 인 $G_m$-작용의 기본 벡터 장이 리우빌 벡터 장을 대체합니다. 몫 스택 $[\tilde{X}/G_m]$은 접촉 구조를 물려받는 것으로 보이며, 이는 벡터 장의 "영점"을 스택의 안정자 구조로 흡수함으로써 횡단 슬라이스의 필요성을 효과적으로 우회합니다.
2. 심플렉티피케이션을 통한 르장드르 교차: 르장드르 교차 문제를 해결하기 위해, 저자들은 접촉 모듈라이 내의 르장드르 구조와 심플렉틱 모듈라이 내의 라그랑지안 구조 사이의 사전표를 수립합니다. 이는 심플렉티피케이션 사영 $p: \tilde{X} \to X$를 따라 이루어지는 $G_m$-공변 리프팅을 통해 달성됩니다. 르장드르 사상을 심플렉틱 덮개로 리프팅함으로써, 문제는 공변 라그랑지안 교차 문제로 변환됩니다.
3. $\infty$-범주론적 강하: 증명들은 기저 변경, 완전 복소체의 정확한 삼각형, 그리고 강하 큐브를 포함한 $\infty$-범주론적 연산에 크게 의존합니다. 교차점 위의 접촉 구조의 구성은 등방성 구조의 전이 (transgression) 를 분석하고 유도 범주 내 섬유 열의 안정성을 통해 비퇴화성을 검증하는 것을 포함합니다.

주요 기여 및 결과

• 정리 1.1 (고전적 횡단성의 유도 유사체): 본 논문은 가중치 1 인 $G_m$-작용을 갖춘 $n$-시프트된 심플렉틱 유도 아르틴 스택 $(\tilde{X}, \omega_{\tilde{X}})$이 주어졌을 때, 스택 몫 $[\tilde{X}/G_m]$이 $n$-시프트된 접촉 구조를 물려받음을 증명합니다. 이 결과는 유도 심플렉티피케이션을 형식화하여, 균질 심플렉틱 공간의 몫을 취하는 것이 횡단 초곡면 없이 심플렉틱 데이터를 접촉 구조로 내림 (descend) 시킴을 보여줍니다. 리우빌 벡터 장은 $G_m$-작용의 기본 벡터 장과 동일시됩니다.
• 정리 1.2 (유도 르장드르 교차 정리): 저자들은 $n$-시프트된 접촉 유도 아르틴 스택 내의 두 르장드르 사상 $f_1: L_1 \to X$와 $f_2: L_2 \to X$의 교차점이 $(n-1)$-시프트된 접촉 구조를 허용함을 증명합니다. 이는 교차점을 심플렉틱 수준으로 리프팅 (라그랑지안 교차가 됨) 하고, 시프트된 심플렉틱 교차 정리를 적용한 뒤, 결과 구조를 접촉 몫으로 다시 내림함으로써 확립됩니다.
• 계 1.3 (유도 판별식 궤적): 직접적인 응용으로서, 매끄러운 $K$-스키마 $L$ 위의 정칙 함수 $f$에 대한 유도 판별식 궤적 $\Delta_{loc}(f)$가 $(-1)$-시프트된 접촉 구조를 지님을 보입니다. 이 궤적은 $L$을 1-제트 공간에 르장드르 임베딩한 것과 영단면의 유도 섬유 곱으로 정의됩니다.
• 모듈라이 이론에 대한 응용: 본 논문은 시프트된 접촉 구조를 가진 유도 스택의 구체적인 예들을 제공합니다:
  • 사영 히그스 번들: 주다발의 1-시프트된 여접선 스택을 스케일링 작용으로 나눈 것으로 정의된 사영 히그스 번들의 유도 모듈라이 스택은 표준적인 1-시프트된 접촉 구조를 허용합니다.
  • $\ell$-adic 로컬 시스템: 기하학적 $\ell$-adic 로컬 시스템의 유도 모듈라이 스택을 $K[x]/(x^{q^d}-1)$에 의해 코대표현된 군 스택으로 나눈 형식 스택 몫은 기하학적 프로베니우스에 의해 유도된 산술적 팽창에서 비롯된 $(2-2d)$-시프트된 접촉 구조를 물려받습니다.
  • 리 2-군: 유도 스택 몫 $P(T^*[2]BG)$은 표준적인 2-시프트된 접촉 구조를 지닙니다. 또한, 부분군 $H_1, H_2 \subset G$와 관련된 두 르장드르의 유도 섬유 곱은 표준적인 1-시프트된 접촉 구조를 지닙니다.

의의 및 주장
본 논문은 고전적 횡단성 보조정리를 유도 설정으로 성공적으로 번역하여, 고전적 횡단성이 실패하는 모듈라이 공간에서 접촉 구조를 정의하기 위한 견고한 틀을 제공한다고 주장합니다. 점-집합 위상수학적 논증을 안정적 $\infty$-범주론적 연산으로 대체함으로써, 저자들은 "나쁜" 몫과 비횡단 교차 문제를 해결합니다.

이 연구의 의의는 다음과 같은 능력에 있습니다:

1. 접촉 기하학의 일반화: $G_m$-작용을 리우빌 흐름의 대수적 대리자로 활용하여, 시프트된 구조를 통해 접촉 기하학을 홀수 차원 모듈라이 공간과 특이 설정으로 확장합니다.
2. 교차 문제의 해결: 심플렉티피케이션을 통해 잘 알려진 라그랑지안 교차 이론과 연결함으로써, 유도 기하학 내 르장드르 교차 문제에 대한 결정적인 긍정적 답변을 제공합니다.
3. 모듈라이 문제의 통합: 사영 히그스 번들, $\ell$-adic 로컬 시스템, 리 2-군 등 다양한 모듈라이 문제에 대한 통일된 기하학적 기초를 제공하며, 고전적 틀에서는 이전까지 접근 불가능하거나 정의되지 않았던 자연스러운 시프트된 접촉 구조를 부여합니다.

저자들은 그들의 접근 방식이 국소 해석적 논증이나 전역 슬라이스의 필요성을 피하고, 대신 유도 스택의 고유한 호몰로지적 성질과 공변 데이터의 강하에 의존한다고 강조합니다. 이는 본질적으로 특이하거나 비자명한 안정자를 가진 공간들에서 접촉 구조를 구성할 수 있게 하여, 대수기하학 내 접촉 기하학의 범위를 확장합니다.