7
$\开始组$

我有两个关于Picard小组的(相关)问题:

1) 有没有具有大Picard群的光滑投影曲线的例子(比如任何$n$的$Pic(X)\simeq\mathbb{Z}^n)$)?

2) 一般来说,对于亏格$g$的光滑投影曲线,我们可以说Picard群是什么吗?我试图用指数序列计算它,但由于我不知道$H^1(X,\mathcal{O}^*)\到H^2(X,\ mathbb{Z})$的映射,所以无法使它正常工作。

$\端组$
5
  • $\开始组$ 亏格$g\ge1$的光滑投影曲线的Picard群是$mathbb{Z}$乘以它的Jacobian(en.wikipedia.org/wiki/Jacobian_variety网站)尤其是无法计算的。 $\端组$
    – 乔楚园
    评论 2014年6月5日19:17
  • 1
    $\开始组$ 你在哪个领域工作? $\端组$ 评论 2014年6月5日19:18
  • 6
    $\开始组$ 指数序列从$1运行到H^1(X,mathbb{Z}){O} X(_X))\到H^1(X,\mathcal{O} X(_X)^{\times})\到H^2(X,\mathbb{Z})\\到1$。$H^2$的最后一个映射是degree,或者等价于第一个Chern类,因此其内核是degree-$0$行束,而精确序列的其余部分告诉您可以用$H^1(X,mathcal{O} X(_X))/H^1(X,\mathbb{Z})$。这是雅可比矩阵,特别是一个复维$g$的复环面$\mathbb{C}^g/\Gamma$,一旦我们使用Serre对偶来确定$H^1(X,\mathcal{O} X(_X))$带有$H^0(X,\Omega^1_X)$。 $\端组$
    – 乔楚园
    评论 2014年6月5日19:26
  • 1
    $\开始组$ @乔楚,我认为你在塞雷二元性的陈述中缺少了一个二元性 $\端组$ 评论 2014年6月5日19:33
  • 1
    $\开始组$ 哎呀。是的,应该是$H^0(X,\Omega_1^X)^{\ast}$。谢谢。 $\端组$
    – 乔楚园
    评论 2014年6月5日19:35

1个答案1

重置为默认值
4
$\开始组$

在代数闭域上,见乔初的评论。在数域上,它总是有限生成阿贝尔群。如果$g=1$,并且基域是一个给定的数字域,那么人们相信存在任意大秩的椭圆曲线,但这并不为人所知(我认为$\mathbf Q$上已知的最大秩是28,因为Elkies)。

$\端组$
2
  • 1
    $\开始组$ 小挑剔:当然,对于所有的$r$,都有一个数字字段$K$和一条椭圆曲线$E$,其秩为$r$。当然,我知道你指的是一种“信念”,即在$\mathbb Q$上存在任意大秩的椭圆曲线(尽管我觉得不是每个人都同意这种“信念”吧?)。 $\端组$ 评论 2014年6月7日12:27
  • 1
    $\开始组$ 亲爱的@Ari:当然,你是对的。我所说的“超过数字字段”是指“超过固定的关于您的备注:通过改变字段,很明显可以获得以下曲线任意大等级,但在我看来,可以获得以下曲线并不明显任意的鼻子上的等级。然而,这可能是真的。干杯, $\端组$ 评论 2014年6月8日0:02

你必须登录来回答这个问题。

不是你想要的答案吗?浏览标记的其他问题.