Local-global principles for semi-integral points on Markoff orbifold pairs

技術要約：マルコフ・オービフォールド・ペアにおける半整数点に関する局所・大域原理

問題提起
本論文は、マルコフ曲面に関連するオービフォールド・ペア上の半整数点（semi-integral points）に関する局所・大域原理を調査するものである。マルコフ曲面（$u_1^2 + u_2^2 + u_3^2 - u_1u_2u_3 = m$）における有理点および整数点の算術（特にハッセ原理と整数点の密度に関して）は広く研究されてきたが、本研究は「半整数点」へとその分析を拡張するものである。カンパナ（Campana）とダルモン（Darmon）によって導入されたこれらの点は、境界因子との交差多重度に特定の割り切れる条件を課すことで、有理点と整数点の間の性質を補間するものである。著者らは、特に、滑らかなコンパクト化 $X_m$ と、重み $\omega_i \in \mathbb{Z}_{\ge 2} \cup \{\infty\}$ が割り当てられた境界因子 $D_\omega$ からなるオービフォールド・ペア $(X_m, D_\omega)$ 上のこれらの点の挙動に焦点を当てる。中心となる問いは、これらの半整数点における弱近似、強近似、およびハッセ原理の妥当性と、整数点が存在しない場合に厳密な半整数点がどの程度の頻度で存在するかである。

手法
著者らは、算術幾何学、二次形式論、および[MNS24]で定義された半整数点用に適応されたブラウアー・マネン（Brauer–Manin）障害の枠組みを組み合わせた手法を用いる。

1. オービフォールドの設定と定義： 本研究は、オービフォールド・ペア上のカンパナ点およびダルモン点の定義を利用する。点は、境界成分 $D_i$ との交差多重度が重み $\omega_i$ に基づく特定の条件を満たすとき、半整数的であるとされる。カンパナ点の場合、多重度は $\mathbb{Z}_{\ge \omega_i} \cup \{0, \infty\}$ でなければならず、ダルモン点の場合、多重度は $\omega_i\mathbb{Z}_{\ge 0} \cup \{ \infty \}$ でなければならない。
2. 局所・大域分析： 著者らは、随伴空間における半整数点の密度を分析する。彼らは「厳密な（strict）」点（アフィン部分 $U = X \setminus D_{red}$ に存在する点）と「非厳密な（non-strict）」点（境界上に存在する点）を区別する。複数の有限な重みを持つペアにおける弱弱近似（WWA）の失敗は、幾何学的整数性を用いた議論とラング・ヴィール（Lang–Weil）の評価を用いて確立される。
3. ブラウアー・マネン障害： 著者らは、マルコフ曲面のブラウアー群の生成元の局所不変量写像の値を計算する。特定の局所不変量値を持つ随伴点を明示的に構成することにより、ハッセ原理および近似特性に対するブラウアー・マネン障害の有無を判定する。
4. 二次形式による明示的構成： 整数点が存在しない場合に厳密な半整数点が存在することを扱うため、著者らは問題を二元二次形式による整数の表現へと還元する。彼らは、特定の判別式（例：117, $p^2+4$, 28）のガウス種理論および類群の性質を利用して、特定の合同条件の下での $m$ に対するマルコフ方程式の解の存在を証明する。

主な貢献と結果

• 複数の重みを持つ場合の近似の失敗： 本論文は、少なくとも2つの重み $\omega_1, \omega_2, \omega_3$ が有限である場合、オービフォールド・ペア $(X_m, D_\omega)$ は半整数点に対して弱弱近似を満たさないことを証明している。これは、複数の既約境界成分を持つカンパナ・オービフォールドに関するこの種の最初の結果である。
• 単一の有限な重みを持つ場合の近似： ちょうど一つの重みが有限である場合、その挙動は $m-4$ の算術に依存する。$m-4$ が $\mathbb{Q}$ において平方数であれば、弱近似は成立する。そうでなければ、ペアはカンパナ弱近似に失敗し、有限な重みが偶数であれば、ダルモン弱近似も失敗する。これらの失敗はブラウアー・マネン障害に起因する。
• 強近似： 少なくとも2つの重みが有限である場合、任意の有限集合を除いた強近似は失敗することを著者らは示している。さらに、$m-4$ が平方数ではなく、かつ少なくとも一つの重みが有限である場合、強近似は $m-4$ が平方数となる素数の集合を含む任意の有限集合 $T$ を除いて失敗する。
• 厳密な点に関するハッセ原理： 本研究は、マルコフ・オービフォールド・ペアの族が半整数的ハッセ原理を満たすことを示している。整数点の場合（[GS22], [LM21]に示されるように、局所的な障害が全域的な点の存在を妨げることがある）とは異なり、厳密な半整数的ハッセ原理は、点 $(0:0:1:1)$ が常に半整数的であるため成立する。
• ブラウアー・マネン障害の不在： 厳密な半整数点について、著者らは代数的なブラウアー・マネン障害が存在しないことを証明している。特定の $m$ に関する算術的条件（$\mathbb{Q}(\sqrt{m}, \sqrt{m-4})$ に関連するもの）の下では、超越的なブラウアー・マネン障害も存在しない。
• 整数点が存在しない状況での厳密な半整数点の存在： 整数点が存在する一方で厳密な半整数点が存在する、マルコフ・オービフォールド・ペアの明示的な族を構成することは、本研究の重要な貢献である。
  • 定理 1.7： 著者らは、$|m| \le B$ であるようなそのような整数 $m$ の個数の下限を確立している。具体的には、一つの重みが有限である場合、そのような $m$ の数は $\gg B / (\log B)^{1/2}$ である。
  • 明示的な族： 論文では、二元二次形式を用いてこれらの例を生成する具体的な構成（定理 4.1, 4.2, 4.5）を提供している。例えば、$m = 6d$ で特定の合同条件を満たす場合、厳密な半整数点は存在するが $U_m(\mathbb{Z}) = \emptyset$ となる。

意義と主張
本論文は、複数の既約境界成分を持つカンパナ・オービフォールドの局所・大域原理を系統的に研究した最初の研究であると主張している。著者らは、整数点と厳密な半整数点の挙動の間にある根本的な相違を強調している。すなわち、マルコフ曲面上の整数点は（局所的には存在するが全域的には存在しないというように）しばしばハッセ原理に失敗するが、対応するオービフォールド・ペア上の厳密な半整数点はハッセ原理を満たす。

著者らは、本研究を、アフィン多様体の族における局所・大域原理の失敗を理解するための一歩として位置づけている。整数点の欠如にもかかわらず厳密な半整数点が存在するケースの頻度を定量化することで、整数点のハッセ失敗を予測する一般的な理論の欠如を示すテストケースとして、マルコフ・オービフォールド・ペアの具体的な部分族を提供している。これらの結果は、半整数点が整数設定で見られるハッセ原理の失敗を「修復」できる可能性を示唆しており、マルコフ算術に対する新しい視点を提供している。本論文は、すべてのアフィン多様体に対する一般的な理論を提示することを目的としているのではなく、マルコフの場合における具体的かつ例証的な結果を提供することを目指している。