Cremona-gruppen
Cremona-gruppen är gruppen av birationella automorfismer av ett dimensionellt projektivt utrymme över fältet . Gruppen introducerades i övervägande 1863-1865 av Luigi Cremona [1] [2] . Gruppen betecknas som , eller .
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![{\displaystyle Cr(\mathbb {P} ^{n}(k))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efc099571eecce29da94b2cf37336cd55510c774)
![{\displaystyle Bir(\mathbb {P} ^{n}(k))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d824954cb7060adc08a229f002fff75a9ef6766)
![{\displaystyle Cr_{n}(k)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4839c11c97b549c339bd5d76d88c2012e66786e)
Cremona-gruppen identifieras naturligt med gruppen av automorfismer av fältet av rationella funktioner av okända över , eller den transcendentala förlängningen av fältet med grad av transcendens .
![{\displaystyle \mathrm {Aut} _{k}(k(x_{1},...,x_{n}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a327f2a1074111cab19c1508da1994e3831a990d)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
Den projektiva hela linjära gruppen av ordningen av projektiva transformationer ingår i Cremona-gruppen i ordningen . De sammanfaller endast i de fall där eller , där täljaren och nämnaren för transformationen är linjära.
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![n=0](https://wikimedia.org/api/rest_v1/media/math/render/svg/26819344e55f5e671c76c07c18eb4291fcec85ae)
![n=1](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9ec7e1edc2e6d98f5aec2a39ae5f1c99d1e1425)
Cremona-gruppen i utrymmen av dimension 2
I rum av dimension två gav Gizatullin [3] en fullständig beskrivning av relationerna för systemet av gruppgeneratorer. Strukturen för denna grupp är fortfarande inte helt klar, även om det finns ett stort antal arbeten om att hitta dess element eller undergrupper.
- Serge Kanta och Stephane Lamy [4] visade att Cremona-gruppen inte är enkel som en abstrakt grupp.
- Jeremy Blank visade att gruppen inte har några icke-triviala normala undergrupper och är stängd i den naturliga topologin.
- Dolgacheva och Iskovskikh skrev en artikel om ändliga undergrupper av Cremona-gruppen [5] .
Cremona-gruppen i utrymmen med dimension 3 eller mer
Lite är känt om Cremona-gruppens struktur i utrymmen av dimension 3 och högre, även om många delar av denna grupp har beskrivits. Blank [6] visade att den är (sökväg) kopplad genom att svara på Serras fråga [7] . Det finns ingen enkel analog till Noether-Castelnuovo-satsen, eftersom Hudson [8] visade att Cremona-gruppen i dimension minst 3 inte genereras av dess gradelement som begränsas av något fast tal.
De Jonquières grupper
De Jonquière-gruppen [9] är en undergrupp till Cremona-gruppen av följande form. Vi väljer en transcendensgrund för fältförlängningen . Sedan är de Jonquière-gruppen undergruppen av automorfismer som kartlägger subfältet i sig självt för vissa . Den har en normal undergrupp som ges av Cremona-gruppen av automorfismer över fältet , och kvotgruppen är Cremona-gruppen över fältet . Det kan betraktas som gruppen av birational automorfismer av fiberkärven .
![x_1, ..., x_n](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f979c14353ba9d99b39d68265ad6db58c5faaae)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![{\displaystyle k(x_{1},...,x_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5305cab07d71666485b4169be640b46171ebaec9)
![{\displaystyle k(x_{1},...,x_{r})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16f56ec1fa314359dc8a2c9b2fc538765d590f45)
![{\displaystyle r\leqslant n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f912e5da4acf6555816c441c0fe73d37e6133c0)
![{\displaystyle k(x_{1},...,x_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5305cab07d71666485b4169be640b46171ebaec9)
![{\displaystyle k(x_{1},...,x_{r})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16f56ec1fa314359dc8a2c9b2fc538765d590f45)
![{\displaystyle k(x_{1},...,x_{r})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16f56ec1fa314359dc8a2c9b2fc538765d590f45)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![{\displaystyle \mathbb {P} ^{r}\times \mathbb {P} ^{nr}\to \mathbb {P} ^{r))](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1332198c06c9ef342431526187336c1918a72c9)
Om och , de Jonquière-gruppen är Cremona-gruppen av transformationer som bevarar pennan av linjer genom den givna punkten, och det är en halvdirekt produkt av
och .
![{\displaystyle n=2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a02c8bd752d2cc859747ca1f3a508281bdbc3b34)
![{\displaystyle r=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e6584ba3b7843583b757896c2f0686efc0489e5)
![{\displaystyle \mathrm {PGL} _{2}(k)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eab891ec99ebaa9631dce202c40a4cadf91bca04)
![{\displaystyle \mathrm {PGL} _{2}(k(t))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0dbce0d6ba99f4acb12eb34e1617b39f1942b1dd)
Anteckningar
- ↑ Cremona, 1863 , sid. 305–311.
- ↑ Cremona, 1865 , sid. 269-280, 363-376.
- ↑ Gizatullin, 1982 .
- ↑ Cantat, Lamy, 2010 .
- ↑ Dolgachev, Iskovskikh, 2009 .
- ↑ Blanc, 2010 .
- ↑ Serre, 2010 .
- ↑ Hudson, 1927 .
- ↑ Det finns olika stavningar av efternamnet. Så, I. R. Shafarevich skriver det med ett bindestreck: de Jonquiere. Shafarevich ger följande definition av de Jonquière-gruppen:
de Jonquière transformation: , där och är ett godtyckligt polynom i variabler .
![{\displaystyle (x_{1},x_{2},\dots ,x_{n})\to (y_{1},y_{2},\dots ,y_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a799e9f3cfa259884f6a9138f291890b7571918)
![{\displaystyle y_{i}=a_{i}x_{i}+f_{i}(x_{i+1},\dots ,x_{n}),a_{i}\neq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3669fcee984b58b01c8d9dd46f36aca0162d3f73)
![f_{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65da883ca3d16b461e46c94777b0d9c4aa010e79)
Litteratur
- Maria Alberich-Carraminana. Geometri av planet Cremona kartor. - Berlin, New York: Springer-Verlag , 2002. - T. 1769. - (Lecture Notes in Mathematics). — ISBN 978-3-540-42816-9 . - doi : 10.1007/b82933 .
- Jeremy Blanc. Groupes de Cremona, connexité et simplicité // Annales Scientifiques de l'École Normale Supérieure. - 2010. - T. 43 , nr. 2 . — S. 357–364 . — ISSN 0012-9593 . - doi : 10.24033/asens.2123 .
- Serge Cantat, Stephane Lamy. Normala undergrupper i Cremona-gruppen // Acta Mathematica. - 2010. - T. 210 , nr. 2013 . — S. 31–94 . - . - arXiv : 1007.0895 .
- Julian Lowell Coolidge. En avhandling om algebraiska plankurvor . - Oxford University Press , 1931. - ISBN 978-0-486-49576-7 .
- Cremona L. Sulla trasformazioni geometiche delle figure piane . Giornale di matematiche di Battaglini. - 1863. - T. 1.
- Cremona L. Sulla trasformazioni geometiche delle figure piane // Giornale di matematiche di Battaglini. - 1865. - T. 3 .
- Michel Demazure. Sous-groupes algébriques de rang maximum du groupe de Cremona // Annales Scientifiques de l'École Normale Supérieure. - 1970. - T. 3 . — S. 507–588 . — ISSN 0012-9593 .
- Igor V. Dolgachev. Klassisk algebraisk geometri: en modern syn . - Cambridge University Press , 2012. - ISBN 978-1-107-01765-8 . Arkiverad 31 maj 2014 på Wayback Machine
- Igor V. Dolgachev, Vasily A. Iskovskikh. Finita undergrupper av planet Cremona-gruppen // Algebra, aritmetik och geometri: till ära av Yu. I. Manin. Vol. I. - Boston, MA: Birkhäuser Boston, 2009. - T. 269. - P. 443-548. - (Progr. Math.). — ISBN 978-0-8176-4744-5 . - doi : 10.1007/978-0-8176-4745-2_11 .
- Dolgachev I.V., Iskovskikh V.A. Algebraiska sorters geometri . - 1974. - T. 12. - S. 77 \u003d 170. - (Resultat av vetenskap och teknik. Ser. Algebra, Topologi, Geometri).
- Gizatullin M. Kh. Konstitutiva relationer för Cremona-gruppen på planet // Izv. USSR:s vetenskapsakademi .. - 1982. - T. 46 , nr 5 . — S. 211–268 .
- Lucien Godeaux. Les transformations birationelles du plan. - Gauthier-Villars et Cie, 1927. - Vol 22. - (Mémorial des sciences mathématiques).
- Michiel Hazewinkel. Cremona group, Cremona transformation // Encyclopedia of Mathematics. - Springer Science+Business Media BV / Kluwer Academic Publishers, 2001. - ISBN 978-1-55608-010-4 .
- Hilda Phoebe Hudson. Cremona-transformationer i plan och rymd . - Cambridge University Press , 1927. - ISBN 978-0-521-35882-8 .
- Semple JG, Roth L. Introduktion till algebraisk geometri. - The Clarendon Press Oxford University Press, 1985. - (Oxford Science Publications). — ISBN 978-0-19-853363-4 .
- Jean-Pierre Serre . En Minkowski-stil bunden till ordningarna för de ändliga undergrupperna i Cremona-gruppen av rang 2 över ett godtyckligt fält // Moscow Mathematical Journal. - 2009. - T. 9 , nr. 1 . — S. 193–208 . — ISSN 1609-3321 .
- Jean-Pierre Serre . Le groupe de Cremona et ses sous-groupes finis . — Asterisk. - 2010. - S. 75-100. — (Seminaire Bourbaki 1000). - ISBN 978-2-85629-291-4 .