Στην αλγεβρική γεωμετρία, μια **Κωνική δέσμη** είναι μια συγκεκριμένη αλγεβρική ποικιλία. Ιστορικά, αυτές οι επιφάνειες εμφανίζονταν ως λύσεις μιας καρτεσιανής εξίσωσης της μορφής

{\displaystyle X^{2}+aXY+bY^{2}=P(T).}
Θεωρητικά, θεωρούνται επιφάνειες Σέβερι-Μπράουερ. Πιο συγκεκριμένα, πρόκειται για επιφάνειες Σατελέ. Λαμβάνονται ως κάλυψη βαθμού 2 μιας τυπικής κανονικής επιφάνειας.

Επίσης µπορούν να θεωρηθούν, µε ισοµορφισµό, ότι σχετίζονται µε ένα σύµβολο {\displaystyle (a,P)} στη δεύτερη οµάδα συνοµολογίας του σώµατος Γκαλουά {\displaystyle k}.

Πρόκειται για επιφάνειες που η ομάδα των διαιρετών τους είναι γνωστή και οι οποίες, για τις απλούστερες, μοιράζονται με τις επιφάνειες (en)3 του Ντελ Πέτσο την ιδιότητα να είναι ρητές. Ωστόσο, πολλά σύγχρονα μαθηματικά προβλήματα παραμένουν ανοικτά, ιδίως, για τις μη ρητές επιφάνειες, δηλαδή της ύπαρξης, σε αυτές τις επιφάνειες, τουλάχιστον μιας αλγεβρικής καμπύλης.

Προσέγγιση
----------

Για να περιγράψουμε σωστά μια Κωνική δέσμη , πρέπει πρώτα να ελαττώσουμε την τετραγωνική μορφή της αριστερής πλευράς. Μετά από μια απλή αλλαγή μεταβλητής, προκύπτει μια απλή έκφραση του τύπου {\displaystyle X^{2}-aY^{2}=P(T)}.

Δεύτερον, πρέπει να τοποθετηθούμε σε έναν προβολικό χώρο ώστε να ολοκληρώσουμε την επιφάνεια στο άπειρο.

Για να επιτευχθεί αυτό, γράφουμε την εξίσωση σε ομογενείς συντεταγμένες και εκφράζουμε πρώτα το ορατό μέρος της ίνας. Για {\displaystyle t\in A\_{k}^{1}} et {\displaystyle (x:y:z)\in P\_{k}^{2}} επαληθεύουμε {\displaystyle X^{2}-aY^{2}=P(T)Z^{2}}.

Αυτό δεν είναι αρκετό για να ολοκληρωθεί η ίνα (καθαρά και ομαλά), και στη συνέχεια επανασυνδέεται στο άπειρο με μια κλασική αλλαγή των σχημάτων : 

Από το άπειρο, (δηλαδή μέσω της αλλαγής {\displaystyle t\mapsto t'={\frac {1}{t}}}), η ίδια ίνα (εκτός από τις ίνες {\displaystyle t=0,} et {\displaystyle t'=0}), γράφεται ως το σύνολο των λύσεων της {\displaystyle X'^{2}-aY'^{2}=P^{\*}(T')Z'^{2}} όπου το {\displaystyle P^{\*}(T')} εμφανίζεται φυσικά ως το αντίστροφο πολυώνυμο του P {\displaystyle P}. Η αλλαγή των χαρτών {\displaystyle (x':y':z')}. αναλύεται παρακάτω.

### Η ίνα Fa,P

Για να προχωρήσουμε λίγο παραπέρα, απλοποιώντας το ερώτημα, περιοριζόμαστε στην περίπτωση όπου το σώμα {\displaystyle k} είναι χαρακτηριστικό μηδέν και συμβολίζουμε με {\displaystyle m} έναν μη μηδενικό φυσικό αριθμό. Συμβολίζουμε με {\displaystyle P(T)} ένα πολυώνυμο με συντελεστές στο σώμα {\displaystyle k}, βαθμού {\displaystyle 2m} ή {\displaystyle 2m-1}, αλλά χωρίς πολλαπλές ρίζες. Θεωρήστε το κλιμάκιο {\displaystyle a\in k^{\*}\setminus k^{\*2}}, ένα μη τετραγωνικό στοιχείο του βασικού πεδίου.

Ορίζουμε {\displaystyle P^{\*}(T)=T^{2m}P({1overT});} το αντίστροφο πολυώνυμο του P, και συμβολίζουμε {\displaystyle F\_{a,P}} την ίνα που ορίζεται ως εξής:

**Ορισμός:**
{\displaystyle F\_{a,P}} είναι η επιφάνεια που προκύπτει από τη συγκόλληση των δύο επιφανειών {\displaystyle U} και {\displaystyle U'} της {\displaystyle {P}\_{1,k}\times {A}\_{k}^{1}} των εξισώσεων {\displaystyle X^{2}-aY^{2}=P(T)Z^{2}} και {\displaystyle X'^{2}-aY'^{2}=P^{\*}(T')Z'^{2}} 
κατά μήκος των ανοικτών {\displaystyle \lbrace T\neq 0\rbrace } και {\displaystyle \lbrace T'\neq 0\rbrace } με τους ισομορφισμούς {\displaystyle x'=x,} , {\displaystyle y'=y,} και {\displaystyle z'=zt^{m}}.

Δείχνουμε το ακόλουθο αποτέλεσμα:

**Βασική ιδιότητα:**

Η επιφάνεια {\displaystyle F\_{a,P}} είναι μια {\displaystyle k-} καθαρή και λεία επιφάνεια- η εφαρμογή {\displaystyle p} ορίζεται από την {\displaystyle p:((x:y:z),t)\rightarrow t} στην {\displaystyle U} και {\displaystyle p:((x':y':z'),t')\rightarrow t'} στην {\displaystyle U'} παρέχει στην {\displaystyle F\_{a,P}} μια δομή ινών κωνικών στην {\displaystyle {P}\_{1,k}}.

### Τα πλεονεκτήματα αυτής της προσέγγισης

Παρέχει ένα απλό μοντέλο ενός κωνικού με ίνες. Πάνω απ' όλα, καθιστά δυνατή την έκφραση της κάλυψης αυτής της ινώδους κωνικής ως εκείνη μιας τυπικής κανονικής επιφάνειας. Η τυπική γλώσσα, με όρους συνομολογίας, είναι εύκολα κατανοητή. Παραδείγματος χάριν, ας εξετάσουμε το πρόβλημα της μονομερούς ρητότητας.

Unirationality
--------------

Το ερώτημα της Unirationality αυτών των αλγεβρικών επιφανειών είναι ένα ανοιχτό ζήτημα. Η ιδέα είναι να σχεδιάσουμε μια αλγεβρική καμπύλη στην επιφάνεια (δηλαδή επιτρέπονται μόνο πολυωνυμικές ακυρώσεις) όπου οι συντελεστές της βρίσκονται στο πεδίο βάσης.

Η ύπαρξη μιας τέτοιας καμπύλης ικανοποιεί έναν ορισμένο τύπο εικασίας για τις επιφάνειες Σεβέρι-Μπράουερ: δείτε Εικασίες Μαζούρ. Μπορεί να ερμηνευτεί με όρους συνομολογίας ως εξής:

Έστω {\displaystyle K} ένα σώμα και {\displaystyle {overlineK}} το διαχωρίσιμο κλείσιμό του- η ομάδα συνομολογίας Γκαλουά {\displaystyle Br(K)=H^{2}(K,{\overline {K}}^{\*})} είναι η ομάδα Μπράουερ του σώματος {\displaystyle K}.

Σημειώνουμε {\displaystyle \_{2}Br(K)} την υποομάδα της {\displaystyle Br(K)} που σχηματίζεται από τα στοιχεία που εξαλείφονται με το 2.

Αν {\displaystyle A} και {\displaystyle B} είναι δύο στοιχεία του {\displaystyle K^{\*}}, το σύμβολο Λεζάντρ {\displaystyle (A,B)\_{K}\in H^{2}(K,\mu \_{2})=\ \_{2}Br(K)\subset Br(K)} των κλάσεων των {\displaystyle A} και {\displaystyle B} στο {\displaystyle K^{\*}/K^{\*2}=H^{1}(K,\mu \_{2})} χαρακτηρίζει την κωνική της εξίσωσης: {\displaystyle {X^{2}-AY^{2}-BZ^{2}=0}} στον {\displaystyle K-}ισομορφισμό.

Συμπεραίνουμε ότι η κωνική {\displaystyle {X^{2}-AY^{2}-BZ^{2}=0}} έχει ρητά σημεία σε ένα υπερσώμα {\displaystyle L} του {\displaystyle K} αν και μόνο αν η εικόνα {\displaystyle (A,B)\_{L}\in \_{2}Br(L)} του {\displaystyle (A,B)\_{K}\in \_{2}Br(K)} από τον περιοριστικό μορφισμό είναι κοινότοπη.

Η unirationality της ίνας μεταφράζεται σε αυτή τη μορφή λαμβάνοντας {\displaystyle K=k(T)} όπου {\displaystyle k} είναι ένα αριθμητικό πεδίο. Γενικά, περιοριζόμαστε στην περίπτωση όπου το σύμβολο γράφεται {\displaystyle (a,P(T))\_{k(T)}} με {\displaystyle a} ένα στοιχείο του {\displaystyle k}.

Αν {\displaystyle \beta (U)\in k(U)} είναι ένα μη σταθερό ρητό κλάσμα, σημειώνουμε {\displaystyle \beta ^{\*}:Br(k(T))\to Br(k(U))} τον μορφισμό περιορισμού που σχετίζεται με την έγχυση του σώματος {\displaystyle k(T)} στο σώμα {\displaystyle k(U)} που μεταθέτει το {\displaystyle T} πάνω στο {\displaystyle \beta (U)}.

Έχουμε {\displaystyle \beta ^{\*}(a,P(T))\_{k(T)}=(a,P(\beta (U))\_{k(U)}}.

Σε αυτή τη διατύπωση, η unirationality της ίνας σε κωνικές {\displaystyle X^{2}-aY^{2}=P(T)Z^{2}} ισοδυναμεί με την ύπαρξη ενός μη σταθερού ρητού κλάσματος {\displaystyle {\beta (U)\in k(U)}} τέτοιο ώστε {\displaystyle (a,P(\beta (U))\_{k(U)}} είναι το ουδέτερο στοιχείο του {\displaystyle Br(k(U))}.

Πράγματι, αυτό απλά μεταφράζει την ιδέα ότι υπάρχουν τρία ρητά κλάσματα
{\displaystyle X(u)} ; {\displaystyle Y(u)} ; {\displaystyle \beta (u)} που ορίζονται πάνω στο {\displaystyle K} έτσι ώστε η ισότητα {\displaystyle X(u)^{2}-aY(u)^{2}=P(\beta (u))} να είναι αληθής στο {\displaystyle K(u)}.

Τέλος, δεδομένου ότι το σώμα {\displaystyle k} έχει χαρακτηριστική 0, η ακριβής ακολουθία του Φαντέεφ (βλ. παρακάτω) μας επιτρέπει να εκφράσουμε τη μηδενικότητα ενός στοιχείου του {\displaystyle Br(k(U))} σε όρους υπολοίπων.

Βιβλιογραφία
------------

* Robin Hartshorne (1977). *Algebraic Geometry*. Springer-Verlag. ISBN 0-387-90244-9.
* David Cox· :en:John Little· :en:Don O'Shea (1997). *Ideals, Varieties, and Algorithms* (second έκδοση). Springer-Verlag. ISBN 0-387-94680-2.
* David Eisenbud (1999). *Commutative Algebra with a View Toward Algebraic Geometry*. Springer-Verlag. ISBN 0-387-94269-6.

Εξωτερικοί σύνδεσμοι
--------------------

* English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο

Παραπομπές
----------

1. ↑  «Brauer-Severi variety - Encyclopedia of Mathematics». *encyclopediaofmath.org*. Ανακτήθηκε στις 19 Απριλίου 2024.
2. ↑  «François Châtelet - Author Profile - zbMATH Open». *zbmath.org*. Ανακτήθηκε στις 19 Απριλίου 2024.
3. ↑  «Galois cohomology - Encyclopedia of Mathematics». *encyclopediaofmath.org*. Ανακτήθηκε στις 19 Απριλίου 2024.
4. ↑  Exemple d'étude de l'unirationalité d'un fibré.
5. ↑  Un exemple de problématique par Jean-Louis Colliot-Thélène.

|  |  |
| --- | --- |
| 

|  |
| --- |
| * Πύλη:Μαθηματικά
 |

 |