Algebraïsche Meetkunde: verschil tussen versies

Ga naar: navigatie, zoeken
(Januari 2010)
k (Benjamin.de roeck heeft pagina Algebraïsche Meetkunde hernoemd naar Algebraïsche Meetkunde)
 
(15 tussenliggende versies door 5 gebruikers niet weergegeven)
Regel 1: Regel 1:
 +
=Samenvattingen=
 +
[[Algebraïsche Meetkunde/Samenvattingen| Klik hier om de samenvattingen te bekijken]]
 +
 +
=Informatie over het examen=
 
Professor Nicaise geeft vanaf academiejaar 2009-2010 dit vak. Hij heeft een nieuwe cursus geschreven met
 
Professor Nicaise geeft vanaf academiejaar 2009-2010 dit vak. Hij heeft een nieuwe cursus geschreven met
 
veel oefeningen. Op het einde van hoofdstuk 4 staat een uitgebreide oefening die als practicum gebruikt werd.  
 
veel oefeningen. Op het einde van hoofdstuk 4 staat een uitgebreide oefening die als practicum gebruikt werd.  
Regel 4: Regel 8:
 
Oorspronkelijk wou de prof het examen 3 uur laten duren, maar het heeft uiteindelijk 4 uur geduurd.
 
Oorspronkelijk wou de prof het examen 3 uur laten duren, maar het heeft uiteindelijk 4 uur geduurd.
  
= Examens =  
+
=Examens=  
== Januari 2010 ==
+
==Academiejaar 2011-2012==
 +
===27 januari 2012===
 +
[[Media:algebraic-geometry-27-jan-2012.pdf|Examen 27 januari 2012 (VM)]]
 +
 
 +
==Academiejaar 2010-2011==
 +
=== 2 september 2011 (NM)===
 +
[[Media:Examenalgmeet-september2011.pdf|Examen 2 september 2011 (VM)]]
 +
 
 +
===Januari 2011===
 +
k is an algebraically closed field
 +
* Practicum
 +
* Exercise 5.6.3: Let X be a quasi-projective k-variety, and x a point of X. The local ring <math>\mathcal{O}_{X,x}</math> of X at x is a domain if and only if x is contained in exactly one irreducible component of X. (Hint: reduce to the case where X is affine.)
 +
* Excercise 5.6.12: Consider the subvariety <math> X= \mathbb{A}_k^2 \setminus \{(0,0)\} </math> of <math> \mathbb{A}_k^2  </math>. Prove that the map <math> \mathcal{O}( \mathbb{A}_k^2)  \to \mathcal{O}(X) : f \mapsto f\vert_X</math> is an isomorphism. Conclude that X is not affine.
 +
* Question 3
 +
** Let T  be a topological space and <math>\mathcal{U}</math> an open cover of T. Show that the topological dimension of T is equal to <math>\sup\left\{\text{topdim}(U)\ |\ U\in\mathcal{U}\right\}</math>
 +
** Exercise 5.4.8(2): Let n be an element of <math>\mathbb{N}_0</math>. A hypersurface in <math>\mathbb{P}_k^n</math> is a closed subvariety of pure dimension n-1. Show that these hypersurfaces are precisely the subsets of the form Z(f), with f a non-constant homogeneous polynomial in <math>k[x_0,\ldots,x_n]</math>.
 +
** Exercise 5.6.14: A ''plane projective curve'' is a hypersurface in <math>\mathbb{P}_k^2</math>. Show the following weak version of Bezout's theorem: two plane projective curves intersect. (Hint: use Exercise 5.4.8(3))
 +
 
 +
==Academiejaar 2009-2010==
 +
===Januari 2010===
 
* Practicum:
 
* Practicum:
 
* Exercises 3.1.18 (1): A minimal prime ideal of a ring is a prime ideal of height zero. Let R be a Noetherian ring. Prove that R has finitely many minimal prime ideals <math>\mathfrak{P}_1, \ldots, \mathfrak{P}_r</math>, and that the irreducible components of spec R are the closed subsets <math>V(\mathfrak{P}_1), \ldots, V(\mathfrak{P}_r)</math>
 
* Exercises 3.1.18 (1): A minimal prime ideal of a ring is a prime ideal of height zero. Let R be a Noetherian ring. Prove that R has finitely many minimal prime ideals <math>\mathfrak{P}_1, \ldots, \mathfrak{P}_r</math>, and that the irreducible components of spec R are the closed subsets <math>V(\mathfrak{P}_1), \ldots, V(\mathfrak{P}_r)</math>
Regel 17: Regel 40:
  
 
= Oude Examens =
 
= Oude Examens =
== Juni 2006 ==
+
==Academiejaar 2005-2006==
Dit is het examen van 12 juni 2006: [[Afbeelding:algebraische_meetkunde_20060612.pdf]]
+
===Juni 2006===
--[[Gebruiker:Domi|Domi]] 16 jun 2006 15:43 (CEST)
+
[[Media:algebraische_meetkunde_20060612.pdf|Examen 12 juni 2006]]
Het vak is misschien wel iet of wat in flux, dus het kan zijn dat ie volgend jaar andere dingen ziet en dus ook andere dingen zal vragen...
 
  
 +
==Academiejaar 2008-2009==
 +
===16 januari 2009===
 +
'''Theorie'''
  
== 16 januari 2009 ==
 
=== Theorie ===
 
 
* Zij <math>f,g \in \mathbb{R}(t)</math> en <math>\lambda \in \mathbb{R} \setminus \{0,1\}</math> zodat <math>g^2 = f(f - 1)(f - \lambda)</math>. Bewijs dat <math>f</math> en <math>g</math> constant zijn.
 
* Zij <math>f,g \in \mathbb{R}(t)</math> en <math>\lambda \in \mathbb{R} \setminus \{0,1\}</math> zodat <math>g^2 = f(f - 1)(f - \lambda)</math>. Bewijs dat <math>f</math> en <math>g</math> constant zijn.
 
* Zij <math>V \subseteq \mathbb{A}_k^n,\,W \subseteq \mathbb{A}_k^m</math> variëteiten over een algebraïsch gesloten veld <math>k</math>. Bewijs dat er een bijectie bestaat tussen  
 
* Zij <math>V \subseteq \mathbb{A}_k^n,\,W \subseteq \mathbb{A}_k^m</math> variëteiten over een algebraïsch gesloten veld <math>k</math>. Bewijs dat er een bijectie bestaat tussen  
Regel 34: Regel 57:
 
** de definitie van de homogene coördinatenring van een projectieve variëteit.
 
** de definitie van de homogene coördinatenring van een projectieve variëteit.
  
 +
'''Oefeningen'''
  
=== Oefeningen ===
+
** Toon aan dat de Pläckercoördinaten van het stelsel gegeven door <math>d_{12}x_0 - d_{02}x_1 + d_{01}x_2=0</math> en <math>-d_{31}x_0-d_{03}x_1+d_{01}x_3</math> gelijk zijn aan <math>(d_{01}:d_{02}:d_{03}:d_{23}:d_{31}:d_{12}) </math>.
** Toon aan dat de Plückercoördinaten van het stelsel gegeven door <math>d_{12}x_0 - d_{02}x_1 + d_{01}x_2=0</math> en <math>-d_{31}x_0-d_{03}x_1+d_{01}x_3</math> gelijk zijn aan <math>(d_{01}:d_{02}:d_{03}:d_{23}:d_{31}:d_{12}) </math>.
 
 
** Iets over blowup bij de kromme y^2=x^3.  Geef de vergelijking van E en van de strict transform voor V_0 en V_1.  Snijden ze elkaar transversaal in de intersectiepunten?
 
** Iets over blowup bij de kromme y^2=x^3.  Geef de vergelijking van E en van de strict transform voor V_0 en V_1.  Snijden ze elkaar transversaal in de intersectiepunten?
* Zij <math>k</math> een algebraïsch gesloten veld en zij <math>V = V(XW - YZ) \subseteq \mathbb{A}_k^4</math>.
+
* Zij <math>k</math> een algebraïsch gesloten veld en zij <math>V = V(XW - YZ) \subseteq \mathbb{A}_k^4</math>.
** Bewijs dat <math>V</math> een irreducibele affiene variëteit is.
+
** Bewijs dat <math>V</math> een irreducibele affiene variëteit is.
 
** Definieer de rationale functie <math> f = x/y</math> op <math> V</math>. Bepaal het domein van <math> f</math>?
 
** Definieer de rationale functie <math> f = x/y</math> op <math> V</math>. Bepaal het domein van <math> f</math>?
* Zij <math>V = V(F) \subseteq \mathbb{A}_k^2</math> een affiene variëteit over een algebraïsch gesloten veld <math>k</math>, met <math>F \in k[X,Y]</math> een irreducibele veelterm en <math>\left|V(F)\right| = +\infty</math>. Zij <math>P</math> een niet-singulier punt van <math>V</math>. Bewijs dat elke rationale afbeelding <math>f: V - \to \mathbb{P}_k^2</math> regulier is in <math>P</math>.
+
* Zij <math>V = V(F) \subseteq \mathbb{A}_k^2</math> een affiene variëteit over een algebraïsch gesloten veld <math>k</math>, met <math>F \in k[X,Y]</math> een irreducibele veelterm en <math>\left|V(F)\right| = +\infty</math>. Zij <math>P</math> een niet-singulier punt van <math>V</math>. Bewijs dat elke rationale afbeelding <math>f: V - \to \mathbb{P}_k^2</math> regulier is in <math>P</math>.
 
* Gegeven acht verschillende punten <math>P_1,P_2,\,\cdots,P_8</math> in het projectieve vlak waarvan er vier collineair zijn, maar geen vijf. Wanneer bepalen deze acht punten onafhankelijke voorwaarden op de coëfficiënten van derdegraadskrommen in het projectieve vlak?
 
* Gegeven acht verschillende punten <math>P_1,P_2,\,\cdots,P_8</math> in het projectieve vlak waarvan er vier collineair zijn, maar geen vijf. Wanneer bepalen deze acht punten onafhankelijke voorwaarden op de coëfficiënten van derdegraadskrommen in het projectieve vlak?
  
 
[[Categorie:mw]]
 
[[Categorie:mw]]

Huidige versie van 21 sep 2019 om 18:51

Samenvattingen

Klik hier om de samenvattingen te bekijken

Informatie over het examen

Professor Nicaise geeft vanaf academiejaar 2009-2010 dit vak. Hij heeft een nieuwe cursus geschreven met veel oefeningen. Op het einde van hoofdstuk 4 staat een uitgebreide oefening die als practicum gebruikt werd. Het examen is gedeeltelijk mondeling: Hij neemt je mee naar een ander lokaal waar je een stuk van het practicum mag uitleggen. Er zijn dan ook nog 5 gewone vragen die schriftelijk te beantwoorden zijn. De eerste drie hiervan kwamen letterlijk uit de cursus, dus het is belangrijk om deze oefeningen voor te bereiden. Oorspronkelijk wou de prof het examen 3 uur laten duren, maar het heeft uiteindelijk 4 uur geduurd.

Examens

Academiejaar 2011-2012

27 januari 2012

Examen 27 januari 2012 (VM)

Academiejaar 2010-2011

2 september 2011 (NM)

Examen 2 september 2011 (VM)

Januari 2011

k is an algebraically closed field

  • Practicum
  • Exercise 5.6.3: Let X be a quasi-projective k-variety, and x a point of X. The local ring of X at x is a domain if and only if x is contained in exactly one irreducible component of X. (Hint: reduce to the case where X is affine.)
  • Excercise 5.6.12: Consider the subvariety of . Prove that the map is an isomorphism. Conclude that X is not affine.
  • Question 3
    • Let T be a topological space and an open cover of T. Show that the topological dimension of T is equal to
    • Exercise 5.4.8(2): Let n be an element of . A hypersurface in is a closed subvariety of pure dimension n-1. Show that these hypersurfaces are precisely the subsets of the form Z(f), with f a non-constant homogeneous polynomial in .
    • Exercise 5.6.14: A plane projective curve is a hypersurface in . Show the following weak version of Bezout's theorem: two plane projective curves intersect. (Hint: use Exercise 5.4.8(3))

Academiejaar 2009-2010

Januari 2010

  • Practicum:
  • Exercises 3.1.18 (1): A minimal prime ideal of a ring is a prime ideal of height zero. Let R be a Noetherian ring. Prove that R has finitely many minimal prime ideals , and that the irreducible components of spec R are the closed subsets
  • Excercise 5.6.12: Consider the subvariety of . Prove that the map is an isomorphism. Conclude that X is not affine.
  • Exercise 5.6.16: Let X be an irreducible quasi-projective k-variety of dimension n. Show that X is birationally equivalent to a hypersurface in .
  • Let f be a non-constant homogenuous polynomial in . Let H be the closed subvariety and Y a closed subvariety of of dimension at least one. Prove that the intersection of H and Y is non-empty. (Hint: try to reduce to the affine case)
  • Let be a closed subvariety.
    • Show that there exists two disjoint lines in Q.
    • Show that Q is not isomorphic to the projective plane.
    • Show that Q is birationally equivalent to the projective plane.

Oude Examens

Academiejaar 2005-2006

Juni 2006

Examen 12 juni 2006

Academiejaar 2008-2009

16 januari 2009

Theorie

  • Zij en zodat . Bewijs dat en constant zijn.
  • Zij variëteiten over een algebraïsch gesloten veld . Bewijs dat er een bijectie bestaat tussen
    • de veeltermafbeeldingen
    • de -algebrahomomorfismes .
  • Formuleer
    • de definitie van de lokalisatie van een ring t.o.v. een multiplicatief gesloten deel van die ring
    • de meetkunde interpretatie van de stelling van Lüroth (de stelling is gegeven)
    • de definitie van de homogene coördinatenring van een projectieve variëteit.

Oefeningen

    • Toon aan dat de Pläckercoördinaten van het stelsel gegeven door en gelijk zijn aan .
    • Iets over blowup bij de kromme y^2=x^3. Geef de vergelijking van E en van de strict transform voor V_0 en V_1. Snijden ze elkaar transversaal in de intersectiepunten?
  • Zij een algebraïsch gesloten veld en zij .
    • Bewijs dat een irreducibele affiene variëteit is.
    • Definieer de rationale functie op . Bepaal het domein van ?
  • Zij een affiene variëteit over een algebraïsch gesloten veld , met een irreducibele veelterm en . Zij een niet-singulier punt van . Bewijs dat elke rationale afbeelding regulier is in .
  • Gegeven acht verschillende punten in het projectieve vlak waarvan er vier collineair zijn, maar geen vijf. Wanneer bepalen deze acht punten onafhankelijke voorwaarden op de coëfficiënten van derdegraadskrommen in het projectieve vlak?