Гурвицтің автоморфизм теоремасы - Hurwitzs automorphisms theorem - Wikipedia

Жылы математика, Гурвицтің автоморфизм теоремасы тобының ретін шектейді автоморфизмдер, арқылы бағдарды сақтау конформды кескіндер, ықшам Риман беті туралы түр ж > 1, мұндай автоморфизмдердің саны 84-тен аспауы керек екенін көрсетеді (ж - 1). Максимумға қол жеткізілетін топты а деп атайды Hurwitz тобы, және сәйкес Риман беті а Гурвиц беті. Риманның ықшам беттері сингулярлы емес синоним болғандықтан күрделі проективті алгебралық қисықтар, Hurwitz бетін а деп те атауға болады Hurwitz қисығы.[1] Теорема атымен аталған Адольф Хурвиц кім дәлелдедіHurwitz 1893 ж ).

Гурвицтің шекарасы алгебралық қисықтар үшін 0 сипаттамалық өріс пен оң сипаттамалық өрістер бойынша орындалады бРеті коприментті болатын топтар үшін> 0 б, бірақ оң сипаттамалық өрістерде сәтсіздікке ұшырауы мүмкін б> 0 қашан б топ ретін бөледі. Мысалы, проективті сызықтың қос қабаты ж2 = хбх қарапайым өрісте анықталған барлық тармақтарда тармақталған ж=(б−1) / 2, бірақ топ әрекет етеді SL2(б) бұйрық б3б.

Гиперболалық тұрғыдан түсіндіру

Негізгі тақырыптардың бірі дифференциалды геометрия арасындағы трихотомия болып табылады Риман коллекторлары оң, нөл және теріс қисықтық Қ. Ол әр түрлі жағдайларда және бірнеше деңгейде көрінеді. Риманның ықшам беттері аясында X, Риман арқылы теңдестіру теоремасы, бұл әртүрлі топологиялардың беттері арасындағы айырмашылық ретінде қарастырылуы мүмкін:

Алғашқы екі жағдайда беті X көптеген конформды автоморфизмдерді (шын мәнінде конформды) мойындайды автоморфизм тобы күрделі болып табылады Өтірік тобы шар үшін үш өлшем, ал торус үшін бір өлшем), гиперболалық Риман беті дискретті автоморфизмдер жиынтығын ғана қабылдайды. Гурвиц теоремасы шын мәнінде көп нәрсе шындық деп санайды: ол түрдің функциясы ретінде автоморфизм тобының тәртібіне біркелкі байланысты қамтамасыз етеді және сол байланысқан Риман беттерін сипаттайды. өткір.

Мәлімдеме және дәлелдеме

Теорема: Рұқсат етіңіз тегіс жалғанған риман беті болыңыз . Содан кейін оның автоморфизм тобы мөлшері бар

Дәлел: Қазірше деп ойлаңыз ақырлы (біз мұны соңында дәлелдейміз).

  • Карталық картаны қарастырыңыз . Бастап холоморфты функциялар бойынша әрекет етеді, квоент формада жергілікті болып табылады және үлес Риманның тегіс беті. Карталар картасы тармақталған жамылғы болып табылады, ал төменде таралу нүктелерінің тривиальды емес тұрақтандырғышы бар орбиталарға сәйкес келетіндігін көреміз. Келіңіздер болуы .
  • Бойынша Риман-Гурвиц формуласы,
онда қосындының үстінде рамификация нүктелері квоталық карта үшін. Рамификация индексі кезінде тек тұрақтандырғыш тобының реті, өйткені қайда алдын-ала кескіндер саны (орбитадағы нүктелер саны), және . Рамификация нүктелерінің анықтамасы бойынша, барлығына рамификация индекстері.

Енді оң жаққа қоңырау шалыңыз және содан бері бізде болуы керек . Теңдеуді қайта құру арқылы біз табамыз:

  • Егер содан кейін , және
  • Егер , содан кейін және сондай-ақ ,
  • Егер , содан кейін және
    • егер содан кейін , сондай-ақ
    • егер содан кейін , сондай-ақ ,
    • егер содан кейін жаз . Біз болжауымыз мүмкін .
      • егер содан кейін сондай-ақ ,
      • егер содан кейін
        • егер содан кейін сондай-ақ ,
        • егер содан кейін сондай-ақ .

Қорытындысында, .

Мұны көрсету үшін ақырлы, ескеріңіз бойынша әрекет етеді когомология сақтау Қожаның ыдырауы және тор .

  • Атап айтқанда, оның әрекеті гомоморфизм береді бірге дискретті сурет .
  • Сонымен қатар, сурет табиғи дегенеративті сақтайды Ермиттің ішкі өнімі қосулы . Атап айтқанда сурет құрамында бар унитарлық топ қайсысы ықшам. Осылайша сурет жай дискретті емес, ақырлы.
  • Мұны дәлелдеу қалады ақырғы ядросы бар. Шындығында, біз дәлелдейміз инъекциялық. Болжам идентификация рөлін атқарады . Егер ақырлы, содан кейін Лефшетстің тіркелген нүктелік теоремасы,
.

Бұл қайшылық және т.б. шексіз. Бастап оң өлшемнің жабық кешенді әртүрлілігі болып табылады тегіс қосылған қисық (яғни ), бізде болуы керек . Осылайша сәйкестілік болып табылады және біз мынаны қорытындылаймыз инъекциялық және ақырлы.

Дәлелдеудің қорытындысы: Риман беті тұқымдас бар автоморфизмдер және егер болса ғана тармақталған жамылғы болып табылады индекстің үш таралу нүктесімен 2,3 және 7.

Гурвиц беттерінің тағы бір дәлелі және құрылысы туралы идея

Біртектестіру теоремасы бойынша кез-келген гиперболалық бет X - яғни, Гаусс қисығы X әр нүктесінде теріс мәнге тең - болып табылады жабылған бойынша гиперболалық жазықтық. Беттің конформды кескіндері гиперболалық жазықтықтың бағдар сақтайтын автоморфизмдеріне сәйкес келеді. Бойынша Гаусс-Бонет теоремасы, бетінің ауданы болып табылады

A (X) = - 2π χ (X) = 4π (ж − 1).

Автоморфизм тобын құру үшін G туралы X мүмкіндігінше үлкен болса, біз оның аумағын қалаймыз негізгі домен Д. бұл әрекет мүмкіндігінше аз болуы үшін. Егер domain / p, π / q және π / r төбелік бұрыштары бар үшбұрыш болса, a плитка төсеу гиперболалық жазықтықтың, содан кейін б, q, және р бүтін сандар, ал ауданы үлкен

A (Д.) = π (1 - 1 /б − 1/q − 1/р).

Осылайша біз өрнек жасайтын бүтін сандарды сұраймыз

1 − 1/б − 1/q − 1/р

қатаң позитивті және мүмкіндігінше аз. Бұл минималды мән 1/42, және

1 − 1/2 − 1/3 − 1/7 = 1/42

осындай бүтін сандардың бірегей (ауыстыруға дейін) үштігін береді. Бұл бұйрық |G| автоморфизм тобымен шектеледі

A (X) / A (Д.)  ≤  168(ж − 1).

Алайда, неғұрлым нәзік пайымдау мұны екі есе асыра бағалау екенін көрсетеді, өйткені топ G бағдар-қалпына келтіретін түрлендірулерді қамтуы мүмкін. Бағдарлауды сақтайтын конформды автоморфизмдер үшін шек 84 құрайды (ж − 1).

Құрылыс

Гурвиц топтары мен беттері гиперболалық жазықтықтың (2,3,7) плиткасы негізінде құрылады. Шварц үшбұрышы.

Гурвиц тобының мысалын алу үшін, гиперболалық жазықтықты (2,3,7) -жылы бастайық. Оның толық симметрия тобы толық болып табылады (2,3,7) үшбұрыш тобы fundamental / 2, π / 3 және π / 7 бұрыштары бар бір іргелі үшбұрыштың қабырғалары бойынша шағылыстардан пайда болады. Шағылыс үшбұрышты айналдырып, бағдарды өзгерткендіктен, біз үшбұрыштарды жұпқа біріктіріп, бағдар сақтайтын плитка көпбұрышын ала аламыз.Гурвиц беті гиперболалық жазықтықтың осы шексіз плиткасының бір бөлігін ықшам етіп жабу арқылы алынады. Риман беті ж. Бұл міндетті түрде 84-тен тұрады (ж - 1) қос үшбұрышты плиткалар.

Келесі екі тұрақты плиткалар қажетті симметрия тобына ие болу; айналу тобы жиек, төбе және бет айналуымен сәйкес келеді, ал толық симметрия тобына шағылысу да кіреді. Плиткадағы көпбұрыштар негізгі домендер болып табылмайды - (2,3,7) үшбұрышпен қаптау екеуін де нақтылайды және тұрақты емес.

Heptagonal tiling.svg
тапсырыс-3-ге алты бұрышты плитка
Тапсырыс-7 үшбұрышты плитка.svg
тапсырыс-7 үшбұрышты плитка

Wythoff құрылымдары әрі қарай өнім береді біркелкі плиткалар, түсімді сегіз біркелкі плитка мұнда берілген екі тұрақты қосқанда. Олардың барлығы Hurwitz беттеріне түсіп, беттердің беткейлерін береді (триангуляция, гептагондармен қаптау және т.б.).

Жоғарыда келтірілген аргументтерден Hurwitz тобы туралы қорытынды шығаруға болады G екі генераторы бар топтың шектеулі бөлігі болатындығымен сипатталады а және б және үш қатынас

осылайша G өнімі жеті ретті болатын екі және үш ретті екі элементтен құралған ақырғы топ. Дәлірек айтсақ, кез-келген Хурвиц бетін, яғни берілген тұқымның беттері үшін автоморфизм тобының максималды ретін жүзеге асыратын гиперболалық бетті берілген конструкция бойынша алуға болады. Бұл Гурвиц теоремасының соңғы бөлімі.

Гурвиц топтары мен беттерінің мысалдары

The кішкентай кубубоктаэдр - плитканы плиткаға батыру Клейн квартикасы 24 үшта кездесетін 56 үшбұрыш бойынша.[2]

Ең кішкентай Хурвиц тобы - проективті арнайы сызықтық топ PSL (2,7), 168 ретті, және сәйкес қисық - болып табылады Клейн квартикалық қисығы. Бұл топ изоморфты PSL (3,2).

Келесі Macbeath қисығы, 504 ретті PSL (2,8) автоморфизм тобымен. Көптеген қарапайым топтар - Хурвиц тобы; мысалы, 64-тен басқаларының барлығы ауыспалы топтар бұл Хурвиц тобы, олардың ең үлкен мысалы, 167 дәрежелі Хурвитц емес. Хурвиц тобы болып табылатын ең кіші ауыспалы топ - бұл А15.

Көпшілігі проективті арнайы сызықтық топтар Hurwitz топтары, (Луччини, Тамбурини және Уилсон 2000 ). Төменгі дәрежелер үшін мұндай топтар Хурвитц аз. Үшін nб тәртібі б модуль 7, біреуінде PSL бар (2,q) егер ол болса ғана Хурвитц болып табылады q= 7 немесе q = бnб. Шынында да, PSL (3,q) егер бұл болса, тек Хурвитц болып табылады q = 2, PSL (4,q) ешқашан Хурвиц емес, және PSL (5,q) егер бұл болса, тек Хурвитц болып табылады q = 74 немесе q = бnб, (Тамбурини және Всемирнов 2006 ж ).

Сол сияқты, көп Lie типіндегі топтар олар Хурвитц. Шекті классикалық топтар үлкен дәрежелі Хурвиц, (Луччини және Тамбурини 1999 ж ). The ерекше Өтірік топтары типі G2 және Ри топтары 2G2 типті әрдайым дерлік Хурвиц, (Малле 1990 ж ). Төмен деңгейдегі ерекше және бұралған өтірік топтардың басқа отбасыларында Хурвиц көрсетілген (Малле 1995 ж ).

12 бар кездейсоқ топтар олар Hurwitz топтары ретінде жасалуы мүмкін: Janko топтары Дж1, Дж2 және Дж4, Фишер топтары Fi22 және Fi '24, Рудвалис тобы, Ұсталған топ, Томпсон тобы, Харада - Нортон тобы, Үшінші Конвей тобы Co3, Лиондар тобы, және Монстр, (Уилсон 2001 ).

Төменгі тектегі автоморфизм топтары

Ең үлкен | Авт (X) | Риманның бетіне ие бола алады X тұқымдас ж үшін төменде көрсетілген 2≤g≤10, бетімен бірге X0 бірге Авт (X0)| максималды.

түр жМүмкін Авт (X)X0Авт (X0)
248Болза қисығыGL2(3)
3168 (Гурвиц байланған)Клейн квартикасыПСЛ2(7)
4120Қисық келтіріңізS5
5192
6150
7504 (Хурвитц байланысты)Macbeath қисығыПСЛ2(8)
8336
9320
10432
11240

Бұл диапазонда тек Hurwitz қисығы бар g = 3 және g = 7.

Сондай-ақ қараңыз

Ескертулер

  1. ^ Техникалық тұрғыдан алғанда, бар категориялардың эквиваленттілігі бағдар сақтайтын конформды карталары бар ықшам Риман беттері санаты мен алгебралық морфизмдері бар сингулярлы емес кешенді проективті алгебралық қисықтар категориясы арасында.
  2. ^ (Рихтер ) Полиэдрдегі әр бет плиткадағы бірнеше беттерден тұратынына назар аударыңыз - екі үшбұрышты бет төртбұрышты бетті құрайды және т.б. бұл түсіндірме сурет.

Әдебиеттер тізімі

  • Hurwitz, A. (1893), «Über algebraische Gebilde mit Eindeutigen Transformationen in sich», Mathematische Annalen, 41 (3): 403–442, дои:10.1007 / BF01443420, JFM  24.0380.02.
  • Луччини, А .; Tamburini, M. C. (1999), «Hurwitz топтары сияқты үлкен классикалық топтар», Алгебра журналы, 219 (2): 531–546, дои:10.1006 / jabr.1999.7911, ISSN  0021-8693, МЫРЗА  1706821
  • Луччини, А .; Тамбурини, М. С .; Уилсон, Дж. С. (2000), «Гурвицтің үлкен дәрежелі топтары», Лондон математикалық қоғамының журналы, Екінші серия, 61 (1): 81–92, дои:10.1112 / S0024610799008467, ISSN  0024-6107, МЫРЗА  1745399
  • Малле, Гюнтер (1990), «Hurwitz топтары және G2 (q)», Канадалық математикалық бюллетень, 33 (3): 349–357, дои:10.4153 / CMB-1990-059-8, ISSN  0008-4395, МЫРЗА  1077110
  • Малле, Гюнтер (1995), «Хурвицтің ерекше топтары», Lie типіндегі топтар және олардың геометриялары (Como, 1993), Лондон математикасы. Soc. Дәріс сериясы, 207, Кембридж университетінің баспасы, 173–183 б., МЫРЗА  1320522
  • Тамбурини, М. С .; Всемирнов, М. (2006), «PGL (n, F) кішірейтілген (2,3,7) -топтары n-7 үшін», Алгебра журналы, 300 (1): 339–362, дои:10.1016 / j.jalgebra.2006.02.030, ISSN  0021-8693, МЫРЗА  2228652
  • Уилсон, Р.А. (2001), «Монстр - Хурвиц тобы», Топтық теория журналы, 4 (4): 367–374, дои:10.1515 / jgth.2001.027, МЫРЗА  1859175, мұрағатталған түпнұсқа 2012-03-05, алынды 2015-09-04
  • Рихтер, Дэвид А., Mathieu тобын қалай жасауға болады24, алынды 2010-04-15