Bass-Serre teorisi - Bass–Serre theory - Wikipedia

Bass-Serre teorisi bir parçası matematiksel konusu grup teorisi cebirsel yapısını analiz etmekle ilgilenen grupları oyunculuk basit üzerine otomorfizmler tarafından ağaçlar. Teori, ağaçlardaki grup eylemlerini ayrıştıran gruplarla, işlemlerin yinelenen uygulamaları olarak ilişkilendirir. birleştirme ile ücretsiz ürün ve HNN uzantısı kavramı üzerinden a'nın temel grubu grupların grafiği. Bass-Serre teorisi, tek boyutlu bir versiyonu olarak kabul edilebilir. orbifold teorisi.

Tarih

Bass-Serre teorisi, Jean-Pierre Serre 1970'lerde ve Ağaçlar, Serre'nin 1977 monografisi ( Hyman Bass ) Konuyla ilgili.[1][2] Serre'nin orijinal motivasyonu, belirli bir kişinin yapısını anlamaktı. cebirsel gruplar kimin Bruhat – Göğüs binaları ağaçlardır. Bununla birlikte, teori hızla standart bir araç haline geldi geometrik grup teorisi ve geometrik topoloji özellikle çalışma 3-manifoldlar. Bass'ın müteakip çalışması[3] teorinin temel araçlarının biçimlendirilmesine ve geliştirilmesine önemli ölçüde katkıda bulunmuştur ve şu anda "Bass-Serre teorisi" terimi, konuyu tanımlamak için yaygın olarak kullanılmaktadır.

Bass-Serre teorisi matematiksel olarak iki eski grup teorik yapısının özelliklerini kullanmaya ve genellemeye dayanır: birleştirme ile ücretsiz ürün ve HNN uzantısı. Bununla birlikte, bu iki yapının geleneksel cebirsel çalışmasından farklı olarak, Bass-Serre teorisi şu geometrik dili kullanır: kaplama teorisi ve temel gruplar. Grupların grafikleriBass-Serre teorisinin temel nesneleri olan, tek boyutlu versiyonları olarak görülebilir. orbifoldlar.

Serre'nin kitabının dışında,[2] Bass-Serre teorisinin temel tedavisi Bass'ın makalesinde mevcuttur.[3] makalesi G. Peter Scott ve C. T. C. Duvar[4] ve kitapları Allen Hatcher,[5] Gilbert Baumslag,[6] Warren Dicks ve Martin Dunwoody[7] ve Daniel E. Cohen.[8]

Temel kurulum

Serre anlamında grafikler

Serre'nin biçimciliği grafikler standart biçimcilikten biraz farklıdır grafik teorisi. İşte bir grafik Bir den oluşur köşe kümesi V, bir kenar seti E, bir kenar ters çevirme harita öyle ki ee ve her biri için e içinde E, ve bir ilk köşe haritası . Böylece Bir her kenar e ile donatılmış olarak gelir biçimsel ters e. Tepe Ö(e) denir Menşei ya da ilk köşe nın-nin e ve tepe Ö(e) denir son nın-nin e ve gösterilir t(e). Her iki döngü kenarı (yani kenarlar e öyle ki Ö(e) = t(e)) ve çoklu kenarlar izin verilir. Bir oryantasyon açık Bir bir bölümü E iki ayrık alt kümenin birleşimine E+ ve E böylece her yön için e çiftten tam olarak biri e, e ait olmak E+ ve diğeri ait E.

Grupların grafikleri

Bir grupların grafiği Bir aşağıdaki verilerden oluşur:

  • Bağlı bir grafik Bir;
  • Bir ödev köşe grubu Birv her köşeye v nın-nin Bir.
  • Bir ödev kenar grubu Bire her köşeye e nın-nin Bir böylece sahip olduk her biri için e ∈ E.
  • Sınır monomorfizmleri tüm kenarlar için e nın-nin Bir, böylece her αe bir enjekte edici grup homomorfizmi.

Her biri için harita şununla da gösterilir: .

Grup grafiğinin temel grubu

Bir grup grafiğinin temel grubu kavramının iki eşdeğer tanımı vardır: birincisi, açık bir şekilde doğrudan cebirsel bir tanımdır. grup sunumu (belirli bir yinelenen uygulaması olarak birleştirilmiş ücretsiz ürünler ve HNN uzantıları ) ve ikincisi dilini kullanarak grupoidler.

Cebirsel tanımın ifade edilmesi daha kolaydır:

Önce bir seçin yayılan ağaç T içinde Bir. Temel grubu Bir göre T, belirtilen π1(Bir, T), bölümü olarak tanımlanır bedava ürün

nerede F(E) bir ücretsiz grup ücretsiz olarak E, aşağıdaki ilişkilere tabidir:

  • her biri için e içinde E ve hepsi . (Sözde Bass-Serre ilişkisi.)
  • ee = Her biri için 1 e içinde E.
  • e = 1 her kenar için e yayılan ağacın T.

Bir de temel grup kavramı vardır. Bir bir taban tepe noktasına göre v içinde V, belirtilen π1(Bir, v), biçimselliği kullanılarak tanımlanan grupoidler. Her temel tepe noktası seçimi için v ve yayılan her ağaç T içinde Bir gruplar π1(Bir, T) ve π1(Bir, v) doğal olarak izomorf.

Bir grup grafiğinin temel grubu, aynı zamanda doğal bir topolojik yoruma sahiptir: boşluk grafiği köşe boşlukları ve kenar uzayları sırasıyla köşe gruplarının ve kenar gruplarının temel gruplarına sahip olan ve yapıştırma haritaları kenar gruplarının homomorfizmlerini köşe gruplarına indükler. Dolayısıyla, bunu bir grup grafiğinin temel grubunun üçüncü bir tanımı olarak alabiliriz.

Birleştirilmiş ürünlerin ve HNN uzantılarının yinelemeleri olarak grupların temel grafik grupları

Grup G = π1(Bir, T) yukarıda tanımlanan yinelemeli cebirsel açıklamayı kabul eder. birleştirilmiş ücretsiz ürünler ve HNN uzantıları. Önce bir grup oluşturun B ücretsiz ürünün bir bölümü olarak

ilişkilere tabi

  • e−1αe(g)e = ωe(g) her biri için e içinde E+T ve hepsi .
  • e = Her biri için 1 e içinde E+T.

Bu sunum şu şekilde yeniden yazılabilir:

bunu gösterir B yinelenen birleştirilmiş ücretsiz ürün köşe gruplarının Birv.

Sonra grup G = π1(Bir, T) sunuma sahip

bunu gösterir G = π1(Bir, T) bir çoklu HNN uzantısı nın-nin B sabit harflerle .

Bölmeler

Bir grup arasında bir izomorfizm G ve bir grup grafiğinin temel grubuna a bölme nın-nin G. Bölmedeki kenar grupları, belirli bir grup sınıfından (örneğin, sonlu, döngüsel, değişmeli, vb.) Geliyorsa, bölmenin bir bölmek o sınıf. Bu nedenle, tüm kenar gruplarının sonlu olduğu bir bölmeye, sonlu gruplar üzerinden bölme denir.

Cebirsel olarak, bir bölünme G önemsiz kenar grupları ile serbest bir ürün ayrışmasına karşılık gelir

nerede F(X) bir ücretsiz grup ücretsiz olarak X = E+(BirT) tüm pozitif yönlendirilmiş kenarlardan oluşur (bazı yönelimlere göre Bir) bazı yayılan ağacın tamamında T nın-nin Bir.

Normal formlar teoremi

İzin Vermek g unsuru olmak G = π1(Bir, T) formun bir ürünü olarak temsil edilir

nerede e1, ..., en kapalı bir kenar yoludur Bir köşe dizisi ile v0, v1, ..., vn = v0 (yani v0=Ö(e1), vn = t(en) ve vben = t(eben) = Ö(eben+1) 0 için < ben < n) ve nerede için ben = 0, ..., n.

Farz et ki g = 1 inç G. Sonra

  • ya n = 0 ve a0 = 1 inç ,
  • veya n > 0 ve bazı 0 var < ben < n öyle ki eben+1 = eben ve .

Normal formlar teoremi hemen kanonik homomorfizmlerin Birv → π1(Bir, T) enjekte edicidir, böylece köşe gruplarını düşünebiliriz Birv alt grupları olarak G.

Higgins normal formun güzel bir versiyonunu temel grupoid bir grup grafiği.[9] Bu, bir temel nokta veya ağaç seçmekten kaçınır ve Moore tarafından istismar edilmiştir.[10]

Bass-Serre kaplama ağaçları

Grupların her grafiğine Bir, belirli bir temel tepe noktası seçimi ile, bir kişi bir Bass-Serre kaplama ağacı , doğal olarak donatılmış bir ağaç olan grup eylemi temel grubun π1(Bir, v) kenar inversiyonları olmadan. bölüm grafiği izomorfiktir Bir.

Benzer şekilde, if G bir ağaç üzerinde hareket eden bir grup X kenar ters çevirmeleri olmadan (yani, her kenar için e nın-nin X ve hepsi g içinde G sahibiz gee), doğal bir kavram olan bir grupların bölüm grafiği Bir. Temel grafik Bir nın-nin Bir bölüm grafiği X / G. Köşe grupları Bir köşe stabilizatörlerine izomorfiktir G köşelerinin X ve kenar grupları Bir izomorfiktir kenar stabilizatörleri G kenarlarının X.

Dahası, eğer X grupların bir grafiğinin Bass-Serre kaplama ağacıydı Bir ve eğer G = π1(Bir, v) sonra eylem için grupların bölüm grafiği G açık X doğal olarak izomorfik olarak seçilebilir Bir.

Bass-Serre teorisinin temel teoremi

İzin Vermek G bir ağaç üzerinde hareket eden bir grup olmak X inversiyon olmadan. İzin Vermek Bir bölüm ol grupların grafiği ve izin ver v temel nokta olmak Bir. Sonra G gruba izomorfiktir π1(Bir, v) ve ağaç arasında eşdeğer bir izomorfizm var X ve Bass-Serre kaplama ağacı . Daha doğrusu, bir grup izomorfizmi σ: G → π1(Bir, v) ve bir grafik izomorfizmi öyle ki her biri için g içinde G, her köşe için x nın-nin X ve her yön için e nın-nin X sahibiz j(gx) = g j(x) ve j(ge) = g j(e).

Yukarıdaki sonucun acil sonuçlarından biri, klasik Kurosh alt grup teoremi alt gruplarının cebirsel yapısını tanımlayan ücretsiz ürünler.

Örnekler

Amalgam içermeyen ürün

Grupların bir grafiğini düşünün Bir tek bir ilmeksiz kenardan oluşur e (biçimsel tersi ile birlikte e) iki farklı uç köşeli sen = Ö(e) ve v = t(e), köşe grupları H = Birsen, K = Birv, bir kenar grubu C = Bire ve sınır monomorfizmleri . Sonra T = Bir yayılan ağaç Bir ve temel grup π1(Bir, T) izomorfiktir birleştirilmiş ücretsiz ürün

Bu durumda Bass – Serre ağacı aşağıdaki gibi tanımlanabilir. Köşe kümesi X kümesidir kosetler

İki köşe gK ve fH bitişik X ne zaman varsa k ∈ K öyle ki fH = gkH (veya eşdeğer olarak, ne zaman varsa h ∈ H öyle ki gK = fhK).

G-her köşe noktasının stabilizörü X tip gK eşittir gKg−1 ve G-her köşe noktasının stabilizörü X tip gH eşittir gHg−1. Bir kenar için [gH, ghK] nın-nin X onun G-stabilizör eşittir ghα (C)h−1g−1.

Her biri için c ∈ C ve h ∈ 'k ∈ K ' kenarlar [gH, ghK] ve [gH, ghα (c)K] eşittir ve tepe noktası derecesi gH içinde X eşittir indeks [H: α (C)]. Benzer şekilde, her tür köşe noktası gK derecesi var [K: ω (C)] içinde X.

HNN uzantısı

İzin Vermek Bir tek bir döngü kenarından oluşan grupların bir grafiği olabilir e (biçimsel tersi ile birlikte e), tek bir köşe v = Ö(e) = t(e), bir köşe grubu B = Birv, bir kenar grubu C = Bire ve sınır monomorfizmleri . Sonra T = v yayılan ağaç Bir ve temel grup π1(Bir, T) izomorfiktir HNN uzantısı

temel grupla B, kararlı mektup e ve ilişkili alt gruplar H = α (C), K = ω (C) içinde B. Kompozisyon bir izomorfizmdir ve yukarıdaki HNN-uzatma sunumu G olarak yeniden yazılabilir

Bu durumda Bass – Serre ağacı aşağıdaki gibi tanımlanabilir. Köşe kümesi X kümesidir kosetler VX = {gB : gG}.

İki köşe gB ve fB bitişik X ne zaman varsa b içinde B öyle ki fB = gbeB veya fB = gbe−1B. G-her köşe noktasının stabilizatörü X eşleniktir B içinde G ve her köşesinin dengeleyicisi X eşleniktir H içinde G. Her köşesi X [B : H] + [B : K].

Grup yapısının önemsiz grafiğini içeren bir grafik

İzin Vermek Bir temel grafiğe sahip grupların bir grafiği olun Bir öyle ki tüm köşe ve kenar grupları Bir önemsiz. İzin Vermek v temel nokta olmak Bir. Sonra π1(Bir,v) eşittir temel grup π1(Bir,v) temel grafiğin Bir standart cebirsel topoloji anlamında ve Bass-Serre kaplama ağacında standarda eşittir evrensel kaplama alanı nın-nin Bir. Dahası, eylemi π1(Bir,v) üzerinde tam olarak standart eylemdir π1(Bir,v) üzerinde tarafından güverte dönüşümleri.

Temel gerçekler ve özellikler

  • Eğer Bir yayılan ağaca sahip grupların grafiğidir T ve eğer G = π1(Bir, T), sonra her köşe için v nın-nin Bir kanonik homomorfizm Birv -e G enjekte edici.
  • Eğer gG sonlu sıranın bir öğesidir, bu durumda g eşleniktir G bazı köşe gruplarında sonlu bir öğeye Birv.
  • Eğer FG sonlu bir alt grup ise F eşleniktir G bir köşe grubunun bir alt grubuna Birv.
  • Grafik Bir sonludur ve tüm köşe grupları Birv sonludur, sonra grup G dır-dir neredeyse bedava, yani, G sonlu dizinin serbest bir alt grubunu içerir.
  • Eğer Bir sonludur ve tüm köşe grupları Birv vardır sonlu oluşturulmuş sonra G sonlu olarak oluşturulur.
  • Eğer Bir sonludur ve tüm köşe grupları Birv vardır sonlu sunulmuş ve tüm kenar grupları Bire sonlu olarak üretilir G sonlu bir şekilde sunulur.

Önemsiz ve önemsiz eylemler

Grupların grafiği Bir denir önemsiz Eğer Bir = T zaten bir ağaç ve biraz tepe noktası var v nın-nin Bir öyle ki Birv = π1(Bir, Bir). Bu, şu koşula eşdeğerdir: Bir bir ağaç ve her kenarı için e = [senz] nın-nin Bir (ile Ö(e) = sen, t(e) = z) öyle ki sen daha yakın v -den z sahibiz [Birz : ωe(Bire)] = 1, yani Birz = ωe(Bire).

Bir grubun eylemi G Bir ağacın üstünde X kenar inversiyonsuz denir önemsiz bir tepe varsa x nın-nin X tarafından düzeltildi G, öyle ki Gx = x. Bir eylem olduğu bilinmektedir. G açık X önemsizdir ancak ve ancak bölüm grafiği Bu eylem için grup sayısı önemsizdir.

Tipik olarak, Bass-Serre teorisinde sadece ağaçlardaki önemsiz eylemler incelenmiştir çünkü grupların önemsiz grafikleri herhangi bir ilginç cebirsel bilgi taşımamaktadır, ancak yukarıdaki anlamdaki önemsiz eylemler (örneğin köklü ağaçlarda otomorfizmler yoluyla grupların eylemleri) için de ilginç olabilir. diğer matematiksel nedenler.

Teorinin klasik ve hala önemli sonuçlarından biri, Stallings teoremidir. biter grupların. Teorem, bir sonlu oluşturulmuş grup birden fazla uca sahiptir ancak ve ancak bu grup, sonlu alt gruplar üzerinde önemsiz olmayan bir bölünmeyi kabul ederse, yani, ancak ve ancak grup, sonlu kenar stabilizatörleri olan bir ağaç üzerinde inversiyon olmadan önemsiz olmayan bir eylemi kabul ederse.[11]

Teorinin önemli bir genel sonucu, eğer G ile bir grup Kazhdan'ın mülkü (T) sonra G hiçbir önemsiz bölmeyi, yani herhangi bir eylemi kabul etmez. G Bir ağacın üstünde X kenar inversiyonsuz global sabit bir tepe noktasına sahiptir.[12]

Hiperbolik uzunluk fonksiyonları

İzin Vermek G bir ağaç üzerinde hareket eden bir grup olmak X kenar ters çevirmeleri olmadan.

Her biri için gG koymak

Sonra X(g) denir çeviri uzunluğu nın-nin g açık X.

İşlev

denir hiperbolik uzunluk işlevi ya da çeviri uzunluğu işlevi eylemi için G açık X.

Hiperbolik uzunluk fonksiyonlarıyla ilgili temel gerçekler

  • İçin g ∈ G tam olarak aşağıdakilerden biri:
(a) X(g) = 0 ve g bir tepe noktasını düzeltir G. Bu durumda g denir eliptik öğesi G.
(b) X(g)> 0 ve içinde benzersiz bir çift sonsuz gömülü hat var X, aradı eksen nın-nin g ve gösterildi Lg hangisi gdeğişken. Bu durumda g Üzerinde davranır Lg büyüklük çevirisi ile X(g) ve eleman g ∈ G denir hiperbolik.
  • Eğer X(G) ≠ 0 ise benzersiz bir minimum var G-invariant alt ağaç XG nın-nin X. Dahası, XG hiperbolik elemanların eksenlerinin birleşimine eşittir G.

Uzunluk fonksiyonu X : GZ olduğu söyleniyor değişmeli eğer bir grup homomorfizmi itibaren G -e Z ve değişmeli olmayan aksi takdirde. Benzer şekilde eylemi G açık X olduğu söyleniyor değişmeli ilişkili hiperbolik uzunluk fonksiyonu değişmeli ise ve değişmeli olmayan aksi takdirde.

Genel olarak, bir eylem G Bir ağacın üstünde X kenar çevirmelerinin olmadığı söylenir en az uygun değilse G-değişmeyen alt ağaçlar X.

Teorideki önemli bir gerçek, minimum değişmeli olmayan ağaç eylemlerinin, hiperbolik uzunluk fonksiyonları tarafından benzersiz bir şekilde belirlendiğini söylüyor:[13]

Teklik teoremi

İzin Vermek G ağaçlarda kenar dönüşü olmayan iki asgari eylemi olan bir grup olmak X ve Y. Hiperbolik uzunluk fonksiyonlarının X ve Y açık G eşittir, yani X(g) = Y(g) her biri için g ∈ G. Sonra eylemler G açık X ve Y olması anlamında eşittir grafik izomorfizmi f : X → Y hangisi G-eğişken, yani f(gx) = g f(x) her biri için g ∈ G ve hepsi x ∈ VX.

Bass-Serre teorisindeki önemli gelişmeler

Son 30 yılda Bass-Serre teorisindeki önemli gelişmeler şunları içerir:

  • Çeşitli erişilebilirlik sonuçları için sonlu sunulan gruplar sonlu olarak sunulan bir grubun grupların ayrışması grafiğindeki karmaşıklığı (yani kenar sayısını) sınırlayan, burada dikkate alınan grup türleri üzerinde bazı cebirsel veya geometrik kısıtlamaların getirildiği. Bu sonuçlar şunları içerir:
    • Dunwoody's hakkında teorem ulaşılabilirlik nın-nin sonlu sunulan gruplar[14] bunu herhangi biri için belirterek sonlu sunulan grup G bölünmelerin karmaşıklığında bir sınır vardır G sonlu alt gruplar üzerinden (bölünmeler, teknik bir "indirgenmiş" varsayımını karşılamak için gereklidir);
    • Bestvina – Feighn genelleştirilmiş erişilebilirlik teorem[15] sonlu sunulan herhangi bir grup için bunu belirterek G azaltılmış bölünmelerin karmaşıklığında bir sınır vardır G bitmiş küçük alt gruplar (küçük grupların sınıfı, özellikle değişmeli olmayan serbest alt gruplar içermeyen tüm grupları içerir);
    • Asilindirik erişilebilirlik sonlu sunulmuş sonuçlar (Sela,[16] Delzant[17]) ve sonlu olarak oluşturulmuş (Weidmann[18]) sözde karmaşıklığı sınırlayan gruplar asilindirik Bölmeler, yani Bass-Serre örtücü ağaçları için G'nin önemsiz olmayan elemanlarının sabit alt kümelerinin çaplarının tekdüze olarak sınırlandığı bölmelerdir.
  • Teorisi JSJ ayrıştırmaları sonlu sunulan gruplar için. Bu teori, klasik bir kavram olan JSJ ayrıştırma içinde 3-manifold topolojisi ve bağlamında başlatıldı kelime-hiperbolik gruplar Sela'nın eseriyle. JSJ ayrıştırmaları, sonlu olarak sunulan grupların bazı sınıflara ayrılmasıdır. küçük sınıfın alt grupları üzerinde grubun tüm bölünmelerinin bazı standart hareketler açısından kanonik bir tanımını sağlayan alt gruplar (teorinin versiyonuna bağlı olarak döngüsel, değişmeli, noetherian vb.). JSJ ayrıştırma teorilerinin birkaç sürümü vardır:
  • Ağaçların otomorfizm gruplarında kafes teorisi. Teorisi ağaç kafesleri Bass, Kulkarni tarafından geliştirilmiştir ve Lubotzky[25][26] teorisine benzer şekilde kafesler içinde Lie grupları (bu, ayrık alt gruplarıdır Lie grupları sonlu ortak hacim). Ayrı bir alt grup için G yerel olarak sonlu bir ağacın otomorfizm grubunun X doğal bir kavram tanımlanabilir Ses için bölüm grafiği grupların Bir gibi
Grup G denir X-kafes eğer vol (Bir) <∞. Ağaç kafesleri teorisinin, farklı alt grupların incelenmesinde faydalı olduğu ortaya çıktı. cebirsel gruplar bitmiş arşimet olmayan yerel alanlar ve çalışmasında Kac-Moody grupları.
  • Ağaçlarda grup hareketlerini tahmin etmek ve alt grup yapılarını analiz etmek için kıvrımların ve Nielsen metotlarının geliştirilmesi.[15][18][27][28]
  • Grupların uçları ve göreceli uçları teorisi, özellikle birden fazla ucu olan gruplar hakkında Stallings teoreminin çeşitli genellemeleri.[29][30][31]
  • Ağaçlara etki eden gruplar için yarı izometrik sertlik sonuçları.[32]

Genellemeler

Bass-Serre teorisinin birkaç genellemesi yapılmıştır:

  • Teorisi grupların kompleksleri (bkz Haefliger,[33] Corson[34] Bridson-Haefliger[35]) Bass-Serre teorisinin daha yüksek boyutlu bir genellemesini sağlar. A kavramı grupların grafiği yerine a grup kompleksi, grupların basit bir kompleks içinde her hücreye atandığı yerde, bu gruplar arasındaki monomorfizmler, yüz kapanmalarına karşılık gelir (bu monomorfizmler, belirli uyumluluk koşullarını sağlamak için gereklidir). Daha sonra, bir grup grubu için bir grup grafiğinin temel grubunun bir analoğu tanımlanabilir. Bununla birlikte, bu nosyonun iyi cebirsel özelliklere sahip olması için (içindeki köşe gruplarının gömülebilirliği gibi) ve Bass-Serre kaplama ağacı kavramının bu bağlamda var olabilmesi için iyi bir benzerlik olması için, söz konusu grupların kompleksi için bir tür "pozitif olmayan eğrilik" koşulu (örneğin bkz. [36][37]).
  • İzometrik grup eylemleri teorisi gerçek ağaçlar (veya R-ağaçlar) olan metrik uzaylar a'nın grafik-teorik kavramını genelleme ağaç (grafik teorisi). Teori büyük ölçüde 1990'larda geliştirildi. Rips makinesi nın-nin Eliyahu Rips yapı teorisi üzerine kararlı grup eylemleri RAğaçlar önemli bir rol oynadı (bkz.Bestvina-Feighn[38]). Bu yapı teorisi, sonlu olarak üretilmiş bir grubun kararlı bir izometrik eylemini atar. G kararlı bir eylemle bu eylemin belirli bir "normal form" yaklaşımı G basit bir ağaç üzerinde ve dolayısıyla bölünmüş G Bass-Serre teorisi anlamında. Grup eylemleri gerçek ağaçlar çeşitli bağlamlarda doğal olarak ortaya çıkar geometrik topoloji: örneğin sınır noktaları olarak Teichmüller uzayı[39] (Teichmüller uzayının Thurston sınırındaki her nokta, yüzeyde ölçülü bir jeodezik laminasyonla temsil edilir; bu laminasyon, yüzeyin evrensel örtüsüne yükselir ve bu kaldırmaya doğal olarak ikili bir nesne, R-yüzeyin temel grubunun izometrik hareketi ile donatılmış ağaç), Gromov-Hausdorff sınırları /, uygun şekilde yeniden ölçeklendirilmiş, Kleincı grup hareketler,[40][41] ve benzeri. Kullanımı Rağaç makineleri, modern kanıtlarda önemli kısayollar sağlar. Thurston'un Hiperbolizasyon Teoremi için Haken 3-manifoldlar.[41][42] Benzer şekilde, Rağaçların çalışılmasında anahtar rol oynar. Culler -Vogtmann Dış uzay[43][44] yanı sıra diğer alanlarda geometrik grup teorisi; Örneğin, asimptotik koniler Grupların çoğu ağaç benzeri bir yapıya sahiptir ve grup eylemlerine yol açar. gerçek ağaçlar.[45][46] Kullanımı R-ağaçlar, Bass-Serre teorisi ile birlikte, Sela'nın izomorfizm problemini çözme çalışmalarında (burulma içermeyen) anahtar bir araçtır. kelime-hiperbolik gruplar Sela'nın JSJ ayrıştırma teorisi versiyonu ve Sela'nın özgür gruplar için Tarski Varsayımı üzerine çalışması ve limit grupları.[47][48]
  • Grup eylemleri teorisi Λ-ağaçlar, nerede Λ sıralı değişmeli grup (gibi R veya Z) hem Bass-Serre teorisinin hem de grup eylemleri teorisinin daha fazla genellemesini sağlar. Rağaçlar (bakınız Morgan,[49] Alperin-Bass,[13] Chiswell[50]).

Ayrıca bakınız

Referanslar

  1. ^ J.-P. Serre. Arbres, amalgames, SL2. Rédigé avec la işbirliği de Hyman Bass. Astérisque, No 46. Société Mathématique de France, Paris, 1977
  2. ^ a b J.-P. Serre, Ağaçlar. (Fransızcadan çevrilmiştir. John Stillwell ). Springer-Verlag, 1980. ISBN  3-540-10103-9
  3. ^ a b H. Bass, Grupların grafikleri için kaplama teorisi. Journal of Pure and Applied Cebir, cilt. 89 (1993), no. 1–2, s. 3–47
  4. ^ Peter Scott ve Terry Duvar. Grup teorisinde topolojik yöntemler. in: "Homolojik grup teorisi (Proc. Sympos., Durham, 1977)", s. 137–203, London Mathematical Society Lecture Notes Series, cilt. 36, Cambridge University Press Cambridge-New York, 1979; ISBN  0-521-22729-1
  5. ^ Kuluçka, Allen (2002). Cebirsel topoloji. Cambridge, İngiltere: Cambridge University Press. ISBN  9780521795401. OCLC  45420394.
  6. ^ Gilbert Baumslag. Kombinatoryal grup teorisinde konular. Matematik Dersleri ETH Zürich. Birkhäuser Verlag, Basel, 1993. ISBN  3-7643-2921-1
  7. ^ Warren Dicks ve Martin Dunwoody. Grafiklere göre hareket eden gruplar. İleri Matematikte Cambridge Çalışmaları, 17. Cambridge University Press, Cambridge, 1989. ISBN  0-521-23033-0
  8. ^ Daniel E. Cohen. Kombinatoryal grup teorisi: topolojik bir yaklaşım. London Mathematical Society Öğrenci Metinleri, 14. Cambridge University Press, Cambridge, 1989. ISBN  0-521-34133-7
  9. ^ Higgins, P.J., `` Bir grup grafiğinin temel grubu '', J. London Math. Soc. (2), 13 (1976) 145–149.
  10. ^ Moore, E.J., Grupların grafikleri: kelime hesaplamaları ve serbest çapraz çözünürlükler Arşivlendi 9 Ocak 2014, Wayback Makinesi, Doktora Tezi, University of Wales, Bangor, (2001).
  11. ^ J. R. Stallings. Birinci boyutun kohomolojik grupları. içinde: "Kategorik Cebir Uygulamaları (Proc. Sympos. Pure Math., Cilt XVIII, New York, 1968)", s. 124–128; Amerikan Matematik Derneği Providence, R.I, 1970.
  12. ^ Y. Watatani. Kazhdan'ın T mülkiyeti, Serre'nin FA mülkiyetini ima eder. Mathematica Japonica, cilt. 27 (1982), hayır. 1, s. 97–103
  13. ^ a b R. Alperin ve H. Bass. Λ ağaçlarında grup eylemlerinin uzunluk fonksiyonları. in: Kombinatoryal grup teorisi ve topolojisi (Alta, Utah, 1984), s. 265–378, Annals of Mathematical Studies, 111, Princeton University Press, Princeton, NJ, 1987; ISBN  0-691-08409-2
  14. ^ M. J. Dunwoody.Sonlu olarak sunulan grupların erişilebilirliği. Buluşlar Mathematicae vol. 81 (1985), hayır. 3, sayfa 449–457
  15. ^ a b M. Bestvina ve M. Feighn. Ağaçlarda basit grup eylemlerinin karmaşıklığını sınırlamak. Buluşlar Mathematicae, cilt. 103 (1991), hayır. 3, sayfa 449–469
  16. ^ Z. Sela. Gruplar için asilindirik erişilebilirlik. Buluşlar Mathematicae, cilt. 129 (1997), no. 3, sayfa 527−565
  17. ^ T. Delzant. Sur l'accessibilité acylindrique des groupes de présentation finie. Université de Grenoble. Annales de l'Institut Fourier, cilt. 49 (1999), hayır. 4, sayfa 1215–1224
  18. ^ a b R. Weidmann. Ağaçlara etki eden gruplar için Nielsen yöntemi. Londra Matematik Derneği Bildirileri (3), cilt. 85 (2002), hayır. 1, s. 93–118
  19. ^ Z. Sela, (Gromov) hiperbolik gruplarındaki yapı ve sertlik ve 1 $ Lie gruplarındaki ayrık gruplar. II. Geometrik ve Fonksiyonel Analiz, cilt. 7 (1997), hayır. 3, sayfa 561–593
  20. ^ B. H. Bowditch, Hiperbolik grupların kesme noktaları ve kanonik bölünmeleri. Acta Mathematica, cilt. 180 (1998), hayır. 2, s. 145–186
  21. ^ E. Rips ve Z. Sela, Sonlu olarak sunulan grupların döngüsel bölünmeleri ve kanonik JSJ ayrışımı. Matematik Yıllıkları (2) cilt. 146 (1997), hayır. 1, s. 53–109
  22. ^ M. J. Dunwoody ve M.E. Sageev, İnce gruplar üzerinde sonlu olarak sunulan gruplar için JSJ bölmeleri. Buluşlar Mathematicae, cilt. 135 (1999), hayır. 1, sayfa 25–44.
  23. ^ K. Fujiwara ve P. Papasoğlu, Sonlu olarak sunulan grupların ve grupların komplekslerinin JSJ-ayrıştırmaları. Geometrik ve Fonksiyonel Analiz, cilt. 16 (2006), hayır. 1, s. 70–125
  24. ^ Scott, Peter ve Swarup, Gadde A.Gruplar için düzenli mahalleler ve kanonik ayrıştırmalar. Astérisque No 289 (2003).
  25. ^ H. Bass ve R. Kulkarni. Düzgün ağaç kafesleri. Amerikan Matematik Derneği Dergisi, cilt. 3 (1990), hayır. 4, sayfa 843–902
  26. ^ A. Lubotzky. Lie gruplarında ağaç kafesler ve kafesler. "Kombinatoryal ve geometrik grup teorisi (Edinburgh, 1993)", s. 217–232, Londra Matematik Derneği Ders Notları Serisi, cilt. 204, Cambridge University Press, Cambridge, 1995; ISBN  0-521-46595-8
  27. ^ J.-R. Stallings. G ağaçlarının katlanması. in: "Arboreal Grup Teorisi (Berkeley, CA, 1988)", Math. Sci. Res. Inst. Publ. 19 (Springer, New York, 1991), s. 355–368. ISBN  0-387-97518-7
  28. ^ I. Kapovich, R. Weidmann ve A. Miasnikov. Katlamalar, grupların grafikleri ve üyelik sorunu. Uluslararası Cebir ve Hesaplama Dergisi, cilt. 15 (2005), hayır. 1, s. 95–128
  29. ^ Scott, G.P. ve Swarup, G. A. Cebirsel bir halka teoremi. Pacific Journal of Mathematics, cilt. 196 (2000), hayır. 2, sayfa 461–506
  30. ^ M. J. Dunwoody ve E.L. Swenson, E. L. Cebirsel torus teoremi.Buluşlar Mathematicae. vol. 140 (2000), hayır. 3, s. 605–637
  31. ^ M. Sageev. Kod boyutu-1 alt grupları ve grupların bölünmeleri. Cebir Dergisi, cilt. 189 (1997), no. 2, sayfa 377–389.
  32. ^ P. Papasoğlu. Grup bölünmeleri ve asimptotik topoloji. Journal für die Reine und Angewandte Mathematik, cilt. 602 (2007), s. 1–16.
  33. ^ André Haefliger. Gruplar ve orbihedra kompleksleri. in: "Geometrik bir bakış açısından grup teorisi (Trieste, 1990)", s. 504–540, World Sci. Yayın, River Edge, NJ, 1991. ISBN  981-02-0442-6
  34. ^ Jon Corson. Grup kompleksleri.Londra Matematik Derneği Bildirileri (3) 65 (1992), no. 1, s. 199–224.
  35. ^ Martin R. Bridson ve André Haefliger. Pozitif olmayan eğriliğin metrik uzayları. Grundlehren der Mathematischen Wissenschaften [Matematik Bilimlerinin Temel İlkeleri], 319. Springer-Verlag, Berlin, 1999. ISBN  3-540-64324-9
  36. ^ Daniel T. Wise. sonlu grupların negatif eğimli çokgenlerinin artık sonluluğu. Buluşlar Mathematicae, cilt. 149 (2002), hayır. 3, s. 579–617
  37. ^ John R. Stallings. Pozitif kavisli olmayan üçgenler. in: "Geometrik bir bakış açısından grup teorisi (Trieste, 1990)", s. 491–503, World Scientific Publishing, River Edge, NJ, 1991; ISBN  981-02-0442-6
  38. ^ Mladen Bestvina ve Mark Feighn. Gerçek ağaçlarda grupların kararlı eylemleri. Buluşlar Mathematicae, cilt. 121 (1995), hayır. 2, sayfa 287–321
  39. ^ Richard Skora. Yüzeylerin yarılması. American Mathematical Society (N.S.) Bülteni, cilt. 23 (1990), hayır. 1, s. 85–90
  40. ^ Mladen Bestvina. Hiperbolik uzayın dejenerasyonları. Duke Matematiksel Dergisi. vol. 56 (1988), hayır. 1, s. 143–161
  41. ^ a b M. Kapovich. Hiperbolik manifoldlar ve ayrık gruplar. Matematikte İlerleme, 183. Birkhäuser. Boston, MA, 2001. ISBN  0-8176-3904-7
  42. ^ J.-P. Otal. Lifli 3-manifoldlar için hiperbolizasyon teoremi. Leslie D. Kay tarafından 1996 Fransız orijinalinden çevrilmiştir. SMF / AMS Metinleri ve Monografileri, 7. American Mathematical Society, Providence, RI; Société Mathématique de France, Paris. ISBN  0-8218-2153-9
  43. ^ Marshall Cohen ve Martin Lustig. Çok küçük grup eylemleri R-Ağaçlar ve Dehn büküm otomorfizmleri. Topoloji, cilt. 34 (1995), hayır. 3, sayfa 575–617
  44. ^ Gilbert Levitt ve Martin Lustig. F'nin indirgenemez otomorfizmlerin sıkıştırılmış dış uzay üzerinde kuzey-güney dinamikleri vardır. Journal de l'Institut de Mathématiques de Jussieu, cilt. 2 (2003), hayır. 1, s. 59–72
  45. ^ Cornelia Druţu ve Mark Sapir. Ağaç dereceli uzaylar ve grupların asimptotik konileri. (Bir ek ile Denis Osin ve Mark Sapir.) Topoloji, cilt. 44 (2005), hayır. 5, s. 959–1058
  46. ^ Cornelia Drutu ve Mark Sapir. Göreceli olarak hiperbolik grupların ağaç dereceli boşlukları ve bölünmeleri üzerinde hareket eden gruplar. Matematikteki Gelişmeler, cilt. 217 (2008), no. 3, sayfa 1313–1367
  47. ^ Zlil Sela. Gruplar üzerinde diyofant geometrisi ve serbest ve hiperbolik grupların temel teorisi. Uluslararası Matematikçiler Kongresi Bildirileri, Cilt. II (Beijing, 2002), s. 87–92, Higher Ed. Press, Beijing, 2002; ISBN  7-04-008690-5
  48. ^ Zlil Sela. Gruplar üzerinden diyofant geometrisi. I. Makanin-Razborov diyagramları. Mathématiques Yayınları. Institut de Hautes Études Scientifiques, No. 93 (2001), s. 31–105
  49. ^ John W. Morgan. Λ-ağaçlar ve uygulamaları. American Mathematical Society (N.S.) Bülteni, cilt. 26 (1992), hayır. 1, sayfa 87–112.
  50. ^ Ian Chiswell. Λ-ağaçlarına giriş. World Scientific Publishing Co., Inc., River Edge, NJ, 2001. ISBN  981-02-4386-3