A note on Azumaya algebras and one-forms

기술적 요약: 아즈마야 대수와 1-형식에 대한 주석

문제 제기
대수적으로 닫힌 체 $k$ 위에서 특성 $p > 0$인 대수기하학의 맥락에서, 매끄러운 propre 다양체 $X$ 위의 결정형 미분 연산자 층은 $X'$의 프로베니우스 꼬임의 여접다발 $T^*X'$ 위에서 아즈마야 대수 $A_X$를 정의합니다. $A_X$가 특정 스펙트럼 다양체로 제한될 때 분해된다는 사실은 알려져 있습니다 (이 현상은 특성-$p$ 기하학적 랭글랜즈와 비가환 호지 이론에서 활용됨). 그러나 이러한 분해가 실패하는 다양체의 존재성에 관한 구체적인 질문은 여전히 열려 있었습니다.

사샤 페트로프는 다음과 같은 질문을 제기했습니다 (논문 내 질문 1): $A_X|_Z$가 분해되지 않는 매끄러운 propre 다양체 $X$와 $X'$ 위에서 유한한 매끄러운 부분다양체 $Z \subset T^*X'$가 존재하는가?

방법론
이 논문은 $X$ 위의 전역 1-형식의 코호몰로지적 성질과 아즈마야 대수의 분해 사이의 관계를 분석함으로써 이 질문에 답합니다. 방법론은 다음과 같은 논리적 단계를 거칩니다:

1. 밀네의 완전열: 저자는 $X'$ 위의 에탈 층에 대한 밀네의 완전열을 활용합니다. 이 열은 곱셈군, 곱셈군의 프로베니우스 푸시포워드, 닫힌 1-형식, 그리고 모든 1-형식의 층을 관련시킵니다. 이 열은 카르티에 연산자 $C_X$와 $d\log$ 사상을 포함합니다.
2. 방해 사상: 완전열을 연결하여 연결 사상을 정의함으로써 방해 사상을 유도합니다:
   $$ob_{X'}: H^0(X', \Omega^1_{X'/k}) \to H^2_{\text{ét}}(X', \mathcal{O}^*_{X'})$$
   이 사상은 대수의 분해를 방해하는 정도를 측정합니다.
3. 게브 식별: 오구스 - 볼로고츠키를 인용하여, 논문은 $ob_{X'}(\omega)$를 $p$-곡률이 $\omega$인 적분 가능 접속을 갖는 선다발의 $\mathbb{G}_m$-게브의 클래스와 동일시합니다. 결정적으로, 이 게브는 전역 1-형식 $\omega$에 해당하는 단면 $i_\omega: X' \to T^*X'$로 제한된 $A_X$의 분해들의 게브로도 식별됩니다.
4. 피카르 스킴의 차원 분석: $ob_{X'}$가 0이 아닌 경우를 결정하기 위해, 논문은 적분 가능 접속을 갖는 선다발의 강성화된 피카르 스킴 $G$를 분석합니다. 카르티에 강하와 $p$-곡률 사상 $\psi: G \to V$ (여기서 $V$는 전역 1-형식의 벡터 군) 의 성질을 사용하여, $\psi$의 상의 차원과 전역 1-형식 공간의 차원을 비교합니다.

주요 기여 및 결과
논문은 다음과 같은 주요 결과를 확립합니다:

• 보조정리 2: 매끄러운 다양체 $X$와 전역 1-형식 $\omega \in H^0(X', \Omega^1_{X'/k})$에 대해, 제한된 아즈마야 대수 $[i_\omega^* A_X]$의 클래스는 $H^2_{\text{ét}}(X', \mathcal{O}^*_{X'})$에서 정확히 $ob_{X'}(\omega)$입니다. 따라서 $ob_{X'}(\omega) \neq 0$이면, 대수는 그래프 $\Gamma_\omega$ 위에서 분해되지 않습니다.
• 명제 3: 모든 전역 1-형식이 닫혀 있지 않은 매끄러운 propre 연결 다양체 $X$ (즉, $H^0(X, Z^1_{X/k}) \subsetneq H^0(X, \Omega^1_{X/k})$) 가 주어지면, 방해 사상 $ob_{X'}$는 0이 아닙니다. 증명에 따르면 피카르 스킴 성분의 차원 제약으로 인해 $p$-곡률 사상의 상은 모든 전역 1-형식 공간보다 엄격하게 작습니다.
• 정리 4 (주요 결과): $X$가 닫히지 않은 전역 1-형식을 갖는다면, $A_X|_Z$가 분해되지 않는 $X'$ 위에서 유한한 (실제로는 동형사상인) 매끄러운 부분다양체 $Z \subset T^*X'$ (구체적으로 닫히지 않은 형식의 그래프) 가 존재합니다.

예시 및 의의
논문은 모든 양의 특성에서 긍정적 예시를 제공합니다:

• 곡면 예시: 닫히지 않은 전역 1-형식을 갖는 매끄러운 사영 곡면의 Mumford 구성을 인용합니다. 또한 Takeda가 구성한 일반화된 Raynaud 곡면 (원래 $p>2$를 위해) 이 $p=2$에서도 이 조건을 만족한다고 지적합니다.
• 고차원: 이러한 곡면과 사영 공간 $X \times \mathbb{P}^n_k$의 곱은 고차원 예시를 제공합니다.

의의 및 한계
이 논문은 질문 1 에 긍정적으로 답하여, 다양체가 닫히지 않은 전역 1-형식을 허용하는 경우, 기저의 유한 덮개 (구체적으로 차수 1 덮개) 에조차 결정형 미분 연산자의 아즈마야 대수의 분해가 보장되지 않음을 보여줍니다.

저자는 델린 - 일루시에 정리에 따라, 호지 - 드람 스펙트럼 열이 $E_1$에서 퇴화하면 모든 전역 1-형식이 닫혀야 하므로, 이 논문에서 구성된 다양체 (닫히지 않은 형식을 갖는) 는 제 2 위트 벡터 링 $W_2(k)$로 들어올릴 수 없다는 직접적인 결과를 지적합니다. 논문은 겸손하게, Petrov 가 제기한 구체적인 질문에 대한 해결로 기여를 규정하며, 직접적인 기하학적 맥락을 넘어 더 넓은 응용이나 미래의 실험적 제안을 제시하지는 않습니다.