Noether and Mei symmetries in static spherically symmetric quadratic gravity: variational consistency, constraints, and conserved curvature flux

技術要約：静的な球対称二次重力におけるノーターおよびメイの対称性

問題提起
本研究は、純粋な二次モデル（$f(R) = R^2$）における静的な球対称 $f(R)$ 重力の変分定式化における不整合に対処するものである。近年の文献（参考文献 [16–18]）は、径方向作用の標準的な簡約化を提案し、様々なノーターおよびメイの対称性を特定した。しかし、採用されたミニスーパースペース・ラグランジアンが、本質的な曲率依存項をすべて保持しているか否かについて、議論（コメントと返答による）が生じた。核心的な問題は、径方向の計量変数（$B$）を時期尚早に排除したり、径方向の速度に依存しない項（$2f_R$ など）を破棄したりすると、ヘッセ行列（速度行列）が変化しない場合でも、オイラー・ラグランジュ方程式および結果として得られる対称性代数が変化してしまうことにある。著者らは、変分的に一貫した径方向ラグランジアンを導出し、対称性の内容を再評価し、オフシェル・ノーター対称性、強点メイ（strong point-Mei）対称性、および方程式のリー（Lie）不変性の区別を明確化することを目的としている。

手法
著者らは厳密な変分アプローチを採用している：

1. 変分簡約： 4次元真空 $f(R)$ 作用から出発し、3つの独立な関数 $A(r), B(r), N(r)$ を持つ静的な球対称ラインエレメントを導入する。極めて重要な点として、シュワルツシルト型のゲージ（$AB=1$）を課す前に、径方向の計量変数 $B$（ラプス様関数）に関連する方程式を保持する。
2. ラグランジアンの導出： 二階微分項を部分積分によって積分し、ラグランジュ未定乗数を用いて $R$ を独立な座標として導入することで、「未固定」の径方向ラグランジアンを導出する。著者らは、$2f_R$ の項（$R^2$ 重力では $4R$ となる）を保持しなければならないことを証明する。なぜなら、この項は径方向の速度を含まないものの、その $R$ に関する微分（$\partial(2f_R)/\partial R = 2f_{RR} \neq 0$）が動力学に寄与するためである。
3. 対称性解析：
   • ノーター対称性： 候補となる生成子を、オフシェルでのノーター条件 $X^{[1]}L + L D_r \xi = D_r K$ に対してテストする。
   • 強点メイ対称性： オイラー・ラグランジュ方程式に対して、形式不変条件 $E_i(X^{[1]}L) = 0$ を適用する。
   • リー・ポイント分類： 特定のクラス内での完全性を保証するため、2次以下の全多項式点アンザッツ（60個の独立な定数を含む）を用いた、2階微分方程式系に対するリー決定方程式を解く。
4. 共変的検証： 径方向の第一積分を検証するために、4次元場の方程式のトレースから独立に保存量を導出する。

主要な貢献および結果

• 変分的整合性： 著者らは、$R^2$ 重力の正しい径方向ラグランジアンには $4R$（$2f_R$ から生じる）の項が含まれなければならないことを確立した。以前の簡約化で行われていたように、この項を省略することは、誤ったオイラー・ラグランジュ方程式と無効な対称性残差を招く。
• 対称性の分類：
  • ノーター対称性： 修正されたラグランジアン内では、2つの正確なオフシェル・ノーター対称性、すなわち径方向の平行移動（$\partial_r$）と、結合されたスケーリング（$X_N = r\partial_r + H\partial_H + N\partial_N - R\partial_R$）のみが見出される。以前に提案された個別のスケーリング生成子（$Y_2, Y_3$）は、オフシェル・ノーター・テストに失敗することが示されており、それらの和が有効な対称性となる。
  • 強点メイ対称性： 生成子 $M_2 = \frac{1}{2}r\partial_r + H\partial_H$ は強点メイ基準を満たすが、これはオフシェル・ノーター対称性ではない。これは、ノーター対称性とメイの対称性が異なる概念であることを浮き彫りにしている。
  • リー代数： 多項式点クラス（次数 $\le 2$）に対する決定方程式を解くと、$\text{aff}(1) \oplus \mathbb{R}$ に同型な3次元のリー代数 $\{L_1, L_2, L_3\}$ が得られる。この分類により、追加の定数、線形、または二次多項式の生成子は除外されるが、非多項式または一般化された対称性は排除されない。
• 保存された曲率フラックス： スケーリング対称性に付随するノーター電荷は、制約面上で $HNR' = C_R$ に減少する。この量は、保存された曲率の径方向フラックスとして特定される。この結果は、4次元場の方程式のトレース（$2R = 0 \implies \nabla_\mu \nabla^\mu R = 0$）を積分することによって独立に確認され、同一の第一積分を与える。
• 解空間のセグメンテーション： 保存されたフラックス $C_R$ は、解空間を以下の3つの異なるセクターに分割する：
  1. 非ゼロ定曲率（$C_R = 0, R_0 \neq 0$）： アインシュタイン空間へと還元され、シュワルツシルト・（反）ド・ジッター・ファミリーを回収する。
  2. スカラー平坦セクター（$C_R = 0, R = 0$）： 純粋な $R^2$ 重力における $f(0)=f_R(0)=0$ の退化により、スカラー平坦性はリッチ平坦性を意味しない。このセクターはレイスナー・ノルドシュトロム型の計量（$H(r) = 1 - 2M/r + C/r^2$）を許容するが、マクスウェル場が存在しないため、積分定数 $C$ は電磁気的な意味を持たない。
  3. 動的曲率セクター（$C_R \neq 0$）： 曲率は一定ではなく、$R' = C_R/(HN)$ を満たす。この分岐は、質的に異なる近水平および漸近的挙動を示し、スカラー曲率は局所的に単調である。

意義および主張
本論文は、欠落している曲率項が正しい運動方程式と対称性残差に不可欠であることを示すことにより、二次重力における従来の対称性解析における変分的不整合を解決したと主張している。それは以下のことを確立している：

1. 変分的等価性： 同じヘッセ行列を持つ2つのラグランジアンであっても、速度には依存しないが構成変数に依存する項が異なる場合、変分的に等価であるとは限らない。
2. 明確な対称性の概念： ノーター、強点メイ、およびリー不変条件は、個別に扱われなければならない。ある変換が一つを満たしても、必ずしも他の条件を満たすとは限らない。
3. 物理的解釈： 保存されたフラックスは、第一積分に対する共変的な起源を提供し、解の分岐の自然な分類を提供する。著者らは、明示的な電磁セクターがない状況でのスカラー平坦セクターにおける積分定数の解釈について、計量の関数的形態を再現することと、物理的な物質内容を再現することを区別し、注意を促している。

本研究は、径方向の変分問題の注意深い再構築として提示されており、対称性解析のための検証された基礎を提供するとともに、オフシェル対称性と制約面上の不変性の明確な区別を行っている。結果は多項式点クラス（次数 $\le 2$）および特定の $R^2$ モデルに限定されており、動的曲率セクター（$C_R \neq 0$）のグローバルな解析は、将来の数値計算作業へのオープンな問題として残されている。