Professional Documents
Culture Documents
Edward Frenkel - Csók És Matek
Edward Frenkel - Csók És Matek
CSÓK ÉS MATEK
A világ rejtett szíve
Fordította
Michaletzky György, Rejtő Lídia és Tusnády Gábor
Kedves Olvasó!
Köszönjük, hogy kínálatunkból választott olvasnivalót!
Újabb kiadványainkról és akcióinkról
a www.typotex.hu és a facebook.com/typotexkiado
oldalakon értesülhet.
* * *
A matematikai tudás merőben különbözik minden más
tudástól. A fizikai világról alkotott képünk talán mindig torzított
lesz, de a matematikai igazságok sohasem azok. Ezek objektív,
örök és szükségszerű igazságok. Egy matematikai képlet vagy
egy tétel mindenkinek, mindenhol ugyanazt jelenti –
lényegtelen, férfi vagy-e vagy nő, milyen a vallásod vagy a
bőröd színe; és mindenkinek ugyanazt fogja jelenteni ezer év
múlva is. És ami még nagyon fontos, hogy egy csapásra
mindannyiunké. Senki sem szabadalmaztathat egy matematikai
formulát, az mindannyiunk közös értéke. Nincs más a földön,
ami ennyire mély és különleges – mégis mindenki számára
könnyen elérhető. Szinte hihetetlen, hogy a tudásnak ilyen
szinte kifogyhatatlan tárháza létezik. Túl drága ahhoz, hogy
ráhagyjuk a „kiválasztott kevesekre”. Mert mindannyiunké.
A matematika egyik kulcsszerepe az információ elrendezése.
Van Gogh ecsetvonásait is ez különbözteti meg egy puszta
mázolmánytól. Annak köszönhetően, hogy már képesek
vagyunk 3D-ben nyomtatni, megszokott világunk gyökeres
változáson megy át: a fizikai tárgyak szférájából minden
átköltözik az információ hordozóiba. És megfordítva:
hamarosan ugyanolyan könnyen materializálhatjuk az
információt a 3D-nyomtatókon, mint ahogyan most könyv lesz
egy PDF fájlból, avagy az MP3 fájlból muzsika. Ebben a szép új
világban a matematikusok szerepe, ha lehet, még fontosabb
lesz: nekik kell rendben tartaniuk az információt, és megtalálni
hasznosításának módjait.
Ebben a könyvben az egyik legnagyobb gondolatot vázolom,
amely a matematikában az utóbbi ötven évben született: ez a
Langlands-program, amiről sokan úgy gondoljuk, hogy a
matematika nagy egyesített elmélete. Ez nagyon izgalmas
elmélet, amely kapcsolatot sző a matematika látszólag
fényévekre levő ágai: az algebra, a geometria, a számelmélet, a
függvénytan, valamint kvantumfizika között. Ha úgy tekintünk
ezekre a témákra, mint a matematika rejtett világának a
földrészeire, akkor a Langlands-program az az eszköz, amely
átvisz az egyik földrészről a másikra, és vissza is hoz onnan.
A Langlands-programot az 1960-as évek végén Robert
Langlands kezdeményezte, ő az a matematikus, aki
Princetonban Albert Einstein szobájában dolgozott. Ez a
program a szimmetria alapvető matematikai elméletén
alapszik. Ezt az elméletet két évszázaddal korábban egy francia
fiatalember vetette papírra húszéves korában, mielőtt megölték
egy párbajban. Az elméletet később egy újabb lélegzetelállító
felfedezés gazdagította, amely nemcsak a nagy Fermat-tétel
bizonyításához vezetett, de a számokról és egyenletekről való
gondolkodásunkat is forradalmasította. Ezt követte annak
felismerése, hogy a matematikában is van rozetta-kő, és még
mindig tele van rejtélyekkel és metaforákkal. Ezeket az
analógiákat követve, mintha a matematika rejtett
szakadékaiban bolyonganánk, a geometria és a kvantumfizika
birodalmába hatolunk be, rendet és harmóniát teremtünk ott,
ahol addig csak káosz volt.
Ezekről fogok írni, és bemutatom a matematika olyan ritkán
látott oldalait, amelyek lelkesítők, tele vannak ötletekkel és
hihetetlen felismerésekkel. George Cantor, a halmazelmélet
atyja írta: „a matematika lényege a szabadság”. Arra tanít, hogy
a valóságot vizsgáljuk, a tényeket; és kövessük őket, bárhova
vezetnek is. Megszabadít a dogmáktól és előítéletektől, fejleszti
az innovatív képességeinket. Így teremt olyan eszközöket,
amelyekkel feltárhatjuk a dolgok lényegét.
Aztán, hogy ezeket az eszközöket helyes vagy helytelen célok
szolgálatába állítjuk-e, az egészen más kérdés. Például nemrég
gazdasági válsághoz vezetett bizonyos pénzügyi matematikai
egyenletek felelőtlen alkalmazása. Sok döntéshozó, aki
matematikai analfabéta volt, merő mohóságból arrogánsan
hagyatkozott ezekre az egyenletekre, egészen addig, amíg az
egész rendszer majdnem összedőlt. Felhasználták az információ
megszerzéséséhez való aszimmetrikus viszonyukat, blöfföltek
ezekkel az egyenletekkel abban a reményben, hogy mások
úgysem értik. Talán, ha néhányan hamarabb megértették volna
ezeknek az egyenleteknek a feltételeit, nem bolondíthattak
volna minket ilyen sokáig.
Vagy vegyük a következő példát: 1996-ban egy, a kormány
által felkért bizottság az USA-ban megváltoztatta a fogyasztói
árindexet, amely befolyásolja az inflációt és alapja az
adókulcsoknak, a társadalombiztosításnak, az egészségügynek
és sok más indexelt kifizetésnek. Emberek tízmillióinak szóltak
bele az életébe, de sem az új formulát nem tették közzé, sem a
következményeit. És napjainkban az USA gazdaságának a hátsó
kapuin keresztül újra megpróbálták visszacsempészni ezt az
ásatag formulát.[1]
A matematikusok közösségében az ilyen titkos
tanácskozások sokkal ritkábbak. A matematikát úgy kapjuk,
hogy a szigorúsághoz hozzáadjuk az intellektuális teljesség és a
tényekre való támaszkodás szorzatát. Mindannyian
hozzáférünk a matematikai ismeretekhez, a matematika
eszköztárához, és ez megvéd minket attól, hogy néhány
kivételezett hatalmasság önkényes döntésének legyünk az
áldozatai. Ahol nincs matematika, ott szabadság sem lehet.
* * *
img01
Úgy gondoltam, az valóban trendi, hogy egy fizikus valamit egy regény
alapján nevez el. Különösen olyan regény alapján, ami összetett és nehezen
érthető, mint a Finnegan ébredése. Noha még csak tizenhárom éves voltam,
de azt már pontosan tudtam: a tudósoktól elvárható, hogy kizárólag a saját
területükre koncentrálják minden energiájukat, és ne pazarolják azt olyan
csacskaságokra, mint a művészet és a bölcselet. Én sajnos nem ilyen
voltam. Sok barátom volt, szerettem olvasni, és szinte minden érdekelt a
tudományon kívül. Szerettem focizni, órák hosszat kergettem a labdát a
barátaimmal. Ekkor fedeztem fel az impresszionistákat (az ismerkedés egy
nagy kötettel kezdődött, amit apám könyvtárában találtam). Van Gogh volt
a kedvencem. Hatására még festeni is elkezdtem. Sokirányú érdeklődésem
miatt kétkedtem abban, hogy valaha is tudós lesz belőlem. Ezért amikor
megtudtam, hogy van egy Nobel-díjas fizikus, Gell-Mann, akit olyasmi is
érdekel, mint az irodalom (továbbá a nyelvészet, az archeológia és sok
egyéb dolog), nagyon megörültem.
img02
A helyzet az, hogy az 1950-es évek végén aránylag sok elemi részecskét
fedeztek fel, s ezeket hadronoknak nevezték. A neutronok és a protonok
mindketten hadronok, és jelen vannak a hétköznapi életünkben mint az
anyag építőkövei. Ami a többit illeti, senki sem tudta, hogy miért léteznek
(egyáltalán „ki rendelte őket” – ahogyan valaki fogalmazott). Olyan sokféle
hadront fedeztek fel, hogy a neves fizikus, Wolfgang Pauli azzal
viccelődött, hogy a fizikából immár növénytan lett. Elkerülhetetlen volt,
hogy a fizikusok valahogy úrrá legyenek a helyzeten, megtalálják azokat az
elveket, amelyek segítségével értelmezni lehet e részecskék zavarba ejtő
sokféleségét.
img03
Itt a protont p, a neutront n jelöli, a további hat hadron furcsa nevére egy-
egy görög betű utal.
– Jaj ne! – mondta anyám. – Nem szereti a matematikát. Azt hiszi, hogy
unalmas. Kvantumfizikus szeretne lenni.
– Nos…
– SU micsoda?
– Hogy képzeled, hogy megértheted a kvarkokat, ha azt sem tudod, mi az
SU(3) csoport?
Noha egy szót sem értettem a formulákból, de az már ott világossá vált
előttem, hogy megadják a választ a kérdésemre. Olyan volt, mintha maga
Isten jelent volna meg előttem. Megbabonázott mindaz, amit láttam és
hallottam, megérintett egy ismeretlen érzés, amit képtelen voltam szavakba
önteni, de éreztem az energiáját. Olyan érzés volt, mint amikor zenét
hallgatunk, vagy megnézünk egy képet, ami felejthetetlen benyomást
gyakorol ránk. Csupán egy „hűha!” tört fel belőlem.
A szimmetria lényege
Így folytatta:
– Az ilyen transzformációkat szimmetriáknak nevezzük.
Amint látod, a négyzet alakú asztalnak csak négy szimmetriája
van, de a kereknek lényegesen több – konkréten végtelen sok
szimmetriája van. Ezért mondjuk azt, hogy a kerek asztal
szimmetrikusabb.
Ez sok mindent világossá tett.
– Ez könnyen látható megfigyelés – folytatta Jevgenyij
Jevgenyijevics. – Megértéséhez nem kell matematikusnak
lenned. De ha matematikus vagy, felteszed a következő kérdést:
Ha adva van egy tárgy, melyek az összes szimmetriái?
Vegyük a négyzet alakú asztalt. Szimmetriái[1] a következő
forgatások: forgatás 90, 180, 270 és 360 fokkal, az óramutató
járásával ellentétes irányban.[2] Ezt egy matematikus így
mondja: A szimmetriák halmaza négyelemű, ezek rendre a 90,
180, 270 és 360 fokos szögeknek felelnek meg. Ezek mindegyike
egy adott sarkot (amit az ábrán egy körrel jelöltünk meg)
valamelyik másikba viszi át.
Ezen forgatások egyike, a 360 fokos, speciális: nincsen
semmilyen hatása, azonos a 0 fokos forgatással, amikor
egyáltalán semmit sem csinálunk. Ez különleges szimmetria,
hiszen a vizsgált tárgy egyetlen pontjára sincs hatása, minden
pont ugyanott köt ki, ahol eredetileg volt. Ezt identikus
szimmetriának, röviden identitásnak nevezzük.[3]
Megjegyzem, hogy a 360 foknál nagyobb forgatásoknak
megfeleltethetünk egy velük azonos hatású, 0 és 360 fok közötti
forgatást. Például a 450 fokos forgatás azonos a 90 fokos
forgatással, mert 450 = 360 + 90. Ezért csak 0 és 360 közötti
forgatásokat tekintünk.
Na most jön a lényeges lépés: ha az adott listából (90°, 180°,
270°, 360°) kettőt egymás után alkalmazunk, az adott lista
valamelyik elemét kapjuk. Ezt az új szimmetriát a két
szimmetria összerakásának, kompozíciójának nevezzük.
Ez természetesen nyilvánvaló: mindkét szimmetria
változatlanul hagyja az asztalt. Így a két szimmetria
kompozíciója is változatlanul hagyja. Következésképpen a
kompozíció eredménye is szimmetria. Ha például először 90
fokkal forgatjuk el az asztalt, aztán 180 fokkal, akkor összesen
270 fokkal forgattuk el.
Nézzük meg, mi történik az asztallal ezen szimmetriák
hatására. Az óramutató járásával ellentétes irányú forgatás
hatására az asztal jobb sarka (amit körrel jelöltem az előző
ábrán) a felső sarokba megy át. Ha a következő lépésben az
asztalt 180 fokkal forgatjuk el, ez a felső sarok az alsó sarokba
megy át. Az eredmény tehát az, hogy a jobb oldali sarok átmegy
az alsó sarokba. Ez a 270 fokos forgatás hatása.
Még egy példa:
érvényes.
Másodszor, van egy speciális pont a körön, amelyet a 0 fokos
forgatásnak feleltettünk meg. Ez a csoportunk identitás eleme.
Harmadszor, az óramutató járásával ellentétes irányú, ϕ
fokos forgatás inverze az óramutató járásával ellentétes irányú,
fokos forgatás, ami ugyanaz, mint az óramutató járásával
megegyező, 360–ϕ fokos forgatás (lásd a rajzot).
Ezzel leírtuk a kerek asztal forgatásainak a csoportját. Ezt
körcsoportnak fogjuk nevezni. Szemben a négyszögletes asztal
forgatásainak a csoportjával, ennek végtelen sok eleme van,
hiszen 0 és 360 fok között végtelen sok szög van.
Most már biztos elméleti alapokra helyeztük a szimmetriára
vonatkozó intuitív elképzelésünket, és ami több: lett egy
matematikai fogalmunk. Ezt úgy értük el, hogy először
posztuláltuk azt, hogy egy adott tárgy szimmetriája egy olyan
transzformáció, amely megőrzi a tárgyat és tulajdonságait.
Ezután döntő lépést tettünk: vettük az adott tárgy összes
szimmetriáját. Egy négyzet alakú asztal esetében ennek a
halmaznak négy eleme van (a 90 fokos forgatás többszörösei);
egy kerek asztal esetében ez végtelen halmaz (egy kör összes
pontja). Végül megadtuk azt a finomstruktúrát, amellyel a
szimmetriák csoportja mindig rendelkezik: bármely két
szimmetriából összerakhatunk egy újabb szimmetriát, van
identikus szimmetria, és minden szimmetriának van inverze. (A
szimmetriák kompozíciója továbbá asszociatív is, ahogyan azt a
4. jegyzetben említettük.) Ezzel megalkottuk a csoport
matematikai fogalmát.
A szimmetriák csoportja absztrakt objektum, amely
meglehetősen különbözik attól a konkrét tárgytól, amelyből
kiindultunk. Nem érinthetjük meg, nem vehetjük kézbe egy
asztal szimmetriáinak halmazát (noha az asztallal ezt
megtehetjük), de el tudjuk képzelni, lerajzolhatjuk az elemeit,
tanulmányozhatjuk, beszélhetünk róla. E halmaz minden egyes
elemének van egy konkrét jelentése, van benne gondolat, a
konkrét tárgynak valamely partikuláris transzformációját
képviseli, egy szimmetriát.
Az ötödik probléma
A Kerozinka
A megoldás fonata
a + b = b + a.
a + b ≠ b + a.
A matematikustanonc
xn + yn = zn
x + y = z,
32 + 42 = 52.
Ezt már kétezer éve tudjuk. Ami ismeretlen volt, az az, hogy
van-e megoldás 2-nél nagyobb n mellett. Ez elég egyszerű, nem
gondolod? Vajon milyen nehéz egy ilyen kérdést
megválaszolni?
Nos, hát kiderült, hogy meglehetősen nehéz. 1637-ben egy
francia matematikus, Pierre Fermat hagyott egy apró
megjegyzést egy régi könyv margóján, hogy ha n nagyobb mint
kettő, akkor az egyenletnek nincs olyan x, y, z megoldása, hogy
azok mind természetes számok legyenek. Más szavakkal, nem
találhatunk olyan x, y, z természetes számokat, melyekre
x3 + y3 = z3,
vagy
x4 + y4 = z4
xn + yn = zn
img17
Robert Langlands princetoni dolgozószobájában 1999-ben
Fotó: Jeff Mozzochi
img18
imgk01
Itt most a „szimmetria” olyan szabályt jelent, amelyik minden számhoz egy
új számot rendel. Más szavakkal, a szimmetria a számrendszer minden
egyes eleméhez egy új számot rendel magán a számrendszeren belül. Azt
mondjuk, hogy a szimmetria olyan szabály, amely mentén a számok
„átmennek” egy másik számba. Ennek a szabálynak harmonizálnia kell az
összeadás, a kivonás, a szorzás és az osztás műveletével. Most még nem
világos, miért fontosak nekünk a szimmetriák a számok körében. Tarts még
ki egy kicsit mellettem, hamarosan kiderül.
A számrendszerünkben ott van az azonosság szimmetriája, amely szerint
minden szám önmagába megy át. Olyan ez, mint a 0 fokos forgatás,
amelyik mindent változatlanul hagy.
img19
ax2 + bx + c = 0
ax3 + bx2 + cx + d = 0
Hasonlóan, annak a számtestnek a szimmetriái, amely úgy áll elő, hogy egy
tetszőleges racionális együtthatójú polinom gyökeit a racionális számokhoz
hozzávesszük, a szimmetriák Galois-csoportjában az elemek
permutációival jellemezhetőek (mégpedig n elem permutációival, ha a
gyökök különbözőek és nem racionálisak, ahol n az egyenlet foka). Így
rengeteg információhoz jutunk a gyökökkel kapcsolatban anélkül, hogy
ismernénk magukat a gyököket.10
Galois munkássága nagyon jó példa arra, hogy mekkora ereje lehet egy
szerencsés matematikai meglátásnak. Galois nem oldotta meg a feladatot
úgy, ahogy előtte mások próbálták, azaz nem adott megoldóképletet a
polinomok gyökeire. Ehelyett hátba támadta a problémát! Újrafogalmazta
azt, meggyűrte és feltekerte, majd egy teljesen új nézőpontból tekintett le
rá. És ezzel gyökeresen megváltoztatta azt a módot, ahogyan az emberek a
számokra és az egyenletekre gondolnak.
Mágikus számok
xn + yn = zn
egyenletet, ha n legalább 3.
Amint írtam, ezt az eredményt több mint 350 éve, 1637-ben
sejtette meg a francia matematikus. Azt írta egy régi könyv
margójára, amit éppen olvasott, hogy talált egy „valóban
csodálatos” bizonyítást, de a „margó nagyon kicsi ahhoz, hogy
oda leírja”. Képzeld el, ha valaki 350 éve azt írta volna a
Twitterbe, hogy „egy csodálatos bizonyítást találtam, de ahhoz
nem elég százötven karakter” – elnézést, kifutottam a
terjedelemből.
Nem kétséges, hogy Fermat tévedett. 350 év kellett ahhoz,
hogy megtaláljuk a bizonyítást, és az hihetetlenül bonyolult. Két
lépésből áll: először 1986-ban Ken Ribet bebizonyította, hogy a
nagy Fermat-tétel következik az úgynevezett Shimura–
Tanijama–Weil-sejtésből.
(Mondanom kéne talán, hogy a sejtés egy olyan állítás,
amiről azt várjuk, hogy igaz legyen, de nem tudjuk bizonyítani.
Amint megszületik a bizonyítás, a sejtés átalakul tétellé.[2])
Ken Ribet azt mutatta meg, hogy ha lennének olyan x, y, z
számok, amelyek megoldanák Fermat egyenletét, akkor
tudnánk olyan harmadfokú egyenletet konstruálni, amelyiknek
volna olyan tulajdonsága, amit kizár a Shimura–Tanijama–Weil-
sejtés (később majd megmondom, mi lenne ez az egyenlet, és mi
ez a tulajdonság). Ha tudjuk, hogy a Shimura–Tanijama–Weil-
sejtés igaz, akkor ez az egyenlet nem létezhet. De akkor a
Fermat-egyenletet megoldó x, y, z számok sem létezhetnek.[3]
Álljunk meg egy pillanatra, és menjünk még egyszer végig
ennek a bizonyításnak a logikáján. Annak érdekében, hogy
bizonyítsuk a nagy Fermat-tételt, feltesszük, hogy az nem igaz;
vagyis azt tételezzük fel, hogy van olyan x, y, z számhármas,
amelyik megoldja Fermat egyenletét. Aztán eszünkbe jut
ezekből a számokból egy harmadfokú egyenlet, amelynek van
valamilyen kellemetlen tulajdonsága. A Shimura–Tanijama–
Weil-sejtés azt mondja nekünk, hogy ilyen egyenlet nem
létezhet. Na de akkor ezek az x, y, z számok sem létezhetnek.
Tehát mégsem található a Fermat egyenletre megoldás. Vagyis a
nagy Fermat-tétel igaz! A következő folyamatábra mutatja a
bizonyítás lépéseit (a rövidítések: NFT – nagy Fermat-tétel,
STWS – Shimura–Tanijama–Weil-sejtés):
y2 + y = x3–x2.
{0, 1, 2, … , N − 2, N − 1}.
2 + 2 = 1 modulo 3
2 × 3 = 1 modulo 5,
és
4 × 4 = 1 modulo 5,
y2 + y = x3−x2
q(1−q)2(1−q11)2(1−q2)2(1−q22)2(1−q3)2(1−q33)2(1−q4)2(1−q44)2…
y2 + y = x3−x2
q(1−q)2(1−q11)2(1−q2)2(1−q22)2(1−q3)2(1−q33)2(1−q4)2(1−q44)2…
A rozetta-kő
img22
img23
img24
y2 + y = x3−x2
r + s√–1
Térjünk vissza a
y2 + y = x3 – x2
img26
Az már egy ideje ismert volt, hogy mély analógia van a Galois-
csoportok és a fundamentális csoportok között.[21] Ez választ ad
az első kérdésünkre: mi felel meg a rozetta-kő jobb oldali
oszlopában a Galois-csoportnak? Ez a Riemann-felület
fundamentális csoportja.
Az a feladatunk, hogy alkalmazható analógiát találjunk az
automorf függvényekhez, amelyek a Langlands-relációban a bal
oldalon szereplő objektumok. Itt szükség van egy
kvantumugrásra. A jó öreg függvények már nem megfelelőek.
Ezeket a modern matematika sokkal kifinomultabb
objektumaival kell helyettesítenünk. Ezek a kévék, s róluk majd
a 14. fejezetben lesz szó.
Ezt Vlagyimir Drinfeld javasolta az 1980-as években. Új
értelmezést adott a Langlands-programra, ami alkalmazható a
középső és a jobb oldali oszlopra, amelyekben számtestek és
Riemann-felületek szerepelnek. Ezt geometriai Langlands-
programnak nevezzük. Nevezetesen Drinfeld megtalálta az
automorf függvények analógját Weil rozetta-kövének a jobb
oldalán.
Élet a hurokban
Ahogy közeledünk a kör egy adott pontjához, a kör és érintője egyre közelebb
kerülnek egymáshoz.
A csúcs meghódítása
A tudás fája
A Harvard hív
Tisztelettel,
Derek Bok
a Harvard Egyetem elnöke
ap = a modulo p
y2 + y = x3 – x2
Nemes keringők
DRINFELD
EDWARD
Mi az az automorf reprezentáció?
DRINFELD
(hosszú szünet után)
EDWARD
DRINFELD
EDWARD
DRINFELD
Nem! Ez egy új csoport, amit az eredeti Langlands-
duálisának nevezünk.
DRINFELD felírja a táblára azt, hogy LG.
EDWARD
DRINFELD
(megenged magának egy mosolyt)
EDWARD
DRINFELD
EDWARD
Nem értem… legalábbis most még nem. De kérdezek egy
egyszerűbb dolgot: mi mondjuk az SO(3) duális csoportja?
DRINFELD
EDWARD
KÉPVÁLTÁS
HELYSZÍN: Harvard-diákok bulija
Egy tucat, húszas évei közepén levő diák beszélget, és sört meg
bort iszik. EDWARD egy diáklánnyal beszélget.
A DIÁKLÁNY
KÉPVÁLTÁS
HELYSZÍN: Vissza Drinfeld szobájába
DRINFELD
EDWARD
EDWARD
DRINFELD
Pontosan.[6]
EDWARD
DRINFELD
DRINFELD
EDWARD
DRINFELD
EDWARD
DRINFELD
Fogalmunk sincsen.
A KÉP ELSÖTÉTÜL
EDWARD
DRINFELD
DRINFELD
DRINFELD
EDWARD
DRINFELD
Pontosan.
EDWARD
DRINFELD
Azt is láttuk már, hogy közben a matematika jól ismert fogalmai – mint a
számok, függvények, egyenletek – összecserélődnek, kitekerednek vagy
éppen szilánkokra törnek. A többségükről kiderül, hogy nem az a szerepük,
mint amit hittünk róluk. A modern matematika alapfogalmai és
elképzelései sokkal mélyebbek és rugalmasabbak: vektorterek,
szimmetriacsoportok, prímosztók maradékosztályai és persze kévék. Ez azt
jelenti, hogy a matematika több annál, mint ami a szemünkbe ötlik első
látásra, és ami a felszín alatt van, azt Langlands-programja tárja fel. Eddig
még csak megkarcolni tudtuk a világ rejtett szívét. Most, mint egy jó
archeológus, egy mozaik darabjaiként összeillesztjük mindazt, amiről eddig
szó esett. A kirakós játék minden egyes darabja új megvilágításba helyezi
mindazt, amit ismerünk, és segít a rejtély feltárásában. És egyre
lenyűgözőbb lesz a feltáruló kép gazdagsága.
img40
Edward Witten
Ben, Kari és én nem tudtunk nem egymásra nézni. Witten velünk tartott, és
ez nagy győzelmet jelentett számunkra.
Rövid tanácskozás után megegyeztünk egy mindannyiunk számára
megfelelő időpontban, és ez 2004. március 8–10. volt. Ezek után valaki
megkérdezte, kik legyenek a konferencia résztvevői és az előadói.
Felmerült néhány név, és megállapodtunk, hogy a listát később
véglegesítjük, e-mail útján tartjuk a kapcsolatot egymással, és hamarosan
kiküldjük a meghívókat. Ezzel a találkozó befejeződött. Mindez nem vett
igénybe 15 percnél több időt.
img41
Shane Lear fotója (NOAA fényképtár)
A mágneses erő eredete más. Ez egy olyan erő, melyet mágnesek vagy
elektromosan töltött részecskék hoznak létre. A mágnesnek két pólusa van,
északi és déli. Amikor két mágnest ellentétes pólussal helyezünk egymással
szembe, akkor vonzzák, míg az azonos pólusok taszítják egymást. Földünk
egy hatalmas mágnes, ez a mágnes hat az iránytűre. Bármely mágnes
mágneses mezőt hoz létre, amit világosan mutat a következő oldalon
látható ábra.
img42
Dayna Mason fotója6
img43
cékla → sárgarépa
sárgarépa → cékla
hagyma → krumpli
krumpli → hagyma
só → bors
bors → só
húsleves → húsleves
marhalábszár → marhalábszár
és így tovább.
Sajnos a mágneses monopólust még nem fedezték fel kísérletileg, így nem
tudjuk, hogy létezik-e a természetben. Ha nem létezik, akkor
elektromágneses dualitás sem létezik kvantumszinten a természetben.
Ha e kicsi, akkor 1/e nagy lesz. Tehát, ha abból az elméletből indulunk ki,
amelyben az elektron töltése kicsi (és ez a valódi helyzet), akkor a duális
elmélet szerint az elektronnak nagy töltése lesz.
Ez nem egyszerűen öröm volt. Sokkal több, sokkal mélyebb annál: Végül is
mi lehetne rejtélyesebb, döbbenetesebb annál a felismerésnél, hogy a
fizikai világ strukturája szorosan összefonódik mély matematikai
fogalmakkal, olyan fogalmakkal, melyek pusztán a logikában és a formák
szépségében gyökereznek?
img55
img56
Számelmélet és
görbék/véges X Riemann-felület Kvantumfizika
testek
elektromágneses
Langlands- geometriai Langlands-
dualitás
reláció reláció
tükörszimmetria
X fundamentális X fundamentális
Galois-csoport
csoportja csoportja
a Galois-csoport X fundamentális
M(X, LG) feletti
LG-beli csoportjának LG-beli
zéróbrán
reprezentációja reprezentációja
automorf M(X, G) feletti
automorf kéve
függvények függvények
Amikor apám meglátta ezt a diagramot, megkérdezte: Mi
újat hozott Kapusztyin és Witten a Langlands-programba? Ez
természetesen fontos kérdés. Először is összekapcsolták a
Langlands-programot a tükörszimmetriával és az
elektromágneses dualitással, ami azért hatékony, mert így a
Langlands-programban a kvantumfizika eszközeit is
alkalmazhatjuk. Másodszor, a Langlands-program
elképzeléseinek átültetése a kvantumfizikába arra késztette a
fizikusokat, hogy új kérdéseket vessenek fel. Ez önmagában is
meglepő felfedezésekre vezetett. Harmadszor, az A-bránok
fogalomköre jól illeszkedik a Langlands-programhoz. Sok A-
brán struktúrája egyszerűbb, mint az automorf kévéké, ami
nagyon bonyolult tud lenni. Emiatt az A-bránok nyelvét
beszélve, a Langlands-program titkainak a közelébe juthatunk.
Mutatok egy konkrét példát ennek az új nyelvezetnek a
működésére. Fel szeretném vázolni Wittennel közös munkámat,
[18] amit 2007-ben fejeztünk be. De előbb beszélnem kell
valamiről, amit eddig a szőnyeg alá sepertem. Azt a látszatot
keltettem, hogy minden Hitchin-féle modulustér sima, mint a
már megszokott tórusz (vagy mint a fenti ábrákon látható
tökéletes alakú fánkok). Ez azonban a fibrumoknak csak egy
részére igaz. Vannak egészen mások: ezek a sima tórusz
degenerációi. Ha ilyenek nem lennének, a SYZ-sejtés jellemzést
adna minden lehetséges Hitchin-féle modulustér közötti
bránról. De a degenerált tóruszok létezése drámaian
elbonyolítja ezt a tükörszimmetriát. A kérdés legizgalmasabb
része éppen az, hogy mi történik az ilyen degenerált tóruszokon
„élő” bránokkal.
Kapusztyin és Witten a cikkükben csak azt az esetet
vizsgálták, amikor a tükörszimmetria sima tóruszokra
korlátozódik. Nyitva hagyták a degenerált tóruszok esetét. Ezek
közül a Wittennel közös cikkünkben a legegyszerűbb elfajult
esetet, az úgynevezett „orbifold szingularitású” tóruszokat
vizsgáltuk. Ilyen az alábbi ábra összecsippentett tórusza.
img57
img58
Kérdés, mi történik akkor, ha a Hitchin-tér zéróbránja egy
ilyen speciális pontba koncentrálódik, mint amit az ábra mutat,
ahol már egyáltalán nincs a fánknak dereka. A matematikusok
ezt orbifold szingularitásnak nevezik.
Kiderül, hogy ennek a pontnak van egy extra
szimmetriacsoportja. A fenti példában ez ugyanaz, mint amit a
pillangó szimmetriáinál láttunk. Más szavakkal, az identikus
elemből áll és egy másik elemből, ami a pillangószárnyak
felcserélésének felel meg. Ez azt jelenti, hogy az adott pontba
nem egy, hanem két zéróbrán koncentrálódik. A kérdés tehát az,
hogy mik lesznek a megfelelő A-bránok a tükörszimmetrikus
Hitchin-féle modulustérben. (Ebben az esetben G az SU(2)
csoport lesz, amely az SO(3) csoport Langlands-duálisa.)
Amint azt Wittennel a cikkben kifejtjük, a Hitchin-fibrálás
bázisában ülő három speciális pont mindegyikében a
tükörduális oldalon a tórusz olyan lesz, mint amit az alábbi
ábra mutat (ezt az ábrát is a cikkünkből vettem).
img59
Előszó
1. Edward Frenkel, Don’t Let Economists and Politicians Hack
Your Math, Slate, February 8, 2013, [Külső hivatkozás]
6. Lásd Sean Carrol, The Particle at the End of the Universe. How
the Hunt for the Higgs Boson Leads Us to the Edge of a New
World, Dutton, 2012.
7. 1872-ben, a nagy hatású erlangeni programjában alkalmazta
kiindulópontként a matematikus Félix Klein azt a gondolatot,
hogy a formákat meghatározzák a szimmetriatulajdonságaik –
eszerint tetszőleges geometria esetén a lényeges
tulajdonságokat egy szimmetriacsoport határozza meg.
Például az euklideszi geometria esetén a szimmetriacsoport az
euklideszi tér összes olyan transzformációjából áll, amely
megőrzi a távolságot. Ezek a transzformációk forgatások és
eltolások kompozíciói. Nem-euklideszi geometriák más
szimmetriacsoportoknak felelnek meg. Ez lehetővé teszi a
lehetséges geometriák osztályozását a hozzájuk tartozó
szimmetriacsoportok osztályozása segítségével.
8. Ez nem azt akarja mondani, hogy egy matematikai állítás
semmilyen vonatkozásban sem lehet interpretáció tárgya:
például az olyan kérdések, hogy egy adott állítás mennyire
fontos, milyen széles körben alkalmazható, mennyire
befolyásolta a matematika fejlődését stb., lehetnek vita tárgyai.
Azonban az állítás értelme – hogy pontosan mit is mond – nem
interpretáció kérdése, feltéve, ha az állítás logikailag
konzisztens. (Az állítás logikai ellentmondás-mentessége nem
vita tárgya, ha egyszer megválasztottuk azt az
axiómarendszert, amelyben az állítást megfogalmaztuk.)
9. Vegyük észre, hogy minden egyes forgatás tetszőleges kör
alakú tárgy – pl. a kerek asztal – szimmetriatranszformációja
is egyben. Ezért elvben beszélhetnénk a forgatáscsoportnak a
sík helyett a kerek asztal szimmetriatranszformációi által
meghatározott reprezentációjáról is. Ugyanakkor a
matematikában a „reprezentáció” fogalmát speciálisan arra az
esetre tartjuk fenn, amikor az adott csoport elemei az n-
dimenziós euklideszi tér szimmetriáihoz vezetnek. Ezek a
szimmetriák szükségszerűen megegyeznek azokkal, amelyeket
a matematikusok lineáris transzformációknak neveznek. A 14.
fejezet 2. jegyzete fejti ki ezt a fogalmat.
10. A forgatáscsoport tetszőleges g eleme esetén az n-dimenziós tér
megfelelő szimmetriáját jelölje Sg. Ez tetszőleges g esetén
szükségképpen lineáris transzformáció, továbbá a következő
tulajdonságoknak kell teljesülniük: először is, a csoport
tetszőleges két eleme, g és h esetén, az Sg ⋅ h szimmetria meg
kell egyezzen az Sg és Sh szimmetriák kompozíciójával.
Másodszor, a csoport egységelemének megfelelő szimmetria a
tér identikus szimmetriája kell legyen.
11. A későbbiekben felfedezték, hogy van még további három kvark
ezek neve c-kvark, t-kvark, illetve b-kvark –, továbbá a
megfelelő antikvarkjaik.
4. fejezet. A Kerozinka
1. Mark Saul, ibid.
6. fejezet. A matematikustanonc
1. Egyesek azt gondolják, hogy Fermat talán blöffölt, amikor azt a
megjegyzést a margóra feljegyezte. Én nem így gondolom.
Szerintem egyszerűen csak tévedett. Mindegy, hálásaknak kell
lennünk neki – ez a kis, margóra írt megjegyzés határozottan
pozitív hatással volt a matematika fejlődésére.
2. Pontosabban, bebizonyítottam, hogy az n tetszőleges d osztója
esetén a q-adik Betti-szám, ahol q = n(d − 2)/d pontosan ϕ(d),
továbbá, hogy az n − 1 mindegyik d osztója esetén a q-adik
Betti-szám, ahol q = (n − 1)(d − 2)/d pontosan ϕ(d). Bnʹ minden
további Betti-száma 0-val egyenlő.
1985-ben Mihail Gorbacsov került hatalomra, és nem sokkal ezu
3. útjára indította az új irányvonalat. Ez a peresztrojka. Én
úgy tudom, hogy az a fajta szisztematikus diszkrimináció,
melyben tapasztalatom szerint a zsidó származású jelentkezők
részesültek a Moszkvai Állami Egyetem felvételi vizsgája
során, 1990 körül véget ért.
4. S. Zdravkovska és P. Duren, Golden Years of Moscow
Mathematics, American Mathematical Society, 1993, p. 221.
1 2
2 4
3 1
4 3
Azonnal látjuk, hogy az 1, 2, 3, 4 számok mindegyike pontosan
egyszer szerepel a jobb oldali oszlopban. Azaz, amikor 2-vel
szorzunk, ugyanazokat a számokat kapjuk vissza valamilyen
permutált alakban. Például az 1 szám a harmadik sorban
jelenik meg. Ez azt jelenti, hogy ha a 3-at megszorozzuk 2-vel,
akkor 1-et kapunk modulo 5 eredményül. Más szavakkal, 3
lesz a 2 inverze, ha modulo 5 tekintjük az aritmetikát.
Ugyanez teljesül általánosan is: ha a fentihez hasonló
táblázatot készítünk tetszőleges p prím és az 1, 2, …, p − 1
listából választott a szám esetén, akkor az 1, 2, …, p − 1 számok
mindegyike pontosan egyszer fog szerepelni a jobb oldali
oszlopban.
Bizonyítsuk ezt be, ismét az indirekt bizonyítás módszerét
alkalmazva. Tegyük fel, hogy nem ez az eset. Ekkor az 1, 2, …, p
− 1 számok valamelyike kétszer fordul elő a jobb oldali
oszlopban. Legyen ez a szám n. Ez azt jelenti, hogy az 1, 2, …, p
− 1 számok között két olyan is van – legyenek ezek c1 és c2
(feltehetjük, hogy c1 > c2) –, hogy
a · c1 = a · c2 = n modulo p.
Azonban ekkor
a · c1 – a · c2 = a · (c1 – c2) = 0 modulo p.
Az utolsó képlet szerint a ⋅ (c1 − c2) osztható p-vel. Viszont ez
lehetetlen, mivel p prím, és mind a, mind pedig c1 − c2 az {1, 2,
…, p − 1} halmazból származik.
Következésképp a táblázat jobb oldali oszlopában az 1, 2, …, p
− 1 számok mindegyike csak egyszer jelenhet meg. Azonban
pontosan p − 1 ilyen szám van, és éppen ugyanennyi számú
sor van a táblázatban. Ezért az egyetlen lehetőség az, hogy
mindegyik szám pontosan egyszer szerepeljen. Ekkor azonban
az 1 szám is valahol szerepel a jobb oldali oszlopban. Legyen b
a bal oldali oszlopban ennek megfelelő szám. Ekkor azonban
a·b=1 modulo p
Ezt akartuk bizonyítani.
imgk37
imgk38
imgk39
17. Goro Shimura, Yutaka Taniyama and his time. Very personal
recollections, Bulletin of London Mathematical Society, vol 21.
1989, p, 193.
img68
img69
img70
img71
Epilógus
1. Edward Frenkel, Robert Langlands és Ngô Bao Châu, Formule
des Traces et Fonctorialité: le Début d’un Programme, Annales
des Sciences Mathématiques de Québecv vol. 4., 2010, p. 199–
243. Online elérhetőség: [Külső tartalom – PDF]
Edward Frenkel, Langlands Program, trace formulas, and their
geometrization, Bulletin of AMS, vol. 50 (2013) 1–65. Online
elérhetőség: [Külső tartalom – PDF]
Lábjegyzetek
1. Ferenczy Győző fordítása
2. Vegyük észre, hogy az asztal pörgetése nem szimmetria,
hiszen fejreállítaná az asztalt – és akkor még nem is
beszéltünk a lábakról. Ha csak négyzetről vagy körről lenne
szó, a pörgetések elfogadható szimmetriák lennének
(nincsenek lábak). Ezeket be kéne vennünk a megfelelő
szimmetriacsoportba.
3. Mindez egy évvel azelőtt történt, hogy Mihail Gorbacsov
hatalomra került, és évekkel azelőtt, hogy elindította a
peresztrojkát. 1984 totalitárius Szovjetuniója pontos
másolata volt Orwell látnoki regényének.
4. Akkoriban ennek Gubkin Petrokémiai és Gázipari főiskola
volt a neve (I.M. Gubkin sok évvel korábban az Olaj- és
Gázipari Minisztériumot vezette). Amikor ott
diákoskodtam, átnevezték Gubkin Olaj- és Gázipari
Főiskolának, később Gubkin Olaj- és Gázipari Egyetem lett
belőle.
5. speciális matematika tagozatos
3D printing 3D-nyomtatás
a
A-brane A-brán
abelian group Abel-csoport
advanced study korszerű kutatás
adversity csapás
advisor témavezető
algebraic closure algebrai lezárás
alas sajnos
alluring felcsigázó
ambient környező
analogous analóg, hasonló
analogy analógia
apt találó
asymmetry aszimmetria
atom atom
audition kihallgatás
authorities hatóságok
automorphic automorf
automorphic funtion automorf függvény
automorphic representation automorf reprezentáció
avatar avatár
b
base bázis
bead gyöngy
B-bran B-brán
Betti number Betti-szám
blueprint terv
borscht borscs
braid group fonatcsoport
brane brán
bundle nyaláb
c
cadre csomó
calculator számológép
categorification kategorifikálás
category kategória
chain smoker láncdohányos
child prodigy csodagyerek
circle kör
circle group körcsoport
classical electromagnetism klasszikus elektromágnesség
compatible harmonizál
complex number komplex szám
composed összerakott
composition kompozíció
computer számítógép
condescending leereszkedő
conjecture sejtés
connoisseur ínyenc
cool menő
cop hekus
correlation function korrelációfüggvény
correspondence korrespondencia,
megfeleltetés, kapcsolat
~ one-to-one ~ kölcsönösen egyértelmű
cross-product keresztszorzat (vektoriális
szorzat)
cryptography titkosírás (kriptográfia)
cubic equation harmadfokú egyenlet
cup trick csupros trükk
curvature görbület
curve görbe
curve over finite field véges test feletti görbe
d
dance keringő
danish pastry dán péksütemény
dash gondolatjel
dazzling káprázatos
D-brane D-brán
deconstructing dekonstruálni
decuplet tízes
definition definíció
delicate nemes
delicious gyönyörűséges
demotion lefokozás
depict ábrázolni
differential equation differenciálegyenlet
dimension dimenzió
dimensional reduction dimenzióredukció
donut fánk
draw vonzás
duality dualitás
~ electromagnetic ~ elektromágneses
down le
e
elated örömmámorban úszó
electromagnetic duality elektromágneses dualitás
electromagnetism elektromágnesség
~ classical ~ klasszikus
~ quantum ~ kvantum
eloquent ékesszóló
emergent felbukkanó
enchanted by megbabonázódott vmitől
endnote lábjegyzet
endurance tartósság
engaging vonzó
equation egyenlet
f
fade in bekapcs
fascinating ígéretes
Fermat’s Last Theorem nagy Fermat-tétel
fiber fibrum (rost)
fiber bundle fibrált nyaláb, v. ö. fibration
Fibonacci retracement Fibonacci-visszacsatolás
fibration fibrálás
field a) (fizikában) mező,
b) (algebrában) test,
c) (geometriában) mező
finite field véges test
flag manifold zászlósokaság
flat lapos, nem görbült
flip pördít
force of attraction vonzóerő
free-field szabad mező
fundamental fundamentális
fundamental group fundamentális csoport
fundamental lemma fundamentális lemma
g
gauge mérce
gauge group mércecsoport
gauge theory mérceelmélet
generating function generátorfüggvény
genus génusz
golden ratio aranymetszés
graduate student doktorandusz (hallgató)
gravity gravitáció, tömegvonzás
group csoport
~ abelian ~ abeli
~ finite ~ véges
~ finite-dimensional ~ véges dimenziós
~ infinite ~ végtelen
~ infinite-dimensional ~ végtelen dimenziós
~ non-Abelian ~ nemkommutatív
~ of permutations ~ permutáció
~ solvable ~ feloldható
guiding vezérlő
gut-wrenching embert próbáló
h
hadron hadron
harmonic harmonikus, felhang
harmonic analysis harmonikus analízis
Harvard University Harvard Egyetem
Higgs boson Higgs-bozon
Hitchin fibration Hitchin-fibrálás
Hitchin moduli space Hitchin-féle modulustér
hole lyuk
homological homologikus
hyphen kötőjel
i
idea elképzelés
int. helyszín
identical symmetry identikus szimmetria
insight ötlet
instanton insztanton
integer egész
inverse symmetry inverz (fordított) szimmetria
k
Kac–Moody-algebra Kac–Moody-algebra
knot csomó
l
Langlands correspondence Langlands-megfeleltetés
Langlands dual group Langlands-duális csoport
Langlands Program Langlands-program
~ geometric ~ geometriai
Langlands relation Langlands-reláció
Large Hadron Collider nagy hadronütköztető
Lie-algebra Lie-algebra
Lie group Lie-csoport
linear transformation lineáris transzformáció
link lánc
literally szó szerint
loop hurok
loop group hurokcsoport
loop space huroktér
love szerelem, szeretet, csók
m
manifold sokaság
map leképezés
Maxwell’s equation Maxwell-egyenlet
math matek, matematika
medical orvosi, egészségügyi
Massachusetts Institute for nem fordítjuk le
Technology
metallurgy kohászat
mileage (to get a lot) nagy hasznunkra van
mirror tükör
mirror symmetry tükörszimmetria
modular arithmetic modulusszámolás
modular form moduláris forma
modulo N modulo N
monodromy monodrómia
monopole monopólus
morphism morfizmus
n
natural number természetes szám
neat finom
neutron neutron
no-brainer triviális
non-abelian group nem-abeli (nemkommutatív)
csoport
non-Euclidean geometry nem-euklideszi geometria
note lábjegyzet
nuclear force magerő
number field számtest
number theory számelmélet
numericak system számrendszer
o
object tárgy, objektum
one-to-one correspondence egy-egy értelmű
megfeleltetés
oper oper
octet nyolcas
online számítógépes
operation művelet
orbifold singularity orbifold szingularitás
overlap number átfedési szám
p
path pálya, útvonal
pattern mintázat
pinched karcsúsított
pineapple ananász
polynomial polinom
polynomial equation polinomegyenlet
~ cubic ~ harmadfokú
~ over finite field ~ véges test feletti
~ quadratic ~ másodfokú
~ quintic ~ ötödfokú
posesses rendelkezik
pretzel perec
prime number prímszám
product (1) szorzat
product (2) termék (17. fejezet)
profound mélységes
project feladat
proton proton
puzzle kirakós játék
q
quantum kvantum
quark kvark
quantum computing kvantumszámítás
quantum electromagnetism kvantum-
elektromágnesesség
quantum field theory kvantumtérelmélet
quantum group kvantumcsoport
quantum physics kvantumfizika
quark kvark
quintic kvint
r
rapport támogató
rational number racionális szám
real number valós szám
recombination rekombináció
relativity theory relativitáselmélet
representation reprezentáció
~ automorphic ~ automorf
~ of fundamental group ~ fundamentális csoporté
~ of Galois group ~ Galois-csoporté
~ of Kac–Moody-algebra ~ Kac–Moody-algebráé
~ two-dimensional ~ kétdimenziós
Riemann surface Riemann-felület
Rites of Love and Math A szerelem és a matek rítusai
Rosetta stone rozetta-kő
RSA algorithm RSA-algoritmus
rite szertartás, rítus
round kerek
s
salient szembetűnő, lényeges
scenario szituáció
screenplay forgatókönyv
Séminare Bourbaki Bourbaki-szeminárium
set halmaz
serendipitous szerencsés
shape alak, forma
sheaf kéve
Shimura-Tanijama-Weil Shimura–Tanijama–Weil-
conjecture sejtés
sigma model szigma-modell
slate lista
smooth sima
SO(3) group SO(3) csoport
solicit elkér
solvable feloldható
space-time téridő
spectral sequence spektrális sorozat
sphere gömbfelület
spin spin
split osztódik
splitting field hasítómező
strange furcsa
stress feszültség
string theory húrelmélet
strong force erős kölcsönhatás
SU(2) group SU(2) csoport
subversive bomlasztó
superstring theory szuperhúrelmélet
surface felület
symmetry szimmetria
~ identical ~ identikus
~ inverse ~ inverz
symmetry breaking szimmetriatörés
symmetry group szimmetriacsoport
surface felület
stack kupac
string vonalka, húr
string theory húrelmélet
stunning megdöbbentő
t
T-duality T-dualitás
tachyon tahion
tangent line érintőegyenes
tangent plane érintősík
tangent space érintőtér
target manifold képsokaság
tattoo tetoválás
taxonomy rendszertan
teacher tanító
theorem tétel
theory elmélet
thread szál
tie összeragaszt
topology topológia
toric tórikus
torus tórusz
~ degenerate ~ elfajult
~ mirror dual ~ tükörduális
thread fonal
trace nyom
tumor daganat
turntable kapcsolótábla
two-dimensional quantum kétdimenziós
field theory kvantummezők elmélete
u
ubiquitous mindenütt jelen levő
undergraduate egyetemi hallgató
unification egyesítés
unitary unitér
up fel
upshot zamat, kimenetel
x
winding number forgatási szám
worldsheet világfelület
y
Yang-Mills theory Yang–Mills-elmélet
v
vector vektor
vector field vektormező
vector space vektortér
versatile sokoldalú
viable ígéretes
Virasoro algebra Virasoro-algebra
Visiting Professor vendégoktató
w
weak force gyenge kölcsönhatás
Weil group Weil-csoport
whole number egész szám
z
zero-brane null-brán
Útmutató az olvasónak
www.typotex.hu
facebook.com/typotexkiado
info@typotex.hu
Felhasznált betűtípus
Noto Serif – SIL Open Font Licence