Ricci flöde
Ricci-flödet är ett system av partiella differentialekvationer som beskriver deformationen av en Riemannisk metrik på ett grenrör .
Detta system är en icke-linjär analog till värmeekvationen .
Namngiven i analogi med Ricci-krökningen , för att hedra den italienska matematikern Ricci-Curbastro .
Ekvation
Ricci-flödesekvationen har formen:
där betecknar en enparametersfamilj av riemannska mått på en komplett grenledning (beroende på en verklig parameter ), och är dess Ricci-tensor .
![{\displaystyle g_{t))](https://wikimedia.org/api/rest_v1/media/math/render/svg/41456e69ac70ddc3b17c94885bc75700f5a151e9)
![t](https://wikimedia.org/api/rest_v1/media/math/render/svg/65658b7b223af9e1acc877d848888ecdb4466560)
![{\displaystyle \mathrm {Rc} _{t))](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4d40e315b96b439c21a73f618b132d43d28f831)
Egenskaper
- Formellt sett är ekvationssystemet som ges av Ricci-flödet inte en parabolisk ekvation . Det finns dock ett paraboliskt ekvationssystem som föreslagits av Deturk , så att om en Riemannisk metrisk på ett kompakt grenrör och , är lösningar av system och , då är det isometriskt för alla .
![R](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b0bfb3769bf24d80e15374dc37b0441e2616e33)
![R'](https://wikimedia.org/api/rest_v1/media/math/render/svg/43cc152440f75fd8f842f4225a7484bb431b3343)
![g_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32d13273b9af4564fa2c421c96d039c414db8628)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle g_{t))](https://wikimedia.org/api/rest_v1/media/math/render/svg/41456e69ac70ddc3b17c94885bc75700f5a151e9)
![{\displaystyle g'_{t))](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d599d014010bd0a7bdc33fdc09e5a674310c488)
![R](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b0bfb3769bf24d80e15374dc37b0441e2616e33)
![R'](https://wikimedia.org/api/rest_v1/media/math/render/svg/43cc152440f75fd8f842f4225a7484bb431b3343)
![{\displaystyle (M,\;g_{t})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6c7093579882894ad30891ad38a56cfe94b2d7f)
![{\displaystyle (M,\;g_{t}')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18ed08040df9eff265a07d1c952ac0aa68ea0634)
![t](https://wikimedia.org/api/rest_v1/media/math/render/svg/65658b7b223af9e1acc877d848888ecdb4466560)
- Denna konstruktion förenklade avsevärt beviset på existensen av en lösning, den kallas "Deturks trick".
- På samma sätt som värmeekvationen (och andra paraboliska ekvationer ), genom att sätta godtyckliga initiala villkor vid , kan man få lösningar endast i en riktning i , nämligen .
![t=0](https://wikimedia.org/api/rest_v1/media/math/render/svg/43469ec032d858feae5aa87029e22eaaf0109e9c)
![t](https://wikimedia.org/api/rest_v1/media/math/render/svg/65658b7b223af9e1acc877d848888ecdb4466560)
![{\displaystyle t\geqslant 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d5d93cba399463a0396096a0bd4b85b427b2e09)
- I motsats till lösningarna i värmeekvationen fortsätter Ricci-flödet som regel inte på obestämd tid vid . Lösningen fortsätter till maximalt intervall . Om , naturligtvis, när man närmar sig krökningen av grenröret går till oändlighet, och en singularitet bildas i lösningen . Beviset för Thurstons gissningar baserades på studiet av singulariteter, som Ricci strömmar vilar mot.
![{\displaystyle t\to \infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a34d7a61899d577d950881b4a44888d43f3fa93)
![{\displaystyle [0,\;T)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e81bb43378427021231bc43ec5686dde18c90e8)
![T](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec7200acd984a1d3a3d7dc455e262fbe54f7f6e0)
![T](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec7200acd984a1d3a3d7dc455e262fbe54f7f6e0)
- Pseudolocality - om en del av en punkt i det första ögonblicket nästan ser ut som en bit av euklidiskt utrymme, kommer denna egenskap att finnas kvar under en viss tid i Ricci-flödet i ett mindre område.
Ändra de geometriska egenskaperna
- För volymen av måttet är förhållandet sant
![{\displaystyle \mathrm {vol} _{t))](https://wikimedia.org/api/rest_v1/media/math/render/svg/e68643725014e0fc1c1bf46a3c68f7b78f0dc219)
![{\displaystyle g_{t))](https://wikimedia.org/api/rest_v1/media/math/render/svg/41456e69ac70ddc3b17c94885bc75700f5a151e9)
![{\displaystyle {\tfrac {\partial }{\partial t))(\mathrm {d} \,\mathrm {vol} _{t})=-\mathrm {R} _{t}\cdot (\mathrm {d} \,\mathrm {vol} _{t}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7da171ee8b79c3863357d3f6b2a449e67862afb)
- För den skalära krökningen av metriska , relationen
![{\displaystyle \mathrm {R} _{t))](https://wikimedia.org/api/rest_v1/media/math/render/svg/368e7fee42969e29829dbca7ef0e17b83efd80cb)
![{\displaystyle g_{t))](https://wikimedia.org/api/rest_v1/media/math/render/svg/41456e69ac70ddc3b17c94885bc75700f5a151e9)
![{\displaystyle {\tfrac {\partial }{\partial t))\mathrm {R} _{t}=\triangel _{t}\mathrm {R} _{t}+|\mathrm {Rc} _{ t}|^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/263d737248575564d49811bfa87d2bca3cddcc21)
där definieras som för en ortonormal ram vid en punkt.
![{\displaystyle |\mathrm {Rc} _{t}|^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc287a03f7dc58cb7a2e9bfffb814093df3a9d1e)
![{\displaystyle \sum _{i,j}(\mathrm {Rc} (e_{i},e_{j))^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba900beb6099760f0b73f336e30bb8160cad98e8)
![\{e_{i}\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d45dea23899c892d30b142d73ed0fa19233ee4a5)
- I synnerhet, enligt maximiprincipen , bevarar Ricci-flödet positiviteten hos den skalära krökningen.
- Dessutom minskar inte infimum av den skalära krökningen.
- För varje -ortonormal ram vid en punkt finns det en så kallad medföljande -ortonormal ram . För den krökningstensor som är skriven i denna bas är förhållandet sant
![g_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32d13273b9af4564fa2c421c96d039c414db8628)
![{\displaystyle \{e^{i}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58c5a4b8c73f70d664b9860baf59f7b1f228d003)
![x\i M](https://wikimedia.org/api/rest_v1/media/math/render/svg/9df57d73e9532bb93a1439890bcddbc2806f5859)
![{\displaystyle g_{t))](https://wikimedia.org/api/rest_v1/media/math/render/svg/41456e69ac70ddc3b17c94885bc75700f5a151e9)
![{\displaystyle \{e_{t}^{i}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0a4653945ae6713805089540c9dc87a2d31995a)
![{\displaystyle \mathrm {Rm} _{t))](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e82b809341e39fb7971a3969d61e8ebca835584)
![{\displaystyle {\tfrac {\partial }{\partial t))\mathrm {Rm} _{t}=\triangel _{t}\mathrm {Rm} _{t}+Q(\mathrm {Rm} _ {t},\mathrm {Rm} _{t}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86f39d23fabf087588396b7327c7362223d89682)
där finns en bestämd bilinjär kvadratisk form på utrymmet för krökningstensorer och med värden i dem.
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/8752c7023b4b3286800fe3238271bbca681219ed)
- Den bilinjära kvadratiska formen definierar ett vektorfält på vektorrummet för krökningstensorer – varje krökningstensor tilldelas en annan krökningstensor . ODE- lösningar
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/8752c7023b4b3286800fe3238271bbca681219ed)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![{\displaystyle v_{x}=Q(x,x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f3abcfd542e76187fbc70cd4f07d20859508998)
![{\displaystyle {\dot {x}}=v_{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28e016cdc6cce6fc5cc706779f1f07fb657eca8b)
spelar en viktig roll i Ricci flödesteorin.
- Konvexa uppsättningar i utrymmet för krökningstensorer som är invarianta under rotationer och sådana att om i den reducerade ODE , då för , kallas invariant för Ricci-flödet. Om krökningen av en Riemannisk metrik på ett stängt grenrör vid varje punkt tillhör en sådan , då är det också sant för de metriker som erhålls från den av Ricci-flödet. Resonemang av detta slag kallas "maximumprincipen" för Ricci-flödet.
![K](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b76fce82a62ed5461908f0dc8f037de4e3686b0)
![{\displaystyle x(0)\in K}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8be305aed1da519c090eca284d59781fc1e33a8d)
![{\displaystyle x(t)\in K}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce1a5f3f3a5d935c7676ed3101567039666bc0c3)
![t\geq 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/248525429e9cd266f53ab8c52d17bc206c546060)
![K](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b76fce82a62ed5461908f0dc8f037de4e3686b0)
- De invarianta uppsättningarna är
Dimension 3
I fallet när dimensionen av utrymmet är lika med 3, för var och en kan välja en ram , där diagonaliserar i grunden , , , säg,
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![t](https://wikimedia.org/api/rest_v1/media/math/render/svg/65658b7b223af9e1acc877d848888ecdb4466560)
![{\displaystyle \{e_{t}^{i}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0a4653945ae6713805089540c9dc87a2d31995a)
![{\displaystyle \mathrm {Rm} _{t))](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e82b809341e39fb7971a3969d61e8ebca835584)
![{\displaystyle e_{1}\wedge e_{2))](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fe4e4c2843768ed71a1dc8354665c4d9bcaecae)
![{\displaystyle e_{2}\wedge e_{3))](https://wikimedia.org/api/rest_v1/media/math/render/svg/3dc4ef4c3f4ac2377119a4bd762dc322d52140a7)
![{\displaystyle e_{3}\wedge e_{1))](https://wikimedia.org/api/rest_v1/media/math/render/svg/28dfeb6e45340530885c6efc304bfe97c06bf7d0)
Sedan
Historik
Ricci-flödesforskning initierades av Hamilton i början av 1980-talet. Flera släta sfärsatser har bevisats med Ricci-flöden .
Genom att använda Ricci-flöden i hans artiklar [1] , publicerade från 2002 till 2003 , lyckades Perelman bevisa Thurston-förmodan , och därigenom utföra en fullständig klassificering av kompakta tredimensionella grenrör , och bevisa Poincaré-förmodan . [2]
Anteckningar
- ↑ Se artiklar av Grigory Perelman i bibliografin.
- ↑ http://arxiv.org/pdf/math/0607607.pdf Arkiverad 21 januari 2021 på Wayback Machine "Denna gissning formulerades av Henri Poincaré [58] 1904 och har varit öppen fram till Perelmans senaste arbete. ... Perelmans argument vilar på en grund som byggdes av Richard Hamilton med sin studie av Ricci-flödesekvationen för Riemannska mått.”.
Litteratur
- Hamilton, RS Tre grenrör med positiv Ricci-kurvatur // J. Diff. Geom. 17, 255-306, 1982.
- Hamilton, RS Fyra grenrör med positiv krökning // J. Diff. Geom. 24, 153-179, 1986.
- Perelman, Grisha (11 november 2002), Entropiformeln för Ricci-flödet och dess geometriska tillämpningar, arΧiv : math.DG/0211159 [math.DG].
- Perelman, Grisha (10 mars 2003), Ricci-flöde med kirurgi på tre grenrör, arΧiv : math.DG/0303109 [math.DG].
- Perelman, Grisha (17 juli 2003), ändlig utsläckningstid för lösningarna till Ricci-flödet på vissa tre grenrör, arΧiv : math.DG/0307245 [math.DG].
- Bruce Kleiner, John Lott: Anteckningar och kommentarer till Perelmans Ricci flow papers (PDF; 1,5 MB), 2008.
- J. Rubinstein, R. Sinclair: Visualizing Ricci Flow on Manifolds of Revolution (PDF; 2,7 MB), 2004.
- Chow, Bennett, Peng Lu och Lei Ni. Hamiltons Ricci-flöde. — American Mathematical Soc., 2006.