[論文レビュー] Critical metrics for the determinant of the Laplacian in odd dimensions

Kate Okikiolu|ArXiv.org|Mar 1, 2001

Nonlinear Partial Differential Equations参考文献 20被引用数 7

ひとこと要約

本稿は、奇数次元コンpaktoな多様体上のラプラシアンおよび共形ラプラシアンのゼータ正則化行列式の第一および第二変化公式を導出する。$(-1)^{(n-1)/2}\text{det}'\Delta$ や $(-1)^{(n-1)/2}|\det L|$ の臨界計量は有限の指数を持つことが示され、$n=4m+1$ の場合に局所的最大値が存在せず、$n=4m+3$ の場合に局所最小値が存在しないことが示される。標準$3$-球面は $\text{det}'\Delta$ に対して局所最大値であり、標準$(4m+3)$-球面は鞍点である。

ABSTRACT

Let M be a closed compact n-dimensional manifold with n odd. We calculate the first and second variations of the zeta-regularized determinants det^\primeΛand det L as the metric on M varies, where Δdenotes the Laplacian on functions and L denotes the conformal Laplacian. We see that the behavior of these functionals denotes the conformal Laplacian. We see that the behavior of these functionals depends on the dimension. Indeed, every critical metric for (-1)^{(n-1)/2}det^\primeΛor (-1)^{(n-1}/2}| det L| has finite index. Consequently there are no local maxima if n=4m+1 and no local minima if n=4m+3. We show that the standard 3-sphere is a local maximum for det^\primeΛwhile the standard (4m-3)-sphere with m=1,2,...,4, is a saddle point. By contrast, for all odd n, the standard n-sphere is a local extremal for det L. An important tool in our work is the canonical trace on odd class operators in odd dimensions. This trace is related to the determinant by the formula det Q = TR log Q, and we prove some basic results on how to calculate the trace.

研究の動機と目的

• 奇数次元コンパクト多様体上でのラプラシアンおよび共形ラプラシアンのゼータ正則化行列式の第一および第二変化を計算すること。
• $\text{det}'\Delta$ および $\det L$ の臨界計量の指数を、次元の偶奇性と関連して分析すること。
• すべての奇数次元において、標準$ n $-球面が $\det L$ に対して局所極値をとることを確立すること。
• スペクトル行列式の計算に重要な解析的道具として、奇数クラスの作用素における標準的トレースを発展・応用すること。
• 特に極値性と指数論の観点から、奇数次元における計量変化に対するスペクトル行列式の振る舞いを明確にすること。

提案手法

• ゼータ正則化を用いて $\text{det}'\Delta$ および $\det L$ を定義し、$Z(s) = \sum_{\lambda_j \neq 0} \lambda_j^{-s}$ の解析接続に基づく。
• 奇数クラスの擬微分作用素に対する標準的トレースを用い、$\det Q = \text{TR}(\log Q)$ によりスペクトル行列式とトレース汎関数を関連付ける。
• 関数計算および熱核漸近展開を用いて、計量変化の下での $\text{det}'\Delta$ および $\det L$ の第一および第二変化公式を導出する。
• 特異核のフーリエ級数展開を用いて、標準球面における $\log \det L$ のヘッセ行列を計算する。
• 臨界計量におけるヘッセ行列の指数を分析し、それが局所最大値、最小値、または鞍点であるかを特定する。
• 奇数次元における $\det L$ が共形不変性を示すという事実を活用し、球面上での極値性の解析を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 計量変化の下で、奇数次元における $\text{det}'\Delta$ および $\det L$ の第一および第二変化はどのように振る舞うか？
• RQ2 奇数次元において、$(-1)^{(n-1)/2}\text{det}'\Delta$ や $(-1)^{(n-1)/2}|\det L|$ の臨界計量の指数は何か？
• RQ3 なぜ標準$3$-球面は $\text{det}'\Delta$ に対して局所最大値をとるのか？ 一方、高次元の奇数次元球面は鞍点として振る舞うのか？
• RQ4 奇数クラス作用素における標準的トレースは、どのようにして奇数次元におけるスペクトル行列式の計算を容易にするか？
• RQ5 なぜ奇数次元のすべての $n$ に対して、標準$ n $-球面が $\det L$ に対して常に局所極値をとるのか？

主な発見

• $\text{det}'\Delta$ の第一変化は、計量が関数の臨界点である場合にかつその場合にのみ消える。第二変化は臨界点の指数を決定する。
• $n=4m+1$ の場合、$(-1)^{(n-1)/2}\text{det}'\Delta$ には局所最大値が存在しない。$n=4m+3$ の場合、同様に局所最小値が存在しない。
• 標準$3$-球面は、回転計量におけるヘッセ行列が負定値であるため、$\text{det}'\Delta$ に対して局所最大値をとる。
• $n=4m+3$ の場合、標準$ n $-球面は $\text{det}'\Delta$ に対して鞍点である。これはヘッセ行列に正および負の固有値が共に存在するためである。
• 標準$ n $-球面は、すべての奇数次元において $\det L$ に対して局所極値をとる。これは共形不変性とヘッセ行列の対称性による。
• 標準的トレースは $\det Q = \text{TR}(\log Q)$ を満たし、本稿では作用素の分割と記号計算を用いて、奇数次元におけるこのトレースの計算に基礎的な道具を確立した。