R. J. Spatzier*
M. Strake'in anısına ithaf edilmiştir
*NSF ve Stony Brook Matematik Bilimleri Enstitüsü tarafından kısmen desteklenmiştir, Sloan Vakfı Üyesi ve AMS Yüzüncü Yıl Üyesi
Özet
Jeodezik akışları tam entegre edilebilir olan Riemannian manifoldları, özellikle de çeşitli homojen olmayan örnekleri inşa ediyoruz. Kullanılan yöntemler, Thimm yönteminin bir modifikasyonu, Riemannian submersiyonları ve bağlantılı toplamlardır (connected sums).
Tam entegre edilebilir bir $g^t$ akışı, $2n$-boyutlu bir $M$ simplektik manifoldu üzerinde, Poisson anlamında komüte eden (Poisson-commuting), $g^t$-invaryant ve diferansiyelleri $M$ üzerinde hemen hemen her yerde (h.h.y.) bağımsız olan $n$ tane $C^\infty$-fonksiyonu $f_1, \ldots, f_n$ mevcutsa tam entegre edilebilirdir. Poincaré, tam entegre edilebilirliğin istisnai bir fenomen olduğunu fark etmişti. Gerçekten de, son yirmi yıla gelene kadar çok sayıda örnek keşfedilmemişti. Bu makalede, jeodezik akışların daha dar alanını araştırıyoruz. Şimdiye kadar, tam entegre edilebilir jeodezik akışların çok az örneği biliniyordu. Klasik örnekler düz toruslar, dönel yüzeyler (Clairaut), farklı asal eksenlere sahip $n$-boyutlu elipsoidler (Jacobi) ve soldan invaryant metriğe sahip $SO(3)$ (Euler) grubudur. Daha yakın zamandaki örnekler, Mishchenko ve Fomenko [6] tarafından bulunan, belirli soldan invaryant metriklere sahip yarı-basit Lie gruplarıdır. Daha sonra Thimm, homojen uzaylar üzerinde involüsyonda (in involution) birinci integraller inşa etmek için yeni bir yöntem geliştirdi [15]. Özellikle, reel ve karmaşık Grassmann manifoldları üzerinde jeodezik akışın tam entegre edilebilirliğini kanıtladı. Guillemin ve Sternberg bu yöntemi kavramsallaştırdı ve yeni örnekler buldu [9]. Bu şekilde elde edilebilen uzaylar esasen Krämer tarafından sınıflandırılmıştır [13]. Kompakt tipten diğer simetrik uzayların jeodezik akışlarının tam entegre edilebilirliği ile ilgili sonuçlar için [5]'e başvurulabilir.
Bu makalede, tam entegre edilebilir jeodezik akışlara sahip birkaç yeni Riemannian manifoldu örneği ve özellikle çeşitli homojen olmayan örnekler sunuyoruz. Bu inşalarda birkaç yeni teknik kullanıyoruz.
İlk inşa, Thimm yönteminin basit bir varyasyonudur. Onun yönteminde, bir Lie grubu etkisinin moment dönüşümü, bir Lie cebirinden söz konusu simplektik uzaya Poisson anlamında komüte eden bir fonksiyon ailesini geri çekmek (pull back) için kullanılır. Thimm, bir grubun homojen bir uzay üzerindeki izometriler eylemi durumunu ele alırken, bunun yerine jeodezik akışla birlikte izometri grubu da kullanılabilir. Bu, dönel yüzeyler üzerindeki integrallerin inşasını genelleştirir. Bu basitliğine rağmen, Thimm yönteminin bu varyasyonu, $T^2$'nin $SU(3)$ içindeki maksimal torus olduğu Wallach manifoldu $SU(3)/T^2$ gibi birkaç yeni örnek sunmaktadır. Bunu Bölüm 2'de inceliyoruz.
Bölüm 3'te bir Riemannian submersiyonunun simplektik yapısını inceliyoruz. Submersiyon bir $G$ Lie grubunun eylemiyle verildiğinde, taban uzayının teğet demeti, toplam uzayın teğet demetinin, grubun türevler vasıtasıyla eylemine göre Marsden-Weinstein indirgemesiyle simplektomorfiktir. Özellikle, $G$-invaryant Poisson-komüte fonksiyonların Poisson-komüte fonksiyonlara indiğini görürüz. Böylece, eğer yeterli sayıda $G$-invaryant Poisson-komüte fonksiyon bağımsız fonksiyonlara iniyorsa, submersiyonun taban uzayı tam entegre edilebilir jeodezik akışa sahip olur. Submersiyon yönteminin özü budur.
Bölüm 4'te submersiyon yöntemini kullanarak çeşitli örnekler inşa ediyoruz. Bunu uygulamak için, bazen Thimm yönteminden kaynaklanan integrallerin, izometri grubunun bir alt grubunun eylemi altında invaryant kaldığını gözlemliyoruz. Daha sonra bu örneklerde, yeterli sayıda Poisson-komüte fonksiyonun bölüm uzayı üzerinde bağımsız fonksiyonlara indiğini gösteriyoruz. Ne yazık ki, taban uzayındaki fonksiyonların bağımsızlığı kendiliğinden olan bir durum olmaktan çok uzaktır. Ancak genel olarak, eğer $X$ tam entegre edilebilir jeodezik akışa sahipse ve integralleri invaryant bırakan bir $S^1$-eylemine izin veriyorsa ve $N$ bir dönel yüzey ise, $X \times_{S^1} N$'nin jeodezik akışının tam entegre edilebilir olduğunu gösteriyoruz. Özel örnekler $\mathbb{CP}^n \# -\mathbb{CP}^n$ ve Eschenburg örnekleri üzerindeki yüzey demetleridir. İkincisinde taban uzayı, $SU(3)$'ün hem soldan hem de sağdan etki eden bir $S^1$-eylemine göre bölüm uzayıdır. Bu yüzey demetlerinin bazılarının güçlü bir şekilde homojen olmayan yapıda olduğu, yani kompakt bir homojen uzayın homotopi tipine sahip olmadıkları bilinmektedir [14].
Ardından, belirli Eschenburg örneklerinin kendilerinin de tam entegre edilebilir jeodezik akışlara sahip olduğunu gösteriyoruz. Yine bu uzayların çoğu güçlü bir şekilde homojen olmayan uzaylardır. Yukarıdaki genel submersiyon örneği kapsamına girmezler. Aksine, doğrudan submersiyon yöntemini kullanıyoruz ve açık hesaplamalarla yeterli sayıda fonksiyonun bağımsızlığını kuruyoruz. Eschenburg manifoldlarının izometri grupları aşikar olmasa da, boyutsal nedenlerden dolayı Thimm yönteminin uygulanması için yeterince büyük olmadıklarını da belirtelim. Son olarak, Gromoll ve Meyer tarafından [7]'de kullanılan egzotik kürenin jeodezik akışının tam entegre edilebilir olduğunu gösteriyoruz. Burada integraller, hem submersiyon yöntemiyle birleştirilmiş bir Thimm inşasından hem de bu egzotik kürenin izometri grubundan gelmektedir. Belirli Kervaire kürelerinin jeodezik akışlarının da teğet demetinin açık ve yoğun bir alt kümesi üzerinde tam bir integral kümesine izin verdiğini belirtelim. Ancak bu integrallerin tüm teğet demetine genişleyip genişlemediği açık değildir.
Bölüm 5'te, $n$ tek sayı olmak üzere $\mathbb{CP}^n \# \mathbb{CP}^n$ üzerinde tam entegre edilebilir jeodezik akışlara sahip metrikler inşa etmek için bir yapıştırma (glueing) tekniği kullanıyoruz.
İkinci yazar, kendisini Eschenburg örnekleriyle tanıştıran M. Strake'e minnettardır. Eschenburg örneklerinin jeodezik akışlarının tam entegre edilebilirliği olasılığı da ilk olarak onunla yapılan tartışmalarda ortaya çıkmıştır. Ayrıca yararlı yorumları ve tartışmaları için D. Gromoll ve B. Kasper'e teşekkür ederiz.
2. Thimm Yöntemi Üzerine Varyasyonlar
İlk olarak, Guillemin ve Sternberg [8, 9, 15] tarafından modifiye edildiği şekliyle Thimm inşasını hatırlatalım. Daha fazla ayrıntı için [9]'a başvurulabilir.
$N$, bir $G$ Lie grubunun Hamiltonian eylemine sahip bir simplektik uzay olsun. Eğer $N$ üzerindeki $G$-invaryant fonksiyonların cebiri Poisson parantezi altında komütatif ise, bu eyleme katlılıksız (multiplicity free) denir [8, s. 361]. $\Phi: N \to \mathfrak{g}^*$ eylemin moment dönüşümünü göstersin. $\{1\} = G_l \subset G_{l-1} \subset \ldots \subset G_1 = G$, $G$'nin yükselen bir Lie alt grupları zinciri olsun ve bunların Lie cebirlerini $\mathfrak{g}_i$ ile gösterelim. $\mathfrak{g}_i^*$ içindeki her bir ortak-eşlenik (coadjoint) yörüngeyi Kostant-Kirillov simplektik yapısıyla donatalım. O halde her bir $G_{i+1}$ alt grubu, $\mathfrak{g}_i^*$ içindeki her bir yörünge üzerine Hamiltonian bir şekilde etki eder. Moment dönüşümleri, $j_i: \mathfrak{g}_i^* \to \mathfrak{g}_{i+1}^*$ ikili dönüşümlerinin ortak-eşlenik yörüngelere kısıtlanışlarından ibarettir. Eğer $G_{i+1}$'in $\mathfrak{g}_i^*$ üzerindeki $G_i$'nin ortak-eşlenik yörüngeleri üzerindeki eylemleri katlılıksız ise, $G_i$ zincirine katlılıksız diyeceğiz. Bu, $G_i$ zinciri üzerinde oldukça güçlü bir koşuldur. Kompakt gruplar için bu, $G_i$'yi yerel olarak $SO(n)$, $SU(n)$, toruslara veya bunların çarpımlarına izomorfik olmaya zorlar [11, 12].
Eğer $G_i$ katlılıksız bir zincir ise ve $G$'nin $N$ üzerindeki eylemi katlılıksız ise, o zaman $N$ üzerindeki herhangi bir $G$-invaryant Hamiltonian tam entegre edilebilirdir [8, s. 366]. Thimm yönteminin özü budur. Bu yapı [15, 9, 10] çalışmalarında ayrıntılı olarak incelenmiştir. Eğer $N$ bir $M$ manifoldunun koteğet demeti ise ve $G$ türevler vasıtasıyla etki ediyorsa, o zaman $M$ bir $G/K$ homojen uzayıdır [10]. Bu durumda, $(G, K)$ çiftine Gelfand çifti denir. Bunlar Krämer tarafından [13]'te sınıflandırılmıştır.
Thimm yönteminin bir varyasyonunun, $(G, K)$ çifti bir Gelfand çifti olmasa bile $G/K$ homojen uzayları üzerindeki bazı jeodezik akışların tam entegre edilebilirliğini verdiğini gözlemliyoruz. İlk olarak, $\text{ind } G$, $G$'nin indeksini göstersin. Bu indeks, $G$'nin $\mathfrak{g}^*$ üzerindeki ortak-eşlenik eyleminin genel bir yörüngesinin eşboyutu (codimension) olarak tanımlanır (eğer $G$ yarı-basit ise $\text{ind } G = \text{rk } G$'dir). Şimdi aşağıdaki koşulları doğrulayan bir $G/K$ homojen uzayını ele alalım:
Bazı soldan invaryant metriklerin jeodezik akışı tarafından üretilen Hamiltonian eylemini $R$ ile gösterelim. $\hat{G} = G \times R$ olsun. Açıkça $\hat{G}$ Hamiltonian dönüşümlerle etki eder ve metrikle ilişkili karesel formu invaryant bırakır. $G/K$ üzerindeki soldan invaryant metriğin, $G$'nin 1-parametreli bir alt grubunun yörüngesi olmayan bir jeodeziğe sahip olduğunu varsayalım. O halde h.h.y. $\hat{G}$'nin izotropisi sıfır boyutludur ve $\dim \hat{G} + \text{ind } \hat{G} = \dim T(G/K)$'dir. Boyut sayımı yaparak, $\hat{G}$'nin ortak-eşlenik eyleminin izotropi gruplarının, $\hat{G}$'nin moment dönüşümünün düzenli seviye yüzeyleri üzerinde geçişli (transitively) olarak etki ettiğini çıkarırız. Bu, [9]'da belirtilen eşdeğerlikler gereği, $\hat{G}$ eyleminin katlılıksız olduğu anlamına gelir. Dolayısıyla, $G$ için katlılıksız bir zincir inşa edilebildiğinde Thimm yöntemi uygulanabilir.
Şimdi (2) koşulunu yeniden yazalım. $G$'nin kompakt olduğunu varsayalım ve $(\,,)$ ile bazı çift-invaryant metrikleri gösterelim. $K$'nin Lie cebirini $\mathfrak{k}$ ile ve $(\,,)$'ye göre dik tümleyenini $\mathfrak{k}^\perp$ ile gösterelim. O halde (2) koşulunun şuna eşdeğer olduğunu kontrol etmek kolaydır:
Örnek 2.1 $T^2$'nin $SU(3)$ içindeki bir maksimal torus olduğu $SU(3)/T^2$ homojen uzayını ele alalım. Bu manifold aynı zamanda $\mathbb{CP}^2$ içindeki bayrakların uzayı (space of flags) olarak da düşünülebilir. $\dim SU(3) = 8$ ve $\text{ind } SU(3) = 2$ olduğundan (1) koşulu açıkça doğrulanır. (3) koşulunu kontrol edeceğiz.
$SU(3)$'ün Lie cebiri, izi sıfır olan tüm ters hermitsel (skew hermitian) matrislerden oluşur. Bu durumda $\mathfrak{k}$, aşağıdaki formdaki tüm $Y$ matrislerinden oluşur:
$$Y = \begin{pmatrix} \alpha & 0 & 0 \\ 0 & \beta & 0 \\ 0 & 0 & \gamma \end{pmatrix}$$
burada $\alpha$, $\beta$ ve $\gamma$ tamamen sanaldır ve toplamları sıfırdır.
$SU(3)$ üzerindeki Killing metriğini, yani $(X, Y) = -\frac{1}{2}\text{Re tr}(XY)$ metriğini ele alalım. Bu çarpıma göre $\mathfrak{k}^\perp$, köşegen üzerindeki girdileri sıfır olan matrisler tarafından verilen $\mathfrak{su}(3)$'ün alt kümesidir. $X \in \mathfrak{k}^\perp$ şu şekilde verilsin:
$$X = \begin{pmatrix} 0 & 1 & 1 \\ -1 & 0 & 0 \\ -1 & 0 & 0 \end{pmatrix}$$
Daha önceki gibi $Y \in \mathfrak{k}$ alalım ve $[X, Y]$'yi hesaplayalım. Şunu elde ederiz:
$$[X, Y] = \begin{pmatrix} 0 & \beta - \alpha & \gamma - \alpha \\ \beta - \alpha & 0 & 0 \\ \gamma - \alpha & 0 & 0 \end{pmatrix}$$
O halde açıkça $\dim [X, \mathfrak{k}] = \dim \mathfrak{k} = 2$ elde ederiz ve (3) koşulu doğrulanır.
Dolayısıyla, her jeodeziğin $SU(3)$'ün 1-parametreli bir alt grubunun yörüngesi olmaması koşuluyla, $SU(3)/T^2$ üzerindeki soldan invaryant bir metriğin jeodezik akışı tam entegre edilebilirdir. Tamamen aynı argümanlar diğer uzaylara da uygulanabilir. Özellikle, her jeodeziğin $SO(n+1)$'in 1-parametreli bir alt grubunun yörüngesi olmaması koşuluyla, $SO(n+1)/SO(n-1)$ üzerindeki soldan invaryant bir metriğin jeodezik akışı tam entegre edilebilirdir. $SO(n+1)/SO(n-1)$ üzerindeki normal homojen metriklerin jeodezik akışının tam entegre edilebilirliği Thimm tarafından elde edilmiştir [15, Önerme 5.3]. Burada orijinal Thimm yöntemi çalışır çünkü $SO(n+1) \times SO(2)$'nin $SO(n+1)/SO(n-1)$'in teğet demeti üzerindeki doğal eylemi katlılıksızdır.
3. Submersiyon Metrikleri ve İndirgenmiş Uzaylar
Riemannian submersiyonlarının özellikle güzel bir sınıfı, izometrik grup eylemleriyle verilenlerdir. Göreceğimiz gibi, bunların temel simplektik özelliği, teğet demetlerinin, toplam uzayların teğet demetlerinin Marsden-Weinstein indirgemeleri olmasıdır. Bu ve diğer temel simplektik özellikler, kalan bölümlerde incelenen örnekler için esastır. Tüm temel tanımlar için [2, böl. 9] ve [8, kısım 26]'ya başvuruyoruz.
$m$ boyutlu bir $G$ Lie grubu, $\langle,\rangle_M$ metriğine sahip bir $M$ Riemannian manifoldu üzerinde izometrilerle etki etsin. $M$'nin $TM$ teğet demetini, koteğet demeti $T^*M$ üzerindeki kanonik simplektik yapıyı metrik vasıtasıyla geri çekerek elde edilen $\bar{\omega}$ simplektik yapısıyla donatıyoruz. O halde $G$, $TM$ üzerinde simplektik olarak etki eder. $G$'nin Lie cebirini $\mathfrak{g}$ ile gösterelim.
Lemma 3.1 $\Phi: TM \to \mathfrak{g}^*$ moment dönüşümü şu şekilde verilir:
$$\Phi(v)(\xi) = \langle v, \xi(\beta(v)) \rangle$$
burada $v \in TM$ ve $\xi \in \mathfrak{g}$ olup $\beta$, bir teğet vektörünü ayak noktasına (foot point) eşler.
Kanıt: Koteğet demeti üzerindeki moment dönüşümü formülünü hatırlayalım, yani $v \in T^*M$ ve $\xi \in \mathfrak{g}$ için $\Phi^*(v) = v(\xi(\beta(v)))$'dir [8, s. 222]. Simplektik yapı $TM$ üzerinde Riemannian yapının geri çekilmesi (pullback) olduğundan, bu durum iddiayı doğrudan gerektirir. $\diamond$
Şimdi $G$'nin $M$ üzerinde izotropisiz (free) etki ettiğini varsayalım. $B = M/G$ olarak ayarlayalım ve $B$'yi submersiyon metriği ile donatalım. $\pi: M \to B$ bölüm gönderimini göstersin.
Lemma 3.2 Moment dönüşümü, $\mathfrak{g}^*$ içindeki aşikar ortak-eşlenik yörünge $\{0\}$ ile temiz bir şekilde (cleanly) kesişir, yani $\Phi^{-1}(0)$, $TM$'nin bir alt manifoldudur ve her $x \in \Phi^{-1}(0)$ noktasında $T_x(\Phi^{-1}(0)) = d\Phi^{-1}(T_0(0)) = d\Phi^{-1}(0)$ elde edilir. Dahası, $\Phi^{-1}(0)$ tüm yatay vektörlerin kümesidir.
Kanıt: İlk olarak, $\Phi^{-1}(0) = \{v \in TM \mid \text{her } \xi \in \mathfrak{g} \text{ için } \langle v, \xi(\beta(v)) \rangle = 0\}$ ifadesinin tüm yatay vektörlerin kümesi ve dolayısıyla bir manifold olduğunu unutmayın.
$w = (w_1, w_2) \in T_x(\Phi^{-1}(0))$ için, $\{p_t\} \subset M$ ve $\{v_t\} \subset TM$, $w_1 = \frac{d}{dt}\big|_{t=0} p_t$ ve $w_2 = \frac{d}{dt}\big|_{t=0} v_t$ olacak şekilde $C^1$-yolları olsun. $\tilde{\xi}_1, \dots, \tilde{\xi}_m$, $\mathfrak{g}$ için bir baz olsun. $M$ için $x$ civarında öyle bir koordinat sistemi seçelim ki ilk $m$ koordinat $\xi_1 = \tilde{\xi}_1(y), \dots, \xi_m = \tilde{\xi}_m(y)$ ile verilsin. Bu koordinat sisteminde $v_t = h_t + \eta + t\xi = h_t + \tilde{\eta}(p_t) + t\tilde{\xi}(p_t)$ yazabiliriz; burada $h_t$'ler yataydır ve $\tilde{\eta}, \tilde{\xi} \in \mathfrak{g}$'dir. $\mathfrak{g}^*$ bir vektör uzayı olduğundan, $T^*\mathfrak{g}$ kanonik olarak $\mathfrak{g}^*$ ile özdeşleştirilir ve şuna sahibiz:
$$(\frac{d}{dt}\big|_{t=0} c_t)(\zeta) \stackrel{\text{def}}{=} \frac{d}{dt}\big|_{t=0} (c_t(\zeta)) = \frac{d}{dt}\big|_{t=0} \langle h_t + \eta + t\xi(p_t), \xi(p_t) \rangle = \langle \xi(p_t), \xi(p_t) \rangle$$
burada $\zeta \in \mathfrak{g}^*$ ve $c_t$, $\mathfrak{g}^*$ içinde bir $C^1$-yoludur. $h_t$'ler yatay olduğundan şunu elde ederiz:
$$d\Phi_x(w)(\xi) = \frac{d}{dt}\big|_{t=0} \langle v_t, \xi(p_t) \rangle = \frac{d}{dt}\big|_{t=0} \langle \xi(p_t), \xi(p_t) \rangle.$$
Son lema gereği, $TM$'nin $\{0\}$-ortak-eşlenik yörüngesine göre Marsden-Weinstein indirgenmiş uzayı $TM//G$ tanımlıdır. Bunun $\Phi^{-1}(0)/G$ indirgenmiş uzayı ile özdeşleştirilebileceğini hatırlayalım [8, s. 192].
Önerme 3.3 $\{0\}$-ortak-eşlenik yörüngesine göre Marsden-Weinstein indirgenmiş uzayı $TM//G$, $TB$ ile simplektomorfiktir.
Kanıt: $\Phi^{-1}(0)$ tüm yatay vektörlerin kümesi olduğundan, $TM//G$ uzayı $TB$ ile difeomorfiktir. Bundan sonra bu ikisini özdeşleştireceğiz.
$T^*B$ üzerindeki kanonik simplektik yapının Riemannian metrik $\langle,\rangle_B$ vasıtasıyle $TB$'ye geri çekilmiş hali, $x \in TB$ ve $v \in T_x TB$ için $\theta_x(v) = \langle x, d(\beta)_x v \rangle_B$ ile tanımlanan $\theta$ 1-formu olmak üzere $\omega = -d\theta$ 2-formudur. Benzer şekilde, $TM$ üzerinde $\bar{\omega} = -d\bar{\theta}$ olacak şekilde $\bar{\theta}$ 1-formunu gösterelim. $\bar{x} \in \Phi^{-1}(0)$ ve $\bar{v} \in T_{\bar{x}}\Phi^{-1}(0)$ olsun. $\bar{x}$ ve $d(\beta)_{\bar{x}}\bar{v}$ yatay vektörlerdir ve dolayısıyla:
$$\bar{\theta}_{\bar{x}}(\bar{v}) = \langle \bar{x}, d(\beta)_{\bar{x}}\bar{v} \rangle_M = \langle d\pi(\bar{x}), d\pi(d(\beta)_{\pi\bar{x}}\bar{v}) \rangle_B = \theta_{\pi\bar{x}}(d\pi\bar{v})$$
elde edilir. $d\pi$'yi $\Phi^{-1}(0)$'a kısıtlarsak, $d\pi^*\theta = \bar{\theta}|_{\Phi^{-1}(0)}$ olduğunu görürüz. Dolayısıyla $\bar{\omega}|_{\Phi^{-1}(0)} = d\pi^*\omega$ elde edilir. Tanım gereği, indirgenmiş uzay üzerindeki simplektik $\omega_r$ formu $d\pi^*\omega_r = \bar{\omega}|_{\Phi^{-1}(0)}$ koşulunu sağlar. $d\pi$ örten olduğundan, $\omega = \omega_r$ elde ederiz. $\diamond$
Bir simplektik $X$ manifoldu üzerindeki bir $C^1$-fonksiyonu $f$ için, ilişkili Hamiltonian vektör alanını $\xi_f$ ile gösterelim. $G$'nin $X$ üzerinde, $\mathfrak{g}^*$ içindeki $\{0\}$ ile temiz bir şekilde kesişen moment dönüşümü $\Phi: X \to \mathfrak{g}^*$ ile Hamiltonian bir şekilde etki ettiğini varsayalım. Eğer $f$ fonksiyonu $G$-invaryant ise, o halde $\xi_f$, $\Phi^{-1}(0)$'a teğettir. $\rho$, $\Phi^{-1}(0)$'dan indirgenmiş uzay $Y = \Phi^{-1}(0)/G$'ye olan projeksiyonu göstersin. Eğer $f': Y \to \mathbb{R}$ indüklenen fonksiyonu gösterirse, o zaman $\xi_{f'} = d\rho(\xi_f)$ elde edilir [1, Ek 5C].
Lemma 3.4 $f, g: X \to \mathbb{R}$, $X$ üzerinde $G$-invaryant fonksiyonlar ve $f', g': Y \to \mathbb{R}$ indüklenen fonksiyonlar olsun. O halde şuna sahibiz:
$$\{f', g'\} \circ \rho = \{f, g\}|_{\Phi^{-1}(0)}.$$
Özellikle, Poisson-komüte eden $G$-invaryant fonksiyonlar Poisson-komüte eden fonksiyonlara iner.
Kanıt: Bu, lemadan önceki tartışmadan ve şu ifadeden elde edilir:
$$\xi_{\{f',g'\}} = [\xi_{f'}, \xi_{g'}] = d\rho([\xi_f, \xi_g]).$$ $\diamond$
Aşağıdaki inşaların fikri, bazen Thimm yönteminden kaynaklanan integrallerin izometri grubunun bir alt grubu altında invaryant kalmasıdır. O halde, bu alt gruba göre submersiyon metriği ile donatılmış bölüm uzayı için integraller inşa edilebilir. Tabii ki ana problem, bu şekilde elde edilen integrallerin bağımsızlığını göstermektir.
Thimm integrallerinin invaryans özelliklerini anlamak için Thimm yöntemini daha ayrıntılı olarak açıklamamız gerekir. İlk olarak, $\mathfrak{g}^*$ üzerinde envolüsyonda (in involution) olan ve fonksiyonel olarak bağımsız olan maksimal bir fonksiyon ailesi bulunur. Bunların inşası tümevarımsaldır: $\mathfrak{g}_{i+1}^*$ üzerinde halihazırda inşa edilmiş olan bu tür fonksiyonlardan oluşan bir aile $j_i$ vasıtasıyla geri çekilir ve $\mathfrak{g}_i$ üzerinde maksimal sayıda fonksiyonel olarak bağımsız $G_i$-invaryant fonksiyon eklenir. Şimdi, $\mathfrak{g}^*$ üzerindeki bu fonksiyon ailesi, moment dönüşümü $\Phi$ kullanılarak simplektik uzay $N$'ye geri çekilebilir. Hipotezimiz altında, $N$ üzerinde envolüsyonda olan ve hemen hemen her yerde fonksiyonel olarak bağımsız olan $n := \dim N/2$ kadar $f_1, \dots, f_n$ fonksiyonu elde ederiz. Dahası, bunlar $N$ üzerindeki herhangi bir $G$-invaryant Hamiltonian ile komüte ederler.
Şimdi bu integrallerin bazı invaryans özelliklerini gözlemleyelim.
4. Submersiyon Örnekleri
Lemma 4.1 $j: \mathfrak{g}' \to \mathfrak{g}$, $G$'nin $G'$ alt grubuna karşılık gelen bir Lie alt cebiri olsun. $\phi': \mathfrak{g}'^* \to \mathbb{R}$, $G'$'nün ortak-eşlenik eylemi altında invaryant olan bir fonksiyon olsun. $\phi = j^*(\phi') = \phi' \circ j^*$ olsun.
a) Eğer $\tau$, $G$ içinde $\mathfrak{g}'$'nün merkezleyicisinde (centralizer) ise, o zaman $\phi$ fonksiyonu $\tau$ altında invaryanttır.
b) Eğer $\tau \in G'$ ise, o zaman $\phi$ fonksiyonu $\tau$ altında invaryanttır.
Kanıt: $\tau$'nun $G$ içinde $\mathfrak{g}'$'nün normalleyicisinde (normalizer) olduğunu varsayalım. O halde:
$$\tau(\phi) = \phi \circ \text{Ad}^*(\tau) = \phi' \circ j^* \circ \text{Ad}^*(\tau) = \phi' \circ \text{Ad}^*(\tau) \circ j^*.$$
Eğer $\tau$, $\mathfrak{g}'$'yü merkezliyorsa, o zaman $\text{Ad}^*(\tau) = \text{id}|_{\mathfrak{g}'}$ elde edilir ve a) şıkkı sağlanır. b) şıkkı için $\phi'$'nün $G'$-invaryant olduğunu hatırlayın. $\diamond$
Özellikle, yukarıda inşa edilen herhangi bir $f_i$ fonksiyonunun $G_{l-1}$-invaryant olduğunu görüyoruz. Aslında, moment dönüşümü eşdeğişken (equivariant) olduğundan, bunu yukarıda inşa edilen $\phi_i: \mathfrak{g}^* \to \mathbb{R}$ fonksiyonları için görmek yeterlidir. $G_{l-1}$ diğer tüm alt cebirlerde ($\{1\}$ hariç) bulunduğundan, bu durum Lemma 4.1 b)'den elde edilir.
Bu bölümün geri kalanında, bu gözlemleri önceki bölümlerin sonuçlarıyla birleştiriyoruz. İlk olarak, bilinenlerden yola çıkarak tam entegre edilebilir jeodezik akışları destekleyen yeni manifoldların genel bir inşasını açıklıyoruz.
$X$, jeodezik akışı tam entegre edilebilir olan $n$ boyutlu tam bir Riemannian manifoldu olsun. $X$'in, integralleri invaryant bırakan izometriler vasıtasıyla serbest bir $S^1$ eylemine izin verdiğini varsayalım. $N$ tam bir dönel yüzey olsun ve $X \times N$ üzerinde izometriler vasıtasıyla köşegenel (diagonal) eylemi ele alalım. Bu eylem serbest olduğundan, $M = X \times_{S^1} N$ bölüm manifoldunu ele alabilir ve onu submersiyon metriği ile donatabiliriz. O halde şuna sahibiz:
Önerme 4.2 $M$ üzerindeki jeodezik akış tam entegre edilebilirdir.
Kanıt: $X$'ten gelen integralleri $f_1, \dots, f_n$ ile ve $N$ üzerindeki metriği $g$ ile gösterelim. Bu fonksiyonlar $T(X \times N) = TX \times TN$ üzerine bariz bir şekilde genişler ve genişlemelerini $\hat{f}_1, \dots, \hat{f}_n, \hat{g}$ ile göstereceğiz. Bunlar açıkça $X \times N$ üzerindeki çarpım metriği tarafından verilen jeodezik akışın integralleridir. Hipotez gereği tüm bu integraller $S^1$ altında invaryant olduğundan, $\Phi$'nin $S^1$'in $X \times N$ üzerindeki köşegenel eylemine karşılık gelen moment dönüşümü olmak üzere $\Phi^{-1}(0)/S^1 = TM$'ye inerler. Dolayısıyla, $M$ üzerindeki jeodezik akış için envolüsyonda olan $n+1$ tane integral elde ederiz (bkz. Önerme 3.3 ve Lemma 3.4). Sadece bunların hemen hemen her yerde fonksiyonel olarak bağımsız olduğunu göstermemiz gerekir.
Bunun için bir $(p_1, p_2) \in X \times N$ noktasını ele alalım. $(p_1, p_2)$ noktasındaki yatay vektörlerin kümesinden ibaret olan $H = \Phi^{-1}(0) \cap T_{(p_1,p_2)}(X \times N)$ kümesini ayarlayalım. $\tau: H \to T_{p_1}X$ projeksiyon gönderiminin kısıtlanışını göstersin. Eğer $S^1$, $p_2$'yi sabitlemiyorsa, $\tau$ açıkça örtendir. Varsayım gereği h.h.y. $p_1$ ve h.h.y. $v_1 \in T_{p_1}X$ için $\xi_{f_1}, \dots, \xi_{f_n}$ vektör alanları $v_1$ noktasında doğrusal olarak bağımsızdır. Böyle bir $v_1$ alalım ve $v_2$, $\tau^{-1}(v_1)$'in $T_{p_2}N$ üzerindeki projeksiyonu üzerinde sıfırdan farklı bir vektör olsun. Gerekirse $v_1$'i biraz hareket ettirerek, $v_2$ boyunca geçen jeodeziğin $S^1$ eyleminin bir yörüngesi olmayacak şekilde $v_2$'yi seçebiliriz.
$\xi_{\hat{f}_1}, \dots, \xi_{\hat{f}_n}, \xi_{\hat{g}}$ alanlarının $(v_1, v_2)$ noktasında doğrusal olarak bağımsız olduğu açıktır. Dolayısıyla, $(v_1, v_2)$ noktasında $S^1$'in $\Phi^{-1}(0)$ üzerindeki yörüngelerine teğet olan $W$ vektör alanının, $\xi_{\hat{f}_1}, \dots, \xi_{\hat{f}_n}, \xi_{\hat{g}}$ tarafından gerilen vektör uzayına ait olmadığını göstermemiz gerekir. $W_1$, $TX$ üzerindeki $S^1$ yörüngelerine teğet olan alanı ve $W_2$, $TN$ üzerindeki karşılık gelen $S^1$ yörüngelerine teğet olan alanı göstersin. O halde $W$, $W_1(v_1) \in T_{v_1}TX$ ve $W_2(v_2) \in T_{v_2}TN$ olmak üzere $(-W_1, W_2)$ olarak yazılabilir. Şimdi $\xi_{\hat{f}_i} \in TTX$ ve $\xi_{\hat{g}} \in TTN$ olduğunu gözlemleyin. Dolayısıyla, eğer $W$, $(v_1, v_2)$ noktasında $\xi_{\hat{f}_i}$'ler ve $\xi_{\hat{g}}$ tarafından gerilen uzaya ait olsaydı, $W_2$ ve $\xi_{\hat{g}}$'nin $v_2$ noktasında doğrusal (collinear) olduğunu çıkarırdık. Bu durum, $v_2$ boyunca geçen jeodeziğin $S^1$ eyleminin bir yörüngesi olduğu anlamına gelir. Bu ise $v_2$ seçimi ile çelişir. $\diamond$
Önceki önermenin bazı uygulamalarını görelim.
Örnek 4.3 Standart çift-invaryant metriği ile donatılmış $SO(n)$ grubunu ele alalım. O halde $SO(n)$, alışılagelmiş şekilde $SO(n) \times SO(n)$'nin bir simetrik uzayı olarak görülebilir. Aşağıdaki yükselen alt gruplar zincirini ele alalım:
$$\{1\} \subset SO(2) \times \{1\} \subset \ldots \subset SO(n) \times \{1\} \subset \ldots \subset SO(n) \times SO(n)$$
Bu zincir ve $SO(n) \times SO(n)$'nin $TSO(n)$ üzerindeki eylemi katlılıksızdır ve Thimm yönteminin hipotezleri geçerlidir. Böylece, $SO(n)$ üzerindeki jeodezik akışın tam entegre edilebilir olduğu şeklindeki iyi bilinen gerçeği yeniden elde ederiz. Lemma 4.1 gereği, tüm integraller $SO(2) \times \{1\} = S^1$ altında invaryanttır. Şimdi önerme, submersiyon metriği ile donatılmış $M = SO(n) \times_{S^1} N$'nin tam entegre edilebilir bir jeodezik akışı desteklediğini gösterir. Benzer argümanlar $SU(n)$ durumu için de geçerlidir.
$SU(2) = \text{Spin}(3) = S^3$ ve $M^4 = SU(2) \times_{S^1} N^2$ özel durumu için elde ettiğimiz manifoldları açıklayalım. Eğer $N$ 2-küre ise, $M$, $\mathbb{CP}^2 \# -\mathbb{CP}^2$ manifolduna difeomorfik olan, $S^2$ üzerindeki aşikar olmayan $S^2$ demetidir. $M$'nin herhangi bir homojen uzaya difeomorfik olmadığı bilinmektedir (bkz. [3]). Eğer $N$ Öklid 2-uzayı ise, $M$, $\mathbb{CP}^1$'in $\mathbb{CP}^2$ içindeki normal demetidir. Dahası, $S^1$'in düzlem üzerinde $n$ kez döndürerek etki ettiğini düşünürsek, karşılık gelen $M_n$ manifoldları $\mathbb{CP}^1$ üzerindeki tüm çizgi demetlerini (line bundles) verir. Son olarak, $SU(2)$ üzerindeki metriğin çift-invaryant olması gerekmediğini belirtmek isteriz. Herhangi bir soldan invaryant metrik için argümanlar çalışır, çünkü Bölüm 2'deki gibi $\hat{G} = SU(2) \times \mathbb{R}$ eylemi katlılıksızdır.
Örnek 4.4 Son örneği genelleştirerek, $\mathbb{CP}^n \# -\mathbb{CP}^n$ üzerinde tam entegre edilebilir jeodezik akışlara sahip geniş bir metrik sınıfı inşa edeceğiz.
$S^1 \to S^{2n+1} \to \mathbb{CP}^n$ Hopf liflemesini ele alalım. $S^{2n+1}$ üzerindeki $g_t$ metriğini, standart metrikten $S^1$ yörüngelerine teğet yönlerde $t^2$ ile çarparak elde edilen metrik olarak gösterelim. $SU(n+1)$ grubunun $S^{2n+1}$ üzerindeki kanonik eylemi izometrilerledir ve $S^1$ eylemi ile komüte eder. Dolayısıyla, $SU(n+1) \times S^1$ grubu $S^{2n+1}$ üzerinde izometrilerle etki eder. $(S^{2n+1}, g_t)$'nin, Fubini-Study metriği tarafından indüklenen metrikle $\mathbb{CP}^{n+1}$ üzerindeki mesafe küreleri (distance spheres) olarak düşünülebileceği bilinmektedir. $t \le \frac{n+1}{2n}$ için bunlara Berger küreleri denir. Ayrıntılar için [17]'ye başvurulabilir. $SU(n+1) \times S^1$'in $TS^{2n+1}$ üzerindeki eylemi katlılıksızdır. Uygun bir zincir seçilerek, Thimm yönteminden $(S^{2n+1}, g_t)$ üzerindeki jeodezik akışın tam entegre edilebilir olduğu sonucu çıkar. Lemma 4.1 gereği, tüm integraller $S^1$ eylemi altında invaryanttır. O halde Önerme 4.2, tüm reel $t$ değerleri için $M = S^{2n+1} \times_{S^1} N$ üzerindeki jeodezik akışın tam entegre edilebilir olduğunu gösterir. Eğer $N = S^2$ alırsak, karşılık gelen $M$, $\mathbb{CP}^{n+1} \# -\mathbb{CP}^{n+1}$ manifolduna difeomorfiktir. Eğer $N$ Öklid 2-uzayı ise, $M$, $\mathbb{CP}^n$'nin $\mathbb{CP}^{n+1}$ içindeki normal demetidir.
Örnek 4.5 $G_{n-1,2}(\mathbb{R}) = SO(n+1)/SO(n-1) \times SO(2)$, $(n+1)$-uzayındaki 2-düzlemlerin Grassmann manifoldunu göstersin. $S^1$'in $SO(n+1)/SO(n-1)$ üzerinde sağdan ötelemelerle etki ettiği $S^1 \to SO(n+1)/SO(n-1) \to G_{n-1,2}(\mathbb{R})$ liflemesini ele alalım. Bölüm 2'nin sonunda belirtildiği gibi, $SO(n+1) \times S^1$'in $SO(n+1)/SO(n-1)$'in teğet demeti üzerindeki eylemi katlılıksızdır. $SO(n+1)/SO(n-1)$ üzerinde normal homojen metrikten, $S^1$ yörüngelerine teğet yönlerde $t^2$ ile çarparak elde edilen $g_t$ metriklerini ele alalım. Böylece, tüm reel $t$ değerleri için $M = SO(n+1)/SO(n-1) \times_{S^1} N$ üzerindeki jeodezik akışın tam entegre edilebilir olduğunu çıkarsamak için Örnek 4.4'teki gibi argüman sunabiliriz. Eğer $N$ 2-küre ise, $M$, $G_{n-1,2}(\mathbb{R})$ Grassmann manifoldu üzerinde bir küre demetidir.
Örnek 4.6 Sırada Eschenburg örnekleri [4] üzerindeki yüzey demetlerini ele alalım (aşağıda Eschenburg örneklerinin kendilerini tartışacağız). Standart çift-invaryant metriği ile donatılmış $SU(3)$ grubunu ele alalım ve $SU(3) \times SU(3)$, $SU(3)$ üzerinde $(g_1, g_2)x = g_1 x g_2^{-1}$ ile etki etsin. $k, l, p, q$ aralarında asal tamsayılardan oluşan bir küme olsun. $SU(3) \times SU(3)$'ün 1-parametreli bir alt grubunu şu şekilde tanımlayalım:
$$U_{klpq} = \{\exp 2\pi i t(\text{diag}(k, l, -k-l), \text{diag}(p, q, -p-q)) \mid t \in \mathbb{R}\}.$$
Belirli $k, l, p$ ve $q$ seçimleri için $U_{klpq}$'nun $SU(3)$ üzerindeki eylemi sabit noktasızdır, özellikle de $(1, -1, 2m, 2m)$ dörtlüsü için [4, Önerme 21].
Aşağıdaki yükselen alt gruplar zincirini ele alalım: $\{1\} \times U(1) \subset U(1) \times U(1) \subset U(1) \times U(2) \subset U(2) \times U(2) \subset U(2) \times SU(3) \subset SU(3) \times SU(3)$ olup burada $U(1)$ ve $U(2)$, matristeki $(3,3)$ girdisi bariz bir şekilde ayarlanarak $SU(3)$ içine gömülmüştür. $(1, \exp 2\pi i t \text{ diag}(2m, 2m, -4m))$ ve $(\exp 2\pi i t \text{ diag}(1, -1, 0), 1)$ elemanlarının, bu zincirdeki herhangi bir alt gruba ait olduğunu veya onu merkezlediğini unutmayın. Böylece, $TSU(3)$ üzerindeki tüm birinci integraller bu 1-parametreli alt grup altında ve dolayısıyla $U_{1,-1,2m,2m}$ altında invaryanttır.
Son önermeden, submersiyon metriği ile donatılmış $M_m = SU(3) \times_{U_{1,-1,2m,2m}} N$ manifoldunun tam entegre edilebilir bir jeodezik akışı desteklediğini çıkarırız. Eğer $N$ 2-küre ise, $M_m$, Eschenburg'un güçlü bir şekilde homojen olmayan 7-boyutlu $SU(3)/U_{1,-1,2m,2m}$ manifoldu üzerinde bir küre demetidir. Bu uzaylar [14]'te incelenmiştir. Metrik olarak daha yüksek rütbeye (higher rank) sahiptirler ve topolojik olarak güçlü bir şekilde homojen olmayan ve indirgenemez yapıdadırlar ([14, Önerme 4.2 ve 4.6]).
Son olarak, Önerme 4.2'de kullanılan çarpım tipine sahip olmayan bazı submersiyonları inceleyelim. Ancak bu bölümün başından beri Thimm integrallerinin invaryansına ilişkin yapılan gözlemler hala büyük önem taşımaktadır. Ne yazık ki, gerekli hesaplamalar çok daha karmaşık hale gelmektedir.
$$\begin{aligned} f_1 &= i \text{ tr}(\xi) \circ \text{pr}_{u(1)} \circ \text{pr}_1 \\ f_2 &= i \text{ tr}(\xi) \circ \text{pr}_{u(2)} \circ \text{pr}_1 \\ f_3 &= \text{tr}(\xi^2) \circ \text{pr}_{u(2)} \circ \text{pr}_1 \\ f_4 &= \text{tr}(\xi^2) \circ \text{pr}_1 \\ f_5 &= i \text{ tr}(\xi^3) \circ \text{pr}_1 \\ f_6 &= i \text{ tr}(\xi) \circ \text{pr}_{u(1)} \circ \text{pr}_2 \\ f_7 &= i \text{ tr}(\xi) \circ \text{pr}_{u(2)} \circ \text{pr}_2 \\ f_8 &= \text{tr}(\xi^2) \circ \text{pr}_{u(2)} \circ \text{pr}_2. \end{aligned}$$
Örnek 4.7 Burada Eschenburg örneklerinin kendilerini inceleyeceğiz. $U_{klpq}$, Örnek 4.6'daki $SU(3) \times SU(3)$'ün 1-parametreli alt grubu olsun ve $SU(3)$'ü çift-invaryant bir metrikle donatalım. Aşağıda, tüm $m$ değerleri için, submersiyon metriği ile donatılmış $E_m \stackrel{\text{def}}{=} SU(3)/U_{1,-1,2m,2m}$ Eschenburg manifoldunun jeodezik akışının tam entegre edilebilir olduğunu göstereceğiz. Eschenburg'un gösterdiği gibi, bu, güçlü bir şekilde homojen olmayan bir manifoldun başka bir örneğidir [4]. Ayrıca $m = 0$ için bir Wallach manifoldu elde ettiğimize dikkat edin [16].
Sadelik adına $U = U_{1,-1,2m,2m}$ olarak ayarlayalım. $\Phi: TSU(3) \to \mathfrak{su}(3) + \mathfrak{su}(3)$ ile $SU(3) \times SU(3)$'ün $TSU(3)$ teğet demeti üzerindeki eyleminin moment dönüşümünü gösterelim. Örnek 4.6'da olduğu gibi, $\{1\} \times U(1) \subset U(1) \times U(1) \subset U(1) \times U(2) \subset U(2) \times U(2) \subset U(2) \times SU(3) \subset SU(3) \times SU(3)$ yükselen alt gruplar zincirini kullanıyoruz. $\text{pr}_1$ ve $\text{pr}_2$, $\mathfrak{su}(3) + \mathfrak{su}(3)$'ün sırasıyla birinci ve ikinci bileşene olan projeksiyonlarını göstersin. $\text{pr}_{u(i)}$ ile $\mathfrak{su}(3)$'ün $\mathfrak{u}(i)$'ye olan dik izdüşümünü gösterelim. Ayrıca her zamanki gibi $\mathfrak{su}(3)^*$ ile $\mathfrak{su}(3)$'ü Cartan-Killing formu vasıtasıyla özdeşleştirelim. O halde $TSU(3)$ üzerindeki Thimm fonksiyonları, aşağıdaki fonksiyonların moment dönüşümü altında $\mathfrak{su}(3) + \mathfrak{su}(3)$ üzerindeki geri çekilmiş halleridir:
Örnek 4.6'da olduğu gibi, $TSU(3)$ üzerindeki tüm Thimm integralleri $f_i \circ \Phi$, $U$ altında invaryanttır ve dolayısıyla $TE_m$ üzerinde Poisson-komüte eden $\tilde{f}_i$ fonksiyonlarını indükler.
Şimdi bu fonksiyonlardan yedisinin, yani $\tilde{f}_2, \ldots, \tilde{f}_8$ fonksiyonlarının bağımsızlığını gösterelim. İlk olarak, reel analitiklik nedeniyle bu fonksiyonların bağımsızlığını sadece bir noktada kurmamızın yeterli olduğunu belirtelim.
$H$, $TSU(3)$ üzerindeki yatay vektörlerin kümesini göstersin. $\Phi_U$, $U$'nun $TSU(3)$ üzerindeki eyleminin moment dönüşümü olmak üzere $H = \Phi_U^{-1}(0)$ olduğunu hatırlayalım.
İlk önce problemi Lie cebirindeki bir hesaplamaya indirgeyeceğiz. $\tilde{f}_i$, $i = 2, \ldots, 8$ fonksiyonlarının, bir $\hat{v} \in H$ vektörünün $\pi$ vasıtasıyla projeksiyonu olan $v$ noktasında, $T_v E_m$ üzerinde $\sum_{i=2}^8 c_i d\tilde{f}_i = 0$ şeklinde bir ilişkiyle bağımlı olduğunu varsayalım. O halde $\sum_{i=2}^8 c_i d(f_i \circ \Phi)$ 1-formu, çift teğet vektörlerin yatay kaldırılmış halleri üzerinde 0'dır. $f_i \circ \Phi$ fonksiyonları $U$-invaryant olduğundan, $\sum_{i=2}^8 c_i d(f_i \circ \Phi)$ 1-formu ayrıca $\hat{v}$'nün $U$-yörüngesine teğet olan vektörler üzerinde de 0'dır. Bu durum, $T_{\hat{v}}H$ üzerinde $\sum_{i=2}^8 c_i d(f_i \circ \Phi) = 0$ olduğunu gösterir. Şimdi $\Phi(H)$'nin $\Phi(\hat{v})$'nün bir komşuluğunda bir manifold olduğunu ve $\Phi(\hat{v})$'nün $\Phi: H \to \Phi(H)$'nin düzenli bir değeri olduğunu varsayalım. O halde, $f_i \circ \Phi$'nin $H$'ye kısıtlanışlarının $\hat{v}$ noktasındaki bir bağımlılığı, $H$'nin $\Phi$ altındaki görüntüsüne $f_i$'lerin kısıtlanışlarının $\Phi(\hat{v})$ noktasındaki bir bağımlılığını gerektirir. Lie cebirindeki bir hesaplamaya yapılan indirgeme budur.
Sırada $\Phi(H)$'yi belirlemek var. İlk olarak $\Phi$'nin kendisini açıklayalım. Her zamanki gibi $T_1 SU(3)$ ile $\mathfrak{su}(3)$'ün $\mathfrak{su}(3) \times \mathfrak{su}(3)$ içine köşegenel gömülüşü $\Delta \mathfrak{su}(3)$'ün dik tümleyenini, yani $\{(X, -X) \mid X \in \mathfrak{su}(3)\}$ kümesini özdeşleştirelim. O halde $T_1 SU(3)$ içindeki bir $(X, -X)$ vektörünün ötelemesi altındaki moment dönüşümünün değeri için aşağıdaki formüle sahibiz.
Daha sonra, $i: \mathfrak{u} \to \mathfrak{su}(3) + \mathfrak{su}(3)$ eylemin $\mathfrak{su}(3) + \mathfrak{su}(3)$ içine $U$'nun Lie cebiri $\mathfrak{u}$'nun gömülüşünü göstermek üzere $\Phi_U = i^* \circ \Phi$ olduğuna dikkat edin. Böylece, $TSU(3)$ içindeki yatay vektörler $H = \Phi_U^{-1}(0) = \Phi^{-1}(\mathfrak{u}^\perp)$ ön-görüntüsüdür. Buradan $H$'nin $\Phi$ altındaki görüntüsü şöyledir:
$$\Phi(H) = R \cap \mathfrak{u}^\perp.$$
Şimdi, $f_2, \ldots, f_8$'in $\Phi(H)$'ye kısıtlanışlarının $p \in \Phi(H)$ noktasındaki bağımsızlığını gösteren hesaplamaların bir taslağını verelim; burada $p = (P, -P)$ olup:
$$P = \begin{pmatrix} 0 & 2 & 1 \\ -2 & 0 & it \\ -1 & it & 0 \end{pmatrix}$$
olarak verilir. $R \cap \mathfrak{u}^\perp$ manifoldunun $p$ civarında bir manifold olduğunu ve $p$'nin $\Phi$'nin düzenli bir değeri olduğunu göstermek kolaydır. $T_p(R \cap \mathfrak{u}^\perp)$ üzerinde şu ifadenin geçerli olduğunu varsayalım:
$$\sum_{i=2}^8 c_i df_i = 0. \tag{*}$$
$T_p(R \cap \mathfrak{u}^\perp)$ içinde, katsayılar $c_i$ arasında çeşitli ilişkileri zorlayan ve sonunda onları 0 olmaya zorlayan birkaç teğet vektör göstereceğiz.
- $P_1^t$ şu şekilde olmak üzere $p_1^t = (P_1^t, -P_1^t)$ olarak ayarlayalım:
$$P_1^t = \begin{pmatrix} 0 & 2 & 1+t \\ -2 & 0 & 0 \\ -1-t & 0 & 0 \end{pmatrix}.$$
O halde $p_1^t \in R \cap \mathfrak{u}^\perp$ elde edilir. $P_1^t$'nin aşikar olmayan $\text{pr}_{u(i)}$ projeksiyonları sabit olduğundan, $v_1 = \frac{d}{dt}\big|_{t=0} p_1^t$ üzerinde sadece $df_4$ ve $df_5$ sıfırdan farklı olabilir. $P_1^t$'nin özdeğerleri $0$, $\sqrt{-4-(1+t)^2}$ ve $-\sqrt{-4-(1+t)^2}$'dir. Buradan $df_5(v_1) = 0$, $df_4(v_1) \neq 0$ ve dolayısıyla $c_4 = 0$ elde ederiz.
- $P_2^t$ şu şekilde olmak üzere $p_2^t = (P_2^t, -P_2^t)$ olarak ayarlayalım:
$$P_2^t = \begin{pmatrix} 0 & 2 & 1 \\ -2 & 0 & it \\ -1 & it & 0 \end{pmatrix}.$$
$P_2^t$'nin özdeğerleri şu denklemin çözümleridir:
$$-\lambda^3 - \lambda(t^2+5) - 4it = 0.$$
Buradan $f_5(p_2^t) = -i(\text{tr}(P_2^t)(t^2+5) - 12it) = -12t$ elde edilir. Yukarıdaki gibi ve $c_4 = 0$ olduğundan $c_5 = 0$ sonucuna varırız.
- $s(t) = \sqrt{(t+2)^2-3}$ olsun ve $P_3^t$ ile $Q_3^t$ şu şekilde olmak üzere $p_3^t = (P_3^t, -Q_3^t)$ ayarlayalım:
$$P_3^t = \begin{pmatrix} 0 & 2+t & 1 \\ -2-t & 0 & 0 \\ -1 & 0 & 0 \end{pmatrix} \quad \text{ve} \quad Q_3^t = \begin{pmatrix} 0 & 2 & s(t) \\ -2 & 0 & 0 \\ -s(t) & 0 & 0 \end{pmatrix}.$$
Özdeğerlerin hesaplanması, $p_3^t \in R \cap \mathfrak{u}^\perp$ olduğunu ve $\frac{d}{dt}\big|_{t=0} p_3^t$ vektörüne uygulandığında $(*)$ içinde sadece $df_3$'ün sıfırdan farklı bir katkı verdiğini gösterir. Buradan $c_3 = 0$ elde ederiz.
$p_4^t = (Q_3^t, -P_3^t)$ eğrisini ele alarak $c_8 = 0$ olduğunu buluruz.
$A$ şu şekilde olmak üzere $p_5^t = (P, -\text{Ad}(\exp tA)(P))$ olarak ayarlayalım:
$$A = \begin{pmatrix} 0 & i & 0 \\ i & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}.$$
Açıkça, $\text{id} \times A$ elemanı $\mathfrak{u}$ ile komüte ettiğinden $p_5^t$, $R \cap \mathfrak{u}^\perp$ içinde yer alır. Şuna sahip olduğumuzdan:
$$[A, P] = \begin{pmatrix} -4i & 0 & 0 \\ 0 & 4i & i \\ 0 & i & 0 \end{pmatrix},$$
$df_6(\frac{d}{dt}\big|_{t=0} p_5^t) \neq 0$ iken $df_2(\frac{d}{dt}\big|_{t=0} p_5^t) = df_7(\frac{d}{dt}\big|_{t=0} p_5^t) = 0$ elde ederiz. Bu durum $c_6 = 0$ olduğunu gösterir.
- $P_6^t$ şu şekilde olmak üzere $p_6^t = (P_6^t, -P_6^t)$ olsun:
$$P_6^t = \begin{pmatrix} t & 2 & 1 \\ -2 & -6m-1 & (6m+1)t \\ -1 & (6m+1)t & 6m+1 \end{pmatrix}.$$
$p_6^t \in R \cap \mathfrak{u}^\perp$ olduğunu ve ardından $c_2 = c_7$ olduğunu kolayca görürüz.
- $c_2 = c_7 \neq 0$ olduğunu varsayalım. O halde $T_p(R \cap \mathfrak{u}^\perp)$ üzerinde $df_2 = -df_7$ elde edilir. Şuna dikkat edin:
$$\left(\exp t \begin{pmatrix} 0 & i & 0 \\ i & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} P, -P\right) \in R.$$
Bu eğrinin 0 noktasındaki $v$ teğet vektörü şu şekilde verilir:
$$v = \left(\begin{pmatrix} -4i & 0 & 0 \\ 0 & 4i & i \\ 0 & i & 0 \end{pmatrix}, 0\right) = \left(\left[\begin{pmatrix} 0 & i & 0 \\ i & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}, P\right], 0\right).$$
Böylece $v$, $\mathfrak{u}$'ya dik değilken $df_2(v) = df_7(v) = 0$ elde edilir. Dolayısıyla, $T_p(R \cap \mathfrak{u}^\perp) + \mathbb{R}v = T_p R$ üzerinde $df_2 = -df_7$ elde edilir.
Diğer taraftan, $R$ içindeki şu eğriyi ele alalım:
$$\left(\exp t \begin{pmatrix} 0 & 0 & i \\ 0 & 0 & 0 \\ i & 0 & 0 \end{pmatrix} P, -P\right).$$
Bunun 0 noktasındaki $w$ teğet vektörü şudur:
$$w = \left(\begin{pmatrix} -2i & 0 & 0 \\ 0 & 0 & 2i \\ 0 & 2i & 2i \end{pmatrix}, 0\right) = \left(\left[\begin{pmatrix} 0 & 0 & i \\ 0 & 0 & 0 \\ i & 0 & 0 \end{pmatrix}, P\right], 0\right).$$
Açıkça $df_2(w) \neq df_7(w)$ elde ederiz ki bu bir çelişkidir. Dolayısıyla $c_2 = c_7 = 0$ elde ederiz ve $f_2, \ldots, f_8$ h.h.y. bağımsızdır.
Submersiyon yönteminin son bir uygulaması olarak, egzotik bir küre üzerinde tam entegre edilebilir jeodezik akışa sahip bir Riemannian metriği inşa ediyoruz. Yine söz konusu submersiyon çarpım tipinde değildir. İntegrallerin kendileri hem bir Thimm inşası ile birleştirilmiş submersiyon yönteminden hem de bu egzotik kürenin izometri grubundan kaynaklanmaktadır.
Örnek 4.8 Gromoll ve Meyer tarafından [7]'de inşa edilen egzotik 7-küre $\Sigma$'yı ele alalım. Bu küre, $Sp(2)$'nin aşağıdaki $Sp(1)$ eylemine göre bir bikotienti (biquotient) olarak ortaya çıkar. $q \in Sp(1)$ ve $Q \in Sp(2)$ için şu şekilde tanımlayalım:
$$(q, Q) \mapsto \begin{pmatrix} q & 0 \\ 0 & 1 \end{pmatrix} Q \begin{pmatrix} \bar{q} & 0 \\ 0 & \bar{q} \end{pmatrix}$$
burada $\bar{q}$, $q$'nun karmaşık eşleniğini gösterir. Bu aynı zamanda $Sp(1)$'in $Sp(2) \times Sp(2)$ içine bir $U$ gömülüşünü tanımlar. $Sp(2)$ içindeki kanonik $O(2)$'nin, $Sp(1)$'in sağ eylemi ile komüte ettiğini, bariz bir $Sp(1)$'in ise sol eylemle komüte ettiğini unutmayın. $\Sigma$'ya, $Sp(2)$ üzerindeki çift-invaryant metrik tarafından belirlenen submersiyon metriğini veriyoruz.
Temel argüman Örnek 4.7'deki ile hemen hemen aynıdır. Yine, $\Phi: TSp(2) \to \mathfrak{sp}(2) + \mathfrak{sp}(2)$, $Sp(2) \times Sp(2)$'nin $TSp(2)$ teğet demeti üzerindeki eyleminin moment dönüşümünü göstersin. $\text{pr}_1$ ve $\text{pr}_2$, $\mathfrak{sp}(2) + \mathfrak{sp}(2)$'nin sırasıyla birinci ve ikinci bileşene olan projeksiyonlarını göstersin. Ayrıca bir $\mathfrak{h} \subset \mathfrak{sp}(2)$ alt cebirine olan dik izdüşümü $\text{pr}_{\mathfrak{h}}$ ile gösterelim. $\mathfrak{sp}(2)$'yi $\mathfrak{u}(4)$ içine kanonik olarak gömüyoruz. O halde karmaşık değerli izleri kullanarak $\mathfrak{sp}(2) + \mathfrak{sp}(2)$ üzerinde aşağıdaki fonksiyonları tanımlıyoruz:
$$\begin{aligned} f_1 &= \text{tr}(\xi^2) \circ \text{pr}_{\mathfrak{sp}(1) \times 1} \circ \text{pr}_1 \\ f_2 &= \text{tr}(\xi^2) \circ \text{pr}_{\mathfrak{so}(2)} \circ \text{pr}_2 \\ f_3 &= \text{tr}(\xi^4) \circ \text{pr}_{\mathfrak{sp}(1) \times \mathfrak{sp}(1)} \circ \text{pr}_1 \\ f_4 &= \text{tr}(\xi^2) \circ \text{pr}_1 \\ f_5 &= \text{tr}(\xi^4) \circ \text{pr}_1 \\ f_6 &= \text{tr}(\xi^2) \circ \text{pr}_{1 \times l} \circ \text{pr}_1 \\ f_7 &= \text{tr}(\xi^2) \circ \text{pr}_{\mathfrak{sp}(1) \times \mathfrak{sp}(1)} \circ \text{pr}_2 \end{aligned}$$
burada $\mathfrak{so}(2)$, yukarıdaki kanonik $O(2)$'nin Lie cebirine atıfta bulunurken, $l$ ise $\begin{pmatrix} 0 & 0 \\ 0 & k \end{pmatrix}$ tarafından üretilen $\mathfrak{sp}(1)$'in alt cebirine atıfta bulunur.
Bu fonksiyonların hepsi, $\mathfrak{sp}(2) + \mathfrak{sp}(2)$'ye geri çekilmiş bazı alt cebirler üzerindeki invaryant fonksiyonlardır. Bu alt cebirler, Thimm'in argümanında olduğu gibi ya birbirlerinin içinde yer alırlar ya da birbirleriyle komüte ederler. Bunların hepsinin Poisson anlamında komüte ettiği kolayca görülür. $f_2$ ve $f_6$'nın sadece izometri grubundan gelen birinci integraller olduğuna dikkat edin. Ayrıca tüm bu fonksiyonların $U$'nun eşlenik eylemi altında invaryant olduğuna dikkat edin. Dolayısıyla, bunların $\Phi$ altında $TSp(2)$'ye geri çekilmiş halleri, $Sp(1)$'in $Sp(2)$ üzerindeki eylemi altında invaryanttır ve bu nedenle $T\Sigma$ üzerinde $\tilde{f}_i$, $i = 1, \ldots, 7$ fonksiyonlarına inerler. Örnek 4.7'de olduğu gibi, bir yatay $\hat{v}$ vektörünün projeksiyonunda $\tilde{f}_i$'lerin bağımsızlığı, $\mathfrak{u}$, $U$'nun Lie cebiri ve $R = \{(X, Y) \mid X \text{, } -Y\text{'ye eşleniktir}\}$ olmak üzere $\Phi(\hat{v})$ civarında $f_1, \ldots, f_7$'nin $R \cap \mathfrak{u}^\perp$ üzerine kısıtlanışlarının bağımsızlığına eşdeğerdir. Burada $\Phi(\hat{v})$'nün $\Phi: H \to \Phi(H)$'nin düzenli bir değeri olduğunu ve $R \cap \mathfrak{u}^\perp$'ın $\Phi(\hat{v})$ civarında bir manifold olduğunu varsayıyoruz.
Şimdi, $R \cap \mathfrak{u}^\perp$ içinde bir $p$ noktası ve $f_1, \ldots, f_7$'nin bağımsızlığını gösteren $T_p(R \cap \mathfrak{u}^\perp)$ içindeki teğet vektörleri belirteceğiz.
Let
$$F(t) = \begin{pmatrix} \cos \pi t & \sin \pi t \\ -\sin \pi t & \cos \pi t \end{pmatrix} \quad \text{ve} \quad G(t) = \begin{pmatrix} 1 & 0 \\ 0 & \cos \pi t + j \sin \pi t \end{pmatrix}$$
olsun; burada $1, i, j$ ve $k = ij$ kuaterniyonların standart bazıdır. $Q \stackrel{\text{def}}{=} F(\frac{1}{3})G(\frac{1}{4})$ ve
$$P \stackrel{\text{def}}{=} \begin{pmatrix} 2i & -2j & \frac{-149+18\sqrt{2}}{\sqrt{3}}k \\ 1+3i+2j-3k & -1+3i+2j-3k \\ 5i + (6+\sqrt{2})j + \frac{26}{\sqrt{3}}k \end{pmatrix}$$
olarak tanımlayalım. $Q^*$, $Q$'nun eşlenik transpozesi olmak üzere $R = QPQ^*$ olarak tanımlayalım ve $p = (R, P)$ olarak ayarlayalım. O halde $p \in R \cap \mathfrak{u}^\perp$ elde edilir. $p$'nin $\Phi$'nin düzenli bir değeri olduğunu, $R$ ve $\mathfrak{u}^\perp$'ın $p$ noktasında enlemsel olarak (transversally) kesiştiğini ve $R \cap \mathfrak{u}^\perp$'ın $p$ civarında bir manifold olduğunu kontrol edebiliriz.
Sırada $T_p(R \cap \mathfrak{u}^\perp)$ içindeki ilgili teğet vektörlerini listelemek var. Aşağıdaki matrislere ihtiyacımız var:
$$\begin{aligned} D_1 &\stackrel{\text{def}}{=} \begin{pmatrix} 0 & j \\ j & 0 \end{pmatrix} \\ D_2 &\stackrel{\text{def}}{=} \begin{pmatrix} 0 & k \\ k & 0 \end{pmatrix} \\ D_3 &\stackrel{\text{def}}{=} \begin{pmatrix} i & 0 \\ 0 & 0 \end{pmatrix} \\ D_4 &\stackrel{\text{def}}{=} \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} \\ D_5 & \end{aligned}$$