固有関数とスペクトルジオメトリのトリプル製品

作成者

Joe Schaefer

抽象画

Geometric Analysis、Partial Differential Equations、Abelianの基本技術$C^*$ 代数、私たちは、小説を発見、まだ馴染みのある、グローバルな幾何学的不変 — すなわちLaplace-Beltrami演算子の固有関数の三重積分の指数集合は、どの等分スペクトル閉じたRiemannianマニホールドがアイソメトリックであるかを正確に特徴付ける。

はじめに

閉じたRiemannianマニホールドのため$(M,g)$非アイソメトリックのクラスを特徴付ける、アイソスペクトルのマニホールドは逆問題の一種です[DH11] Spectral Geometryとは単純に、このクラスが常に空であることは推測できるかもしれません。しかし、学術文献は、数十年にわたる反例の特定のペアの構造が豊富です:1964年からジョン・ミルナーの16次元対の非等方性、等分性平坦な通路で始まります[JM64]および継続[CS92] アレキサンダー・シーマンによる1993年の博士論文のフラット・トーリの汎用的な次元特性化に向けて[AS94] — 重要なコンピュータ支援検索で補完$\dim = 3$ ケース。平らな通りの歴史の現代的な調査が、[NRR22].

途中、より洗練された非ユークリッド対称カバースペースへの洞察力に富んだオフシュートでした。そのような等分スペクトル、非アイソメトリックの構築”デュエット” 非微小な曲率テンソル(および次元2におけるスペクトル決定ユーラー特性)を含む[MS67]1985年、この取り組みのもっとも大きな例が、太陽田敏和さんの1985年でした。[TS85] 汎用カバー・スペース・フレームワークの発明で、2次元と3次元で双曲線デュエットを構築するために同じ作業にデプロイしました。

不均質なリーマン指標のために、キャロリン・ゴードンは、局所的なアイソメ化さえしないデュエットを発見した。[CG93].

さまざまな関連分野での取り組み[DH11]イソスペクトルのクラスの位相的特性を決定するような、一般的には非アイソメトリックマニホールド(空) [ST80]、有限[AS94]、堅い[GK80]、コンパクト[GZ97])は、Riemannianメトリックのさまざまなモジュリ空間のサブセットです。

What we offer in this article is a new perspective on a familiar tool: 離散物としての固有関数のペアワイズプロダクトのインデックス付きフーリエ係数”代数/位相不変” 既存、個別を補完する”分析不変条件” — Laplace-Beltrami演算子 (ここではLaplacian)の負でないスペクトル$ℋ = L^2(M,g)$。組み合わせて、ペアは、”個別のグローバル幾何表現” isospectralのisometryクラス、閉じたRiemannianマニホールド。

結果

Symmetryは、計算的に追跡可能なケースにおいて重要な役割を果たします。[TF17] [LS18] [PS94]私たちの平らな通路でよく説明されている例 下。しかし、私たちのアプローチの強さは、おそらく最も少ない数のRiemannian対称性を持つマニホールドの場合、最も顕著です。この例では、次のものを提供します。

 

研究の動機$\set{M^{i,j,k}}$ ビリニア乗算演算子の役割の研究からゆるく導出されます$Y:V\otimes V\rightarrow V((z))$ 頂点演算子代数の定義[FBZ04] 原題はChiral Conformal Field Theory。こちら$V$ 国家のベクトル空間であり、$V((z))$ 正式なLaurentシリーズのスペース$z$ の係数$V$。次以降$V$ 伝統的なフーリエシリーズの正統な基礎を持つヒルバートスペースとして装備され、インデックス作成$Y$ Fourierベース要素の使用$V$ ほんの少しだけ関わっている$M^{i,j,k}$ ここに書いてあるが、精神的に似ている。ただし、詳細な比較はこの記事の範囲外です。

地図を考えるなら

$$(M, g, \set{e^i}) \mapsto \set{\lambda_i, M^{i,j,k}}\ ,$$

閉じたRiemannianマニホールド(その領域ではRiemannian isometryまで)に対するこのマップの注入性を確立した。これらの手法を適用して、そのイメージ(および逆)を説明するさらなる結果は、メトリックの選択モジュリ領域内で開始されます。[AA25]。Anshul Adveは、Conformal Field Theoryと同じ構造定数を使用して、コンパクトで双曲型の2-orbifoldsのユニット接線スペースに厳密に取り組んでいます。

一般的なRiemannianメトリックケースは、次の研究によって完全に特徴付けられます$\set{\lambda_i, M^{i,\bar i,k}}$.

これらの結果は、1997年にMSRIの著者が同様のタイトルの講演で最初に実証されましたが、それらは初めて公開された形式でここに表示されます。

事前審査

現在$M,g,e^i,M^{i,j,k}$ 上記のように、$f \in C^\infty(M)$ および$i \geq 0$ フーリエ係数

$$\begin{aligned} \hat{f}(i) &:= \int_M f(x)\bar{e^i}(x)\sqrt{g(x)}dx \\ \implies \\ f(x) &= \sum_{i=0}^{\infty}\hat{f}(i)e^i(x) \end{aligned}$$

以降$f$ 急速に収束するFourierシリーズとして一意に表現可能です$\Delta_M$- 特定のソボレフ埋め込み[MT13] [RS75]Weyl’s Asymptotic Lawとは[HW11]は、和の項が$o(i^{-n})$ ユニフォーム$x$ [LH68], $\forall n\in\N$]からのWe See That For $f_1, f_2 \in C^\infty(M)$、ポイントワイズプロダクトのフーリエ係数$f_1 f_2 \in C^\infty(M)$ アール

$$\begin{aligned} \widehat{f_1 f_2}(k) &= \sum_{i,j}^\infty\hat{f_1}(i)\hat{f_2}(j)M^{i,j,k} \\ \implies \\ f_1f_2(x) &= \sum_{i,j,k}\hat{f_1}(i)\hat{f_2}(j)M^{i,j,k}e^k(x) \\ f_1 = f^p_2,\space p > 2 \implies \\ \sum_{k}\hat{f_1}(k)e^k(x) &= \sum_{i_1,i_2,...,i_{2p-1}}\hat{f_2}(i_1)\hat{f_2}(i_2)\hat{f_2}(i_4)\hat {f_2}(i_6)...\hat{f_2}(i_{2p-2})M^{i_1,i_2,i_3}M^{i_3,i_4,i_5}...M^{i_{2p-3},i_{2p-2},i_{2p-1}}e^{i_{2p-1}}(x) \end{aligned}$$

そして、critically、多変量多項式$\weierp \in \Complex[z_1,…,z_l]$ (スムーズな機能で)任意のスペクトル保存で通勤 $\Delta$-eigenfunction orthonormalベースマップ$\vec{F}$ 保存する$\set{M^{i,j,k}}$:

$$\begin{CD} C^\infty(M,\space\Complex^l) @>\weierp >> C^\infty(M)\\ @V\underbrace{\vec{F}\oplus\dots\oplus \vec{F}}_{l\space\text{times}}VV @VV\vec{F}V\\ C^\infty(N,\space\Complex^l) @>>\weierp > C^\infty(N) \end{CD}$$

さらに、$A\subset M$ Borel-measurable、そして上の結果は*characteristic機能のためにポイントワイズを握ります$A$*境界線以外のすべての場所$A$次の場合: $f = f^2$ および$A:=\set{x\in M|f(x)=1}$,

$$\sum_{i}\hat{f}(i)e^i(x) = \sum_{i,j,k}\hat{f}(i)\hat{f}(j)M^{i,j,k}e^k(x) = \begin{cases} 1 & x \in \mathring{A} \\ 0 & x \in \mathring{A^\complement}\end{cases}$$

独自性により、以下のアイデンティティを有しています。

$$\begin{aligned} \hat{f}(k) &= \sum_{i,j}\hat{f}(i)\hat{f}(j)M^{i,j,k}\space\space \forall k\geq 0 \\ \iff f&=f^2 \space a.e. \end{aligned}$$

これは、上記のようなベース・マップが特性関数(メンバーとして)を保持することを意味します。$L^2(M,g)\subset L^1(M,g)$)は、測定保存方式で特徴的な機能に。

これらの計算のポイントは、$\set{M^{i,j,k}}$ 特徴ポイントワイズ乗算演算子の調和解析$C^\infty(M)$アベリア人の密集した代数である。$C^*$ 代数学$C(M)$Stone-Weierstrassの定理

上記の和の急速な収束のために$M^{i,j,k}$固有関数の生成物は滑らかであるので、これらのフーリエ係数は上記のように(各インデックスで)減衰します。詳細については、2022年のEmmett Wymanの固有値に関する三角形の不等式に関するこれらの係数の作業を参照してください。[EW22].

Note: 常に仮定する

$$\begin{aligned} e^0 &= M^{0,0,0} = 1/\sqrt{vol(M)} \\ \implies \\ M^{0,j,k} &= M^{j,0,k} = \delta_{j-k}\space/\sqrt{vol(M)} \end{aligned}$$

場所$\delta_i$ Kronecker deltaです。次以降$vol(M)$ スペクトル不変[HW11]この情報は、等分性に関する考慮事項からすでに入手できます。

定理の証明

必要であれば、$F:(N,h)\rightarrow (M,g)$ 閉じたRiemannianマニホールド間のアイソメトリーであり、固有関数のターゲット正準基準を$L^2(N,h)$ BETHEPULLBACKBY $F$ 「Orthonormal Basis」$\set{e^i}$ 日付$(M,g)$ 上。次以降

$$\begin{aligned} M^{i,j,k} &= \int_M e^i e^j \bar{e^k}\sqrt{g}dy \\ &= \int_N e^i(F(x)) e^j(F(x))\bar{e^k}(F(x))\sqrt{h}dx \end{aligned}$$

必要性の議論は、$\Delta_N(f\circ F) = (\Delta_M f) \circ F,\ \ \forall f\in C^\infty(M)$.

直線的、生体的直交的固有関数ベースマップを検討した。$\vec{F}$ 場所$C^\infty(M)$ から$C^\infty(N)$ の計算から、事前審査 上、$\vec{F}$ 滑らかな機能のためのポイントワイズなプロダクトを保って下さい(そして延長されたとき特徴的な機能を維持して下さい$L^2(M,g)$という前提で。$\set{M^{i,j,k}}$ この地図では不変です。

レマ

$\vec{F}: C^\infty(M)\rightarrow C^\infty(N)$ 均一な基準を維持します。

レマの証明

許可$\set{a_i}$ ユニティのスムーズなパーティションになる$M$.

$$\begin{aligned} 1 &= \sum_i a_i(x) \\ &= \sum_{i,j} \hat{a_i}(j)e^j(x) \\ &= \sum_j e^j(x)\sum_i \hat{a_i}(j) \end{aligned}$$

したがって$\sum_i\hat{a_i}(j) = \delta_j\sqrt{vol(M)}$ (クロネッカー デルタ)。

支配的な収束定理によって、

$$\lim_{p\rightarrow\infty} \sum_j\hat{a^p_j}(k) = \int_{\dot{\bigcup}_j\set{a_j=1}}\bar{e^k}(x)\sqrt{g}dx$$

これは、各非結合サブセットの正の測定の特徴的な機能です$\set{x\in M | a_j(x) = 1}$。これは、レマがそれぞれに証明されていることを意味します$a_j$正の測定を用いるセットの限定的な特徴的な機能は保たれ、従ってすべてのように均一規範1がありますので、$a_j^p,\space \vec{F}(a_j^p)=\vec{F}(a_j)^p,\space p\in\N$ダイアグラム(5)

ジェネラリティを失うことなく、統一のスムーズなパーティションに示された特別なケース結果を適用できます$\lbrace|f|/\lVert f \rVert_\infty, 1 - |f|/\lVert f\rVert_\infty\rbrace$ここで$\set{x\in M|\space|f(x)| = \lVert f \rVert_\infty}$ ポジティブな手段があり、レマは完全に証明されています。

次以降$\set {\bar e^i}$ フーリエの基礎でもある。$L^2(M,g)$という方程式(3)から、$\vec F(\bar f) = \bar{\vec F}(f)$。これは、密集した一連の$C(M)$ および$C(N)$)を確立した。$\vec{F}$ アベリア人の同型$C^*$ 代数は、したがって、同型に拡張することができます$C(M)$ および$C(N)$ 同じカテゴリーで。

今度は、Gelfand-Naimark Representation Theorem (in contravariant functor form)をunital Abelianに適用します。$C^*$ 代数学[JC19] ホメオモルフィズムによってこのアイソモルフィズムを表す$F$ 次の間$N$ および$M$。スムーズな機能では形容詞なので、スムーズでなければなりません。

今日のdiffomorphism $F$ 固有値および固有関数を保持します(仮説による) $\vec{F}(f) = f\circ F$)、滑らかな機能でラプラシアンを保持する必要があります。したがって、これらの同じ楕円演算子の主要シンボルも保持する必要があります。[MT13]。Laplacianの主なシンボルは、問題のマニホールドに関するRiemannianメトリックを表現するもう一つの手段です。

これで定理の証明は完了です。

Corollariesについて

次を含む$\set{M_0^{i,j,k}}$ および$\set{M_1^{i,j,k}}$ 基底の2つの三重プロダクトセットを表す$\set{e_0^i}$ および$\set{e_1^i}$Let $z_i \in U_1$ である$U_1^\infty$ このような正統性に基づく行動$\set{e_1^i}$。したがって、私たちは選択する必要があります$z_i$ したがって$\set{z_ie_1^i}$ 降伏$\set{M_1^{i,j,k}} = \set{z_i z_j z_kM_0^{i,j,k}}$.

このケースはなぜですか。一般に、固有関数の正準基底の空間に作用する対称群は、単項演算子の空間である。$U: \mathscr H\rightarrow\mathscr H$ プロジェクションと合致する$P_{\mathcal V_\lambda}$ 有限次元異次元空間$\mathcal V_{\lambda}$ 個々の固有値に関連付けられる$\lambda$ Laplacianです。したがって、

$$\begin{aligned} P_{\mathcal V_{\lambda}}U(e^i) = UP_{\mathcal V_{\lambda}}(e^i),\ \therefore U(e^i) &= \sum_{\lambda_i = \lambda_j}u_{ij}e^j \implies \\ M_U^{i,j,k} := \int_M U(e^i)U(e^j)\bar U(\bar e^k)\sqrt g dx &= \sum_{\lambda_r = \lambda_i,\lambda_s=\lambda_j,\lambda_t=\lambda_k} u_{ir}u_{js}\bar u_{tk} M^{r,s,t} \end{aligned}$$

次のイメージです$M^{i,j,k}$ 真下付き$U$基準処理$e^i \mapsto U(e^i)$.

現在、コロラリー2の条件下では、$\mathcal V_\lambda$ 1次元ベクトル空間$\Complex$しかし、それはまた、それらが一次元ベクトル空間であることを意味する。$\Reals$のように、完全な多重対称グループは$O(1,\Reals)^\infty=\Z_2^\infty$.

より一般的には、関連する前提条件”絶対値に関する合意” 単に”単数値の順序付きセットの保存$\set{M^{i,j,k}}$ (多重度でカウント)マップの集合として表示する場合$\mathcal V_{\lambda_i} \rightarrow Hom(\mathcal V_{\lambda_j}, \mathcal V_{\lambda_k}^*)$”これは、Unitary Invariantsの堅牢なセットです。我々は、この一般化された予想が、明示的なSunada建設を介して反例を作り出すことが可能である可能性があるので、真であることは、あまり確信がない。

Corollary 1に戻ると、この証明には次のような意味があることがわかります。

$$z_k = M_0^{i,\bar i,k} / M_1^{i,\bar i,k} \,\, \forall i,k\in\N,\, ⋺ M_0^{i,i,k} \ne 0 \, \implies \exists r,s,t \in \N\ ⋺\ \frac{M_0^{i,j,k}}{M_1^{i,j,k}} = \frac{M_0^{r,\bar r,i}M_0^{s,\bar s,j}M_0^{t,\bar t,k}}{M_1^{r,\bar r,i}M_1^{s,\bar s,j}M_1^{t,\bar t,k}}\, .$$

ご希望の方へ$k>0$, $M_0^{i,i,k}$ 同じにはできません$0$ すべて$i$これは一般的には真の状態ですが、次の例で説明するフラット・トーリ・ケースなどの特定のケースではfalseです。さらに、Formula 対象$z_k$ 両方が必要$i$ベースマップを確立するための独立性と効率性$e_0^i \mapsto z_i e_1^i$ 保存$\set{M_0^{i,j,k}}$.

Corollary 1 (sufficiency)の証明を次の数式セットの下にスケッチします。

それにもかかわらず、いくつかの関連するアイデンティティを計算して、いくつかの困難な将来の研究者が一般化された予想を掘り下げることができます。

$$\begin{aligned} \Delta fg &= f\Delta g + g\Delta f - 2 df \cdot dg \implies \\ M^{i,j,k} &= 2 \frac{\bra{de^i\cdot de^j}\ket{e^k}}{\lambda_i +\lambda_j -\lambda_k} \implies \\ \frac{\bra{de^i\cdot de^j}\ket{e^k}}{\bra{e^ie^j}\ket{e^k}} &= \frac{\lambda_i+\lambda_j-\lambda_k}{2}\ \text{ when }M^{i,j,k} \ne 0\ .\\ \inf_{f\in \mathscr H_k^\perp} \frac{||df \cdot df||^2}{||f||^2} &= \lambda_{k+1}\text{ , with }f=\pm e^{k+1}\ .\\ \text {So the quadratic form} \\ Q_k(f,g) :&= \bra{df\cdot dg}\ket{e^k} = \sum_{i,j}\hat{f}(i)\hat{g}(j)\bra{de^i\cdot de^j}\ket{e^k} \\ &= \frac{1}{2}\sum_{i,j}\hat{f}(i)\hat{g}(j)(\lambda_i + \lambda_j - \lambda_k)M^{i,j,k} .\\ \text{Now with }J \text{ real-analytic}\\ Q^J_k(f,g) :&= -\frac{1}{2}\bra{(J(\sqrt{\Delta})fg - fJ(\sqrt{\Delta})g - gJ(\sqrt{\Delta})f}\ket{e^k} \\ &= -\frac{1}{2}(\bra{fg}\ket{J(\sqrt{\Delta}) e^k} - \bra{fJ(\sqrt{\Delta})g + gJ(\sqrt{\Delta})f}\ket{e^k})\\ &= \frac{1}{2}\sum_{i,j}\hat{f}(i)\hat{g}(j)(J(\sqrt{\lambda_i}) + J(\sqrt{\lambda_j}) - J(\sqrt{\lambda_k})M^{i,j,k}\\ \tilde{Q}_k(f,g) :&= -\frac{1}{2}\bra{\sqrt{\Delta} fg - f\sqrt{\Delta}g -g\sqrt{\Delta}f}\ket{e^k} \\ &= \frac{1}{2}\sum_{i,j} \hat{f}(i)\hat{g}(j)(\sqrt{\lambda_i} + \sqrt{\lambda_j} - \sqrt{\lambda_k})M^{i,j,k}\\ df \cdot dg &= \sum_k Q_k(f,g)e^k = -\frac{\Delta fg - f\Delta g - g\Delta f}{2}\\ Q_0(f,f) &= \frac{1}{\sqrt{vol(M)}}\sum_i \hat{f}(i)^2 \lambda_i\\ \sum_{\ell}Q_\ell(f,f)e^\ell &= \frac{1}{2}\sum_{i,j,\ell}\hat{f}(i)\hat{f}(j)(\lambda_i + \lambda_j -\lambda_\ell)M^{i,j,\ell}e^\ell\\ &= \frac{1}{4}\sum_{i,j,\ell}\hat{f}(i)\hat{f}(j)(\lambda_i + \lambda_j -\lambda_\ell)(M^{i,i,\ell} + M^{j,j,\ell} - \bra{(e^i-e^j)^2}\ket{e^\ell})e^\ell\\ = g^2 &= \sum_{i,j,\ell}\hat{g}(i)\hat{g}(j)M^{i,j,\ell}e^\ell\implies\\ \frac{1}{2}\sum_{i,j}\hat{f}(i)\hat{f}(j)(\lambda_i + \lambda_j - \lambda_k)M^{i,j,k} &= \sum_{i,j}\hat{g}(i)\hat{g}(j)M^{i,j,k} \\ &= \widehat{g^2}(k). \\ \end{aligned}$$

注: 次の一次元の平坦な場合のために、$\tilde{Q}_k(e^i,e^j) = 0$ 以降$\sqrt{\Delta} = \sqrt{-1}\frac{d}{dx}$ 真の派生である。

コロラリの証明

Now consider the famous associativity relations from Conformal Field Theory:

$$\begin{aligned} e^ie^je^k = \sum_\ell\bra{e^ie^j}\ket{\bar{e^k}e^\ell}e^\ell &= \sum_{\ell,r} M^{i,j,r}\bar M^{\bar k,\ell,r}e^\ell\\ &= \sum_{\ell,r} M^{i,k,r}\bar M^{\bar j,\ell,r}e^\ell\ \therefore\\ i = \bar j, \ell = k\text{ and relabeling } \implies \\ \sum_r M^{i,\bar i,r}\bar M^{j,\bar j,r} &= \sum_r |M^{i,j,r}|^2 \end{aligned}$$

Corollary 1は、$z_k\in U_1$ は明確に定義され、前回の観測では、代数演算子の定義$z_iz_jz_kM_0^{i,j,k}$ および$M_1^{i,j,k}$ どちらも連想的であり、固有関数の絶対値の二乗によるポイントワイズ関数乗算に同意します。生成された代数も密です$L^2(M,g)$ (Stone-Weierstrassは、ポイントを分離すると推定されているため)。設立$\det M^{i,\bar i,k} \ne 0$ 有限次元サブマトリックスの場合は、この目的のために十分です。

どうしてですか? 許可$\mathscr V$ 生成したベクトル空間$\set{|e_i|^2}$および$\mathscr W$ 対象$\set{e^i}$。続いて、Computative Diagram

$$\begin{CD} \mathscr V @>M^{i,i,k}e^k >> \mathscr W\\ @V\set{|e^i|^2(x)}VV @VV\set{e^i(x)}V\\ \Complex^\N @>>M^{i,i,k} > \Complex^\N \end{CD}$$

そしてSurjectivity $M^{i,i,k}$ 暗黙$\ker = 0$ 評価マップ用$\set{|e^i|^2(x)}$など$\mathscr V$ 非消滅決定要因条件が保持されるたびにポイントを分離します。

いたるところで同意する。

$$\forall k>0\ \exists\ i>0\ ⋺ M^{i,\bar i,k} \ne 0.$$

Corollary 2の効率は、その方程式に注目することによって続きます 前項の非消滅決定要因条件と同様に、一般的には真です。If For Some Choiceシングル$i,j,k$製品について$M^{i,\bar i,k} \bar M^{j,\bar j,k}$ 基地の間で意見の相違があり、各基地の間で意見の相違がある。

どうしてですか? 汎用マニホールドは多重度1スペクトルを持つことも想定できるため、完全な対称グループは次のようになります。$U_1^\infty$ これらの製品は不変であり、定理1と矛盾します。これにより、仮説の必要性が確立され、その証明が完成します。

これでコロラの証明は完了です。

例

許可$\set{\lambda_i} \subset \R^n$ 索引付き、ランク$n$ Lie代数ウェイト(Lie Algebra Weights)の格子$\frak{g}=\Reals^n$ 翻訳不変(定数)ベクトルフィールドとして、$\R^n$ また、次のように表示されます。$\frak{g}$の定義したトーラス上の関連Lieグループ$\Reals^n/A\Z^n, A \in GL(n,\Reals)$。これらのウェイトは、線形関数に統合されるトルス上の1フォームの積分可能なリフトを定義します$\bra{x} \lambda_i\rangle,\space x\in\Reals^n$ Lie Group(ルーシー・グループ) これらの線形関数は、均一に再スケールできます( $2\pi \sqrt{-1}$)および指数関数して、直交的基礎を形成するために降下する多重文字を形成する$L^2(\Reals^n/A\Z^n,dx)$レベスゲ(Leebesgue) $dx$.

さらに、この基準は平らなトルスのラプラシア語を同時に対角化します**。ラプラシア語は、この(定数係数線形微分演算子)普遍的なエンベロープ代数の符号空間表現の下の対称的で負の定値四角形カシミール要素のイメージであるためです。したがって、その固有値は一定の割合(of)です$4\pi^2$)は、ラティスにおける各文字の重量のカシミール要素決定長さ2乗。

上記の基準を現在見ています。

$$\set{e^{2\pi\sqrt{-1}\langle{x}|\lambda_i\rangle}/\sqrt{|\det A|}}_{i=0}^\infty$$

(負の)ユークリッドカシミール要素(Euclidean Casimir element)を直接対応する正準(multiplicative character)固有関数の定理適用可能なフーリエ基準となるため$\set{\lambda_i}$。理論の仮説によって、私たちは$i < j \implies \lVert\lambda_i\rVert \leq \lVert\lambda_j\rVert$ (重さのユークリッド基準)

計算できるようになりました

$$M^{i,j,k} = \begin{cases} 1/\sqrt{|\det A|} & \lambda_i + \lambda_j - \lambda_k = 0 \\ 0 & \text{otherwise} \end{cases}$$

この方程式として 重量格子の線形変換ではonly不変$(A^{-1})^t\Z^n = \set{\lambda_i}$単なる$L^2$ orthonormal eigenfunction basis map これは、このようなインデックス付き、ランク間の体積保持の反転線形マップから誘発されます$n$ 重量格子は保ちます”代数/位相” 索引付きデータ・セット$\set{M^{i,j,k}}$ 不変

ただし、定理そのような線形の地図が不可欠です。$B$ ある$B\in SO(n,\Reals)$ 重さの格子で、なぜなら、$L^2$ 固有関数基準マップ

$$\set{e^{2\pi\sqrt{-1}\langle x| B\lambda_i\rangle}/\sqrt{|\det A|}}_{i=0}^\infty$$

また、”分析” 不変条件— カシミール要素誘起図$4\pi^2\lVert\lambda_i\rVert^2$ 各インデックス付き重量、すなわち、フラット通りのラプラシアンの個々の固有値。

この表示- 理論勘定[AK01] は、lattice congruenceの以前の開発とまったく同じです。[NRR22] 伝統的に平らな通路の等量クラスを描写するために使用されます。実際、そのような線形マップのマトリックス転写$B\in SO(n,\Reals)$前項で説明したように、*は、通路間の矛盾するRiemannian等量であり、Gelfand-Naimark表現定理*の適用によって提供されています。プルーフ 私たちの定理.

確認

最初の研究は、1995年から1996年にかけて優雅なジェームズ・シモンズ研究賞と、アルフレッドPの寛大な支援によって一部資金提供されました。Sloan Dissertation Fellowship in 1996-1997 at the University at Stony Brook(ストニー・ブルック大学)

著者はまた、Tanya Christiansen、Carolyn Gordon、Hamid Hezari、Harish Seshadri、特にLeon Takhtajanの技術的な支援に感謝し、この原稿の出版準備をレビューしたいと考えています。