תוצרים משולשים של פונקציות עצמיות וגאומטריה ספקטרלית

[אומתה] עדכון אחרון על-ידי Joe Schaefer ב-יום א׳, 28 אפר׳ 2024    מקור
 

הרי השטח המינימלי של לוסון 6,1 מתוכנן סטריאוגרפית מ-S3 ל-R3

מס’ # מחברים

ג’ו שפר

תקציר

שימוש בטכניקות יסודיות מניתוח גיאומטרי, משוואות דיפרנציאליות חלקיות ואבליאן CC^* אלגברה, אנו חושפים רומן, אך מוכר, משתנה גיאומטרי גלובלי —

מבוא

עבור סעפת רימנית סגורה (M,g)(M,g), אפיון המחלקה של סעפת isospectral שאינה איזומטרית היא סוג של בעיה הפוכה. [DH11] בגיאומטריה ספקטרלית. אפשר לשער בנאיביות שהשיעור הזה תמיד יהיה ריק. עם זאת, הספרות האקדמית עשירה עם מבנים בני עשרות שנים של זיווג ספציפי של דוגמאות נגדיות: החל בשנת 1964 עם הזוג של ג’ון מילנור 16-ממדי של לא איזומטרי, isospectral שטוח tori [JM64], והמשך [CS92] לקראת אפיון הממדי הגנרי של טורי שטוח בתזה הדוקטורט של אלכסנדר שימן משנת 1993 [AS94] — להשלים עם מחשב בעזרת חיפוש קריטי dim=3\dim = 3 תיק. סקר מודרני של ההיסטוריה השטוחה המלאה מופיע ב [NRR22].

לאורך הדרך היו יריעות תובנה לתוך חללי כיסוי סימטריים מתוחכמים יותר, לא אוקלידיים; בניית “דואטים” איזוספקטרליים ולא איזומטריים כאלה הכוללים טנזורות עקמומיות לא טריוויאליות (והמאפיינים של אוילר מוגדר הספקטרום שלהם בממד 2 [MS67]דוגמה עיקרית למאמץ זה הייתה טושיקאזו סונאדה מ-1985. [TS85].

עבור מדדים רימאניים לא הומוגניים, קרולין גורדון גילתה דואטים שאפילו לא איזומטריים מקומיים. [CG93].

העבודה נמשכת בתחומים רבים [DH11], כגון קביעת מאפיינים טופולוגיים של הסוג של סעפת איזוספקטרלית, לא איזומטרית בכלל (ריק) [ST80], סופי [AS94], נוקשה [GK80], וקומפקטי [GZ97].

מה שאנו מציעים במאמר זה הוא פרספקטיבה חדשה על כלי מוכר: מקדמי פורייה ממופתחים של מוצרים בזוג של פונקציות הילידים כמו “אלגברי / טופולוגי משתנים” דיסקרטי כדי להשלים את הקיים, דיסקרטי “משתנה אנליטית” — הספקטרום הלא שלילי של האופרטור Laplace-Beltrami (המכונה כאן Laplacian) על L2(M,g)L^2(M,g)

תוצאות


משפט ####

בהתחשב (לא ירידה על ערכי הילידים) בסיס אורתונורמלי של פונקציות הילידים {ei}i=0\set{e^i}_{i=0}^{\infty} עבור (לא שלילי) Laplacian ΔM\Delta_M בשעה L2(M,g)L^2(M,g) קשור סעפת רימנית סגורה (M,g)(M,g)

Mi,j,k:=Meiejekˉgdx M^{i,j,k} := \int_M e^i e^j \bar{e^k} \sqrt{g} dx

להיות איזומטרי (M,g)(M,g), זהו תנאי הכרחי ומספיק* עבור אחר iosospectral סגור Riemannian סעפת יש בסיס אורתונורמלי של eigenfunctions (עבור Laplacian שלה) ששניהם שומרים על הילידים הקשורים ויש להם משתנה {Mi,j,k}\set{M^{i,j,k}}


סימטריה ממלאת תפקיד חשוב במקרים הניתנים למעקב חישובי [TF17] [LS18] [PS94]אשר מודגם היטב בטורי השטוח שלנו דוגמה.


השערות

אם לכל ערך עצמי יש ריבוי 11בהינתן זוג בסיסים על-טבעיים המשמרים בסיסים על-טבעיים, כפי שמתואר בהשערת המשפט, המאניפולדים הם איזומטריים אם ורק אם {Mi,j,k}\set{M^{i,j,k}}


המוטיבציה לחקר {Mi,j,k}\set{M^{i,j,k}} הוא נגזר באופן רופף ממחקר התפקיד של מפעיל הכפל הליניארי Y:VVV((z))Y:V\otimes V\rightarrow V((z)) הגדרה של אלגברת אופרטור Vertex [FBZ04] משויך לתאוריית שדה קונפורמי כיראלי. כאן VV זהו מרחב וקטורי של מדינות ו V((z))V((z)) זהו המרחב של סדרת לורן רשמית ב zz עם מקדמים ב- VV. . מאז VV לעתים קרובות מגיע מצויד בחלל הילברט עם בסיס אורתונורמלי סדרת פורייה מסורתית, מפתוח YY שימוש במרכיבי הבסיס של פורייה של VV הוא מעורב מעט יותר מאשר Mi,j,kM^{i,j,k}

תוצאות אלה הודגמו לראשונה במהלך שיחה דומה שכותרתה על ידי המחבר ב MSRI בשנת 1997, אבל הם מופיעים כאן בצורה שפורסמה בפעם הראשונה.

מס’ ראשוני

עכשיו עם M,g,ei,Mi,j,kM,g,e^i,M^{i,j,k} כמו למעלה, עבור fC(M)f \in C^\infty(M) וגם i0i \geq 0

f^(i):=Mf(x)eiˉ(x)g(x)dx    f(x)=i=0f^(i)ei(x).\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}

מאז ff הוא מייצג באופן ייחודי כמו שלה במהירות מתכנסת פורייה סדרה (ΔM\Delta_Mשיבוץ Sobolev ספציפי [MT13] [RS75]יחד עם החוק האסימפטוטי של וייל [HW11], מרמזת על התנאים בסכום o(in)o(i^{-n}) אחיד ב xx [LH68], nN\forall n\in\Nאז אנחנו רואים את זה בשביל f1,f2C(M)f_1, f_2 \in C^\infty(M), מקדמי פורייה של המוצר Pointwise f1f2C(M)f_1 f_2 \in C^\infty(M)

f1f2^(k)=i,jf1^(i)f2^(j)Mi,j,k    f1f2(x)=i,j,kf1^(i)f2^(j)Mi,j,kek(x)f1=f2p, p N    kf1^(k)ek(x)=i1,...,ip,kf2^(i1)...f2^(ip)Mi1,i2,i3Mi2,i3,i4...Mip1,ip,kek(x).\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 \space \in \N \implies \\ \sum_{k}\hat{f_1}(k)e^k(x) &= \sum_{i_1,...,i_p, k}\hat{f_2}(i_1)...\hat{f_2}(i_p)M^{i_1,i_2,i_3}M^{i_2,i_3,i_4}...M^{i_{p-1},i_p,k}e^k(x). \end{aligned}

וכך, ביקורתית כל פולינום רב-משתני C[z1,,zl]\weierp \in \Complex[z_1,…,z_l] (על פונקציות חלקות) מפעיל עם כל שימור ספקטרום Δ\Delta-eigenfunction orthonormal מפת בסיס FF זה שומר {Mi,j,k}\set{M^{i,j,k}}

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

אם AMA\subset M הוא Borel ניתן למדידה, ואז התוצאות מעל נקודת אחיזה עבור הפונקציה *characteristic של AA*בכל מקום מלבד הגבול של AA: אם f=f2f = f^2 וגם A:={xMf(x)=1}A:=\set{x\in M|f(x)=1}

if^(i)ei(x)=i,j,kf^(i)f^(j)Mi,j,kek(x)={1xA˚0xA˚\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}

ועל ידי ייחודיות, יש לנו את הזהות הבאה

f^(k)=i,jf^(i)f^(j)Mi,j,k  k0    f=f2 a.e.\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}

זה מרמז על כל מפת בסיס כמו לעיל נושאת פונקציות אופייניות (כמו חברים של L2(M,g)L1(M,g)L^2(M,g)\subset L^1(M,g)

הנקודה של חישובים אלה היא להדגיש את העובדה כי {Mi,j,k}\set{M^{i,j,k}} מאפיין את הניתוח ההרמוני של אופרטור הכפלת Pointwise ב- C(M)C^\infty(M)תת-אלגברה צפופה של האבלית CC^* אלגברה C(M)C(M)

עבור ההתכנסות המהירה של סכומים אלה לעיל מעורבים Mi,j,kM^{i,j,k}, שים לב כי מוצרים של eigenfunctions הם חלקים, כך מקדמי פורייה אלה להתרוקן כמו לעיל (בכל אינדקס). לפרטים נוספים, ראו את עבודתו של אמט ויימן בשנת 2022 עם מקדמים אלה כפי שהיא מתייחסת לחוסר השוויון המשולש על ערכי הילידים. [EW22].

הערה: אפשר תמיד להניח

e0=M0,0,0=1/vol(M)    M0,j,k=Mj,0,k=δjk /vol(M)\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}

היכן δi\delta_i היא הדלתה של קרונקר. מאז vol(M)vol(M) הוא בלתי משתנה ספקטרלי [HW11].

הוכחת המשפט

לצורך הצורך, תנו F:(N,h)(M,g)F:(N,h)\rightarrow (M,g) להיות איזומטריה בין סעפת רימאנית סגורה, ולתת בסיס אורתונורמלי היעד של פונקציות הילידים על L2(N,h)L^2(N,h) להיות משיכת הגב דרך FF על בסיס אורתונורמלי {ei}\set{e^i} בשעה (M,g)(M,g)

Mi,j,k=Meiejekˉgdy=Nei(F(x))ej(F(x))ekˉ(F(x))hdx\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}

סיימנו עם הטיעון ההכרחי.

עבור יעילות, אנו עכשיו לשקול ליניארי, bijective orthonormal על בסיס פונקציה עצמית מפה FF מעמוד C(M)C^\infty(M) עד C(N)C^\infty(N) ושים לב כי מן החישובים תנאים מקדימים מעל, FF שומר על מוצרים נקודתיים עבור פונקציות חלקות (ומשמר פונקציות אופייניות כאשר הוארך ל L2(M,g)L^2(M,g)על פי ההנחה כי {Mi,j,k}\set{M^{i,j,k}}

אמה

F:C(M)C(N)F: C^\infty(M)\rightarrow C^\infty(N) שומרת על הנורמה האחידה.

הוכחת למה

תן {ai}\set{a_i} להיות מחיצה חלקה של אחדות על MM

1=iai(x)=i,jai^(j)ej(x)=jej(x)iai^(j)\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}

כך iai^(j)=δjvol(M)\sum_i\hat{a_i}(j) = \delta_j\sqrt{vol(M)}

על ידי משפט ההתכנסות הנשלט,

limpjajp^(k)=˙j{aj=1}ekˉ(x)gdx\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

פונקציה אופיינית של מידה חיובית על כל תת-קבוצה לא משותפת {xMaj(x)=1}\set{x\in M | a_j(x) = 1}. . משמעות הדבר היא כי הלמה מוכחת עבור כל אחד aja_jמאז הפונקציה האופיינית המגבילה של קבוצה עם מידה חיובית נשמרת, ולכן יש נורמה אחידה 1, כמו כל ajp, F(ajp)=F(aj)p, pNa_j^p,\space F(a_j^p)=F(a_j)^p,\space p\in\N

ללא אובדן הכלליות, אנו עשויים ליישם את תוצאת המקרה המיוחדת המוצגת עבור חלוקה חלקה של אחדות {f/f,1f/f}\lbrace|f|/\lVert f \rVert_\infty, 1 - |f|/\lVert f\rVert_\infty\rbrace, היכן {xM f(x)=f} \set{x\in M|\space|f(x)| = \lVert f \rVert_\infty}

משמעות הדבר היא כי על סט צפוף של C(M)C(M) (וגם) C(N)C(N)), הקמנו FF איזומורפיזם של אבליאן CC^* אלגברה, וכך ניתן להרחיב לאיזומורפיזם של C(M)C(M) וגם C(N)C(N)

כעת אנו מיישמים את משפט הייצוג של גלפנד-ניימארק (בצורת פונקטור מנוגד) עבור אבליאן CC^* אלגבריות [JC19] כדי לייצג איזומורפיזם זה על ידי הומאומורפיזם בין NN וגם MM

כמו זה עכשיו diffeomorphism שומר eigenvalues ו eigenfunctions (על ידי השערה על FF), הוא חייב לשמור על Laplacian על פונקציות חלקות. לפיכך, יש לשמר את הסמלים העיקריים של אותם אופרטורים אליפטיים. [MT13].

זה מסיים את ההוכחה למשפט.

דיון על השערות

עם {M0i,j,k}\set{M_0^{i,j,k}} וגם {M1i,j,k}\set{M_1^{i,j,k}} מייצג את שתי קבוצות המוצרים המשולשים לבסיסים {e0i}\set{e_0^i} וגם {e1i}\set{e_1^i}, בואו zi{1,1}z_i \in \set{-1,1} להיות Z2\Z_2^\infty פעולה על כזה R\R-בסיס אורתונורמלי מוערך {e1i}\set{e_1^i}. . לכן, עלינו לבחור ziz_i כך ש {zie1i}\set{z_ie_1^i} תשואות {M1i,j,k}={zizjzkM0i,j,k}\set{M_1^{i,j,k}} = \set{z_i z_j z_kM_0^{i,j,k}}

אנו רואים בהכרח כי

zk=M0i,i,k/M1i,i,k  i,kN,M0i,i,k0.z_k = M_0^{i,i,k} / M_1^{i,i,k} \,\, \forall i,k\in\N,\, ⋺ M_0^{i,i,k} \ne 0 \,.

מאז לכל נתון kk, M0i,i,kM_0^{i,i,k} לא יכול להיות זהה 00 לכל ii, נוסחה זו ל- zkz_k דורש את שניהם ii-עצמאות, וסבלנות, כדי לקבוע את מפת הבסיס e0izie1ie_0^i \mapsto z_i e_1^i שימור {M0i,j,k}\set{M_0^{i,j,k}}

דוגמה

תן {λi}Rn\set{\lambda_i} \subset \R^n להיות ממופתח, דירוג nn סריג של משקלי אלגברה שקר לייצוג המרחב המרווח של g=Rn\frak{g}=\Reals^n כשדות וקטוריים משתנים (כלומר קבועים) על עצמם, כאשר Rn\R^n הוא גם נתפס כ g\frak{g}’s הקשורים קבוצת שקר על טורוס שהוגדר על ידי Rn/AZn,AGL(n,R)\Reals^n/A\Z^n, A \in GL(n,\Reals). . משקולות אלה מגדירים מעליות משולבות של צורות 1 על פני טורוס המשתלבות לפונקציות לינאריות <xλi, xRn\bra{x} \lambda_i\rangle,\space x\in\Reals^n קבוצת השקר שלה (מסתירה את הטורוס). לאחר מכן ניתן לבטל את הפונקציות הלינאריות הללו באופן אחיד (על ידי 2π12\pi \sqrt{-1}) ו-Exponentiated ליצירת תווים מכפילים היורדים ליצירת בסיס אורתונורמלי של L2(Rn/AZn,dx)L^2(\Reals^n/A\Z^n,dx), עם מדד לבג (האר) dxdx

יתר על כן, בסיס זה בו זמנית אלכסוני לפלאצ’יאן של טורוס שטוח כי לפלאצ’יאן הוא הדימוי של אלמנט קזימיר ריבועי סימטרי, שלילי-מוגדר תחת זה (מפעיל דיפרנציאלי לינארי מקדם קבוע) ייצוג המרחב המרווח של אלגברת המעטפות האוניברסלית. לפיכך, ערכי הילידים שלה הם בפרופורציה קבועה (של 4π24\pi^2

אנו רואים כעת את הבסיס שלעיל

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

כדי להיות הבסיס שלנו תיאורטית-יישום פורייה של orthonormal (multiplicative character) eigenfunctions (של ייצוג זה של אלמנט (שלילי) Euclidean Casimir) התואם ישירות {λi}\set{\lambda_i}. . על פי ההשערות של המשפט שלנו, אנחנו חייבים i<j    λiλji < j \implies \lVert\lambda_i\rVert \leq \lVert\lambda_j\rVert

כעת ניתן לחשב

Mi,j,k={1/detAλi+λjλk=00otherwiseM^{i,j,k} = \begin{cases} 1/\sqrt{|\det A|} & \lambda_i + \lambda_j - \lambda_k = 0 \\ 0 & \text{otherwise} \end{cases}

כיוון שמשוואה זו היא לינארית על סריג המשקל (A1)tZn={λi}(A^{-1})^t\Z^n = \set{\lambda_i}רק א L2L^2 מפת בסיס של תפקוד עצמי אורתונורמלי (Orthonormal eigenfunction) אשר נגרמת ממפה לינארית בלתי הפיכה המשמרת בנפח בין שתי מפות ממופתחות, מדורגות nn סריגי משקל ישמרו על סל הנתונים הממופתח “אלגברי/טופולוגי” {Mi,j,k}\set{M^{i,j,k}}

עם זאת, כדי ליישם את משפטזה חיוני כי מפה לינארית כזו BB להיות BO(n,R)B\in O(n,\Reals) על סריג המשקל, כי המושרה L2L^2

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

יש לשמר גם את הפולשים ה”אנליטיים” — דמותו של קזימיר-אלמנט המושרה 4π2λi24\pi^2\lVert\lambda_i\rVert^2

ייצוג זה - חשבון תיאורטי [AK01] הוא שווה בדיוק להתפתחות הקודמת של הברכה* [NRR22] בשימוש מסחרי כדי להגדיר את סוגי האיזומטריה של טורי שטוח. למעשה, המטריצה של מפה לינארית כזו BO(n,R)B\in O(n,\Reals), כפי שתואר בפסקה הקודמת, הוא האיזומטריה הרימאנית המתנגשת בין הטורי, כפי שסופק על ידי יישום משפט הייצוג של גלפנד-ניימארק* במהלך הוכחה אודותינו משפט.

מס’ אישורי קבלה

המחקר המקורי מומן בחלקו על ידי פרס המחקר ג’יימס סימונס האדיב בשנים 1995-1996, והתמיכה הנדיבה של אלפרד פ. מלגת הדיסרטציה הסלואנית בשנים 1996-1997 באוניברסיטת סטוני ברוק.

המחבר גם רוצה להודות לטניה כריסטיאנסן, קרולין גורדון, חמיד חזרי, חריש סשאדרי, ובמיוחד ליאון טכטאג’אן על הסיוע הטכני שלהם וסקירה בהכנת כתב היד הזה לפרסום.