Hitsatut graafit ilman merkittyjä huippuja ovat yksi-yhteen vastaavuudessa Wirtinger-esitysten kanssa seuraavien operaatioiden osalta. Erityisesti, kun otamme huomioon hitsatun graafin, joka on w-graafi ilman merkittyä huippua, voidaan huomata, että tämän graafin suorittaminen ei muuta Wirtinger-esitystä. Tässä yhteydessä huomioimme, että jos suoritetaan R1-siirto tämän graafin suhteen, se ei muuta Wirtinger-esitystä, koska merkkivälin esityksessä esiintyvät elementit pysyvät samanlaisina, vaikka graafin rakenteessa tapahtuisi muutoksia.

Yleisemmin ottaen voidaan todeta seuraavaa. Hitsatut graafit, jotka eivät sisällä merkittyjä huippuja, ovat yksi-yhteen vastaavuudessa Wirtinger-esitysten kanssa. Tämä vastaavuus pätee seuraavien operaatioiden osalta: R1-siirrot, orientoitumisenvaihdokset, yleistetyt stabiloinnit ja Reidemeisterin 3-siirrot. Nämä operaatit säilyttävät ryhmän rakenteen, ja graafien esitykselle voidaan rakentaa vastaava Wirtinger-ryhmä, joka säilyttää alkuperäisen ryhmän ominaisuudet.

Merkittävä huomio on, että vaikka suoritetaan hitsattuja graafeja, niiden taustalla oleva ryhmä säilyy ennallaan. Tämä tarkoittaa sitä, että hitsattu graafi, vaikka se muuttuu operaatioiden myötä, säilyttää saman ryhmän rakenteen. Tämän perusteella voidaan johtaa, että hitsattujen graafien ryhmä on isomorfinen perustavanlaatuiseen ryhmään, joka liittyy liitoksen komplementtiin, erityisesti liittyen tason 4 putkikarttaan.

Edellä esitettyjen havaintojen perusteella voidaan todeta, että hitsattu graafi on suoraan yhteydessä Wirtinger-esitykseen. Tämä yhteys on merkittävä, koska se mahdollistaa hitsattujen graafien tutkimisen ja niiden ominaisuuksien ymmärtämisen Wirtinger-ryhmien avulla. On myös tärkeää huomata, että vaikka hitsatut graafit saattavat näyttää yksinkertaisilta, niihin liittyvä ryhmä voi olla monimutkainen ja sisältää syvällisiä topologisia rakenteita.


Tämän käsitteen ymmärtämisessä on olennaista, että hitsatut graafit eivät ole pelkästään graafisia esityksiä, vaan ne liittyvät myös syvällisempiin matemaattisiin käsitteisiin, kuten ryhmiin ja topologiaan. On tärkeää ymmärtää, että hitsattujen graafien tutkimus avaa oven syvempään ymmärrykseen kolmiulotteisista tiloista ja niiden sisäisistä rakenteista.

Matematiikan ja fysiikan rajapinnat: Yang–Mills-teoria ja topologian rooli

Matematiikan historian suurimpien hahmojen, kuten Eulerin, Laplacen, Cauchyn ja Poincarén, panokset ovat merkittäviä, mutta nämä varhaiset työt eivät itsessään tehneet matematiikasta modernia. Gromov toteaa esipuheessaan teoksessa Partial Differential Relations (1986), joka vaikutti merkittävästi topologian ja geometrian eri alueisiin, että klassinen osittaisdifferentiaaliyhtälöiden teoria on juurtunut fysiikkaan, jossa nämä yhtälöt kuvaavat luonnon lakeja. Tämä ajatus perustuu siihen, että osittaisdifferentiaaliyhtälöt (ODE) voivat kuvata luonnonilmiöitä, mutta nämä ratkaisut ovat erittäin harvinaisia tietyissä funktioavaruuksissa ja edellyttävät usein lisäehtoja, kuten alku- tai reunaehtoja ratkaisujen yksilöllisyyden takaamiseksi. Tämä on perinteinen lähestymistapa, jossa yhtälöt perustuvat fysikaalisiin sääntöihin ja niiden ratkaisut ovat harvinaisia ja vaikeasti löydettäviä.

Gromovin mukaan matematiikan ja fysiikan yhteys on paljon syvempi ja monimutkaisempi, ja hän käsittelee teoksessaan toisenlaista osittaisdifferentiaaliyhtälöiden luokkaa, jotka liittyvät erikoisesti differentiaaligeometriaan. Nämä yhtälöt eivät ole määrättyjä, vaan niiden ratkaisut voivat olla tiheästi jakautuneita funktioavaruuksissa. Tämä eroaa perinteisestä fysiikassa käytetystä, hyvin määritellyistä ja yksiselitteisistä yhtälöistä. Gromov tunnistaa, että vaikka fysiikka tarjoaa ideoita ja teorioita, matematiikka itsessään muokkaa ja määrittää käsitteet, jotta ne saavat täyden loogisen ja strukturaalisen pohjan.

Tämä ajatus jatkuu myös Atiyahin ja Donaldsonin töissä, joissa Yang–Mills-teoria, alun perin fysiikan kenttäteoria, tuli tärkeäksi osaksi matematiikkaa. Atiyah käytti tätä teoriaa eri tavalla kuin fysiikassa: hän lähestyi sitä puhtaasti matemaattisista ongelmista käsin. Donaldson puolestaan käytti Yang–Mills-teoriaa topologisten ja geometristen ongelmien ratkaisemiseen. Tämä luo merkittävän eron fysiikan ja matematiikan välillä, sillä vaikka molemmat alat saattavat käyttää samoja käsitteitä, niitä käsitellään ja sovelletaan eri tavoin.

Tietynlainen vuorovaikutus matematiikan ja fysiikan välillä on selkeästi nähtävissä myös Wittenin ja Seibergin kehittämässä Seiberg–Witten-teoriassa 1990-luvulla. Tämä teoria, joka perustuu supersymmetrian käsitteeseen, johti uusiin topologisiin invarianteihin, joita voidaan käyttää samanlaisten ja jopa voimakkaampien tulosten saavuttamiseen kuin Donaldsonin teoriassa. Vaikka Seiberg–Witten-teoria käyttää edelleen fysikaalisia käsitteitä, kuten monopoleja, sen keskiössä on matemaattinen kehys, joka on täysin erillään fysiikasta. Se todistaa, että fysikaaliset käsitteet voivat tarjota uutta matematiikkaa, mutta kun nämä käsitteet on omaksuttu matematiikkaan, ne saavat täysin uuden elämän ja riippuvat täysin matemaattisista säännöistä.

On tärkeää ymmärtää, että fysikaaliset teorioiden, kuten kvanttimekaniikan (QM) ja kvanttikenttäteorian (QFT), yhteys matematiikkaan ei ole vain teoreettista. Nämä teoreettiset kehykset, kuten Schrödingerin ja Diracin yhtälöt tai Yang–Mills-teoria, ovat esimerkkejä siitä, miten fysiikka voi luoda uusia matemaattisia ongelmia. Kuitenkin, kun nämä ongelmat on esitetty matematiikan kielellä, ne muuttuvat itseään koskeviksi kysymyksiksi ja tarvitsevat oman matemaattisen todistamisensa, mikä eristää ne fysiikasta. Matematiikkaan siirtyneet fysiikan käsitteet elävät matematiikan säännöissä ja teorioissa omilla ehdoillaan, jolloin fysiikka jää taustalle.

Poénarun mielenkiintoinen huomio, joka liittyy gauge-teorian matematiikkaan, tuo esille matematiikan ja fysiikan rajapintojen jatkuvan monimutkaisuuden. Poénaru pohtii Yang–Mills-teorian ja Weylin gauge-teorian merkitystä topologiassa ja huomauttaa, että nelidimensionaalisten moniulotteisten tilojen topologinen ja differentiaalinen luokittelu ovat perustavanlaatuisesti erilaisia. Tämä ero, jota Yang–Mills-teoria auttoi avaamaan, osoittaa, kuinka fysiikassa kehittyneet teoriat voivat heijastaa täysin uusia matemaattisia ongelmia, jotka eivät olleet aiemmin tiedossa.

Erityisesti on tärkeää huomata, että vaikka fysiikka ja matematiikka saattavat vaikuttaa toisistaan poikkeavilta tieteenaloilta, ne ovat syvästi toisiinsa kytkeytyneitä ja kehittävät toisiaan. Fysiikka voi tarjota uusia ongelmia, mutta se ei riitä ratkaisemaan niitä. Kun fysiikan teoreettiset mallit ja käsitteet omaksutaan matematiikkaan, ne saavat uutta merkitystä ja luovat uusia matemaattisia alueita, jotka voivat sitten palata uudelleen vaikuttamaan fysiikkaan. Tämä vuorovaikutus osoittaa, kuinka rikkaasti eri tieteenalat voivat kietoutua toisiinsa ja miten matematiikka voi itse asiassa tarjota uusia näkökulmia ja ratkaisuja myös fysiikan ongelmiin.

Miten todentaa kartoituksen nostaminen ja upottaminen erilaisissa topologisissa tilanteissa?

Kun käsittelemme kartoituksia ja upotuksia, joiden ydin on homotopioiden ja ekvivalenttien muunnosten käsittely, on tärkeää huomioida sekä geometrinen että topologinen rakenne. Oletetaan, että meillä on joukko monimutkaisia topologisia kartoituksia, joiden on säilytettävä tietyt symmetriat ja kytkennät. Oletetaan myös, että haluamme näyttää, miten tällaiset kartoitukset voivat olla upotuksia tai homotopisia tiettyjen vaatimusten täyttyessä. Esimerkki tällaisesta tilanteesta voisi olla kartoitus h1h_1, joka upottaa homotopisen kuvan π(V)\pi(V), missä VV on muunnoksen ff erikoistunut alue.

On tärkeää huomata, että kun h1h_1 on upotus, se ei ainoastaan täytä ehtoa, että se on injektiivinen ja jatkuva, vaan se säilyttää myös ekvivalentit symmetriat kartoituksessa. Tällöin emme tarkastele vain yksittäisiä pisteitä tai alueita, vaan myös sitä, kuinka nämä kartoitukset ja upotukset ovat yhteydessä toisiinsa sekä topologisesti että geometristi.

Tämän lisäksi on huomioitava, että g1g_1 on ekvivalentti homotopia alkuperäisen kuvan α:fSk\alpha: f \to S^k kanssa, missä ff on kartoitus ja SkS^k on kk-ulottuvuuden kuula. Tämä tarkoittaa, että g1g_1 on paitsi jatkuva ja injektiivinen, myös se voi muuntaa alkuperäistä rakennetta niin, että homotopia säilyy. Tällöin on oleellista tarkastella, kuinka nämä muunnokset säilyttävät alkuperäisen rakenteen ja symmetriat, erityisesti silloin, kun käsitellään erityyppisiä kartoituksia ja upotuksia.

Tämän prosessin onnistumiseksi on otettava huomioon monia teknisiä ja geometrisiä yksityiskohtia. Esimerkiksi ϕ\phi-funktion avulla voimme analysoida, miten kartoituksen rakenteet käyttäytyvät tietyissä rajoissa ja kuinka niiden normit ja tangenttivektorit muuttuvat kartoituksen aikana. Kun ϕ\phi on valmisteltu ja se on säännöllinen, sen on oltava myös ekvivalentti ja upottava säilyttäen alkuperäiset symmetriat.

Seuraavaksi, kun tarkastellaan erityistilanteita kuten ψ\psi-homotopia, on keskeistä tutkia sen vaikutusta alkuperäisen rakenteen säilyttämiseen ja kuinka se tuottaa halutun muunnoksen, joka säilyttää upotuksen ominaisuudet. Tässä kontekstissa ϕ\phi ja ψ\psi ovat esimerkkejä siitä, kuinka topologinen muunnos voi johtaa upotukseen, vaikka alkuperäinen kartoitus ei olisikaan yksinkertainen tai suora.

Lisäksi, kun analysoimme kartoituksia, on tärkeää tutkia niiden käytön rajat ja erityisesti se, miten ne vaikuttavat muiden topologisten ominaisuuksien, kuten tangenttivälineiden ja normaalin bundlen, säilymiseen. On mahdollista, että tietyt ehdot saavat aikaan tilanteen, jossa alkuperäinen kartoitus voidaan nostaa upotukseksi ilman, että se menettää keskeisiä topologisia tai geometrisiä ominaisuuksia.

Lopuksi on tärkeää ymmärtää, että vaikka kartoitukset voivat näyttää yksinkertaisilta ja suoraviivaisilta, niiden taustalla piilee syvällinen topologinen rakenne, joka voi olla vaikea havaita ilman tarkkaa analyysia. Kartoituksia ja niiden upottamista käsitellessä on olennaista tunnistaa, miten eri topologiset ja geometristen olosuhteiden välillä kulkee yhteys, joka voi vaikuttaa suoraan kartoituksen rakenteeseen.