Cremona gruppe
Cremona-gruppen er gruppen af birationale automorfier af et dimensionelt projektivt rum over feltet . Gruppen blev introduceret i betragtning i 1863-1865 af Luigi Cremona [1] [2] . Gruppen betegnes 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 er naturligt identificeret med gruppen af automorfismer af feltet af rationelle funktioner af ukendte over , eller den transcendentale udvidelse af feltet med grad af 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 projektive fulde lineære gruppe af rækkefølgen af projektive transformationer er indeholdt i Cremona-gruppen i ordenen . De falder kun sammen i tilfælde, hvor eller , hvor tælleren og nævneren for transformationen er lineære.
![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 rum af dimension 2
I rum af dimension to gav Gizatullin [3] en fuldstændig beskrivelse af relationerne for systemet af gruppegeneratorer. Strukturen af denne gruppe er stadig ikke helt klar, selvom der er et stort antal værker om at finde dens elementer eller undergrupper.
- Serge Kanta og Stephane Lamy [4] viste, at Cremona-gruppen ikke er enkel som en abstrakt gruppe.
- Jeremy Blank viste, at gruppen ikke har nogen ikke-trivielle normale undergrupper og er lukket i den naturlige topologi.
- Dolgacheva og Iskovskikh skrev en artikel om endelige undergrupper af Cremona-gruppen [5] .
Cremona-gruppen i rum med dimension 3 eller mere
Lidt er kendt om strukturen af Cremona-gruppen i rum af dimension 3 og højere, selvom mange elementer af denne gruppe er blevet beskrevet. Blank [6] viste, at den er (sti) forbundet ved at besvare Serras spørgsmål [7] . Der er ingen simpel analog til Noether-Castelnuovo-sætningen, da Hudson [8] viste, at Cremona-gruppen i dimension på mindst 3 ikke er genereret af dens gradelementer, der er afgrænset af et fast tal.
De Jonquières grupper
De Jonquière-gruppen [9] er en undergruppe af Cremona-gruppen af følgende type. Vi vælger et transcendensgrundlag for feltudvidelsen . Så er de Jonquière-gruppen undergruppen af automorfier, der kortlægger underfeltet ind i sig selv for nogle . Den har en normal undergruppe givet af Cremona-gruppen af automorfismer over marken , og kvotientgruppen er Cremona-gruppen over marken . Det kan betragtes som gruppen af birationale automorfismer af fibret skær .
![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)
Hvis og , de Jonquière-gruppen er Cremona-gruppen af transformationer, der bevarer blyanten af linjer gennem det givne punkt, og det er et halvdirekte produkt af
og .
![{\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)
Noter
- ↑ Cremona, 1863 , s. 305-311.
- ↑ Cremona, 1865 , s. 269-280, 363-376.
- ↑ Gizatullin, 1982 .
- ↑ Cantat, Lamy, 2010 .
- ↑ Dolgachev, Iskovskikh, 2009 .
- ↑ Blanc, 2010 .
- ↑ Serre, 2010 .
- ↑ Hudson, 1927 .
- ↑ Der er forskellige stavemåder af efternavnet. Så I. R. Shafarevich skriver det med en bindestreg: de Jonquière. Shafarevich giver følgende definition af de Jonquière-gruppen:
de Jonquière transformation: , hvor og er et vilkårligt polynomium i variable .
![{\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 af flyet Cremona kort. - 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 , no. 2 . — S. 357–364 . — ISSN 0012-9593 . - doi : 10.24033/asens.2123 .
- Serge Cantat, Stephane Lamy. Normale undergrupper i Cremona-gruppen // Acta Mathematica. - 2010. - T. 210 , no. 2013 . — S. 31–94 . - . - arXiv : 1007.0895 .
- Julian Lowell Coolidge. En afhandling om algebraiske plankurver . - 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: et moderne syn . - Cambridge University Press , 2012. - ISBN 978-1-107-01765-8 . Arkiveret 31. maj 2014 på Wayback Machine
- Igor V. Dolgachev, Vasily A. Iskovskikh. Finite undergrupper af flyet Cremona-gruppen // Algebra, aritmetik og geometri: til ære for Yu. I. Manin. Vol. I. - Boston, MA: Birkhäuser Boston, 2009. - T. 269. - S. 443-548. - (Progr. Matematik.). — ISBN 978-0-8176-4744-5 . - doi : 10.1007/978-0-8176-4745-2_11 .
- Dolgachev I.V., Iskovskikh V.A. Algebraiske sorters geometri . - 1974. - T. 12. - S. 77 \u003d 170. - (Resultater af videnskab og teknologi. Ser. Algebra, Topologi, Geometri).
- Gizatullin M. Kh. Konstitutive relationer for Cremona-gruppen i flyet // Izv. USSR's Videnskabsakademi .. - 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-gruppen, 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 fly og rum . - Cambridge University Press , 1927. - ISBN 978-0-521-35882-8 .
- Semple JG, Roth L. Introduktion til algebraisk geometri. - The Clarendon Press Oxford University Press, 1985. - (Oxford Science Publications). — ISBN 978-0-19-853363-4 .
- Jean-Pierre Serre . En Minkowski-stil bundet til rækkefølgerne af de endelige undergrupper af Cremona-gruppen af rang 2 over et vilkårligt felt // Moscow Mathematical Journal. - 2009. - T. 9 , no. 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 .