Abelsk varietet

en komplett algebraisk grupp

Abelsk varietet är inom algebraisk geometri en komplett algebraisk grupp. Namnet kommer av den norske matematikern Niels Henrik Abel. Det kan bevisas att gruppstrukturen hos en sammanhängande abelsk varietet automatiskt är kommutativ; detta är dock inte ursprunget till namnet. Snarare åsyftas Abels banbrytande undersökningar av integraler av algebraiska funktioner, vilka senare utvecklades och fördjupades av många betydande matematiker.


Definition redigera

En abelsk varietet är definitionsmässigt en sammanhängande, komplett algebraisk grupp över en kropp  . Det kan visas att varje sådan varietet är projektiv. Historiskt studerades abelska varieteter endast över de komplexa talen, där analytiska ("transcendenta") metoder finns tillgängliga. Givet den moderna definitionen kan man studera abelska varieteter över kroppar av talteoretiskt intresse, såsom ändliga kroppar.

Exempel redigera

  • En elliptisk kurva är en endimensionell abelsk varietet.
  • Låt   vara ett heltal och låt   vara det  -dimensionella komplexa vektorrummet, betraktat som en grupp under addition. Låt vidare   vara ett gitter i  , dvs en diskret undergrupp av maximal rank. Då är kvoten   också en grupp, men inte nödvändigtvis en algebraisk varietet. Om den är en algebraisk varietet är den dock en abelsk varietet. I själva verket erhålls varje isomorfiklass av komplexa abelska varieteter på detta sätt, dvs. om   är en abelsk varietet definierad över   finns   och   sådana att  .
  • En algebraisk kurvas jacobivarietet är en abelsk varietet. Om kurvans genus är 3 eller lägre erhålls varje abelsk varietet av motsvarande dimension som en jacobivaritet. I genus 4 och uppåt måste en abelsk varietet uppfylla ytterligare villkor för att vara någon kurvas jacobivarietet; att beskriva dessa villkor är känt som Schottkyproblemet efter Friedrich Schottky.
  • Mer allmänt är en algebraisk varietets albanesevarietet en abelsk varietet.

Källor redigera