Po har länge varit en central figur inom de matematiska disciplinerna topologi och talteori, och hans arbete fortsätter att vara en outtömlig källa till inspiration och ny forskning. Hans vän och kollega, Dennis Sullivan, beskriver deras långvariga vänskap och gemensamma matematiska intressen som sträcker sig över ett halvt sekel, långt tillbaka till den tid då Po fortfarande bodde i Rumänien. Sullivan ger oss en inblick i Po’s arbete och knyter det till en större historik över framstående resultat inom topologi. En av Po’s stora bidrag har varit att belysa analogier mellan problem i topologi och talteori, där han som få andra har lyckats knyta samman dessa till synes åtskilda områden.

I kapitel 3, av Sullivan, ges en historik över öppna mångfalder relaterade till komplexa analytiska koordinater. Detta kapitel sätter Po’s arbete i sammanhanget av en serie banbrytande resultat inom topologi från en tid som fortfarande betraktas som den "hjältemodiga eran" i detta ämnesområde, en tid då grundläggande frågor besvarades på löpande band. De resultat som Sullivan nämner, förutom Po’s och hans egna, härrör från matematiska gigantiska som Hirsch, Smale, Phillips, Gromov och Haefliger. Denna historiska bakgrund är viktig för att förstå den enorma påverkan som Po haft på utvecklingen av topologi, och varför hans idéer fortfarande är relevanta.

I de följande kapitlen, som skrivs av Bob Penner, utforskas teorin om universell Teichmüller och de matematiska strukturer som utvecklats för att beskriva olika typer av topologiska utrymmen. Teichmüller-teori, som studerar moduli av komplexa strukturer på mångfalder, är ett område där Po’s bidrag är särskilt inflytelserika. I kapitel 4 och 5 introduceras nya idéer om universella Teichmüller rum, som bygger på tidigare resultat men också tillför nya sätt att tänka på klassificeringen av mångfalder. Penner visar hur teorin kan tillämpas på olika typer av mångfalder genom att analysera de så kallade spin-mapping klassgrupperna och deras relation till topologiska och geometriska strukturer. Detta är ytterligare ett exempel på hur Po’s forskning fortsatt inspirerar till nya metoder och tekniker inom topologi och geometri.

Kapitel 6 av Greg McShane och Vlad Sergiescu handlar om Fermats sats om summan av två kvadrater, och erbjuder ett nytt bevis som använder tekniker från hyperbolisk geometri. Fermats ursprungliga sats har haft stor betydelse inom talteori, och McShane och Sergiescu’s arbete visar på den djupa kopplingen mellan algebraiska och geometriska idéer, något som Po alltid varit djupt engagerad i. Här ser vi på ett konkret sätt hur Po’s teorier om talteori och geometri fortsätter att ge upphov till nya insikter.

I kapitel 7 gör Ken’ichi Ohshika en översikt över slutenheter och kompakta rum inom geometrisk topologi, där han undersöker hur topologiska rum kan "kompletteras" eller "stängas" för att lösa vissa topologiska problem. Här hänvisas också till Po’s arbete om kompakta 4-mångfalder, vilket ger oss ytterligare en dimension av Po’s forskning: inte bara att förstå mångfaldernas struktur utan också hur man kan manipulera och skapa nya rum genom topologiska operationer.

Po’s arbete i sammanhanget av teorier om topologiska mångfalder och deras idealgränser, särskilt i dimension tre, har haft en djupgående effekt på förståelsen av hyperboliska 3-mångfalder och Kleinian-grupper. Detta ämnesområde, som senare blev en hörnsten i Thurston’s arbete, fortsätter att vara en vital del av både teoretisk och tillämpad topologi. Po’s resultat om att produkten av en jämn homotopisk 3-sfär och den reella linjen är en 4-mångfald, vars gräns inte är helt sammanhängande, har visat sig vara en viktig bit i att lösa vissa geometriska och topologiska gåtor.

Vladimir Turaev avslutar diskussionen med kapitel 8, där han introducerar axiomatiska metoder för att studera phylogenetiska träd inom evolutionsbiologi. Det är fascinerande att se hur Po’s matematiska perspektiv kan kopplas till biologi och geometri på ett sätt som inte bara är teoretiskt utan också praktiskt relevant. Här utmanar Turaev oss att tänka på hur matematik, särskilt topologi och gruppteori, kan tillämpas för att förstå biologiska processer på en djupare nivå.

Utöver själva tekniska resultaten i dessa kapitel, är det viktigt att förstå hur Po’s arbete visar på en större vision inom matematiken: att förena olika matematiska discipliner som topologi, talteori, geometri och algebra genom en gemensam förståelse av rum, strukturer och deras inre samband. Hans arbete uppmanar oss att se bortom traditionella gränser mellan matematiska områden och att vara öppna för de dolda kopplingar som ofta finns mellan dem. Det är dessa kopplingar som fortsätter att inspirera ny forskning och som gör Po’s arbete än idag relevant och betydelsefullt för såväl teoretiska som praktiska tillämpningar inom många områden av matematik.

Hur självtransversala kartor påverkar löftning och smidiga kurvor

För en helt självtransversal karta f:NMf: N \rightarrow M, där NN och MM är jämna mångfalder, gäller det att den associerade projicerade differentialen f^PN:PNP(N×M)\hat{f} |_{P_N}: P_N \rightarrow P(N \times M) uppvisar en viss transversell egenskap. Specifikt, för ett sådant ff är det möjligt att definiera ett samband mellan olika typer av smidiga kurvor och deras lyft. Låt oss börja med att undersöka några grundläggande egenskaper av dessa kurvor och hur de relaterar till kartor som är självtransversala.

För att förstå dessa egenskaper, definiera först en smidig kurva γ:RN\gamma: R \rightarrow N där γ(0)=x\gamma(0) = x och γ(0)=v\gamma'(0) = v, som uppfyller relationen f(γ(t))=f(γ(t))f(\gamma(t)) = f(\gamma(-t)) för varje tRt \in R. Denna egenskap är centralt för att kartan ska vara självtransversal, då den möjliggör att lyfta kurvan till en smidig kurva γ^:RN^\hat{\gamma} : R \rightarrow \hat{N}, där N^\hat{N} är den lyfta mångfalden.

När vi övergår till att diskutera projektionskartor, betraktar vi projiceringen p:(N×M)2N2p: (N \times M)^2 \rightarrow N^2, som förbinder olika komponenter av NN och MM. Notera att kurvan δ(t)=(γ(t),γ(t))\delta(t) = (\gamma(t), \gamma(-t)) i N2N^2 inte är tangent till PNP_N vid δ(0)\delta(0), vilket innebär att lyftet δ^\hat{\delta} inte heller är tangent till den lyfta mångfalden P(N×M)P(N \times M). Detta bekräftar att en sådan kurva inte är en enkel tangential lyftning utan kräver en mer detaljerad transversell analys för att förstå dess geometri.

Ett viktigt resultat här är att om kartan ff är självtransversal, så innebär detta att den projicerade kartan f^\hat{f} kommer att korsa PNP_N på ett transversellt sätt. Detta gör det möjligt att härleda flera resultat, till exempel att bilden av f^\hat{f} i N2N^2 sammanfaller med fˉ\bar{f}, vilket är den slutna bilden av ff i N×NN \times N.

Därmed är det möjligt att säga att om ff är en självtransversal karta med korank ett, så är fˉ\bar{f} en smidig delmångfald av N×NN \times N, och ff är en smidig delmångfald av NN. Denna egenskap gäller generellt för stabila kartor med korank ett, som ofta studeras i samband med Morins kanoniska former för stabila kartor.

Det är också intressant att observera att även om kurvor som γ\gamma kan ses som löftningar av projicerade kurvor, så är de inte alltid transversella i sin natur, särskilt när dimensionen nn är större än ett. Detta betyder att även om f^\hat{f} är en smidig submångfald av N^\hat{N}, kan den behöva modifieras för att uppnå en mer finjusterad transversell egenskap.

Vidare, när vi lyfter kartor som är självtransversala, noteras det att den så kallade "Extended Gauss Map" G^\hat{G} kan definieras på ett smidigt sätt, vilket relaterar förändringar i avståndet mellan olika punkter i NN till förändringar i kartan ff. Denna karta spelar en viktig roll när man arbetar med mångfalder utan kant, eftersom den erbjuder en metod att visualisera hur olika punkter på en mångfald förflyttas i en annan.

Sådana begrepp är användbara för att formulera mer avancerade resultat om hur kartor lyfts och vilka villkor som krävs för att dessa lyft ska vara smidiga och transversella. Det är också avgörande att förstå att även om den kompletta självtransversaliteten leder till smidiga submångfalder, innebär det inte alltid att alla korsningar eller projektionsoperationer uppfyller transversella krav utan ytterligare undersökning och justering av kartans beteende.

Förutom de tekniska detaljerna om kurvornas lyft och projicerade kartor, är det viktigt att förstå den bakomliggande geometriska och topologiska strukturen. Detta hjälper till att klargöra varför vissa kartor inte bara kan antas vara transversella eller smidiga utan noggrant analyserade förhållanden.