Fedor Bogomolov | |
---|---|
Születési dátum | 1946. szeptember 26. (76 évesen) |
Születési hely | Moszkva , Orosz SFSR , Szovjetunió |
Ország | |
Tudományos szféra | matematika |
Munkavégzés helye | |
alma Mater | Moszkvai Állami Egyetem (Mekhmat) |
Akadémiai fokozat | a fizikai és matematikai tudományok doktora |
Akadémiai cím | Egyetemi tanár |
tudományos tanácsadója | S. P. Novikov |
Fedor Alekszejevics Bogomolov ( Moszkva , 1946. szeptember 26. ) szovjet és amerikai matematikus , aki az algebrai geometriával és számelmélettel kapcsolatos munkáiról ismert .
A New York-i Egyetem Courant Institute professzora , a fizika és a matematika doktora. A NAS USA tagja (2022) [3] .
1946. szeptember 26- án született Moszkvában . Alekszej Fedorovics Bogomolov akadémikus rádiómérnök fia és a híres orosz író, Andrej Alekszejevics Molcsanov testvére .
1970 - ben szerzett diplomát a Lomonoszov Moszkvai Állami Egyetem Mechanikai és Matematikai Karán .
1970 és 1973 között a Matematikai Intézet posztgraduális hallgatója volt . V. A. Steklova (témavezető - S. P. Novikov ), 1974-ben védte meg szakdolgozatát. 1973-tól a Matematikai Intézet kutatója. V. A. Steklova. A fizikai és matematikai tudományok doktora (1983).
1994 -ben emigrált az Egyesült Államokba , ahol a New York-i Courant Institute of Mathematics professzora lett .
2010 novembere óta az Algebrai Geometria és Alkalmazásai Laboratórium tudományos igazgatója , Matematikai Kar Moszkvai Közgazdasági Felsőiskola [4] .
F. A. Bogomolov számos nemzetközi tudományos konferencia meghívott előadója. 2009 - től 2014- ig a Central European Journal of Mathematics ( Open Math. ) főszerkesztője volt , a Geometric and Functional Analysis folyóirat szerkesztőbizottságának tagja volt .
Az Institute for Geometry and Physics Miami-Cinvestav-Campinas, Collaboration in the Americas in Geometry and Physics [5] kuratóriumának tagja .
Az első, 1969 -ben megjelent cikk a topológiának volt szentelve. A 70-es évek elején Bogomolov kutatásokat kezdett az algebrai geometria területén .
Bogomolov széles körben idézett matematikus, aki az algebrai geometria területén dolgozik; a Calabi-Yau sokaságokkal , a hyperkähler sokaságokkal, az algebrai felületek elméletével, a stabil vektorkötegekkel, az aritmetikai algebrai geometriával kapcsolatos kutatásai alátámasztják a modern algebrai geometriát és annak az elméleti fizikával (húrelmélet) való metszéspontjait.
F. A. Bogomolov számos erős eredményért felelős, amelyek meghatározzák az algebrai geometria fejlődését. Több mint 100 matematikai tudományos közlemény szerzője.
1973- ban és 1974-ben Bogomolov publikált egy sor tanulmányt [6] [7] [8] , amelyben geometriai bizonyítást adott a kompakt Kähleri-sokaságokra triviális kanonikus köteggel rendelkező dekompozíciós tételre , javítva Calabi eredményén . nevének feltételezése alapján sejtés . A bizonyítás hiányosnak bizonyult, és miután Yau megoldotta a Calabi-sejtést, Bogomolov dekompozíciós tételét Calabi szellemében megcáfolták (a bizonyítékot a Beauville publikálta ). Ugyanakkor Bogomolovnak az algebrai fóliázások elméletével kapcsolatos geometriai elképzelései eredményesnek bizonyultak az ilyen irányú további kutatásokban.
Calabi eredményétől eltérően a Bogomolov-féle dekompozíciós tétel nem két, hanem három „elemi” fajtát tartalmaz triviális kanonikus osztállyal: stabilan algebrai (a modern terminológiában szigorú Calabi-Yau-változatok ) és primitív Hamilton -féle (a modern terminológiában redukálhatatlanul holomorfikusan sokféle szimplektikusan szimbolizálja ). , vagy hyperkähler elosztók). 1978- ban Bogomolov Hamiltoni Kahleri sokaság című cikket közölt, amely bizonyítékot tartalmazott A. N. Tyurin sejtésére, amely szerint minden redukálhatatlanul holomorf szimplektikus sokaság K3-felület . [9] Ez az eredmény tévesnek bizonyult: négy évvel később Fujiki és Beauville kimutatta, hogy a Hilbert- féle pontrendszer egy K3-as felületen és az Abeli-felület általánosított Kummer-sokasága redukálhatatlanul homomorf szimplektikus.
Ugyanakkor ebben a cikkben lemmaként bizonyítjuk a holomorf szimplektikus sokaságokra vonatkozó Bogomolov-Tian-Todorov tételt , amely kimondja, hogy a hiperkähler-elosztó bármely elsőrendű deformációja analitikus deformációra is kiterjed. Ugyanitt Bogomolov megjegyezte, hogy ez a tétel a Calabi-Yau fajtákra is bebizonyítható, amit az 1981-es IHES-előnyomatban meg is tett. Ma ez a tétel a tükörszimmetria fizikai elméletének alapja . Ugyanebben a cikkben , a Hamiltoni Kähleri sokaságokban , egy másodfokú alak létezését mutatják be bármely hiperkähleri sokaság második kohomológiáján, amely K3-felület esetén egybeesik a metszésponti formával . Ma Beauville-Bogomolov alaknak hívják , és ez a kiindulópontja a kompakt hiperkähler-sokaságok kohemológiai algebráinak Verbitsky által végzett tanulmányozásának, amely a hiperkähler-sokaságokra vonatkozó globális Torelli-tétel bizonyításával tetőzik.
1996- ban Bogomolov Guan nem-Kähler-féle holomorf szimplektikus sokaságra vonatkozó példáit a Kodaira-Thurston felület pontjainak Hilbert- sémáiként írta le . [10] Ezeket az elosztókat később Bogomolov-Guan gyűjtőcsöveknek nevezték el, sok tekintetben hasonlítanak a hyperkähler-gyűjtőkhöz – különösen a Beauville-Bogomolov forma egy változatát ismerik.
Bogomolovnak a 2010-es évek második felében írt, holomorf szimplektikus sokaságokkal foglalkozó tanulmányai főként a hiperkähler-sokaságok automorfizmusaival foglalkoznak, [11] [12] [13] és különböző matematikusokkal (köztük Verbitskyvel és Kamenovával ) írt együtt . Külön érdemes megemlíteni a Kurnosovval együttműködésben írt Lagrange-fibrations for IHS fourfolds című cikket, amelyben a Matsushita-sejtést oldották meg a négydimenziós hyperkähler-elosztókra vonatkozóan , miszerint a rajtuk lévő Lagrange-szálak nem tartalmaznak több szálat (amikor ez következik hogy van egy ilyen rost alapja ). [14] Körülbelül ugyanebben az időben ezeket az eredményeket Huybrechts és Xu szerezte meg . [tizenöt]
Az 1977 - es „ Görbék családjai az általános típusú felületeken ” [16] című cikkében Bogomolov bebizonyította, hogy a c általános típusú bármely felületen csak véges számú korlátos nemzetség görbéje található. Ennek a bizonyításnak az ilyen felületeken előforduló holomorf tenzorok és foltosodások vizsgálatán alapuló gondolatait McQuillan [17] több mint 20 évvel később felhasználta az ilyen felületekre vonatkozó Green–Griffith-sejtés bizonyítására .
Későbbi munkáiban, de Oliveirával együttműködve , Bogomolov ismét visszatért a projektív sokaságokon található holomorf szimmetrikus tenzorok vizsgálatához. [18] [19] [20]
A C osztályú felületek osztályozása című 1976 -os cikkében [21] Bogomolov a Kodaira-Enriques osztályozásból származó, úgynevezett VII. osztályba tartozó , nem Kähler felületek felületeit tanulmányozta , amelyek osztályozása még mindig nem teljes. Bebizonyította, hogy a feltétel mellett egy ilyen felület bizonyos véges borítása holomorf foliációt enged meg, ezért vagy Hopf-felület , vagy Inue-felület . A Bogomolov-tétel kivételével a VII. osztályú felületekre vonatkozó egyetlen osztályozási eredmény áll rendelkezésre az esetre , amelyet 2005 -ben kapott Telemann . [22]
2017 - ben a Buonerbával és Kurnosovval közös munkában Bogomolov jelentősen leegyszerűsítette eredményének bizonyítását, a csoportelméletre támaszkodva. [23]
Bogomolov az elsők között volt, aki kiterjesztette a Riemann-felületeken lévő stabil vektorkötegek (vagyis az algebrai görbék) tudományát a magasabb dimenziójú algebrai változatokra. Rajtuk a stabilitás fogalma többféleképpen definiálható; a Bogomolov-instabilitás egy algebrai felületen lévő második rangú kötegnél egy véges részhalmaz (talán üres) és vonalkötegek létezésére redukálódik úgy, hogy van egy pontos hármas köteg , és az egyenlőtlenségek is érvényesek minden bőséges osztóra (hasonló definíció magasabb rangú ügykötegeknél bevezethető). Bogomolov instabilitási tétele [24] kimondja, hogy ha a Chern-számokon egyenlőtlenség van , akkor a köteg instabil. Az 1978 -as Holomorf tenzorok és vektorkötegek projektív sokaságon című cikkében [25] Bogomolov ezekből a megfontolásokból vezette le a Bogomolov-Miyaoka-Yau egyenlőtlenséget (3 helyett 4-gyel).
Ez a dolgozat is a következőket bizonyítja
Tétel. Legyen egy projektív változat és egy koherens első rangú alcsoport. Aztán az Iitake dimenzió ez a rész nem haladja meg a . Sőt, egyenlőség esetén létezik egy olyan köteg egy -dimenziós bázison , hogy .
Ez a klasszikus Castelnuovo-de Francis tétel általánosítása, amely kimondja, hogy ha egy projektív felület két holomorf 1-es alakját megszorozzuk nullával, akkor ez a felület leképezhető egy görbére úgy, hogy ez a két forma emelés. Ezen a görbén az Abeli-differenciálok. Erre a Bogomolov-tételre alapozva Campana bevezette a Bogomolov - allánc fogalmát, amely egy telített koherens részlánc egy holomorf formák kötegében egy projektív sokaságon, amelynek Iitaki dimenziója . Azokat az elosztókat, amelyek nem engedik be a Bogomolov-alköteget, Campana speciálisnak nevezik . Alapvető építőelemként szolgálnak Campana még mindig befejezetlen projektjében, hogy minden algebrai változatot Campana speciális szálakból álló kötegként ábrázoljanak egy általános típusú orbifoldon. Feltételezzük, hogy a Bogomolov-részláncok hiányának tulajdonsága egyenértékű tulajdonságok széles skálájával, mind geometriai (a Kobayashi pszeudometrikus eltűnése), mind pedig számelméleti (egy részmező felett definiált fajtáknál a pontok Zariski-sűrűsége) valamilyen rögzített véges kiterjesztés ; a potenciálsűrűség ekvivalenciája a pszeudometrikus Kobayashi eltűnésével Leng aritmetikai geometriában jól ismert sejtésének ). [26]
Bogomolov algebrai változatok racionalitásáról szóló kutatásának egyik kiindulópontja az
Semmi gond . Legyen egy komplex vektortér és egy véges csoport, amely ható rajta. Igaz, hogy egy tényező racionális változatosság?
Például az és esetén egy szimmetrikus csoport, amely a koordinátatengelyek permutációjával hat rá, egy ilyen tényező racionalitása a szimmetrikus polinomok elméletének jól ismert főtétele . Swan 1969 -ben és Zaltman 1984 -ben talált példákat arra, hogy egy ilyen tényező nem racionális . Ez utóbbi bizonyítása a Brouwer-csoport egy ilyen tényező elemzésén alapult. Egy 1987 - es The Brauer Group of Factor Spaces of Linear Representations [27] című tanulmányában Bogomolov bebizonyította, hogy ez a Brauer-csoport kizárólag algebrával fejezhető ki: vagyis egybeesik a csoport második kohomológiájában szereplő alcsoporttal , amely a következőkből áll: nullával korlátozott elemek a csoport összes Abel-alcsoportjára . Bogomolov hasonló eredményt kapott összetett algebrai csoportok egzakt ábrázolására (e tényezők némelyikének racionalitását korábbi, 1985-ös, Katsylóval közösen írt cikkében igazolta [28] ).
Bogomolov a meromorf függvények mezőinek abszolút Galois-csoportjainak Abeli-alcsoportjait is tanulmányozta tetszőleges algebrai változatokon, különösen bebizonyította, hogy egynél nagyobb rangú Abeli-alcsoportot tartalmaz valamilyen elágazási alcsoport (vagyis van olyan értékelés , mint pl . hogy az alcsoportot a Galois alcsoport tartalmazza , a mező kitöltésének Galois csoportja ebben a rendeletben). [29] Ezeket az eredményeket később Tschinkellel együtt megerősítette . [30] [31] Hasonló eredményeket ért el ez a két matematikus véges mezők feletti variációkra is: a racionális függvények mezője egynél több dimenziójú algebrai változaton egy véges mező felett, egészen elválaszthatatlan kiterjesztésig visszanyerhető. a faktorból a Galois-csoport [32] pro- - teljesüléseinek alsó középső sorozatának második tagjával (karakterikus nulla tételben bizonyítottak egy tételt a racionális függvények mezőjének helyreállítására annak első és második Minlor K-csoportjából ). [33]
Az 1990-es évek vége óta Bogomolov a Kähleri-féle sokaság alapvető csoportjainak tanulmányozásában is részt vett . Különleges helyet foglal el ezekben a vizsgálatokban az I. R. Shafarevich által megfogalmazott sejtés : a kompakt Kähler-elosztó univerzális burkolata holomorfikusan domború (kompakt szálakkal van leképezve egy Stein-elosztóra ). Úgy gondolják, hogy ez a sejtés a maradék véges alapcsoportokkal rendelkező komplex projektív változatokra érvényes (vagyis azokra, amelyekben a véges indexű összes részcsoport metszéspontja egy triviális részcsoport). Bogomolov Katsarkovval együttműködve nem maradvány véges alapcsoportokat tartalmazó felületeket próbált létrehozni, és ezeket egy görbe feletti kötegként kapta meg egy görbeszállal, amely megfelelő monodrómiával rendelkezik az egyes szálak körül. A maradék végesség megsértése ilyen csoportoknál hasonló lenne a Burnside-probléma negatív megoldásához, de a szabad csoport helyett fogókkal ellátott gömbleképezési osztálycsoport faktoraira . [34] [35] Ezek a dolgozatok azonban nem hoztak eredményt a Kähler-féle alapcsoportok kérdésének rendkívül összetettsége miatt, amelyre redukálják, és amelyek pontos státusza nem teljesen világos [36]
Bogomolov számos sejtést fejtett ki az elliptikus görbék torziós pontjainak szerkezetéről és az Abel-féle változatokról . A következő a legegyszerűbben megfogalmazva.
Hipotézis. Legyen , két elliptikus görbe, és szabványos vetületek, amelyek pontpárokat azonosítanak és . Ekkor a torziós ponthalmazok vetületei vagy egybeesnek, és és vagy legfeljebb közös pontjuk van, ahol egy a priori állandó.
Ezt a sejtést Laura de Marco , Holly Krieger és Ye Hexi is bebizonyította . [37] A híresebb Bogomolov-sejtés szintén a Manin-Mumford-sejtéshez kapcsolódik, és azt állítja, hogy a Jacobi-sokaságban lévő számmező fölé definiált görbe bármely beágyazásakor a kellően kis Nero-Severi magasságú pontok száma ez a görbe véges (mivel a torziós pontok pontosan a Nero-Severi zérusmagasság pontjai, ez azt a Manin-Mumford sejtést jelenti, hogy egy görbe torziós pontjainak száma a Jacobi sokaságában véges). Ezt a sejtést Yullmo és Zhang bizonyítja .
Bogomolov aritmetikai eredményei Tschinkel és munkatársaival együttműködve az Enriques-felületeken [38] és az elliptikus K3-felületeken [39] található racionális pontok potenciálsűrűségére (azaz az alapmező véges kiterjesztése utáni sűrűségre) vonatkoznak. a racionális görbék sűrűsége K3 felületeken. [40] [41] Mochizuki úgy véli, hogy Bogomolov Spiro sejtésének geometriai változatának bizonyítása áll a legközelebb e sejtés számtani változatának bizonyításához [42] (amely a matematikai közösség által nem egyértelműen elfogadott apparátust használ).
Tematikus oldalak | ||||
---|---|---|---|---|
|