next up previous
Next: About this document ...

    

��������� II ���� No.5

�����Υơ���:

\fbox{ÂΤγÈÂ缡¿ôII}

���󡢼������꤬�ĤäƤ��ޤäƤ�����

���� 5.1   ��������Ū���� $V\in {\Bbb A}^n({\Bbb C})$ �����äơ� $V$ �δؿ��� $K={\Bbb C}(V)$ ����� $L=K(a)$ ��Ϳ�����Ƥ���Ȥ��롣 ���ޡ�$a$ �� $K$ �����Ū�Ȥ���ȡ����ΤȤ���
1.
�Τγ��缡�� $[L:K]$ �� $a$ �κǾ�¿�༰�μ��� $d$ ����������
2.
$V\times A^1$ �����Ū��ʬ���� $W$ �����äơ�$K\to L$ �� �ͱ� $V\times {\Bbb A}^1\to V$ �� $W$ �ؤ����� $f$ ���� ��ޤ�ؿ��Τμ�����Ʊ��뤵��롣(����)
3.
���� $f$ �ϡ֤ۤȤ�ɤξ��ǡ� $d:1$ �Ǥ��롣 ���ʤ����$V$ �����Ū����ʬ���� $V_s$ �����äơ�$V_s$ ���������ʬ�Ǥ� $f$ �� $d:1$ �μ����Ǥ��롣

��   $K={\Bbb C}(X^2) \subset {\Bbb C}(X)=L$ �Ȥ����ȡ� $L$ �� $K$ �� $2$ �������ΤǤ��롣 ���γ�����б��������Ū����δ֤μ���(��)��

\begin{displaymath}{\Bbb A}^1({\Bbb C}) \ni z \mapsto z^2 \in {\Bbb A}^1({\Bbb C})
\end{displaymath}

�Ǥ��롣 ���μ�������������������褦�ˡ������������ $2:1$ �μ����Ǥ��롣

��   $K={\Bbb C}(X^3) \subset {\Bbb C}(X)=L$ �Ȥ����ȡ� $L$ �� $K$ �� $3$ �������ΤǤ��롣 ���γ�����б��������Ū����δ֤μ���(��)��

\begin{displaymath}{\Bbb A}^1({\Bbb C}) \ni z \mapsto z^3 \in {\Bbb A}^1({\Bbb C})
\end{displaymath}

�Ǥ��롣 ���μ����ϸ���������� $3:1$ �μ����Ǥ��롣

��   $K={\Bbb C}(A,X)$ ����� $L$ �� $L=K[Y]/(Y^2-X^3-A)$ ��������롣 $L$ �� $K$ �� $2$ �������ΤǤ��롣 ���γ�����б��������Ū����δ֤μ���(��)��

\begin{displaymath}({\Bbb A}^3({\Bbb C}) \subset) V(Y^2-X^3-A) \ni(x,y,a) \mapsto (x,a) \in {\Bbb A}^2({\Bbb C})
\end{displaymath}

�Ǥ��롣 ���μ����϶��� $V(X^3-A)$ ������� $2:1$ �μ����Ǥ��롣

���� 5.1   �����˽��äơ��Τ�ͭ�¼����������ꡢ���γ��缡���� ���ʤ�����




2001-10-31