Advanced algebra, algebraic geometry and topology with applications in number theory

Ga naar: navigatie, zoeken

Examen van 1 september 2009

In 2008-2009 werd het eerste deel van dit vak gegeven door Jan Schepers. Het onderwerp van zijn deel van de cursus was Commutatieve Algebra. Als leidraad werd het beroemde boekje van Atiyah en MacDonald gebruikt, dat we nagenoeg volledig moesten kennen voor het examen. Tijdens het jaar kregen we de opdracht om voor dit deel van de cursus (Commutatieve algebra) als werktekst een twintigtal opgaven over affiene schema's op te lossen. Ook deze werktekst was examenstof voor het eerste deel.

Het tweede deel werd gegeven door Nansen Petrosyan en ging over groepsacties op topologische ruimten. Hij gebruikte geen cursusnota's, maar het materiaal valt vrij goed terug te vinden in het boek van Bredon, "Topology and geometry". Uit dat boek werden ongeveer volgende paragrafen behandeld: uit Chapter III - §1 (homotopy groups), §2 (the fundamental group), §3 (covering spaces), §5 (the action of on the fiber), §7 (properly discontinuous actions) en §9 (the Seifert-Van Kampen theorem). Uit Chapter IV een herhaling van de paragrafen §1-5 (de basis over homology groups) en dan §8 (CW-complexes), §10 (cellular homology), §11 (cellular maps) en §13 (Euler's formula). Het materiaal werd zoveel mogelijk gepresenteerd vanuit de context van groepsacties.

Deel 1: Commutatieve algebra

De werktekst over affiene schema's telt mee voor vier van de twintig punten, onderstaande examenvragen waren tien punten waard.

  • In deze opgave construeren we het gevezeld product van affiene schema's.
    • Zijn ringen en zijn en ringmorfismen die van en een -algebra maken. Definieer de afbeeldingen en . Bewijs dat het tensorproduct aan de volgende universele eigenschap voldoet: als een ring is, en en zijn ringmorfismen zodat , dan bestaat er een uniek ringmorfisme zodat en .
    • Vertaal de eigenschap die je net bewezen hebt naar de categorie van de affiene schema's. Als , en , dan noemt men het gevezeld product van en over .
    • Gebruik tenslotte de vertaling uit het vorige puntje om voor gegeven affiene schema's en met gegeven afbeelding op een natuurlijke manier de diagonaalafbeelding te construeren. Bewijs dat het beeld van gesloten is in .
  • Zij een ring en zij een maximaal ideaal van .
    • Bewijs dat de -adische completie van een lokale ring is met maximaal ideaal .
    • Welke "gekende" ring is de -adische completie van de lokale ring ?
  • Zij een veld. Zij de oppervlakte van een cirkel met straal 1.
    • Toon aan dat er een valuatie bestaat op - het veld van rationale functies in en - zodat , en voor .
    • Laat zien dat de valuatiering van niet Noethers is.

Deel 2: Groepsacties in de algebraïsche topologie

De vragen over dit deel waren zes punten waard.

  • Zij een natuurlijk getal. Geef een handige CW-complex structuur en bereken met behulp van die structuur de homologiegroepen van , eerst met coëfficiëntenring , daarna ook met coëfficiëntenring .
  • Classificeer alle eindige groepen die vrij actie kunnen voeren op de cirkel $S^1$.
  • Zij een topologische groep (de definitie was gegeven voor de volledigheid) en zij een universele overdekkingsruimte van met overdekkingsprojectie . Bewijs met behulp van "path lifting" dat je op een natuurlijke manier de structuur van een topologische groep op kan leggen zodanig dat de projectie een homomorfismen van groepen is.