Ratners satser

Inom matematik är Ratners satser en grupp av stora satser inom ergodisk teori om unipotenta flöden på homogena utrymmen bevisade av Marina Ratner runt 1990. Satserna växte fram ur Ratners tidigare arbete med horocykelflöden. Studiet av dynamiken hos unipotenta flöden spelade en avgörande roll i beviset på Oppenheim-förmodan av Grigory Margulis . Ratners teorem har väglett viktiga framsteg i förståelsen av dynamiken hos unipotenta flöden. Deras senare generaliseringar ger sätt att både skärpa resultaten och utvidga teorin till inställningen av godtyckliga semisenkla algebraiska grupper över ett lokalt fält .

Kort beskrivning

Ratners omloppsförslutningssats hävdar att stängningarna av banor av unipotenta flöden på kvoten av en Lie-grupp med ett gitter är fina, geometriska delmängder. Ratners ekvifördelningssats hävdar vidare att varje sådan bana är jämnfördelad i sin stängning. Ratner -måttets klassificeringssats är det svagare påståendet att varje ergodiskt invariant sannolikhetsmått är homogent eller algebraiskt : detta visar sig vara ett viktigt steg mot att bevisa den mer allmänna ekvifördelningsegenskapen. Det finns ingen universell överenskommelse om namnen på dessa satser: de är olika kända som "måttstyvhetssatsen", "satsen om invarianta mått" och dess "topologiska version" och så vidare.

Den formella redogörelsen för ett sådant resultat är följande. Låt vara en Lie-grupp , ett gitter i och en en- parameterundergrupp av bestående av unipotenta element, med tillhörande flöde . Då är stängningen av varje bana av homogen. Detta betyder att det finns en ansluten , sluten undergrupp av så att bilden av omloppsbanan för åtgärden av av högeröversättningar på under den kanoniska projektionen till är stängd, har ett ändligt -invariant mått, och innehåller stängningen av -banan av som en tät delmängd .

Exempel:

Det enklaste fallet som påståendet ovan gäller är . I det här fallet tar det följande mer explicita form; låt vara ett gitter i och en sluten delmängd som är invariant under alla kartor där . Då finns det antingen en så att (där ) eller .

I geometriska termer är en kofinit fuchsisk grupp , så kvoten för det hyperboliska planet med är en hyperbolisk orbifold med ändlig volym. Satsen ovan antyder att varje horocykel av har en bild i som antingen är en sluten kurva (en horocykel runt en spets av ) eller tät i .

Se även

Utställningar

  •    Morris, Dave Witte (2005). Ratners teorem om unipotenta flöden (PDF) . Chicago föreläsningar i matematik. Chicago, IL: University of Chicago Press. ISBN 978-0-226-53984-3 . MR 2158954 .
  • Einsiedler, Manfred (2009). "Vad är... mäta stelhet?" (PDF) . Meddelanden från AMS . 56 (5): 600–601.

Utvalda originalartiklar