Mon * 1997 Ph.D. thèse* comme une entrée de blog.
μ \mu μ M e s t u n e c o u r b e n e ˊ g a t i v e dim = n c o l l e c t e u r R i e m a n n i e n f e r m e ˊ a v e c m e ˊ t r i q u e g , c o n n e x i o n d e m e s u r e ∇ , e t ( n o n n e ˊ g a t i f ) O p e ˊ r a t e u r d e L a p l a c e − B e l t r a m i Δ M . L a i s s e r k − t Δ / 2 ( x , y ) r e p r e ˊ s e n t e l e n o y a u d e c h a l e u r s u r M M est une courbe négative \dim=n collecteur Riemannien fermé avec métrique g, connexion de mesure \nabla, et (non négatif) Opérateur de Laplace-Beltrami \Delta_M. Laisser k_{-t\Delta/2}(x,y) représente le noyau de chaleur sur M M es t u n eco u r b e n e ˊ g a t i v e dim = n co ll ec t e u r R i e manni e n f er m e ˊ a v ec m e ˊ t r i q u e g , co nn e x i o n d e m es u re ∇ , e t ( n o nn e ˊ g a t i f ) Op e ˊ r a t e u r d e L a pl a ce − B e lt r ami Δ M . L ai sser k − t Δ/2 ( x , y ) re p r e ˊ se n t e l e n oy a u d ec ha l e u rs u r M
Par conséquent k − t Δ / 2 ( x , x ) = d D M ∗ μ / g d x k_{-t\Delta/2}(x,x) = dDM_*\mu/\sqrt{g}dx k − t Δ/2 ( x , x ) = d D M ∗ μ / g d x μ \mu μ Ω t ( M ) ∣ x \Omega_t(M)\vert_x Ω t ( M ) ∣ x D M DM D M Remarque : D M − 1 Ω t ∣ x DM^{-1}\Omega_t\vert_x D M − 1 Ω t ∣ x
Ω t 0 e s t l ’ e s p a c e d e s b o u c l e s c o n t r a c t i b l e s c o n t i n u e s s u r M \Omega_t^0 est l’espace des boucles contractibles continues sur M Ω t 0 es tl ’ es p a ce d es b o u c l esco n t r a c t ib l esco n t in u ess u r M
Ω t [ γ ] e s t l ’ e s p a c e d e s b o u c l e s c o n t i n u e s s u r M h o m o t o p i q u e a ˋ l a g e ˊ o d e ˊ s i q u e f e r m e ˊ e γ . L a i s s e r γ 0 \Omega_t[\gamma] est l’espace des boucles continues sur M homotopique à la géodésique fermée \gamma. Laisser \gamma_0 Ω t [ γ ] es tl ’ es p a ce d es b o u c l esco n t in u ess u r M h o m o t o p i q u e a ˋ l a g e ˊ o d e ˊ s i q u e f er m e ˊ e γ . L ai sser γ 0
D M − 1 Ω t 0 [ γ ] e s t l a p r e ˊ i m a g e d e s b o u c l e s c o n t r a c t i b l e s c o n t i n u e s s u r M e ˊ c r i t c o m m e d e ˊ c a l a g e s h o m o t o p i q u e a ˋ γ ( s ) = D M ( s ℓ ( γ ) t e ⃗ 1 ) , 0 ≤ s ≤ t . P e n s e z C o o r d o n n e ˊ e s H o r o c y c l i q u e s — c h a q u e f i b r e c o m m e l i m i t e g e ˊ o m e ˊ t r i q u e d e s p h e ˋ r e s g e ˊ o d e ˊ s i q u e s p e ˊ r i o d i q u e s S γ 0 ( s ) n − 1 ( k ℓ ( γ 0 ) ) , 0 ≤ s ≤ t , k → ∞ , v e c t o r i s e ˊ d a n s l e b u n d l e n o r m a l s u r γ 0 . N o s c o n t r a i n t e s d e c o u r b u r e i m p l i q u e n t d e s c o o r d o n n e ˊ e s h o r o c y c l i q u e s p o u r c h a q u e γ 0 e x i s t e n t c o m m e d e s l i s s e s , D M − c a r t e d e c o o r d o n n e ˊ e s c o m p a t i b l e p o u r Ω t 0 [ γ ] DM^{-1}\Omega_t^0[\gamma] est la préimage des boucles contractibles continues sur M écrit comme décalages homotopique à \gamma(s) = DM(\frac{s\ell(\gamma)}{t}\vec{e}^1), 0\leq s \leq t. Pensez Coordonnées Horocycliques — chaque fibre comme limite géométrique de sphères géodésiques périodiques S_{\gamma_0(s)}^{n-1}(k\ell(\gamma_0)), 0\leq s \leq t, k\rightarrow\infty, vectorisé dans le bundle normal sur \gamma_0. Nos contraintes de courbure impliquent des coordonnées horocycliques pour chaque \gamma_0 existent comme des lisses, DM-carte de coordonnées compatible pour \Omega_t^0[\gamma] D M − 1 Ω t 0 [ γ ] es tl a p r e ˊ ima g e d es b o u c l esco n t r a c t ib l esco n t in u ess u r M e ˊ cr i t co mm e d e ˊ c a l a g es h o m o t o p i q u e a ˋ γ ( s ) = D M ( t s ℓ ( γ ) e 1 ) , 0 ≤ s ≤ t . P e n sez C oor d o nn e ˊ esHorocyc l i q u es — c ha q u e f ib reco mm e l imi t e g e ˊ o m e ˊ t r i q u e d es p h e ˋ res g e ˊ o d e ˊ s i q u es p e ˊ r i o d i q u es S γ 0 ( s ) n − 1 ( k ℓ ( γ 0 )) , 0 ≤ s ≤ t , k → ∞ , v ec t or i s e ˊ d an s l e b u n d l e n or ma l s u r γ 0 . N osco n t r ain t es d eco u r b u re im pl i q u e n t d escoor d o nn e ˊ es h orocyc l i q u es p o u rc ha q u e γ 0 e x i s t e n t co mm e d es l i sses , D M − c a r t e d ecoor d o nn e ˊ esco m p a t ib l e p o u r Ω t 0 [ γ ]
Maintenant x ⃗ ( τ ) + ℓ ( γ ) e ⃗ 1 \vec{x}(\tau)+\ell(\gamma)\vec{e}^1 x ( τ ) + ℓ ( γ ) e 1 non développée de l’homotopique “offset” kinked geodesic à γ : D M ( x ⃗ ( τ ) + s ℓ ( γ ) t e ⃗ 1 ) , 0 ≤ s ≤ t \gamma: DM(\vec{x}(\tau) + \frac{s\ell(\gamma)}{t}\vec{e}^1), 0\leq s \leq t γ : D M ( x ( τ ) + t s ℓ ( γ ) e 1 ) , 0 ≤ s ≤ t ℓ ( γ 0 ) \ell(\gamma_0) ℓ ( γ 0 ) D M ( x ⃗ ( τ ) ) DM(\vec{x}(\tau)) D M ( x ( τ )) t t t J = lim s ↑ t D M ′ ∣ D M ( x ⃗ ( τ ) + ℓ ( γ ) s t e ⃗ 1 ) J=\lim_{s\uparrow t}DM^\prime\vert_{DM(\vec{x}(\tau) + \frac{\ell(\gamma)s}{t}\vec{e}^1)} J = lim s ↑ t D M ′ ∣ D M ( x ( τ ) + t ℓ ( γ ) s e 1 ) T D M ( x ⃗ ( τ ) ) M T_{DM(\vec{x}(\tau))}M T D M ( x ( τ )) M J D M ( x ⃗ ( τ ) + ℓ ( γ ) e ⃗ 1 ) J_{DM(\vec{x}(\tau)+\ell(\gamma)\vec{e}^1)} J D M ( x ( τ ) + ℓ ( γ ) e 1 ) Jacobi Fields , car D M DM D M est la carte exponentielle (itérée) le long de toute série de lignes droites connectées dans R n \Reals^n R n 1 / 2 ∫ 0 t < d X | d X > s 1/2 \int_0^t \bra{dX}\ket{dX}_s 1/2 ∫ 0 t ⟨ d X ∣ d X ⟩ s
X t = X 0 + ∫ 0 t J X t d B t \begin{aligned}
X_t &= X_0 + \int_0^t \sqrt{J}_{X_t} dB_t \\
\end{aligned} X t = X 0 + ∫ 0 t J X t d B t
Z − Δ / 2 ( t ) : = ∫ M k − t Δ / 2 ( x , x ) g d x = ∑ j = 0 ∞ e − λ i t / 2 Z_{-\Delta/2}(t) := \int_M k_{-t\Delta/2}(x,x) \sqrt{g}dx = \sum_{j=0}^\infty e^{-\lambda_i t/2} Z − Δ/2 ( t ) := ∫ M k − t Δ/2 ( x , x ) g d x = ∑ j = 0 ∞ e − λ i t /2
Définissons enfin ce qui suit à partir de leurs dérivés Radon-Nicodyme :
D M ∗ μ ( Ω t ) : = ∫ M D M ∗ μ ( Ω t ∣ x g d x ) D M ∗ μ ( Ω t 0 ) : = ∫ M D M ∗ μ ( Ω t 0 ∣ x g d x ) D M ∗ μ ( Ω t [ γ ] ) : = ∫ M D M ∗ μ ( Ω t [ γ ] ∣ x g d x ) \begin{aligned}
DM_*\mu(\Omega_t) &:= \int_M DM_*\mu(\Omega_t\vert_x \sqrt{g}dx)\\
DM_*\mu(\Omega^0_t) &:= \int_M DM_*\mu(\Omega^0_t\vert_x \sqrt{g}dx)\\
DM_*\mu(\Omega_t[\gamma]) &:= \int_M DM_*\mu(\Omega_t[\gamma]\vert_x \sqrt{g}dx) \\
\end{aligned} D M ∗ μ ( Ω t ) D M ∗ μ ( Ω t 0 ) D M ∗ μ ( Ω t [ γ ]) := ∫ M D M ∗ μ ( Ω t ∣ x g d x ) := ∫ M D M ∗ μ ( Ω t 0 ∣ x g d x ) := ∫ M D M ∗ μ ( Ω t [ γ ] ∣ x g d x )
Z − Δ / 2 ( t ) = D M ∗ μ ( Ω t ) = D M ∗ μ ( Ω t 0 ) + ∑ { γ } D M ∗ μ ( Ω t [ γ ] ) D M ∗ μ ( Ω t 0 ) ≈ t → 0 ( 2 π t ) − n / 2 ( v o l ( M ) + t / 6 ∫ M K ( x ) g d x + O ( t 2 ) ) by McKean-Singer D M ∗ μ ( Ω t [ γ ] ) = e − ℓ ( γ ) 2 / 2 t ∫ M D M ∗ μ ( e t < J B B t | B t > Ω t 0 [ γ ] ∣ x g d x ) by Cameron-Martin = e − ℓ ( γ ) 2 / 2 t ∫ T γ 0 M E ( e t J B ∣ Ω t 0 [ γ ] ∣ x ( τ ) ) d x 1 ( τ ) … d x n ( τ ) d τ d D M ∗ μ ( e − ℓ ( γ ) x 1 ( t ) Ω t 0 [ γ ] ) d x 1 ( τ ) … d x n ( τ ) d τ ∣ y ( τ ) ⃗ ≈ t → 0 e − < ∣ I − J D M ( x ⃗ ( τ ) , y ⃗ ( τ ) ) x ⃗ ( τ ) | x ⃗ ( τ ) > / 2 t ( 2 π t ) ( n + 1 ) / 2 ( 1 + O ( t 2 ) ) semi-classical limit Horocyclic coordinates : z ( τ ) − x ( τ ) = x + ℓ ( γ ) e ⃗ 1 ⟹ ∫ M / S 1 ⊕ S 1 k t ( x , z ) d x = lim j → ∞ e − ℓ ( γ ) 2 / 2 t 2 π t E ( e < J X t j x ⃗ | x ⃗ > ) = lim j → ∞ e − ℓ ( γ ) 2 / 2 t 2 π t ∫ M j / S 1 ⊕ S 1 1 2 π t j n det ∣ I − J X j ∣ e − ℓ ( X j ) 2 / 2 t X j \begin{aligned}
Z_{-\Delta/2}(t) = DM_*\mu(\Omega_t) &= DM_*\mu(\Omega^0_t) + \sum_{\set{\gamma}} DM_*\mu(\Omega_t[\gamma]) \\
DM_*\mu(\Omega_t^0) &\approx_{t\rightarrow 0} (2\pi t)^{-n/2}(vol(M) + t/6\int_M K(x)\sqrt{g} dx + O(t^2))\space \small\text{by McKean-Singer}\\
DM_*\mu(\Omega_t[\gamma]) &= e^{-\ell(\gamma)^2/2t}\int_M DM_*\mu(e^{\bra{J_BB_t}\ket{B_t}} _t \Omega_t^0[\gamma]\vert_x\sqrt{g}dx)\space\small \text{ by Cameron-Martin}\\
&= e^{-\ell(\gamma)^2/2t}\int_{T_{\gamma_0}M} E(e^{J_B}_{t} | \Omega_t^0[\gamma]\vert_{x(\tau)})dx^1(\tau)\dots dx^n(\tau) d\tau\\
\frac{dDM_*\mu(e^{-\ell(\gamma)x^1(t)}\Omega^0_t[\gamma])}{dx^1(\tau)\dots dx^n(\tau)d\tau}\vert_{\vec{y(\tau)}}&\approx_{t\rightarrow 0} \frac{e^{-\bra{|I-J_{DM(\vec{x}(\tau),\vec{y}(\tau))}\vec{x}(\tau)}\ket{\vec{x}(\tau)}/2t}}{(2 \pi t)^{(n+1)/2}}(1+O(t^2))\small \text{ semi-classical limit}\\
\text{Horocyclic coordinates}: z(\tau) - x(\tau) &= x + \ell(\gamma)\vec{e}^1\implies\\
\int_{M/S^1\oplus S^1}k_t(x,z) dx &=\lim_{j\rightarrow\infty}\frac{e^{-\ell(\gamma)^2/2t}}{\sqrt{2\pi t}}E(e^{\bra{J_{X^j_t}\vec{x}}\ket{\vec{x}}})\\
&=\lim_{j\rightarrow\infty}\frac{e^{-\ell(\gamma)^2/2t}}{\sqrt{2\pi t}}\int_{M^j/S^1\oplus S^1}\frac{1}{\sqrt{2\pi t}^{jn}\det|I-J_{X^j}|}e^{-\ell(X^j)^2/2t}X^{j}\\
\end{aligned} Z − Δ/2 ( t ) = D M ∗ μ ( Ω t ) D M ∗ μ ( Ω t 0 ) D M ∗ μ ( Ω t [ γ ]) d x 1 ( τ ) … d x n ( τ ) d τ d D M ∗ μ ( e − ℓ ( γ ) x 1 ( t ) Ω t 0 [ γ ]) ∣ y ( τ ) Horocyclic coordinates : z ( τ ) − x ( τ ) ∫ M / S 1 ⊕ S 1 k t ( x , z ) d x = D M ∗ μ ( Ω t 0 ) + { γ } ∑ D M ∗ μ ( Ω t [ γ ]) ≈ t → 0 ( 2 π t ) − n /2 ( v o l ( M ) + t /6 ∫ M K ( x ) g d x + O ( t 2 )) by McKean-Singer = e − ℓ ( γ ) 2 /2 t ∫ M D M ∗ μ ( e t ⟨ J B B t ∣ B t ⟩ Ω t 0 [ γ ] ∣ x g d x ) by Cameron-Martin = e − ℓ ( γ ) 2 /2 t ∫ T γ 0 M E ( e t J B ∣ Ω t 0 [ γ ] ∣ x ( τ ) ) d x 1 ( τ ) … d x n ( τ ) d τ ≈ t → 0 ( 2 π t ) ( n + 1 ) /2 e − ⟨ ∣ I − J D M ( x ( τ ) , y ( τ )) x ( τ ) ∣ x ( τ ) ⟩ /2 t ( 1 + O ( t 2 )) semi-classical limit = x + ℓ ( γ ) e 1 ⟹ = j → ∞ lim 2 π t e − ℓ ( γ ) 2 /2 t E ( e ⟨ J X t j x x ⟩ ) = j → ∞ lim 2 π t e − ℓ ( γ ) 2 /2 t ∫ M j / S 1 ⊕ S 1 2 π t jn det ∣ I − J X j ∣ 1 e − ℓ ( X j ) 2 /2 t X j
Dans le dim = 2 \dim = 2 dim = 2 − κ 2 -\kappa^2 − κ 2
J x ⃗ , y ⃗ d R B = ( e κ d ( x ⃗ , y ⃗ ) / 2 0 0 e − κ d ( x ⃗ , y ⃗ ) / 2 ) ⟹ < J d R B | J d R B > = e κ ℓ ( B ) d R B 1 2 − e − κ ℓ ( B ) d R B 2 2 ∫ 0 t < J d B | J d B > = e κ ℓ ( γ ) − e − κ ℓ ( γ ) det I − J γ = ( e κ ℓ ( γ ) / 2 − e − κ ℓ ( γ ) / 2 ) 2 \begin{aligned}
\sqrt{J_{\vec{x}, \vec{y}}}dRB&=
\begin{pmatrix}
e^{\kappa d(\vec{x},\vec{y})/2} && 0\\
0 && e^{-\kappa d(\vec{x},\vec{y})/2}\\
\end{pmatrix}
\implies&\\
\bra{\sqrt{J}dRB}\ket{\sqrt{J}dRB} &= e^{\kappa \ell(B)}dRB_1^2 - e^{-\kappa \ell(B)}dRB_2^2\\
\int_0^t \bra{\sqrt{ J}dB}\ket{\sqrt{ J}dB} &= e^{\kappa\ell(\gamma)} - e^{-\kappa\ell(\gamma)}\\
\det I-J_{\gamma} &= (e^{\kappa\ell(\gamma)/2}- e^{-\kappa\ell(\gamma)/2})^2
\end{aligned} J x , y d RB ⟨ J d RB J d RB ⟩ ∫ 0 t ⟨ J d B J d B ⟩ det I − J γ = ( e κ d ( x , y ) /2 0 0 e − κ d ( x , y ) /2 ) ⟹ = e κ ℓ ( B ) d R B 1 2 − e − κ ℓ ( B ) d R B 2 2 = e κ ℓ ( γ ) − e − κ ℓ ( γ ) = ( e κ ℓ ( γ ) /2 − e − κ ℓ ( γ ) /2 ) 2
qui est constant sur ( x ⃗ , τ ) (\vec{x},\tau) ( x , τ ) ≈ t → 0 \approx_{t\rightarrow 0} ≈ t → 0
D M ∗ μ ( Ω t [ γ ] ) = e − ℓ ( γ ) 2 / 2 t ℓ ( γ 0 ) 2 π t ( e κ ℓ ( γ ) / 2 − e − κ ℓ ( γ ) / 2 ) γ ( t ) = γ 0 ( k t ) ⟹ = e − k 2 ℓ ( γ 0 ) 2 / 2 t ℓ ( γ 0 ) 2 2 π t sinh k κ ℓ ( γ 0 ) / 2 \begin{aligned}
DM_*\mu(\Omega_t[\gamma]) &= \frac{e^{-\ell(\gamma)^2/2t}\ell(\gamma_0)}{\sqrt{2 \pi t}(e^{\kappa\ell(\gamma)/2} -e^{-\kappa\ell(\gamma)/2})}\\
\gamma(t) = \gamma_0(kt)\implies \\
&=\frac{e^{-k^2\ell(\gamma_0)^2/2t}\ell(\gamma_0)}{2\sqrt{2\pi t}\sinh k\kappa\ell(\gamma_0)/2}\\
\end{aligned} D M ∗ μ ( Ω t [ γ ]) γ ( t ) = γ 0 ( k t ) ⟹ = 2 π t ( e κ ℓ ( γ ) /2 − e − κ ℓ ( γ ) /2 ) e − ℓ ( γ ) 2 /2 t ℓ ( γ 0 ) = 2 2 π t sinh kκ ℓ ( γ 0 ) /2 e − k 2 ℓ ( γ 0 ) 2 /2 t ℓ ( γ 0 )
Dans le dim = 3 \dim=3 dim = 3 ( z , z ˉ ) (z,\bar{z}) ( z , z ˉ )
J D M ( x ⃗ + ( τ + ℓ ( γ ) ) e ⃗ 1 ) = ( e κ ℓ ( γ ) 0 0 0 e − κ ℓ ( γ ) + i θ ( γ ) 0 0 0 e − κ ℓ ( γ ) − i θ ( γ ) ) ⟹ det I − ⊥ γ 0 k = ∣ 1 − e − k ( κ ℓ ( γ 0 ) − i θ ( γ 0 ) ) ∣ 2 \begin{aligned}
J_{DM(\vec{x}+(\tau+\ell(\gamma))\vec{e}^1)} &=
\begin{pmatrix}
e^{\kappa\ell(\gamma)} && 0 && 0\\
0 && e^{-\kappa\ell(\gamma)+i\theta(\gamma)} && 0 \\
0 && 0 && e^{-\kappa\ell(\gamma)-i\theta(\gamma)} \\
\end{pmatrix}\\
\implies& \\
\det I-{\perp_{\gamma_0}}^k &= |1-e^{-k(\kappa\ell(\gamma_0)-i\theta(\gamma_0))}|^2
\end{aligned} J D M ( x + ( τ + ℓ ( γ )) e 1 ) ⟹ det I − ⊥ γ 0 k = e κ ℓ ( γ ) 0 0 0 e − κ ℓ ( γ ) + i θ ( γ ) 0 0 0 e − κ ℓ ( γ ) − i θ ( γ ) = ∣1 − e − k ( κ ℓ ( γ 0 ) − i θ ( γ 0 )) ∣ 2
et depuis z = x 2 + i x 3 ⟹ d z ˉ ∧ d z = ( d x 2 − i d x 3 ) ∧ ( d x 2 + i d x 3 ) = 2 i d x 2 ∧ d x 3 z=x^2+ix^3 \implies d\bar{z}\wedge dz= (dx^2-idx^3)\wedge(dx^2+idx^3) = 2idx^2\wedge dx^3 z = x 2 + i x 3 ⟹ d z ˉ ∧ d z = ( d x 2 − i d x 3 ) ∧ ( d x 2 + i d x 3 ) = 2 i d x 2 ∧ d x 3
κ = 1 ⟹ D M ∗ μ ( Ω t [ γ ] ) = e − k 2 ℓ ( γ 0 ) 2 / 2 t ℓ ( γ 0 ) 2 2 π t ( 1 − e − k ℓ ( γ 0 ) ) ∣ e k ℓ ( γ 0 ) / 2 − e − k ( ℓ ( γ 0 ) / 2 − i θ ( γ 0 ) ) ∣ \begin{aligned}
\kappa &= 1 \implies \\
DM_*\mu(\Omega_t[\gamma])
&=\frac{e^{-k^2\ell(\gamma_0)^2/2t}\ell(\gamma_0)}{2\sqrt{2\pi t (1-e^{-k\ell(\gamma_0)})}|e^{k\ell(\gamma_0)/2}-e^{-k(\ell(\gamma_0)/2-i\theta(\gamma_0))}|}\\
\end{aligned} κ D M ∗ μ ( Ω t [ γ ]) = 1 ⟹ = 2 2 π t ( 1 − e − k ℓ ( γ 0 ) ) ∣ e k ℓ ( γ 0 ) /2 − e − k ( ℓ ( γ 0 ) /2 − i θ ( γ 0 )) ∣ e − k 2 ℓ ( γ 0 ) 2 /2 t ℓ ( γ 0 )
Joe Schaefer
.