Un' osservazione sulle corrispondenze simmetriche sopra una curva algebrica. (Q2603776): Difference between revisions

Eine symmetrische Korrespondenz \(T\) nichtnegativer Wertigkeit \(\gamma\) auf einer ebenen algebraischen Kurve \(f(x, y) = 0\) kann stets in der Form \[ \sum_{i, k = 0}^r a_{ik} \varphi_i(x, y) \varphi_k(x^\prime, y^\prime) = 0 \] geschrieben werden, worin die \(\varphi_i\) linear-unabhängige Polynome mod \(f\) sind, \(r\) die Dimension von \(T\) bezeichnet und die Konstanten \(a_{ik}\) eine symmetrische oder schiefsymmetrische Matrix bilden. Auf der durch die Gleichungen \(\xi_i = \varphi_i(x, y)\) \((i = 0, \dots, r)\) vermittelten Bildkurve im \(S_r\) wird also \(T\) von einer gewöhnlichen Polarität oder einem Nullsystem erzeugt. Im ersten Falle ist \(\gamma\) notwendig gerade, im zweiten sind \(\gamma\) und \(r \geqq \gamma\) ungerade Zahlen.