Tomasz Mrowka: Dört boyutu ehlileştiren topolog

Tomasz Mrowka, kariyerinin büyük bir kısmını, başka kimsenin dokunamadığı dört boyutlu uzay hakkındaki özellikleri kanıtlamaya adadı; parçacık fiziğinden ödünç alınan denklemleri kullanarak saf topolojideki asırlık soruları çözdü. Ömür boyu süren bir işbirlikçiyle birlikte geliştirdiği en çok alıntı yapılan sonucu, matematikçilerin kanıtlamaktan umudunu kestiği bir varsayımı, birkaç sayfalık yoğun bir analizle çözüme kavuşturdu.

Matematiksel bir miras

Mrowka, 8 Eylül 1961'de, ABD'ye göç eden ve New York Şehir Üniversitesi'nde ders veren genel topoloji uzmanı Polonyalı-Amerikalı matematikçi Stanisław Mrówka'nın oğlu olarak dünyaya geldi. Oğlunun yolu, 1983'te lisans derecesini aldığı MIT'den ve ardından 1988'de Clifford Taubes ve Robion Kirby danışmanlığında Yang-Mills modül uzayları üzerine teziyle doktorasını tamamladığı California Üniversitesi, Berkeley'den geçti. Danışman seçimi önemliydi: Taubes, teorik fiziğin mekanizmalarını (atom çekirdeklerini bir arada tutan kuvvetleri tanımlamak için geliştirilen matematik olan ayar teorisi) soyut şekillerin çalışmasına ithal ederek düşük boyutlu topolojiyi yeniden şekillendiren bir devrimin merkezindeydi.

Topoloğun aracı olarak ayar teorisi

O devrimi yönlendiren ve her şeyden önce Simon Donaldson ile ilişkilendirilen içgörü, fizikçilerin alan denklemlerinin çözümlerinin, dört boyutlu bir manifold üzerinde incelendiğinde, hiçbir klasik topolojik tekniğin göremediği manifoldun şekli hakkında ince bilgileri kodladığıydı. Mrowka, bu mekanizmanın en usta uygulayıcılarından biri oldu. Kariyerinin başlarında Stanford'da, Caltech'te misafir öğretim üyeliğinde ve ardından 1992'den 1996'ya kadar orada profesörlükte bulundu; 1996'da MIT'nin matematik fakültesine katıldı ve kariyerinin geri kalanında orada kaldı; 2007'den 2010'a kadar Simons Profesörlüğü, 2010'dan itibaren Singer Profesörlüğü yaptı ve 2014'ten 2017'ye kadar bölüm başkanlığı görevini yürüttü.

Kronheimer ortaklığı

Mrowka'nın belirleyici bilimsel ilişkisi, 1980'lerin Yang-Mills çevresinde lisansüstü öğrencisi olarak tanıştığı İngiliz-Amerikalı matematikçi Peter Kronheimer ile onlarca yıl süren işbirliği olmuştur. İkili birlikte, Amerikan Matematik Derneği'nin her iki adamı ayrı ayrı kredilendirmek yerine ortak bir başarı olarak iki kez onurlandırdığı kadar önemli bir çalışma bütünü üretti. İlk büyük sonuçları, alanın artık 'Kronheimer-Mrowka temel sınıfları' olarak adlandırdığı, dört-manifold hakkındaki topolojik bilgileri instanton modül uzaylarının yapısından çıkaran, Donaldson'ın orijinal değişmezlerini daha keskin ve hesaplanabilir bir forma dönüştüren değişmezleri tanıttı.

Thom varsayımını çözmek

En ünlü tek başarıları, Seiberg-Witten denklemlerinin keşfinin ayar teorisyenlerine eski Yang-Mills yaklaşımına teknik olarak daha basit bir alternatif sunmasından sonra, 1990'ların başında geldi. Kronheimer ve Mrowka, yeni denklemleri, 1950'lerden beri açık olan, karmaşık projektif düzlemde verilen bir homoloji sınıfını temsil eden bir yüzeyin minimum cinsi hakkındaki Thom varsayımını kanıtlamak için kullandılar. Kanıt, Seiberg-Witten teorisinin önceki ayar teorisyenleri neslinin çözülemez bulduğu problemleri çözebileceğinin ilk ve en dramatik göstergelerinden biriydi ve alanın yeni denklemlere kitlesel göçünü tetiklemeye yardımcı oldu.

Düğümler, tek kutuplular ve P özelliği

Mrowka'nın sonraki çalışmaları aynı araç setini düğüm teorisine taşıdı. Kronheimer ile birlikte, Seiberg-Witten tek kutuplu Floer homolojisini, bir düğüm tümleyenindeki hangi cerrahilerin üç-küre üretebileceğine dair uzun süredir devam eden bir soru olan P özelliği varsayımını kanıtlamak için kullandılar; bu sonuç, üç-manifoldların topolojisi üzerinde daha geniş bir etkiye sahipti. İkili, belirgin bir geometrik kökeni olmayan kombinatoryal bir düğüm değişmezi olan Khovanov homolojisinin, önemsiz düğümü tespit edecek kadar güçlü olduğunu göstererek, konunun neredeyse bağımsız gelişen iki dalını (ayar-teorik Floer homolojisi ve Mikhail Khovanov'un cebirsel yapısı) birbirine bağladı. 2007'de yayınlanan tek kutuplular ve üç-manifoldlar üzerine monografları, alanda standart bir referans olmaya devam etmektedir.

Tanınma

Matematik camiasının bu çalışma bütünü hakkındaki yargısı alışılmadık derecede tutarlı olmuştur. Mrowka ve Kronheimer, 2007'de Oswald Veblen Geometri Ödülü'nü, 2011'de AMS'nin Joseph L. Doob Ödülü'nü ve bir matematikçinin meslektaşlarının gönderebileceği en net sinyal olan 2023'te araştırmaya temel katkı için Leroy P. Steele Ödülü'nü paylaştılar; bu ödül özellikle Kronheimer-Mrowka temel sınıflarını tanıtan ve bunları Thom varsayımına uygulayan makaleler için verildi. Mrowka, 2007'de Amerikan Sanat ve Bilim Akademisi'ne ve 2015'te Ulusal Bilimler Akademisi'ne bağımsız olarak seçildi ve 1994'te ve 2018'de Rio de Janeiro'da Uluslararası Matematikçiler Kongresi'nde genel kurul konuşmaları yaptı. Ayrıca Sloan ve Guggenheim bursları aldı ve MIT'de düzinelerce doktora öğrencisine ve doktora sonrası araştırmacıya danışmanlık yaptı.

Tomasz neden dahi olarak adlandırılıyor

Mrowka'nın durumu, belirli ve iyi belgelenmiş bir teknik ustalık türüne dayanmaktadır: teorik fizikten denklemleri alma ve bunları, doğrusal olmayan kısmi diferansiyel denklemlerin son derece hassas analizi yoluyla, onlarca yıldır çözülememiş saf topoloji sorularını yanıtlamaya zorlama yeteneği. Thom varsayımı 1950'lerden beri doğrudan saldırıya direnmişti; P özelliği varsayımı da benzer şekilde eski ve inatçı bir üç-manifold problemleri ailesine aitti. Her ikisi de düğümler veya yüzeyler hakkında yeni bir fikir yüzünden değil, Mrowka ve Kronheimer'ın modül uzayı analizi üzerindeki hakimiyeti sayesinde düştü; bu, ayar teorisinin en zor teknik katmanıydı ve fiziği anlayan çoğu matematikçi bile tahminlerin çalışmasını sağlayamıyordu. Ulusal Bilimler Akademisi'ne seçilmesi ve Steele Ödülü alıntısı, topologlar arasında bunun tekil bir çalışma olduğuna dair gerçek bir fikir birliğini yansıtmaktadır. Dürüst karmaşıklık şudur ki, bunun neredeyse hiçbiri solo değildir: burada tartışılan her dönüm noktası niteliğindeki sonuç Peter Kronheimer ile ortaktır ve Veblen, Doob ve Steele ödüllerinin tümü ikiliye birlikte verilmiştir, bu da Mrowka'nın dehasını kanıtlara göre yalnız bir hediyeden ziyade bir ortaklıktan ayrılamaz kılar.

Miras

Mrowka'nın temel sınıfları ve onun ve Kronheimer'ın Seiberg-Witten argümanları artık düşük boyutlu topolojiye giren her lisansüstü öğrenciye öğretilen standart araçlardır ve MIT'nin matematik bölümünü yönettiği görev süresi, matematiksel olanın yanı sıra kurumsal bir iz de bırakmıştır. Thom ve P özelliği kanıtları, Taubes ve Donaldson'ın alanı açmasından kırk yıl sonra, ayar teorisinin topoloji için neler yapabileceğinin en net göstergeleri arasında kalmaya devam etmektedir.