Questions in category: 代数几何 (Algebraic Geometry)
几何 >> 代数几何
<[1] [2] [3] >

1. Riemann-Roch 定理

Posted by haifeng on 2021-11-30 17:13:24 last update 2021-11-30 20:09:36 | Answers (0) | 收藏


以下内容译自 Patrick J.R. Ryan [1] 的毕业论文 "The Grothendieck-Riemann-Roch Theorem".  2015.


 

 

 

经典的 Riemann-Roch 定理是复分析和代数几何中的一个基础性结果. 其原始形式, 是由 Bernhard Riemann 和他的学生 Gustav Roch 在十九世纪中叶发展得出的. 此定理建立了紧致黎曼曲面的解析性质与拓扑性质之间的一个联系. 此联系源于曲面上亚纯函数之零点和极点到曲面亏格之间的相关数据. 1930年代, Friedrich Karl Schmidt 意识到对于任意代数闭域上的光滑射影曲线, 可以使用纯代数语言来证明.

 

定理. 设 $C$ 是代数闭域 $k$ 上的一条光滑射影曲线(smooth projective curve), 则对 $C$ 上任意因子 $D$, 我们有

\[
\ell(D)-\ell(K_C-D)=\deg(D)-g(C)+1,
\]

其中 $K_C$ 是 $C$ 的典范因子(canonical divisor), $g(C)$ 是 $C$ 的亏格. 对任意因子 $D$, $\deg(D)$ 指因子 $D$ 的阶(degree).

\[\ell(D)=\dim_k H^0(C,\mathcal{L}(C))\]

是相应 Riemann-Roch 空间的维数.

 

 

 

 


References:

[1] patrick.pdf (harvard.edu)

2. Congruence Subgroups

Posted by haifeng on 2021-10-14 22:48:49 last update 2021-10-14 22:55:53 | Answers (0) | 收藏


Congruence Subgroups

 

\[
\Gamma(N)=\{\gamma\in SL_2(\mathbb{Z})\mid \gamma\equiv 1_2\pmod N\}
\]

这里 $1_2$ 指二阶单位矩阵, 也即

\[
\Gamma(N)=\biggl\{
\begin{bmatrix} a & b\\ c & d\end{bmatrix}\in SL_2(\mathbb{Z})\biggl|\ a\equiv d\equiv 1,\ b\equiv c\equiv 0\ \mod N\mathbb{Z}
\biggr\}
\]

 

Congruence Subgroups 是指 $SL_2(\mathbb{Z})$ 中包含 $\Gamma(N)$ 的任一子群, $N$ 是某个自然数.

 

Math 252: Congruence Subgroups (wstein.org)

https://wstein.org/edu/Fall2003/252/lectures/09-19-03/index.html

3. Shimura varieties

Posted by haifeng on 2021-06-18 11:14:09 last update 2021-06-18 11:14:09 | Answers (0) | 收藏


Shimura varieties

模形式(modular forms)

模曲线(modular curves)

 

 

 

http://conference.bicmr.pku.edu.cn/meeting/index?id=95

 

 

4. 代数与几何的联系

Posted by haifeng on 2021-03-29 14:40:26 last update 2021-03-29 15:30:55 | Answers (0) | 收藏


 

 

  代数 几何  
对象 $k[x_1,\ldots,x_n]$ $\mathbb{A}_k^n$ 作为集合是等同的
$V: J\mapsto V(J)$ $k[x_1,\ldots,x_n]$ 中的理想 $J$ $\mathbb{A}_k^n$ 中的代数集 $V(J)$ $V$ 是满射, 但不是单射
$I(X)\leftarrow X:\ I$ $I(X)$ $X\subset\mathbb{A}_k^n$ $I$ 既非单射亦非满射

 

解释:

设 $k$ 是代数闭域, 记 $A=k[x_1,\ldots,x_n]$. 对 $A$ 的任意子集 $T$, 定义

\[
V(T):=\{P\in\mathbb{A}_k^n\mid\text{对所有}\ f\in T, \text{有}\ f(P)=0\}.
\]

映射

\[
\begin{array}[rcl]
V:\ \{A\text{的理想}\}&\rightarrow&\{\mathbb{A}_k^n\text{中的代数集}\}\\
J&\mapsto& V(J)
\end{array}
\]

是满射. 这是因为任取 $\mathbb{A}_k^n$ 中一个代数集 $Y$, 根据代数集的定义, 存在 $T\subset A$, 使得 $V(T)=Y$. 对于 $T$, 考虑由其生成的理想 $J:=(T)$, 则有 $V(J)=V(T)$.

 

对每个子集 $X\subset\mathbb{A}_k^n$, 定义一个如下的理想:

\[
I(X):=\{f\in A\mid f(P)=0\ \forall\ P\in X\}
\]

由于 $A$ 是多项式环, 如此定义的 $I(X)$, 显然满足理想的定义. 于是得到下面的映射

\[
\begin{array}[rcl]
I:\ \{\mathbb{A}_k^n\text{的子集}\}&\rightarrow&\{A\text{中的理想}\}\\
X&\mapsto& I(X)
\end{array}
\]

 

Claim 1. $V$ 不是单射.

例: $(x_1,\ldots,x_n)$ 是有 $f_i(x_1,\ldots,x_n):=x_i$, $i=1,2,\ldots,n$ 生成的理想.

若设 $m\in\mathbb{Z}^+$,  $(x_1^m,\ldots,x_n^m)$ 是有 $g_i(x_1,\ldots,x_n):=x_i^m$, $i=1,2,\ldots,n$ 生成的理想.

显然有 $(x_1^m,\ldots,x_n^m)\subset(x_1,\ldots,x_n)$.

于是 $V(x_1^m,\ldots,x_n^m)=V(x_1,\ldots,x_n)$. 因此 $V$ 不是单射.


References:

Klaus Hulek 著, 《初等代数几何》

5. 关于复数多项式的平方式的一个引理

Posted by haifeng on 2021-01-05 11:33:08 last update 2021-01-05 11:33:08 | Answers (1) | 收藏


引理. 设 $p,q\in\mathbb{C}[t]$ 互素. 如果有四个不同的比值 $\dfrac{\lambda}{\mu}\in\mathbb{C}\cup\{\infty\}$ 使得 $\lambda p+\mu q$ 为 $\mathbb{C}[t]$ 中的平方式, 则 $p,q\in\mathbb{C}$.

 

 

 


References:

Klaus Hulek 著 《初等代数几何》P.8

6. 尼尔(Neil)抛物线

Posted by haifeng on 2021-01-05 09:57:50 last update 2021-01-05 10:27:00 | Answers (0) | 收藏


尼尔(Neil)抛物线是指

\[
C:\quad y^2=x^3.
\]

这条曲线也可参数化, 即

\[
\begin{eqnarray}
\varphi:\ \mathbb{R}&\rightarrow&\mathbb{R}^2\\
t&\mapsto &(t^2,t^3)
\end{eqnarray}
\]

 

\[
\mathrm{d}\varphi=(\mathrm{d}\varphi_1,\mathrm{d}\varphi_2)=(2t\mathrm{d}t,3t^2\mathrm{d}t)
\]

从而 $\dfrac{\mathrm{d}\varphi_1}{\mathrm{d}\varphi_2}=\dfrac{2t\mathrm{d}t}{3t^2\mathrm{d}t}=\dfrac{2}{3t}$, 在 $t=0$ 处(也即原点处)为 $\infty$, 因此图像在原点处是“尖点”.

或者将 $x$ 看成 $y$ 的函数, $x=y^{2/3}$, 可见在 $y=0$ 处导数不存在. 这样也可解释图像在原点处是“尖点”.

 

 


References:

Klaus Hulek  著 《初等代数几何》P.6 

7. 不能被有理参数化的实曲线

Posted by haifeng on 2020-12-17 08:08:00 last update 2021-03-09 07:12:23 | Answers (1) | 收藏


下面的一族平面三次曲线

\[
C_{\lambda}:\quad y^2=x(x-1)(x-\lambda),\qquad(\lambda\in\mathbb{R})
\]

除 $\lambda=0,1$ 外, $C_{\lambda}$ 在 $\mathbb{R}$ 上不能被有理参数化. 但是在 $\mathbb{C}$ 上, 有一个用亚纯函数的参数化.

为此, 先考虑更一般的形式:

\[
g^2=f(f-1)(f-\lambda),\quad (\lambda\neq 0,1)
\]

这里要求 $f,g\in k(t)$ 是有理函数. $k\in\{\mathbb{R},\mathbb{C}\}$. 下面的命题表明, 如果有理函数 $f,g$ 满足上面的等式, 则 $f,g$ 一定是常数.

命题. 设 $f,g\in k(t)$ 是有理函数, $k\in\{\mathbb{R},\mathbb{C}\}$, 并且满足

\[
g^2=f(f-1)(f-\lambda),\quad (\lambda\neq 0,1)
\]

则 $f$ 和 $g$ 为常数, 即 $f,g\in k$.


推论. 对于 $\lambda\neq 0,1$, 没有非常值的映射

\[
(f,g):\quad k\rightarrow C_{\lambda},\quad (f,g\in k(t))
\]

特别地, $C_{\lambda}(\lambda\neq 0,1)$ 无法被有理参数化.

 


关于 $C_0$ 和 $C_1$.

$C_0:\ y^2=x^3-x^2$

$C_1:\ y^2=x(x-1)^2$

 

(1)

$y^2=x^3+x^2$ 具有参数化: $t\mapsto(t^2-1, t^3-t)$. (参见问题1500)

因此, 仿照其做法, 令 $y=tx$, $x=t^2+1$, 从而 $y^2=t^2 x^2=(x-1)x^2=x^3-x^2$. 

因此 $C_0:\ y^2=x^3-x^2$ 的参数化方程是

\[
\begin{eqnarray}
\varphi:\ \mathbb{R}&\rightarrow &\mathbb{R}\\
t&\mapsto&(t^2+1, t^3+t)
\end{eqnarray}
\]

 

(2) 对于 $C_1$, 令 $u=x-1$, 则 $C_1$ 变为(右移为) $y^2=(u+1)u^2=u^3+u^2$, 此即问题1500.  

具有参数化 $t\mapsto(u=t^2-1, y=t^3-t)$. 因此 $C_1$ 的参数化方程为:

\[
\begin{eqnarray}
\varphi:\ \mathbb{R}&\rightarrow &\mathbb{R}\\
t&\mapsto&(t^2, t^3-t)
\end{eqnarray}
\]


Question:

还有其他的例子吗? 即有没有其他的实曲线, 其不能被有理函数参数化?

 

 


Remark:

若 $A=a^p$, $B=b^p$, $C=c^p$, 且满足费马方程 $A+B=C$, 则 Gerhard Frey 椭圆曲线 (Gerhard Frey's elliptic curve)

\[y^2=x(x-A)(x+B)\]

具有判别式 $16(abc)^{2p}$. (参见[2], P.114)

 


References:

[1] Klaus Hulek 著, 胥鸣伟 译 《初等代数几何》 高等教育出版社.

[2] Richard K. Guy, Unsolved Problems in Number Theory, 科学出版社.

8. 证明等式 $x^4+y^4=1$ 只有有理解 $(\pm 1,0)$ 和 $(0,\pm 1)$.

Posted by haifeng on 2020-11-30 16:45:42 last update 2021-03-09 07:14:11 | Answers (0) | 收藏


证明等式 $x^4+y^4=1$ 只有有理解 $(\pm 1,0)$ 和 $(0,\pm 1)$.

 

[Hint] 使用无穷递降法证明 $x^4+y^4=z^2$ 无正整数解.

 

References:

Klaus Hulek 著 《初等代数几何》,  胥鸣伟 译.   P.16

9. 证明以下的集合是代数簇.

Posted by haifeng on 2019-12-22 15:19:25 last update 2019-12-22 16:38:42 | Answers (1) | 收藏


(a) 特殊线性群

\[
SL(n,\mathbb{C})=\{A\in Mat(n\times n,\mathbb{C})\mid\det(A)=1\}
\]

 

(b) 实正交群

\[
O(n,\mathbb{R})=\{A\in Mat(n\times n,\mathbb{R})\mid A^t\cdot A=I_n\}
\]

 

References:

Klaus Hulek 著, 胥鸣伟 译 《初等代数几何》P. 16, 习题

10. 以下的集合是代数簇吗?

Posted by haifeng on 2019-12-21 20:42:39 last update 2019-12-21 20:44:26 | Answers (1) | 收藏


(a) $M_1:=\{(\cos t, \sin t)\mid t\in[0,2\pi]\}\subset\mathbb{R}^2$.

(b) $M_2:=\{(t,\sin t)\mid t\in\mathbb{R}\}\subset\mathbb{R}^2$.

 

 

References:

Klaus Hulek 著, 胥鸣伟 译 《初等代数几何》P. 16, 习题

<[1] [2] [3] >